| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.44 | 1800.89 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-101-100.opb |
| MD5SUM | 0b4d976a66cd69333fd390f8a9139e21 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| 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.579911 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10100 |
| Total number of constraints | 201 |
| Number of constraints which are clauses | 101 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 100 |
| Maximum length of a constraint | 101 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 102 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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-2664731-1276576424.opb>
0.03/0.06 c original problem has 10100 variables (10100 bin, 0 int, 0 impl, 0 cont) and 201 constraints
0.03/0.06 c problem read
0.03/0.06 c No objective function, only one solution is needed.
0.03/0.06 c presolving settings loaded
0.03/0.06 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.10/0.17 c presolving:
0.19/0.26 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 101 upgd conss, 0 impls, 100 clqs
0.19/0.29 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 201 upgd conss, 0 impls, 100 clqs
0.29/0.31 c presolving (3 rounds):
0.29/0.31 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.31 c 0 implications, 100 cliques
0.29/0.31 c presolved problem has 10100 variables (10100 bin, 0 int, 0 impl, 0 cont) and 201 constraints
0.29/0.31 c 100 constraints of type <setppc>
0.29/0.31 c 101 constraints of type <logicor>
0.29/0.31 c transformed objective value is always integral (scale: 1)
0.29/0.31 c Presolving Time: 0.19
0.29/0.31 c - non default parameters ----------------------------------------------------------------------
0.29/0.31 c # SCIP version 1.2.1.2
0.29/0.31 c
0.29/0.31 c # frequency for displaying node information lines
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.31 c display/freq = 10000
0.29/0.31 c
0.29/0.31 c # maximal time in seconds to run
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/time = 1799.95
0.29/0.31 c
0.29/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/memory = 1620
0.29/0.31 c
0.29/0.31 c # solving stops, if the given number of solutions were found (-1: no limit)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c limits/solutions = 1
0.29/0.31 c
0.29/0.31 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31 c lp/solvefreq = -1
0.29/0.31 c
0.29/0.31 c # maximal number of separation rounds per node (-1: unlimited)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 5]
0.29/0.31 c separating/maxrounds = 1
0.29/0.31 c
0.29/0.31 c # maximal number of separation rounds in the root node (-1: unlimited)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c separating/maxroundsroot = 5
0.29/0.31 c
0.29/0.31 c # should presolving try to simplify inequalities
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c constraints/linear/simplifyinequalities = TRUE
0.29/0.31 c
0.29/0.31 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.29/0.31 c constraints/knapsack/disaggregation = FALSE
0.29/0.31 c
0.29/0.31 c # should presolving try to simplify knapsacks
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.31 c
0.29/0.31 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c presolving/probing/maxrounds = 0
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31 c heuristics/coefdiving/freq = -1
0.29/0.31 c
0.29/0.31 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31 c heuristics/coefdiving/maxlpiterquot = 0.075
0.29/0.31 c
0.29/0.31 c # additional number of allowed LP iterations
0.29/0.31 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31 c heuristics/coefdiving/maxlpiterofs = 1500
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 30]
0.29/0.31 c heuristics/crossover/freq = -1
0.29/0.31 c
0.29/0.31 c # number of nodes added to the contingent of the total nodes
0.29/0.31 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.31 c heuristics/crossover/nodesofs = 750
0.29/0.31 c
0.29/0.31 c # number of nodes without incumbent change that heuristic should wait
0.29/0.31 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.29/0.31 c heuristics/crossover/nwaitingnodes = 100
0.29/0.31 c
0.29/0.31 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.29/0.31 c # [type: real, range: [0,1], default: 0.1]
0.29/0.31 c heuristics/crossover/nodesquot = 0.15
0.29/0.31 c
0.29/0.31 c # minimum percentage of integer variables that have to be fixed
0.29/0.31 c # [type: real, range: [0,1], default: 0.666]
0.29/0.31 c heuristics/crossover/minfixingrate = 0.5
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.31 c heuristics/feaspump/freq = -1
0.29/0.31 c
0.29/0.31 c # additional number of allowed LP iterations
0.29/0.31 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31 c heuristics/feaspump/maxlpiterofs = 2000
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31 c heuristics/fracdiving/freq = -1
0.29/0.31 c
0.29/0.31 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31 c heuristics/fracdiving/maxlpiterquot = 0.075
0.29/0.31 c
0.29/0.31 c # additional number of allowed LP iterations
0.29/0.31 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31 c heuristics/fracdiving/maxlpiterofs = 1500
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31 c heuristics/guideddiving/freq = -1
0.29/0.31 c
0.29/0.31 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31 c heuristics/guideddiving/maxlpiterquot = 0.075
0.29/0.31 c
0.29/0.31 c # additional number of allowed LP iterations
0.29/0.31 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31 c heuristics/guideddiving/maxlpiterofs = 1500
0.29/0.31 c
0.29/0.31 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31 c heuristics/intdiving/maxlpiterquot = 0.075
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31 c heuristics/intshifting/freq = -1
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31 c heuristics/linesearchdiving/freq = -1
0.29/0.31 c
0.29/0.31 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.29/0.31 c
0.29/0.31 c # additional number of allowed LP iterations
0.29/0.31 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31 c heuristics/nlp/freq = -1
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.31 c heuristics/objpscostdiving/freq = -1
0.29/0.31 c
0.29/0.31 c # maximal fraction of diving LP iterations compared to total iteration number
0.29/0.31 c # [type: real, range: [0,1], default: 0.01]
0.29/0.31 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.29/0.31 c
0.29/0.31 c # additional number of allowed LP iterations
0.29/0.31 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31 c heuristics/oneopt/freq = -1
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31 c heuristics/pscostdiving/freq = -1
0.29/0.31 c
0.29/0.31 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.29/0.31 c
0.29/0.31 c # additional number of allowed LP iterations
0.29/0.31 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31 c heuristics/pscostdiving/maxlpiterofs = 1500
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.31 c heuristics/rens/freq = -1
0.29/0.31 c
0.29/0.31 c # minimum percentage of integer variables that have to be fixable
0.29/0.31 c # [type: real, range: [0,1], default: 0.5]
0.29/0.31 c heuristics/rens/minfixingrate = 0.3
0.29/0.31 c
0.29/0.31 c # number of nodes added to the contingent of the total nodes
0.29/0.31 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.31 c heuristics/rens/nodesofs = 2000
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.31 c heuristics/rootsoldiving/freq = -1
0.29/0.31 c
0.29/0.31 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.29/0.31 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.29/0.31 c
0.29/0.31 c # additional number of allowed LP iterations
0.29/0.31 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31 c heuristics/rounding/freq = -1
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31 c heuristics/shifting/freq = -1
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31 c heuristics/simplerounding/freq = -1
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.31 c heuristics/trivial/freq = -1
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31 c heuristics/trysol/freq = -1
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.31 c heuristics/veclendiving/freq = -1
0.29/0.31 c
0.29/0.31 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.31 c heuristics/veclendiving/maxlpiterquot = 0.075
0.29/0.31 c
0.29/0.31 c # additional number of allowed LP iterations
0.29/0.31 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.31 c heuristics/veclendiving/maxlpiterofs = 1500
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31 c heuristics/zirounding/freq = -1
0.29/0.31 c
0.29/0.31 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.31 c separating/cmir/freq = -1
0.29/0.31 c
0.29/0.31 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.31 c separating/flowcover/freq = -1
0.29/0.31 c
0.29/0.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c separating/rapidlearning/freq = 0
0.29/0.31 c
0.29/0.31 c -----------------------------------------------------------------------------------------------
0.29/0.31 c start solving
0.29/0.32 c
0.29/0.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.32 c 0.2s| 1 | 2 | 0 | - | 17M| 0 | - | 10k| 201 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
43.08/43.18 c 42.9s| 10000 | 9996 | 0 | 0.0 | 22M|6774 | - | 10k| 212 | 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf
83.97/84.00 c 83.5s| 20000 | 19991 | 0 | 0.0 | 25M|7615 | - | 10k| 232 | 0 | 0 | 0 | 42 | 0 | 0.000000e+00 | -- | Inf
140.96/141.09 c 140s| 30000 | 29977 | 0 | 0.0 | 28M|7615 | - | 10k| 260 | 0 | 0 | 0 | 114 | 0 | 0.000000e+00 | -- | Inf
196.74/196.88 c 196s| 40000 | 39968 | 0 | 0.0 | 31M|7615 | - | 10k| 269 | 0 | 0 | 0 | 171 | 0 | 0.000000e+00 | -- | Inf
248.54/248.67 c 248s| 50000 | 49962 | 0 | 0.0 | 34M|7615 | - | 10k| 260 | 0 | 0 | 0 | 204 | 0 | 0.000000e+00 | -- | Inf
301.01/301.15 c 300s| 60000 | 59956 | 0 | 0.0 | 37M|7615 | - | 10k| 265 | 0 | 0 | 0 | 244 | 0 | 0.000000e+00 | -- | Inf
349.30/349.47 c 348s| 70000 | 69950 | 0 | 0.0 | 40M|7615 | - | 10k| 276 | 0 | 0 | 0 | 284 | 0 | 0.000000e+00 | -- | Inf
398.49/398.66 c 397s| 80000 | 79945 | 0 | 0.0 | 43M|7615 | - | 10k| 258 | 0 | 0 | 0 | 314 | 0 | 0.000000e+00 | -- | Inf
447.78/447.90 c 446s| 90000 | 89942 | 0 | 0.0 | 47M|7615 | - | 10k| 273 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
503.86/504.02 c 502s|100000 | 99937 | 0 | 0.0 | 49M|7615 | - | 10k| 251 | 0 | 0 | 0 | 364 | 0 | 0.000000e+00 | -- | Inf
554.26/554.44 c 552s|110000 |109931 | 0 | 0.0 | 52M|7615 | - | 10k| 273 | 0 | 0 | 0 | 404 | 0 | 0.000000e+00 | -- | Inf
603.14/603.37 c 601s|120000 |119924 | 0 | 0.0 | 56M|7615 | - | 10k| 304 | 0 | 0 | 0 | 444 | 0 | 0.000000e+00 | -- | Inf
661.03/661.28 c 659s|130000 |129914 | 0 | 0.0 | 58M|7615 | - | 10k| 299 | 0 | 0 | 0 | 504 | 0 | 0.000000e+00 | -- | Inf
709.62/709.85 c 707s|140000 |139902 | 0 | 0.0 | 62M|7615 | - | 10k| 290 | 0 | 0 | 0 | 574 | 0 | 0.000000e+00 | -- | Inf
768.20/768.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
768.20/768.42 c 765s|150000 |149896 | 0 | 0.0 | 64M|7615 | - | 10k| 268 | 0 | 0 | 0 | 598 | 0 | 0.000000e+00 | -- | Inf
818.69/818.93 c 816s|160000 |159884 | 0 | 0.0 | 67M|7615 | - | 10k| 285 | 0 | 0 | 0 | 668 | 0 | 0.000000e+00 | -- | Inf
877.77/878.04 c 875s|170000 |169879 | 0 | 0.0 | 70M|7615 | - | 10k| 299 | 0 | 0 | 0 | 698 | 0 | 0.000000e+00 | -- | Inf
926.96/927.29 c 924s|180000 |179873 | 0 | 0.0 | 73M|7615 | - | 10k| 266 | 0 | 0 | 0 | 738 | 0 | 0.000000e+00 | -- | Inf
987.56/987.88 c 984s|190000 |189870 | 0 | 0.0 | 76M|7615 | - | 10k| 284 | 0 | 0 | 0 | 758 | 0 | 0.000000e+00 | -- | Inf
1042.34/1042.64 c 1039s|200000 |199865 | 0 | 0.0 | 79M|7615 | - | 10k| 284 | 0 | 0 | 0 | 788 | 0 | 0.000000e+00 | -- | Inf
1096.73/1097.02 c 1093s|210000 |209857 | 0 | 0.0 | 82M|7615 | - | 10k| 318 | 0 | 0 | 0 | 838 | 0 | 0.000000e+00 | -- | Inf
1155.41/1155.70 c 1151s|220000 |219852 | 0 | 0.0 | 85M|7615 | - | 10k| 289 | 0 | 0 | 0 | 868 | 0 | 0.000000e+00 | -- | Inf
1209.50/1209.85 c 1205s|230000 |229847 | 0 | 0.0 | 87M|7615 | - | 10k| 299 | 0 | 0 | 0 | 898 | 0 | 0.000000e+00 | -- | Inf
1265.49/1265.89 c 1261s|240000 |239837 | 0 | 0.0 | 90M|7639 | - | 10k| 257 | 0 | 0 | 0 | 958 | 0 | 0.000000e+00 | -- | Inf
1324.27/1324.65 c 1320s|250000 |249830 | 0 | 0.0 | 93M|7798 | - | 10k| 291 | 0 | 0 | 0 | 998 | 0 | 0.000000e+00 | -- | Inf
1380.26/1380.63 c 1375s|260000 |259825 | 0 | 0.0 | 96M|7814 | - | 10k| 321 | 0 | 0 | 0 |1028 | 0 | 0.000000e+00 | -- | Inf
1432.35/1432.75 c 1427s|270000 |269819 | 0 | 0.0 | 99M|8005 | - | 10k| 295 | 0 | 0 | 0 |1068 | 0 | 0.000000e+00 | -- | Inf
1493.34/1493.72 c 1488s|280000 |279812 | 0 | 0.0 | 102M|8049 | - | 10k| 312 | 0 | 0 | 0 |1099 | 0 | 0.000000e+00 | -- | Inf
1551.52/1551.97 c 1546s|290000 |289807 | 0 | 0.0 | 104M|8180 | - | 10k| 334 | 0 | 0 | 0 |1129 | 0 | 0.000000e+00 | -- | Inf
1607.10/1607.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.10/1607.55 c 1602s|300000 |299799 | 0 | 0.0 | 107M|8251 | - | 10k| 318 | 0 | 0 | 0 |1179 | 0 | 0.000000e+00 | -- | Inf
1661.47/1661.93 c 1656s|310000 |309796 | 0 | 0.0 | 110M|8412 | - | 10k| 318 | 0 | 0 | 0 |1199 | 0 | 0.000000e+00 | -- | Inf
1715.96/1716.41 c 1710s|320000 |319790 | 0 | 0.0 | 112M|8536 | - | 10k| 298 | 0 | 0 | 0 |1237 | 0 | 0.000000e+00 | -- | Inf
1775.25/1775.72 c 1769s|330000 |329787 | 0 | 0.0 | 115M|8626 | - | 10k| 285 | 0 | 0 | 0 |1257 | 0 | 0.000000e+00 | -- | Inf
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.51 c
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time (sec) : 1793.80
1800.05/1800.51 c Solving Nodes : 334194
1800.05/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.51 c Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 s UNKNOWN
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time : 1793.80
1800.05/1800.51 c Original Problem :
1800.05/1800.51 c Problem name : HOME/instance-2664731-1276576424.opb
1800.05/1800.51 c Variables : 10100 (10100 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 201 initial, 201 maximal
1800.05/1800.51 c Presolved Problem :
1800.05/1800.51 c Problem name : t_HOME/instance-2664731-1276576424.opb
1800.05/1800.51 c Variables : 10100 (10100 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 201 initial, 384 maximal
1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.51 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.51 c root node : - 0 - - 0 - - - -
1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.51 c setppc : 100 0 342959 0 334113 106 153505 0 0 0
1800.05/1800.51 c logicor : 101+ 0 34406 0 334113 27 4955 0 0 0
1800.05/1800.51 c countsols : 0 0 0 0 334113 0 0 0 0 0
1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c setppc : 360.79 0.00 9.99 0.00 350.80
1800.05/1800.51 c logicor : 242.88 0.00 2.18 0.00 240.70
1800.05/1800.51 c countsols : 0.33 0.00 0.00 0.00 0.33
1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.51 c vbounds : 0.40 1 0 0
1800.05/1800.51 c rootredcost : 0.34 0 0 0
1800.05/1800.51 c pseudoobj : 0.17 0 0 0
1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.51 c propagation : 8.17 133 133 9210 721.0 0 0.0 -
1800.05/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.51 c applied globally : - - - 1256 459.3 - - -
1800.05/1800.51 c applied locally : - - - 1 1172.0 - - -
1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.51 c redcost : 0.00 0 0 0 0 0
1800.05/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.51 c intobj : 0.00 0 0 0 0 0
1800.05/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.51 c gomory : 0.00 0 0 0 0 0
1800.05/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.51 c cmir : 0.00 0 0 0 0 0
1800.05/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.51 c clique : 0.00 0 0 0 0 0
1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.51 c mcf : 0.00 0 0 0 0 0
1800.05/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.51 c Pricers : Time Calls Vars
1800.05/1800.51 c problem variables: 0.00 0 0
1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c inference : 1166.07 334113 0 0 0 0 668226
1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c random : 0.00 0 0 0 0 0 0
1800.05/1800.51 c Primal Heuristics : Time Calls Found
1800.05/1800.51 c LP solutions : 0.00 - 0
1800.05/1800.51 c pseudo solutions : 0.00 - 0
1800.05/1800.51 c trivial : 0.02 1 0
1800.05/1800.51 c simplerounding : 0.00 0 0
1800.05/1800.51 c zirounding : 0.00 0 0
1800.05/1800.51 c rounding : 0.00 0 0
1800.05/1800.51 c shifting : 0.00 0 0
1800.05/1800.51 c intshifting : 0.00 0 0
1800.05/1800.51 c oneopt : 0.00 0 0
1800.05/1800.51 c twoopt : 0.00 0 0
1800.05/1800.51 c fixandinfer : 0.00 0 0
1800.05/1800.51 c feaspump : 0.00 0 0
1800.05/1800.51 c coefdiving : 0.00 0 0
1800.05/1800.51 c pscostdiving : 0.00 0 0
1800.05/1800.51 c fracdiving : 0.00 0 0
1800.05/1800.51 c veclendiving : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c objpscostdiving : 0.00 0 0
1800.05/1800.51 c rootsoldiving : 0.00 0 0
1800.05/1800.51 c linesearchdiving : 0.00 0 0
1800.05/1800.51 c guideddiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.00 0 0
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c crossover : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c undercover : 0.00 0 0
1800.05/1800.51 c nlp : 0.00 0 0
1800.05/1800.51 c trysol : 0.00 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.51 c (at root node) : - 0 0 0.00 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 334194
1800.05/1800.51 c nodes (total) : 334194
1800.05/1800.51 c nodes left : 333981
1800.05/1800.51 c max depth : 8626
1800.05/1800.51 c max depth (total): 8626
1800.05/1800.51 c backtracks : 55 (0.0%)
1800.05/1800.51 c delayed cutoffs : 52
1800.05/1800.51 c repropagations : 261 (2276 domain reductions, 52 cutoffs)
1800.05/1800.51 c avg switch length: 2.14
1800.05/1800.51 c switching time : 6.08
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 0 (0 improvements)
1800.05/1800.51 c Primal Bound : -
1800.05/1800.51 c Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Root Iterations : 0
1800.34/1800.88 c Time complete: 1800.43.
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-2664731-1276576424/watcher-2664731-1276576424 -o /tmp/evaluation-result-2664731-1276576424/solver-2664731-1276576424 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664731-1276576424.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.21 1.05 1.01 2/106 1017 /proc/meminfo: memFree=1752056/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=3520 CPUtime=0 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 444 0 0 0 0 0 0 0 20 0 1 0 31297794 3604480 366 1992294400 4194304 7136930 140734610376480 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1017/statm: 880 367 224 719 0 159 0 [startup+0.039473 s] /proc/loadavg: 1.21 1.05 1.01 2/106 1017 /proc/meminfo: memFree=1752056/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=15164 CPUtime=0.03 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 3294 0 0 0 2 1 0 0 20 0 1 0 31297794 15527936 3216 1992294400 4194304 7136930 140734610376480 18446744073709551615 4240582 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1017/statm: 3791 3216 268 719 0 3070 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 15164 [startup+0.101477 s] /proc/loadavg: 1.21 1.05 1.01 2/106 1017 /proc/meminfo: memFree=1752056/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=27320 CPUtime=0.1 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 6672 0 0 0 7 3 0 0 20 0 1 0 31297794 27975680 6240 1992294400 4194304 7136930 140734610376480 18446744073709551615 4390850 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 6830 6240 282 719 0 6109 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 27320 [startup+0.301493 s] /proc/loadavg: 1.21 1.05 1.01 2/106 1017 /proc/meminfo: memFree=1752056/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=33988 CPUtime=0.29 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 9050 0 0 0 26 3 0 0 20 0 1 0 31297794 34803712 7590 1992294400 4194304 7136930 140734610376480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 8497 7590 346 719 0 7776 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33988 [startup+0.701525 s] /proc/loadavg: 1.21 1.05 1.01 2/106 1017 /proc/meminfo: memFree=1752056/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=35168 CPUtime=0.69 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 9680 0 0 0 65 4 0 0 21 0 1 0 31297794 36012032 7893 1992294400 4194304 7136930 140734610376480 18446744073709551615 4414778 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 8792 7893 374 719 0 8071 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35168 [startup+1.50159 s] /proc/loadavg: 1.19 1.05 1.01 2/107 1018 /proc/meminfo: memFree=1721792/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=35320 CPUtime=1.49 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 9713 0 0 0 145 4 0 0 23 0 1 0 31297794 36167680 7926 1992294400 4194304 7136930 140734610376480 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 8830 7926 375 719 0 8109 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 35320 [startup+3.10072 s] /proc/loadavg: 1.19 1.05 1.01 2/107 1018 /proc/meminfo: memFree=1721296/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=35452 CPUtime=3.09 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 9757 0 0 0 304 5 0 0 25 0 1 0 31297794 36302848 7970 1992294400 4194304 7136930 140734610376480 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 8863 7970 375 719 0 8142 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35452 [startup+6.30097 s] /proc/loadavg: 1.18 1.05 1.01 2/107 1018 /proc/meminfo: memFree=1720800/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=36360 CPUtime=6.29 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 9979 0 0 0 623 6 0 0 25 0 1 0 31297794 37232640 8192 1992294400 4194304 7136930 140734610376480 18446744073709551615 5005152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 9090 8192 375 719 0 8369 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36360 [startup+12.7005 s] /proc/loadavg: 1.16 1.04 1.01 2/107 1018 /proc/meminfo: memFree=1720056/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=37552 CPUtime=12.69 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 10292 0 0 0 1259 10 0 0 25 0 1 0 31297794 38453248 8505 1992294400 4194304 7136930 140734610376480 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 9388 8505 375 719 0 8667 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37552 [startup+25.5015 s] /proc/loadavg: 1.14 1.04 1.01 2/107 1020 /proc/meminfo: memFree=1712864/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=43600 CPUtime=25.49 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 11837 0 0 0 2530 19 0 0 25 0 1 0 31297794 44646400 10047 1992294400 4194304 7136930 140734610376480 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 10900 10047 379 719 0 10179 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 43600 [startup+51.1015 s] /proc/loadavg: 1.08 1.04 1.01 2/107 1020 /proc/meminfo: memFree=1711376/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=45152 CPUtime=51.08 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 12226 0 0 0 5081 27 0 0 25 0 1 0 31297794 46235648 10436 1992294400 4194304 7136930 140734610376480 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 11288 10436 379 719 0 10567 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45152 [startup+102.309 s] /proc/loadavg: 1.03 1.03 1.00 2/107 1022 /proc/meminfo: memFree=1705052/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=51256 CPUtime=102.27 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 13754 0 0 0 10180 47 0 0 25 0 1 0 31297794 52486144 11961 1992294400 4194304 7136930 140734610376480 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 12814 11961 379 719 0 12093 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 51256 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 1022 /proc/meminfo: memFree=1701456/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=54532 CPUtime=162.25 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 14625 0 0 0 16158 67 0 0 25 0 1 0 31297794 55840768 12832 1992294400 4194304 7136930 140734610376480 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 13633 12832 379 719 0 12912 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 54532 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 1024 /proc/meminfo: memFree=1696744/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=59152 CPUtime=222.24 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 15826 0 0 0 22137 87 0 0 25 0 1 0 31297794 60571648 14033 1992294400 4194304 7136930 140734610376480 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 14788 14033 379 719 0 14067 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 59152 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 1029 /proc/meminfo: memFree=1691280/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=63928 CPUtime=282.22 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 17041 0 0 0 28114 108 0 0 25 0 1 0 31297794 65462272 15248 1992294400 4194304 7136930 140734610376480 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 15982 15248 379 719 0 15261 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 63928 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1031 /proc/meminfo: memFree=1686204/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=71116 CPUtime=342.2 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 18344 0 0 0 34089 131 0 0 25 0 1 0 31297794 72822784 16551 1992294400 4194304 7136930 140734610376480 18446744073709551615 5892288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 17779 16551 379 719 0 17058 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 71116 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1033 /proc/meminfo: memFree=1682732/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=74300 CPUtime=402.19 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 19215 0 0 0 40067 152 0 0 25 0 1 0 31297794 76083200 17422 1992294400 4194304 7136930 140734610376480 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 18575 17422 379 719 0 17854 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 74300 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1033 /proc/meminfo: memFree=1677028/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=79996 CPUtime=462.17 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 20660 0 0 0 46044 173 0 0 25 0 1 0 31297794 81915904 18867 1992294400 4194304 7136930 140734610376480 18446744073709551615 4642005 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 19999 18867 379 719 0 19278 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 79996 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1035 /proc/meminfo: memFree=1673556/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=83304 CPUtime=522.16 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 21537 0 0 0 52022 194 0 0 25 0 1 0 31297794 85303296 19744 1992294400 4194304 7136930 140734610376480 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 20826 19744 379 719 0 20105 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 83304 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1037 /proc/meminfo: memFree=1668844/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=88028 CPUtime=582.14 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 22735 0 0 0 57999 215 0 0 25 0 1 0 31297794 90140672 20942 1992294400 4194304 7136930 140734610376480 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 22007 20942 379 719 0 21286 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 88028 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1039 /proc/meminfo: memFree=1664876/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=91888 CPUtime=642.13 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 23713 0 0 0 63977 236 0 0 25 0 1 0 31297794 94093312 21920 1992294400 4194304 7136930 140734610376480 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 22972 21920 379 719 0 22251 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 91888 [startup+702.301 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.06 1.01 1.00 2/107 1047 /proc/meminfo: memFree=1645780/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=109912 CPUtime=942.06 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 28409 0 0 0 93870 336 0 0 25 0 1 0 31297794 112549888 26616 1992294400 4194304 7136930 140734610376480 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 27478 26616 379 719 0 26757 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 109912 [startup+1002.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 1049 /proc/meminfo: memFree=1642060/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=113476 CPUtime=1002.05 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 29336 0 0 0 99848 357 0 0 25 0 1 0 31297794 116199424 27543 1992294400 4194304 7136930 140734610376480 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 28369 27543 379 719 0 27648 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 113476 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1049 /proc/meminfo: memFree=1638216/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=121136 CPUtime=1062.03 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 30283 0 0 0 105825 378 0 0 25 0 1 0 31297794 124043264 28490 1992294400 4194304 7136930 140734610376480 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 30284 28490 379 719 0 29563 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 121136 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1051 /proc/meminfo: memFree=1635364/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=123756 CPUtime=1122.02 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 30972 0 0 0 111804 398 0 0 25 0 1 0 31297794 126726144 29179 1992294400 4194304 7136930 140734610376480 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 30939 29179 379 719 0 30218 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 123756 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1053 /proc/meminfo: memFree=1631396/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=127456 CPUtime=1182.01 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 31948 0 0 0 117783 418 0 0 25 0 1 0 31297794 130514944 30155 1992294400 4194304 7136930 140734610376480 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 31864 30155 379 719 0 31143 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 127456 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1055 /proc/meminfo: memFree=1628420/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=130104 CPUtime=1241.99 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 32626 0 0 0 123763 436 0 0 25 0 1 0 31297794 133226496 30833 1992294400 4194304 7136930 140734610376480 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 32526 30833 379 719 0 31805 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 130104 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1057 /proc/meminfo: memFree=1624700/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=133656 CPUtime=1301.98 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 33543 0 0 0 129740 458 0 0 25 0 1 0 31297794 136863744 31750 1992294400 4194304 7136930 140734610376480 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 33414 31750 379 719 0 32693 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 133656 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1057 /proc/meminfo: memFree=1621848/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=136632 CPUtime=1361.96 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 34348 0 0 0 135719 477 0 0 25 0 1 0 31297794 139911168 32555 1992294400 4194304 7136930 140734610376480 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 34158 32555 379 719 0 33437 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 136632 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1059 /proc/meminfo: memFree=1618872/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=139160 CPUtime=1421.96 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 35004 0 0 0 141699 497 0 0 25 0 1 0 31297794 142499840 33211 1992294400 4194304 7136930 140734610376480 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 34790 33211 379 719 0 34069 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 139160 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1061 /proc/meminfo: memFree=1615400/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=142552 CPUtime=1481.93 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 35865 0 0 0 147675 518 0 0 25 0 1 0 31297794 145973248 34072 1992294400 4194304 7136930 140734610376480 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 35638 34072 379 719 0 34917 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 142552 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1063 /proc/meminfo: memFree=1612920/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=144836 CPUtime=1541.92 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 36498 0 0 0 153656 536 0 0 25 0 1 0 31297794 148312064 34705 1992294400 4194304 7136930 140734610376480 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 36209 34705 379 719 0 35488 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 144836 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1065 /proc/meminfo: memFree=1608332/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=149276 CPUtime=1601.91 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 37652 0 0 0 159636 555 0 0 25 0 1 0 31297794 152858624 35859 1992294400 4194304 7136930 140734610376480 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 37319 35859 379 719 0 36598 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 149276 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1074 /proc/meminfo: memFree=1604860/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=152280 CPUtime=1661.88 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 38425 0 0 0 165612 576 0 0 25 0 1 0 31297794 155934720 36632 1992294400 4194304 7136930 140734610376480 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 38070 36632 379 719 0 37349 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 152280 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1076 /proc/meminfo: memFree=1601760/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=155228 CPUtime=1721.86 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 39196 0 0 0 171589 597 0 0 25 0 1 0 31297794 158953472 37403 1992294400 4194304 7136930 140734610376480 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 38807 37403 379 719 0 38086 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 155228 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1078 /proc/meminfo: memFree=1598536/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=158544 CPUtime=1781.86 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 40073 0 0 0 177569 617 0 0 25 0 1 0 31297794 162349056 38280 1992294400 4194304 7136930 140734610376480 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 39636 38280 379 719 0 38915 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 158544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1078 /proc/meminfo: memFree=1597544/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=159192 CPUtime=1800.05 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 40250 0 0 0 179383 622 0 0 25 0 1 0 31297794 163012608 38457 1992294400 4194304 7136930 140734610376480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1017/statm: 39798 38457 379 719 0 39077 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 159192 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1079 /proc/meminfo: memFree=1597536/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=159192 CPUtime=1800.16 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 40255 0 0 0 179394 622 0 0 25 0 1 0 31297794 163012608 38462 1992294400 4194304 7136930 140734610376480 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1017/statm: 39798 38462 384 719 0 39077 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 159192 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1079 /proc/meminfo: memFree=1597536/2059040 swapFree=4136648/4192956 [pid=1017] ppid=1015 vsize=129572 CPUtime=1800.34 /proc/1017/stat : 1017 (pbscip.linux.x8) R 1015 1017 441 0 -1 4202496 40435 0 0 0 179412 622 0 0 25 0 1 0 31297794 132681728 31072 1992294400 4194304 7136930 140734610376480 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1017/statm: 32393 31072 384 719 0 31672 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 129572 Child status: 0 Real time (s): 1800.89 CPU time (s): 1800.44 CPU user time (s): 1794.2 CPU system time (s): 6.24405 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 159192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.2 system time used= 6.24405 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40446 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 12600 runsolver used 3.01254 second user time and 8.46971 second system time The end
Begin job on node026 at 2010-06-15 06:33:44 IDJOB=2664731 IDBENCH=2578 IDSOLVER=1167 FILE ID=node026/2664731-1276576424 PBS_JOBID= 11173521 Free space on /tmp= 62560 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100.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-2664731-1276576424/watcher-2664731-1276576424 -o /tmp/evaluation-result-2664731-1276576424/solver-2664731-1276576424 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664731-1276576424.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0b4d976a66cd69333fd390f8a9139e21 RANDOM SEED=1646625457 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.201 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.40 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.201 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: 1752584 kB Buffers: 62636 kB Cached: 151700 kB SwapCached: 9480 kB Active: 100208 kB Inactive: 126608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1752584 kB SwapTotal: 4192956 kB SwapFree: 4136648 kB Dirty: 3612 kB Writeback: 0 kB AnonPages: 10932 kB Mapped: 9340 kB Slab: 57852 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179724 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= 62556 MiB End job on node026 at 2010-06-15 07:03:46