| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | UNSAT | 958.152 | 958.481 |
| Name | /DEC-SMALLINT-LIN/oliveras/j30/ normalized-j309_10-unsat.opb |
| MD5SUM | 42dd40b7036ee1d1ca1e1784551c3e09 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.255961 |
| 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 | 5456 |
| Total number of constraints | 17015 |
| Number of constraints which are clauses | 16667 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 348 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 26 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 177 |
| 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.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2684494-1278432532.opb>
0.19/0.29 c original problem has 5456 variables (5456 bin, 0 int, 0 impl, 0 cont) and 17015 constraints
0.19/0.29 c problem read
0.19/0.29 c No objective function, only one solution is needed.
0.19/0.29 c presolving settings loaded
0.29/0.38 c presolving:
1.00/1.09 c (round 1) 1047 del vars, 2662 del conss, 647 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 975504 impls, 0 clqs
1.29/1.40 c (round 2) 2585 del vars, 7780 del conss, 2049 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 983180 impls, 0 clqs
1.39/1.44 c (round 3) 2986 del vars, 9896 del conss, 2186 chg bounds, 46 chg sides, 26 chg coeffs, 0 upgd conss, 986397 impls, 0 clqs
1.39/1.46 c (round 4) 3070 del vars, 10241 del conss, 2278 chg bounds, 50 chg sides, 28 chg coeffs, 0 upgd conss, 986828 impls, 0 clqs
1.39/1.48 c (round 5) 3155 del vars, 10581 del conss, 2314 chg bounds, 50 chg sides, 28 chg coeffs, 0 upgd conss, 987164 impls, 0 clqs
1.39/1.49 c (round 6) 3176 del vars, 10672 del conss, 2324 chg bounds, 50 chg sides, 28 chg coeffs, 0 upgd conss, 987262 impls, 0 clqs
1.49/1.50 c (round 7) 3177 del vars, 10677 del conss, 2324 chg bounds, 50 chg sides, 28 chg coeffs, 0 upgd conss, 987276 impls, 0 clqs
1.49/1.59 c (round 8) 3177 del vars, 10691 del conss, 2324 chg bounds, 50 chg sides, 28 chg coeffs, 6324 upgd conss, 987276 impls, 0 clqs
1.59/1.66 c (round 9) 3177 del vars, 10691 del conss, 2324 chg bounds, 56 chg sides, 111 chg coeffs, 6324 upgd conss, 987646 impls, 622 clqs
1.69/1.72 c (round 10) 3177 del vars, 10691 del conss, 2324 chg bounds, 58 chg sides, 271 chg coeffs, 6324 upgd conss, 987646 impls, 634 clqs
1.69/1.77 c (round 11) 3177 del vars, 10691 del conss, 2324 chg bounds, 58 chg sides, 380 chg coeffs, 6324 upgd conss, 987718 impls, 706 clqs
1.79/1.81 c (round 12) 3177 del vars, 10691 del conss, 2324 chg bounds, 58 chg sides, 436 chg coeffs, 6324 upgd conss, 987718 impls, 752 clqs
1.79/1.86 c (round 13) 3177 del vars, 10691 del conss, 2324 chg bounds, 59 chg sides, 449 chg coeffs, 6324 upgd conss, 987718 impls, 764 clqs
1.79/1.89 c presolving (14 rounds):
1.79/1.89 c 3177 deleted vars, 10691 deleted constraints, 2324 tightened bounds, 0 added holes, 59 changed sides, 452 changed coefficients
1.79/1.89 c 987718 implications, 764 cliques
1.79/1.89 c presolved problem has 2279 variables (2279 bin, 0 int, 0 impl, 0 cont) and 6324 constraints
1.79/1.89 c 312 constraints of type <knapsack>
1.79/1.89 c 6012 constraints of type <logicor>
1.79/1.89 c transformed objective value is always integral (scale: 1)
1.79/1.89 c Presolving Time: 1.39
1.79/1.89 c - non default parameters ----------------------------------------------------------------------
1.79/1.89 c # SCIP version 1.2.1.2
1.79/1.89 c
1.79/1.89 c # frequency for displaying node information lines
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.89 c display/freq = 10000
1.79/1.89 c
1.79/1.89 c # maximal time in seconds to run
1.79/1.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.89 c limits/time = 1799.72
1.79/1.89 c
1.79/1.89 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.89 c limits/memory = 1620
1.79/1.89 c
1.79/1.89 c # solving stops, if the given number of solutions were found (-1: no limit)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.89 c limits/solutions = 1
1.79/1.89 c
1.79/1.89 c # maximal number of separation rounds per node (-1: unlimited)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 5]
1.79/1.89 c separating/maxrounds = 1
1.79/1.89 c
1.79/1.89 c # maximal number of separation rounds in the root node (-1: unlimited)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.89 c separating/maxroundsroot = 5
1.79/1.89 c
1.79/1.89 c # should presolving try to simplify inequalities
1.79/1.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.89 c constraints/linear/simplifyinequalities = TRUE
1.79/1.89 c
1.79/1.89 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.79/1.89 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.79/1.89 c constraints/knapsack/disaggregation = FALSE
1.79/1.89 c
1.79/1.89 c # should presolving try to simplify knapsacks
1.79/1.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.89 c constraints/knapsack/simplifyinequalities = TRUE
1.79/1.89 c
1.79/1.89 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.89 c presolving/probing/maxrounds = 0
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.89 c heuristics/coefdiving/freq = -1
1.79/1.89 c
1.79/1.89 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.89 c heuristics/coefdiving/maxlpiterquot = 0.075
1.79/1.89 c
1.79/1.89 c # additional number of allowed LP iterations
1.79/1.89 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.89 c heuristics/coefdiving/maxlpiterofs = 1500
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 30]
1.79/1.89 c heuristics/crossover/freq = -1
1.79/1.89 c
1.79/1.89 c # number of nodes added to the contingent of the total nodes
1.79/1.89 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.79/1.89 c heuristics/crossover/nodesofs = 750
1.79/1.89 c
1.79/1.89 c # number of nodes without incumbent change that heuristic should wait
1.79/1.89 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.79/1.89 c heuristics/crossover/nwaitingnodes = 100
1.79/1.89 c
1.79/1.89 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.79/1.89 c # [type: real, range: [0,1], default: 0.1]
1.79/1.89 c heuristics/crossover/nodesquot = 0.15
1.79/1.89 c
1.79/1.89 c # minimum percentage of integer variables that have to be fixed
1.79/1.89 c # [type: real, range: [0,1], default: 0.666]
1.79/1.89 c heuristics/crossover/minfixingrate = 0.5
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.89 c heuristics/feaspump/freq = -1
1.79/1.89 c
1.79/1.89 c # additional number of allowed LP iterations
1.79/1.89 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.89 c heuristics/feaspump/maxlpiterofs = 2000
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.89 c heuristics/fracdiving/freq = -1
1.79/1.89 c
1.79/1.89 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.89 c heuristics/fracdiving/maxlpiterquot = 0.075
1.79/1.89 c
1.79/1.89 c # additional number of allowed LP iterations
1.79/1.89 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.89 c heuristics/fracdiving/maxlpiterofs = 1500
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.89 c heuristics/guideddiving/freq = -1
1.79/1.89 c
1.79/1.89 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.89 c heuristics/guideddiving/maxlpiterquot = 0.075
1.79/1.89 c
1.79/1.89 c # additional number of allowed LP iterations
1.79/1.89 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.89 c heuristics/guideddiving/maxlpiterofs = 1500
1.79/1.89 c
1.79/1.89 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.89 c heuristics/intdiving/maxlpiterquot = 0.075
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.89 c heuristics/intshifting/freq = -1
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.89 c heuristics/linesearchdiving/freq = -1
1.79/1.89 c
1.79/1.89 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.89 c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.79/1.89 c
1.79/1.89 c # additional number of allowed LP iterations
1.79/1.89 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.89 c heuristics/linesearchdiving/maxlpiterofs = 1500
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.89 c heuristics/nlp/freq = -1
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.89 c heuristics/objpscostdiving/freq = -1
1.79/1.89 c
1.79/1.89 c # maximal fraction of diving LP iterations compared to total iteration number
1.79/1.89 c # [type: real, range: [0,1], default: 0.01]
1.79/1.89 c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.79/1.89 c
1.79/1.89 c # additional number of allowed LP iterations
1.79/1.89 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.89 c heuristics/objpscostdiving/maxlpiterofs = 1500
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.89 c heuristics/oneopt/freq = -1
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.89 c heuristics/pscostdiving/freq = -1
1.79/1.89 c
1.79/1.89 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.89 c heuristics/pscostdiving/maxlpiterquot = 0.075
1.79/1.89 c
1.79/1.89 c # additional number of allowed LP iterations
1.79/1.89 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.89 c heuristics/pscostdiving/maxlpiterofs = 1500
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.89 c heuristics/rens/freq = -1
1.79/1.89 c
1.79/1.89 c # minimum percentage of integer variables that have to be fixable
1.79/1.89 c # [type: real, range: [0,1], default: 0.5]
1.79/1.89 c heuristics/rens/minfixingrate = 0.3
1.79/1.89 c
1.79/1.89 c # number of nodes added to the contingent of the total nodes
1.79/1.89 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.79/1.89 c heuristics/rens/nodesofs = 2000
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.89 c heuristics/rootsoldiving/freq = -1
1.79/1.89 c
1.79/1.89 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.79/1.89 c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.79/1.89 c
1.79/1.89 c # additional number of allowed LP iterations
1.79/1.89 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.89 c heuristics/rootsoldiving/maxlpiterofs = 1500
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.89 c heuristics/rounding/freq = -1
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.89 c heuristics/shifting/freq = -1
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.89 c heuristics/simplerounding/freq = -1
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.89 c heuristics/trivial/freq = -1
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.89 c heuristics/trysol/freq = -1
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.89 c heuristics/veclendiving/freq = -1
1.79/1.89 c
1.79/1.89 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.89 c heuristics/veclendiving/maxlpiterquot = 0.075
1.79/1.89 c
1.79/1.89 c # additional number of allowed LP iterations
1.79/1.89 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.89 c heuristics/veclendiving/maxlpiterofs = 1500
1.79/1.89 c
1.79/1.89 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.89 c heuristics/zirounding/freq = -1
1.79/1.89 c
1.79/1.89 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.89 c separating/cmir/freq = -1
1.79/1.89 c
1.79/1.89 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.89 c separating/flowcover/freq = -1
1.79/1.89 c
1.79/1.89 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.79/1.89 c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.89 c separating/rapidlearning/freq = 0
1.79/1.89 c
1.79/1.89 c -----------------------------------------------------------------------------------------------
1.79/1.89 c start solving
1.79/1.89 c
4.99/5.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.99/5.05 c 4.6s| 1 | 0 | 3438 | - | 32M| 0 |1502 |2279 |6324 |2279 |6324 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
31.89/31.92 c 31.0s| 1 | 0 | 11001 | - | 31M| 0 |1645 |2279 |6319 |2279 |5977 | 121 | 0 | 0 | 0.000000e+00 | -- | Inf
45.98/46.02 c 45.1s| 1 | 0 | 14946 | - | 32M| 0 |1699 |2279 |6319 |2279 |6062 | 206 | 0 | 0 | 0.000000e+00 | -- | Inf
59.47/59.57 c 58.6s| 1 | 0 | 18760 | - | 32M| 0 |1668 |2279 |6319 |2279 |6123 | 267 | 0 | 0 | 0.000000e+00 | -- | Inf
73.37/73.45 c 72.4s| 1 | 0 | 22252 | - | 32M| 0 |1632 |2279 |6319 |2279 |6166 | 310 | 0 | 0 | 0.000000e+00 | -- | Inf
86.46/86.51 c 85.4s| 1 | 0 | 25616 | - | 32M| 0 |1665 |2279 |6319 |2279 |6205 | 349 | 0 | 0 | 0.000000e+00 | -- | Inf
108.86/108.96 c 108s| 1 | 2 | 25616 | - | 32M| 0 |1665 |2279 |6319 |2279 |6205 | 349 | 0 | 12 | 0.000000e+00 | -- | Inf
108.86/108.96 c (run 1, node 1) restarting after 145 global fixings of integer variables
108.86/108.96 c
108.86/108.98 c (restart) converted 16 cuts from the global cut pool into linear constraints
108.86/108.98 c
108.95/109.00 c presolving:
108.95/109.08 c (round 1) 234 del vars, 320 del conss, 0 chg bounds, 25 chg sides, 119 chg coeffs, 0 upgd conss, 1001345 impls, 733 clqs
109.05/109.14 c (round 2) 241 del vars, 335 del conss, 3 chg bounds, 26 chg sides, 185 chg coeffs, 231 upgd conss, 1002176 impls, 796 clqs
109.05/109.18 c (round 3) 246 del vars, 349 del conss, 3 chg bounds, 28 chg sides, 220 chg coeffs, 231 upgd conss, 1002180 impls, 828 clqs
109.15/109.21 c presolving (4 rounds):
109.15/109.21 c 246 deleted vars, 349 deleted constraints, 3 tightened bounds, 0 added holes, 28 changed sides, 229 changed coefficients
109.15/109.21 c 1002180 implications, 843 cliques
109.15/109.21 c presolved problem has 2033 variables (2033 bin, 0 int, 0 impl, 0 cont) and 5986 constraints
109.15/109.21 c 313 constraints of type <knapsack>
109.15/109.21 c 15 constraints of type <setppc>
109.15/109.21 c 5658 constraints of type <logicor>
109.15/109.21 c transformed objective value is always integral (scale: 1)
109.15/109.21 c Presolving Time: 1.60
109.15/109.21 c
111.26/111.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.26/111.33 c 110s| 1 | 0 | 28568 | - | 31M| 0 |1194 |2033 |5986 |2033 |5583 | 0 | 0 | 12 | 0.000000e+00 | -- | Inf
122.35/122.42 c 121s| 1 | 0 | 31765 | - | 31M| 0 |1511 |2033 |5986 |2033 |5667 | 84 | 0 | 12 | 0.000000e+00 | -- | Inf
159.23/159.35 c 158s| 1 | 2 | 31765 | - | 31M| 0 |1511 |2033 |5986 |2033 |5667 | 84 | 0 | 35 | 0.000000e+00 | -- | Inf
958.06/958.40 c
958.06/958.40 c SCIP Status : problem is solved [infeasible]
958.06/958.40 c Solving Time (sec) : 954.19
958.06/958.40 c Solving Nodes : 297 (total of 298 nodes in 2 runs)
958.06/958.40 c Primal Bound : +1.00000000000000e+20 (0 solutions)
958.06/958.40 c Dual Bound : +1.00000000000000e+20
958.06/958.40 c Gap : 0.00 %
958.06/958.40 s UNSATISFIABLE
958.06/958.40 c SCIP Status : problem is solved [infeasible]
958.06/958.40 c Solving Time : 954.19
958.06/958.40 c Original Problem :
958.06/958.40 c Problem name : HOME/instance-2684494-1278432532.opb
958.06/958.40 c Variables : 5456 (5456 binary, 0 integer, 0 implicit integer, 0 continuous)
958.06/958.40 c Constraints : 17015 initial, 17015 maximal
958.06/958.40 c Presolved Problem :
958.06/958.40 c Problem name : t_HOME/instance-2684494-1278432532.opb
958.06/958.40 c Variables : 2033 (2033 binary, 0 integer, 0 implicit integer, 0 continuous)
958.06/958.40 c Constraints : 5986 initial, 6333 maximal
958.06/958.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
958.06/958.40 c trivial : 0.01 340 0 0 0 0 0 0 0
958.06/958.40 c dualfix : 0.01 29 0 0 0 0 0 0 0
958.06/958.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
958.06/958.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
958.06/958.40 c implics : 0.07 0 94 0 0 0 0 0 0
958.06/958.40 c probing : 0.00 0 0 0 0 0 0 0 0
958.06/958.40 c knapsack : 0.26 0 0 0 0 0 0 26 653
958.06/958.40 c setppc : 0.00 0 0 0 0 0 0 0 0
958.06/958.40 c linear : 1.05 2135 824 0 2324 0 10739 61 28
958.06/958.41 c logicor : 0.13 1 0 0 3 0 301 0 0
958.06/958.41 c root node : - 268 - - 268 - - - -
958.06/958.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
958.06/958.41 c integral : 0 0 0 207 0 0 10 0 0 400
958.06/958.41 c knapsack : 313 7 4874 0 0 11 19653 1046 0 0
958.06/958.41 c setppc : 15 1 4861 0 0 0 190 0 0 0
958.06/958.41 c logicor : 5658+ 7 4679 0 0 161 44777 3 0 0
958.06/958.41 c countsols : 0 0 0 0 0 0 0 0 0 0
958.06/958.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
958.06/958.41 c integral : 461.20 0.00 0.00 461.20 0.00
958.06/958.41 c knapsack : 0.22 0.04 0.18 0.00 0.00
958.06/958.41 c setppc : 0.00 0.00 0.00 0.00 0.00
958.06/958.41 c logicor : 0.35 0.00 0.35 0.00 0.00
958.06/958.41 c countsols : 0.00 0.00 0.00 0.00 0.00
958.06/958.41 c Propagators : Time Calls Cutoffs DomReds
958.06/958.41 c vbounds : 0.00 2 0 0
958.06/958.41 c rootredcost : 0.00 0 0 0
958.06/958.41 c pseudoobj : 0.00 0 0 0
958.06/958.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
958.06/958.41 c propagation : 0.02 172 154 689 13.7 15 7.8 -
958.06/958.41 c infeasible LP : 0.01 4 4 17 9.6 1 4.0 0
958.06/958.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
958.06/958.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
958.06/958.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
958.06/958.41 c applied globally : - - - 382 11.2 - - -
958.06/958.41 c applied locally : - - - 0 0.0 - - -
958.06/958.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
958.06/958.41 c cut pool : 0.00 0 - - 0 - (maximal pool size: 32)
958.06/958.41 c redcost : 0.01 205 0 0 0 0
958.06/958.41 c impliedbounds : 0.04 6 0 0 20 0
958.06/958.41 c intobj : 0.00 0 0 0 0 0
958.06/958.41 c cgmip : 0.00 0 0 0 0 0
958.06/958.41 c gomory : 16.12 6 0 0 750 0
958.06/958.41 c strongcg : 17.29 6 0 0 819 0
958.06/958.41 c cmir : 0.00 0 0 0 0 0
958.06/958.41 c flowcover : 0.00 0 0 0 0 0
958.06/958.41 c clique : 0.78 6 0 0 46 0
958.06/958.41 c zerohalf : 0.00 0 0 0 0 0
958.06/958.41 c mcf : 0.06 2 0 0 0 0
958.06/958.41 c rapidlearning : 5.50 1 0 145 0 559
958.06/958.41 c Pricers : Time Calls Vars
958.06/958.41 c problem variables: 0.00 0 0
958.06/958.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
958.06/958.41 c relpscost : 461.20 207 0 10 0 0 400
958.06/958.41 c pscost : 0.00 0 0 0 0 0 0
958.06/958.41 c inference : 0.00 0 0 0 0 0 0
958.06/958.41 c mostinf : 0.00 0 0 0 0 0 0
958.06/958.41 c leastinf : 0.00 0 0 0 0 0 0
958.06/958.41 c fullstrong : 0.00 0 0 0 0 0 0
958.06/958.41 c allfullstrong : 0.00 0 0 0 0 0 0
958.06/958.41 c random : 0.00 0 0 0 0 0 0
958.06/958.41 c Primal Heuristics : Time Calls Found
958.06/958.41 c LP solutions : 0.00 - 0
958.06/958.41 c pseudo solutions : 0.00 - 0
958.06/958.41 c trivial : 0.01 1 0
958.06/958.41 c simplerounding : 0.00 0 0
958.06/958.41 c zirounding : 0.00 0 0
958.06/958.41 c rounding : 0.00 0 0
958.06/958.41 c shifting : 0.00 0 0
958.06/958.41 c intshifting : 0.00 0 0
958.06/958.41 c oneopt : 0.00 0 0
958.06/958.41 c twoopt : 0.00 0 0
958.06/958.41 c fixandinfer : 0.00 0 0
958.06/958.41 c feaspump : 0.00 0 0
958.06/958.41 c coefdiving : 0.00 0 0
958.06/958.41 c pscostdiving : 0.00 0 0
958.06/958.41 c fracdiving : 0.00 0 0
958.06/958.41 c veclendiving : 0.00 0 0
958.06/958.41 c intdiving : 0.00 0 0
958.06/958.41 c actconsdiving : 0.00 0 0
958.06/958.41 c objpscostdiving : 0.00 0 0
958.06/958.41 c rootsoldiving : 0.00 0 0
958.06/958.41 c linesearchdiving : 0.00 0 0
958.06/958.41 c guideddiving : 0.00 0 0
958.06/958.41 c octane : 0.00 0 0
958.06/958.41 c rens : 0.00 0 0
958.06/958.41 c rins : 0.00 0 0
958.06/958.41 c localbranching : 0.00 0 0
958.06/958.41 c mutation : 0.00 0 0
958.06/958.41 c crossover : 0.00 0 0
958.06/958.41 c dins : 0.00 0 0
958.06/958.41 c undercover : 0.00 0 0
958.06/958.41 c nlp : 0.00 0 0
958.06/958.41 c trysol : 0.00 0 0
958.06/958.41 c LP : Time Calls Iterations Iter/call Iter/sec
958.06/958.41 c primal LP : 0.03 0 0 0.00 0.00
958.06/958.41 c dual LP : 449.62 218 313065 1436.08 696.29
958.06/958.41 c lex dual LP : 0.00 0 0 0.00 -
958.06/958.41 c barrier LP : 0.00 0 0 0.00 -
958.06/958.41 c diving/probing LP: 0.00 0 0 0.00 -
958.06/958.41 c strong branching : 461.10 320 296210 925.66 642.40
958.06/958.41 c (at root node) : - 35 32310 923.14 -
958.06/958.41 c conflict analysis: 0.00 0 0 0.00 -
958.06/958.41 c B&B Tree :
958.06/958.41 c number of runs : 2
958.06/958.41 c nodes : 297
958.06/958.41 c nodes (total) : 298
958.06/958.41 c nodes left : 0
958.06/958.41 c max depth : 21
958.06/958.41 c max depth (total): 21
958.06/958.41 c backtracks : 89 (30.0%)
958.06/958.41 c delayed cutoffs : 102
958.06/958.41 c repropagations : 248 (23017 domain reductions, 78 cutoffs)
958.06/958.41 c avg switch length: 3.17
958.06/958.41 c switching time : 0.30
958.06/958.41 c Solution :
958.06/958.41 c Solutions found : 0 (0 improvements)
958.06/958.41 c Primal Bound : infeasible
958.06/958.41 c Dual Bound : -
958.06/958.41 c Gap : 0.00 %
958.06/958.41 c Root Dual Bound : +0.00000000000000e+00
958.06/958.41 c Root Iterations : 31765
958.06/958.48 c Time complete: 958.14.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684494-1278432532/watcher-2684494-1278432532 -o /tmp/evaluation-result-2684494-1278432532/solver-2684494-1278432532 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2684494-1278432532.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.06 0.02 0.00 3/105 20251 /proc/meminfo: memFree=1483844/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=9132 CPUtime=0 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 1573 0 0 0 0 0 0 0 19 0 1 0 11461774 9351168 1492 1992294400 4194304 8223781 140734116001152 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20251/statm: 2283 1498 363 984 0 1296 0 [startup+0.039333 s] /proc/loadavg: 0.06 0.02 0.00 3/105 20251 /proc/meminfo: memFree=1483844/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=11132 CPUtime=0.03 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 2095 0 0 0 3 0 0 0 21 0 1 0 11461774 11399168 2014 1992294400 4194304 8223781 140734116001152 18446744073709551615 5654916 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20251/statm: 2783 2014 363 984 0 1796 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11132 [startup+0.101343 s] /proc/loadavg: 0.06 0.02 0.00 3/105 20251 /proc/meminfo: memFree=1483844/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=14820 CPUtime=0.09 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 3017 0 0 0 9 0 0 0 21 0 1 0 11461774 15175680 2936 1992294400 4194304 8223781 140734116001152 18446744073709551615 5648811 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20251/statm: 3705 2936 363 984 0 2718 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14820 [startup+0.301381 s] /proc/loadavg: 0.06 0.02 0.00 3/105 20251 /proc/meminfo: memFree=1483844/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=24700 CPUtime=0.29 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 5622 0 0 0 28 1 0 0 21 0 1 0 11461774 25292800 5178 1992294400 4194304 8223781 140734116001152 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 6175 5189 378 984 0 5188 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24700 [startup+0.701457 s] /proc/loadavg: 0.06 0.02 0.00 3/105 20251 /proc/meminfo: memFree=1483844/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=62472 CPUtime=0.69 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 14956 0 0 0 63 6 0 0 22 0 1 0 11461774 63971328 14511 1992294400 4194304 8223781 140734116001152 18446744073709551615 7256783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 15618 14511 440 984 0 14631 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 62472 [startup+1.50161 s] /proc/loadavg: 0.06 0.02 0.00 2/106 20252 /proc/meminfo: memFree=1415884/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=76360 CPUtime=1.49 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 19750 0 0 0 137 12 0 0 25 0 1 0 11461774 78192640 17763 1992294400 4194304 8223781 140734116001152 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 19090 17777 444 984 0 18103 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 76360 [startup+3.10091 s] /proc/loadavg: 0.14 0.03 0.01 2/106 20252 /proc/meminfo: memFree=1402616/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=88380 CPUtime=3.09 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 29939 0 0 0 289 20 0 0 19 0 1 0 11461774 90501120 20856 1992294400 4194304 8223781 140734116001152 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 22095 20856 547 984 0 21108 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 88380 [startup+6.30152 s] /proc/loadavg: 0.14 0.03 0.01 2/106 20252 /proc/meminfo: memFree=1401004/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=88708 CPUtime=6.29 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 32440 0 0 0 608 21 0 0 25 0 1 0 11461774 90836992 20972 1992294400 4194304 8223781 140734116001152 18446744073709551615 6044454 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 22177 20972 553 984 0 21190 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 88708 [startup+12.7007 s] /proc/loadavg: 0.27 0.06 0.02 3/106 20252 /proc/meminfo: memFree=1361820/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=132604 CPUtime=12.68 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 48892 0 0 0 1227 41 0 0 25 0 1 0 11461774 135786496 31527 1992294400 4194304 8223781 140734116001152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 33151 31527 577 984 0 32164 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 132604 [startup+25.5012 s] /proc/loadavg: 0.38 0.09 0.03 2/106 20252 /proc/meminfo: memFree=1377196/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112464 CPUtime=25.48 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51298 0 0 0 2489 59 0 0 25 0 1 0 11461774 115163136 26964 1992294400 4194304 8223781 140734116001152 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28116 26964 586 984 0 27129 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 112464 [startup+51.1011 s] /proc/loadavg: 0.59 0.16 0.05 2/106 20252 /proc/meminfo: memFree=1377072/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112620 CPUtime=51.07 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51321 0 0 0 5040 67 0 0 25 0 1 0 11461774 115322880 26986 1992294400 4194304 8223781 140734116001152 18446744073709551615 6054226 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28155 26986 585 984 0 27168 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 112620 [startup+102.309 s] /proc/loadavg: 0.83 0.30 0.10 2/106 20254 /proc/meminfo: memFree=1376824/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112720 CPUtime=102.27 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51350 0 0 0 10142 85 0 0 25 0 1 0 11461774 115425280 27015 1992294400 4194304 8223781 140734116001152 18446744073709551615 6567540 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28180 27015 586 984 0 27193 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 112720 [startup+162.301 s] /proc/loadavg: 0.94 0.43 0.16 2/106 20256 /proc/meminfo: memFree=1378064/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=162.23 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51548 0 0 0 16116 107 0 0 25 0 1 0 11461774 114798592 26784 1992294400 4194304 8223781 140734116001152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26784 588 984 0 27040 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 112108 [startup+222.301 s] /proc/loadavg: 0.98 0.53 0.21 2/106 20258 /proc/meminfo: memFree=1378064/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=222.21 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51549 0 0 0 22096 125 0 0 25 0 1 0 11461774 114798592 26785 1992294400 4194304 8223781 140734116001152 18446744073709551615 6567536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26785 588 984 0 27040 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 112108 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/106 20260 /proc/meminfo: memFree=1377940/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=282.2 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51549 0 0 0 28078 142 0 0 25 0 1 0 11461774 114798592 26785 1992294400 4194304 8223781 140734116001152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26785 588 984 0 27040 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 112108 [startup+342.301 s] /proc/loadavg: 0.99 0.68 0.30 2/106 20260 /proc/meminfo: memFree=1377940/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=342.17 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51549 0 0 0 34058 159 0 0 25 0 1 0 11461774 114798592 26785 1992294400 4194304 8223781 140734116001152 18446744073709551615 6569855 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26785 588 984 0 27040 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 112108 [startup+402.302 s] /proc/loadavg: 0.99 0.73 0.34 2/106 20262 /proc/meminfo: memFree=1377816/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=402.16 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51549 0 0 0 40041 175 0 0 25 0 1 0 11461774 114798592 26785 1992294400 4194304 8223781 140734116001152 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26785 588 984 0 27040 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 112108 [startup+462.301 s] /proc/loadavg: 0.99 0.78 0.38 2/106 20264 /proc/meminfo: memFree=1377692/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=462.13 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51551 0 0 0 46020 193 0 0 25 0 1 0 11461774 114798592 26787 1992294400 4194304 8223781 140734116001152 18446744073709551615 6250684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26787 588 984 0 27040 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 112108 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.41 2/106 20266 /proc/meminfo: memFree=1377692/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=522.11 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51551 0 0 0 51997 214 0 0 25 0 1 0 11461774 114798592 26787 1992294400 4194304 8223781 140734116001152 18446744073709551615 6611670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26787 588 984 0 27040 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 112108 [startup+582.301 s] /proc/loadavg: 0.99 0.85 0.45 2/106 20268 /proc/meminfo: memFree=1377568/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=582.09 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51551 0 0 0 57976 233 0 0 25 0 1 0 11461774 114798592 26787 1992294400 4194304 8223781 140734116001152 18446744073709551615 6520928 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26787 588 984 0 27040 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 112108 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.48 2/106 20271 /proc/meminfo: memFree=1376824/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=642.08 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51551 0 0 0 63956 252 0 0 25 0 1 0 11461774 114798592 26787 1992294400 4194304 8223781 140734116001152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26787 588 984 0 27040 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 112108 [startup+702.301 s] /proc/loadavg: 0.99 0.89 0.51 2/106 20273 /proc/meminfo: memFree=1376948/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=702.05 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51553 0 0 0 69935 270 0 0 25 0 1 0 11461774 114798592 26789 1992294400 4194304 8223781 140734116001152 18446744073709551615 6612708 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26789 590 984 0 27040 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 112108 [startup+762.308 s] /proc/loadavg: 0.99 0.91 0.54 2/106 20275 /proc/meminfo: memFree=1377072/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=762.04 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51553 0 0 0 75913 291 0 0 25 0 1 0 11461774 114798592 26789 1992294400 4194304 8223781 140734116001152 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26789 590 984 0 27040 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 112108 [startup+822.301 s] /proc/loadavg: 0.99 0.92 0.56 2/106 20277 /proc/meminfo: memFree=1377072/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=822.01 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51553 0 0 0 81888 313 0 0 25 0 1 0 11461774 114798592 26789 1992294400 4194304 8223781 140734116001152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26789 590 984 0 27040 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 112108 [startup+882.301 s] /proc/loadavg: 0.99 0.93 0.59 2/106 20279 /proc/meminfo: memFree=1377072/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=881.99 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51555 0 0 0 87865 334 0 0 25 0 1 0 11461774 114798592 26791 1992294400 4194304 8223781 140734116001152 18446744073709551615 6532684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26791 590 984 0 27040 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 112108 [startup+942.301 s] /proc/loadavg: 0.99 0.94 0.61 2/106 20279 /proc/meminfo: memFree=1377072/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=941.96 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51555 0 0 0 93840 356 0 0 25 0 1 0 11461774 114798592 26791 1992294400 4194304 8223781 140734116001152 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26791 590 984 0 27040 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 112108 Solver just ended. Dumping a history of the last processes samples [startup+947.108 s] /proc/loadavg: 0.99 0.94 0.61 2/106 20279 /proc/meminfo: memFree=1377072/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=946.77 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51555 0 0 0 94319 358 0 0 25 0 1 0 11461774 114798592 26791 1992294400 4194304 8223781 140734116001152 18446744073709551615 6251356 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26791 590 984 0 27040 0 Current children cumulated CPU time (s) 946.77 Current children cumulated vsize (KiB) 112108 [startup+953.501 s] /proc/loadavg: 0.99 0.94 0.61 2/106 20279 /proc/meminfo: memFree=1377072/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=953.17 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51555 0 0 0 94957 360 0 0 25 0 1 0 11461774 114798592 26791 1992294400 4194304 8223781 140734116001152 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26791 590 984 0 27040 0 Current children cumulated CPU time (s) 953.17 Current children cumulated vsize (KiB) 112108 [startup+956.701 s] /proc/loadavg: 0.99 0.94 0.61 2/106 20279 /proc/meminfo: memFree=1377072/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=956.37 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51555 0 0 0 95276 361 0 0 25 0 1 0 11461774 114798592 26791 1992294400 4194304 8223781 140734116001152 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26791 590 984 0 27040 0 Current children cumulated CPU time (s) 956.37 Current children cumulated vsize (KiB) 112108 [startup+957.501 s] /proc/loadavg: 0.99 0.95 0.62 2/106 20281 /proc/meminfo: memFree=1377072/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=957.17 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51555 0 0 0 95356 361 0 0 25 0 1 0 11461774 114798592 26791 1992294400 4194304 8223781 140734116001152 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26791 590 984 0 27040 0 Current children cumulated CPU time (s) 957.17 Current children cumulated vsize (KiB) 112108 [startup+957.901 s] /proc/loadavg: 0.99 0.95 0.62 2/106 20281 /proc/meminfo: memFree=1377072/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=957.56 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51555 0 0 0 95395 361 0 0 25 0 1 0 11461774 114798592 26791 1992294400 4194304 8223781 140734116001152 18446744073709551615 6559790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26791 590 984 0 27040 0 Current children cumulated CPU time (s) 957.56 Current children cumulated vsize (KiB) 112108 [startup+958.301 s] /proc/loadavg: 0.99 0.95 0.62 2/106 20281 /proc/meminfo: memFree=1377072/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=957.96 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51555 0 0 0 95435 361 0 0 25 0 1 0 11461774 114798592 26791 1992294400 4194304 8223781 140734116001152 18446744073709551615 6612636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26791 590 984 0 27040 0 Current children cumulated CPU time (s) 957.96 Current children cumulated vsize (KiB) 112108 [startup+958.401 s] /proc/loadavg: 0.99 0.95 0.62 2/106 20281 /proc/meminfo: memFree=1377072/2059040 swapFree=4192956/4192956 [pid=20251] ppid=20249 vsize=112108 CPUtime=958.06 /proc/20251/stat : 20251 (pbscip.linux.x8) R 20249 20251 20226 0 -1 4202496 51555 0 0 0 95445 361 0 0 25 0 1 0 11461774 114798592 26791 1992294400 4194304 8223781 140734116001152 18446744073709551615 6584603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20251/statm: 28027 26791 590 984 0 27040 0 Current children cumulated CPU time (s) 958.06 Current children cumulated vsize (KiB) 112108 Child status: 0 Real time (s): 958.481 CPU time (s): 958.152 CPU user time (s): 954.524 CPU system time (s): 3.62845 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 141452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 954.524 system time used= 3.62845 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51560 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= 4 involuntary context switches= 1671 runsolver used 1.53777 second user time and 4.5863 second system time The end
Begin job on node086 at 2010-07-06 18:08:53 IDJOB=2684494 IDBENCH=72683 IDSOLVER=1169 FILE ID=node086/2684494-1278432532 PBS_JOBID= 11233439 Free space on /tmp= 62432 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j309_10-unsat.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684494-1278432532/watcher-2684494-1278432532 -o /tmp/evaluation-result-2684494-1278432532/solver-2684494-1278432532 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2684494-1278432532.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 42dd40b7036ee1d1ca1e1784551c3e09 RANDOM SEED=985293338 node086.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 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.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1484852 kB Buffers: 98344 kB Cached: 344636 kB SwapCached: 0 kB Active: 183480 kB Inactive: 319220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1484852 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5120 kB Writeback: 0 kB AnonPages: 59696 kB Mapped: 14360 kB Slab: 49696 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181412 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62428 MiB End job on node086 at 2010-07-06 18:24:52