| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | SAT | 1039.86 | 1040.12 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14bt.opb |
| MD5SUM | 35996461279b46395c12d24fd378138e |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 12.3761 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 316 |
| Total number of constraints | 686 |
| Number of constraints which are clauses | 477 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 207 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 100 |
| 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 | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 114 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 c SCIP version 1.1.0.7
0.00/0.02 c LP-Solver Clp 1.8.2
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c read problem <HOME/instance-1867981-1245113600.opb>
0.00/0.02 c original problem has 316 variables (316 bin, 0 int, 0 impl, 0 cont) and 686 constraints
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.03 c start presolving problem
0.00/0.03 c presolving:
0.00/0.03 c (round 1) 3 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 352 impls, 0 clqs
0.00/0.03 c (round 2) 15 del vars, 19 del conss, 13 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 352 impls, 0 clqs
0.00/0.03 c (round 3) 15 del vars, 31 del conss, 13 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 352 impls, 0 clqs
0.04/0.06 c (round 4) 15 del vars, 31 del conss, 13 chg bounds, 0 chg sides, 0 chg coeffs, 655 upgd conss, 352 impls, 0 clqs
0.04/0.07 c (round 5) 21 del vars, 31 del conss, 13 chg bounds, 0 chg sides, 0 chg coeffs, 655 upgd conss, 8648 impls, 6 clqs
0.04/0.07 c presolving (6 rounds):
0.04/0.07 c 21 deleted vars, 31 deleted constraints, 13 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.07 c 8648 implications, 6 cliques
0.04/0.07 c presolved problem has 295 variables (295 bin, 0 int, 0 impl, 0 cont) and 655 constraints
0.04/0.07 c 199 constraints of type <knapsack>
0.04/0.07 c 456 constraints of type <logicor>
0.04/0.07 c transformed objective value is always integral (scale: 1)
0.04/0.07 c Presolving Time: 0.03
0.04/0.07 c SATUNSAT-LIN
0.04/0.07 c -----------------------------------------------------------------------------------------------
0.04/0.07 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.07 c separating/flowcover/freq = c -1
0.04/0.07 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.07 c separating/cmir/freq = c -1
0.04/0.07 c # additional number of allowed LP iterations
0.04/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.07 c heuristics/veclendiving/maxlpiterofs = c 1500
0.04/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.07 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.04/0.07 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.07 c heuristics/veclendiving/freq = c -1
0.04/0.07 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.07 c heuristics/simplerounding/freq = c -1
0.04/0.07 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.07 c heuristics/shifting/freq = c -1
0.04/0.07 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.07 c heuristics/rounding/freq = c -1
0.04/0.07 c # additional number of allowed LP iterations
0.04/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.07 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.04/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.04/0.07 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.04/0.07 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.07 c heuristics/rootsoldiving/freq = c -1
0.04/0.07 c # number of nodes added to the contingent of the total nodes
0.04/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.04/0.07 c heuristics/rens/nodesofs = c 2000
0.04/0.07 c # minimum percentage of integer variables that have to be fixable
0.04/0.07 c # [type: real, range: [0,1], default: 0.5]
0.04/0.07 c heuristics/rens/minfixingrate = c 0.3
0.04/0.07 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.07 c heuristics/rens/freq = c -1
0.04/0.07 c # additional number of allowed LP iterations
0.04/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.07 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.04/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.07 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.04/0.07 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.07 c heuristics/pscostdiving/freq = c -1
0.04/0.07 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.07 c heuristics/oneopt/freq = c -1
0.04/0.07 c # additional number of allowed LP iterations
0.04/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.07 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.04/0.07 c # maximal fraction of diving LP iterations compared to total iteration number
0.04/0.07 c # [type: real, range: [0,1], default: 0.01]
0.04/0.07 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.04/0.07 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.07 c heuristics/objpscostdiving/freq = c -1
0.04/0.07 c # additional number of allowed LP iterations
0.04/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.07 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.04/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.07 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.04/0.07 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.07 c heuristics/linesearchdiving/freq = c -1
0.04/0.07 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.07 c heuristics/intshifting/freq = c -1
0.04/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.07 c heuristics/intdiving/maxlpiterquot = c 0.075
0.04/0.07 c # additional number of allowed LP iterations
0.04/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.07 c heuristics/guideddiving/maxlpiterofs = c 1500
0.04/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.07 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.04/0.07 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.07 c heuristics/guideddiving/freq = c -1
0.04/0.07 c # additional number of allowed LP iterations
0.04/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.07 c heuristics/fracdiving/maxlpiterofs = c 1500
0.04/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.07 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.04/0.07 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.07 c heuristics/fracdiving/freq = c -1
0.04/0.07 c # additional number of allowed LP iterations
0.04/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.07 c heuristics/feaspump/maxlpiterofs = c 2000
0.04/0.07 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.07 c heuristics/feaspump/freq = c -1
0.04/0.07 c # minimum percentage of integer variables that have to be fixed
0.04/0.07 c # [type: real, range: [0,1], default: 0.666]
0.04/0.07 c heuristics/crossover/minfixingrate = c 0.5
0.04/0.07 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.04/0.07 c # [type: real, range: [0,1], default: 0.1]
0.04/0.07 c heuristics/crossover/nodesquot = c 0.15
0.04/0.07 c # number of nodes without incumbent change that heuristic should wait
0.04/0.07 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.04/0.07 c heuristics/crossover/nwaitingnodes = c 100
0.04/0.07 c # number of nodes added to the contingent of the total nodes
0.04/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.04/0.07 c heuristics/crossover/nodesofs = c 750
0.04/0.07 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 30]
0.04/0.07 c heuristics/crossover/freq = c -1
0.04/0.07 c # additional number of allowed LP iterations
0.04/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.07 c heuristics/coefdiving/maxlpiterofs = c 1500
0.04/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.07 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.04/0.07 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.07 c heuristics/coefdiving/freq = c -1
0.04/0.07 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.07 c presolving/probing/maxrounds = c 0
0.04/0.07 c # should presolving try to simplify knapsacks
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/knapsack/simplifyinequalities = c TRUE
0.04/0.07 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.04/0.07 c constraints/knapsack/disaggregation = c FALSE
0.04/0.07 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.07 c constraints/knapsack/maxnumcardlift = c 0
0.04/0.07 c # should presolving try to simplify inequalities
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/linear/simplifyinequalities = c TRUE
0.04/0.07 c # maximal number of separation rounds in the root node (-1: unlimited)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.07 c separating/maxroundsroot = c 5
0.04/0.07 c # maximal number of separation rounds per node (-1: unlimited)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 5]
0.04/0.07 c separating/maxrounds = c 1
0.04/0.07 c # solving stops, if the given number of solutions were found (-1: no limit)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.07 c limits/solutions = c 1
0.04/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/memory = c 1620
0.04/0.07 c # maximal time in seconds to run
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/time = c 1791
0.04/0.07 c # frequency for displaying node information lines
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.07 c display/freq = c 10000
0.04/0.07 c -----------------------------------------------------------------------------------------------
0.04/0.07 c start solving problem
0.04/0.07 c
0.09/0.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 0 | 599 |2093k| 0 | 218 | 295 | 655 | 655 | 295 | 649 | 0 | 0 | 0 | 4.396150e+01 | -- | Inf
0.69/0.77 c 0.7s| 1 | 0 | 1609 |5320k| 0 | 258 | 295 | 655 | 655 | 295 |1112 | 463 | 0 | 0 | 5.112213e+01 | -- | Inf
1.29/1.32 c 1.3s| 1 | 0 | 2140 |7571k| 0 | 271 | 295 | 655 | 655 | 295 |1223 | 574 | 0 | 0 | 5.230206e+01 | -- | Inf
1.69/1.77 c 1.7s| 1 | 0 | 2369 |9098k| 0 | 268 | 295 | 655 | 655 | 295 |1227 | 578 | 0 | 0 | 5.237989e+01 | -- | Inf
2.20/2.21 c 2.1s| 1 | 0 | 2525 | 10M| 0 | 267 | 295 | 655 | 655 | 295 |1229 | 580 | 0 | 0 | 5.239829e+01 | -- | Inf
2.59/2.67 c 2.6s| 1 | 0 | 2666 | 12M| 0 | 260 | 295 | 655 | 655 | 295 |1232 | 583 | 0 | 0 | 5.242496e+01 | -- | Inf
3.69/3.72 c 3.6s| 1 | 2 | 2666 | 12M| 0 | 260 | 295 | 655 | 655 | 295 |1232 | 583 | 0 | 17 | 5.242496e+01 | -- | Inf
277.61/277.76 c 276s| 10000 | 2123 |945604 | 17M| 40 | - | 295 |1544 | 235 | 295 | 969 | 583 |2254 |2193 | 5.778131e+01 | -- | Inf
434.18/434.38 c 432s| 20000 | 3288 | 1603k| 19M| 41 | - | 295 |1792 | 433 | 0 | 0 | 583 |4746 |2790 | 5.906348e+01 | -- | Inf
569.44/569.64 c 567s| 30000 | 4312 | 2181k| 21M| 41 | 42 | 295 |2051 | 230 | 295 | 969 | 583 |7370 |3384 | 5.983403e+01 | -- | Inf
695.91/696.15 c 692s| 40000 | 5156 | 2731k| 23M| 45 | 40 | 295 |2055 | 164 | 295 | 969 | 583 |9925 |3873 | 6.042272e+01 | -- | Inf
809.59/809.80 c 805s| 50000 | 5815 | 3236k| 25M| 49 | - | 295 |2213 | 147 | 295 | 969 | 583 | 12k|4300 | 6.100772e+01 | -- | Inf
914.76/915.05 c 910s| 60000 | 6462 | 3718k| 26M| 50 | 60 | 295 |2487 | 190 | 295 | 969 | 583 | 14k|4594 | 6.145931e+01 | -- | Inf
1020.14/1020.48 c 1015s| 70000 | 7032 | 4197k| 28M| 51 | 87 | 295 |2622 | 296 | 295 | 969 | 583 | 17k|4976 | 6.173253e+01 | -- | Inf
1039.73/1040.06 c *1034s| 72034 | 7081 | 4285k| 28M| 51 | - | 295 |2575 | 66 | 295 | 969 | 583 | 17k|5060 | 6.177103e+01 | 8.000000e+01 | 29.51%
1039.73/1040.06 c
1039.73/1040.06 c SCIP Status : solving was interrupted [solution limit reached]
1039.73/1040.06 c Solving Time (sec) : 1034.23
1039.73/1040.06 c Solving Nodes : 72034
1039.73/1040.06 c Primal Bound : +8.00000000000000e+01 (1 solutions)
1039.73/1040.06 c Dual Bound : +6.17710263263250e+01
1039.73/1040.06 c Gap : 29.51 %
1039.73/1040.06 c NODE 72034
1039.73/1040.06 c DUAL BOUND 61.771
1039.73/1040.06 c PRIMAL BOUND 80
1039.73/1040.06 c GAP 0.295106
1039.73/1040.06 s SATISFIABLE
1039.73/1040.06 v x315 -x316 x313 -x314 x311 -x312 -x309 x310 -x307 x308 -x305 x306 -x303 -x304 -x301 -x302 -x299 -x300 -x297 -x298 x295 -x296 x293
1039.73/1040.06 v -x294 x291 -x292 x289 -x290 x287 -x288 x285 -x286 x283 -x284 x281 -x282 x279 -x280 -x277 x278 -x275 x276 -x273 x274 -x271
1039.73/1040.06 v x272 -x269 x270 -x267 x268 -x265 x266 -x263 x264 -x261 x262 -x259 -x260 -x257 -x258 x255 -x256 x253 -x254 x251 -x252 -x249 x250
1039.73/1040.06 v -x247 x248 -x245 x246 -x243 x244 -x241 x242 x239 -x240 x237 -x238 x235 -x236 -x233 x234 -x231 x232 x229 -x230 x227 -x228 x225
1039.73/1040.06 v -x226 -x223 x224 -x221 x222 x219 -x220 x217 -x218 x215 -x216 x213 -x214 x211 -x212 -x209 x210 -x207 x208 -x205 x206 -x203
1039.73/1040.06 v x204 -x201 x202 -x200 -x198 -x196 -x194 -x192 x190 x188 x186 -x184 -x182 x180 -x178 -x176 -x174 -x172 -x170 x168 x166 -x164
1039.73/1040.06 v -x162 x160 x158 -x156 -x154 -x152 -x150 -x148 x146 -x144 -x142 x140 x138 x136 -x134 -x132 -x130 -x128 -x126 -x124 -x122 -x120
1039.73/1040.06 v x118 x116 -x114 -x112 -x110 -x108 -x106 -x104 -x102 -x100 -x98 -x96 -x94 -x92 -x90 -x88 -x86 -x84 -x82 -x80 -x78 -x76 -x74 -x72
1039.73/1040.06 v -x70 -x68 -x66 -x64 -x62 -x60 -x58 -x56 -x54 -x52 -x50 -x48 -x46 -x44 -x42 -x40 -x38 -x36 -x34 -x32 -x30 -x28 -x26 -x24 -x22
1039.73/1040.06 v -x20 -x18 -x16 -x14 -x12 -x10 -x8 -x6 -x4 -x2 -x199 -x197 -x195 -x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175
1039.73/1040.06 v -x173 -x171 -x169 -x167 -x165 -x163 -x161 -x159 -x157 -x155 -x153 -x151 -x149 -x147 -x145 -x143 -x141 -x139 -x137 -x135 -x133
1039.73/1040.06 v -x131 -x129 -x127 -x125 -x123 -x121 -x119 -x117 -x115 -x113 -x111 -x109 -x107 -x105 -x103 -x101 -x99 -x97 -x95 -x93 -x91
1039.73/1040.06 v -x89 -x87 -x85 x83 x81 -x79 -x77 -x75 -x73 -x71 -x69 -x67 -x65 x63 x61 -x59 -x57 -x55 x53 -x51 -x49 -x47 -x45 x43 x41 -x39 -x37
1039.73/1040.06 v -x35 x33 x31 -x29 -x27 -x25 x23 x21 -x19 -x17 -x15 x13 x11 -x9 -x7 -x5 -x3 x1
1039.73/1040.06 c SCIP Status : solving was interrupted [solution limit reached]
1039.73/1040.06 c Solving Time : 1034.23
1039.73/1040.06 c Original Problem :
1039.73/1040.06 c Problem name : HOME/instance-1867981-1245113600.opb
1039.73/1040.06 c Variables : 316 (316 binary, 0 integer, 0 implicit integer, 0 continuous)
1039.73/1040.06 c Constraints : 686 initial, 686 maximal
1039.73/1040.06 c Presolved Problem :
1039.73/1040.06 c Problem name : t_HOME/instance-1867981-1245113600.opb
1039.73/1040.06 c Variables : 295 (295 binary, 0 integer, 0 implicit integer, 0 continuous)
1039.73/1040.06 c Constraints : 655 initial, 2636 maximal
1039.73/1040.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1039.73/1040.06 c trivial : 0.00 0 0 0 0 0 0 0 0
1039.73/1040.06 c dualfix : 0.00 0 0 0 0 0 0 0 0
1039.73/1040.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1039.73/1040.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1039.73/1040.06 c implics : 0.00 0 8 0 0 0 0 0 0
1039.73/1040.06 c probing : 0.00 0 0 0 0 0 0 0 0
1039.73/1040.06 c knapsack : 0.01 0 0 0 0 0 0 0 0
1039.73/1040.06 c linear : 0.02 13 0 0 13 0 31 0 0
1039.73/1040.06 c logicor : 0.00 0 0 0 0 0 0 0 0
1039.73/1040.06 c root node : - 0 - - 0 - - - -
1039.73/1040.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1039.73/1040.06 c integral : 0 0 0 40176 0 17 220 0 0 80154
1039.73/1040.06 c knapsack : 199 5 259129 1 0 18185 769532 268 0 0
1039.73/1040.06 c logicor : 456+ 5 203843 1 0 4611 461161 0 0 0
1039.73/1040.06 c countsols : 0 0 0 1 0 0 0 0 0 0
1039.73/1040.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1039.73/1040.06 c integral : 143.43 0.00 0.00 143.43 0.00
1039.73/1040.06 c knapsack : 5.37 0.00 5.37 0.00 0.00
1039.73/1040.06 c logicor : 8.50 0.00 8.50 0.00 0.00
1039.73/1040.06 c countsols : 0.00 0.00 0.00 0.00 0.00
1039.73/1040.06 c Propagators : Time Calls Cutoffs DomReds
1039.73/1040.06 c rootredcost : 0.10 0 0 0
1039.73/1040.06 c pseudoobj : 4.02 260237 0 0
1039.73/1040.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1039.73/1040.06 c propagation : 2.36 8643 8229 79319 55.5 251 23.6 -
1039.73/1040.06 c infeasible LP : 0.34 10079 0 0 0.0 0 0.0 0
1039.73/1040.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1039.73/1040.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1039.73/1040.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1039.73/1040.06 c applied globally : - - - 17653 19.4 - - -
1039.73/1040.06 c applied locally : - - - 194 60.6 - - -
1039.73/1040.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1039.73/1040.06 c cut pool : 0.00 4 - - 109 - (maximal pool size: 2468)
1039.73/1040.06 c redcost : 0.48 40123 0 0 0 0
1039.73/1040.06 c impliedbounds : 0.00 5 0 0 816 0
1039.73/1040.06 c intobj : 0.00 0 0 0 0 0
1039.73/1040.06 c gomory : 0.86 5 0 0 39 0
1039.73/1040.06 c strongcg : 0.78 5 0 0 2221 0
1039.73/1040.06 c cmir : 0.00 0 0 0 0 0
1039.73/1040.06 c flowcover : 0.00 0 0 0 0 0
1039.73/1040.06 c clique : 0.00 5 0 0 13 0
1039.73/1040.06 c zerohalf : 0.00 0 0 0 0 0
1039.73/1040.06 c mcf : 0.00 1 0 0 0 0
1039.73/1040.06 c Pricers : Time Calls Vars
1039.73/1040.06 c problem variables: 0.00 0 0
1039.73/1040.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1039.73/1040.06 c relpscost : 143.35 40175 17 220 0 0 80154
1039.73/1040.06 c pscost : 0.00 0 0 0 0 0 0
1039.73/1040.06 c inference : 0.00 0 0 0 0 0 0
1039.73/1040.06 c mostinf : 0.00 0 0 0 0 0 0
1039.73/1040.06 c leastinf : 0.00 0 0 0 0 0 0
1039.73/1040.06 c fullstrong : 0.00 0 0 0 0 0 0
1039.73/1040.06 c allfullstrong : 0.00 0 0 0 0 0 0
1039.73/1040.06 c random : 0.00 0 0 0 0 0 0
1039.73/1040.06 c Primal Heuristics : Time Calls Found
1039.73/1040.06 c LP solutions : 0.00 - 1
1039.73/1040.06 c pseudo solutions : 0.00 - 0
1039.73/1040.06 c simplerounding : 0.00 0 0
1039.73/1040.06 c rounding : 0.00 0 0
1039.73/1040.06 c shifting : 0.00 0 0
1039.73/1040.06 c intshifting : 0.00 0 0
1039.73/1040.06 c oneopt : 0.00 0 0
1039.73/1040.06 c fixandinfer : 0.00 0 0
1039.73/1040.06 c feaspump : 0.00 0 0
1039.73/1040.06 c coefdiving : 0.00 0 0
1039.73/1040.06 c pscostdiving : 0.00 0 0
1039.73/1040.06 c fracdiving : 0.00 0 0
1039.73/1040.06 c veclendiving : 0.00 0 0
1039.73/1040.06 c intdiving : 0.00 0 0
1039.73/1040.06 c actconsdiving : 0.00 0 0
1039.73/1040.06 c objpscostdiving : 0.00 0 0
1039.73/1040.06 c rootsoldiving : 0.00 0 0
1039.73/1040.06 c linesearchdiving : 0.00 0 0
1039.73/1040.06 c guideddiving : 0.00 0 0
1039.73/1040.06 c octane : 0.00 0 0
1039.73/1040.06 c rens : 0.00 0 0
1039.73/1040.06 c rins : 0.00 0 0
1039.73/1040.06 c localbranching : 0.00 0 0
1039.73/1040.06 c mutation : 0.00 0 0
1039.73/1040.06 c crossover : 0.00 0 0
1039.73/1040.06 c dins : 0.00 0 0
1039.73/1040.06 c LP : Time Calls Iterations Iter/call Iter/sec
1039.73/1040.06 c primal LP : 0.03 0 0 0.00 0.00
1039.73/1040.06 c dual LP : 847.56 50252 4285584 85.28 5056.38
1039.73/1040.06 c barrier LP : 0.00 0 0 0.00 -
1039.73/1040.06 c diving/probing LP: 0.00 0 0 0.00 -
1039.73/1040.06 c strong branching : 141.21 5060 596339 117.85 4223.06
1039.73/1040.06 c (at root node) : - 17 2958 174.00 -
1039.73/1040.06 c conflict analysis: 0.00 0 0 0.00 -
1039.73/1040.06 c B&B Tree :
1039.73/1040.06 c number of runs : 1
1039.73/1040.06 c nodes : 72034
1039.73/1040.06 c nodes (total) : 72034
1039.73/1040.06 c nodes left : 7081
1039.73/1040.06 c max depth : 51
1039.73/1040.06 c max depth (total): 51
1039.73/1040.06 c backtracks : 11981 (16.6%)
1039.73/1040.06 c delayed cutoffs : 993
1039.73/1040.06 c repropagations : 14145 (58678 domain reductions, 936 cutoffs)
1039.73/1040.06 c avg switch length: 4.57
1039.73/1040.06 c switching time : 9.20
1039.73/1040.06 c Solution :
1039.73/1040.06 c Solutions found : 1 (1 improvements)
1039.73/1040.06 c Primal Bound : +8.00000000000000e+01 (in run 1, after 72034 nodes, 1034.23 seconds, depth 20, found by <relaxation>)
1039.73/1040.06 c Dual Bound : +6.17710263263250e+01
1039.73/1040.06 c Gap : 29.51 %
1039.73/1040.06 c Root Dual Bound : +5.24249599466644e+01
1039.83/1040.12 c Time complete: 1039.85.
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1867981-1245113600/watcher-1867981-1245113600 -o /tmp/evaluation-result-1867981-1245113600/solver-1867981-1245113600 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1867981-1245113600.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.50 1.86 1.90 3/64 28394 /proc/meminfo: memFree=675768/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=5812 CPUtime=0 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 178959766 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/28394/statm: 1453 512 341 1256 0 192 0 [startup+0.046208 s] /proc/loadavg: 1.50 1.86 1.90 3/64 28394 /proc/meminfo: memFree=675768/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=14776 CPUtime=0.04 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 2858 0 0 0 3 1 0 0 18 0 1 0 178959766 15130624 2488 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 3694 2488 475 1256 0 2433 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 14776 [startup+0.101213 s] /proc/loadavg: 1.50 1.86 1.90 3/64 28394 /proc/meminfo: memFree=675768/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=18464 CPUtime=0.09 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 3648 0 0 0 8 1 0 0 16 0 1 0 178959766 18907136 3276 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 4616 3276 620 1256 0 3355 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18464 [startup+0.30123 s] /proc/loadavg: 1.50 1.86 1.90 3/64 28394 /proc/meminfo: memFree=675768/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=19748 CPUtime=0.29 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 4100 0 0 0 28 1 0 0 18 0 1 0 178959766 20221952 3728 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 4937 3728 642 1256 0 3676 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19748 [startup+0.701267 s] /proc/loadavg: 1.50 1.86 1.90 3/64 28394 /proc/meminfo: memFree=675768/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=23684 CPUtime=0.69 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 4975 0 0 0 66 3 0 0 21 0 1 0 178959766 24252416 4603 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 5921 4603 654 1256 0 4660 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23684 [startup+1.50134 s] /proc/loadavg: 1.50 1.86 1.90 2/65 28395 /proc/meminfo: memFree=658544/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=28808 CPUtime=1.49 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 6187 0 0 0 146 3 0 0 25 0 1 0 178959766 29499392 5815 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 7202 5815 654 1256 0 5941 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28808 [startup+3.10148 s] /proc/loadavg: 1.50 1.86 1.90 2/65 28395 /proc/meminfo: memFree=651440/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=37032 CPUtime=3.09 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 7738 0 0 0 304 5 0 0 25 0 1 0 178959766 37920768 7366 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 9258 7366 659 1256 0 7997 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37032 [startup+6.30177 s] /proc/loadavg: 1.46 1.84 1.89 2/65 28395 /proc/meminfo: memFree=648112/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=37032 CPUtime=6.29 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 7838 0 0 0 623 6 0 0 25 0 1 0 178959766 37920768 7466 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 9258 7466 673 1256 0 7997 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37032 [startup+12.7014 s] /proc/loadavg: 1.43 1.83 1.89 2/65 28395 /proc/meminfo: memFree=647864/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=37032 CPUtime=12.69 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 7982 0 0 0 1260 9 0 0 25 0 1 0 178959766 37920768 7610 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 9258 7610 673 1256 0 7997 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37032 [startup+25.5015 s] /proc/loadavg: 1.33 1.79 1.87 2/65 28395 /proc/meminfo: memFree=647736/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=37032 CPUtime=25.49 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 8043 0 0 0 2536 13 0 0 25 0 1 0 178959766 37920768 7671 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 9258 7671 680 1256 0 7997 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37032 [startup+51.1018 s] /proc/loadavg: 1.22 1.72 1.85 2/65 28395 /proc/meminfo: memFree=646968/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=37032 CPUtime=51.06 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 8240 0 0 0 5086 20 0 0 25 0 1 0 178959766 37920768 7868 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 9258 7868 680 1256 0 7997 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 37032 [startup+102.305 s] /proc/loadavg: 1.09 1.61 1.80 2/65 28395 /proc/meminfo: memFree=646584/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=36676 CPUtime=102.26 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 12689 0 0 0 10183 43 0 0 25 0 1 0 178959766 37556224 7976 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 9169 7976 681 1256 0 7908 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 36676 [startup+162.302 s] /proc/loadavg: 1.03 1.50 1.75 2/65 28395 /proc/meminfo: memFree=646136/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=38916 CPUtime=162.24 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 19812 0 0 0 16152 72 0 0 25 0 1 0 178959766 39849984 8163 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 9729 8163 681 1256 0 8468 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 38916 [startup+222.301 s] /proc/loadavg: 1.01 1.40 1.70 2/65 28395 /proc/meminfo: memFree=643832/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=41024 CPUtime=222.23 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 23237 0 0 0 22123 100 0 0 25 0 1 0 178959766 42008576 8684 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 10256 8684 681 1256 0 8995 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 41024 [startup+282.302 s] /proc/loadavg: 1.00 1.33 1.65 2/65 28395 /proc/meminfo: memFree=642744/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=40120 CPUtime=282.21 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 29630 0 0 0 28094 127 0 0 25 0 1 0 178959766 41082880 8955 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 10030 8955 681 1256 0 8769 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 40120 [startup+342.301 s] /proc/loadavg: 1.00 1.26 1.61 2/65 28395 /proc/meminfo: memFree=640184/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=44524 CPUtime=342.2 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 31860 0 0 0 34064 156 0 0 25 0 1 0 178959766 45592576 9578 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 11131 9578 681 1256 0 9870 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 44524 [startup+402.302 s] /proc/loadavg: 1.00 1.21 1.57 2/65 28395 /proc/meminfo: memFree=639544/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=43564 CPUtime=402.18 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 35118 0 0 0 40032 186 0 0 25 0 1 0 178959766 44609536 9716 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 10891 9716 681 1256 0 9630 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 43564 [startup+462.301 s] /proc/loadavg: 1.00 1.17 1.53 2/65 28401 /proc/meminfo: memFree=638128/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=44912 CPUtime=462.17 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 39302 0 0 0 45999 218 0 0 25 0 1 0 178959766 45989888 10053 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 11228 10053 681 1256 0 9967 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 44912 [startup+522.302 s] /proc/loadavg: 1.00 1.14 1.49 2/65 28401 /proc/meminfo: memFree=636792/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=47076 CPUtime=522.15 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 44445 0 0 0 51968 247 0 0 25 0 1 0 178959766 48205824 10409 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 11769 10409 681 1256 0 10508 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 47076 [startup+582.302 s] /proc/loadavg: 1.00 1.11 1.46 2/65 28401 /proc/meminfo: memFree=635960/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=47476 CPUtime=582.14 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 49368 0 0 0 57929 285 0 0 25 0 1 0 178959766 48615424 10635 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 11869 10635 681 1256 0 10608 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 47476 [startup+642.301 s] /proc/loadavg: 1.00 1.09 1.43 2/65 28401 /proc/meminfo: memFree=633912/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=50496 CPUtime=642.13 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 50988 0 0 0 63893 320 0 0 25 0 1 0 178959766 51707904 11135 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 12624 11135 681 1256 0 11363 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 50496 [startup+702.302 s] /proc/loadavg: 1.00 1.07 1.40 2/65 28401 /proc/meminfo: memFree=633976/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=49304 CPUtime=702.11 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 52113 0 0 0 69858 353 0 0 25 0 1 0 178959766 50487296 11129 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 12326 11129 681 1256 0 11065 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 49304 [startup+762.305 s] /proc/loadavg: 1.00 1.05 1.37 2/65 28401 /proc/meminfo: memFree=631864/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=51356 CPUtime=762.1 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 56866 0 0 0 75821 389 0 0 25 0 1 0 178959766 52588544 11630 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 12839 11630 681 1256 0 11578 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 51356 [startup+822.302 s] /proc/loadavg: 1.00 1.04 1.35 2/65 28401 /proc/meminfo: memFree=630200/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=53004 CPUtime=822.08 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 60643 0 0 0 81784 424 0 0 25 0 1 0 178959766 54276096 12057 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 13251 12057 681 1256 0 11990 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 53004 [startup+882.301 s] /proc/loadavg: 1.00 1.03 1.32 2/65 28401 /proc/meminfo: memFree=628984/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=54576 CPUtime=882.07 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 64692 0 0 0 87747 460 0 0 25 0 1 0 178959766 55885824 12352 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 13644 12352 681 1256 0 12383 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 54576 [startup+942.302 s] /proc/loadavg: 1.00 1.02 1.30 2/65 28401 /proc/meminfo: memFree=628536/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=56116 CPUtime=942.05 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 65984 0 0 0 93710 495 0 0 25 0 1 0 178959766 57462784 12493 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 14029 12493 681 1256 0 12768 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 56116 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.28 2/65 28401 /proc/meminfo: memFree=628536/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=54836 CPUtime=1002.03 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 67307 0 0 0 99671 532 0 0 25 0 1 0 178959766 56152064 12477 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 13709 12477 681 1256 0 12448 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 54836 Solver just ended. Dumping a history of the last processes samples [startup+1023.9 s] /proc/loadavg: 1.00 1.02 1.27 2/65 28401 /proc/meminfo: memFree=627832/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=55620 CPUtime=1023.63 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 69163 0 0 0 101817 546 0 0 25 0 1 0 178959766 56954880 12706 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 13905 12706 681 1256 0 12644 0 Current children cumulated CPU time (s) 1023.63 Current children cumulated vsize (KiB) 55620 [startup+1030.3 s] /proc/loadavg: 1.00 1.02 1.27 2/65 28401 /proc/meminfo: memFree=627512/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=56016 CPUtime=1030.03 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 70178 0 0 0 102454 549 0 0 25 0 1 0 178959766 57360384 12693 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 14004 12693 681 1256 0 12743 0 Current children cumulated CPU time (s) 1030.03 Current children cumulated vsize (KiB) 56016 [startup+1036.7 s] /proc/loadavg: 1.00 1.01 1.26 2/65 28401 /proc/meminfo: memFree=626744/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=57784 CPUtime=1036.43 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 70394 0 0 0 103090 553 0 0 25 0 1 0 178959766 59170816 12909 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 14446 12909 681 1256 0 13185 0 Current children cumulated CPU time (s) 1036.43 Current children cumulated vsize (KiB) 57784 [startup+1038.3 s] /proc/loadavg: 1.00 1.01 1.26 2/65 28401 /proc/meminfo: memFree=626744/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=57784 CPUtime=1038.03 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 70395 0 0 0 103250 553 0 0 25 0 1 0 178959766 59170816 12910 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 14446 12910 681 1256 0 13185 0 Current children cumulated CPU time (s) 1038.03 Current children cumulated vsize (KiB) 57784 [startup+1039.1 s] /proc/loadavg: 1.00 1.01 1.26 2/65 28401 /proc/meminfo: memFree=626744/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=57784 CPUtime=1038.83 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 70398 0 0 0 103329 554 0 0 25 0 1 0 178959766 59170816 12913 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 14446 12913 681 1256 0 13185 0 Current children cumulated CPU time (s) 1038.83 Current children cumulated vsize (KiB) 57784 [startup+1039.9 s] /proc/loadavg: 1.00 1.01 1.26 2/65 28401 /proc/meminfo: memFree=626744/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=57784 CPUtime=1039.63 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 70401 0 0 0 103409 554 0 0 25 0 1 0 178959766 59170816 12916 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28394/statm: 14446 12916 681 1256 0 13185 0 Current children cumulated CPU time (s) 1039.63 Current children cumulated vsize (KiB) 57784 [startup+1040.1 s] /proc/loadavg: 1.00 1.01 1.26 2/65 28401 /proc/meminfo: memFree=626744/2055920 swapFree=4192812/4192956 [pid=28394] ppid=28392 vsize=57784 CPUtime=1039.83 /proc/28394/stat : 28394 (pbscip.linux.x8) R 28392 28394 28357 0 -1 4194304 70407 0 0 0 103429 554 0 0 17 0 1 0 178959766 59170816 12922 1992294400 4194304 9342243 548682068736 18446744073709551615 4805770 0 0 4096 0 0 0 0 17 1 0 0 /proc/28394/statm: 14446 12922 687 1256 0 13185 0 Current children cumulated CPU time (s) 1039.83 Current children cumulated vsize (KiB) 57784 Child status: 0 Real time (s): 1040.12 CPU time (s): 1039.86 CPU user time (s): 1034.3 CPU system time (s): 5.55515 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 57784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1034.3 system time used= 5.55516 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70412 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= 6 involuntary context switches= 1739 runsolver used 0.693894 second user time and 2.29765 second system time The end
Begin job on node25 at 2009-06-16 02:53:20 IDJOB=1867981 IDBENCH=1157 IDSOLVER=684 FILE ID=node25/1867981-1245113600 PBS_JOBID= 9363656 Free space on /tmp= 66312 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army10.14bt.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1867981-1245113600/watcher-1867981-1245113600 -o /tmp/evaluation-result-1867981-1245113600/solver-1867981-1245113600 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1867981-1245113600.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 35996461279b46395c12d24fd378138e RANDOM SEED=965288113 node25.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.238 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.238 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: 676184 kB Buffers: 60996 kB Cached: 1233248 kB SwapCached: 0 kB Active: 65840 kB Inactive: 1242248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 676184 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 12016 kB Writeback: 0 kB Mapped: 23608 kB Slab: 57616 kB Committed_AS: 184172 kB PageTables: 1464 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= 66300 MiB End job on node25 at 2009-06-16 03:10:40