| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801 | 1801.4 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_3_80.opb |
| MD5SUM | d27101fec2f8e3dc322d79bbc996c69e |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| 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 | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1000 |
| Total number of constraints | 1502 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| 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 | 80 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 74920 |
| Sum of products size (including duplicates) | 149840 |
| Number of different products | 37460 |
| Sum of products size | 74920 |
0.00/0.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2663425-1276676919.opb>
0.39/0.43 c original problem has 38460 variables (38460 bin, 0 int, 0 impl, 0 cont) and 38962 constraints
0.39/0.43 c problem read
0.39/0.44 c No objective function, only one solution is needed.
0.39/0.44 c presolving settings loaded
0.39/0.45 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.89/0.92 c presolving:
2.29/2.34 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 298608 impls, 1000 clqs
3.28/3.33 c presolving (2 rounds):
3.28/3.33 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.28/3.33 c 298608 implications, 1000 cliques
3.28/3.33 c presolved problem has 38460 variables (38460 bin, 0 int, 0 impl, 0 cont) and 38962 constraints
3.28/3.33 c 1 constraints of type <knapsack>
3.28/3.33 c 1000 constraints of type <setppc>
3.28/3.33 c 37460 constraints of type <and>
3.28/3.33 c 1 constraints of type <linear>
3.28/3.33 c 500 constraints of type <logicor>
3.28/3.33 c transformed objective value is always integral (scale: 1)
3.28/3.33 c Presolving Time: 2.39
3.28/3.33 c - non default parameters ----------------------------------------------------------------------
3.28/3.33 c # SCIP version 1.2.1.2
3.28/3.33 c
3.28/3.33 c # frequency for displaying node information lines
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 100]
3.28/3.33 c display/freq = 10000
3.28/3.33 c
3.28/3.33 c # maximal time in seconds to run
3.28/3.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.28/3.33 c limits/time = 1799.57
3.28/3.33 c
3.28/3.33 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.28/3.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.28/3.33 c limits/memory = 1620
3.28/3.33 c
3.28/3.33 c # solving stops, if the given number of solutions were found (-1: no limit)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: -1]
3.28/3.33 c limits/solutions = 1
3.28/3.33 c
3.28/3.33 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 1]
3.28/3.33 c lp/solvefreq = -1
3.28/3.33 c
3.28/3.33 c # maximal number of separation rounds per node (-1: unlimited)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 5]
3.28/3.33 c separating/maxrounds = 1
3.28/3.33 c
3.28/3.33 c # maximal number of separation rounds in the root node (-1: unlimited)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: -1]
3.28/3.33 c separating/maxroundsroot = 5
3.28/3.33 c
3.28/3.33 c # should presolving try to simplify inequalities
3.28/3.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.28/3.33 c constraints/linear/simplifyinequalities = TRUE
3.28/3.33 c
3.28/3.33 c # should disaggregation of knapsack constraints be allowed in preprocessing?
3.28/3.33 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
3.28/3.33 c constraints/knapsack/disaggregation = FALSE
3.28/3.33 c
3.28/3.33 c # should presolving try to simplify knapsacks
3.28/3.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.28/3.33 c constraints/knapsack/simplifyinequalities = TRUE
3.28/3.33 c
3.28/3.33 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: -1]
3.28/3.33 c presolving/probing/maxrounds = 0
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 10]
3.28/3.33 c heuristics/coefdiving/freq = -1
3.28/3.33 c
3.28/3.33 c # maximal fraction of diving LP iterations compared to node LP iterations
3.28/3.33 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.28/3.33 c heuristics/coefdiving/maxlpiterquot = 0.075
3.28/3.33 c
3.28/3.33 c # additional number of allowed LP iterations
3.28/3.33 c # [type: int, range: [0,2147483647], default: 1000]
3.28/3.33 c heuristics/coefdiving/maxlpiterofs = 1500
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 30]
3.28/3.33 c heuristics/crossover/freq = -1
3.28/3.33 c
3.28/3.33 c # number of nodes added to the contingent of the total nodes
3.28/3.33 c # [type: longint, range: [0,9223372036854775807], default: 500]
3.28/3.33 c heuristics/crossover/nodesofs = 750
3.28/3.33 c
3.28/3.33 c # number of nodes without incumbent change that heuristic should wait
3.28/3.33 c # [type: longint, range: [0,9223372036854775807], default: 200]
3.28/3.33 c heuristics/crossover/nwaitingnodes = 100
3.28/3.33 c
3.28/3.33 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
3.28/3.33 c # [type: real, range: [0,1], default: 0.1]
3.28/3.33 c heuristics/crossover/nodesquot = 0.15
3.28/3.33 c
3.28/3.33 c # minimum percentage of integer variables that have to be fixed
3.28/3.33 c # [type: real, range: [0,1], default: 0.666]
3.28/3.33 c heuristics/crossover/minfixingrate = 0.5
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 20]
3.28/3.33 c heuristics/feaspump/freq = -1
3.28/3.33 c
3.28/3.33 c # additional number of allowed LP iterations
3.28/3.33 c # [type: int, range: [0,2147483647], default: 1000]
3.28/3.33 c heuristics/feaspump/maxlpiterofs = 2000
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 10]
3.28/3.33 c heuristics/fracdiving/freq = -1
3.28/3.33 c
3.28/3.33 c # maximal fraction of diving LP iterations compared to node LP iterations
3.28/3.33 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.28/3.33 c heuristics/fracdiving/maxlpiterquot = 0.075
3.28/3.33 c
3.28/3.33 c # additional number of allowed LP iterations
3.28/3.33 c # [type: int, range: [0,2147483647], default: 1000]
3.28/3.33 c heuristics/fracdiving/maxlpiterofs = 1500
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 10]
3.28/3.33 c heuristics/guideddiving/freq = -1
3.28/3.33 c
3.28/3.33 c # maximal fraction of diving LP iterations compared to node LP iterations
3.28/3.33 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.28/3.33 c heuristics/guideddiving/maxlpiterquot = 0.075
3.28/3.33 c
3.28/3.33 c # additional number of allowed LP iterations
3.28/3.33 c # [type: int, range: [0,2147483647], default: 1000]
3.28/3.33 c heuristics/guideddiving/maxlpiterofs = 1500
3.28/3.33 c
3.28/3.33 c # maximal fraction of diving LP iterations compared to node LP iterations
3.28/3.33 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.28/3.33 c heuristics/intdiving/maxlpiterquot = 0.075
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 10]
3.28/3.33 c heuristics/intshifting/freq = -1
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 10]
3.28/3.33 c heuristics/linesearchdiving/freq = -1
3.28/3.33 c
3.28/3.33 c # maximal fraction of diving LP iterations compared to node LP iterations
3.28/3.33 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.28/3.33 c heuristics/linesearchdiving/maxlpiterquot = 0.075
3.28/3.33 c
3.28/3.33 c # additional number of allowed LP iterations
3.28/3.33 c # [type: int, range: [0,2147483647], default: 1000]
3.28/3.33 c heuristics/linesearchdiving/maxlpiterofs = 1500
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 1]
3.28/3.33 c heuristics/nlp/freq = -1
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 20]
3.28/3.33 c heuristics/objpscostdiving/freq = -1
3.28/3.33 c
3.28/3.33 c # maximal fraction of diving LP iterations compared to total iteration number
3.28/3.33 c # [type: real, range: [0,1], default: 0.01]
3.28/3.33 c heuristics/objpscostdiving/maxlpiterquot = 0.015
3.28/3.33 c
3.28/3.33 c # additional number of allowed LP iterations
3.28/3.33 c # [type: int, range: [0,2147483647], default: 1000]
3.28/3.33 c heuristics/objpscostdiving/maxlpiterofs = 1500
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 1]
3.28/3.33 c heuristics/oneopt/freq = -1
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 10]
3.28/3.33 c heuristics/pscostdiving/freq = -1
3.28/3.33 c
3.28/3.33 c # maximal fraction of diving LP iterations compared to node LP iterations
3.28/3.33 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.28/3.33 c heuristics/pscostdiving/maxlpiterquot = 0.075
3.28/3.33 c
3.28/3.33 c # additional number of allowed LP iterations
3.28/3.33 c # [type: int, range: [0,2147483647], default: 1000]
3.28/3.33 c heuristics/pscostdiving/maxlpiterofs = 1500
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 0]
3.28/3.33 c heuristics/rens/freq = -1
3.28/3.33 c
3.28/3.33 c # minimum percentage of integer variables that have to be fixable
3.28/3.33 c # [type: real, range: [0,1], default: 0.5]
3.28/3.33 c heuristics/rens/minfixingrate = 0.3
3.28/3.33 c
3.28/3.33 c # number of nodes added to the contingent of the total nodes
3.28/3.33 c # [type: longint, range: [0,9223372036854775807], default: 500]
3.28/3.33 c heuristics/rens/nodesofs = 2000
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 20]
3.28/3.33 c heuristics/rootsoldiving/freq = -1
3.28/3.33 c
3.28/3.33 c # maximal fraction of diving LP iterations compared to node LP iterations
3.28/3.33 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
3.28/3.33 c heuristics/rootsoldiving/maxlpiterquot = 0.015
3.28/3.33 c
3.28/3.33 c # additional number of allowed LP iterations
3.28/3.33 c # [type: int, range: [0,2147483647], default: 1000]
3.28/3.33 c heuristics/rootsoldiving/maxlpiterofs = 1500
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 1]
3.28/3.33 c heuristics/rounding/freq = -1
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 10]
3.28/3.33 c heuristics/shifting/freq = -1
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 1]
3.28/3.33 c heuristics/simplerounding/freq = -1
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 0]
3.28/3.33 c heuristics/trivial/freq = -1
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 1]
3.28/3.33 c heuristics/trysol/freq = -1
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 10]
3.28/3.33 c heuristics/veclendiving/freq = -1
3.28/3.33 c
3.28/3.33 c # maximal fraction of diving LP iterations compared to node LP iterations
3.28/3.33 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.28/3.33 c heuristics/veclendiving/maxlpiterquot = 0.075
3.28/3.33 c
3.28/3.33 c # additional number of allowed LP iterations
3.28/3.33 c # [type: int, range: [0,2147483647], default: 1000]
3.28/3.33 c heuristics/veclendiving/maxlpiterofs = 1500
3.28/3.33 c
3.28/3.33 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 1]
3.28/3.33 c heuristics/zirounding/freq = -1
3.28/3.33 c
3.28/3.33 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 0]
3.28/3.33 c separating/cmir/freq = -1
3.28/3.33 c
3.28/3.33 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: 0]
3.28/3.33 c separating/flowcover/freq = -1
3.28/3.33 c
3.28/3.33 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.28/3.33 c # [type: int, range: [-1,2147483647], default: -1]
3.28/3.33 c separating/rapidlearning/freq = 0
3.28/3.33 c
3.28/3.33 c -----------------------------------------------------------------------------------------------
3.28/3.33 c start solving
3.28/3.37 c
3.38/3.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.38/3.41 c 2.7s| 1 | 2 | 0 | - | 100M| 0 | - | 38k| 38k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
277.52/277.69 c 276s| 10000 | 9658 | 0 | 0.0 | 146M| 882 | - | 38k| 39k| 0 | 0 | 0 | 281 | 0 | 0.000000e+00 | -- | Inf
563.65/563.83 c 562s| 20000 | 19589 | 0 | 0.0 | 180M| 882 | - | 38k| 39k| 0 | 0 | 0 | 336 | 0 | 0.000000e+00 | -- | Inf
866.40/866.60 c 864s| 30000 | 29510 | 0 | 0.0 | 215M| 882 | - | 38k| 39k| 0 | 0 | 0 | 393 | 0 | 0.000000e+00 | -- | Inf
1143.43/1143.72 c 1141s| 40000 | 39440 | 0 | 0.0 | 248M| 882 | - | 38k| 39k| 0 | 0 | 0 | 445 | 0 | 0.000000e+00 | -- | Inf
1402.38/1402.77 c 1400s| 50000 | 49370 | 0 | 0.0 | 280M| 882 | - | 38k| 39k| 0 | 0 | 0 | 503 | 0 | 0.000000e+00 | -- | Inf
1656.81/1657.26 c 1654s| 60000 | 59299 | 0 | 0.0 | 311M| 882 | - | 38k| 39k| 0 | 0 | 0 | 561 | 0 | 0.000000e+00 | -- | Inf
1800.10/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.51 c
1800.10/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.51 c Solving Time (sec) : 1796.58
1800.10/1800.51 c Solving Nodes : 65162
1800.10/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.10/1800.51 c Dual Bound : +0.00000000000000e+00
1800.10/1800.51 c Gap : infinite
1800.10/1800.51 s UNKNOWN
1800.10/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.51 c Solving Time : 1796.58
1800.10/1800.51 c Original Problem :
1800.10/1800.51 c Problem name : HOME/instance-2663425-1276676919.opb
1800.10/1800.51 c Variables : 38460 (38460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.51 c Constraints : 38962 initial, 38962 maximal
1800.10/1800.51 c Presolved Problem :
1800.10/1800.51 c Problem name : t_HOME/instance-2663425-1276676919.opb
1800.10/1800.51 c Variables : 38460 (38460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.51 c Constraints : 38962 initial, 39375 maximal
1800.10/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.51 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.51 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.51 c implics : 0.02 0 0 0 0 0 0 0 0
1800.10/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.51 c knapsack : 0.05 0 0 0 0 0 0 0 0
1800.10/1800.51 c setppc : 0.06 0 0 0 0 0 0 0 0
1800.10/1800.51 c and : 1.61 0 0 0 0 0 0 0 0
1800.10/1800.51 c linear : 0.29 0 0 0 0 0 0 0 0
1800.10/1800.51 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.51 c root node : - 0 - - 0 - - - -
1800.10/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.51 c knapsack : 1 0 97805 0 46973 60 21139 0 0 0
1800.10/1800.51 c setppc : 1000 0 139951 0 64847 231 62472 0 0 0
1800.10/1800.51 c and : 37460 0 139720 0 64847 0 3513370 0 0 0
1800.10/1800.51 c linear : 1 0 139648 0 64847 142 6082 0 0 0
1800.10/1800.51 c logicor : 500+ 0 859 0 64847 2 17172 0 0 0
1800.10/1800.51 c countsols : 0 0 0 0 64847 0 0 0 0 0
1800.10/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.51 c knapsack : 7.82 0.00 2.89 0.00 4.93
1800.10/1800.51 c setppc : 390.71 0.00 9.87 0.00 380.84
1800.10/1800.51 c and : 718.32 0.00 268.52 0.00 449.80
1800.10/1800.51 c linear : 20.99 0.00 20.80 0.00 0.19
1800.10/1800.51 c logicor : 14.62 0.00 0.22 0.00 14.40
1800.10/1800.51 c countsols : 0.05 0.00 0.00 0.00 0.05
1800.10/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.51 c vbounds : 0.17 1 0 0
1800.10/1800.51 c rootredcost : 0.13 0 0 0
1800.10/1800.51 c pseudoobj : 0.03 0 0 0
1800.10/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.51 c propagation : 2.04 435 433 829 613.7 0 0.0 -
1800.10/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.51 c applied globally : - - - 596 537.2 - - -
1800.10/1800.51 c applied locally : - - - 0 0.0 - - -
1800.10/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.10/1800.51 c redcost : 0.00 0 0 0 0 0
1800.10/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.10/1800.51 c intobj : 0.00 0 0 0 0 0
1800.10/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.51 c gomory : 0.00 0 0 0 0 0
1800.10/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.10/1800.51 c cmir : 0.00 0 0 0 0 0
1800.10/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.10/1800.51 c clique : 0.00 0 0 0 0 0
1800.10/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.51 c mcf : 0.00 0 0 0 0 0
1800.10/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.51 c Pricers : Time Calls Vars
1800.10/1800.51 c problem variables: 0.00 0 0
1800.10/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.10/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.51 c inference : 623.45 64847 0 0 0 0 129694
1800.10/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.51 c random : 0.00 0 0 0 0 0 0
1800.10/1800.51 c Primal Heuristics : Time Calls Found
1800.10/1800.51 c LP solutions : 0.00 - 0
1800.10/1800.51 c pseudo solutions : 0.00 - 0
1800.10/1800.51 c trivial : 0.08 1 0
1800.10/1800.51 c simplerounding : 0.00 0 0
1800.10/1800.51 c zirounding : 0.00 0 0
1800.10/1800.51 c rounding : 0.00 0 0
1800.10/1800.51 c shifting : 0.00 0 0
1800.10/1800.51 c intshifting : 0.00 0 0
1800.10/1800.51 c oneopt : 0.00 0 0
1800.10/1800.51 c twoopt : 0.00 0 0
1800.10/1800.51 c fixandinfer : 0.00 0 0
1800.10/1800.51 c feaspump : 0.00 0 0
1800.10/1800.51 c coefdiving : 0.00 0 0
1800.10/1800.51 c pscostdiving : 0.00 0 0
1800.10/1800.51 c fracdiving : 0.00 0 0
1800.10/1800.51 c veclendiving : 0.00 0 0
1800.10/1800.51 c intdiving : 0.00 0 0
1800.10/1800.51 c actconsdiving : 0.00 0 0
1800.10/1800.51 c objpscostdiving : 0.00 0 0
1800.10/1800.51 c rootsoldiving : 0.00 0 0
1800.10/1800.51 c linesearchdiving : 0.00 0 0
1800.10/1800.51 c guideddiving : 0.00 0 0
1800.10/1800.51 c octane : 0.00 0 0
1800.10/1800.51 c rens : 0.00 0 0
1800.10/1800.51 c rins : 0.00 0 0
1800.10/1800.51 c localbranching : 0.00 0 0
1800.10/1800.51 c mutation : 0.00 0 0
1800.10/1800.51 c crossover : 0.00 0 0
1800.10/1800.51 c dins : 0.00 0 0
1800.10/1800.51 c undercover : 0.00 0 0
1800.10/1800.51 c nlp : 0.00 0 0
1800.10/1800.51 c trysol : 0.00 0 0
1800.10/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.10/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.10/1800.51 c (at root node) : - 0 0 0.00 -
1800.10/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.51 c B&B Tree :
1800.10/1800.51 c number of runs : 1
1800.10/1800.51 c nodes : 65162
1800.10/1800.51 c nodes (total) : 65162
1800.10/1800.51 c nodes left : 64413
1800.10/1800.51 c max depth : 882
1800.10/1800.51 c max depth (total): 882
1800.10/1800.51 c backtracks : 127 (0.2%)
1800.10/1800.51 c delayed cutoffs : 120
1800.10/1800.51 c repropagations : 9135 (36467 domain reductions, 120 cutoffs)
1800.10/1800.51 c avg switch length: 2.43
1800.10/1800.51 c switching time : 11.49
1800.10/1800.51 c Solution :
1800.10/1800.51 c Solutions found : 0 (0 improvements)
1800.10/1800.51 c Primal Bound : -
1800.10/1800.51 c Dual Bound : +0.00000000000000e+00
1800.10/1800.51 c Gap : infinite
1800.10/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.10/1800.51 c Root Iterations : 0
1800.99/1801.40 c Time complete: 1800.99.
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-2663425-1276676919/watcher-2663425-1276676919 -o /tmp/evaluation-result-2663425-1276676919/solver-2663425-1276676919 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663425-1276676919.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15333 /proc/meminfo: memFree=1776740/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=6880 CPUtime=0 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 977 0 0 0 0 0 0 0 19 0 1 0 8987272 7045120 899 1992294400 4194304 7136930 140737174748704 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15333/statm: 1720 908 254 719 0 999 0 [startup+0.105309 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15333 /proc/meminfo: memFree=1776740/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=23036 CPUtime=0.1 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 5176 0 0 0 8 2 0 0 20 0 1 0 8987272 23588864 5098 1992294400 4194304 7136930 140737174748704 18446744073709551615 5651156 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15333/statm: 5759 5098 269 719 0 5038 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 23036 [startup+0.201314 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15333 /proc/meminfo: memFree=1776740/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=33512 CPUtime=0.18 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 7828 0 0 0 16 2 0 0 20 0 1 0 8987272 34316288 7734 1992294400 4194304 7136930 140737174748704 18446744073709551615 6304143 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15333/statm: 8378 7734 269 719 0 7657 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 33512 [startup+0.301321 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15333 /proc/meminfo: memFree=1776740/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=42720 CPUtime=0.29 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 10138 0 0 0 25 4 0 0 20 0 1 0 8987272 43745280 10044 1992294400 4194304 7136930 140737174748704 18446744073709551615 4207131 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15333/statm: 10680 10044 269 719 0 9959 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 42720 [startup+0.701345 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15333 /proc/meminfo: memFree=1776740/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=104056 CPUtime=0.68 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 25889 0 0 0 59 9 0 0 20 0 1 0 8987272 106553344 25367 1992294400 4194304 7136930 140737174748704 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 26014 25367 303 719 0 25293 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 104056 [startup+1.50139 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15334 /proc/meminfo: memFree=1668108/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=120312 CPUtime=1.49 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 29746 0 0 0 137 12 0 0 22 0 1 0 8987272 123199488 29224 1992294400 4194304 7136930 140737174748704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 30078 29224 327 719 0 29357 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 120312 [startup+3.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15334 /proc/meminfo: memFree=1649260/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=139936 CPUtime=3.08 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 36462 0 0 0 283 25 0 0 25 0 1 0 8987272 143294464 33617 1992294400 4194304 7136930 140737174748704 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15333/statm: 34984 33617 375 719 0 34263 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 139936 [startup+6.30069 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15334 /proc/meminfo: memFree=1640332/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=143308 CPUtime=6.28 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 38911 0 0 0 593 35 0 0 25 0 1 0 8987272 146747392 34253 1992294400 4194304 7136930 140737174748704 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 35827 34253 390 719 0 35106 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 143308 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15334 /proc/meminfo: memFree=1634504/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=150088 CPUtime=12.68 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 40607 0 0 0 1230 38 0 0 25 0 1 0 8987272 153690112 35949 1992294400 4194304 7136930 140737174748704 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 37522 35949 390 719 0 36801 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 150088 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15334 /proc/meminfo: memFree=1627064/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=156840 CPUtime=25.48 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 42239 0 0 0 2507 41 0 0 25 0 1 0 8987272 160604160 37580 1992294400 4194304 7136930 140737174748704 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 39210 37580 394 719 0 38489 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 156840 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15334 /proc/meminfo: memFree=1622476/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=161484 CPUtime=51.07 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 43408 0 0 0 5059 48 0 0 25 0 1 0 8987272 165359616 38749 1992294400 4194304 7136930 140737174748704 18446744073709551615 4774630 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 40371 38749 394 719 0 39650 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 161484 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15336 /proc/meminfo: memFree=1614168/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=169784 CPUtime=102.27 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 45454 0 0 0 10171 56 0 0 25 0 1 0 8987272 173858816 40795 1992294400 4194304 7136930 140737174748704 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 42446 40795 394 719 0 41725 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 169784 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15338 /proc/meminfo: memFree=1604000/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=179884 CPUtime=162.25 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 47965 0 0 0 16159 66 0 0 25 0 1 0 8987272 184201216 43306 1992294400 4194304 7136930 140737174748704 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 44971 43306 394 719 0 44250 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 179884 [startup+222.309 s] /proc/loadavg: 1.04 1.01 1.00 2/107 15343 /proc/meminfo: memFree=1592096/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=191440 CPUtime=222.24 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 50797 0 0 0 22148 76 0 0 25 0 1 0 8987272 196034560 46138 1992294400 4194304 7136930 140737174748704 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 47860 46138 394 719 0 47139 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 191440 [startup+282.301 s] /proc/loadavg: 1.08 1.02 1.00 2/107 15345 /proc/meminfo: memFree=1579944/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=203660 CPUtime=282.22 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 53854 0 0 0 28136 86 0 0 25 0 1 0 8987272 208547840 49195 1992294400 4194304 7136930 140737174748704 18446744073709551615 4947748 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 50915 49195 394 719 0 50194 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 203660 [startup+342.301 s] /proc/loadavg: 1.09 1.03 1.00 2/107 15345 /proc/meminfo: memFree=1576844/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=206988 CPUtime=342.21 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 54654 0 0 0 34128 93 0 0 25 0 1 0 8987272 211955712 49995 1992294400 4194304 7136930 140737174748704 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 51747 49995 394 719 0 51026 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 206988 [startup+402.301 s] /proc/loadavg: 1.09 1.04 1.00 2/107 15347 /proc/meminfo: memFree=1568288/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=215464 CPUtime=402.19 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 56775 0 0 0 40118 101 0 0 25 0 1 0 8987272 220635136 52116 1992294400 4194304 7136930 140737174748704 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 53866 52116 394 719 0 53145 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 215464 [startup+462.301 s] /proc/loadavg: 1.03 1.03 1.00 2/107 15349 /proc/meminfo: memFree=1556508/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=227288 CPUtime=462.18 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 59742 0 0 0 46108 110 0 0 25 0 1 0 8987272 232742912 55083 1992294400 4194304 7136930 140737174748704 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 56822 55083 394 719 0 56101 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 227288 [startup+522.302 s] /proc/loadavg: 1.01 1.02 1.00 2/107 15351 /proc/meminfo: memFree=1543364/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=240492 CPUtime=522.17 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 63021 0 0 0 52098 119 0 0 25 0 1 0 8987272 246263808 58362 1992294400 4194304 7136930 140737174748704 18446744073709551615 4454620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 60123 58362 394 719 0 59402 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 240492 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 15353 /proc/meminfo: memFree=1536792/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=247056 CPUtime=582.15 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 64677 0 0 0 58084 131 0 0 25 0 1 0 8987272 252985344 60018 1992294400 4194304 7136930 140737174748704 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 61764 60018 394 719 0 61043 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 247056 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 15353 /proc/meminfo: memFree=1532204/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=251672 CPUtime=642.14 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 65833 0 0 0 64075 139 0 0 25 0 1 0 8987272 257712128 61174 1992294400 4194304 7136930 140737174748704 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 62918 61174 394 719 0 62197 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 251672 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15365 /proc/meminfo: memFree=1477148/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=306184 CPUtime=1062.04 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 79485 0 0 0 106006 198 0 0 25 0 1 0 8987272 313532416 74826 1992294400 4194304 7136930 140737174748704 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 76546 74826 394 719 0 75825 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 306184 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15367 /proc/meminfo: memFree=1470080/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=313220 CPUtime=1122.04 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 81262 0 0 0 111998 206 0 0 25 0 1 0 8987272 320737280 76603 1992294400 4194304 7136930 140737174748704 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 78305 76603 394 719 0 77584 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 313220 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15369 /proc/meminfo: memFree=1463260/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=319788 CPUtime=1182.03 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 82929 0 0 0 117987 216 0 0 25 0 1 0 8987272 327462912 78270 1992294400 4194304 7136930 140737174748704 18446744073709551615 4407795 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 79947 78270 394 719 0 79226 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 319788 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15369 /proc/meminfo: memFree=1456564/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=326512 CPUtime=1242.01 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 84588 0 0 0 123977 224 0 0 25 0 1 0 8987272 334348288 79929 1992294400 4194304 7136930 140737174748704 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 81628 79929 394 719 0 80907 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 326512 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15371 /proc/meminfo: memFree=1447512/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=335408 CPUtime=1302 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 86810 0 0 0 129968 232 0 0 25 0 1 0 8987272 343457792 82151 1992294400 4194304 7136930 140737174748704 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 83852 82151 394 719 0 83131 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 335408 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15373 /proc/meminfo: memFree=1440072/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=342708 CPUtime=1361.98 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 88681 0 0 0 135956 242 0 0 25 0 1 0 8987272 350932992 84022 1992294400 4194304 7136930 140737174748704 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 85677 84022 394 719 0 84956 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 342708 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15375 /proc/meminfo: memFree=1430896/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=351932 CPUtime=1421.97 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 90968 0 0 0 141946 251 0 0 25 0 1 0 8987272 360378368 86309 1992294400 4194304 7136930 140737174748704 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 87983 86309 394 719 0 87262 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 351932 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15377 /proc/meminfo: memFree=1429532/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=353112 CPUtime=1481.95 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 91284 0 0 0 147936 259 0 0 25 0 1 0 8987272 361586688 86625 1992294400 4194304 7136930 140737174748704 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 88278 86625 394 719 0 87557 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 353112 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15377 /proc/meminfo: memFree=1418620/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=364016 CPUtime=1541.96 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 94009 0 0 0 153926 270 0 0 25 0 1 0 8987272 372752384 89350 1992294400 4194304 7136930 140737174748704 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 91004 89350 394 719 0 90283 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 364016 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15379 /proc/meminfo: memFree=1413908/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=368776 CPUtime=1601.93 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 95176 0 0 0 159914 279 0 0 25 0 1 0 8987272 377626624 90517 1992294400 4194304 7136930 140737174748704 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 92194 90517 394 719 0 91473 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 368776 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15381 /proc/meminfo: memFree=1404236/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=378336 CPUtime=1661.92 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 97569 0 0 0 165901 291 0 0 25 0 1 0 8987272 387416064 92910 1992294400 4194304 7136930 140737174748704 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 94584 92910 394 719 0 93863 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 378336 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15383 /proc/meminfo: memFree=1393944/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=388492 CPUtime=1721.9 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 100139 0 0 0 171889 301 0 0 25 0 1 0 8987272 397815808 95480 1992294400 4194304 7136930 140737174748704 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 97123 95480 394 719 0 96402 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 388492 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15385 /proc/meminfo: memFree=1385884/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=396288 CPUtime=1781.9 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 102106 0 0 0 177880 310 0 0 25 0 1 0 8987272 405798912 97447 1992294400 4194304 7136930 140737174748704 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 99072 97447 394 719 0 98351 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 396288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15385 /proc/meminfo: memFree=1383776/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=398336 CPUtime=1800.1 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 102622 0 0 0 179697 313 0 0 25 0 1 0 8987272 407896064 97963 1992294400 4194304 7136930 140737174748704 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15333/statm: 99584 97963 394 719 0 98863 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 398336 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15386 /proc/meminfo: memFree=1383768/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=397120 CPUtime=1800.29 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 102630 0 0 0 179716 313 0 0 25 0 1 0 8987272 406650880 97892 1992294400 4194304 7136930 140737174748704 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15333/statm: 99280 97892 399 719 0 98559 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 397120 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15386 /proc/meminfo: memFree=1383768/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=344992 CPUtime=1800.69 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 102631 0 0 0 179755 314 0 0 25 0 1 0 8987272 353271808 84862 1992294400 4194304 7136930 140737174748704 18446744073709551615 5950477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15333/statm: 86248 84862 399 719 0 85527 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (KiB) 344992 [startup+1801.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15386 /proc/meminfo: memFree=1383768/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=302820 CPUtime=1800.89 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 102631 0 0 0 179775 314 0 0 25 0 1 0 8987272 310087680 74339 1992294400 4194304 7136930 140737174748704 18446744073709551615 6166224 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15333/statm: 75705 74339 399 719 0 74984 0 Current children cumulated CPU time (s) 1800.89 Current children cumulated vsize (KiB) 302820 [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15386 /proc/meminfo: memFree=1383768/2059040 swapFree=4164944/4192956 [pid=15333] ppid=15331 vsize=17636 CPUtime=1800.99 /proc/15333/stat : 15333 (pbscip.linux.x8) R 15331 15333 14723 0 -1 4202496 102637 0 0 0 179781 318 0 0 25 0 1 0 8987272 18059264 3808 1992294400 4194304 7136930 140737174748704 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15333/statm: 4153 3808 405 719 0 3432 0 Current children cumulated CPU time (s) 1800.99 Current children cumulated vsize (KiB) 17636 Child status: 0 Real time (s): 1801.4 CPU time (s): 1801 CPU user time (s): 1797.82 CPU system time (s): 3.18451 CPU usage (%): 99.9777 Max. virtual memory (cumulated for all children) (KiB): 398336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.82 system time used= 3.18452 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 102637 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 4008 runsolver used 2.89256 second user time and 8.59169 second system time The end
Begin job on node029 at 2010-06-16 10:28:39 IDJOB=2663425 IDBENCH=48303 IDSOLVER=1167 FILE ID=node029/2663425-1276676919 PBS_JOBID= 11172532 Free space on /tmp= 62572 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_3_80.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663425-1276676919/watcher-2663425-1276676919 -o /tmp/evaluation-result-2663425-1276676919/solver-2663425-1276676919 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663425-1276676919.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d27101fec2f8e3dc322d79bbc996c69e RANDOM SEED=1646288309 node029.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.221 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.44 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.221 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1777268 kB Buffers: 70284 kB Cached: 111580 kB SwapCached: 1508 kB Active: 100928 kB Inactive: 115056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1777268 kB SwapTotal: 4192956 kB SwapFree: 4164944 kB Dirty: 4172 kB Writeback: 0 kB AnonPages: 32612 kB Mapped: 15148 kB Slab: 44076 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183456 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= 62572 MiB End job on node029 at 2010-06-16 10:58:41