| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? | 1799.63 | 1800.25 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_4_40.opb |
| MD5SUM | 83d1e3d1d0816aba7f8b7eb415a5cecb |
| 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 | 400 |
| Total number of constraints | 602 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| 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 | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 12520 |
| Sum of products size (including duplicates) | 25040 |
| Number of different products | 6260 |
| Sum of products size | 12520 |
0.04/0.08 c SCIP version 1.1.0.7
0.04/0.08 c LP-Solver SoPlex 1.4.1
0.04/0.08 c user parameter file <scip.set> not found - using default parameters
0.04/0.08 c read problem <HOME/instance-1870708-1245216480.opb>
0.04/0.08 c original problem has 6660 variables (6660 bin, 0 int, 0 impl, 0 cont) and 6862 constraints
0.09/0.14 c No objective function, only one solution is needed.
0.09/0.14 c start presolving problem
0.09/0.14 c presolving:
0.29/0.38 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50480 impls, 400 clqs
0.49/0.55 c presolving (2 rounds):
0.49/0.55 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.55 c 50480 implications, 400 cliques
0.49/0.55 c presolved problem has 6660 variables (6660 bin, 0 int, 0 impl, 0 cont) and 6862 constraints
0.49/0.55 c 1 constraints of type <knapsack>
0.49/0.55 c 400 constraints of type <setppc>
0.49/0.55 c 6260 constraints of type <and>
0.49/0.55 c 1 constraints of type <linear>
0.49/0.55 c 200 constraints of type <logicor>
0.49/0.55 c transformed objective value is always integral (scale: 1)
0.49/0.55 c Presolving Time: 0.25
0.49/0.55 c SATUNSAT-NLC
0.49/0.55 c -----------------------------------------------------------------------------------------------
0.49/0.55 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.55 c separating/flowcover/freq = c -1
0.49/0.55 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.55 c separating/cmir/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/veclendiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.49/0.55 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/veclendiving/freq = c -1
0.49/0.55 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.55 c heuristics/simplerounding/freq = c -1
0.49/0.55 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/shifting/freq = c -1
0.49/0.55 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.55 c heuristics/rounding/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.55 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.49/0.55 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.55 c heuristics/rootsoldiving/freq = c -1
0.49/0.55 c # number of nodes added to the contingent of the total nodes
0.49/0.55 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.55 c heuristics/rens/nodesofs = c 2000
0.49/0.55 c # minimum percentage of integer variables that have to be fixable
0.49/0.55 c # [type: real, range: [0,1], default: 0.5]
0.49/0.55 c heuristics/rens/minfixingrate = c 0.3
0.49/0.55 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.55 c heuristics/rens/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.49/0.55 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/pscostdiving/freq = c -1
0.49/0.55 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.55 c heuristics/oneopt/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.55 c # [type: real, range: [0,1], default: 0.01]
0.49/0.55 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.49/0.55 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.55 c heuristics/objpscostdiving/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.49/0.55 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/linesearchdiving/freq = c -1
0.49/0.55 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/intshifting/freq = c -1
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/intdiving/maxlpiterquot = c 0.075
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/guideddiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.49/0.55 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/guideddiving/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/fracdiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.49/0.55 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/fracdiving/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/feaspump/maxlpiterofs = c 2000
0.49/0.55 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.55 c heuristics/feaspump/freq = c -1
0.49/0.55 c # minimum percentage of integer variables that have to be fixed
0.49/0.55 c # [type: real, range: [0,1], default: 0.666]
0.49/0.55 c heuristics/crossover/minfixingrate = c 0.5
0.49/0.55 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.55 c # [type: real, range: [0,1], default: 0.1]
0.49/0.55 c heuristics/crossover/nodesquot = c 0.15
0.49/0.55 c # number of nodes without incumbent change that heuristic should wait
0.49/0.55 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.55 c heuristics/crossover/nwaitingnodes = c 100
0.49/0.55 c # number of nodes added to the contingent of the total nodes
0.49/0.55 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.55 c heuristics/crossover/nodesofs = c 750
0.49/0.55 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.55 c heuristics/crossover/freq = c -1
0.49/0.55 c # additional number of allowed LP iterations
0.49/0.55 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.55 c heuristics/coefdiving/maxlpiterofs = c 1500
0.49/0.55 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.55 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.49/0.55 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.55 c heuristics/coefdiving/freq = c -1
0.49/0.55 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.55 c presolving/probing/maxrounds = c 0
0.49/0.55 c # should presolving try to simplify knapsacks
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55 c constraints/knapsack/simplifyinequalities = c TRUE
0.49/0.55 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.55 c constraints/knapsack/disaggregation = c FALSE
0.49/0.55 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.55 c constraints/knapsack/maxnumcardlift = c 0
0.49/0.55 c # should presolving try to simplify inequalities
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56 c constraints/linear/simplifyinequalities = c TRUE
0.49/0.56 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c separating/maxroundsroot = c 5
0.49/0.56 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.56 c separating/maxrounds = c 1
0.49/0.56 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c limits/solutions = c 1
0.49/0.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56 c limits/memory = c 1620
0.49/0.56 c # maximal time in seconds to run
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56 c limits/time = c 1791
0.49/0.56 c # frequency for displaying node information lines
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.56 c display/freq = c 10000
0.49/0.56 c -----------------------------------------------------------------------------------------------
0.49/0.56 c start solving problem
0.49/0.56 c
0.79/0.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.87 c 0.6s| 1 | 0 | 311 | 29M| 0 | 161 |6660 |6862 |6862 |6660 | 13k| 0 | 0 | 0 | 8.000000e+01 | -- | Inf
1.70/1.77 c 1.4s| 1 | 0 | 372 | 29M| 0 | 161 |6660 |6862 |6862 |6660 | 13k| 1 | 0 | 0 | 8.000000e+01 | -- | Inf
2.59/2.69 c 2.4s| 1 | 0 | 491 | 29M| 0 | 162 |6660 |6862 |6862 |6660 | 13k| 3 | 0 | 0 | 8.000000e+01 | -- | Inf
10.89/10.97 c 10.6s| 1 | 0 | 610 | 29M| 0 | 162 |6660 |6862 |6862 |6660 | 13k| 4 | 0 | 0 | 8.000000e+01 | -- | Inf
38.27/38.35 c 37.9s| 1 | 2 | 610 | 29M| 0 | 162 |6660 |6862 |6862 |6660 | 13k| 4 | 0 | 18 | 8.000000e+01 | -- | Inf
119.64/119.76 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
224.01/224.20 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
646.27/646.58 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
646.27/646.58 c [src/scip/lpi_spx.cpp:1854] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
646.27/646.58 c (node 3402) error in strong branching call for variable <t_andresultant991> with solution 0.21914
1014.24/1014.62 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
1124.50/1124.96 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
1464.69/1465.27 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
1799.27/1799.96 c
1799.27/1799.96 c SCIP Status : solving was interrupted [time limit reached]
1799.27/1799.96 c Solving Time (sec) : 1791.00
1799.27/1799.96 c Solving Nodes : 9950
1799.27/1799.96 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.27/1799.96 c Dual Bound : +8.00000000000002e+01
1799.27/1799.96 c Gap : infinite
1799.27/1799.96 c NODE 9950
1799.27/1799.96 c DUAL BOUND 80
1799.27/1799.96 c PRIMAL BOUND 1e+20
1799.27/1799.96 c GAP 1e+20
1799.27/1799.96 s UNKNOWN
1799.27/1799.96 c SCIP Status : solving was interrupted [time limit reached]
1799.27/1799.96 c Solving Time : 1791.00
1799.27/1799.96 c Original Problem :
1799.27/1799.96 c Problem name : HOME/instance-1870708-1245216480.opb
1799.27/1799.96 c Variables : 6660 (6660 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.27/1799.96 c Constraints : 6862 initial, 6862 maximal
1799.27/1799.96 c Presolved Problem :
1799.27/1799.96 c Problem name : t_HOME/instance-1870708-1245216480.opb
1799.27/1799.96 c Variables : 6660 (6660 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.27/1799.96 c Constraints : 6862 initial, 8435 maximal
1799.27/1799.96 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1799.27/1799.96 c trivial : 0.00 0 0 0 0 0 0 0 0
1799.27/1799.96 c dualfix : 0.00 0 0 0 0 0 0 0 0
1799.27/1799.96 c boundshift : 0.00 0 0 0 0 0 0 0 0
1799.27/1799.96 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1799.27/1799.96 c implics : 0.02 0 0 0 0 0 0 0 0
1799.27/1799.96 c probing : 0.00 0 0 0 0 0 0 0 0
1799.27/1799.96 c knapsack : 0.01 0 0 0 0 0 0 0 0
1799.27/1799.96 c setppc : 0.00 0 0 0 0 0 0 0 0
1799.27/1799.96 c and : 0.15 0 0 0 0 0 0 0 0
1799.27/1799.96 c linear : 0.05 0 0 0 0 0 0 0 0
1799.27/1799.96 c logicor : 0.00 0 0 0 0 0 0 0 0
1799.27/1799.96 c root node : - 0 - - 0 - - - -
1799.27/1799.96 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1799.27/1799.96 c integral : 0 0 0 7414 0 52 525 0 0 14164
1799.27/1799.96 c knapsack : 1 4 34161 79 1 0 0 0 0 0
1799.27/1799.96 c setppc : 400 4 34161 79 1 60 156177 0 0 0
1799.27/1799.96 c and : 6260 8586 34101 79 1 60 3748083 1342096 0 0
1799.27/1799.96 c linear : 1 4 34041 0 0 0 0 0 0 0
1799.27/1799.96 c logicor : 200+ 4 12772 0 1 2 11422 0 0 0
1799.27/1799.96 c countsols : 0 0 0 0 1 0 0 0 0 0
1799.27/1799.96 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1799.27/1799.96 c integral : 540.44 0.00 0.00 540.44 0.00
1799.27/1799.96 c knapsack : 0.06 0.00 0.06 0.00 0.00
1799.27/1799.96 c setppc : 1.48 0.00 1.48 0.00 0.00
1799.27/1799.96 c and : 71.32 41.61 29.47 0.24 0.00
1799.27/1799.96 c linear : 1.84 0.00 1.84 0.00 0.00
1799.27/1799.96 c logicor : 0.68 0.00 0.68 0.00 0.00
1799.27/1799.96 c countsols : 0.00 0.00 0.00 0.00 0.00
1799.27/1799.96 c Propagators : Time Calls Cutoffs DomReds
1799.27/1799.96 c rootredcost : 0.06 0 0 0
1799.27/1799.96 c pseudoobj : 38.08 34162 0 0
1799.27/1799.96 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.27/1799.96 c propagation : 0.00 122 120 120 2.5 0 0.0 -
1799.27/1799.96 c infeasible LP : 11.17 2324 2100 23341 50.0 1 2.0 0
1799.27/1799.96 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.27/1799.96 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.27/1799.96 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.27/1799.96 c applied globally : - - - 6380 67.0 - - -
1799.27/1799.96 c applied locally : - - - 0 0.0 - - -
1799.27/1799.96 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.27/1799.96 c cut pool : 0.00 3 - - 2 - (maximal pool size: 14)
1799.27/1799.96 c redcost : 11.04 8586 0 0 0 0
1799.27/1799.96 c impliedbounds : 0.00 4 0 0 0 0
1799.27/1799.96 c intobj : 0.00 0 0 0 0 0
1799.27/1799.96 c gomory : 9.02 4 0 0 1000 0
1799.27/1799.96 c strongcg : 7.80 4 0 0 1000 0
1799.27/1799.96 c cmir : 0.00 0 0 0 0 0
1799.27/1799.96 c flowcover : 0.00 0 0 0 0 0
1799.27/1799.96 c clique : 0.06 4 0 0 0 0
1799.27/1799.96 c zerohalf : 0.00 0 0 0 0 0
1799.27/1799.96 c mcf : 0.21 2 0 0 0 0
1799.27/1799.96 c Pricers : Time Calls Vars
1799.27/1799.96 c problem variables: 0.00 0 0
1799.27/1799.96 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.27/1799.96 c relpscost : 540.41 7335 52 525 0 0 14164
1799.27/1799.96 c pscost : 0.00 0 0 0 0 0 0
1799.27/1799.96 c inference : 0.00 1 0 0 0 0 2
1799.27/1799.96 c mostinf : 0.00 0 0 0 0 0 0
1799.27/1799.96 c leastinf : 0.00 0 0 0 0 0 0
1799.27/1799.96 c fullstrong : 0.00 0 0 0 0 0 0
1799.27/1799.96 c allfullstrong : 0.00 0 0 0 0 0 0
1799.27/1799.96 c random : 0.00 0 0 0 0 0 0
1799.27/1799.96 c Primal Heuristics : Time Calls Found
1799.27/1799.96 c LP solutions : 0.00 - 0
1799.27/1799.96 c pseudo solutions : 0.00 - 0
1799.27/1799.96 c simplerounding : 0.00 0 0
1799.27/1799.96 c rounding : 0.00 0 0
1799.27/1799.96 c shifting : 0.00 0 0
1799.27/1799.96 c intshifting : 0.00 0 0
1799.27/1799.96 c oneopt : 0.00 0 0
1799.27/1799.96 c fixandinfer : 0.00 0 0
1799.27/1799.96 c feaspump : 0.00 0 0
1799.27/1799.96 c coefdiving : 0.00 0 0
1799.27/1799.96 c pscostdiving : 0.00 0 0
1799.27/1799.96 c fracdiving : 0.00 0 0
1799.27/1799.96 c veclendiving : 0.00 0 0
1799.27/1799.96 c intdiving : 0.00 0 0
1799.27/1799.96 c actconsdiving : 0.00 0 0
1799.27/1799.96 c objpscostdiving : 0.00 0 0
1799.27/1799.96 c rootsoldiving : 0.00 0 0
1799.27/1799.96 c linesearchdiving : 0.00 0 0
1799.27/1799.96 c guideddiving : 0.00 0 0
1799.27/1799.96 c octane : 0.00 0 0
1799.27/1799.96 c rens : 0.00 0 0
1799.27/1799.96 c rins : 0.00 0 0
1799.27/1799.96 c localbranching : 0.00 0 0
1799.27/1799.96 c mutation : 0.00 0 0
1799.27/1799.96 c crossover : 0.00 0 0
1799.27/1799.96 c dins : 0.00 0 0
1799.27/1799.96 c LP : Time Calls Iterations Iter/call Iter/sec
1799.27/1799.96 c primal LP : 19.58 0 0 0.00 0.00
1799.27/1799.96 c dual LP : 986.16 18697 1799490 96.24 1824.74
1799.27/1799.96 c barrier LP : 0.00 0 0 0.00 -
1799.27/1799.96 c diving/probing LP: 0.00 0 0 0.00 -
1799.27/1799.96 c strong branching : 538.71 12803 821818 64.19 1525.53
1799.27/1799.96 c (at root node) : - 18 10209 567.17 -
1799.27/1799.96 c conflict analysis: 0.00 0 0 0.00 -
1799.27/1799.96 c B&B Tree :
1799.27/1799.96 c number of runs : 1
1799.27/1799.96 c nodes : 9950
1799.27/1799.96 c nodes (total) : 9950
1799.27/1799.96 c nodes left : 4196
1799.27/1799.96 c max depth : 83
1799.27/1799.96 c max depth (total): 83
1799.27/1799.96 c backtracks : 868 (8.7%)
1799.27/1799.96 c delayed cutoffs : 21
1799.27/1799.96 c repropagations : 4803 (23579 domain reductions, 3 cutoffs)
1799.27/1799.96 c avg switch length: 3.38
1799.27/1799.96 c switching time : 36.82
1799.27/1799.96 c Solution :
1799.27/1799.96 c Solutions found : 0 (0 improvements)
1799.27/1799.96 c Primal Bound : -
1799.27/1799.96 c Dual Bound : +8.00000000000002e+01
1799.27/1799.96 c Gap : infinite
1799.27/1799.96 c Root Dual Bound : +8.00000000000002e+01
1799.57/1800.24 c Time complete: 1799.61.
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-1870708-1245216480/watcher-1870708-1245216480 -o /tmp/evaluation-result-1870708-1245216480/solver-1870708-1245216480 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870708-1245216480.opb 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/64 7484 /proc/meminfo: memFree=1665264/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=4328 CPUtime=0 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 502 0 0 0 0 0 0 0 18 0 1 0 189244373 4431872 484 1992294400 4194304 7823515 548682068736 18446744073709551615 6829856 0 0 4096 0 0 0 0 17 1 0 0 /proc/7484/statm: 1082 487 322 886 0 192 0 [startup+0.050622 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7484 /proc/meminfo: memFree=1665264/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=15460 CPUtime=0.04 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 3184 0 0 0 3 1 0 0 18 0 1 0 189244373 15831040 3166 1992294400 4194304 7823515 548682068736 18446744073709551615 6911751 0 0 4096 0 0 0 0 17 1 0 0 /proc/7484/statm: 3865 3166 351 886 0 2975 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15460 [startup+0.101629 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7484 /proc/meminfo: memFree=1665264/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=22892 CPUtime=0.09 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 5329 0 0 0 8 1 0 0 18 0 1 0 189244373 23441408 4957 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 5723 4957 371 886 0 4833 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22892 [startup+0.301666 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7484 /proc/meminfo: memFree=1665264/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=31552 CPUtime=0.29 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 7304 0 0 0 20 9 0 0 19 0 1 0 189244373 32309248 6932 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 7888 6932 404 886 0 6998 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31552 [startup+0.701741 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7484 /proc/meminfo: memFree=1665264/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=59192 CPUtime=0.69 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 14338 0 0 0 47 22 0 0 17 0 1 0 189244373 60612608 13643 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 14798 13643 514 886 0 13908 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 59192 [startup+1.50189 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7485 /proc/meminfo: memFree=1608232/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=73048 CPUtime=1.49 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 17858 0 0 0 124 25 0 0 23 0 1 0 189244373 74801152 17107 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 18262 17107 541 886 0 17372 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 73048 [startup+3.10119 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7485 /proc/meminfo: memFree=1595816/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=80528 CPUtime=3.08 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 19583 0 0 0 282 26 0 0 25 0 1 0 189244373 82460672 18798 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 20132 18798 555 886 0 19242 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 80528 [startup+6.30179 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7485 /proc/meminfo: memFree=1591720/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=80528 CPUtime=6.29 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 19583 0 0 0 602 27 0 0 25 0 1 0 189244373 82460672 18798 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 20132 18798 555 886 0 19242 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 80528 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7485 /proc/meminfo: memFree=1591208/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=80528 CPUtime=12.68 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 19749 0 0 0 1239 29 0 0 25 0 1 0 189244373 82460672 18964 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 20132 18964 555 886 0 19242 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 80528 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7485 /proc/meminfo: memFree=1589800/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=82404 CPUtime=25.48 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 20152 0 0 0 2516 32 0 0 25 0 1 0 189244373 84381696 19367 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 20601 19367 558 886 0 19711 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82404 [startup+51.1012 s] /proc/loadavg: 1.08 1.02 1.01 2/65 7485 /proc/meminfo: memFree=1589224/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=82404 CPUtime=51.06 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 20542 0 0 0 5064 42 0 0 25 0 1 0 189244373 84381696 19501 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 20601 19501 568 886 0 19711 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 82404 [startup+102.306 s] /proc/loadavg: 1.11 1.03 1.01 2/65 7485 /proc/meminfo: memFree=1589224/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=82404 CPUtime=102.25 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 20542 0 0 0 10159 66 0 0 25 0 1 0 189244373 84381696 19501 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 20601 19501 568 886 0 19711 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 82404 [startup+162.302 s] /proc/loadavg: 1.11 1.04 1.00 2/65 7485 /proc/meminfo: memFree=1587432/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=83164 CPUtime=162.22 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 21076 0 0 0 16124 98 0 0 25 0 1 0 189244373 85159936 20035 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 20791 20035 655 886 0 19901 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 83164 [startup+222.301 s] /proc/loadavg: 1.11 1.04 1.00 2/65 7485 /proc/meminfo: memFree=1582120/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=88740 CPUtime=222.21 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 22399 0 0 0 22096 125 0 0 25 0 1 0 189244373 90869760 21357 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 22185 21357 655 886 0 21295 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 88740 [startup+282.301 s] /proc/loadavg: 1.25 1.08 1.01 2/65 7485 /proc/meminfo: memFree=1576552/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=94092 CPUtime=282.18 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 23774 0 0 0 28065 153 0 0 25 0 1 0 189244373 96350208 22732 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 23523 22732 655 886 0 22633 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 94092 [startup+342.302 s] /proc/loadavg: 1.18 1.09 1.02 2/65 7485 /proc/meminfo: memFree=1569576/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=100936 CPUtime=342.16 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 25505 0 0 0 34037 179 0 0 25 0 1 0 189244373 103358464 24462 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 25234 24462 655 886 0 24344 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 100936 [startup+402.302 s] /proc/loadavg: 1.06 1.07 1.01 2/65 7485 /proc/meminfo: memFree=1561768/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=109200 CPUtime=402.14 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 27534 0 0 0 40008 206 0 0 25 0 1 0 189244373 111820800 26490 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 27300 26490 655 886 0 26410 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 109200 [startup+462.301 s] /proc/loadavg: 1.02 1.06 1.01 2/65 7485 /proc/meminfo: memFree=1556200/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=114400 CPUtime=462.12 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 28853 0 0 0 45976 236 0 0 25 0 1 0 189244373 117145600 27809 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 28600 27809 655 886 0 27710 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 114400 [startup+522.301 s] /proc/loadavg: 1.01 1.04 1.00 2/65 7485 /proc/meminfo: memFree=1550952/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=119616 CPUtime=522.1 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 30131 0 0 0 51948 262 0 0 25 0 1 0 189244373 122486784 29087 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 29904 29087 655 886 0 29014 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 119616 [startup+582.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 7485 /proc/meminfo: memFree=1544680/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=125928 CPUtime=582.09 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 31723 0 0 0 57920 289 0 0 25 0 1 0 189244373 128950272 30678 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 31482 30678 655 886 0 30592 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 125928 [startup+642.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 7485 /proc/meminfo: memFree=1537320/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=133432 CPUtime=642.07 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 33544 0 0 0 63892 315 0 0 25 0 1 0 189244373 136634368 32499 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 33358 32499 655 886 0 32468 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 133432 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1484712/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=187148 CPUtime=1121.9 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 46678 0 0 0 111669 521 0 0 25 0 1 0 189244373 191639552 45628 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 46787 45628 655 886 0 45897 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 187148 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7485 /proc/meminfo: memFree=1477416/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=194524 CPUtime=1181.88 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 48490 0 0 0 117638 550 0 0 25 0 1 0 189244373 199192576 47439 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 48631 47439 655 886 0 47741 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 194524 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7485 /proc/meminfo: memFree=1472296/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=199460 CPUtime=1241.86 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 49776 0 0 0 123611 575 0 0 25 0 1 0 189244373 204247040 48724 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 49865 48724 655 886 0 48975 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 199460 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7485 /proc/meminfo: memFree=1466856/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=204984 CPUtime=1301.85 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 51117 0 0 0 129581 604 0 0 25 0 1 0 189244373 209903616 50060 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 51246 50060 655 886 0 50356 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 204984 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7485 /proc/meminfo: memFree=1461864/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=210064 CPUtime=1361.82 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 52370 0 0 0 135552 630 0 0 25 0 1 0 189244373 215105536 51296 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 52516 51296 655 886 0 51626 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 210064 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7485 /proc/meminfo: memFree=1455912/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=216248 CPUtime=1421.8 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 53849 0 0 0 141523 657 0 0 25 0 1 0 189244373 221437952 52775 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 54062 52775 655 886 0 53172 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 216248 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7485 /proc/meminfo: memFree=1451304/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=221108 CPUtime=1481.78 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 55045 0 0 0 147491 687 0 0 25 0 1 0 189244373 226414592 53965 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 55277 53965 655 886 0 54387 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 221108 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7487 /proc/meminfo: memFree=1445352/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=227092 CPUtime=1541.76 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 56478 0 0 0 153462 714 0 0 25 0 1 0 189244373 232542208 55397 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 56773 55397 655 886 0 55883 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 227092 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7487 /proc/meminfo: memFree=1439144/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=234564 CPUtime=1601.73 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 58176 0 0 0 159432 741 0 0 25 0 1 0 189244373 240193536 57094 1992294400 4194304 7823515 548682068736 18446744073709551615 5663860 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 58641 57094 655 886 0 57751 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 234564 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7487 /proc/meminfo: memFree=1434280/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=238840 CPUtime=1661.71 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 59233 0 0 0 165406 765 0 0 25 0 1 0 189244373 244572160 58151 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 59710 58151 655 886 0 58820 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 238840 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7487 /proc/meminfo: memFree=1428712/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=244580 CPUtime=1721.7 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 60660 0 0 0 171378 792 0 0 25 0 1 0 189244373 250449920 59578 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 61145 59578 655 886 0 60255 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 244580 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7487 /proc/meminfo: memFree=1423528/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=249648 CPUtime=1781.67 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 61918 0 0 0 177349 818 0 0 25 0 1 0 189244373 255639552 60836 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 62412 60836 655 886 0 61522 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 249648 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7487 /proc/meminfo: memFree=1421736/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=251516 CPUtime=1791.27 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 62361 0 0 0 178305 822 0 0 25 0 1 0 189244373 257552384 61279 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 62879 61279 655 886 0 61989 0 Current children cumulated CPU time (s) 1791.27 Current children cumulated vsize (KiB) 251516 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7487 /proc/meminfo: memFree=1420968/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=252276 CPUtime=1794.47 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 62551 0 0 0 178624 823 0 0 25 0 1 0 189244373 258330624 61469 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 63069 61469 655 886 0 62179 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 252276 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7487 /proc/meminfo: memFree=1419944/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=253548 CPUtime=1797.67 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 62857 0 0 0 178942 825 0 0 25 0 1 0 189244373 259633152 61775 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 63387 61775 655 886 0 62497 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 253548 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7487 /proc/meminfo: memFree=1419752/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=253548 CPUtime=1798.46 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 62858 0 0 0 179021 825 0 0 25 0 1 0 189244373 259633152 61776 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 63387 61776 655 886 0 62497 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (KiB) 253548 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7487 /proc/meminfo: memFree=1419688/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=253548 CPUtime=1799.27 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 62880 0 0 0 179101 826 0 0 25 0 1 0 189244373 259633152 61798 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7484/statm: 63387 61798 655 886 0 62497 0 Current children cumulated CPU time (s) 1799.27 Current children cumulated vsize (KiB) 253548 [startup+1800.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7487 /proc/meminfo: memFree=1419688/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=253548 CPUtime=1799.47 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 62884 0 0 0 179121 826 0 0 25 0 1 0 189244373 259633152 61802 1992294400 4194304 7823515 548682068736 18446744073709551615 4211754 0 0 4096 0 0 0 0 17 1 0 0 /proc/7484/statm: 63387 61802 658 886 0 62497 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (KiB) 253548 [startup+1800.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7487 /proc/meminfo: memFree=1419688/2055920 swapFree=4182544/4192956 [pid=7484] ppid=7482 vsize=253548 CPUtime=1799.57 /proc/7484/stat : 7484 (pbscip.linux.x8) R 7482 7484 7316 0 -1 4194304 62885 0 0 0 179131 826 0 0 25 0 1 0 189244373 259633152 61803 1992294400 4194304 7823515 548682068736 18446744073709551615 4401518 0 0 4096 0 0 0 0 17 1 0 0 /proc/7484/statm: 63387 61803 659 886 0 62497 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (KiB) 253548 Child status: 0 Real time (s): 1800.25 CPU time (s): 1799.63 CPU user time (s): 1791.33 CPU system time (s): 8.30274 CPU usage (%): 99.9652 Max. virtual memory (cumulated for all children) (KiB): 253548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.33 system time used= 8.30274 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62887 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= 5 involuntary context switches= 2789 runsolver used 1.58376 second user time and 4.15837 second system time The end
Begin job on node47 at 2009-06-17 07:28:00 IDJOB=1870708 IDBENCH=48353 IDSOLVER=683 FILE ID=node47/1870708-1245216480 PBS_JOBID= 9368418 Free space on /tmp= 65952 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_4_40.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870708-1245216480/watcher-1870708-1245216480 -o /tmp/evaluation-result-1870708-1245216480/solver-1870708-1245216480 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870708-1245216480.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 83d1e3d1d0816aba7f8b7eb415a5cecb RANDOM SEED=2096903512 node47.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.261 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.261 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1665680 kB Buffers: 65140 kB Cached: 238364 kB SwapCached: 4196 kB Active: 114372 kB Inactive: 197060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1665680 kB SwapTotal: 4192956 kB SwapFree: 4182544 kB Dirty: 10012 kB Writeback: 0 kB Mapped: 13676 kB Slab: 64692 kB Committed_AS: 195296 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 65944 MiB End job on node47 at 2009-06-17 07:58:00