| 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.28 | 1800.82 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_4_40.opb |
| MD5SUM | 476815bfad4ec3fb3f4fdbbbbf10b706 |
| 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 | 200 |
| Total number of constraints | 302 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| 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 | 40 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2516 |
| Sum of products size (including duplicates) | 5032 |
| Number of different products | 1258 |
| Sum of products size | 2516 |
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-2664843-1276675675.opb>
0.00/0.02 c original problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1560 constraints
0.00/0.02 c problem read
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving settings loaded
0.00/0.04 c presolving:
0.19/0.22 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10264 impls, 200 clqs
0.29/0.39 c presolving (2 rounds):
0.29/0.39 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.39 c 10264 implications, 200 cliques
0.29/0.39 c presolved problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1560 constraints
0.29/0.39 c 1 constraints of type <knapsack>
0.29/0.39 c 200 constraints of type <setppc>
0.29/0.39 c 1258 constraints of type <and>
0.29/0.39 c 1 constraints of type <linear>
0.29/0.39 c 100 constraints of type <logicor>
0.29/0.39 c transformed objective value is always integral (scale: 1)
0.29/0.39 c Presolving Time: 0.20
0.29/0.39 c - non default parameters ----------------------------------------------------------------------
0.29/0.39 c # SCIP version 1.2.1.2
0.29/0.39 c
0.29/0.39 c # frequency for displaying node information lines
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.39 c display/freq = 10000
0.29/0.39 c
0.29/0.39 c # maximal time in seconds to run
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39 c limits/time = 1799.98
0.29/0.39 c
0.29/0.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39 c limits/memory = 1620
0.29/0.39 c
0.29/0.39 c # solving stops, if the given number of solutions were found (-1: no limit)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39 c limits/solutions = 1
0.29/0.39 c
0.29/0.39 c # maximal number of separation rounds per node (-1: unlimited)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 5]
0.29/0.39 c separating/maxrounds = 1
0.29/0.39 c
0.29/0.39 c # maximal number of separation rounds in the root node (-1: unlimited)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39 c separating/maxroundsroot = 5
0.29/0.39 c
0.29/0.39 c # should presolving try to simplify inequalities
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c constraints/linear/simplifyinequalities = TRUE
0.29/0.39 c
0.29/0.39 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.29/0.39 c constraints/knapsack/disaggregation = FALSE
0.29/0.39 c
0.29/0.39 c # should presolving try to simplify knapsacks
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.39 c
0.29/0.39 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39 c presolving/probing/maxrounds = 0
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/coefdiving/freq = -1
0.29/0.39 c
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/coefdiving/maxlpiterquot = 0.075
0.29/0.39 c
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/coefdiving/maxlpiterofs = 1500
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 30]
0.29/0.39 c heuristics/crossover/freq = -1
0.29/0.39 c
0.29/0.39 c # number of nodes added to the contingent of the total nodes
0.29/0.39 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.39 c heuristics/crossover/nodesofs = 750
0.29/0.39 c
0.29/0.39 c # number of nodes without incumbent change that heuristic should wait
0.29/0.39 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.29/0.39 c heuristics/crossover/nwaitingnodes = 100
0.29/0.39 c
0.29/0.39 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.29/0.39 c # [type: real, range: [0,1], default: 0.1]
0.29/0.39 c heuristics/crossover/nodesquot = 0.15
0.29/0.39 c
0.29/0.39 c # minimum percentage of integer variables that have to be fixed
0.29/0.39 c # [type: real, range: [0,1], default: 0.666]
0.29/0.39 c heuristics/crossover/minfixingrate = 0.5
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.39 c heuristics/feaspump/freq = -1
0.29/0.39 c
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/feaspump/maxlpiterofs = 2000
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/fracdiving/freq = -1
0.29/0.39 c
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/fracdiving/maxlpiterquot = 0.075
0.29/0.39 c
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/fracdiving/maxlpiterofs = 1500
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/guideddiving/freq = -1
0.29/0.39 c
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/guideddiving/maxlpiterquot = 0.075
0.29/0.39 c
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/guideddiving/maxlpiterofs = 1500
0.29/0.39 c
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/intdiving/maxlpiterquot = 0.075
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/intshifting/freq = -1
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/linesearchdiving/freq = -1
0.29/0.39 c
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.29/0.39 c
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39 c heuristics/nlp/freq = -1
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.39 c heuristics/objpscostdiving/freq = -1
0.29/0.39 c
0.29/0.39 c # maximal fraction of diving LP iterations compared to total iteration number
0.29/0.39 c # [type: real, range: [0,1], default: 0.01]
0.29/0.39 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.29/0.39 c
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39 c heuristics/oneopt/freq = -1
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/pscostdiving/freq = -1
0.29/0.39 c
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.29/0.39 c
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/pscostdiving/maxlpiterofs = 1500
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.39 c heuristics/rens/freq = -1
0.29/0.39 c
0.29/0.39 c # minimum percentage of integer variables that have to be fixable
0.29/0.39 c # [type: real, range: [0,1], default: 0.5]
0.29/0.39 c heuristics/rens/minfixingrate = 0.3
0.29/0.39 c
0.29/0.39 c # number of nodes added to the contingent of the total nodes
0.29/0.39 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.39 c heuristics/rens/nodesofs = 2000
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.39 c heuristics/rootsoldiving/freq = -1
0.29/0.39 c
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.29/0.39 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.29/0.39 c
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39 c heuristics/rounding/freq = -1
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/shifting/freq = -1
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39 c heuristics/simplerounding/freq = -1
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.39 c heuristics/trivial/freq = -1
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39 c heuristics/trysol/freq = -1
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.39 c heuristics/veclendiving/freq = -1
0.29/0.39 c
0.29/0.39 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.39 c heuristics/veclendiving/maxlpiterquot = 0.075
0.29/0.39 c
0.29/0.39 c # additional number of allowed LP iterations
0.29/0.39 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.39 c heuristics/veclendiving/maxlpiterofs = 1500
0.29/0.39 c
0.29/0.39 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.39 c heuristics/zirounding/freq = -1
0.29/0.39 c
0.29/0.39 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.39 c separating/cmir/freq = -1
0.29/0.39 c
0.29/0.39 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.39 c separating/flowcover/freq = -1
0.29/0.39 c
0.29/0.39 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39 c separating/rapidlearning/freq = 0
0.29/0.39 c
0.29/0.39 c -----------------------------------------------------------------------------------------------
0.29/0.39 c start solving
0.29/0.39 c
0.69/0.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.78 c 0.6s| 1 | 0 | 872 | - |6655k| 0 | 599 |1458 |1560 |1458 |2818 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.49/3.54 c 3.1s| 1 | 0 | 901 | - |8322k| 0 | 585 |1458 |1666 |1458 |2827 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
5.59/5.68 c 5.2s| 1 | 0 | 956 | - |9912k| 0 | 589 |1458 |1666 |1458 |2834 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
7.79/7.85 c 7.4s| 1 | 0 | 1022 | - | 11M| 0 | 591 |1458 |1666 |1458 |2840 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
9.99/10.01 c 9.5s| 1 | 0 | 1078 | - | 13M| 0 | 597 |1458 |1666 |1458 |2844 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
12.49/12.52 c 12.0s| 1 | 0 | 1140 | - | 15M| 0 | 605 |1458 |1666 |1458 |2850 | 32 | 0 | 0 | 0.000000e+00 | -- | Inf
16.19/16.26 c 15.8s| 1 | 2 | 1140 | - | 15M| 0 | 605 |1458 |1666 |1458 |2850 | 32 | 0 | 10 | 0.000000e+00 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.17/1800.72 c
1800.17/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.17/1800.72 c Solving Time (sec) : 1788.24
1800.17/1800.72 c Solving Nodes : 3649
1800.17/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.17/1800.72 c Dual Bound : +0.00000000000000e+00
1800.17/1800.72 c Gap : infinite
1800.17/1800.72 s UNKNOWN
1800.17/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.17/1800.72 c Solving Time : 1788.24
1800.17/1800.72 c Original Problem :
1800.17/1800.72 c Problem name : HOME/instance-2664843-1276675675.opb
1800.17/1800.72 c Variables : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.17/1800.72 c Constraints : 1560 initial, 1560 maximal
1800.17/1800.72 c Presolved Problem :
1800.17/1800.72 c Problem name : t_HOME/instance-2664843-1276675675.opb
1800.17/1800.72 c Variables : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.17/1800.72 c Constraints : 1560 initial, 1894 maximal
1800.17/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.17/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.17/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.17/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.17/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.17/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.17/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0
1800.17/1800.72 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.17/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.17/1800.72 c and : 0.16 0 0 0 0 0 0 0 0
1800.17/1800.72 c linear : 0.01 0 0 0 0 0 0 0 0
1800.17/1800.72 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.17/1800.72 c root node : - 0 - - 0 - - - -
1800.17/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.17/1800.72 c integral : 0 0 0 2251 0 11 177 0 0 4324
1800.17/1800.72 c knapsack : 1 5 10346 0 0 0 0 0 0 0
1800.17/1800.72 c setppc : 200 5 10346 0 0 1 961 0 0 0
1800.17/1800.72 c and : 1258 3144 10345 0 0 0 56560 297663 0 0
1800.17/1800.72 c linear : 1+ 6 10345 0 0 0 1317 0 0 0
1800.17/1800.72 c logicor : 100+ 5 3456 0 0 0 2225 0 0 0
1800.17/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.17/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.17/1800.72 c integral : 376.10 0.00 0.00 376.10 0.00
1800.17/1800.72 c knapsack : 0.04 0.00 0.04 0.00 0.00
1800.17/1800.72 c setppc : 0.10 0.00 0.10 0.00 0.00
1800.17/1800.72 c and : 3.90 3.11 0.79 0.00 0.00
1800.17/1800.72 c linear : 0.41 0.00 0.41 0.00 0.00
1800.17/1800.72 c logicor : 0.03 0.00 0.03 0.00 0.00
1800.17/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.17/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.17/1800.72 c vbounds : 0.01 1 0 0
1800.17/1800.72 c rootredcost : 0.01 0 0 0
1800.17/1800.72 c pseudoobj : 0.02 0 0 0
1800.17/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.17/1800.72 c propagation : 0.00 1 1 1 3.0 0 0.0 -
1800.17/1800.72 c infeasible LP : 0.99 1475 192 1173 18.7 0 0.0 0
1800.17/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.17/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.17/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.17/1800.72 c applied globally : - - - 229 17.3 - - -
1800.17/1800.72 c applied locally : - - - 0 0.0 - - -
1800.17/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.17/1800.72 c cut pool : 0.00 4 - - 30 - (maximal pool size: 1077)
1800.17/1800.72 c redcost : 0.16 3144 0 0 0 0
1800.17/1800.72 c impliedbounds : 0.00 5 0 0 8 0
1800.17/1800.72 c intobj : 0.00 0 0 0 0 0
1800.17/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.17/1800.72 c gomory : 5.63 5 0 0 0 0
1800.17/1800.72 c strongcg : 4.96 5 0 0 1938 0
1800.17/1800.72 c cmir : 0.00 0 0 0 0 0
1800.17/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.17/1800.72 c clique : 0.08 5 0 0 31 0
1800.17/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.17/1800.72 c mcf : 0.01 1 0 0 0 0
1800.17/1800.72 c rapidlearning : 0.56 1 0 0 0 106
1800.17/1800.72 c Pricers : Time Calls Vars
1800.17/1800.72 c problem variables: 0.00 0 0
1800.17/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.17/1800.72 c relpscost : 376.10 2251 11 177 0 0 4324
1800.17/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.17/1800.72 c inference : 0.00 0 0 0 0 0 0
1800.17/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.17/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.17/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.17/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.17/1800.72 c random : 0.00 0 0 0 0 0 0
1800.17/1800.72 c Primal Heuristics : Time Calls Found
1800.17/1800.72 c LP solutions : 0.00 - 0
1800.17/1800.72 c pseudo solutions : 0.00 - 0
1800.17/1800.72 c trivial : 0.00 1 0
1800.17/1800.72 c simplerounding : 0.00 0 0
1800.17/1800.72 c zirounding : 0.00 0 0
1800.17/1800.72 c rounding : 0.00 0 0
1800.17/1800.72 c shifting : 0.00 0 0
1800.17/1800.72 c intshifting : 0.00 0 0
1800.17/1800.72 c oneopt : 0.00 0 0
1800.17/1800.72 c twoopt : 0.00 0 0
1800.17/1800.72 c fixandinfer : 0.00 0 0
1800.17/1800.72 c feaspump : 0.00 0 0
1800.17/1800.72 c coefdiving : 0.00 0 0
1800.17/1800.72 c pscostdiving : 0.00 0 0
1800.17/1800.72 c fracdiving : 0.00 0 0
1800.17/1800.72 c veclendiving : 0.00 0 0
1800.17/1800.72 c intdiving : 0.00 0 0
1800.17/1800.72 c actconsdiving : 0.00 0 0
1800.17/1800.72 c objpscostdiving : 0.00 0 0
1800.17/1800.72 c rootsoldiving : 0.00 0 0
1800.17/1800.72 c linesearchdiving : 0.00 0 0
1800.17/1800.72 c guideddiving : 0.00 0 0
1800.17/1800.72 c octane : 0.00 0 0
1800.17/1800.72 c rens : 0.00 0 0
1800.17/1800.72 c rins : 0.00 0 0
1800.17/1800.72 c localbranching : 0.00 0 0
1800.17/1800.72 c mutation : 0.00 0 0
1800.17/1800.72 c crossover : 0.00 0 0
1800.17/1800.72 c dins : 0.00 0 0
1800.17/1800.72 c undercover : 0.00 0 0
1800.17/1800.72 c nlp : 0.00 0 0
1800.17/1800.72 c trysol : 0.00 0 0
1800.17/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.17/1800.72 c primal LP : 178.81 0 0 0.00 0.00
1800.17/1800.72 c dual LP : 1205.94 6870 1701706 247.70 1411.10
1800.17/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.17/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.17/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.17/1800.72 c strong branching : 375.58 2364 841653 356.03 2240.94
1800.17/1800.72 c (at root node) : - 10 4901 490.10 -
1800.17/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.17/1800.72 c B&B Tree :
1800.17/1800.72 c number of runs : 1
1800.17/1800.72 c nodes : 3649
1800.17/1800.72 c nodes (total) : 3649
1800.17/1800.72 c nodes left : 676
1800.17/1800.72 c max depth : 28
1800.17/1800.72 c max depth (total): 28
1800.17/1800.72 c backtracks : 526 (14.4%)
1800.17/1800.72 c delayed cutoffs : 0
1800.17/1800.72 c repropagations : 439 (2073 domain reductions, 0 cutoffs)
1800.17/1800.72 c avg switch length: 4.60
1800.17/1800.72 c switching time : 180.14
1800.17/1800.72 c Solution :
1800.17/1800.72 c Solutions found : 0 (0 improvements)
1800.17/1800.72 c Primal Bound : -
1800.17/1800.72 c Dual Bound : +0.00000000000000e+00
1800.17/1800.72 c Gap : infinite
1800.17/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.17/1800.72 c Root Iterations : 1140
1800.26/1800.82 c Time complete: 1800.27.
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-2664843-1276675675/watcher-2664843-1276675675 -o /tmp/evaluation-result-2664843-1276675675/solver-2664843-1276675675 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664843-1276675675.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.14 1.08 1.01 3/105 17772 /proc/meminfo: memFree=1782216/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=9288 CPUtime=0 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 1096 0 0 0 0 0 0 0 25 0 1 0 8861043 9510912 1016 1992294400 4194304 9819077 140736094805696 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17772/statm: 2322 1026 371 1374 0 943 0 [startup+0.097385 s] /proc/loadavg: 1.14 1.08 1.01 3/105 17772 /proc/meminfo: memFree=1782216/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=17532 CPUtime=0.09 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 3740 0 0 0 6 3 0 0 25 0 1 0 8861043 17952768 3049 1992294400 4194304 9819077 140736094805696 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 4383 3049 472 1374 0 3004 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17532 [startup+0.101386 s] /proc/loadavg: 1.14 1.08 1.01 3/105 17772 /proc/meminfo: memFree=1782216/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=17532 CPUtime=0.09 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 3740 0 0 0 6 3 0 0 25 0 1 0 8861043 17952768 3049 1992294400 4194304 9819077 140736094805696 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 4383 3049 472 1374 0 3004 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17532 [startup+0.301406 s] /proc/loadavg: 1.14 1.08 1.01 3/105 17772 /proc/meminfo: memFree=1782216/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=18552 CPUtime=0.29 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 5584 0 0 0 16 13 0 0 25 0 1 0 8861043 18997248 3351 1992294400 4194304 9819077 140736094805696 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 4638 3351 505 1374 0 3259 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18552 [startup+0.701448 s] /proc/loadavg: 1.14 1.08 1.01 3/105 17772 /proc/meminfo: memFree=1782216/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=28404 CPUtime=0.69 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 8472 0 0 0 51 18 0 0 25 0 1 0 8861043 29085696 5325 1992294400 4194304 9819077 140736094805696 18446744073709551615 7311280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 7101 5325 636 1374 0 5722 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28404 [startup+1.50153 s] /proc/loadavg: 1.14 1.08 1.01 2/106 17773 /proc/meminfo: memFree=1763360/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=28408 CPUtime=1.49 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 8823 0 0 0 131 18 0 0 25 0 1 0 8861043 29089792 5302 1992294400 4194304 9819077 140736094805696 18446744073709551615 8494973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 7102 5302 660 1374 0 5723 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28408 [startup+3.1017 s] /proc/loadavg: 1.14 1.08 1.01 2/106 17775 /proc/meminfo: memFree=1762120/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=46012 CPUtime=3.09 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 15130 0 0 0 271 38 0 0 25 0 1 0 8861043 47116288 9296 1992294400 4194304 9819077 140736094805696 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11503 9311 677 1374 0 10124 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46012 [startup+6.30103 s] /proc/loadavg: 1.13 1.08 1.01 2/106 17775 /proc/meminfo: memFree=1752200/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=35896 CPUtime=6.29 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 16077 0 0 0 587 42 0 0 25 0 1 0 8861043 36757504 7893 1992294400 4194304 9819077 140736094805696 18446744073709551615 6031688 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 8974 7893 697 1374 0 7595 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35896 [startup+12.7017 s] /proc/loadavg: 1.12 1.08 1.01 2/106 17775 /proc/meminfo: memFree=1746868/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=49096 CPUtime=12.69 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 18398 0 0 0 1224 45 0 0 25 0 1 0 8861043 50274304 9993 1992294400 4194304 9819077 140736094805696 18446744073709551615 7289168 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 12274 9993 703 1374 0 10895 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49096 [startup+25.501 s] /proc/loadavg: 1.09 1.07 1.01 2/106 17775 /proc/meminfo: memFree=1744512/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=44884 CPUtime=25.48 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 26051 0 0 0 2497 51 0 0 25 0 1 0 8861043 45961216 9853 1992294400 4194304 9819077 140736094805696 18446744073709551615 7290508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11221 9853 725 1374 0 9842 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44884 [startup+51.1007 s] /proc/loadavg: 1.06 1.07 1.00 2/106 17775 /proc/meminfo: memFree=1744636/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=45344 CPUtime=51.07 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 30931 0 0 0 5048 59 0 0 25 0 1 0 8861043 46432256 9853 1992294400 4194304 9819077 140736094805696 18446744073709551615 6676959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11336 9853 725 1374 0 9957 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 45344 [startup+102.308 s] /proc/loadavg: 1.02 1.05 1.00 2/106 17777 /proc/meminfo: memFree=1744512/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=43896 CPUtime=102.27 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 37920 0 0 0 10157 70 0 0 25 0 1 0 8861043 44949504 9841 1992294400 4194304 9819077 140736094805696 18446744073709551615 7317683 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 10974 9841 727 1374 0 9595 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 43896 [startup+162.301 s] /proc/loadavg: 1.01 1.04 1.00 2/106 17779 /proc/meminfo: memFree=1744388/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=43544 CPUtime=162.24 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 55281 0 0 0 16134 90 0 0 25 0 1 0 8861043 44589056 9847 1992294400 4194304 9819077 140736094805696 18446744073709551615 6696119 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 10886 9847 727 1374 0 9507 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 43544 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.00 2/106 17779 /proc/meminfo: memFree=1744388/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=44288 CPUtime=222.22 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 78617 0 0 0 22112 110 0 0 25 0 1 0 8861043 45350912 9854 1992294400 4194304 9819077 140736094805696 18446744073709551615 7318489 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11072 9854 727 1374 0 9693 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 44288 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 17781 /proc/meminfo: memFree=1744388/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=44272 CPUtime=282.21 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 106330 0 0 0 28086 135 0 0 25 0 1 0 8861043 45334528 9854 1992294400 4194304 9819077 140736094805696 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11068 9854 727 1374 0 9689 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 44272 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 17783 /proc/meminfo: memFree=1744388/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=44148 CPUtime=342.19 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 139403 0 0 0 34057 162 0 0 25 0 1 0 8861043 45207552 9876 1992294400 4194304 9819077 140736094805696 18446744073709551615 7291971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11037 9876 727 1374 0 9658 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 44148 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/106 17785 /proc/meminfo: memFree=1744264/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=43964 CPUtime=402.17 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 179430 0 0 0 40026 191 0 0 25 0 1 0 8861043 45019136 9873 1992294400 4194304 9819077 140736094805696 18446744073709551615 6443155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 10991 9873 727 1374 0 9612 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 43964 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 17787 /proc/meminfo: memFree=1744264/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=47984 CPUtime=462.15 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 222308 0 0 0 45996 219 0 0 25 0 1 0 8861043 49135616 9926 1992294400 4194304 9819077 140736094805696 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11996 9926 727 1374 0 10617 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 47984 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17787 /proc/meminfo: memFree=1744140/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=44572 CPUtime=522.14 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 263130 0 0 0 51961 253 0 0 25 0 1 0 8861043 45641728 9880 1992294400 4194304 9819077 140736094805696 18446744073709551615 7291979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11143 9880 727 1374 0 9764 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 44572 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17789 /proc/meminfo: memFree=1744140/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=44776 CPUtime=582.12 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 305201 0 0 0 57928 284 0 0 25 0 1 0 8861043 45850624 9881 1992294400 4194304 9819077 140736094805696 18446744073709551615 7292227 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11194 9881 727 1374 0 9815 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 44776 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17791 /proc/meminfo: memFree=1744140/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=45340 CPUtime=642.11 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 370165 0 0 0 63888 323 0 0 25 0 1 0 8861043 46428160 9889 1992294400 4194304 9819077 140736094805696 18446744073709551615 7289168 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11335 9889 727 1374 0 9956 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 45340 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17797 /proc/meminfo: memFree=1743892/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=45308 CPUtime=882.04 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 651926 0 0 0 87721 483 0 0 25 0 1 0 8861043 46395392 9897 1992294400 4194304 9819077 140736094805696 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11327 9897 727 1374 0 9948 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 45308 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17799 /proc/meminfo: memFree=1743768/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=45732 CPUtime=942.01 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 731838 0 0 0 93677 524 0 0 25 0 1 0 8861043 46829568 9960 1992294400 4194304 9819077 140736094805696 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11433 9960 727 1374 0 10054 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 45732 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17801 /proc/meminfo: memFree=1743768/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=48444 CPUtime=1002 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 815209 0 0 0 99630 570 0 0 25 0 1 0 8861043 49606656 9986 1992294400 4194304 9819077 140736094805696 18446744073709551615 7312774 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 12111 9986 727 1374 0 10732 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 48444 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17803 /proc/meminfo: memFree=1743768/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=45692 CPUtime=1061.98 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 901106 0 0 0 105586 612 0 0 25 0 1 0 8861043 46788608 9914 1992294400 4194304 9819077 140736094805696 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11423 9914 727 1374 0 10044 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 45692 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17803 /proc/meminfo: memFree=1743768/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=45924 CPUtime=1121.97 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 986101 0 0 0 111546 651 0 0 25 0 1 0 8861043 47026176 9910 1992294400 4194304 9819077 140736094805696 18446744073709551615 7291886 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11481 9910 727 1374 0 10102 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 45924 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17805 /proc/meminfo: memFree=1743520/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=45712 CPUtime=1181.94 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 1073511 0 0 0 117499 695 0 0 25 0 1 0 8861043 46809088 10003 1992294400 4194304 9819077 140736094805696 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11428 10003 727 1374 0 10049 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 45712 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17807 /proc/meminfo: memFree=1743396/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=45212 CPUtime=1241.92 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 1157359 0 0 0 123454 738 0 0 25 0 1 0 8861043 46297088 9964 1992294400 4194304 9819077 140736094805696 18446744073709551615 6364548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11303 9964 727 1374 0 9924 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 45212 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17809 /proc/meminfo: memFree=1743272/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=45808 CPUtime=1301.92 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 1235735 0 0 0 129412 780 0 0 25 0 1 0 8861043 46907392 9984 1992294400 4194304 9819077 140736094805696 18446744073709551615 7312701 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11452 9984 727 1374 0 10073 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 45808 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17811 /proc/meminfo: memFree=1743272/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=45880 CPUtime=1361.89 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 1315205 0 0 0 135368 821 0 0 25 0 1 0 8861043 46981120 9976 1992294400 4194304 9819077 140736094805696 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11470 9976 727 1374 0 10091 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 45880 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17811 /proc/meminfo: memFree=1743396/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=45988 CPUtime=1421.88 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 1409038 0 0 0 141320 868 0 0 25 0 1 0 8861043 47091712 9909 1992294400 4194304 9819077 140736094805696 18446744073709551615 7291592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11497 9909 727 1374 0 10118 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 45988 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 1.00 2/106 17816 /proc/meminfo: memFree=1742652/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=46416 CPUtime=1481.85 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 1505551 0 0 0 147266 919 0 0 25 0 1 0 8861043 47529984 9995 1992294400 4194304 9819077 140736094805696 18446744073709551615 7303372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11604 9995 727 1374 0 10225 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 46416 [startup+1542.3 s] /proc/loadavg: 1.02 1.01 1.00 2/106 17818 /proc/meminfo: memFree=1743024/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=45836 CPUtime=1541.83 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 1603438 0 0 0 153210 973 0 0 25 0 1 0 8861043 46936064 9900 1992294400 4194304 9819077 140736094805696 18446744073709551615 6386975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11459 9900 727 1374 0 10080 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 45836 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17820 /proc/meminfo: memFree=1742900/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=46244 CPUtime=1601.81 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 1703413 0 0 0 159160 1021 0 0 25 0 1 0 8861043 47353856 9939 1992294400 4194304 9819077 140736094805696 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11561 9939 727 1374 0 10182 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 46244 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17822 /proc/meminfo: memFree=1742404/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=46964 CPUtime=1661.79 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 1807448 0 0 0 165107 1072 0 0 25 0 1 0 8861043 48091136 10076 1992294400 4194304 9819077 140736094805696 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11741 10076 727 1374 0 10362 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 46964 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17822 /proc/meminfo: memFree=1742404/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=46376 CPUtime=1721.78 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 1914579 0 0 0 171053 1125 0 0 25 0 1 0 8861043 47489024 10061 1992294400 4194304 9819077 140736094805696 18446744073709551615 7291704 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11594 10061 727 1374 0 10215 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 46376 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17824 /proc/meminfo: memFree=1742280/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=46964 CPUtime=1781.76 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 2015980 0 0 0 177001 1175 0 0 25 0 1 0 8861043 48091136 10074 1992294400 4194304 9819077 140736094805696 18446744073709551615 6443187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11741 10074 727 1374 0 10362 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 46964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17824 /proc/meminfo: memFree=1742280/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=46760 CPUtime=1800.07 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 2049710 0 0 0 178815 1192 0 0 25 0 1 0 8861043 47882240 10074 1992294400 4194304 9819077 140736094805696 18446744073709551615 7291896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17772/statm: 11690 10074 727 1374 0 10311 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 46760 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17824 /proc/meminfo: memFree=1742280/2059040 swapFree=4148288/4192956 [pid=17772] ppid=17770 vsize=44952 CPUtime=1800.26 /proc/17772/stat : 17772 (pbscip.linux.x8) R 17770 17772 17386 0 -1 4202496 2049943 0 0 0 178834 1192 0 0 25 0 1 0 8861043 46030848 9675 1992294400 4194304 9819077 140736094805696 18446744073709551615 6028175 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17772/statm: 11238 9675 730 1374 0 9859 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 44952 Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.28 CPU user time (s): 1788.36 CPU system time (s): 11.9282 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 50804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.36 system time used= 11.9282 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2049947 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 2189 runsolver used 2.99254 second user time and 8.48971 second system time The end
Begin job on node082 at 2010-06-16 10:07:55 IDJOB=2664843 IDBENCH=48291 IDSOLVER=1168 FILE ID=node082/2664843-1276675675 PBS_JOBID= 11172528 Free space on /tmp= 62584 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_4_40.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-2664843-1276675675/watcher-2664843-1276675675 -o /tmp/evaluation-result-2664843-1276675675/solver-2664843-1276675675 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664843-1276675675.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 476815bfad4ec3fb3f4fdbbbbf10b706 RANDOM SEED=484746871 node082.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.215 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.43 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.215 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1782744 kB Buffers: 65292 kB Cached: 112152 kB SwapCached: 6844 kB Active: 106408 kB Inactive: 92840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1782744 kB SwapTotal: 4192956 kB SwapFree: 4148288 kB Dirty: 6212 kB Writeback: 0 kB AnonPages: 18908 kB Mapped: 13288 kB Slab: 55252 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180480 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62576 MiB End job on node082 at 2010-06-16 10:37:58