| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1800.44 | 1801.12 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin18.opb |
| MD5SUM | f17e31cb6762bd0e8d3e659d7bd1050c |
| 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 | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 23409 |
| Total number of constraints | 1386 |
| Number of constraints which are clauses | 612 |
| Number of constraints which are cardinality constraints (but not clauses) | 774 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 153 |
| Maximum length of a constraint | 289 |
| 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 | 291 |
| Number of bits of the biggest sum of numbers | 9 |
| 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: Clp 1.11.1] [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-2665693-1276268857.opb>
0.50/0.50 c original problem has 23409 variables (23409 bin, 0 int, 0 impl, 0 cont) and 1386 constraints
0.50/0.50 c problem read
0.50/0.50 c No objective function, only one solution is needed.
0.50/0.50 c presolving settings loaded
0.79/0.83 c presolving:
2.39/2.49 c (round 1) 0 del vars, 612 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 162 upgd conss, 0 impls, 612 clqs
3.30/3.30 c (round 2) 0 del vars, 612 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs
3.69/3.70 c presolving (3 rounds):
3.69/3.70 c 0 deleted vars, 612 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.69/3.70 c 0 implications, 612 cliques
3.69/3.70 c presolved problem has 23409 variables (23409 bin, 0 int, 0 impl, 0 cont) and 774 constraints
3.69/3.70 c 162 constraints of type <knapsack>
3.69/3.70 c 612 constraints of type <setppc>
3.69/3.70 c transformed objective value is always integral (scale: 1)
3.69/3.70 c Presolving Time: 2.97
3.69/3.70 c - non default parameters ----------------------------------------------------------------------
3.69/3.70 c # SCIP version 1.2.1.2
3.69/3.70 c
3.69/3.70 c # frequency for displaying node information lines
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 100]
3.69/3.70 c display/freq = 10000
3.69/3.70 c
3.69/3.70 c # maximal time in seconds to run
3.69/3.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.69/3.70 c limits/time = 1799.5
3.69/3.70 c
3.69/3.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.69/3.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.69/3.70 c limits/memory = 1620
3.69/3.70 c
3.69/3.70 c # solving stops, if the given number of solutions were found (-1: no limit)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: -1]
3.69/3.70 c limits/solutions = 1
3.69/3.70 c
3.69/3.70 c # maximal number of separation rounds per node (-1: unlimited)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 5]
3.69/3.70 c separating/maxrounds = 1
3.69/3.70 c
3.69/3.70 c # maximal number of separation rounds in the root node (-1: unlimited)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: -1]
3.69/3.70 c separating/maxroundsroot = 5
3.69/3.70 c
3.69/3.70 c # should presolving try to simplify inequalities
3.69/3.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.69/3.70 c constraints/linear/simplifyinequalities = TRUE
3.69/3.70 c
3.69/3.70 c # should disaggregation of knapsack constraints be allowed in preprocessing?
3.69/3.70 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
3.69/3.70 c constraints/knapsack/disaggregation = FALSE
3.69/3.70 c
3.69/3.70 c # should presolving try to simplify knapsacks
3.69/3.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.69/3.70 c constraints/knapsack/simplifyinequalities = TRUE
3.69/3.70 c
3.69/3.70 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: -1]
3.69/3.70 c presolving/probing/maxrounds = 0
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.70 c heuristics/coefdiving/freq = -1
3.69/3.70 c
3.69/3.70 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.70 c heuristics/coefdiving/maxlpiterquot = 0.075
3.69/3.70 c
3.69/3.70 c # additional number of allowed LP iterations
3.69/3.70 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.70 c heuristics/coefdiving/maxlpiterofs = 1500
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 30]
3.69/3.70 c heuristics/crossover/freq = -1
3.69/3.70 c
3.69/3.70 c # number of nodes added to the contingent of the total nodes
3.69/3.70 c # [type: longint, range: [0,9223372036854775807], default: 500]
3.69/3.70 c heuristics/crossover/nodesofs = 750
3.69/3.70 c
3.69/3.70 c # number of nodes without incumbent change that heuristic should wait
3.69/3.70 c # [type: longint, range: [0,9223372036854775807], default: 200]
3.69/3.70 c heuristics/crossover/nwaitingnodes = 100
3.69/3.70 c
3.69/3.70 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
3.69/3.70 c # [type: real, range: [0,1], default: 0.1]
3.69/3.70 c heuristics/crossover/nodesquot = 0.15
3.69/3.70 c
3.69/3.70 c # minimum percentage of integer variables that have to be fixed
3.69/3.70 c # [type: real, range: [0,1], default: 0.666]
3.69/3.70 c heuristics/crossover/minfixingrate = 0.5
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 20]
3.69/3.70 c heuristics/feaspump/freq = -1
3.69/3.70 c
3.69/3.70 c # additional number of allowed LP iterations
3.69/3.70 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.70 c heuristics/feaspump/maxlpiterofs = 2000
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.70 c heuristics/fracdiving/freq = -1
3.69/3.70 c
3.69/3.70 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.70 c heuristics/fracdiving/maxlpiterquot = 0.075
3.69/3.70 c
3.69/3.70 c # additional number of allowed LP iterations
3.69/3.70 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.70 c heuristics/fracdiving/maxlpiterofs = 1500
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.70 c heuristics/guideddiving/freq = -1
3.69/3.70 c
3.69/3.70 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.70 c heuristics/guideddiving/maxlpiterquot = 0.075
3.69/3.70 c
3.69/3.70 c # additional number of allowed LP iterations
3.69/3.70 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.70 c heuristics/guideddiving/maxlpiterofs = 1500
3.69/3.70 c
3.69/3.70 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.70 c heuristics/intdiving/maxlpiterquot = 0.075
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.70 c heuristics/intshifting/freq = -1
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.70 c heuristics/linesearchdiving/freq = -1
3.69/3.70 c
3.69/3.70 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.70 c heuristics/linesearchdiving/maxlpiterquot = 0.075
3.69/3.70 c
3.69/3.70 c # additional number of allowed LP iterations
3.69/3.70 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.70 c heuristics/linesearchdiving/maxlpiterofs = 1500
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 1]
3.69/3.70 c heuristics/nlp/freq = -1
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 20]
3.69/3.70 c heuristics/objpscostdiving/freq = -1
3.69/3.70 c
3.69/3.70 c # maximal fraction of diving LP iterations compared to total iteration number
3.69/3.70 c # [type: real, range: [0,1], default: 0.01]
3.69/3.70 c heuristics/objpscostdiving/maxlpiterquot = 0.015
3.69/3.70 c
3.69/3.70 c # additional number of allowed LP iterations
3.69/3.70 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.70 c heuristics/objpscostdiving/maxlpiterofs = 1500
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 1]
3.69/3.70 c heuristics/oneopt/freq = -1
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.70 c heuristics/pscostdiving/freq = -1
3.69/3.70 c
3.69/3.70 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.70 c heuristics/pscostdiving/maxlpiterquot = 0.075
3.69/3.70 c
3.69/3.70 c # additional number of allowed LP iterations
3.69/3.70 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.70 c heuristics/pscostdiving/maxlpiterofs = 1500
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 0]
3.69/3.70 c heuristics/rens/freq = -1
3.69/3.70 c
3.69/3.70 c # minimum percentage of integer variables that have to be fixable
3.69/3.70 c # [type: real, range: [0,1], default: 0.5]
3.69/3.70 c heuristics/rens/minfixingrate = 0.3
3.69/3.70 c
3.69/3.70 c # number of nodes added to the contingent of the total nodes
3.69/3.70 c # [type: longint, range: [0,9223372036854775807], default: 500]
3.69/3.70 c heuristics/rens/nodesofs = 2000
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 20]
3.69/3.70 c heuristics/rootsoldiving/freq = -1
3.69/3.70 c
3.69/3.70 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
3.69/3.70 c heuristics/rootsoldiving/maxlpiterquot = 0.015
3.69/3.70 c
3.69/3.70 c # additional number of allowed LP iterations
3.69/3.70 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.70 c heuristics/rootsoldiving/maxlpiterofs = 1500
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 1]
3.69/3.70 c heuristics/rounding/freq = -1
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.70 c heuristics/shifting/freq = -1
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 1]
3.69/3.70 c heuristics/simplerounding/freq = -1
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 0]
3.69/3.70 c heuristics/trivial/freq = -1
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 1]
3.69/3.70 c heuristics/trysol/freq = -1
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.70 c heuristics/veclendiving/freq = -1
3.69/3.70 c
3.69/3.70 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.70 c heuristics/veclendiving/maxlpiterquot = 0.075
3.69/3.70 c
3.69/3.70 c # additional number of allowed LP iterations
3.69/3.70 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.70 c heuristics/veclendiving/maxlpiterofs = 1500
3.69/3.70 c
3.69/3.70 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 1]
3.69/3.70 c heuristics/zirounding/freq = -1
3.69/3.70 c
3.69/3.70 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 0]
3.69/3.70 c separating/cmir/freq = -1
3.69/3.70 c
3.69/3.70 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: 0]
3.69/3.70 c separating/flowcover/freq = -1
3.69/3.70 c
3.69/3.70 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.69/3.70 c # [type: int, range: [-1,2147483647], default: -1]
3.69/3.70 c separating/rapidlearning/freq = 0
3.69/3.70 c
3.69/3.70 c -----------------------------------------------------------------------------------------------
3.69/3.70 c start solving
3.69/3.72 c
6.99/7.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.99/7.04 c 6.4s| 1 | 0 | 1389 | - | 84M| 0 | 700 | 23k| 774 | 23k| 774 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.99/8.00 c 7.3s| 1 | 0 | 1469 | - | 84M| 0 | 705 | 23k| 774 | 23k| 781 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
8.89/8.92 c 8.3s| 1 | 0 | 1559 | - | 84M| 0 | 714 | 23k| 774 | 23k| 788 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
9.69/9.79 c 9.1s| 1 | 0 | 1632 | - | 84M| 0 | 723 | 23k| 774 | 23k| 796 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
10.79/10.82 c 10.1s| 1 | 0 | 1730 | - | 84M| 0 | 730 | 23k| 774 | 23k| 804 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf
11.69/11.75 c 11.1s| 1 | 0 | 1811 | - | 84M| 0 | 740 | 23k| 774 | 23k| 814 | 40 | 0 | 0 | 0.000000e+00 | -- | Inf
79.47/79.53 c 77.9s| 1 | 2 | 1811 | - | 84M| 0 | 740 | 23k| 774 | 23k| 814 | 40 | 0 | 33 | 0.000000e+00 | -- | Inf
1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.80 c
1800.02/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.80 c Solving Time (sec) : 1767.67
1800.02/1800.80 c Solving Nodes : 1232
1800.02/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.80 c Dual Bound : +0.00000000000000e+00
1800.02/1800.80 c Gap : infinite
1800.02/1800.80 s UNKNOWN
1800.02/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.80 c Solving Time : 1767.67
1800.02/1800.80 c Original Problem :
1800.02/1800.80 c Problem name : HOME/instance-2665693-1276268857.opb
1800.02/1800.80 c Variables : 23409 (23409 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.80 c Constraints : 1386 initial, 1386 maximal
1800.02/1800.80 c Presolved Problem :
1800.02/1800.80 c Problem name : t_HOME/instance-2665693-1276268857.opb
1800.02/1800.80 c Variables : 23409 (23409 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.80 c Constraints : 774 initial, 867 maximal
1800.02/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.80 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.80 c dualfix : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.80 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.80 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.80 c knapsack : 0.60 0 0 0 0 0 0 0 0
1800.02/1800.80 c setppc : 0.35 0 0 0 0 0 0 0 0
1800.02/1800.80 c linear : 1.70 0 0 0 0 0 612 0 0
1800.02/1800.80 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.80 c root node : - 0 - - 0 - - - -
1800.02/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.80 c integral : 0 0 0 768 0 2 35 0 0 1490
1800.02/1800.80 c knapsack : 162 5 2313 0 0 0 17822 0 0 0
1800.02/1800.80 c setppc : 612 5 2313 0 0 7 69993 0 0 0
1800.02/1800.80 c logicor : 0+ 0 225 0 0 0 38 0 0 0
1800.02/1800.80 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.80 c integral : 844.98 0.00 0.00 844.98 0.00
1800.02/1800.80 c knapsack : 19.45 0.07 19.38 0.00 0.00
1800.02/1800.80 c setppc : 0.34 0.00 0.34 0.00 0.00
1800.02/1800.80 c logicor : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.80 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.80 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.80 c vbounds : 0.00 1 0 0
1800.02/1800.80 c rootredcost : 0.01 0 0 0
1800.02/1800.80 c pseudoobj : 0.00 0 0 0
1800.02/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.80 c propagation : 0.06 7 7 145 361.2 2 152.0 -
1800.02/1800.80 c infeasible LP : 100.67 478 4 295 2147.0 0 0.0 0
1800.02/1800.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.80 c applied globally : - - - 110 453.0 - - -
1800.02/1800.80 c applied locally : - - - 0 0.0 - - -
1800.02/1800.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.80 c cut pool : 0.00 4 - - 0 - (maximal pool size: 40)
1800.02/1800.80 c redcost : 2.47 757 0 0 0 0
1800.02/1800.80 c impliedbounds : 0.01 5 0 0 0 0
1800.02/1800.80 c intobj : 0.00 0 0 0 0 0
1800.02/1800.80 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.80 c gomory : 1.00 5 0 0 0 0
1800.02/1800.80 c strongcg : 0.99 5 0 0 0 0
1800.02/1800.80 c cmir : 0.00 0 0 0 0 0
1800.02/1800.80 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.80 c clique : 0.29 5 0 0 40 0
1800.02/1800.80 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.80 c mcf : 0.04 1 0 0 0 0
1800.02/1800.80 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.80 c Pricers : Time Calls Vars
1800.02/1800.80 c problem variables: 0.00 0 0
1800.02/1800.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.80 c relpscost : 844.98 768 2 35 0 0 1490
1800.02/1800.80 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.80 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.80 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.80 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.80 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.80 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.80 c random : 0.00 0 0 0 0 0 0
1800.02/1800.80 c Primal Heuristics : Time Calls Found
1800.02/1800.80 c LP solutions : 0.00 - 0
1800.02/1800.80 c pseudo solutions : 0.00 - 0
1800.02/1800.80 c trivial : 0.03 1 0
1800.02/1800.80 c simplerounding : 0.00 0 0
1800.02/1800.80 c zirounding : 0.00 0 0
1800.02/1800.80 c rounding : 0.00 0 0
1800.02/1800.80 c shifting : 0.00 0 0
1800.02/1800.80 c intshifting : 0.00 0 0
1800.02/1800.80 c oneopt : 0.00 0 0
1800.02/1800.80 c twoopt : 0.00 0 0
1800.02/1800.80 c fixandinfer : 0.00 0 0
1800.02/1800.80 c feaspump : 0.00 0 0
1800.02/1800.80 c coefdiving : 0.00 0 0
1800.02/1800.80 c pscostdiving : 0.00 0 0
1800.02/1800.80 c fracdiving : 0.00 0 0
1800.02/1800.80 c veclendiving : 0.00 0 0
1800.02/1800.80 c intdiving : 0.00 0 0
1800.02/1800.80 c actconsdiving : 0.00 0 0
1800.02/1800.80 c objpscostdiving : 0.00 0 0
1800.02/1800.80 c rootsoldiving : 0.00 0 0
1800.02/1800.80 c linesearchdiving : 0.00 0 0
1800.02/1800.80 c guideddiving : 0.00 0 0
1800.02/1800.80 c octane : 0.00 0 0
1800.02/1800.80 c rens : 0.00 0 0
1800.02/1800.80 c rins : 0.00 0 0
1800.02/1800.80 c localbranching : 0.00 0 0
1800.02/1800.80 c mutation : 0.00 0 0
1800.02/1800.80 c crossover : 0.00 0 0
1800.02/1800.80 c dins : 0.00 0 0
1800.02/1800.80 c undercover : 0.00 0 0
1800.02/1800.80 c nlp : 0.00 0 0
1800.02/1800.80 c trysol : 0.00 0 0
1800.02/1800.80 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.80 c primal LP : 0.07 0 0 0.00 0.00
1800.02/1800.80 c dual LP : 784.74 1250 1485298 1188.24 1892.73
1800.02/1800.80 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.80 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.80 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.80 c strong branching : 844.79 1022 855360 836.95 1012.51
1800.02/1800.80 c (at root node) : - 33 15952 483.39 -
1800.02/1800.80 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.80 c B&B Tree :
1800.02/1800.80 c number of runs : 1
1800.02/1800.80 c nodes : 1232
1800.02/1800.80 c nodes (total) : 1232
1800.02/1800.80 c nodes left : 259
1800.02/1800.80 c max depth : 102
1800.02/1800.80 c max depth (total): 102
1800.02/1800.80 c backtracks : 112 (9.1%)
1800.02/1800.80 c delayed cutoffs : 0
1800.02/1800.80 c repropagations : 65 (12 domain reductions, 0 cutoffs)
1800.02/1800.80 c avg switch length: 4.59
1800.02/1800.80 c switching time : 1.59
1800.02/1800.80 c Solution :
1800.02/1800.80 c Solutions found : 0 (0 improvements)
1800.02/1800.80 c Primal Bound : -
1800.02/1800.80 c Dual Bound : +0.00000000000000e+00
1800.02/1800.80 c Gap : infinite
1800.02/1800.80 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.80 c Root Iterations : 1811
1800.40/1801.12 c Time complete: 1800.43.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665693-1276268857/watcher-2665693-1276268857 -o /tmp/evaluation-result-2665693-1276268857/solver-2665693-1276268857 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665693-1276268857.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.62 1.41 1.12 3/106 3756 /proc/meminfo: memFree=1582224/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=9288 CPUtime=0 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 1107 0 0 0 0 0 0 0 18 0 1 0 2487251 9510912 1029 1992294400 4194304 9819077 140733638867984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3756/statm: 2322 1039 371 1374 0 943 0 [startup+0.0853049 s] /proc/loadavg: 1.62 1.41 1.12 3/106 3756 /proc/meminfo: memFree=1582224/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=22536 CPUtime=0.08 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 4375 0 0 0 7 1 0 0 18 0 1 0 2487251 23076864 4296 1992294400 4194304 9819077 140733638867984 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3756/statm: 5634 4311 386 1374 0 4255 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 22536 [startup+0.101305 s] /proc/loadavg: 1.62 1.41 1.12 3/106 3756 /proc/meminfo: memFree=1582224/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=23692 CPUtime=0.09 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 4871 0 0 0 8 1 0 0 18 0 1 0 2487251 24260608 4792 1992294400 4194304 9819077 140733638867984 18446744073709551615 8631731 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3756/statm: 5923 4792 386 1374 0 4544 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23692 [startup+0.301315 s] /proc/loadavg: 1.62 1.41 1.12 3/106 3756 /proc/meminfo: memFree=1582224/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=29880 CPUtime=0.29 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 6381 0 0 0 28 1 0 0 18 0 1 0 2487251 30597120 6302 1992294400 4194304 9819077 140733638867984 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3756/statm: 7470 6302 386 1374 0 6091 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29880 [startup+0.701335 s] /proc/loadavg: 1.62 1.41 1.12 3/106 3756 /proc/meminfo: memFree=1582224/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=75776 CPUtime=0.69 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 18278 0 0 0 64 5 0 0 18 0 1 0 2487251 77594624 17845 1992294400 4194304 9819077 140733638867984 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 18944 17845 437 1374 0 17565 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 75776 [startup+1.50137 s] /proc/loadavg: 1.62 1.41 1.12 2/107 3757 /proc/meminfo: memFree=1507568/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=80728 CPUtime=1.49 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 19531 0 0 0 143 6 0 0 19 0 1 0 2487251 82665472 18841 1992294400 4194304 9819077 140733638867984 18446744073709551615 4639654 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 20182 18841 483 1374 0 18803 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 80728 [startup+3.10046 s] /proc/loadavg: 1.57 1.40 1.12 2/107 3757 /proc/meminfo: memFree=1507816/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=101916 CPUtime=3.09 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 25018 0 0 0 302 7 0 0 23 0 1 0 2487251 104361984 23938 1992294400 4194304 9819077 140733638867984 18446744073709551615 4442946 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 25479 23938 566 1374 0 24100 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 101916 [startup+6.30161 s] /proc/loadavg: 1.57 1.40 1.12 2/107 3757 /proc/meminfo: memFree=1461944/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=129440 CPUtime=6.3 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 36212 0 0 0 617 13 0 0 25 0 1 0 2487251 132546560 30702 1992294400 4194304 9819077 140733638867984 18446744073709551615 6697183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 32360 30702 627 1374 0 30981 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 129440 [startup+12.7019 s] /proc/loadavg: 1.49 1.39 1.12 2/107 3759 /proc/meminfo: memFree=1459092/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=134496 CPUtime=12.69 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 54623 0 0 0 1248 21 0 0 25 0 1 0 2487251 137723904 31373 1992294400 4194304 9819077 140733638867984 18446744073709551615 7287815 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 33624 31373 669 1374 0 32245 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 134496 [startup+25.5016 s] /proc/loadavg: 1.41 1.37 1.12 2/107 3759 /proc/meminfo: memFree=1458720/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=135288 CPUtime=25.49 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 91702 0 0 0 2509 40 0 0 25 0 1 0 2487251 138534912 31560 1992294400 4194304 9819077 140733638867984 18446744073709551615 6350491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 33822 31560 669 1374 0 32443 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 135288 [startup+51.1008 s] /proc/loadavg: 1.27 1.34 1.11 2/107 3759 /proc/meminfo: memFree=1458224/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=135288 CPUtime=51.07 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 163199 0 0 0 5033 74 0 0 25 0 1 0 2487251 138534912 31482 1992294400 4194304 9819077 140733638867984 18446744073709551615 7290480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 33822 31482 669 1374 0 32443 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 135288 [startup+102.309 s] /proc/loadavg: 1.11 1.28 1.10 2/107 3768 /proc/meminfo: memFree=1457232/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=136024 CPUtime=102.27 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 315332 0 0 0 10082 145 0 0 25 0 1 0 2487251 139288576 31738 1992294400 4194304 9819077 140733638867984 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 34006 31738 679 1374 0 32627 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 136024 [startup+162.301 s] /proc/loadavg: 1.04 1.23 1.09 2/107 3770 /proc/meminfo: memFree=1457728/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=136064 CPUtime=162.25 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 487460 0 0 0 16007 218 0 0 25 0 1 0 2487251 139329536 31800 1992294400 4194304 9819077 140733638867984 18446744073709551615 7289502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 34016 31800 679 1374 0 32637 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 136064 [startup+222.301 s] /proc/loadavg: 1.01 1.18 1.08 2/107 3770 /proc/meminfo: memFree=1457976/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=135272 CPUtime=222.24 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 647802 0 0 0 21938 286 0 0 25 0 1 0 2487251 138518528 31564 1992294400 4194304 9819077 140733638867984 18446744073709551615 7284064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 33818 31564 679 1374 0 32439 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 135272 [startup+282.3 s] /proc/loadavg: 1.00 1.15 1.08 2/107 3772 /proc/meminfo: memFree=1457108/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=137316 CPUtime=282.22 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 775508 0 0 0 27875 347 0 0 25 0 1 0 2487251 140611584 31927 1992294400 4194304 9819077 140733638867984 18446744073709551615 6350687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 34329 31927 692 1374 0 32950 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 137316 [startup+342.301 s] /proc/loadavg: 1.04 1.13 1.08 2/107 3774 /proc/meminfo: memFree=1456240/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=137316 CPUtime=342.2 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 918637 0 0 0 33808 412 0 0 25 0 1 0 2487251 140611584 32039 1992294400 4194304 9819077 140733638867984 18446744073709551615 6350556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 34329 32039 692 1374 0 32950 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 137316 [startup+402.302 s] /proc/loadavg: 1.01 1.11 1.07 2/107 3779 /proc/meminfo: memFree=1455620/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=137236 CPUtime=402.19 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 1063619 0 0 0 39738 481 0 0 25 0 1 0 2487251 140529664 32006 1992294400 4194304 9819077 140733638867984 18446744073709551615 7289168 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 34309 32006 693 1374 0 32930 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 137236 [startup+462.301 s] /proc/loadavg: 1.00 1.08 1.07 2/107 3781 /proc/meminfo: memFree=1456240/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=136444 CPUtime=462.18 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 1208977 0 0 0 45668 550 0 0 25 0 1 0 2487251 139718656 31841 1992294400 4194304 9819077 140733638867984 18446744073709551615 7287822 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 34111 31841 693 1374 0 32732 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 136444 [startup+522.301 s] /proc/loadavg: 1.00 1.07 1.06 2/107 3781 /proc/meminfo: memFree=1455620/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=137260 CPUtime=522.16 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 1351325 0 0 0 51597 619 0 0 25 0 1 0 2487251 140554240 31836 1992294400 4194304 9819077 140733638867984 18446744073709551615 6698459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 34315 31836 693 1374 0 32936 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 137260 [startup+582.301 s] /proc/loadavg: 1.00 1.05 1.05 2/107 3783 /proc/meminfo: memFree=1448304/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=147384 CPUtime=582.13 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 1581263 0 0 0 57499 714 0 0 25 0 1 0 2487251 150921216 33760 1992294400 4194304 9819077 140733638867984 18446744073709551615 6697312 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 36846 33760 698 1374 0 35467 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 147384 [startup+642.302 s] /proc/loadavg: 1.04 1.05 1.05 2/107 3792 /proc/meminfo: memFree=1445824/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=146060 CPUtime=642.08 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 1801669 0 0 0 63394 814 0 0 25 0 1 0 2487251 149565440 34582 1992294400 4194304 9819077 140733638867984 18446744073709551615 7290480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 36515 34582 699 1374 0 35136 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 146060 [startup+702.302 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.03 1.04 2/107 3807 /proc/meminfo: memFree=1441484/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=150404 CPUtime=941.94 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 3143248 0 0 0 92780 1414 0 0 25 0 1 0 2487251 154013696 35401 1992294400 4194304 9819077 140733638867984 18446744073709551615 6372184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 37601 35401 700 1374 0 36222 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 150404 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.03 2/107 3809 /proc/meminfo: memFree=1441484/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=151224 CPUtime=1001.91 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 3424547 0 0 0 98650 1541 0 0 25 0 1 0 2487251 154853376 35479 1992294400 4194304 9819077 140733638867984 18446744073709551615 6350792 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 37806 35479 700 1374 0 36427 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 151224 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.02 2/107 3811 /proc/meminfo: memFree=1440368/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=155136 CPUtime=1061.89 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 3692049 0 0 0 104533 1656 0 0 25 0 1 0 2487251 158859264 35761 1992294400 4194304 9819077 140733638867984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 38784 35761 700 1374 0 37405 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 155136 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.02 2/107 3811 /proc/meminfo: memFree=1440244/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=154324 CPUtime=1121.86 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 3963405 0 0 0 110410 1776 0 0 25 0 1 0 2487251 158027776 35677 1992294400 4194304 9819077 140733638867984 18446744073709551615 7286958 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 38581 35677 700 1374 0 37202 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 154324 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 3813 /proc/meminfo: memFree=1441236/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=151272 CPUtime=1181.84 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 4236958 0 0 0 116287 1897 0 0 25 0 1 0 2487251 154902528 35462 1992294400 4194304 9819077 140733638867984 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 37818 35462 700 1374 0 36439 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 151272 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 3815 /proc/meminfo: memFree=1441236/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=151336 CPUtime=1241.82 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 4523229 0 0 0 122155 2027 0 0 25 0 1 0 2487251 154968064 35484 1992294400 4194304 9819077 140733638867984 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 37834 35484 700 1374 0 36455 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 151336 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3817 /proc/meminfo: memFree=1440988/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=151392 CPUtime=1301.81 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 4804215 0 0 0 128034 2147 0 0 25 0 1 0 2487251 155025408 35534 1992294400 4194304 9819077 140733638867984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 37848 35534 700 1374 0 36469 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 151392 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3819 /proc/meminfo: memFree=1440244/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=155364 CPUtime=1361.78 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 5064058 0 0 0 133915 2263 0 0 25 0 1 0 2487251 159092736 35761 1992294400 4194304 9819077 140733638867984 18446744073709551615 7480831 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 38841 35761 700 1374 0 37462 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 155364 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3819 /proc/meminfo: memFree=1440864/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=151404 CPUtime=1421.77 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 5340579 0 0 0 139788 2389 0 0 25 0 1 0 2487251 155037696 35499 1992294400 4194304 9819077 140733638867984 18446744073709551615 5907479 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 37851 35499 700 1374 0 36472 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 151404 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3821 /proc/meminfo: memFree=1440864/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=151452 CPUtime=1481.73 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 5633515 0 0 0 145650 2523 0 0 25 0 1 0 2487251 155086848 35564 1992294400 4194304 9819077 140733638867984 18446744073709551615 7296209 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 37863 35564 700 1374 0 36484 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 151452 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3823 /proc/meminfo: memFree=1441112/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=151484 CPUtime=1541.71 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 5936748 0 0 0 151516 2655 0 0 25 0 1 0 2487251 155119616 35544 1992294400 4194304 9819077 140733638867984 18446744073709551615 6350457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 37871 35544 700 1374 0 36492 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 151484 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3825 /proc/meminfo: memFree=1439500/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=152748 CPUtime=1601.69 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 6219642 0 0 0 157386 2783 0 0 25 0 1 0 2487251 156413952 35863 1992294400 4194304 9819077 140733638867984 18446744073709551615 7289994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 38187 35863 700 1374 0 36808 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 152748 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3827 /proc/meminfo: memFree=1439500/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=152780 CPUtime=1661.66 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 6482027 0 0 0 163261 2905 0 0 25 0 1 0 2487251 156446720 35918 1992294400 4194304 9819077 140733638867984 18446744073709551615 7290465 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 38195 35918 700 1374 0 36816 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 152780 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3827 /proc/meminfo: memFree=1439500/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=152908 CPUtime=1721.64 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 6773412 0 0 0 169130 3034 0 0 25 0 1 0 2487251 156577792 35890 1992294400 4194304 9819077 140733638867984 18446744073709551615 5907500 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 38227 35890 700 1374 0 36848 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 152908 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3829 /proc/meminfo: memFree=1438012/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=153804 CPUtime=1781.61 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 7056088 0 0 0 175002 3159 0 0 25 0 1 0 2487251 157495296 35926 1992294400 4194304 9819077 140733638867984 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 38451 35926 700 1374 0 37072 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 153804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3829 /proc/meminfo: memFree=1438508/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=153960 CPUtime=1800.02 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 7145506 0 0 0 176806 3196 0 0 25 0 1 0 2487251 157655040 36087 1992294400 4194304 9819077 140733638867984 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3756/statm: 38490 36087 700 1374 0 37111 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 153960 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3829 /proc/meminfo: memFree=1438508/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=142436 CPUtime=1800.3 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 7145510 0 0 0 176834 3196 0 0 18 0 1 0 2487251 145854464 33334 1992294400 4194304 9819077 140733638867984 18446744073709551615 4668209 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3756/statm: 35609 33334 704 1374 0 34230 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (KiB) 142436 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3829 /proc/meminfo: memFree=1438508/2059040 swapFree=4192956/4192956 [pid=3756] ppid=3754 vsize=55960 CPUtime=1800.4 /proc/3756/stat : 3756 (pbscip.linux.x8) R 3754 3756 3382 0 -1 4202496 7145514 0 0 0 176843 3197 0 0 18 0 1 0 2487251 57303040 12877 1992294400 4194304 9819077 140733638867984 18446744073709551615 4657093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3756/statm: 13990 12877 708 1374 0 12611 0 Current children cumulated CPU time (s) 1800.4 Current children cumulated vsize (KiB) 55960 Child status: 0 Real time (s): 1801.12 CPU time (s): 1800.44 CPU user time (s): 1768.46 CPU system time (s): 31.9821 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 156968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1768.46 system time used= 31.9821 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7145523 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= 2 involuntary context switches= 5403 runsolver used 3.10353 second user time and 8.38373 second system time The end
Begin job on node012 at 2010-06-11 17:07:37 IDJOB=2665693 IDBENCH=1155 IDSOLVER=1168 FILE ID=node012/2665693-1276268857 PBS_JOBID= 11172199 Free space on /tmp= 62408 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin18.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665693-1276268857/watcher-2665693-1276268857 -o /tmp/evaluation-result-2665693-1276268857/solver-2665693-1276268857 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665693-1276268857.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f17e31cb6762bd0e8d3e659d7bd1050c RANDOM SEED=172164134 node012.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.258 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.51 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.258 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1582876 kB Buffers: 43084 kB Cached: 307240 kB SwapCached: 0 kB Active: 156276 kB Inactive: 253300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1582876 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 8844 kB Writeback: 0 kB AnonPages: 59196 kB Mapped: 15388 kB Slab: 44900 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179616 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= 62400 MiB End job on node012 at 2010-06-11 17:37:40