| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | SAT | 394.382 | 394.506 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17ls.opb |
| MD5SUM | e92d33933b84b1c0ca9ffa19c28f7edc |
| 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 | 2.36764 |
| 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 | 370 |
| Total number of constraints | 557 |
| Number of constraints which are clauses | 313 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 242 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 121 |
| 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 | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 138 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 c SCIP version 1.1.0.7
0.00/0.02 c LP-Solver SoPlex 1.4.1
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c read problem <HOME/instance-1867996-1245114179.opb>
0.00/0.02 c original problem has 370 variables (370 bin, 0 int, 0 impl, 0 cont) and 557 constraints
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c start presolving problem
0.00/0.02 c presolving:
0.00/0.04 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 402 impls, 0 clqs
0.00/0.06 c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 8 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 12226 implications, 0 cliques
0.00/0.06 c presolved problem has 362 variables (362 bin, 0 int, 0 impl, 0 cont) and 557 constraints
0.00/0.06 c 244 constraints of type <knapsack>
0.00/0.06 c 313 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.03
0.00/0.06 c SATUNSAT-LIN
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/flowcover/freq = c -1
0.00/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/cmir/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/veclendiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.00/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/veclendiving/freq = c -1
0.00/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/simplerounding/freq = c -1
0.00/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/shifting/freq = c -1
0.00/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/rounding/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.00/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/rootsoldiving/freq = c -1
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/rens/nodesofs = c 2000
0.00/0.06 c # minimum percentage of integer variables that have to be fixable
0.00/0.06 c # [type: real, range: [0,1], default: 0.5]
0.00/0.06 c heuristics/rens/minfixingrate = c 0.3
0.00/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/rens/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.00/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/pscostdiving/freq = c -1
0.00/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/oneopt/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.06 c # [type: real, range: [0,1], default: 0.01]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.00/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/objpscostdiving/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.00/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/linesearchdiving/freq = c -1
0.00/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/intshifting/freq = c -1
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/intdiving/maxlpiterquot = c 0.075
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/guideddiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.00/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/guideddiving/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/fracdiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.00/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/fracdiving/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/feaspump/maxlpiterofs = c 2000
0.00/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/feaspump/freq = c -1
0.00/0.06 c # minimum percentage of integer variables that have to be fixed
0.00/0.06 c # [type: real, range: [0,1], default: 0.666]
0.00/0.06 c heuristics/crossover/minfixingrate = c 0.5
0.00/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.06 c # [type: real, range: [0,1], default: 0.1]
0.00/0.06 c heuristics/crossover/nodesquot = c 0.15
0.00/0.06 c # number of nodes without incumbent change that heuristic should wait
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.06 c heuristics/crossover/nwaitingnodes = c 100
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/crossover/nodesofs = c 750
0.00/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.06 c heuristics/crossover/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/coefdiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.00/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/coefdiving/freq = c -1
0.00/0.06 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c presolving/probing/maxrounds = c 0
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = c TRUE
0.00/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c constraints/knapsack/disaggregation = c FALSE
0.00/0.06 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c constraints/knapsack/maxnumcardlift = c 0
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = c TRUE
0.00/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/maxroundsroot = c 5
0.00/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.06 c separating/maxrounds = c 1
0.00/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = c 1
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = c 1620
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = c 1791
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = c 10000
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving problem
0.00/0.06 c
0.00/0.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.08 c 0.1s| 1 | 0 | 260 |2176k| 0 | 141 | 362 | 557 | 557 | 362 | 549 | 0 | 0 | 0 | 4.636364e+01 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 517 |3381k| 0 | 148 | 362 | 557 | 557 | 362 | 859 | 310 | 0 | 0 | 4.822222e+01 | -- | Inf
0.69/0.76 c 0.7s| 1 | 0 | 1162 |5640k| 0 | 337 | 362 | 557 | 557 | 362 |1298 | 749 | 0 | 0 | 5.123303e+01 | -- | Inf
1.09/1.18 c 1.1s| 1 | 0 | 1319 |8077k| 0 | 347 | 362 | 557 | 557 | 362 |1347 | 798 | 0 | 0 | 5.152774e+01 | -- | Inf
1.50/1.59 c 1.5s| 1 | 0 | 1473 |8286k| 0 | 353 | 362 | 557 | 557 | 362 |1350 | 801 | 0 | 0 | 5.161834e+01 | -- | Inf
1.99/2.00 c 1.9s| 1 | 0 | 1614 |8652k| 0 | 353 | 362 | 557 | 557 | 362 |1351 | 802 | 0 | 0 | 5.168460e+01 | -- | Inf
7.29/7.38 c 7.3s| 1 | 2 | 1614 |8652k| 0 | 353 | 362 | 557 | 557 | 362 |1351 | 802 | 0 | 21 | 5.168460e+01 | -- | Inf
108.35/108.48 c 107s| 10000 | 3610 |262177 | 15M| 63 | 20 | 362 | 665 | 96 | 362 | 868 | 802 | 518 |2395 | 5.670579e+01 | -- | Inf
177.33/177.41 c 175s| 20000 | 7101 |520417 | 21M| 75 | 45 | 362 | 668 | 130 | 362 | 868 | 802 | 951 |2862 | 5.786872e+01 | -- | Inf
229.22/229.33 c 227s| 30000 | 9607 |721586 | 26M| 83 | 60 | 362 | 692 | 200 | 362 | 868 | 802 |1627 |3105 | 5.846502e+01 | -- | Inf
288.70/288.89 c 285s| 40000 | 12374 |940794 | 31M| 83 | 28 | 362 | 721 | 88 | 362 | 868 | 802 |2158 |3769 | 5.893109e+01 | -- | Inf
345.99/346.17 c 342s| 50000 | 14864 | 1154k| 36M| 90 | - | 362 | 777 | 149 | 0 | 0 | 802 |2753 |4267 | 5.930349e+01 | -- | Inf
394.27/394.40 c * 390s| 59262 | 16895 | 1339k| 40M| 90 | - | 362 | 805 | 60 | 362 | 868 | 802 |3389 |4603 | 5.956495e+01 | 9.200000e+01 | 54.45%
394.27/394.40 c
394.27/394.40 c SCIP Status : solving was interrupted [solution limit reached]
394.27/394.40 c Solving Time (sec) : 389.55
394.27/394.40 c Solving Nodes : 59262
394.27/394.40 c Primal Bound : +9.20000000000000e+01 (1 solutions)
394.27/394.40 c Dual Bound : +5.95649489634332e+01
394.27/394.40 c Gap : 54.45 %
394.27/394.40 c NODE 59262
394.27/394.40 c DUAL BOUND 59.5649
394.27/394.40 c PRIMAL BOUND 92
394.27/394.40 c GAP 0.544533
394.27/394.40 s SATISFIABLE
394.27/394.40 v -x369 x370 -x367 x368 -x365 x366 -x363 x364 -x361 x362 -x359 x360 -x357 x358 -x355 x356 -x353 x354 -x351 x352 -x349 -x350 -x347
394.27/394.40 v -x348 -x345 x346 -x343 x344 -x341 x342 x339 -x340 x337 -x338 -x335 x336 x333 -x334 x331 -x332 -x329 x330 -x327 x328 -x325 x326
394.27/394.40 v x323 -x324 x321 -x322 x319 -x320 -x317 x318 -x315 x316 -x313 -x314 -x311 -x312 -x309 -x310 -x307 -x308 x305 -x306 x303 -x304
394.27/394.40 v x301 -x302 x299 -x300 x297 -x298 x295 -x296 x293 -x294 x291 -x292 x289 -x290 -x287 x288 -x285 x286 -x283 x284 -x281 x282 -x279
394.27/394.40 v x280 -x277 x278 x275 -x276 x273 -x274 -x271 x272 x269 -x270 x267 -x268 x265 -x266 x263 -x264 x261 -x262 -x259 x260 x257
394.27/394.40 v -x258 x255 -x256 x253 -x254 x251 -x252 -x249 x250 -x247 x248 -x245 x246 -x243 x244 -x242 -x240 -x238 -x236 -x234 x232 x230 -x228
394.27/394.40 v x226 x224 -x222 -x220 -x218 -x216 -x214 -x212 x210 -x208 -x206 x204 -x202 -x200 -x198 -x196 -x194 -x192 -x190 -x188 -x186
394.27/394.40 v -x184 -x182 -x180 -x178 -x176 -x174 -x172 -x170 -x168 x166 x164 -x162 -x160 -x158 x156 -x154 -x152 -x150 -x148 -x146 x144 -x142
394.27/394.40 v -x140 -x138 x136 x134 -x132 -x130 -x128 -x126 -x124 -x122 -x120 -x118 x116 x114 x112 -x110 -x108 -x106 -x104 -x102 -x100
394.27/394.40 v -x98 -x96 x94 x92 -x90 -x88 -x86 -x84 -x82 -x80 -x78 -x76 -x74 -x72 -x70 -x68 -x66 -x64 -x62 -x60 -x58 -x56 -x54 -x52 -x50 -x48
394.27/394.40 v -x46 -x44 -x42 -x40 -x38 -x36 -x34 -x32 -x30 -x28 -x26 -x24 -x22 -x20 -x18 -x16 -x14 -x12 -x10 -x8 -x6 -x4 -x2 -x241 -x239
394.27/394.40 v -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 x197
394.27/394.40 v x195 x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175 -x173 -x171 -x169 -x167 -x165 -x163 -x161 -x159 -x157 -x155
394.27/394.40 v -x153 -x151 -x149 -x147 -x145 -x143 -x141 -x139 -x137 -x135 -x133 -x131 -x129 -x127 -x125 -x123 -x121 -x119 -x117 -x115 -x113
394.27/394.40 v -x111 -x109 -x107 -x105 -x103 -x101 -x99 -x97 -x95 -x93 -x91 -x89 x87 -x85 -x83 x81 x79 -x77 -x75 -x73 -x71 -x69 -x67 -x65 -x63
394.27/394.40 v x61 x59 x57 -x55 -x53 -x51 -x49 -x47 -x45 -x43 x41 x39 x37 -x35 -x33 -x31 x29 -x27 -x25 -x23 x21 x19 x17 -x15 -x13 -x11 -x9
394.27/394.40 v x7 -x5 -x3 -x1
394.27/394.40 c SCIP Status : solving was interrupted [solution limit reached]
394.27/394.40 c Solving Time : 389.55
394.27/394.40 c Original Problem :
394.27/394.40 c Problem name : HOME/instance-1867996-1245114179.opb
394.27/394.40 c Variables : 370 (370 binary, 0 integer, 0 implicit integer, 0 continuous)
394.27/394.40 c Constraints : 557 initial, 557 maximal
394.27/394.40 c Presolved Problem :
394.27/394.40 c Problem name : t_HOME/instance-1867996-1245114179.opb
394.27/394.40 c Variables : 362 (362 binary, 0 integer, 0 implicit integer, 0 continuous)
394.27/394.40 c Constraints : 557 initial, 832 maximal
394.27/394.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
394.27/394.40 c trivial : 0.00 0 0 0 0 0 0 0 0
394.27/394.40 c dualfix : 0.00 0 0 0 0 0 0 0 0
394.27/394.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
394.27/394.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
394.27/394.40 c implics : 0.00 0 8 0 0 0 0 0 0
394.27/394.40 c probing : 0.00 0 0 0 0 0 0 0 0
394.27/394.40 c knapsack : 0.01 0 0 0 0 0 0 0 0
394.27/394.40 c logicor : 0.00 0 0 0 0 0 0 0 0
394.27/394.40 c root node : - 0 - - 0 - - - -
394.27/394.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
394.27/394.40 c integral : 0 0 0 38317 0 17 266 0 0 76394
394.27/394.40 c knapsack : 244 5 157807 0 0 17340 646120 319 0 0
394.27/394.40 c logicor : 313+ 5 102675 1 0 193 240507 0 0 0
394.27/394.40 c countsols : 0 0 0 1 0 0 0 0 0 0
394.27/394.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
394.27/394.40 c integral : 60.99 0.00 0.00 60.99 0.00
394.27/394.40 c knapsack : 3.86 0.01 3.85 0.00 0.00
394.27/394.40 c logicor : 2.03 0.00 2.03 0.00 0.00
394.27/394.40 c countsols : 0.00 0.00 0.00 0.00 0.00
394.27/394.40 c Propagators : Time Calls Cutoffs DomReds
394.27/394.40 c rootredcost : 0.05 0 0 0
394.27/394.40 c pseudoobj : 2.83 158598 0 0
394.27/394.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
394.27/394.40 c propagation : 0.79 2593 2419 19152 79.0 15 97.1 -
394.27/394.40 c infeasible LP : 0.90 3537 0 0 0.0 0 0.0 0
394.27/394.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
394.27/394.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
394.27/394.40 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
394.27/394.40 c applied globally : - - - 3285 22.7 - - -
394.27/394.40 c applied locally : - - - 104 43.5 - - -
394.27/394.40 c Separators : Time Calls Cutoffs DomReds Cuts Conss
394.27/394.40 c cut pool : 0.01 4 - - 368 - (maximal pool size: 2829)
394.27/394.40 c redcost : 0.65 38238 0 0 0 0
394.27/394.40 c impliedbounds : 0.00 5 0 0 1024 0
394.27/394.40 c intobj : 0.00 0 0 0 0 0
394.27/394.40 c gomory : 0.61 5 0 0 730 0
394.27/394.40 c strongcg : 0.54 5 0 0 1436 0
394.27/394.40 c cmir : 0.00 0 0 0 0 0
394.27/394.40 c flowcover : 0.00 0 0 0 0 0
394.27/394.40 c clique : 0.01 1 0 0 0 0
394.27/394.40 c zerohalf : 0.00 0 0 0 0 0
394.27/394.40 c mcf : 0.00 1 0 0 0 0
394.27/394.40 c Pricers : Time Calls Vars
394.27/394.40 c problem variables: 0.00 0 0
394.27/394.40 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
394.27/394.40 c relpscost : 60.89 38316 17 266 0 0 76394
394.27/394.40 c pscost : 0.00 0 0 0 0 0 0
394.27/394.40 c inference : 0.00 0 0 0 0 0 0
394.27/394.40 c mostinf : 0.00 0 0 0 0 0 0
394.27/394.40 c leastinf : 0.00 0 0 0 0 0 0
394.27/394.40 c fullstrong : 0.00 0 0 0 0 0 0
394.27/394.40 c allfullstrong : 0.00 0 0 0 0 0 0
394.27/394.40 c random : 0.00 0 0 0 0 0 0
394.27/394.40 c Primal Heuristics : Time Calls Found
394.27/394.40 c LP solutions : 0.00 - 1
394.27/394.40 c pseudo solutions : 0.00 - 0
394.27/394.40 c simplerounding : 0.00 0 0
394.27/394.40 c rounding : 0.00 0 0
394.27/394.40 c shifting : 0.00 0 0
394.27/394.40 c intshifting : 0.00 0 0
394.27/394.40 c oneopt : 0.00 0 0
394.27/394.40 c fixandinfer : 0.00 0 0
394.27/394.40 c feaspump : 0.00 0 0
394.27/394.40 c coefdiving : 0.00 0 0
394.27/394.40 c pscostdiving : 0.00 0 0
394.27/394.40 c fracdiving : 0.00 0 0
394.27/394.40 c veclendiving : 0.00 0 0
394.27/394.40 c intdiving : 0.00 0 0
394.27/394.40 c actconsdiving : 0.00 0 0
394.27/394.40 c objpscostdiving : 0.00 0 0
394.27/394.40 c rootsoldiving : 0.00 0 0
394.27/394.40 c linesearchdiving : 0.00 0 0
394.27/394.40 c guideddiving : 0.00 0 0
394.27/394.40 c octane : 0.00 0 0
394.27/394.40 c rens : 0.00 0 0
394.27/394.40 c rins : 0.00 0 0
394.27/394.40 c localbranching : 0.00 0 0
394.27/394.40 c mutation : 0.00 0 0
394.27/394.40 c crossover : 0.00 0 0
394.27/394.40 c dins : 0.00 0 0
394.27/394.40 c LP : Time Calls Iterations Iter/call Iter/sec
394.27/394.40 c primal LP : 0.00 0 0 0.00 -
394.27/394.40 c dual LP : 295.68 41897 1339313 31.97 4529.60
394.27/394.40 c barrier LP : 0.00 0 0 0.00 -
394.27/394.40 c diving/probing LP: 0.00 0 0 0.00 -
394.27/394.40 c strong branching : 59.12 4603 225010 48.88 3805.99
394.27/394.40 c (at root node) : - 21 10088 480.38 -
394.27/394.40 c conflict analysis: 0.00 0 0 0.00 -
394.27/394.40 c B&B Tree :
394.27/394.40 c number of runs : 1
394.27/394.40 c nodes : 59262
394.27/394.40 c nodes (total) : 59262
394.27/394.40 c nodes left : 16895
394.27/394.40 c max depth : 90
394.27/394.40 c max depth (total): 90
394.27/394.40 c backtracks : 6468 (10.9%)
394.27/394.40 c delayed cutoffs : 88
394.27/394.40 c repropagations : 12091 (12312 domain reductions, 72 cutoffs)
394.27/394.40 c avg switch length: 6.13
394.27/394.40 c switching time : 7.17
394.27/394.40 c Solution :
394.27/394.40 c Solutions found : 1 (1 improvements)
394.27/394.40 c Primal Bound : +9.20000000000000e+01 (in run 1, after 59262 nodes, 389.55 seconds, depth 44, found by <relaxation>)
394.27/394.40 c Dual Bound : +5.95649489634332e+01
394.27/394.40 c Gap : 54.45 %
394.27/394.40 c Root Dual Bound : +5.16846016615471e+01
394.37/394.50 c Time complete: 394.37.
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1867996-1245114179/watcher-1867996-1245114179 -o /tmp/evaluation-result-1867996-1245114179/solver-1867996-1245114179 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1867996-1245114179.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.09 1.62 1.78 3/64 3306 /proc/meminfo: memFree=702648/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=4324 CPUtime=0 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 468 0 0 0 0 0 0 0 18 0 1 0 179014930 4427776 452 1992294400 4194304 7823515 548682068736 18446744073709551615 6804372 0 0 4096 0 0 0 0 17 1 0 0 /proc/3306/statm: 1082 463 300 886 0 192 0 [startup+0.0913021 s] /proc/loadavg: 1.09 1.62 1.78 3/64 3306 /proc/meminfo: memFree=702648/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=15988 CPUtime=0.08 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 3548 0 0 0 7 1 0 0 17 0 1 0 179014930 16371712 3176 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 3997 3176 529 886 0 3107 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 15988 [startup+0.101302 s] /proc/loadavg: 1.09 1.62 1.78 3/64 3306 /proc/meminfo: memFree=702648/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=16240 CPUtime=0.09 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 3633 0 0 0 8 1 0 0 17 0 1 0 179014930 16629760 3261 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 4060 3261 534 886 0 3170 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16240 [startup+0.301323 s] /proc/loadavg: 1.09 1.62 1.78 3/64 3306 /proc/meminfo: memFree=702648/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=19640 CPUtime=0.29 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 4568 0 0 0 27 2 0 0 18 0 1 0 179014930 20111360 4174 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 4910 4174 545 886 0 4020 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19640 [startup+0.701364 s] /proc/loadavg: 1.09 1.62 1.78 3/64 3306 /proc/meminfo: memFree=702648/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=23856 CPUtime=0.69 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 5610 0 0 0 66 3 0 0 21 0 1 0 179014930 24428544 5203 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 5964 5203 546 886 0 5074 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23856 [startup+1.50144 s] /proc/loadavg: 1.09 1.62 1.78 2/65 3307 /proc/meminfo: memFree=682032/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=27792 CPUtime=1.5 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 6515 0 0 0 145 5 0 0 25 0 1 0 179014930 28459008 6105 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 6948 6105 546 886 0 6058 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 27792 [startup+3.10161 s] /proc/loadavg: 1.09 1.62 1.78 2/65 3307 /proc/meminfo: memFree=679600/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=28244 CPUtime=3.09 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 6670 0 0 0 304 5 0 0 25 0 1 0 179014930 28921856 6260 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 7061 6260 549 886 0 6171 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28244 [startup+6.30193 s] /proc/loadavg: 1.08 1.61 1.78 2/65 3307 /proc/meminfo: memFree=679424/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=28244 CPUtime=6.29 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 6670 0 0 0 622 7 0 0 25 0 1 0 179014930 28921856 6260 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 7061 6260 549 886 0 6171 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28244 [startup+12.7016 s] /proc/loadavg: 1.08 1.60 1.78 2/65 3307 /proc/meminfo: memFree=679488/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=28244 CPUtime=12.69 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 6672 0 0 0 1256 13 0 0 25 0 1 0 179014930 28921856 6262 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 7061 6262 551 886 0 6171 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28244 [startup+25.5019 s] /proc/loadavg: 1.06 1.57 1.76 2/65 3307 /proc/meminfo: memFree=679616/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=28244 CPUtime=25.48 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 6678 0 0 0 2522 26 0 0 25 0 1 0 179014930 28921856 6268 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 7061 6268 557 886 0 6171 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28244 [startup+51.1025 s] /proc/loadavg: 1.04 1.52 1.74 2/65 3307 /proc/meminfo: memFree=678912/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=29284 CPUtime=51.07 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 6935 0 0 0 5055 52 0 0 25 0 1 0 179014930 29986816 6525 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 7321 6525 557 886 0 6431 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29284 [startup+102.306 s] /proc/loadavg: 1.02 1.44 1.70 2/65 3307 /proc/meminfo: memFree=671680/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=36280 CPUtime=102.25 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 8706 0 0 0 10115 110 0 0 25 0 1 0 179014930 37150720 8296 1992294400 4194304 7823515 548682068736 18446744073709551615 4266751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 9070 8296 557 886 0 8180 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 36280 [startup+162.303 s] /proc/loadavg: 1.00 1.36 1.65 2/65 3307 /proc/meminfo: memFree=664896/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=42912 CPUtime=162.23 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 10393 0 0 0 16044 179 0 0 25 0 1 0 179014930 43941888 9983 1992294400 4194304 7823515 548682068736 18446744073709551615 6206165 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 10728 9983 557 886 0 9838 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 42912 [startup+222.303 s] /proc/loadavg: 1.00 1.29 1.61 2/65 3307 /proc/meminfo: memFree=655552/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=52204 CPUtime=222.22 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 12727 0 0 0 21965 257 0 0 25 0 1 0 179014930 53456896 12317 1992294400 4194304 7823515 548682068736 18446744073709551615 6234781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 13051 12317 557 886 0 12161 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 52204 [startup+282.301 s] /proc/loadavg: 1.00 1.23 1.57 2/65 3307 /proc/meminfo: memFree=650944/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=56840 CPUtime=282.19 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 13866 0 0 0 27886 333 0 0 25 0 1 0 179014930 58204160 13456 1992294400 4194304 7823515 548682068736 18446744073709551615 4817995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 14210 13456 557 886 0 13320 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 56840 [startup+342.301 s] /proc/loadavg: 1.00 1.19 1.53 2/65 3307 /proc/meminfo: memFree=642368/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=65216 CPUtime=342.18 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 16001 0 0 0 33814 404 0 0 25 0 1 0 179014930 66781184 15591 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 16304 15591 557 886 0 15414 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 65216 Solver just ended. Dumping a history of the last processes samples [startup+358.302 s] /proc/loadavg: 1.00 1.18 1.52 2/65 3307 /proc/meminfo: memFree=640576/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=67052 CPUtime=358.17 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 16438 0 0 0 35394 423 0 0 25 0 1 0 179014930 68661248 16028 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 16763 16028 557 886 0 15873 0 Current children cumulated CPU time (s) 358.17 Current children cumulated vsize (KiB) 67052 [startup+371.101 s] /proc/loadavg: 1.00 1.17 1.51 2/65 3307 /proc/meminfo: memFree=640128/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=67484 CPUtime=370.98 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 16547 0 0 0 36660 438 0 0 25 0 1 0 179014930 69103616 16137 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 16871 16137 557 886 0 15981 0 Current children cumulated CPU time (s) 370.98 Current children cumulated vsize (KiB) 67484 [startup+383.905 s] /proc/loadavg: 1.00 1.16 1.50 2/65 3307 /proc/meminfo: memFree=638528/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=68996 CPUtime=383.78 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 16957 0 0 0 37921 457 0 0 25 0 1 0 179014930 70651904 16547 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 17249 16547 557 886 0 16359 0 Current children cumulated CPU time (s) 383.78 Current children cumulated vsize (KiB) 68996 [startup+390.301 s] /proc/loadavg: 1.00 1.16 1.50 2/65 3307 /proc/meminfo: memFree=637888/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=69596 CPUtime=390.17 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 17108 0 0 0 38552 465 0 0 25 0 1 0 179014930 71266304 16698 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 17399 16698 557 886 0 16509 0 Current children cumulated CPU time (s) 390.17 Current children cumulated vsize (KiB) 69596 [startup+391.901 s] /proc/loadavg: 1.00 1.16 1.50 2/65 3307 /proc/meminfo: memFree=637312/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=70164 CPUtime=391.77 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 17252 0 0 0 38710 467 0 0 25 0 1 0 179014930 71847936 16842 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 17541 16842 557 886 0 16651 0 Current children cumulated CPU time (s) 391.77 Current children cumulated vsize (KiB) 70164 [startup+393.501 s] /proc/loadavg: 1.00 1.16 1.50 2/65 3307 /proc/meminfo: memFree=637312/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=70164 CPUtime=393.37 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 17252 0 0 0 38868 469 0 0 25 0 1 0 179014930 71847936 16842 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 17541 16842 557 886 0 16651 0 Current children cumulated CPU time (s) 393.37 Current children cumulated vsize (KiB) 70164 [startup+394.301 s] /proc/loadavg: 1.00 1.15 1.50 2/65 3307 /proc/meminfo: memFree=637312/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=70164 CPUtime=394.17 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 17252 0 0 0 38946 471 0 0 25 0 1 0 179014930 71847936 16842 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3306/statm: 17541 16842 557 886 0 16651 0 Current children cumulated CPU time (s) 394.17 Current children cumulated vsize (KiB) 70164 [startup+394.501 s] /proc/loadavg: 1.00 1.15 1.50 2/65 3307 /proc/meminfo: memFree=637312/2055920 swapFree=4192952/4192956 [pid=3306] ppid=3304 vsize=34516 CPUtime=394.37 /proc/3306/stat : 3306 (pbscip.linux.x8) R 3304 3306 3233 0 -1 4194304 17258 0 0 0 38965 472 0 0 25 0 1 0 179014930 35344384 7968 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0 /proc/3306/statm: 8629 7968 3396 886 0 7739 0 Current children cumulated CPU time (s) 394.37 Current children cumulated vsize (KiB) 34516 Child status: 0 Real time (s): 394.506 CPU time (s): 394.382 CPU user time (s): 389.658 CPU system time (s): 4.72428 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 70164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 389.658 system time used= 4.72428 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17262 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 555 runsolver used 0.242963 second user time and 0.902862 second system time The end
Begin job on node45 at 2009-06-16 03:02:59 IDJOB=1867996 IDBENCH=1165 IDSOLVER=683 FILE ID=node45/1867996-1245114179 PBS_JOBID= 9363671 Free space on /tmp= 66172 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army11.17ls.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-1867996-1245114179/watcher-1867996-1245114179 -o /tmp/evaluation-result-1867996-1245114179/solver-1867996-1245114179 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1867996-1245114179.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e92d33933b84b1c0ca9ffa19c28f7edc RANDOM SEED=1599639916 node45.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.240 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.240 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: 703064 kB Buffers: 84284 kB Cached: 1166300 kB SwapCached: 4 kB Active: 128196 kB Inactive: 1136224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 703064 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 9864 kB Writeback: 0 kB Mapped: 23660 kB Slab: 74356 kB Committed_AS: 144856 kB PageTables: 1380 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= 66164 MiB End job on node45 at 2009-06-16 03:09:34