| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? (TO) | 1800.16 | 1800.67 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_2_40.opb |
| MD5SUM | f3f7503aace115ec5eea1f9ed4e29626 |
| 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) | 2520 |
| Sum of products size (including duplicates) | 5040 |
| Number of different products | 1260 |
| Sum of products size | 2520 |
0.00/0.02 c SCIP version 1.1.0.7
0.00/0.02 c LP-Solver SoPlex 1.4.1
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c read problem <HOME/instance-1870612-1245213825.opb>
0.00/0.02 c original problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1562 constraints
0.00/0.04 c No objective function, only one solution is needed.
0.00/0.04 c start presolving problem
0.00/0.04 c presolving:
0.09/0.18 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10280 impls, 200 clqs
0.29/0.32 c presolving (2 rounds):
0.29/0.32 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.32 c 10280 implications, 200 cliques
0.29/0.32 c presolved problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1562 constraints
0.29/0.32 c 1 constraints of type <knapsack>
0.29/0.32 c 200 constraints of type <setppc>
0.29/0.32 c 1260 constraints of type <and>
0.29/0.32 c 1 constraints of type <linear>
0.29/0.32 c 100 constraints of type <logicor>
0.29/0.32 c transformed objective value is always integral (scale: 1)
0.29/0.32 c Presolving Time: 0.13
0.29/0.32 c SATUNSAT-NLC
0.29/0.32 c -----------------------------------------------------------------------------------------------
0.29/0.32 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.32 c separating/flowcover/freq = c -1
0.29/0.32 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.32 c separating/cmir/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/veclendiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.29/0.32 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/veclendiving/freq = c -1
0.29/0.32 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.32 c heuristics/simplerounding/freq = c -1
0.29/0.32 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/shifting/freq = c -1
0.29/0.32 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.32 c heuristics/rounding/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.29/0.32 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.29/0.32 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.32 c heuristics/rootsoldiving/freq = c -1
0.29/0.32 c # number of nodes added to the contingent of the total nodes
0.29/0.32 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.32 c heuristics/rens/nodesofs = c 2000
0.29/0.32 c # minimum percentage of integer variables that have to be fixable
0.29/0.32 c # [type: real, range: [0,1], default: 0.5]
0.29/0.32 c heuristics/rens/minfixingrate = c 0.3
0.29/0.32 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.32 c heuristics/rens/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.29/0.32 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/pscostdiving/freq = c -1
0.29/0.32 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.32 c heuristics/oneopt/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to total iteration number
0.29/0.32 c # [type: real, range: [0,1], default: 0.01]
0.29/0.32 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.29/0.32 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.32 c heuristics/objpscostdiving/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.29/0.32 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/linesearchdiving/freq = c -1
0.29/0.32 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/intshifting/freq = c -1
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/intdiving/maxlpiterquot = c 0.075
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/guideddiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.29/0.32 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/guideddiving/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/fracdiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.29/0.32 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/fracdiving/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/feaspump/maxlpiterofs = c 2000
0.29/0.32 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.32 c heuristics/feaspump/freq = c -1
0.29/0.32 c # minimum percentage of integer variables that have to be fixed
0.29/0.32 c # [type: real, range: [0,1], default: 0.666]
0.29/0.32 c heuristics/crossover/minfixingrate = c 0.5
0.29/0.32 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.29/0.32 c # [type: real, range: [0,1], default: 0.1]
0.29/0.32 c heuristics/crossover/nodesquot = c 0.15
0.29/0.32 c # number of nodes without incumbent change that heuristic should wait
0.29/0.32 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.29/0.32 c heuristics/crossover/nwaitingnodes = c 100
0.29/0.32 c # number of nodes added to the contingent of the total nodes
0.29/0.32 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.32 c heuristics/crossover/nodesofs = c 750
0.29/0.32 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 30]
0.29/0.32 c heuristics/crossover/freq = c -1
0.29/0.32 c # additional number of allowed LP iterations
0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.32 c heuristics/coefdiving/maxlpiterofs = c 1500
0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.32 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.29/0.32 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.32 c heuristics/coefdiving/freq = c -1
0.29/0.32 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.32 c presolving/probing/maxrounds = c 0
0.29/0.32 c # should presolving try to simplify knapsacks
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c constraints/knapsack/simplifyinequalities = c TRUE
0.29/0.32 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32 c constraints/knapsack/disaggregation = c FALSE
0.29/0.32 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.32 c constraints/knapsack/maxnumcardlift = c 0
0.29/0.32 c # should presolving try to simplify inequalities
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c constraints/linear/simplifyinequalities = c TRUE
0.29/0.32 c # maximal number of separation rounds in the root node (-1: unlimited)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.32 c separating/maxroundsroot = c 5
0.29/0.32 c # maximal number of separation rounds per node (-1: unlimited)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 5]
0.29/0.32 c separating/maxrounds = c 1
0.29/0.32 c # solving stops, if the given number of solutions were found (-1: no limit)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.32 c limits/solutions = c 1
0.29/0.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32 c limits/memory = c 1620
0.29/0.32 c # maximal time in seconds to run
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32 c limits/time = c 1791
0.29/0.32 c # frequency for displaying node information lines
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.32 c display/freq = c 10000
0.29/0.32 c -----------------------------------------------------------------------------------------------
0.29/0.32 c start solving problem
0.29/0.32 c
0.39/0.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.42 c 0.2s| 1 | 0 | 389 |6549k| 0 | 161 |1460 |1562 |1562 |1460 |2822 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf
0.69/0.75 c 0.5s| 1 | 0 | 410 |6608k| 0 | 161 |1460 |1562 |1562 |1460 |2823 | 1 | 0 | 0 | 8.000000e+01 | -- | Inf
0.99/1.05 c 0.8s| 1 | 0 | 430 |6631k| 0 | 162 |1460 |1562 |1562 |1460 |2824 | 2 | 0 | 0 | 8.000000e+01 | -- | Inf
1.69/1.74 c 1.5s| 1 | 0 | 561 |6665k| 0 | 164 |1460 |1562 |1562 |1460 |2825 | 3 | 0 | 0 | 8.000000e+01 | -- | Inf
2.49/2.56 c 2.3s| 1 | 0 | 680 |6729k| 0 | 163 |1460 |1562 |1562 |1460 |2826 | 4 | 0 | 0 | 8.000000e+01 | -- | Inf
3.50/3.53 c 3.3s| 1 | 0 | 811 |6793k| 0 | 163 |1460 |1562 |1562 |1460 |2827 | 5 | 0 | 0 | 8.000000e+01 | -- | Inf
9.90/9.94 c 9.7s| 1 | 2 | 811 |6794k| 0 | 163 |1460 |1562 |1562 |1460 |2827 | 5 | 0 | 33 | 8.000000e+01 | -- | Inf
68.07/68.13 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
68.07/68.13 c [src/scip/lpi_spx.cpp:1854] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
68.07/68.13 c (node 191) error in strong branching call for variable <t_andresultant575> with solution 0.361794
420.47/420.66 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
1199.26/1199.69 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
1257.64/1258.09 c 1248s| 10000 | 2268 | 2743k| 17M| 57 | - |1460 |2026 |1061 |1460 | 878 | 621k|2279 |9788 | 8.000000e+01 | -- | Inf
1800.09/1800.61 c
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time (sec) : 1786.73
1800.09/1800.61 c Solving Nodes : 14189
1800.09/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.61 c Dual Bound : +8.00000000000002e+01
1800.09/1800.61 c Gap : infinite
1800.09/1800.61 c NODE 14189
1800.09/1800.61 c DUAL BOUND 80
1800.09/1800.61 c PRIMAL BOUND 1e+20
1800.09/1800.61 c GAP 1e+20
1800.09/1800.61 s UNKNOWN
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time : 1786.73
1800.09/1800.61 c Original Problem :
1800.09/1800.61 c Problem name : HOME/instance-1870612-1245213825.opb
1800.09/1800.61 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 1562 initial, 1562 maximal
1800.09/1800.61 c Presolved Problem :
1800.09/1800.61 c Problem name : t_HOME/instance-1870612-1245213825.opb
1800.09/1800.61 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 1562 initial, 2245 maximal
1800.09/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c and : 0.12 0 0 0 0 0 0 0 0
1800.09/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c root node : - 0 - - 0 - - - -
1800.09/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c integral : 0 0 0 8575 0 55 343 0 0 16770
1800.09/1800.61 c knapsack : 1 5 40931 4 0 0 0 0 0 0
1800.09/1800.61 c setppc : 200 5 40931 4 0 1 117793 0 0 0
1800.09/1800.61 c and : 1260 11741 40930 4 0 13 1449060 1249022 0 0
1800.09/1800.61 c linear : 1 5 40917 0 0 0 0 0 0 0
1800.09/1800.61 c logicor : 100+ 5 16944 0 0 0 12317 0 0 0
1800.09/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.61 c integral : 331.02 0.00 0.00 331.02 0.00
1800.09/1800.61 c knapsack : 0.03 0.00 0.03 0.00 0.00
1800.09/1800.61 c setppc : 0.73 0.00 0.73 0.00 0.00
1800.09/1800.61 c and : 19.51 11.83 7.68 0.00 0.00
1800.09/1800.61 c linear : 0.69 0.00 0.69 0.00 0.00
1800.09/1800.61 c logicor : 0.56 0.00 0.56 0.00 0.00
1800.09/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.61 c rootredcost : 0.02 0 0 0
1800.09/1800.61 c pseudoobj : 4.58 40932 0 0
1800.09/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.61 c propagation : 0.00 14 14 14 2.1 0 0.0 -
1800.09/1800.61 c infeasible LP : 1.90 2006 1644 6734 22.4 0 0.0 0
1800.09/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.61 c applied globally : - - - 3404 26.1 - - -
1800.09/1800.61 c applied locally : - - - 0 0.0 - - -
1800.09/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.61 c cut pool : 0.00 4 - - 2 - (maximal pool size: 19)
1800.09/1800.61 c redcost : 1.48 11741 0 0 0 0
1800.09/1800.61 c impliedbounds : 0.00 5 0 0 0 0
1800.09/1800.61 c intobj : 0.00 0 0 0 0 0
1800.09/1800.61 c gomory : 1.51 5 0 0 1000 0
1800.09/1800.61 c strongcg : 1.24 5 0 0 1669 0
1800.09/1800.61 c cmir : 0.00 0 0 0 0 0
1800.09/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.61 c clique : 0.00 5 0 0 0 0
1800.09/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.61 c mcf : 0.01 1 0 0 0 0
1800.09/1800.61 c Pricers : Time Calls Vars
1800.09/1800.61 c problem variables: 0.00 0 0
1800.09/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c relpscost : 330.97 8571 55 343 0 0 16770
1800.09/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.09/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c random : 0.00 0 0 0 0 0 0
1800.09/1800.61 c Primal Heuristics : Time Calls Found
1800.09/1800.61 c LP solutions : 0.00 - 0
1800.09/1800.61 c pseudo solutions : 0.00 - 0
1800.09/1800.61 c simplerounding : 0.00 0 0
1800.09/1800.61 c rounding : 0.00 0 0
1800.09/1800.61 c shifting : 0.00 0 0
1800.09/1800.61 c intshifting : 0.00 0 0
1800.09/1800.61 c oneopt : 0.00 0 0
1800.09/1800.61 c fixandinfer : 0.00 0 0
1800.09/1800.61 c feaspump : 0.00 0 0
1800.09/1800.61 c coefdiving : 0.00 0 0
1800.09/1800.61 c pscostdiving : 0.00 0 0
1800.09/1800.61 c fracdiving : 0.00 0 0
1800.09/1800.61 c veclendiving : 0.00 0 0
1800.09/1800.61 c intdiving : 0.00 0 0
1800.09/1800.61 c actconsdiving : 0.00 0 0
1800.09/1800.61 c objpscostdiving : 0.00 0 0
1800.09/1800.61 c rootsoldiving : 0.00 0 0
1800.09/1800.61 c linesearchdiving : 0.00 0 0
1800.09/1800.61 c guideddiving : 0.00 0 0
1800.09/1800.61 c octane : 0.00 0 0
1800.09/1800.61 c rens : 0.00 0 0
1800.09/1800.61 c rins : 0.00 0 0
1800.09/1800.61 c localbranching : 0.00 0 0
1800.09/1800.61 c mutation : 0.00 0 0
1800.09/1800.61 c crossover : 0.00 0 0
1800.09/1800.61 c dins : 0.00 0 0
1800.09/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.61 c primal LP : 9.57 0 0 0.00 0.00
1800.09/1800.61 c dual LP : 1375.34 25745 4033730 156.68 2932.90
1800.09/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.61 c strong branching : 329.50 11851 1009629 85.19 3064.12
1800.09/1800.61 c (at root node) : - 33 9116 276.24 -
1800.09/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.61 c B&B Tree :
1800.09/1800.61 c number of runs : 1
1800.09/1800.61 c nodes : 14189
1800.09/1800.61 c nodes (total) : 14189
1800.09/1800.61 c nodes left : 2581
1800.09/1800.61 c max depth : 57
1800.09/1800.61 c max depth (total): 57
1800.09/1800.61 c backtracks : 2027 (14.3%)
1800.09/1800.61 c delayed cutoffs : 1
1800.09/1800.61 c repropagations : 2522 (3587 domain reductions, 0 cutoffs)
1800.09/1800.61 c avg switch length: 4.29
1800.09/1800.61 c switching time : 16.30
1800.09/1800.61 c Solution :
1800.09/1800.61 c Solutions found : 0 (0 improvements)
1800.09/1800.61 c Primal Bound : -
1800.09/1800.61 c Dual Bound : +8.00000000000002e+01
1800.09/1800.61 c Gap : infinite
1800.09/1800.61 c Root Dual Bound : +8.00000000000002e+01
1800.09/1800.66 c Time complete: 1800.15.
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-1870612-1245213825/watcher-1870612-1245213825 -o /tmp/evaluation-result-1870612-1245213825/solver-1870612-1245213825 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870612-1245213825.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: 0.92 0.98 0.99 3/64 15917 /proc/meminfo: memFree=1852728/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=4324 CPUtime=0 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 478 0 0 0 0 0 0 0 18 0 1 0 188982858 4427776 463 1992294400 4194304 7823515 548682068736 18446744073709551615 6858000 0 0 4096 0 0 0 0 17 1 0 0 /proc/15917/statm: 1122 472 306 886 0 232 0 [startup+0.043514 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15917 /proc/meminfo: memFree=1852728/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=15140 CPUtime=0.04 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 3204 0 0 0 3 1 0 0 18 0 1 0 188982858 15503360 2832 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 3785 2832 404 886 0 2895 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15140 [startup+0.10152 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15917 /proc/meminfo: memFree=1852728/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=16476 CPUtime=0.09 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 3506 0 0 0 4 5 0 0 18 0 1 0 188982858 16871424 3134 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 4119 3134 404 886 0 3229 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16476 [startup+0.30154 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15917 /proc/meminfo: memFree=1852728/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=18520 CPUtime=0.29 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 4066 0 0 0 14 15 0 0 19 0 1 0 188982858 18964480 3694 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 4630 3694 442 886 0 3740 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18520 [startup+0.701581 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15917 /proc/meminfo: memFree=1852728/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=32612 CPUtime=0.69 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 7798 0 0 0 51 18 0 0 19 0 1 0 188982858 33394688 7362 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 8153 7362 540 886 0 7263 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32612 [startup+1.50167 s] /proc/loadavg: 0.92 0.98 0.99 2/65 15918 /proc/meminfo: memFree=1824304/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=37316 CPUtime=1.49 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 8998 0 0 0 128 21 0 0 25 0 1 0 188982858 38211584 8562 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 9329 8562 552 886 0 8439 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37316 [startup+3.10283 s] /proc/loadavg: 0.92 0.98 0.99 2/65 15918 /proc/meminfo: memFree=1817520/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=42248 CPUtime=3.09 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 10305 0 0 0 287 22 0 0 25 0 1 0 188982858 43261952 9819 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 10562 9819 552 886 0 9672 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42248 [startup+6.30116 s] /proc/loadavg: 0.93 0.98 0.99 2/65 15918 /proc/meminfo: memFree=1814832/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=44104 CPUtime=6.29 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 10578 0 0 0 605 24 0 0 25 0 1 0 188982858 45162496 10092 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 11026 10092 555 886 0 10136 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44104 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.99 2/65 15918 /proc/meminfo: memFree=1813752/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=44104 CPUtime=12.68 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 10721 0 0 0 1241 27 0 0 25 0 1 0 188982858 45162496 10235 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 11026 10235 565 886 0 10136 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44104 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/65 15918 /proc/meminfo: memFree=1813752/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=44104 CPUtime=25.49 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 10722 0 0 0 2509 40 0 0 25 0 1 0 188982858 45162496 10236 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 11026 10236 565 886 0 10136 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44104 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/65 15918 /proc/meminfo: memFree=1813752/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=44104 CPUtime=51.08 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 10722 0 0 0 5049 59 0 0 25 0 1 0 188982858 45162496 10236 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 11026 10236 565 886 0 10136 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 44104 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 15918 /proc/meminfo: memFree=1813688/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=44104 CPUtime=102.26 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 10824 0 0 0 10132 94 0 0 25 0 1 0 188982858 45162496 10338 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 11026 10338 652 886 0 10136 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 44104 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15918 /proc/meminfo: memFree=1813432/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=44104 CPUtime=162.25 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 10873 0 0 0 16081 144 0 0 25 0 1 0 188982858 45162496 10387 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 11026 10387 652 886 0 10136 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 44104 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15918 /proc/meminfo: memFree=1811960/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=45500 CPUtime=222.22 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 11229 0 0 0 22036 186 0 0 25 0 1 0 188982858 46592000 10743 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 11375 10743 652 886 0 10485 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 45500 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15918 /proc/meminfo: memFree=1811320/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=46148 CPUtime=282.21 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 11374 0 0 0 27991 230 0 0 25 0 1 0 188982858 47255552 10888 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 11537 10888 652 886 0 10647 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 46148 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15918 /proc/meminfo: memFree=1810296/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=47204 CPUtime=342.2 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 11648 0 0 0 33945 275 0 0 25 0 1 0 188982858 48336896 11162 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 11801 11162 652 886 0 10911 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 47204 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15918 /proc/meminfo: memFree=1809464/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=48008 CPUtime=402.18 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 11875 0 0 0 39899 319 0 0 25 0 1 0 188982858 49160192 11389 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 12002 11389 652 886 0 11112 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 48008 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15918 /proc/meminfo: memFree=1808504/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=48980 CPUtime=462.16 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 12098 0 0 0 45855 361 0 0 25 0 1 0 188982858 50155520 11612 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 12245 11612 652 886 0 11355 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 48980 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15920 /proc/meminfo: memFree=1807288/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=50148 CPUtime=522.14 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 12379 0 0 0 51806 408 0 0 25 0 1 0 188982858 51351552 11893 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 12537 11893 652 886 0 11647 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 50148 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15920 /proc/meminfo: memFree=1806520/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=50828 CPUtime=582.13 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 12556 0 0 0 57764 449 0 0 25 0 1 0 188982858 52047872 12070 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 12707 12070 652 886 0 11817 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 50828 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15920 /proc/meminfo: memFree=1806328/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=51040 CPUtime=642.11 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 12589 0 0 0 63716 495 0 0 25 0 1 0 188982858 52264960 12103 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 12760 12103 652 886 0 11870 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 51040 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15920 /proc/meminfo: memFree=1803384/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=53872 CPUtime=822.06 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 13313 0 0 0 81579 627 0 0 25 0 1 0 188982858 55164928 12827 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 13468 12827 652 886 0 12578 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 53872 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15920 /proc/meminfo: memFree=1802744/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=54420 CPUtime=882.04 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 13457 0 0 0 87531 673 0 0 25 0 1 0 188982858 55726080 12971 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 13605 12971 652 886 0 12715 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 54420 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15920 /proc/meminfo: memFree=1802104/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=55120 CPUtime=942.02 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 13635 0 0 0 93485 717 0 0 25 0 1 0 188982858 56442880 13149 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 13780 13149 652 886 0 12890 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 55120 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15920 /proc/meminfo: memFree=1801336/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=55824 CPUtime=1002.01 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 13810 0 0 0 99440 761 0 0 25 0 1 0 188982858 57163776 13324 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 13956 13324 652 886 0 13066 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 55824 [startup+1062.3 s] /proc/loadavg: 1.11 1.02 1.01 2/65 15926 /proc/meminfo: memFree=1800568/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=56420 CPUtime=1061.99 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 13960 0 0 0 105389 810 0 0 25 0 1 0 188982858 57774080 13474 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 14105 13474 652 886 0 13215 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 56420 [startup+1122.3 s] /proc/loadavg: 1.11 1.03 1.00 2/65 15926 /proc/meminfo: memFree=1798968/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=57984 CPUtime=1121.97 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 14352 0 0 0 111345 852 0 0 25 0 1 0 188982858 59375616 13866 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 14496 13866 652 886 0 13606 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 57984 [startup+1182.3 s] /proc/loadavg: 1.11 1.04 1.00 2/65 15926 /proc/meminfo: memFree=1798968/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=57984 CPUtime=1181.95 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 14353 0 0 0 117296 899 0 0 25 0 1 0 188982858 59375616 13867 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 14496 13867 652 886 0 13606 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 57984 [startup+1242.3 s] /proc/loadavg: 1.10 1.04 1.00 2/65 15926 /proc/meminfo: memFree=1798072/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=58756 CPUtime=1241.94 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 14574 0 0 0 123254 940 0 0 25 0 1 0 188982858 60166144 14088 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 14689 14088 652 886 0 13799 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 58756 [startup+1302.3 s] /proc/loadavg: 1.04 1.03 1.00 2/65 15926 /proc/meminfo: memFree=1797752/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=59088 CPUtime=1301.92 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 14646 0 0 0 129213 979 0 0 25 0 1 0 188982858 60506112 14160 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 14772 14160 652 886 0 13882 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 59088 [startup+1362.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 15926 /proc/meminfo: memFree=1797368/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=59508 CPUtime=1361.9 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 14731 0 0 0 135163 1027 0 0 25 0 1 0 188982858 60936192 14245 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 14877 14245 652 886 0 13987 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 59508 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/65 15926 /proc/meminfo: memFree=1797176/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=59892 CPUtime=1421.89 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 14771 0 0 0 141122 1067 0 0 25 0 1 0 188982858 61329408 14285 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 14973 14285 652 886 0 14083 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 59892 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 15926 /proc/meminfo: memFree=1796920/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=60256 CPUtime=1481.88 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 14826 0 0 0 147076 1112 0 0 25 0 1 0 188982858 61702144 14340 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 15064 14340 652 886 0 14174 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 60256 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 15926 /proc/meminfo: memFree=1796792/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=60256 CPUtime=1541.85 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 14857 0 0 0 153030 1155 0 0 25 0 1 0 188982858 61702144 14371 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 15064 14371 652 886 0 14174 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 60256 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15926 /proc/meminfo: memFree=1796088/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=60680 CPUtime=1601.84 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 15021 0 0 0 158986 1198 0 0 25 0 1 0 188982858 62136320 14535 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 15170 14535 652 886 0 14280 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 60680 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15926 /proc/meminfo: memFree=1795512/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=61064 CPUtime=1661.83 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 15150 0 0 0 164945 1238 0 0 25 0 1 0 188982858 62529536 14664 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 15266 14664 652 886 0 14376 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 61064 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15926 /proc/meminfo: memFree=1795512/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=61064 CPUtime=1721.8 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 15151 0 0 0 170900 1280 0 0 25 0 1 0 188982858 62529536 14665 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 15266 14665 652 886 0 14376 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 61064 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15926 /proc/meminfo: memFree=1795192/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=61468 CPUtime=1781.79 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 15222 0 0 0 176855 1324 0 0 25 0 1 0 188982858 62943232 14736 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 15367 14736 652 886 0 14477 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 61468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15926 /proc/meminfo: memFree=1795192/2055920 swapFree=4181840/4192956 [pid=15917] ppid=15915 vsize=61468 CPUtime=1800.09 /proc/15917/stat : 15917 (pbscip.linux.x8) R 15915 15917 15125 0 -1 4194304 15222 0 0 0 178674 1335 0 0 25 0 1 0 188982858 62943232 14736 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15917/statm: 15367 14736 652 886 0 14477 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 61468 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.16 CPU user time (s): 1786.8 CPU system time (s): 13.367 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 61468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.8 system time used= 13.367 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15229 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= 1836 runsolver used 1.42178 second user time and 3.59145 second system time The end
Begin job on node24 at 2009-06-17 06:43:45 IDJOB=1870612 IDBENCH=48305 IDSOLVER=683 FILE ID=node24/1870612-1245213825 PBS_JOBID= 9368355 Free space on /tmp= 66364 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_100_10_2_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-1870612-1245213825/watcher-1870612-1245213825 -o /tmp/evaluation-result-1870612-1245213825/solver-1870612-1245213825 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870612-1245213825.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f3f7503aace115ec5eea1f9ed4e29626 RANDOM SEED=2025242701 node24.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.231 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.231 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: 1853144 kB Buffers: 25984 kB Cached: 103800 kB SwapCached: 5332 kB Active: 26588 kB Inactive: 111048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853144 kB SwapTotal: 4192956 kB SwapFree: 4181840 kB Dirty: 9864 kB Writeback: 0 kB Mapped: 13028 kB Slab: 50976 kB Committed_AS: 216504 kB PageTables: 1444 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= 66352 MiB End job on node24 at 2009-06-17 07:13:48