| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1789.55 | 1790.04 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21ls.opb |
| MD5SUM | 3d28f31cd61cfb39466f429c599fdb4f |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 30.5064 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 428 |
| Total number of constraints | 644 |
| Number of constraints which are clauses | 354 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 288 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 144 |
| 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 | 21 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 165 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703975-1278548291.opb>
0.01/0.02 c original problem has 428 variables (428 bin, 0 int, 0 impl, 0 cont) and 644 constraints
0.01/0.02 c problem read
0.01/0.02 c No objective function, only one solution is needed.
0.01/0.02 c presolving settings loaded
0.01/0.03 c presolving:
0.01/0.05 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 644 upgd conss, 460 impls, 0 clqs
0.01/0.07 c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 644 upgd conss, 15484 impls, 0 clqs
0.01/0.08 c (round 3) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 644 upgd conss, 15484 impls, 0 clqs
0.01/0.08 c (round 4) 8 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 644 upgd conss, 15484 impls, 0 clqs
0.01/0.08 c presolving (5 rounds):
0.01/0.08 c 8 deleted vars, 12 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.08 c 15484 implications, 0 cliques
0.01/0.08 c presolved problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 632 constraints
0.01/0.08 c 290 constraints of type <knapsack>
0.01/0.08 c 210 constraints of type <setppc>
0.01/0.08 c 132 constraints of type <logicor>
0.01/0.08 c transformed objective value is always integral (scale: 1)
0.01/0.08 c Presolving Time: 0.06
0.01/0.08 c - non default parameters ----------------------------------------------------------------------
0.01/0.08 c # SCIP version 1.2.1.3
0.01/0.08 c
0.01/0.08 c # frequency for displaying node information lines
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.08 c display/freq = 10000
0.01/0.08 c
0.01/0.08 c # maximal time in seconds to run
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/time = 1789.99
0.01/0.08 c
0.01/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/memory = 1620
0.01/0.08 c
0.01/0.08 c # solving stops, if the given number of solutions were found (-1: no limit)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.08 c limits/solutions = 1
0.01/0.08 c
0.01/0.08 c # maximal number of separation rounds per node (-1: unlimited)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 5]
0.01/0.08 c separating/maxrounds = 1
0.01/0.08 c
0.01/0.08 c # maximal number of separation rounds in the root node (-1: unlimited)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.08 c separating/maxroundsroot = 5
0.01/0.08 c
0.01/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.08 c # [type: int, range: [1,2], default: 1]
0.01/0.08 c timing/clocktype = 2
0.01/0.08 c
0.01/0.08 c # should presolving try to simplify inequalities
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/linear/simplifyinequalities = TRUE
0.01/0.08 c
0.01/0.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/indicator/addCouplingCons = TRUE
0.01/0.08 c
0.01/0.08 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.01/0.08 c constraints/knapsack/disaggregation = FALSE
0.01/0.08 c
0.01/0.08 c # should presolving try to simplify knapsacks
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.08 c
0.01/0.08 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.08 c presolving/probing/maxrounds = 0
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/coefdiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/coefdiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/coefdiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 30]
0.01/0.08 c heuristics/crossover/freq = -1
0.01/0.08 c
0.01/0.08 c # number of nodes added to the contingent of the total nodes
0.01/0.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.08 c heuristics/crossover/nodesofs = 750
0.01/0.08 c
0.01/0.08 c # number of nodes without incumbent change that heuristic should wait
0.01/0.08 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.01/0.08 c heuristics/crossover/nwaitingnodes = 100
0.01/0.08 c
0.01/0.08 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.01/0.08 c # [type: real, range: [0,1], default: 0.1]
0.01/0.08 c heuristics/crossover/nodesquot = 0.15
0.01/0.08 c
0.01/0.08 c # minimum percentage of integer variables that have to be fixed
0.01/0.08 c # [type: real, range: [0,1], default: 0.666]
0.01/0.08 c heuristics/crossover/minfixingrate = 0.5
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.08 c heuristics/feaspump/freq = -1
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/feaspump/maxlpiterofs = 2000
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/fracdiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/fracdiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/fracdiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/guideddiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/guideddiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/guideddiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/intdiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/intshifting/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/linesearchdiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c heuristics/nlp/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.08 c heuristics/objpscostdiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to total iteration number
0.01/0.08 c # [type: real, range: [0,1], default: 0.01]
0.01/0.08 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c heuristics/oneopt/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/pscostdiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/pscostdiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.08 c heuristics/rens/freq = -1
0.01/0.08 c
0.01/0.08 c # minimum percentage of integer variables that have to be fixable
0.01/0.08 c # [type: real, range: [0,1], default: 0.5]
0.01/0.08 c heuristics/rens/minfixingrate = 0.3
0.01/0.08 c
0.01/0.08 c # number of nodes added to the contingent of the total nodes
0.01/0.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.08 c heuristics/rens/nodesofs = 2000
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.08 c heuristics/rootsoldiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.01/0.08 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c heuristics/rounding/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/shifting/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c heuristics/simplerounding/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.08 c heuristics/trivial/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c heuristics/trysol/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/veclendiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/veclendiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/veclendiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c heuristics/zirounding/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.08 c separating/cmir/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.08 c separating/flowcover/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.08 c separating/rapidlearning/freq = 0
0.01/0.08 c
0.01/0.08 c -----------------------------------------------------------------------------------------------
0.01/0.08 c start solving
0.01/0.08 c
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c 0.1s| 1 | 0 | 186 | - |2648k| 0 | 104 | 420 | 632 | 420 | 632 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.48 c 0.5s| 1 | 0 | 692 | - |3699k| 0 | 188 | 420 | 632 | 420 | 969 | 337 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.90 c 0.9s| 1 | 0 | 1144 | - |5564k| 0 | 209 | 420 | 632 | 420 |1240 | 608 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.42 c 1.4s| 1 | 0 | 1377 | - |7356k| 0 | 239 | 420 | 632 | 420 |1317 | 685 | 0 | 0 | 0.000000e+00 | -- | Inf
1.79/1.83 c 1.8s| 1 | 0 | 1552 | - |9859k| 0 | 235 | 420 | 632 | 420 |1320 | 688 | 0 | 0 | 0.000000e+00 | -- | Inf
2.29/2.33 c 2.3s| 1 | 0 | 1662 | - | 13M| 0 | 239 | 420 | 632 | 420 |1402 | 770 | 0 | 0 | 0.000000e+00 | -- | Inf
4.40/4.43 c 4.4s| 1 | 2 | 1662 | - | 13M| 0 | 239 | 420 | 632 | 420 |1402 | 770 | 0 | 10 | 0.000000e+00 | -- | Inf
30.38/30.48 c 30.5s| 10000 | 126 | 82504 | 8.1 | 13M| 40 | 33 | 420 | 979 | 420 | 772 | 770 | 559 |2204 | 0.000000e+00 | -- | Inf
49.26/49.37 c 49.3s| 20000 | 115 |171561 | 8.5 | 13M| 42 | 29 | 420 |1055 | 420 | 772 | 770 |1009 |2323 | 0.000000e+00 | -- | Inf
68.76/68.83 c 68.8s| 30000 | 122 |258757 | 8.6 | 14M| 42 | 45 | 420 |1109 | 420 | 772 | 770 |1499 |2729 | 0.000000e+00 | -- | Inf
86.86/86.97 c 86.9s| 40000 | 140 |337265 | 8.4 | 14M| 43 | 28 | 420 |1376 | 420 | 772 | 770 |1970 |3182 | 0.000000e+00 | -- | Inf
106.75/106.81 c 107s| 50000 | 146 |421621 | 8.4 | 14M| 45 | 33 | 420 |1366 | 420 | 772 | 770 |2494 |3819 | 0.000000e+00 | -- | Inf
125.65/125.73 c 126s| 60000 | 165 |505253 | 8.4 | 14M| 45 | - | 420 |1568 | 0 | 0 | 770 |3110 |4222 | 0.000000e+00 | -- | Inf
145.84/145.97 c 146s| 70000 | 172 |596300 | 8.5 | 14M| 45 | 42 | 420 |1463 | 420 | 772 | 770 |3604 |4585 | 0.000000e+00 | -- | Inf
165.84/165.98 c 166s| 80000 | 162 |686674 | 8.6 | 14M| 45 | 25 | 420 |1418 | 420 | 772 | 770 |4027 |4993 | 0.000000e+00 | -- | Inf
188.13/188.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.13/188.26 c 188s| 90000 | 181 |784166 | 8.7 | 14M| 45 | 32 | 420 |1160 | 420 | 772 | 770 |4443 |5581 | 0.000000e+00 | -- | Inf
210.42/210.56 c 211s|100000 | 173 |888941 | 8.9 | 14M| 45 | 41 | 420 |1217 | 420 | 772 | 770 |4828 |5879 | 0.000000e+00 | -- | Inf
228.12/228.22 c 228s|110000 | 180 |968737 | 8.8 | 14M| 45 | 35 | 420 |1440 | 420 | 772 | 770 |5313 |6112 | 0.000000e+00 | -- | Inf
244.72/244.84 c 245s|120000 | 180 | 1043k| 8.7 | 14M| 45 | 28 | 420 |1719 | 420 | 772 | 770 |5867 |6275 | 0.000000e+00 | -- | Inf
265.21/265.32 c 265s|130000 | 175 | 1134k| 8.7 | 14M| 45 | - | 420 |1543 | 0 | 0 | 770 |6361 |6674 | 0.000000e+00 | -- | Inf
281.81/281.96 c 282s|140000 | 174 | 1208k| 8.6 | 14M| 45 | - | 420 |1746 | 420 | 772 | 770 |6822 |6811 | 0.000000e+00 | -- | Inf
303.00/303.11 c 303s|150000 | 158 | 1302k| 8.7 | 14M| 45 | - | 420 |1572 | 420 | 772 | 770 |7250 |7275 | 0.000000e+00 | -- | Inf
323.40/323.52 c 323s|160000 | 163 | 1397k| 8.7 | 14M| 45 | 31 | 420 |1572 | 420 | 772 | 770 |7615 |7546 | 0.000000e+00 | -- | Inf
345.08/345.22 c 345s|170000 | 160 | 1500k| 8.8 | 14M| 45 | - | 420 |1631 | 420 | 772 | 770 |7967 |7820 | 0.000000e+00 | -- | Inf
365.18/365.38 c 365s|180000 | 175 | 1593k| 8.8 | 14M| 45 | - | 420 |1753 | 420 | 772 | 770 |8358 |8101 | 0.000000e+00 | -- | Inf
385.28/385.44 c 385s|190000 | 168 | 1686k| 8.9 | 14M| 45 | 18 | 420 |1788 | 420 | 772 | 770 |8760 |8245 | 0.000000e+00 | -- | Inf
404.68/404.82 c 405s|200000 | 167 | 1775k| 8.9 | 14M| 46 | - | 420 |1938 | 0 | 0 | 770 |9217 |8422 | 0.000000e+00 | -- | Inf
424.97/425.14 c 425s|210000 | 168 | 1868k| 8.9 | 14M| 46 | 35 | 420 |2003 | 420 | 772 | 770 |9659 |8698 | 0.000000e+00 | -- | Inf
446.06/446.28 c 446s|220000 | 156 | 1965k| 8.9 | 14M| 46 | - | 420 |1915 | 420 | 772 | 770 | 10k|8942 | 0.000000e+00 | -- | Inf
466.46/466.60 c 467s|230000 | 174 | 2058k| 8.9 | 14M| 46 | 36 | 420 |2042 | 420 | 772 | 770 | 10k|9255 | 0.000000e+00 | -- | Inf
483.55/483.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.55/483.78 c 484s|240000 | 170 | 2137k| 8.9 | 14M| 46 | - | 420 |2142 | 0 | 0 | 770 | 11k|9330 | 0.000000e+00 | -- | Inf
504.44/504.64 c 505s|250000 | 169 | 2235k| 8.9 | 14M| 46 | - | 420 |1828 | 0 | 0 | 770 | 11k|9531 | 0.000000e+00 | -- | Inf
525.54/525.78 c 526s|260000 | 164 | 2332k| 9.0 | 14M| 47 | 35 | 420 |1809 | 420 | 772 | 770 | 11k|9846 | 0.000000e+00 | -- | Inf
545.34/545.57 c 546s|270000 | 165 | 2426k| 9.0 | 14M| 49 | - | 420 |1828 | 0 | 0 | 770 | 12k|9957 | 0.000000e+00 | -- | Inf
566.24/566.47 c 566s|280000 | 166 | 2526k| 9.0 | 14M| 52 | 42 | 420 |1908 | 420 | 772 | 770 | 12k| 10k| 0.000000e+00 | -- | Inf
587.83/588.09 c 588s|290000 | 174 | 2627k| 9.1 | 14M| 52 | - | 420 |1764 | 420 | 772 | 770 | 13k| 10k| 0.000000e+00 | -- | Inf
606.71/606.95 c 607s|300000 | 167 | 2715k| 9.0 | 14M| 52 | - | 420 |1849 | 420 | 772 | 770 | 13k| 10k| 0.000000e+00 | -- | Inf
623.52/623.79 c 624s|310000 | 167 | 2788k| 9.0 | 14M| 52 | - | 420 |2049 | 0 | 0 | 770 | 14k| 10k| 0.000000e+00 | -- | Inf
639.40/639.69 c 640s|320000 | 159 | 2857k| 8.9 | 14M| 52 | - | 420 |2183 | 420 | 772 | 770 | 14k| 10k| 0.000000e+00 | -- | Inf
657.51/657.76 c 658s|330000 | 166 | 2937k| 8.9 | 14M| 52 | 26 | 420 |2267 | 420 | 772 | 770 | 15k| 11k| 0.000000e+00 | -- | Inf
678.20/678.50 c 678s|340000 | 158 | 3031k| 8.9 | 14M| 52 | 22 | 420 |2049 | 420 | 772 | 770 | 15k| 11k| 0.000000e+00 | -- | Inf
696.59/696.85 c 697s|350000 | 149 | 3114k| 8.9 | 14M| 52 | 41 | 420 |2126 | 420 | 772 | 770 | 16k| 11k| 0.000000e+00 | -- | Inf
718.88/719.14 c 719s|360000 | 156 | 3221k| 8.9 | 14M| 52 | - | 420 |2179 | 420 | 772 | 770 | 16k| 11k| 0.000000e+00 | -- | Inf
739.38/739.68 c 740s|370000 | 182 | 3318k| 9.0 | 14M| 52 | 26 | 420 |2098 | 420 | 772 | 770 | 17k| 11k| 0.000000e+00 | -- | Inf
761.07/761.35 c 761s|380000 | 180 | 3423k| 9.0 | 14M| 52 | - | 420 |2255 | 420 | 772 | 770 | 17k| 11k| 0.000000e+00 | -- | Inf
781.88/782.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
781.88/782.17 c 782s|390000 | 159 | 3518k| 9.0 | 14M| 52 | 32 | 420 |2363 | 420 | 772 | 770 | 17k| 11k| 0.000000e+00 | -- | Inf
803.56/803.84 c 804s|400000 | 165 | 3618k| 9.0 | 14M| 52 | - | 420 |2242 | 420 | 772 | 770 | 18k| 12k| 0.000000e+00 | -- | Inf
825.16/825.40 c 825s|410000 | 163 | 3721k| 9.1 | 14M| 54 | 31 | 420 |2341 | 420 | 772 | 770 | 18k| 12k| 0.000000e+00 | -- | Inf
846.86/847.18 c 847s|420000 | 167 | 3821k| 9.1 | 14M| 54 | 28 | 420 |2107 | 420 | 772 | 770 | 19k| 12k| 0.000000e+00 | -- | Inf
865.85/866.10 c 866s|430000 | 168 | 3907k| 9.1 | 14M| 54 | - | 420 |2189 | 0 | 0 | 770 | 19k| 12k| 0.000000e+00 | -- | Inf
886.35/886.64 c 887s|440000 | 171 | 4004k| 9.1 | 15M| 54 | - | 420 |2341 | 0 | 0 | 770 | 20k| 12k| 0.000000e+00 | -- | Inf
907.64/907.93 c 908s|450000 | 161 | 4103k| 9.1 | 14M| 57 | 24 | 420 |2335 | 420 | 772 | 770 | 20k| 12k| 0.000000e+00 | -- | Inf
928.14/928.44 c 928s|460000 | 167 | 4199k| 9.1 | 14M| 57 | - | 420 |2300 | 420 | 772 | 770 | 20k| 13k| 0.000000e+00 | -- | Inf
950.23/950.55 c 951s|470000 | 172 | 4303k| 9.2 | 15M| 57 | 25 | 420 |2345 | 420 | 772 | 770 | 21k| 13k| 0.000000e+00 | -- | Inf
973.82/974.19 c 974s|480000 | 168 | 4418k| 9.2 | 15M| 57 | 33 | 420 |2411 | 420 | 772 | 770 | 21k| 13k| 0.000000e+00 | -- | Inf
996.32/996.61 c 997s|490000 | 163 | 4520k| 9.2 | 14M| 57 | - | 420 |2156 | 420 | 772 | 770 | 21k| 13k| 0.000000e+00 | -- | Inf
1015.81/1016.14 c 1016s|500000 | 166 | 4611k| 9.2 | 15M| 57 | - | 420 |2363 | 0 | 0 | 770 | 22k| 13k| 0.000000e+00 | -- | Inf
1036.91/1037.29 c 1037s|510000 | 167 | 4712k| 9.2 | 14M| 57 | - | 420 |2132 | 0 | 0 | 770 | 22k| 13k| 0.000000e+00 | -- | Inf
1058.79/1059.15 c 1059s|520000 | 164 | 4819k| 9.3 | 14M| 57 | 25 | 420 |2188 | 420 | 772 | 770 | 23k| 13k| 0.000000e+00 | -- | Inf
1082.49/1082.85 c 1083s|530000 | 162 | 4931k| 9.3 | 14M| 57 | - | 420 |2097 | 0 | 0 | 770 | 23k| 14k| 0.000000e+00 | -- | Inf
1106.38/1106.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1106.38/1106.79 c 1107s|540000 | 164 | 5048k| 9.3 | 14M| 57 | 36 | 420 |2098 | 420 | 772 | 770 | 23k| 14k| 0.000000e+00 | -- | Inf
1126.48/1126.85 c 1127s|550000 | 178 | 5140k| 9.3 | 15M| 57 | 42 | 420 |2084 | 420 | 772 | 770 | 24k| 14k| 0.000000e+00 | -- | Inf
1146.88/1147.29 c 1147s|560000 | 164 | 5236k| 9.3 | 15M| 57 | 49 | 420 |2170 | 420 | 772 | 770 | 24k| 14k| 0.000000e+00 | -- | Inf
1169.67/1170.08 c 1170s|570000 | 173 | 5346k| 9.4 | 14M| 57 | 36 | 420 |1979 | 420 | 772 | 770 | 25k| 14k| 0.000000e+00 | -- | Inf
1188.37/1188.72 c 1189s|580000 | 169 | 5433k| 9.4 | 15M| 57 | - | 420 |2144 | 0 | 0 | 770 | 25k| 14k| 0.000000e+00 | -- | Inf
1207.76/1208.18 c 1208s|590000 | 175 | 5524k| 9.4 | 15M| 57 | - | 420 |2140 | 420 | 772 | 770 | 25k| 14k| 0.000000e+00 | -- | Inf
1228.75/1229.15 c 1229s|600000 | 171 | 5623k| 9.4 | 15M| 57 | 35 | 420 |2141 | 420 | 772 | 770 | 26k| 15k| 0.000000e+00 | -- | Inf
1246.95/1247.36 c 1247s|610000 | 171 | 5709k| 9.4 | 15M| 57 | - | 420 |2271 | 0 | 0 | 770 | 26k| 15k| 0.000000e+00 | -- | Inf
1264.65/1265.00 c 1265s|620000 | 181 | 5790k| 9.3 | 15M| 57 | 35 | 420 |2485 | 420 | 772 | 770 | 27k| 15k| 0.000000e+00 | -- | Inf
1283.74/1284.11 c 1284s|630000 | 177 | 5880k| 9.3 | 15M| 57 | 40 | 420 |2482 | 420 | 772 | 770 | 27k| 15k| 0.000000e+00 | -- | Inf
1306.04/1306.45 c 1306s|640000 | 166 | 5983k| 9.3 | 15M| 57 | - | 420 |2123 | 0 | 0 | 770 | 28k| 15k| 0.000000e+00 | -- | Inf
1326.13/1326.59 c 1327s|650000 | 166 | 6077k| 9.3 | 14M| 57 | - | 420 |2043 | 420 | 772 | 770 | 28k| 15k| 0.000000e+00 | -- | Inf
1344.62/1345.05 c 1345s|660000 | 174 | 6162k| 9.3 | 15M| 57 | 48 | 420 |2190 | 420 | 772 | 770 | 28k| 15k| 0.000000e+00 | -- | Inf
1363.91/1364.37 c 1364s|670000 | 170 | 6252k| 9.3 | 14M| 57 | 37 | 420 |1944 | 420 | 772 | 770 | 29k| 15k| 0.000000e+00 | -- | Inf
1386.51/1386.98 c 1387s|680000 | 165 | 6363k| 9.4 | 14M| 57 | - | 420 |1446 | 0 | 0 | 770 | 29k| 16k| 0.000000e+00 | -- | Inf
1404.71/1405.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.71/1405.18 c 1405s|690000 | 173 | 6449k| 9.3 | 14M| 57 | 45 | 420 |1663 | 420 | 772 | 770 | 30k| 16k| 0.000000e+00 | -- | Inf
1425.10/1425.59 c 1426s|700000 | 206 | 6547k| 9.4 | 15M| 57 | 46 | 420 |1810 | 420 | 772 | 770 | 30k| 16k| 0.000000e+00 | -- | Inf
1445.80/1446.22 c 1446s|710000 | 182 | 6647k| 9.4 | 14M| 57 | - | 420 |1746 | 0 | 0 | 770 | 30k| 16k| 0.000000e+00 | -- | Inf
1465.29/1465.76 c 1466s|720000 | 182 | 6740k| 9.4 | 14M| 57 | - | 420 |1591 | 0 | 0 | 770 | 31k| 16k| 0.000000e+00 | -- | Inf
1487.68/1488.19 c 1488s|730000 | 173 | 6847k| 9.4 | 14M| 57 | - | 420 |1600 | 0 | 0 | 770 | 31k| 16k| 0.000000e+00 | -- | Inf
1507.58/1508.05 c 1508s|740000 | 167 | 6939k| 9.4 | 14M| 57 | - | 420 |1684 | 0 | 0 | 770 | 32k| 16k| 0.000000e+00 | -- | Inf
1528.58/1529.10 c 1529s|750000 | 172 | 7039k| 9.4 | 14M| 57 | 31 | 420 |1797 | 420 | 772 | 770 | 32k| 16k| 0.000000e+00 | -- | Inf
1550.86/1551.38 c 1551s|760000 | 155 | 7147k| 9.4 | 14M| 57 | - | 420 |1882 | 0 | 0 | 770 | 32k| 16k| 0.000000e+00 | -- | Inf
1572.16/1572.61 c 1573s|770000 | 177 | 7248k| 9.4 | 14M| 57 | - | 420 |1845 | 420 | 772 | 770 | 33k| 17k| 0.000000e+00 | -- | Inf
1593.75/1594.22 c 1594s|780000 | 170 | 7351k| 9.4 | 14M| 57 | 39 | 420 |1910 | 420 | 772 | 770 | 33k| 17k| 0.000000e+00 | -- | Inf
1614.84/1615.35 c 1615s|790000 | 211 | 7451k| 9.4 | 15M| 57 | - | 420 |2059 | 0 | 0 | 770 | 33k| 17k| 0.000000e+00 | -- | Inf
1637.24/1637.78 c 1638s|800000 | 180 | 7559k| 9.4 | 15M| 61 | 31 | 420 |2126 | 420 | 772 | 770 | 34k| 17k| 0.000000e+00 | -- | Inf
1657.03/1657.51 c 1657s|810000 | 203 | 7652k| 9.4 | 15M| 61 | - | 420 |2295 | 0 | 0 | 770 | 34k| 17k| 0.000000e+00 | -- | Inf
1678.14/1678.69 c 1679s|820000 | 178 | 7753k| 9.5 | 15M| 61 | - | 420 |2244 | 420 | 772 | 770 | 35k| 17k| 0.000000e+00 | -- | Inf
1701.13/1701.70 c 1702s|830000 | 201 | 7863k| 9.5 | 15M| 61 | 36 | 420 |2369 | 420 | 772 | 770 | 35k| 17k| 0.000000e+00 | -- | Inf
1723.92/1724.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1723.92/1724.42 c 1724s|840000 | 186 | 7970k| 9.5 | 15M| 64 | - | 420 |2189 | 420 | 772 | 770 | 35k| 17k| 0.000000e+00 | -- | Inf
1747.21/1747.72 c 1748s|850000 | 181 | 8083k| 9.5 | 15M| 64 | 47 | 420 |2060 | 420 | 772 | 770 | 36k| 17k| 0.000000e+00 | -- | Inf
1770.91/1771.47 c 1771s|860000 | 189 | 8192k| 9.5 | 15M| 64 | - | 420 |1960 | 0 | 0 | 770 | 36k| 18k| 0.000000e+00 | -- | Inf
1789.50/1790.01 c
1789.50/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.50/1790.01 c Solving Time (sec) : 1789.99
1789.50/1790.01 c Solving Nodes : 867777
1789.50/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.50/1790.01 c Dual Bound : +0.00000000000000e+00
1789.50/1790.01 c Gap : infinite
1789.50/1790.01 s UNKNOWN
1789.50/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.50/1790.01 c Solving Time : 1789.99
1789.50/1790.01 c Original Problem :
1789.50/1790.01 c Problem name : HOME/instance-2703975-1278548291.opb
1789.50/1790.01 c Variables : 428 (428 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.50/1790.01 c Constraints : 644 initial, 644 maximal
1789.50/1790.01 c Presolved Problem :
1789.50/1790.01 c Problem name : t_HOME/instance-2703975-1278548291.opb
1789.50/1790.01 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.50/1790.01 c Constraints : 632 initial, 2518 maximal
1789.50/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.50/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.01 c implics : 0.00 0 8 0 0 0 0 0 0
1789.50/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.01 c knapsack : 0.03 0 0 0 0 0 0 0 0
1789.50/1790.01 c setppc : 0.00 0 0 0 0 0 12 0 0
1789.50/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.01 c root node : - 0 - - 0 - - - -
1789.50/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.50/1790.01 c integral : 0 0 0 437731 0 728 2726 0 0 869722
1789.50/1790.01 c knapsack : 290 5 2077967 0 1 282158 7911080 631 0 0
1789.50/1790.01 c setppc : 210 5 1777569 0 1 644 2049560 0 0 0
1789.50/1790.01 c logicor : 132+ 5 1377707 0 1 4761 1096563 0 0 0
1789.50/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.50/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.50/1790.01 c integral : 77.76 0.00 0.00 77.76 0.00
1789.50/1790.01 c knapsack : 95.20 0.04 95.16 0.00 0.00
1789.50/1790.01 c setppc : 13.25 0.00 13.25 0.00 0.00
1789.50/1790.01 c logicor : 28.65 0.00 28.65 0.00 0.00
1789.50/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.50/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.50/1790.01 c vbounds : 0.91 1 0 0
1789.50/1790.01 c rootredcost : 0.87 0 0 0
1789.50/1790.01 c pseudoobj : 0.62 0 0 0
1789.50/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.50/1790.01 c propagation : 16.12 39966 35879 263823 92.6 270 107.4 -
1789.50/1790.01 c infeasible LP : 46.88 146350 0 0 0.0 0 0.0 0
1789.50/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.50/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.50/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.50/1790.01 c applied globally : - - - 36655 19.2 - - -
1789.50/1790.01 c applied locally : - - - 127 71.5 - - -
1789.50/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.50/1790.01 c cut pool : 0.01 4 - - 98 - (maximal pool size: 2400)
1789.50/1790.01 c redcost : 5.48 436910 0 0 0 0
1789.50/1790.01 c impliedbounds : 0.01 5 0 0 1300 0
1789.50/1790.01 c intobj : 0.00 0 0 0 0 0
1789.50/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.50/1790.01 c gomory : 0.75 5 0 0 324 0
1789.50/1790.01 c strongcg : 0.64 5 0 0 2192 0
1789.50/1790.01 c cmir : 0.00 0 0 0 0 0
1789.50/1790.01 c flowcover : 0.00 0 0 0 0 0
1789.50/1790.01 c clique : 0.01 1 0 0 0 0
1789.50/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.50/1790.01 c mcf : 0.00 1 0 0 0 0
1789.50/1790.01 c rapidlearning : 0.14 1 0 0 0 0
1789.50/1790.01 c Pricers : Time Calls Vars
1789.50/1790.01 c problem variables: 0.00 0 0
1789.50/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.50/1790.01 c relpscost : 77.07 437731 728 2726 0 0 869722
1789.50/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.50/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.50/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.50/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.50/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.50/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.50/1790.01 c random : 0.00 0 0 0 0 0 0
1789.50/1790.01 c Primal Heuristics : Time Calls Found
1789.50/1790.01 c LP solutions : 0.00 - 0
1789.50/1790.01 c pseudo solutions : 0.00 - 0
1789.50/1790.01 c trivial : 0.00 1 0
1789.50/1790.01 c simplerounding : 0.00 0 0
1789.50/1790.01 c zirounding : 0.00 0 0
1789.50/1790.01 c rounding : 0.00 0 0
1789.50/1790.01 c shifting : 0.00 0 0
1789.50/1790.01 c intshifting : 0.00 0 0
1789.50/1790.01 c oneopt : 0.00 0 0
1789.50/1790.01 c twoopt : 0.00 0 0
1789.50/1790.01 c fixandinfer : 0.00 0 0
1789.50/1790.01 c feaspump : 0.00 0 0
1789.50/1790.01 c coefdiving : 0.00 0 0
1789.50/1790.01 c pscostdiving : 0.00 0 0
1789.50/1790.01 c fracdiving : 0.00 0 0
1789.50/1790.01 c veclendiving : 0.00 0 0
1789.50/1790.01 c intdiving : 0.00 0 0
1789.50/1790.01 c actconsdiving : 0.00 0 0
1789.50/1790.01 c objpscostdiving : 0.00 0 0
1789.50/1790.01 c rootsoldiving : 0.00 0 0
1789.50/1790.01 c linesearchdiving : 0.00 0 0
1789.50/1790.01 c guideddiving : 0.00 0 0
1789.50/1790.01 c octane : 0.00 0 0
1789.50/1790.01 c rens : 0.00 0 0
1789.50/1790.01 c rins : 0.00 0 0
1789.50/1790.01 c localbranching : 0.00 0 0
1789.50/1790.02 c mutation : 0.00 0 0
1789.50/1790.02 c crossover : 0.00 0 0
1789.50/1790.02 c dins : 0.00 0 0
1789.50/1790.02 c undercover : 0.00 0 0
1789.50/1790.02 c nlp : 0.00 0 0
1789.50/1790.02 c trysol : 0.00 0 0
1789.50/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.50/1790.02 c primal LP : 0.00 0 0 0.00 -
1789.50/1790.02 c dual LP : 1299.84 583277 8280246 14.20 6370.22
1789.50/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.50/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.50/1790.02 c diving/probing LP: 0.00 0 0 0.00 -
1789.50/1790.02 c strong branching : 63.22 18220 314920 17.28 4981.44
1789.50/1790.02 c (at root node) : - 10 4512 451.20 -
1789.50/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.50/1790.02 c B&B Tree :
1789.50/1790.02 c number of runs : 1
1789.50/1790.02 c nodes : 867777
1789.50/1790.02 c nodes (total) : 867777
1789.50/1790.02 c nodes left : 185
1789.50/1790.02 c max depth : 64
1789.50/1790.02 c max depth (total): 64
1789.50/1790.02 c backtracks : 105008 (12.1%)
1789.50/1790.02 c delayed cutoffs : 1763
1789.50/1790.02 c repropagations : 79039 (169747 domain reductions, 1726 cutoffs)
1789.50/1790.02 c avg switch length: 2.72
1789.50/1790.02 c switching time : 65.12
1789.50/1790.02 c Solution :
1789.50/1790.02 c Solutions found : 0 (0 improvements)
1789.50/1790.02 c Primal Bound : -
1789.50/1790.02 c Dual Bound : +0.00000000000000e+00
1789.50/1790.02 c Gap : infinite
1789.50/1790.02 c Root Dual Bound : +0.00000000000000e+00
1789.50/1790.02 c Root Iterations : 1662
1789.50/1790.03 c Time complete: 1789.54.
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-2703975-1278548291/watcher-2703975-1278548291 -o /tmp/evaluation-result-2703975-1278548291/solver-2703975-1278548291 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703975-1278548291.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 0.97 0.85 3/106 29437 /proc/meminfo: memFree=1719384/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=7904 CPUtime=0 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 1067 0 0 0 0 0 0 0 18 0 1 0 23042254 8093696 978 1992294400 4194304 8395647 140735955084944 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29437/statm: 1976 986 365 1026 0 946 0 [startup+0.016612 s] /proc/loadavg: 1.00 0.97 0.85 3/106 29437 /proc/meminfo: memFree=1719384/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=10544 CPUtime=0.01 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 1940 0 0 0 1 0 0 0 20 0 1 0 23042254 10797056 1851 1992294400 4194304 8395647 140735955084944 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29437/statm: 2636 1851 390 1026 0 1606 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10544 [startup+0.101622 s] /proc/loadavg: 1.00 0.97 0.85 3/106 29437 /proc/meminfo: memFree=1719384/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=18424 CPUtime=0.09 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 4140 0 0 0 8 1 0 0 20 0 1 0 23042254 18866176 3695 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 4606 3695 571 1026 0 3576 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18424 [startup+0.301645 s] /proc/loadavg: 1.00 0.97 0.85 3/106 29437 /proc/meminfo: memFree=1719384/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=32644 CPUtime=0.29 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 7383 0 0 0 27 2 0 0 20 0 1 0 23042254 33427456 6938 1992294400 4194304 8395647 140735955084944 18446744073709551615 4737973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 8161 6938 615 1026 0 7131 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32644 [startup+0.701691 s] /proc/loadavg: 1.00 0.97 0.85 3/106 29437 /proc/meminfo: memFree=1719384/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=25284 CPUtime=0.69 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 8575 0 0 0 65 4 0 0 20 0 1 0 23042254 25890816 5478 1992294400 4194304 8395647 140735955084944 18446744073709551615 6148741 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 6321 5478 624 1026 0 5291 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25284 [startup+1.50178 s] /proc/loadavg: 1.00 0.97 0.85 2/107 29438 /proc/meminfo: memFree=1698916/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=31832 CPUtime=1.49 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 10244 0 0 0 144 5 0 0 23 0 1 0 23042254 32595968 7131 1992294400 4194304 8395647 140735955084944 18446744073709551615 6202729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 7958 7131 624 1026 0 6928 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31832 [startup+3.10097 s] /proc/loadavg: 1.00 0.97 0.85 2/107 29438 /proc/meminfo: memFree=1690856/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38296 CPUtime=3.09 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11855 0 0 0 302 7 0 0 25 0 1 0 23042254 39215104 8742 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9574 8742 624 1026 0 8544 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38296 [startup+6.30134 s] /proc/loadavg: 1.00 0.97 0.85 2/107 29438 /proc/meminfo: memFree=1686144/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38296 CPUtime=6.29 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11857 0 0 0 619 10 0 0 25 0 1 0 23042254 39215104 8744 1992294400 4194304 8395647 140735955084944 18446744073709551615 6693725 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9574 8744 626 1026 0 8544 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38296 [startup+12.7011 s] /proc/loadavg: 1.00 0.97 0.85 2/107 29438 /proc/meminfo: memFree=1686144/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38296 CPUtime=12.68 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11858 0 0 0 1247 21 0 0 25 0 1 0 23042254 39215104 8745 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9574 8745 627 1026 0 8544 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38296 [startup+25.5016 s] /proc/loadavg: 1.00 0.97 0.85 2/107 29440 /proc/meminfo: memFree=1686144/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38296 CPUtime=25.49 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11858 0 0 0 2506 43 0 0 25 0 1 0 23042254 39215104 8745 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9574 8745 627 1026 0 8544 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 38296 [startup+51.1015 s] /proc/loadavg: 1.00 0.97 0.85 2/107 29443 /proc/meminfo: memFree=1686020/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38296 CPUtime=51.07 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11858 0 0 0 5019 88 0 0 25 0 1 0 23042254 39215104 8745 1992294400 4194304 8395647 140735955084944 18446744073709551615 6652335 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9574 8745 627 1026 0 8544 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38296 [startup+102.308 s] /proc/loadavg: 1.00 0.97 0.86 2/107 29445 /proc/meminfo: memFree=1686020/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38296 CPUtime=102.26 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11858 0 0 0 10041 185 0 0 25 0 1 0 23042254 39215104 8745 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9574 8745 627 1026 0 8544 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 38296 [startup+162.301 s] /proc/loadavg: 1.00 0.97 0.86 2/107 29445 /proc/meminfo: memFree=1686020/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38296 CPUtime=162.23 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11880 0 0 0 15933 290 0 0 25 0 1 0 23042254 39215104 8767 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9574 8767 627 1026 0 8544 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 38296 [startup+222.301 s] /proc/loadavg: 1.00 0.97 0.87 2/107 29447 /proc/meminfo: memFree=1685772/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38920 CPUtime=222.22 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11958 0 0 0 21825 397 0 0 25 0 1 0 23042254 39854080 8845 1992294400 4194304 8395647 140735955084944 18446744073709551615 6693939 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9730 8845 627 1026 0 8700 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 38920 [startup+282.301 s] /proc/loadavg: 1.00 0.97 0.87 2/107 29449 /proc/meminfo: memFree=1685772/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38920 CPUtime=282.2 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11958 0 0 0 27718 502 0 0 25 0 1 0 23042254 39854080 8845 1992294400 4194304 8395647 140735955084944 18446744073709551615 6025691 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9730 8845 627 1026 0 8700 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 38920 [startup+342.301 s] /proc/loadavg: 1.00 0.97 0.88 2/107 29451 /proc/meminfo: memFree=1685648/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38920 CPUtime=342.19 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11972 0 0 0 33600 619 0 0 25 0 1 0 23042254 39854080 8859 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9730 8859 627 1026 0 8700 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 38920 [startup+402.301 s] /proc/loadavg: 1.00 0.97 0.89 2/107 29453 /proc/meminfo: memFree=1685648/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38920 CPUtime=402.17 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11975 0 0 0 39494 723 0 0 25 0 1 0 23042254 39854080 8862 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9730 8862 627 1026 0 8700 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 38920 [startup+462.301 s] /proc/loadavg: 1.00 0.97 0.89 2/107 29453 /proc/meminfo: memFree=1685648/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38920 CPUtime=462.16 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11976 0 0 0 45386 830 0 0 25 0 1 0 23042254 39854080 8863 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9730 8863 627 1026 0 8700 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 38920 [startup+522.301 s] /proc/loadavg: 1.00 0.97 0.90 2/107 29455 /proc/meminfo: memFree=1685648/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38920 CPUtime=522.14 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11983 0 0 0 51278 936 0 0 25 0 1 0 23042254 39854080 8870 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9730 8870 627 1026 0 8700 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 38920 [startup+582.301 s] /proc/loadavg: 1.00 0.97 0.90 2/107 29457 /proc/meminfo: memFree=1685648/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38920 CPUtime=582.12 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11984 0 0 0 57168 1044 0 0 25 0 1 0 23042254 39854080 8871 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9730 8871 627 1026 0 8700 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 38920 [startup+642.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29459 /proc/meminfo: memFree=1685524/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=38920 CPUtime=642.12 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 11984 0 0 0 63060 1152 0 0 25 0 1 0 23042254 39854080 8871 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9730 8871 627 1026 0 8700 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 38920 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1684532/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39196 CPUtime=1062 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12106 0 0 0 104296 1904 0 0 25 0 1 0 23042254 40136704 8993 1992294400 4194304 8395647 140735955084944 18446744073709551615 6693794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9799 8993 627 1026 0 8769 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 39196 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29471 /proc/meminfo: memFree=1684408/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39196 CPUtime=1121.98 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12106 0 0 0 110187 2011 0 0 25 0 1 0 23042254 40136704 8993 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9799 8993 627 1026 0 8769 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 39196 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29473 /proc/meminfo: memFree=1684408/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39196 CPUtime=1181.96 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12107 0 0 0 116082 2114 0 0 25 0 1 0 23042254 40136704 8994 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9799 8994 627 1026 0 8769 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 39196 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29475 /proc/meminfo: memFree=1684284/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39196 CPUtime=1241.95 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12107 0 0 0 121973 2222 0 0 25 0 1 0 23042254 40136704 8994 1992294400 4194304 8395647 140735955084944 18446744073709551615 6746219 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9799 8994 627 1026 0 8769 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 39196 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29477 /proc/meminfo: memFree=1684160/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39196 CPUtime=1301.93 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12115 0 0 0 127865 2328 0 0 25 0 1 0 23042254 40136704 9002 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9799 9002 627 1026 0 8769 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 39196 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29477 /proc/meminfo: memFree=1684160/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39196 CPUtime=1361.92 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12117 0 0 0 133748 2444 0 0 25 0 1 0 23042254 40136704 9004 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9799 9004 627 1026 0 8769 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 39196 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29479 /proc/meminfo: memFree=1684160/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39196 CPUtime=1421.91 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12117 0 0 0 139647 2544 0 0 25 0 1 0 23042254 40136704 9004 1992294400 4194304 8395647 140735955084944 18446744073709551615 6696781 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9799 9004 627 1026 0 8769 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 39196 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29481 /proc/meminfo: memFree=1684160/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39196 CPUtime=1481.88 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12118 0 0 0 145537 2651 0 0 25 0 1 0 23042254 40136704 9005 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9799 9005 627 1026 0 8769 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 39196 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29483 /proc/meminfo: memFree=1684160/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39196 CPUtime=1541.87 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12118 0 0 0 151426 2761 0 0 25 0 1 0 23042254 40136704 9005 1992294400 4194304 8395647 140735955084944 18446744073709551615 6697003 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9799 9005 627 1026 0 8769 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 39196 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29485 /proc/meminfo: memFree=1684160/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39332 CPUtime=1601.85 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12123 0 0 0 157317 2868 0 0 25 0 1 0 23042254 40275968 9010 1992294400 4194304 8395647 140735955084944 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9833 9010 627 1026 0 8803 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 39332 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29485 /proc/meminfo: memFree=1683912/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39332 CPUtime=1661.84 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12155 0 0 0 163208 2976 0 0 25 0 1 0 23042254 40275968 9042 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9833 9042 627 1026 0 8803 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 39332 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29487 /proc/meminfo: memFree=1683788/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39476 CPUtime=1721.82 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12168 0 0 0 169098 3084 0 0 25 0 1 0 23042254 40423424 9055 1992294400 4194304 8395647 140735955084944 18446744073709551615 6652366 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9869 9055 627 1026 0 8839 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 39476 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29489 /proc/meminfo: memFree=1683540/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39476 CPUtime=1781.81 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12168 0 0 0 174984 3197 0 0 25 0 1 0 23042254 40423424 9055 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9869 9055 627 1026 0 8839 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 39476 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29489 /proc/meminfo: memFree=1683540/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39476 CPUtime=1785 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12168 0 0 0 175297 3203 0 0 25 0 1 0 23042254 40423424 9055 1992294400 4194304 8395647 140735955084944 18446744073709551615 6697150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9869 9055 627 1026 0 8839 0 Current children cumulated CPU time (s) 1785 Current children cumulated vsize (KiB) 39476 [startup+1787.1 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29489 /proc/meminfo: memFree=1683540/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39476 CPUtime=1786.61 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12169 0 0 0 175455 3206 0 0 25 0 1 0 23042254 40423424 9056 1992294400 4194304 8395647 140735955084944 18446744073709551615 6697168 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9869 9056 627 1026 0 8839 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (KiB) 39476 [startup+1788.7 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29489 /proc/meminfo: memFree=1683540/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39476 CPUtime=1788.2 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12169 0 0 0 175612 3208 0 0 25 0 1 0 23042254 40423424 9056 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9869 9056 627 1026 0 8839 0 Current children cumulated CPU time (s) 1788.2 Current children cumulated vsize (KiB) 39476 [startup+1789.5 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29489 /proc/meminfo: memFree=1683540/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39476 CPUtime=1789 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12169 0 0 0 175691 3209 0 0 25 0 1 0 23042254 40423424 9056 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9869 9056 627 1026 0 8839 0 Current children cumulated CPU time (s) 1789 Current children cumulated vsize (KiB) 39476 [startup+1789.9 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29489 /proc/meminfo: memFree=1683540/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39476 CPUtime=1789.4 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12169 0 0 0 175730 3210 0 0 25 0 1 0 23042254 40423424 9056 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9869 9056 627 1026 0 8839 0 Current children cumulated CPU time (s) 1789.4 Current children cumulated vsize (KiB) 39476 [startup+1790 s] /proc/loadavg: 1.00 0.97 0.91 2/107 29489 /proc/meminfo: memFree=1683540/2059040 swapFree=4138696/4192956 [pid=29437] ppid=29435 vsize=39476 CPUtime=1789.5 /proc/29437/stat : 29437 (pbscip.linux.x8) R 29435 29437 28909 0 -1 4202496 12169 0 0 0 175740 3210 0 0 25 0 1 0 23042254 40423424 9056 1992294400 4194304 8395647 140735955084944 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29437/statm: 9869 9056 627 1026 0 8839 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (KiB) 39476 Child status: 0 Real time (s): 1790.04 CPU time (s): 1789.55 CPU user time (s): 1757.44 CPU system time (s): 32.1081 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 39476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1757.44 system time used= 32.1081 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12175 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= 1 involuntary context switches= 3200 runsolver used 2.79857 second user time and 8.61369 second system time The end
Begin job on node011 at 2010-07-08 02:18:11 IDJOB=2703975 IDBENCH=1168 IDSOLVER=1213 FILE ID=node011/2703975-1278548291 PBS_JOBID= 11239520 Free space on /tmp= 62444 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army12.21ls.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703975-1278548291/watcher-2703975-1278548291 -o /tmp/evaluation-result-2703975-1278548291/solver-2703975-1278548291 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703975-1278548291.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3d28f31cd61cfb39466f429c599fdb4f RANDOM SEED=1711608180 node011.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.212 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.42 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.212 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1719912 kB Buffers: 60860 kB Cached: 188728 kB SwapCached: 7420 kB Active: 149404 kB Inactive: 114244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1719912 kB SwapTotal: 4192956 kB SwapFree: 4138696 kB Dirty: 10460 kB Writeback: 0 kB AnonPages: 11872 kB Mapped: 11948 kB Slab: 53552 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183400 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= 62432 MiB End job on node011 at 2010-07-08 02:48:01