| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.78 | 1801.2 |
| Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j605_10-unsat.opb |
| MD5SUM | ce969cddb569a85677747111590221bd |
| 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 | 7.2269 |
| 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 | 9638 |
| Total number of constraints | 30220 |
| Number of constraints which are clauses | 29908 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 312 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 38 |
| 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 | 20 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 254 |
| 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.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2685416-1278441057.opb>
0.49/0.55 c original problem has 9638 variables (9638 bin, 0 int, 0 impl, 0 cont) and 30220 constraints
0.49/0.55 c problem read
0.49/0.55 c No objective function, only one solution is needed.
0.49/0.56 c presolving settings loaded
0.49/0.56 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.69/0.72 c presolving:
1.99/2.04 c (round 1) 1982 del vars, 5307 del conss, 1275 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1666520 impls, 0 clqs
2.49/2.59 c (round 2) 4964 del vars, 15526 del conss, 3995 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1681738 impls, 0 clqs
2.59/2.67 c (round 3) 5802 del vars, 19471 del conss, 4436 chg bounds, 17 chg sides, 7 chg coeffs, 0 upgd conss, 1686895 impls, 0 clqs
2.69/2.72 c (round 4) 6174 del vars, 20738 del conss, 4688 chg bounds, 25 chg sides, 18 chg coeffs, 0 upgd conss, 1690986 impls, 0 clqs
2.69/2.76 c (round 5) 6436 del vars, 21657 del conss, 4859 chg bounds, 31 chg sides, 24 chg coeffs, 0 upgd conss, 1692886 impls, 0 clqs
2.69/2.78 c (round 6) 6505 del vars, 21992 del conss, 4902 chg bounds, 34 chg sides, 27 chg coeffs, 0 upgd conss, 1693248 impls, 0 clqs
2.69/2.79 c (round 7) 6527 del vars, 22077 del conss, 4919 chg bounds, 37 chg sides, 30 chg coeffs, 0 upgd conss, 1693332 impls, 0 clqs
2.79/2.81 c (round 8) 6536 del vars, 22113 del conss, 4920 chg bounds, 40 chg sides, 33 chg coeffs, 0 upgd conss, 1693428 impls, 0 clqs
2.79/2.82 c (round 9) 6536 del vars, 22115 del conss, 4920 chg bounds, 40 chg sides, 33 chg coeffs, 0 upgd conss, 1693428 impls, 0 clqs
2.89/2.93 c (round 10) 6536 del vars, 22115 del conss, 4920 chg bounds, 40 chg sides, 33 chg coeffs, 8105 upgd conss, 1693428 impls, 0 clqs
2.89/2.99 c (round 11) 6544 del vars, 22137 del conss, 4930 chg bounds, 44 chg sides, 82 chg coeffs, 8105 upgd conss, 1695272 impls, 114 clqs
2.99/3.05 c (round 12) 6564 del vars, 22167 del conss, 4932 chg bounds, 48 chg sides, 106 chg coeffs, 8105 upgd conss, 1695958 impls, 122 clqs
2.99/3.09 c (round 13) 6578 del vars, 22195 del conss, 4934 chg bounds, 48 chg sides, 109 chg coeffs, 8105 upgd conss, 1697232 impls, 127 clqs
3.09/3.12 c (round 14) 6580 del vars, 22201 del conss, 4934 chg bounds, 48 chg sides, 116 chg coeffs, 8105 upgd conss, 1697232 impls, 128 clqs
3.09/3.15 c presolving (15 rounds):
3.09/3.15 c 6580 deleted vars, 22201 deleted constraints, 4934 tightened bounds, 0 added holes, 48 changed sides, 118 changed coefficients
3.09/3.15 c 1697232 implications, 134 cliques
3.09/3.15 c presolved problem has 3058 variables (3058 bin, 0 int, 0 impl, 0 cont) and 8019 constraints
3.09/3.15 c 261 constraints of type <knapsack>
3.09/3.15 c 7758 constraints of type <logicor>
3.09/3.15 c transformed objective value is always integral (scale: 1)
3.09/3.15 c Presolving Time: 2.31
3.09/3.15 c - non default parameters ----------------------------------------------------------------------
3.09/3.15 c # SCIP version 1.2.1.2
3.09/3.15 c
3.09/3.15 c # frequency for displaying node information lines
3.09/3.15 c # [type: int, range: [-1,2147483647], default: 100]
3.09/3.15 c display/freq = 10000
3.09/3.15 c
3.09/3.15 c # maximal time in seconds to run
3.09/3.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/3.15 c limits/time = 1799.45
3.09/3.15 c
3.09/3.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.09/3.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/3.15 c limits/memory = 1620
3.09/3.15 c
3.09/3.15 c # solving stops, if the given number of solutions were found (-1: no limit)
3.09/3.15 c # [type: int, range: [-1,2147483647], default: -1]
3.09/3.15 c limits/solutions = 1
3.09/3.15 c
3.09/3.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.09/3.15 c # [type: int, range: [-1,2147483647], default: 1]
3.09/3.15 c lp/solvefreq = -1
3.09/3.15 c
3.09/3.15 c # maximal number of separation rounds per node (-1: unlimited)
3.09/3.15 c # [type: int, range: [-1,2147483647], default: 5]
3.09/3.15 c separating/maxrounds = 1
3.09/3.15 c
3.09/3.15 c # maximal number of separation rounds in the root node (-1: unlimited)
3.09/3.15 c # [type: int, range: [-1,2147483647], default: -1]
3.09/3.15 c separating/maxroundsroot = 5
3.09/3.15 c
3.09/3.15 c # should presolving try to simplify inequalities
3.09/3.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.15 c constraints/linear/simplifyinequalities = TRUE
3.09/3.15 c
3.09/3.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
3.09/3.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
3.09/3.15 c constraints/knapsack/disaggregation = FALSE
3.09/3.15 c
3.09/3.15 c # should presolving try to simplify knapsacks
3.09/3.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.15 c constraints/knapsack/simplifyinequalities = TRUE
3.09/3.15 c
3.09/3.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
3.09/3.15 c # [type: int, range: [-1,2147483647], default: -1]
3.09/3.15 c presolving/probing/maxrounds = 0
3.09/3.15 c
3.09/3.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
3.09/3.15 c # [type: int, range: [-1,2147483647], default: 10]
3.09/3.15 c heuristics/coefdiving/freq = -1
3.09/3.15 c
3.09/3.15 c # maximal fraction of diving LP iterations compared to node LP iterations
3.09/3.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.09/3.15 c heuristics/coefdiving/maxlpiterquot = 0.075
3.09/3.15 c
3.09/3.15 c # additional number of allowed LP iterations
3.09/3.15 c # [type: int, range: [0,2147483647], default: 1000]
3.09/3.15 c heuristics/coefdiving/maxlpiterofs = 1500
3.09/3.15 c
3.09/3.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
3.09/3.15 c # [type: int, range: [-1,2147483647], default: 30]
3.09/3.15 c heuristics/crossover/freq = -1
3.09/3.15 c
3.09/3.15 c # number of nodes added to the contingent of the total nodes
3.09/3.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
3.09/3.15 c heuristics/crossover/nodesofs = 750
3.09/3.15 c
3.09/3.15 c # number of nodes without incumbent change that heuristic should wait
3.09/3.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
3.09/3.15 c heuristics/crossover/nwaitingnodes = 100
3.09/3.15 c
3.09/3.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
3.09/3.15 c # [type: real, range: [0,1], default: 0.1]
3.09/3.15 c heuristics/crossover/nodesquot = 0.15
3.09/3.15 c
3.09/3.15 c # minimum percentage of integer variables that have to be fixed
3.09/3.15 c # [type: real, range: [0,1], default: 0.666]
3.09/3.15 c heuristics/crossover/minfixingrate = 0.5
3.09/3.15 c
3.09/3.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
3.09/3.15 c # [type: int, range: [-1,2147483647], default: 20]
3.09/3.15 c heuristics/feaspump/freq = -1
3.09/3.15 c
3.09/3.15 c # additional number of allowed LP iterations
3.09/3.15 c # [type: int, range: [0,2147483647], default: 1000]
3.09/3.15 c heuristics/feaspump/maxlpiterofs = 2000
3.09/3.15 c
3.09/3.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
3.09/3.15 c # [type: int, range: [-1,2147483647], default: 10]
3.09/3.16 c heuristics/fracdiving/freq = -1
3.09/3.16 c
3.09/3.16 c # maximal fraction of diving LP iterations compared to node LP iterations
3.09/3.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.09/3.16 c heuristics/fracdiving/maxlpiterquot = 0.075
3.09/3.16 c
3.09/3.16 c # additional number of allowed LP iterations
3.09/3.16 c # [type: int, range: [0,2147483647], default: 1000]
3.09/3.16 c heuristics/fracdiving/maxlpiterofs = 1500
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 10]
3.09/3.16 c heuristics/guideddiving/freq = -1
3.09/3.16 c
3.09/3.16 c # maximal fraction of diving LP iterations compared to node LP iterations
3.09/3.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.09/3.16 c heuristics/guideddiving/maxlpiterquot = 0.075
3.09/3.16 c
3.09/3.16 c # additional number of allowed LP iterations
3.09/3.16 c # [type: int, range: [0,2147483647], default: 1000]
3.09/3.16 c heuristics/guideddiving/maxlpiterofs = 1500
3.09/3.16 c
3.09/3.16 c # maximal fraction of diving LP iterations compared to node LP iterations
3.09/3.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.09/3.16 c heuristics/intdiving/maxlpiterquot = 0.075
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 10]
3.09/3.16 c heuristics/intshifting/freq = -1
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 10]
3.09/3.16 c heuristics/linesearchdiving/freq = -1
3.09/3.16 c
3.09/3.16 c # maximal fraction of diving LP iterations compared to node LP iterations
3.09/3.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.09/3.16 c heuristics/linesearchdiving/maxlpiterquot = 0.075
3.09/3.16 c
3.09/3.16 c # additional number of allowed LP iterations
3.09/3.16 c # [type: int, range: [0,2147483647], default: 1000]
3.09/3.16 c heuristics/linesearchdiving/maxlpiterofs = 1500
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 1]
3.09/3.16 c heuristics/nlp/freq = -1
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 20]
3.09/3.16 c heuristics/objpscostdiving/freq = -1
3.09/3.16 c
3.09/3.16 c # maximal fraction of diving LP iterations compared to total iteration number
3.09/3.16 c # [type: real, range: [0,1], default: 0.01]
3.09/3.16 c heuristics/objpscostdiving/maxlpiterquot = 0.015
3.09/3.16 c
3.09/3.16 c # additional number of allowed LP iterations
3.09/3.16 c # [type: int, range: [0,2147483647], default: 1000]
3.09/3.16 c heuristics/objpscostdiving/maxlpiterofs = 1500
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 1]
3.09/3.16 c heuristics/oneopt/freq = -1
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 10]
3.09/3.16 c heuristics/pscostdiving/freq = -1
3.09/3.16 c
3.09/3.16 c # maximal fraction of diving LP iterations compared to node LP iterations
3.09/3.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.09/3.16 c heuristics/pscostdiving/maxlpiterquot = 0.075
3.09/3.16 c
3.09/3.16 c # additional number of allowed LP iterations
3.09/3.16 c # [type: int, range: [0,2147483647], default: 1000]
3.09/3.16 c heuristics/pscostdiving/maxlpiterofs = 1500
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 0]
3.09/3.16 c heuristics/rens/freq = -1
3.09/3.16 c
3.09/3.16 c # minimum percentage of integer variables that have to be fixable
3.09/3.16 c # [type: real, range: [0,1], default: 0.5]
3.09/3.16 c heuristics/rens/minfixingrate = 0.3
3.09/3.16 c
3.09/3.16 c # number of nodes added to the contingent of the total nodes
3.09/3.16 c # [type: longint, range: [0,9223372036854775807], default: 500]
3.09/3.16 c heuristics/rens/nodesofs = 2000
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 20]
3.09/3.16 c heuristics/rootsoldiving/freq = -1
3.09/3.16 c
3.09/3.16 c # maximal fraction of diving LP iterations compared to node LP iterations
3.09/3.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
3.09/3.16 c heuristics/rootsoldiving/maxlpiterquot = 0.015
3.09/3.16 c
3.09/3.16 c # additional number of allowed LP iterations
3.09/3.16 c # [type: int, range: [0,2147483647], default: 1000]
3.09/3.16 c heuristics/rootsoldiving/maxlpiterofs = 1500
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 1]
3.09/3.16 c heuristics/rounding/freq = -1
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 10]
3.09/3.16 c heuristics/shifting/freq = -1
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 1]
3.09/3.16 c heuristics/simplerounding/freq = -1
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 0]
3.09/3.16 c heuristics/trivial/freq = -1
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 1]
3.09/3.16 c heuristics/trysol/freq = -1
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 10]
3.09/3.16 c heuristics/veclendiving/freq = -1
3.09/3.16 c
3.09/3.16 c # maximal fraction of diving LP iterations compared to node LP iterations
3.09/3.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.09/3.16 c heuristics/veclendiving/maxlpiterquot = 0.075
3.09/3.16 c
3.09/3.16 c # additional number of allowed LP iterations
3.09/3.16 c # [type: int, range: [0,2147483647], default: 1000]
3.09/3.16 c heuristics/veclendiving/maxlpiterofs = 1500
3.09/3.16 c
3.09/3.16 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 1]
3.09/3.16 c heuristics/zirounding/freq = -1
3.09/3.16 c
3.09/3.16 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 0]
3.09/3.16 c separating/cmir/freq = -1
3.09/3.16 c
3.09/3.16 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: 0]
3.09/3.16 c separating/flowcover/freq = -1
3.09/3.16 c
3.09/3.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.09/3.16 c # [type: int, range: [-1,2147483647], default: -1]
3.09/3.16 c separating/rapidlearning/freq = 0
3.09/3.16 c
3.09/3.16 c -----------------------------------------------------------------------------------------------
3.09/3.16 c start solving
3.09/3.16 c
3.09/3.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.17 c 2.4s| 1 | 2 | 0 | - | 44M| 0 | - |3058 |8019 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
60.88/60.92 c 59.2s| 10000 | 3637 | 0 | 0.0 | 78M| 226 | - |3058 |9282 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
124.86/124.99 c 122s| 20000 | 6115 | 0 | 0.0 | 105M| 226 | - |3058 | 12k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
190.84/190.97 c 187s| 30000 | 8965 | 0 | 0.0 | 136M| 226 | - |3058 | 12k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
262.93/263.04 c 259s| 40000 | 10360 | 0 | 0.0 | 156M| 226 | - |3058 | 14k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
329.92/330.02 c 325s| 50000 | 13182 | 0 | 0.0 | 185M| 226 | - |3058 | 10k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
401.60/401.78 c 395s| 60000 | 14688 | 0 | 0.0 | 207M| 226 | - |3058 | 12k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
478.18/478.30 c 471s| 70000 | 15494 | 0 | 0.0 | 222M| 226 | - |3058 | 13k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
547.57/547.71 c 539s| 80000 | 17527 | 0 | 0.0 | 246M| 226 | - |3058 | 12k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
621.15/621.30 c 612s| 90000 | 19119 | 0 | 0.0 | 272M| 226 | - |3058 | 13k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
703.43/703.60 c 693s|100000 | 19641 | 0 | 0.0 | 283M| 226 | - |3058 | 15k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
787.61/787.84 c 776s|110000 | 19542 | 0 | 0.0 | 289M| 226 | - |3058 | 16k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
862.09/862.33 c 850s|120000 | 21178 | 0 | 0.0 | 313M| 226 | - |3058 | 13k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
939.87/940.17 c 927s|130000 | 22145 | 0 | 0.0 | 331M| 226 | - |3058 | 14k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1022.46/1022.76 c 1009s|140000 | 22371 | 0 | 0.0 | 337M| 226 | - |3058 | 16k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1108.54/1108.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1108.54/1108.84 c 1094s|150000 | 22260 | 0 | 0.0 | 341M| 226 | - |3058 | 16k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1185.62/1185.92 c 1170s|160000 | 23167 | 0 | 0.0 | 353M| 226 | - |3058 | 14k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1261.29/1261.66 c 1245s|170000 | 24414 | 0 | 0.0 | 371M| 226 | - |3058 | 15k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1339.78/1340.13 c 1322s|180000 | 24969 | 0 | 0.0 | 380M| 226 | - |3058 | 16k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1427.46/1427.83 c 1409s|190000 | 24692 | 0 | 0.0 | 379M| 226 | - |3058 | 17k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1513.74/1514.10 c 1494s|200000 | 24017 | 0 | 0.0 | 372M| 226 | - |3058 | 16k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1590.62/1591.08 c 1570s|210000 | 25568 | 0 | 0.0 | 393M| 226 | - |3058 | 15k| 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1670.40/1670.84 c 1649s|220000 | 26320 | 0 | 0.0 | 406M| 226 | - |3058 | 16k| 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
1755.08/1755.58 c 1733s|230000 | 26556 | 0 | 0.0 | 412M| 226 | - |3058 | 11k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1800.08/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.51 c
1800.08/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.51 c Solving Time (sec) : 1777.18
1800.08/1800.51 c Solving Nodes : 235679
1800.08/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.51 c Dual Bound : +0.00000000000000e+00
1800.08/1800.51 c Gap : infinite
1800.08/1800.51 s UNKNOWN
1800.08/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.51 c Solving Time : 1777.18
1800.08/1800.51 c Original Problem :
1800.08/1800.51 c Problem name : HOME/instance-2685416-1278441057.opb
1800.08/1800.51 c Variables : 9638 (9638 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.51 c Constraints : 30220 initial, 30220 maximal
1800.08/1800.51 c Presolved Problem :
1800.08/1800.51 c Problem name : t_HOME/instance-2685416-1278441057.opb
1800.08/1800.51 c Variables : 3058 (3058 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.51 c Constraints : 8019 initial, 17666 maximal
1800.08/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.51 c trivial : 0.02 331 0 0 0 0 0 0 0
1800.08/1800.51 c dualfix : 0.01 56 0 0 0 0 0 0 0
1800.08/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.51 c implics : 0.03 0 21 0 0 0 0 0 0
1800.08/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.51 c knapsack : 0.12 0 0 0 2 0 0 8 85
1800.08/1800.51 c linear : 1.94 4603 1560 0 4920 0 22115 40 33
1800.08/1800.51 c logicor : 0.08 9 0 0 12 0 86 0 0
1800.08/1800.51 c root node : - 22 - - 22 - - - -
1800.08/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.51 c knapsack : 261 0 3053414 0 159512 15310 13310851 0 0 0
1800.08/1800.51 c logicor : 7758+ 0 2927768 0 159512 100049 36321411 0 0 0
1800.08/1800.51 c countsols : 0 0 0 0 159505 0 0 0 0 0
1800.08/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.51 c knapsack : 184.07 0.00 164.56 0.00 19.51
1800.08/1800.51 c logicor : 860.36 0.00 478.98 0.00 381.38
1800.08/1800.51 c countsols : 0.10 0.00 0.00 0.00 0.10
1800.08/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.51 c vbounds : 1.79 1 0 0
1800.08/1800.51 c rootredcost : 1.49 0 0 0
1800.08/1800.51 c pseudoobj : 1.37 0 0 0
1800.08/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.51 c propagation : 34.10 115359 114782 1189960 31.0 8682 15.7 -
1800.08/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.51 c applied globally : - - - 386464 26.4 - - -
1800.08/1800.51 c applied locally : - - - 0 0.0 - - -
1800.08/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.51 c redcost : 0.00 0 0 0 0 0
1800.08/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.51 c intobj : 0.00 0 0 0 0 0
1800.08/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.51 c gomory : 0.00 0 0 0 0 0
1800.08/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.51 c cmir : 0.00 0 0 0 0 0
1800.08/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.51 c clique : 0.00 0 0 0 0 0
1800.08/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.51 c mcf : 0.00 0 0 0 0 0
1800.08/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.51 c Pricers : Time Calls Vars
1800.08/1800.51 c problem variables: 0.00 0 0
1800.08/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.51 c inference : 161.31 159505 0 0 0 0 319010
1800.08/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.51 c random : 0.00 0 0 0 0 0 0
1800.08/1800.51 c Primal Heuristics : Time Calls Found
1800.08/1800.51 c LP solutions : 0.00 - 0
1800.08/1800.51 c pseudo solutions : 0.00 - 0
1800.08/1800.51 c trivial : 0.02 1 0
1800.08/1800.51 c simplerounding : 0.00 0 0
1800.08/1800.51 c zirounding : 0.00 0 0
1800.08/1800.51 c rounding : 0.00 0 0
1800.08/1800.51 c shifting : 0.00 0 0
1800.08/1800.51 c intshifting : 0.00 0 0
1800.08/1800.51 c oneopt : 0.00 0 0
1800.08/1800.51 c twoopt : 0.00 0 0
1800.08/1800.51 c fixandinfer : 0.00 0 0
1800.08/1800.51 c feaspump : 0.00 0 0
1800.08/1800.51 c coefdiving : 0.00 0 0
1800.08/1800.51 c pscostdiving : 0.00 0 0
1800.08/1800.51 c fracdiving : 0.00 0 0
1800.08/1800.51 c veclendiving : 0.00 0 0
1800.08/1800.51 c intdiving : 0.00 0 0
1800.08/1800.51 c actconsdiving : 0.00 0 0
1800.08/1800.51 c objpscostdiving : 0.00 0 0
1800.08/1800.52 c rootsoldiving : 0.00 0 0
1800.08/1800.52 c linesearchdiving : 0.00 0 0
1800.08/1800.52 c guideddiving : 0.00 0 0
1800.08/1800.52 c octane : 0.00 0 0
1800.08/1800.52 c rens : 0.00 0 0
1800.08/1800.52 c rins : 0.00 0 0
1800.08/1800.52 c localbranching : 0.00 0 0
1800.08/1800.52 c mutation : 0.00 0 0
1800.08/1800.52 c crossover : 0.00 0 0
1800.08/1800.52 c dins : 0.00 0 0
1800.08/1800.52 c undercover : 0.00 0 0
1800.08/1800.52 c nlp : 0.00 0 0
1800.08/1800.52 c trysol : 0.00 0 0
1800.08/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.52 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.52 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.52 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.52 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.52 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.52 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.52 c (at root node) : - 0 0 0.00 -
1800.08/1800.52 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.52 c B&B Tree :
1800.08/1800.52 c number of runs : 1
1800.08/1800.52 c nodes : 235679
1800.08/1800.52 c nodes (total) : 235679
1800.08/1800.52 c nodes left : 26392
1800.08/1800.52 c max depth : 226
1800.08/1800.52 c max depth (total): 226
1800.08/1800.52 c backtracks : 50433 (21.4%)
1800.08/1800.52 c delayed cutoffs : 56940
1800.08/1800.52 c repropagations : 187846 (15024900 domain reductions, 39185 cutoffs)
1800.08/1800.52 c avg switch length: 7.82
1800.08/1800.52 c switching time : 454.59
1800.08/1800.52 c Solution :
1800.08/1800.52 c Solutions found : 0 (0 improvements)
1800.08/1800.52 c Primal Bound : -
1800.08/1800.52 c Dual Bound : +0.00000000000000e+00
1800.08/1800.52 c Gap : infinite
1800.08/1800.52 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.52 c Root Iterations : 0
1800.67/1801.19 c Time complete: 1800.77.
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-2685416-1278441057/watcher-2685416-1278441057 -o /tmp/evaluation-result-2685416-1278441057/solver-2685416-1278441057 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2685416-1278441057.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: 1.00 1.02 0.99 4/107 22993 /proc/meminfo: memFree=1414232/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=6584 CPUtime=0 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 1058 0 0 0 0 0 0 0 17 0 1 0 12317488 6742016 981 1992294400 4194304 7136930 140737192828752 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22993/statm: 1646 990 254 719 0 925 0 [startup+0.109494 s] /proc/loadavg: 1.00 1.02 0.99 4/107 22993 /proc/meminfo: memFree=1414232/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=15872 CPUtime=0.1 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 3445 0 0 0 9 1 0 0 17 0 1 0 12317488 16252928 3368 1992294400 4194304 7136930 140737192828752 18446744073709551615 5652255 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22993/statm: 3968 3368 268 719 0 3247 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 15872 [startup+0.2015 s] /proc/loadavg: 1.00 1.02 0.99 4/107 22993 /proc/meminfo: memFree=1414232/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=18136 CPUtime=0.19 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 3999 0 0 0 18 1 0 0 17 0 1 0 12317488 18571264 3922 1992294400 4194304 7136930 140737192828752 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22993/statm: 4534 3922 268 719 0 3813 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 18136 [startup+0.301508 s] /proc/loadavg: 1.00 1.02 0.99 4/107 22993 /proc/meminfo: memFree=1414232/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=19296 CPUtime=0.29 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 4311 0 0 0 28 1 0 0 17 0 1 0 12317488 19759104 4234 1992294400 4194304 7136930 140737192828752 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22993/statm: 4824 4234 268 719 0 4103 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19296 [startup+0.70154 s] /proc/loadavg: 1.00 1.02 0.99 4/107 22993 /proc/meminfo: memFree=1414232/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=53052 CPUtime=0.69 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 13106 0 0 0 65 4 0 0 17 0 1 0 12317488 54325248 12670 1992294400 4194304 7136930 140737192828752 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 13263 12670 302 719 0 12542 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 53052 [startup+1.5016 s] /proc/loadavg: 1.00 1.02 0.99 2/108 22994 /proc/meminfo: memFree=1337344/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=98580 CPUtime=1.49 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 24125 0 0 0 139 10 0 0 18 0 1 0 12317488 100945920 23689 1992294400 4194304 7136930 140737192828752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 24645 23689 341 719 0 23924 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 98580 [startup+3.10173 s] /proc/loadavg: 1.00 1.02 0.99 2/108 22994 /proc/meminfo: memFree=1305848/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=116128 CPUtime=3.09 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 32517 0 0 0 287 22 0 0 21 0 1 0 12317488 118915072 27870 1992294400 4194304 7136930 140737192828752 18446744073709551615 4856566 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 29032 27870 367 719 0 28311 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 116128 [startup+6.30099 s] /proc/loadavg: 1.00 1.02 0.99 2/108 22994 /proc/meminfo: memFree=1297292/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=123516 CPUtime=6.29 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 35625 0 0 0 600 29 0 0 25 0 1 0 12317488 126480384 29693 1992294400 4194304 7136930 140737192828752 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 30879 29693 393 719 0 30158 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 123516 [startup+12.7005 s] /proc/loadavg: 1.00 1.01 0.99 2/108 22994 /proc/meminfo: memFree=1288612/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=132920 CPUtime=12.69 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 37733 0 0 0 1228 41 0 0 25 0 1 0 12317488 136110080 31801 1992294400 4194304 7136930 140737192828752 18446744073709551615 4218746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 33230 31801 393 719 0 32509 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 132920 [startup+25.5015 s] /proc/loadavg: 1.00 1.01 0.99 2/108 22995 /proc/meminfo: memFree=1274724/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=148368 CPUtime=25.49 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 41115 0 0 0 2487 62 0 0 25 0 1 0 12317488 151928832 35183 1992294400 4194304 7136930 140737192828752 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 37092 35183 393 719 0 36371 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 148368 [startup+51.1016 s] /proc/loadavg: 1.00 1.01 0.99 2/108 22995 /proc/meminfo: memFree=1255380/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=171012 CPUtime=51.08 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 45930 0 0 0 5008 100 0 0 25 0 1 0 12317488 175116288 39998 1992294400 4194304 7136930 140737192828752 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 42753 39998 393 719 0 42032 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 171012 [startup+102.302 s] /proc/loadavg: 1.00 1.01 0.99 2/108 22997 /proc/meminfo: memFree=1222520/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=209208 CPUtime=102.28 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 54006 0 0 0 10055 173 0 0 25 0 1 0 12317488 214228992 48074 1992294400 4194304 7136930 140737192828752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 52302 48074 393 719 0 51581 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 209208 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/108 22998 /proc/meminfo: memFree=1188792/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=250220 CPUtime=162.25 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 62503 0 0 0 15967 258 0 0 25 0 1 0 12317488 256225280 56571 1992294400 4194304 7136930 140737192828752 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 62555 56571 393 719 0 61834 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 250220 [startup+222.309 s] /proc/loadavg: 1.00 1.00 0.99 2/108 23000 /proc/meminfo: memFree=1162380/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=281128 CPUtime=222.24 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 68993 0 0 0 21890 334 0 0 25 0 1 0 12317488 287875072 63061 1992294400 4194304 7136930 140737192828752 18446744073709551615 5955635 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 70282 63061 393 719 0 69561 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 281128 [startup+282.301 s] /proc/loadavg: 1.05 1.01 1.00 2/108 23001 /proc/meminfo: memFree=1139192/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=312680 CPUtime=282.22 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 74849 0 0 0 27806 416 0 0 25 0 1 0 12317488 320184320 68917 1992294400 4194304 7136930 140737192828752 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 78170 68917 393 719 0 77449 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 312680 [startup+342.301 s] /proc/loadavg: 1.02 1.01 1.00 2/108 23003 /proc/meminfo: memFree=1109060/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=349232 CPUtime=342.21 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 82325 0 0 0 33721 500 0 0 25 0 1 0 12317488 357613568 76393 1992294400 4194304 7136930 140737192828752 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 87308 76393 393 719 0 86587 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 349232 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23005 /proc/meminfo: memFree=1086492/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=376708 CPUtime=402.19 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 87955 0 0 0 39636 583 0 0 25 0 1 0 12317488 385748992 82023 1992294400 4194304 7136930 140737192828752 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 94177 82023 393 719 0 93456 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 376708 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23006 /proc/meminfo: memFree=1067892/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=401280 CPUtime=462.19 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 92586 0 0 0 45559 660 0 0 25 0 1 0 12317488 410910720 86654 1992294400 4194304 7136930 140737192828752 18446744073709551615 5957046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 100320 86654 393 719 0 99599 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 401280 [startup+522.301 s] /proc/loadavg: 1.06 1.01 1.00 2/108 23008 /proc/meminfo: memFree=1050284/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=421676 CPUtime=522.17 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 97014 0 0 0 51474 743 0 0 25 0 1 0 12317488 431796224 91082 1992294400 4194304 7136930 140737192828752 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 105419 91082 393 719 0 104698 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 421676 [startup+582.301 s] /proc/loadavg: 1.07 1.03 1.00 2/108 23009 /proc/meminfo: memFree=1024368/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=451924 CPUtime=582.16 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 103482 0 0 0 57392 824 0 0 25 0 1 0 12317488 462770176 97550 1992294400 4194304 7136930 140737192828752 18446744073709551615 5004474 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 112981 97550 393 719 0 112260 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 451924 [startup+642.302 s] /proc/loadavg: 1.07 1.03 1.00 2/108 23011 /proc/meminfo: memFree=1003784/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=476340 CPUtime=642.14 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 108720 0 0 0 63318 896 0 0 25 0 1 0 12317488 487772160 102788 1992294400 4194304 7136930 140737192828752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 119085 102788 393 719 0 118364 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 476340 [startup+702.302 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.01 1.00 2/108 23019 /proc/meminfo: memFree=929384/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=568332 CPUtime=942.08 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 127053 0 0 0 92955 1253 0 0 25 0 1 0 12317488 581971968 121121 1992294400 4194304 7136930 140737192828752 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 142083 121121 393 719 0 141362 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 568332 [startup+1002.3 s] /proc/loadavg: 1.04 1.02 1.00 2/108 23021 /proc/meminfo: memFree=915372/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=585228 CPUtime=1002.06 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 130505 0 0 0 98886 1320 0 0 25 0 1 0 12317488 599273472 124573 1992294400 4194304 7136930 140737192828752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 146307 124573 393 719 0 145586 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 585228 [startup+1062.3 s] /proc/loadavg: 1.01 1.02 1.00 2/108 23022 /proc/meminfo: memFree=907436/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=596352 CPUtime=1062.04 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 132540 0 0 0 104817 1387 0 0 25 0 1 0 12317488 610664448 126608 1992294400 4194304 7136930 140737192828752 18446744073709551615 4660042 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 149088 126608 393 719 0 148367 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 596352 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/108 23024 /proc/meminfo: memFree=898508/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=607172 CPUtime=1122.03 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 134706 0 0 0 110742 1461 0 0 25 0 1 0 12317488 621744128 128774 1992294400 4194304 7136930 140737192828752 18446744073709551615 4854469 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 151793 128774 393 719 0 151072 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 607172 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23025 /proc/meminfo: memFree=887472/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=620124 CPUtime=1182.02 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 137499 0 0 0 116667 1535 0 0 25 0 1 0 12317488 635006976 131567 1992294400 4194304 7136930 140737192828752 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 155031 131568 393 719 0 154310 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 620124 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23027 /proc/meminfo: memFree=874576/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=634264 CPUtime=1242 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 140642 0 0 0 122592 1608 0 0 25 0 1 0 12317488 649486336 134710 1992294400 4194304 7136930 140737192828752 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 158566 134710 393 719 0 157845 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 634264 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23029 /proc/meminfo: memFree=861928/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=648972 CPUtime=1301.99 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 143895 0 0 0 128524 1675 0 0 25 0 1 0 12317488 664547328 137963 1992294400 4194304 7136930 140737192828752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 162243 137963 393 719 0 161522 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 648972 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23030 /proc/meminfo: memFree=851016/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=663712 CPUtime=1361.98 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 146467 0 0 0 134458 1740 0 0 25 0 1 0 12317488 679641088 140535 1992294400 4194304 7136930 140737192828752 18446744073709551615 5957371 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 165928 140535 393 719 0 165207 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 663712 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23032 /proc/meminfo: memFree=843452/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=674032 CPUtime=1421.97 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 148347 0 0 0 140395 1802 0 0 25 0 1 0 12317488 690208768 142415 1992294400 4194304 7136930 140737192828752 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 168508 142415 393 719 0 167787 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 674032 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23033 /proc/meminfo: memFree=838740/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=680808 CPUtime=1481.95 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 149545 0 0 0 146324 1871 0 0 25 0 1 0 12317488 697147392 143613 1992294400 4194304 7136930 140737192828752 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 170202 143613 393 719 0 169481 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 680808 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23035 /proc/meminfo: memFree=834152/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=687272 CPUtime=1541.94 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 150675 0 0 0 152259 1935 0 0 25 0 1 0 12317488 703766528 144743 1992294400 4194304 7136930 140737192828752 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 171818 144743 393 719 0 171097 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 687272 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23037 /proc/meminfo: memFree=826092/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=698128 CPUtime=1601.92 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 152762 0 0 0 158188 2004 0 0 25 0 1 0 12317488 714883072 146830 1992294400 4194304 7136930 140737192828752 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 174532 146830 393 719 0 173811 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 698128 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23038 /proc/meminfo: memFree=817040/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=707532 CPUtime=1661.91 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 154931 0 0 0 164117 2074 0 0 25 0 1 0 12317488 724512768 148999 1992294400 4194304 7136930 140737192828752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 176883 148999 393 719 0 176162 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 707532 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23040 /proc/meminfo: memFree=808732/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=716724 CPUtime=1721.89 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 157056 0 0 0 170046 2143 0 0 25 0 1 0 12317488 733925376 151124 1992294400 4194304 7136930 140737192828752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 179181 151124 393 719 0 178460 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 716724 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23041 /proc/meminfo: memFree=799432/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=727200 CPUtime=1781.88 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 159303 0 0 0 175973 2215 0 0 25 0 1 0 12317488 744652800 153371 1992294400 4194304 7136930 140737192828752 18446744073709551615 4862096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 181800 153371 393 719 0 181079 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 727200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23042 /proc/meminfo: memFree=798316/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=729088 CPUtime=1800.08 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 159584 0 0 0 177770 2238 0 0 25 0 1 0 12317488 746586112 153652 1992294400 4194304 7136930 140737192828752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22993/statm: 182272 153652 393 719 0 181551 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 729088 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/109 23043 /proc/meminfo: memFree=798308/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=729088 CPUtime=1800.28 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 159590 0 0 0 177790 2238 0 0 25 0 1 0 12317488 746586112 153658 1992294400 4194304 7136930 140737192828752 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22993/statm: 182272 153658 399 719 0 181551 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 729088 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/109 23043 /proc/meminfo: memFree=798308/2059040 swapFree=4192956/4192956 [pid=22993] ppid=22991 vsize=633400 CPUtime=1800.67 /proc/22993/stat : 22993 (pbscip.linux.x8) R 22991 22993 22084 0 -1 4202496 159590 0 0 0 177828 2239 0 0 25 0 1 0 12317488 648601600 133181 1992294400 4194304 7136930 140737192828752 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22993/statm: 158350 133181 399 719 0 157629 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (KiB) 633400 Child status: 0 Real time (s): 1801.2 CPU time (s): 1800.78 CPU user time (s): 1778.33 CPU system time (s): 22.4526 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 729088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.33 system time used= 22.4526 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 159597 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= 3 involuntary context switches= 1665 runsolver used 2.84057 second user time and 8.64968 second system time The end
Begin job on node026 at 2010-07-06 20:30:57 IDJOB=2685416 IDBENCH=75765 IDSOLVER=1167 FILE ID=node026/2685416-1278441057 PBS_JOBID= 11233451 Free space on /tmp= 62468 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_10-unsat.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685416-1278441057/watcher-2685416-1278441057 -o /tmp/evaluation-result-2685416-1278441057/solver-2685416-1278441057 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2685416-1278441057.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ce969cddb569a85677747111590221bd RANDOM SEED=360057434 node026.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.244 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.48 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.244 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 : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1414760 kB Buffers: 104820 kB Cached: 400700 kB SwapCached: 0 kB Active: 193324 kB Inactive: 372636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1414760 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4064 kB Writeback: 0 kB AnonPages: 60444 kB Mapped: 14404 kB Slab: 56276 kB PageTables: 4244 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180608 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= 62468 MiB End job on node026 at 2010-07-06 21:01:00