| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1801.32 | 1801.79 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin16.opb |
| MD5SUM | d761333f7ff9a755d3cd90e52b11f227 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 14400 |
| Total number of constraints | 1088 |
| Number of constraints which are clauses | 480 |
| Number of constraints which are cardinality constraints (but not clauses) | 608 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 120 |
| Maximum length of a constraint | 225 |
| 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 | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 227 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666893-1276268856.opb>
0.19/0.29 c original problem has 14400 variables (14400 bin, 0 int, 0 impl, 0 cont) and 1088 constraints
0.19/0.29 c problem read
0.19/0.29 c No objective function, only one solution is needed.
0.19/0.29 c presolving settings loaded
0.39/0.49 c presolving:
1.19/1.21 c (round 1) 0 del vars, 480 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 128 upgd conss, 0 impls, 480 clqs
1.59/1.69 c (round 2) 0 del vars, 480 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
1.79/1.87 c presolving (3 rounds):
1.79/1.87 c 0 deleted vars, 480 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.79/1.87 c 0 implications, 480 cliques
1.79/1.87 c presolved problem has 14400 variables (14400 bin, 0 int, 0 impl, 0 cont) and 608 constraints
1.79/1.87 c 128 constraints of type <knapsack>
1.79/1.87 c 480 constraints of type <setppc>
1.79/1.87 c transformed objective value is always integral (scale: 1)
1.79/1.87 c Presolving Time: 1.44
1.79/1.87 c - non default parameters ----------------------------------------------------------------------
1.79/1.87 c # SCIP version 1.2.1.2
1.79/1.87 c
1.79/1.87 c # frequency for displaying node information lines
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.87 c display/freq = 10000
1.79/1.87 c
1.79/1.87 c # maximal time in seconds to run
1.79/1.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.87 c limits/time = 1799.72
1.79/1.87 c
1.79/1.87 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.87 c limits/memory = 1620
1.79/1.87 c
1.79/1.87 c # solving stops, if the given number of solutions were found (-1: no limit)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.87 c limits/solutions = 1
1.79/1.87 c
1.79/1.87 c # maximal number of separation rounds per node (-1: unlimited)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 5]
1.79/1.87 c separating/maxrounds = 1
1.79/1.87 c
1.79/1.87 c # maximal number of separation rounds in the root node (-1: unlimited)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.87 c separating/maxroundsroot = 5
1.79/1.87 c
1.79/1.87 c # should presolving try to simplify inequalities
1.79/1.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.87 c constraints/linear/simplifyinequalities = TRUE
1.79/1.87 c
1.79/1.87 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.79/1.87 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.79/1.87 c constraints/knapsack/disaggregation = FALSE
1.79/1.87 c
1.79/1.87 c # should presolving try to simplify knapsacks
1.79/1.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.87 c constraints/knapsack/simplifyinequalities = TRUE
1.79/1.87 c
1.79/1.87 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.87 c presolving/probing/maxrounds = 0
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.87 c heuristics/coefdiving/freq = -1
1.79/1.87 c
1.79/1.87 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.87 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.87 c heuristics/coefdiving/maxlpiterquot = 0.075
1.79/1.87 c
1.79/1.87 c # additional number of allowed LP iterations
1.79/1.87 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.87 c heuristics/coefdiving/maxlpiterofs = 1500
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 30]
1.79/1.87 c heuristics/crossover/freq = -1
1.79/1.87 c
1.79/1.87 c # number of nodes added to the contingent of the total nodes
1.79/1.87 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.79/1.87 c heuristics/crossover/nodesofs = 750
1.79/1.87 c
1.79/1.87 c # number of nodes without incumbent change that heuristic should wait
1.79/1.87 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.79/1.87 c heuristics/crossover/nwaitingnodes = 100
1.79/1.87 c
1.79/1.87 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.79/1.87 c # [type: real, range: [0,1], default: 0.1]
1.79/1.87 c heuristics/crossover/nodesquot = 0.15
1.79/1.87 c
1.79/1.87 c # minimum percentage of integer variables that have to be fixed
1.79/1.87 c # [type: real, range: [0,1], default: 0.666]
1.79/1.87 c heuristics/crossover/minfixingrate = 0.5
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.87 c heuristics/feaspump/freq = -1
1.79/1.87 c
1.79/1.87 c # additional number of allowed LP iterations
1.79/1.87 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.87 c heuristics/feaspump/maxlpiterofs = 2000
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.87 c heuristics/fracdiving/freq = -1
1.79/1.87 c
1.79/1.87 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.87 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.87 c heuristics/fracdiving/maxlpiterquot = 0.075
1.79/1.87 c
1.79/1.87 c # additional number of allowed LP iterations
1.79/1.87 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.87 c heuristics/fracdiving/maxlpiterofs = 1500
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.87 c heuristics/guideddiving/freq = -1
1.79/1.87 c
1.79/1.87 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.87 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.87 c heuristics/guideddiving/maxlpiterquot = 0.075
1.79/1.87 c
1.79/1.87 c # additional number of allowed LP iterations
1.79/1.87 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.87 c heuristics/guideddiving/maxlpiterofs = 1500
1.79/1.87 c
1.79/1.87 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.87 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.87 c heuristics/intdiving/maxlpiterquot = 0.075
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.87 c heuristics/intshifting/freq = -1
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.87 c heuristics/linesearchdiving/freq = -1
1.79/1.87 c
1.79/1.87 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.87 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.87 c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.79/1.87 c
1.79/1.87 c # additional number of allowed LP iterations
1.79/1.87 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.87 c heuristics/linesearchdiving/maxlpiterofs = 1500
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.87 c heuristics/nlp/freq = -1
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.87 c heuristics/objpscostdiving/freq = -1
1.79/1.87 c
1.79/1.87 c # maximal fraction of diving LP iterations compared to total iteration number
1.79/1.87 c # [type: real, range: [0,1], default: 0.01]
1.79/1.87 c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.79/1.87 c
1.79/1.87 c # additional number of allowed LP iterations
1.79/1.87 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.87 c heuristics/objpscostdiving/maxlpiterofs = 1500
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.87 c heuristics/oneopt/freq = -1
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.87 c heuristics/pscostdiving/freq = -1
1.79/1.87 c
1.79/1.87 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.87 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.87 c heuristics/pscostdiving/maxlpiterquot = 0.075
1.79/1.87 c
1.79/1.87 c # additional number of allowed LP iterations
1.79/1.87 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.87 c heuristics/pscostdiving/maxlpiterofs = 1500
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.87 c heuristics/rens/freq = -1
1.79/1.87 c
1.79/1.87 c # minimum percentage of integer variables that have to be fixable
1.79/1.87 c # [type: real, range: [0,1], default: 0.5]
1.79/1.87 c heuristics/rens/minfixingrate = 0.3
1.79/1.87 c
1.79/1.87 c # number of nodes added to the contingent of the total nodes
1.79/1.87 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.79/1.87 c heuristics/rens/nodesofs = 2000
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.87 c heuristics/rootsoldiving/freq = -1
1.79/1.87 c
1.79/1.87 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.87 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.79/1.87 c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.79/1.87 c
1.79/1.87 c # additional number of allowed LP iterations
1.79/1.87 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.87 c heuristics/rootsoldiving/maxlpiterofs = 1500
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.87 c heuristics/rounding/freq = -1
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.87 c heuristics/shifting/freq = -1
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.87 c heuristics/simplerounding/freq = -1
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.87 c heuristics/trivial/freq = -1
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.87 c heuristics/trysol/freq = -1
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.87 c heuristics/veclendiving/freq = -1
1.79/1.87 c
1.79/1.87 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.87 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.87 c heuristics/veclendiving/maxlpiterquot = 0.075
1.79/1.87 c
1.79/1.87 c # additional number of allowed LP iterations
1.79/1.87 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.87 c heuristics/veclendiving/maxlpiterofs = 1500
1.79/1.87 c
1.79/1.87 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.87 c heuristics/zirounding/freq = -1
1.79/1.87 c
1.79/1.87 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.87 c separating/cmir/freq = -1
1.79/1.87 c
1.79/1.87 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.87 c separating/flowcover/freq = -1
1.79/1.87 c
1.79/1.87 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.79/1.87 c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.87 c separating/rapidlearning/freq = 0
1.79/1.87 c
1.79/1.87 c -----------------------------------------------------------------------------------------------
1.79/1.87 c start solving
1.79/1.88 c
18.69/18.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.69/18.72 c 18.3s| 1 | 0 | 8913 | - | 52M| 0 | 517 | 14k| 608 | 14k| 608 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
20.39/20.44 c 20.0s| 1 | 0 | 9454 | - | 52M| 0 | 544 | 14k| 608 | 14k| 614 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
21.69/21.72 c 21.3s| 1 | 0 | 9832 | - | 52M| 0 | 553 | 14k| 608 | 14k| 623 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
22.39/22.45 c 22.0s| 1 | 0 | 10018 | - | 52M| 0 | 569 | 14k| 608 | 14k| 632 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
22.89/22.99 c 22.5s| 1 | 0 | 10108 | - | 52M| 0 | 576 | 14k| 608 | 14k| 640 | 32 | 0 | 0 | 0.000000e+00 | -- | Inf
23.59/23.62 c 23.1s| 1 | 0 | 10196 | - | 52M| 0 | 586 | 14k| 608 | 14k| 648 | 40 | 0 | 0 | 0.000000e+00 | -- | Inf
80.26/80.36 c 79.4s| 1 | 2 | 10196 | - | 52M| 0 | 586 | 14k| 608 | 14k| 648 | 40 | 0 | 33 | 0.000000e+00 | -- | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1801.02/1801.58 c
1801.02/1801.58 c SCIP Status : solving was interrupted [user interrupt]
1801.02/1801.58 c Solving Time (sec) : 1790.22
1801.02/1801.58 c Solving Nodes : 1753
1801.02/1801.58 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.02/1801.58 c Dual Bound : +0.00000000000000e+00
1801.02/1801.58 c Gap : infinite
1801.02/1801.58 s UNKNOWN
1801.02/1801.58 c SCIP Status : solving was interrupted [user interrupt]
1801.02/1801.58 c Solving Time : 1790.22
1801.02/1801.58 c Original Problem :
1801.02/1801.58 c Problem name : HOME/instance-2666893-1276268856.opb
1801.02/1801.58 c Variables : 14400 (14400 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.02/1801.58 c Constraints : 1088 initial, 1088 maximal
1801.02/1801.58 c Presolved Problem :
1801.02/1801.58 c Problem name : t_HOME/instance-2666893-1276268856.opb
1801.02/1801.58 c Variables : 14400 (14400 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.02/1801.58 c Constraints : 608 initial, 964 maximal
1801.02/1801.58 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.02/1801.58 c trivial : 0.02 0 0 0 0 0 0 0 0
1801.02/1801.58 c dualfix : 0.00 0 0 0 0 0 0 0 0
1801.02/1801.58 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.02/1801.58 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.02/1801.58 c implics : 0.00 0 0 0 0 0 0 0 0
1801.02/1801.58 c probing : 0.00 0 0 0 0 0 0 0 0
1801.02/1801.58 c knapsack : 0.35 0 0 0 0 0 0 0 0
1801.02/1801.58 c setppc : 0.15 0 0 0 0 0 0 0 0
1801.02/1801.58 c linear : 0.74 0 0 0 0 0 480 0 0
1801.02/1801.58 c logicor : 0.00 0 0 0 0 0 0 0 0
1801.02/1801.58 c root node : - 0 - - 0 - - - -
1801.02/1801.58 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.02/1801.58 c integral : 0 0 0 1032 0 12 57 0 0 2000
1801.02/1801.58 c knapsack : 128 5 4370 0 0 8 36938 0 0 0
1801.02/1801.58 c setppc : 480 5 4362 0 0 37 97202 0 0 0
1801.02/1801.58 c logicor : 0+ 0 1554 0 0 10 497 0 0 0
1801.02/1801.58 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.02/1801.58 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.02/1801.58 c integral : 831.66 0.00 0.00 831.66 0.00
1801.02/1801.58 c knapsack : 17.10 0.05 17.05 0.00 0.00
1801.02/1801.58 c setppc : 1.82 0.00 1.82 0.00 0.00
1801.02/1801.58 c logicor : 0.58 0.00 0.58 0.00 0.00
1801.02/1801.58 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.02/1801.58 c Propagators : Time Calls Cutoffs DomReds
1801.02/1801.58 c vbounds : 0.01 1 0 0
1801.02/1801.58 c rootredcost : 0.00 0 0 0
1801.02/1801.58 c pseudoobj : 0.00 0 0 0
1801.02/1801.58 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.02/1801.58 c propagation : 2.26 55 55 2643 651.1 37 163.4 -
1801.02/1801.58 c infeasible LP : 62.74 687 24 1459 1930.7 12 193.8 0
1801.02/1801.58 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.02/1801.58 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.02/1801.58 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.02/1801.58 c applied globally : - - - 563 378.9 - - -
1801.02/1801.58 c applied locally : - - - 0 0.0 - - -
1801.02/1801.58 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.02/1801.58 c cut pool : 0.00 4 - - 0 - (maximal pool size: 40)
1801.02/1801.58 c redcost : 1.93 1021 0 0 0 0
1801.02/1801.58 c impliedbounds : 0.00 5 0 0 0 0
1801.02/1801.58 c intobj : 0.00 0 0 0 0 0
1801.02/1801.58 c cgmip : 0.00 0 0 0 0 0
1801.02/1801.58 c gomory : 0.33 5 0 0 0 0
1801.02/1801.58 c strongcg : 0.32 5 0 0 0 0
1801.02/1801.58 c cmir : 0.00 0 0 0 0 0
1801.02/1801.59 c flowcover : 0.00 0 0 0 0 0
1801.02/1801.59 c clique : 0.19 5 0 0 40 0
1801.02/1801.59 c zerohalf : 0.00 0 0 0 0 0
1801.02/1801.59 c mcf : 0.02 1 0 0 0 0
1801.02/1801.59 c rapidlearning : 0.00 0 0 0 0 0
1801.02/1801.59 c Pricers : Time Calls Vars
1801.02/1801.59 c problem variables: 0.00 0 0
1801.02/1801.59 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.02/1801.59 c relpscost : 831.65 1032 12 57 0 0 2000
1801.02/1801.59 c pscost : 0.00 0 0 0 0 0 0
1801.02/1801.59 c inference : 0.00 0 0 0 0 0 0
1801.02/1801.59 c mostinf : 0.00 0 0 0 0 0 0
1801.02/1801.59 c leastinf : 0.00 0 0 0 0 0 0
1801.02/1801.59 c fullstrong : 0.00 0 0 0 0 0 0
1801.02/1801.59 c allfullstrong : 0.00 0 0 0 0 0 0
1801.02/1801.59 c random : 0.00 0 0 0 0 0 0
1801.02/1801.59 c Primal Heuristics : Time Calls Found
1801.02/1801.59 c LP solutions : 0.00 - 0
1801.02/1801.59 c pseudo solutions : 0.00 - 0
1801.02/1801.59 c trivial : 0.02 1 0
1801.02/1801.59 c simplerounding : 0.00 0 0
1801.02/1801.59 c zirounding : 0.00 0 0
1801.02/1801.59 c rounding : 0.00 0 0
1801.02/1801.59 c shifting : 0.00 0 0
1801.02/1801.59 c intshifting : 0.00 0 0
1801.02/1801.59 c oneopt : 0.00 0 0
1801.02/1801.59 c twoopt : 0.00 0 0
1801.02/1801.59 c fixandinfer : 0.00 0 0
1801.02/1801.59 c feaspump : 0.00 0 0
1801.02/1801.59 c coefdiving : 0.00 0 0
1801.02/1801.59 c pscostdiving : 0.00 0 0
1801.02/1801.59 c fracdiving : 0.00 0 0
1801.02/1801.59 c veclendiving : 0.00 0 0
1801.02/1801.59 c intdiving : 0.00 0 0
1801.02/1801.59 c actconsdiving : 0.00 0 0
1801.02/1801.59 c objpscostdiving : 0.00 0 0
1801.02/1801.59 c rootsoldiving : 0.00 0 0
1801.02/1801.59 c linesearchdiving : 0.00 0 0
1801.02/1801.59 c guideddiving : 0.00 0 0
1801.02/1801.59 c octane : 0.00 0 0
1801.02/1801.59 c rens : 0.00 0 0
1801.02/1801.59 c rins : 0.00 0 0
1801.02/1801.59 c localbranching : 0.00 0 0
1801.02/1801.59 c mutation : 0.00 0 0
1801.02/1801.59 c crossover : 0.00 0 0
1801.02/1801.59 c dins : 0.00 0 0
1801.02/1801.59 c undercover : 0.00 0 0
1801.02/1801.59 c nlp : 0.00 0 0
1801.02/1801.59 c trysol : 0.00 0 0
1801.02/1801.59 c LP : Time Calls Iterations Iter/call Iter/sec
1801.02/1801.59 c primal LP : 0.07 0 0 0.00 0.00
1801.02/1801.59 c dual LP : 862.97 1723 557220 323.40 645.70
1801.02/1801.59 c lex dual LP : 0.00 0 0 0.00 -
1801.02/1801.59 c barrier LP : 0.00 0 0 0.00 -
1801.02/1801.59 c diving/probing LP: 0.00 0 0 0.00 -
1801.02/1801.59 c strong branching : 831.39 662 396522 598.98 476.94
1801.02/1801.59 c (at root node) : - 33 15327 464.45 -
1801.02/1801.59 c conflict analysis: 0.00 0 0 0.00 -
1801.02/1801.59 c B&B Tree :
1801.02/1801.59 c number of runs : 1
1801.02/1801.59 c nodes : 1753
1801.02/1801.59 c nodes (total) : 1753
1801.02/1801.59 c nodes left : 247
1801.02/1801.59 c max depth : 87
1801.02/1801.59 c max depth (total): 87
1801.02/1801.59 c backtracks : 241 (13.7%)
1801.02/1801.59 c delayed cutoffs : 1
1801.02/1801.59 c repropagations : 343 (595 domain reductions, 1 cutoffs)
1801.02/1801.59 c avg switch length: 3.75
1801.02/1801.59 c switching time : 1.67
1801.02/1801.59 c Solution :
1801.02/1801.59 c Solutions found : 0 (0 improvements)
1801.02/1801.59 c Primal Bound : -
1801.02/1801.59 c Dual Bound : +0.00000000000000e+00
1801.02/1801.59 c Gap : infinite
1801.02/1801.59 c Root Dual Bound : +0.00000000000000e+00
1801.02/1801.59 c Root Iterations : 10196
1801.23/1801.78 c Time complete: 1801.31.
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-2666893-1276268856/watcher-2666893-1276268856 -o /tmp/evaluation-result-2666893-1276268856/solver-2666893-1276268856 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666893-1276268856.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.88 1.03 1.02 3/106 4366 /proc/meminfo: memFree=1584960/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=7724 CPUtime=0 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 1024 0 0 0 0 0 0 0 17 0 1 0 2472021 7909376 945 1992294400 4194304 8223781 140735015759136 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4366/statm: 1931 955 348 984 0 944 0 [startup+0.069696 s] /proc/loadavg: 0.88 1.03 1.02 3/106 4366 /proc/meminfo: memFree=1584960/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=18752 CPUtime=0.06 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 3979 0 0 0 5 1 0 0 20 0 1 0 2472021 19202048 3899 1992294400 4194304 8223781 140735015759136 18446744073709551615 7234191 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4366/statm: 4688 3899 363 984 0 3701 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 18752 [startup+0.100695 s] /proc/loadavg: 0.88 1.03 1.02 3/106 4366 /proc/meminfo: memFree=1584960/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=20260 CPUtime=0.09 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 4376 0 0 0 8 1 0 0 20 0 1 0 2472021 20746240 4296 1992294400 4194304 8223781 140735015759136 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4366/statm: 5065 4296 363 984 0 4078 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20260 [startup+0.300689 s] /proc/loadavg: 0.88 1.03 1.02 3/106 4366 /proc/meminfo: memFree=1584960/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=26512 CPUtime=0.29 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 6042 0 0 0 27 2 0 0 20 0 1 0 2472021 27148288 5598 1992294400 4194304 8223781 140735015759136 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 6628 5609 378 984 0 5641 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26512 [startup+0.700676 s] /proc/loadavg: 0.88 1.03 1.02 3/106 4366 /proc/meminfo: memFree=1584960/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=54428 CPUtime=0.69 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 13254 0 0 0 65 4 0 0 21 0 1 0 2472021 55734272 12553 1992294400 4194304 8223781 140735015759136 18446744073709551615 4639665 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 13607 12553 437 984 0 12620 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54428 [startup+1.50065 s] /proc/loadavg: 0.88 1.03 1.02 2/107 4367 /proc/meminfo: memFree=1535724/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=66084 CPUtime=1.49 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 16392 0 0 0 144 5 0 0 23 0 1 0 2472021 67670016 15398 1992294400 4194304 8223781 140735015759136 18446744073709551615 4891289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 16521 15398 498 984 0 15534 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 66084 [startup+3.1016 s] /proc/loadavg: 0.88 1.03 1.02 2/107 4367 /proc/meminfo: memFree=1508568/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=85012 CPUtime=3.09 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 23279 0 0 0 301 8 0 0 25 0 1 0 2472021 87052288 19859 1992294400 4194304 8223781 140735015759136 18446744073709551615 6567544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 21253 19859 554 984 0 20266 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 85012 [startup+6.3015 s] /proc/loadavg: 0.89 1.03 1.02 2/107 4367 /proc/meminfo: memFree=1506344/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=86044 CPUtime=6.3 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 24956 0 0 0 620 10 0 0 25 0 1 0 2472021 88109056 20060 1992294400 4194304 8223781 140735015759136 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 21511 20060 554 984 0 20524 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 86044 [startup+12.7013 s] /proc/loadavg: 0.89 1.03 1.02 2/107 4367 /proc/meminfo: memFree=1505980/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=86348 CPUtime=12.69 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 27348 0 0 0 1257 12 0 0 25 0 1 0 2472021 88420352 20137 1992294400 4194304 8223781 140735015759136 18446744073709551615 6532938 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 21587 20137 554 984 0 20600 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 86348 [startup+25.5009 s] /proc/loadavg: 0.92 1.03 1.02 3/107 4369 /proc/meminfo: memFree=1505236/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=86896 CPUtime=25.49 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 36930 0 0 0 2528 21 0 0 25 0 1 0 2472021 88981504 20240 1992294400 4194304 8223781 140735015759136 18446744073709551615 6590219 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 21724 20240 584 984 0 20737 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 86896 [startup+51.1011 s] /proc/loadavg: 0.94 1.03 1.02 2/107 4369 /proc/meminfo: memFree=1505856/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=88100 CPUtime=51.08 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 67570 0 0 0 5066 42 0 0 25 0 1 0 2472021 90214400 20460 1992294400 4194304 8223781 140735015759136 18446744073709551615 6560179 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 22025 20460 584 984 0 21038 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 88100 [startup+102.308 s] /proc/loadavg: 0.97 1.02 1.01 2/107 4378 /proc/meminfo: memFree=1504492/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=88680 CPUtime=102.26 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 128879 0 0 0 10141 85 0 0 25 0 1 0 2472021 90808320 20589 1992294400 4194304 8223781 140735015759136 18446744073709551615 6520867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 22170 20589 586 984 0 21183 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 88680 [startup+162.301 s] /proc/loadavg: 0.99 1.02 1.01 2/107 4378 /proc/meminfo: memFree=1504988/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=89220 CPUtime=162.25 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 197253 0 0 0 16088 137 0 0 25 0 1 0 2472021 91361280 20657 1992294400 4194304 8223781 140735015759136 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 22305 20657 587 984 0 21318 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 89220 [startup+222.301 s] /proc/loadavg: 0.99 1.01 1.00 2/107 4380 /proc/meminfo: memFree=1504988/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=87168 CPUtime=222.23 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 260371 0 0 0 22040 183 0 0 25 0 1 0 2472021 89260032 20314 1992294400 4194304 8223781 140735015759136 18446744073709551615 6590196 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 21792 20314 587 984 0 20805 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 87168 [startup+282.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 4382 /proc/meminfo: memFree=1504120/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=88168 CPUtime=282.22 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 321452 0 0 0 27991 231 0 0 25 0 1 0 2472021 90284032 20437 1992294400 4194304 8223781 140735015759136 18446744073709551615 6559576 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 22042 20437 587 984 0 21055 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 88168 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 4384 /proc/meminfo: memFree=1504120/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=87508 CPUtime=342.2 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 377558 0 0 0 33943 277 0 0 25 0 1 0 2472021 89608192 20317 1992294400 4194304 8223781 140735015759136 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 21877 20317 587 984 0 20890 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 87508 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 4386 /proc/meminfo: memFree=1504616/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=89432 CPUtime=402.19 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 434759 0 0 0 39899 320 0 0 25 0 1 0 2472021 91578368 20838 1992294400 4194304 8223781 140735015759136 18446744073709551615 6589964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 22358 20838 587 984 0 21371 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 89432 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 4386 /proc/meminfo: memFree=1501640/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=91340 CPUtime=462.18 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 489295 0 0 0 45857 361 0 0 25 0 1 0 2472021 93532160 21238 1992294400 4194304 8223781 140735015759136 18446744073709551615 6567169 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 22835 21238 587 984 0 21848 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 91340 [startup+522.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 4388 /proc/meminfo: memFree=1501764/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=91208 CPUtime=522.16 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 532102 0 0 0 51817 399 0 0 25 0 1 0 2472021 93396992 21236 1992294400 4194304 8223781 140735015759136 18446744073709551615 6358990 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 22802 21236 587 984 0 21815 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 91208 [startup+582.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 4393 /proc/meminfo: memFree=1498044/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=94008 CPUtime=582.15 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 569284 0 0 0 57781 434 0 0 25 0 1 0 2472021 96264192 21894 1992294400 4194304 8223781 140735015759136 18446744073709551615 6587931 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 23502 21894 587 984 0 22515 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 94008 [startup+642.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 4402 /proc/meminfo: memFree=1497672/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=93912 CPUtime=642.14 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 603842 0 0 0 63746 468 0 0 25 0 1 0 2472021 96165888 21999 1992294400 4194304 8223781 140735015759136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 23478 21999 578 984 0 22491 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 93912 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4419 /proc/meminfo: memFree=1488124/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=104052 CPUtime=1062.02 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 757419 0 0 0 105519 683 0 0 25 0 1 0 2472021 106549248 24424 1992294400 4194304 8223781 140735015759136 18446744073709551615 6591317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 26013 24440 576 984 0 25026 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 104052 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4421 /proc/meminfo: memFree=1485644/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=106412 CPUtime=1122.01 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 779580 0 0 0 111485 716 0 0 25 0 1 0 2472021 108965888 25058 1992294400 4194304 8223781 140735015759136 18446744073709551615 6532684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 26603 25058 573 984 0 25616 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 106412 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4423 /proc/meminfo: memFree=1485396/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=107548 CPUtime=1181.99 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 799974 0 0 0 117454 745 0 0 25 0 1 0 2472021 110129152 25329 1992294400 4194304 8223781 140735015759136 18446744073709551615 6520860 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 26887 25329 573 984 0 25900 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 107548 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4425 /proc/meminfo: memFree=1481676/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=110416 CPUtime=1241.97 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 820149 0 0 0 123418 779 0 0 25 0 1 0 2472021 113065984 26015 1992294400 4194304 8223781 140735015759136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 27604 26015 573 984 0 26617 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 110416 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4427 /proc/meminfo: memFree=1479568/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=112456 CPUtime=1301.96 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 836792 0 0 0 129388 808 0 0 25 0 1 0 2472021 115154944 26506 1992294400 4194304 8223781 140735015759136 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 28114 26506 573 984 0 27127 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 112456 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4427 /proc/meminfo: memFree=1476716/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=115580 CPUtime=1361.94 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 859059 0 0 0 135354 840 0 0 25 0 1 0 2472021 118353920 27242 1992294400 4194304 8223781 140735015759136 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 28895 27242 573 984 0 27908 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 115580 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4429 /proc/meminfo: memFree=1473368/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=118900 CPUtime=1421.93 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 876579 0 0 0 141323 870 0 0 25 0 1 0 2472021 121753600 28098 1992294400 4194304 8223781 140735015759136 18446744073709551615 6567552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 29725 28098 573 984 0 28738 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 118900 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4431 /proc/meminfo: memFree=1471632/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=120204 CPUtime=1481.91 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 894121 0 0 0 147290 901 0 0 25 0 1 0 2472021 123088896 28406 1992294400 4194304 8223781 140735015759136 18446744073709551615 6570035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 30051 28406 573 984 0 29064 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 120204 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4433 /proc/meminfo: memFree=1471012/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=121084 CPUtime=1541.89 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 910653 0 0 0 153257 932 0 0 25 0 1 0 2472021 123990016 28648 1992294400 4194304 8223781 140735015759136 18446744073709551615 6562639 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 30271 28648 573 984 0 29284 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 121084 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4435 /proc/meminfo: memFree=1469648/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=121880 CPUtime=1601.88 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 928186 0 0 0 159229 959 0 0 25 0 1 0 2472021 124805120 28845 1992294400 4194304 8223781 140735015759136 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 30470 28845 573 984 0 29483 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 121880 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4435 /proc/meminfo: memFree=1468656/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=123356 CPUtime=1661.86 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 947923 0 0 0 165195 991 0 0 25 0 1 0 2472021 126316544 29184 1992294400 4194304 8223781 140735015759136 18446744073709551615 5907505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 30839 29184 573 984 0 29852 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 123356 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4437 /proc/meminfo: memFree=1468532/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=123620 CPUtime=1721.85 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 964585 0 0 0 171164 1021 0 0 25 0 1 0 2472021 126586880 29199 1992294400 4194304 8223781 140735015759136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 30905 29199 573 984 0 29918 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 123620 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4439 /proc/meminfo: memFree=1466796/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=125236 CPUtime=1781.83 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 985949 0 0 0 177130 1053 0 0 25 0 1 0 2472021 128241664 29661 1992294400 4194304 8223781 140735015759136 18446744073709551615 6559800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 31309 29661 573 984 0 30322 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 125236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4439 /proc/meminfo: memFree=1466052/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=125796 CPUtime=1800.03 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 991573 0 0 0 178942 1061 0 0 25 0 1 0 2472021 128815104 29796 1992294400 4194304 8223781 140735015759136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 31449 29796 573 984 0 30462 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 125796 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 4440 /proc/meminfo: memFree=1466044/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=125448 CPUtime=1800.13 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 991621 0 0 0 178952 1061 0 0 25 0 1 0 2472021 128458752 29716 1992294400 4194304 8223781 140735015759136 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 31362 29716 573 984 0 30375 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 125448 [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4440 /proc/meminfo: memFree=1466044/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=125584 CPUtime=1800.92 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 991941 0 0 0 179030 1062 0 0 25 0 1 0 2472021 128598016 29753 1992294400 4194304 8223781 140735015759136 18446744073709551615 6539307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4366/statm: 31396 29753 573 984 0 30409 0 Current children cumulated CPU time (s) 1800.92 Current children cumulated vsize (KiB) 125584 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4440 /proc/meminfo: memFree=1466044/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=125832 CPUtime=1801.12 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 992048 0 0 0 179050 1062 0 0 25 0 1 0 2472021 128851968 29782 1992294400 4194304 8223781 140735015759136 18446744073709551615 4677406 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4366/statm: 31458 29782 574 984 0 30471 0 Current children cumulated CPU time (s) 1801.12 Current children cumulated vsize (KiB) 125832 [startup+1801.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4440 /proc/meminfo: memFree=1468772/2059040 swapFree=4192956/4192956 [pid=4366] ppid=4364 vsize=122572 CPUtime=1801.23 /proc/4366/stat : 4366 (pbscip.linux.x8) R 4364 4366 3443 0 -1 4202496 992050 0 0 0 179061 1062 0 0 25 0 1 0 2472021 125513728 29004 1992294400 4194304 8223781 140735015759136 18446744073709551615 6207082 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4366/statm: 30643 29004 576 984 0 29656 0 Current children cumulated CPU time (s) 1801.23 Current children cumulated vsize (KiB) 122572 Child status: 0 Real time (s): 1801.79 CPU time (s): 1801.32 CPU user time (s): 1790.68 CPU system time (s): 10.6424 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 126232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.68 system time used= 10.6424 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 992061 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 21427 runsolver used 2.99154 second user time and 8.50171 second system time The end
Begin job on node017 at 2010-06-11 17:07:36 IDJOB=2666893 IDBENCH=1153 IDSOLVER=1169 FILE ID=node017/2666893-1276268856 PBS_JOBID= 11172195 Free space on /tmp= 62348 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.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-2666893-1276268856/watcher-2666893-1276268856 -o /tmp/evaluation-result-2666893-1276268856/solver-2666893-1276268856 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666893-1276268856.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d761333f7ff9a755d3cd90e52b11f227 RANDOM SEED=1015218060 node017.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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1585488 kB Buffers: 43060 kB Cached: 303124 kB SwapCached: 0 kB Active: 160280 kB Inactive: 246516 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1585488 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6120 kB Writeback: 0 kB AnonPages: 60644 kB Mapped: 15392 kB Slab: 45048 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180576 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= 62344 MiB End job on node017 at 2010-06-11 17:37:39