| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? (TO) | 1800.28 | 1805.88 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_5_40.opb |
| MD5SUM | 813576a353dee8860ef5bb1ebdae9d95 |
| 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) | 2504 |
| Sum of products size (including duplicates) | 5008 |
| Number of different products | 1252 |
| Sum of products size | 2504 |
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-1870726-1245217302.opb>
0.00/0.02 c original problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 1554 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.10/0.18 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10216 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 10216 implications, 200 cliques
0.29/0.32 c presolved problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 1554 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 1252 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.12
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.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.41 c 0.2s| 1 | 0 | 323 |6512k| 0 | 160 |1452 |1554 |1554 |1452 |2806 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf
0.69/0.73 c 0.5s| 1 | 0 | 344 |6560k| 0 | 161 |1452 |1554 |1554 |1452 |2807 | 1 | 0 | 0 | 8.000000e+01 | -- | Inf
1.30/1.30 c 1.1s| 1 | 0 | 451 |6602k| 0 | 162 |1452 |1554 |1554 |1452 |2808 | 2 | 0 | 0 | 8.000000e+01 | -- | Inf
1.89/1.96 c 1.7s| 1 | 0 | 505 |6650k| 0 | 162 |1452 |1554 |1554 |1452 |2810 | 4 | 0 | 0 | 8.000000e+01 | -- | Inf
2.68/2.70 c 2.5s| 1 | 0 | 639 |6667k| 0 | 162 |1452 |1554 |1554 |1452 |2811 | 5 | 0 | 0 | 8.000000e+01 | -- | Inf
11.19/11.25 c 11.0s| 1 | 2 | 639 |6668k| 0 | 162 |1452 |1554 |1554 |1452 |2811 | 5 | 0 | 33 | 8.000000e+01 | -- | Inf
224.69/224.94 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
231.80/232.07 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
500.19/501.22 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
500.19/501.22 c [src/scip/lpi_spx.cpp:1854] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
500.19/501.22 c (node 3765) error in strong branching call for variable <t_andresultant17> with solution 0.000209811
750.41/752.51 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
1255.43/1258.63 c 1245s| 10000 | 2000 | 2800k| 17M| 43 | 235 |1452 |2114 |1118 |1452 | 748 | 631k|2458 | 10k| 8.000000e+01 | -- | Inf
1654.16/1658.78 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
1800.19/1805.81 c
1800.19/1805.81 c SCIP Status : solving was interrupted [user interrupt]
1800.19/1805.81 c Solving Time (sec) : 1785.47
1800.19/1805.81 c Solving Nodes : 14544
1800.19/1805.81 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.19/1805.81 c Dual Bound : +8.00000000000002e+01
1800.19/1805.81 c Gap : infinite
1800.19/1805.81 c NODE 14544
1800.19/1805.81 c DUAL BOUND 80
1800.19/1805.81 c PRIMAL BOUND 1e+20
1800.19/1805.81 c GAP 1e+20
1800.19/1805.81 s UNKNOWN
1800.19/1805.81 c SCIP Status : solving was interrupted [user interrupt]
1800.19/1805.81 c Solving Time : 1785.47
1800.19/1805.81 c Original Problem :
1800.19/1805.81 c Problem name : HOME/instance-1870726-1245217302.opb
1800.19/1805.81 c Variables : 1452 (1452 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.19/1805.81 c Constraints : 1554 initial, 1554 maximal
1800.19/1805.81 c Presolved Problem :
1800.19/1805.81 c Problem name : t_HOME/instance-1870726-1245217302.opb
1800.19/1805.81 c Variables : 1452 (1452 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.19/1805.81 c Constraints : 1554 initial, 2363 maximal
1800.19/1805.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.19/1805.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.19/1805.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.19/1805.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.19/1805.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.19/1805.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.19/1805.81 c probing : 0.00 0 0 0 0 0 0 0 0
1800.19/1805.82 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.19/1805.82 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.19/1805.82 c and : 0.11 0 0 0 0 0 0 0 0
1800.19/1805.82 c linear : 0.01 0 0 0 0 0 0 0 0
1800.19/1805.82 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.19/1805.82 c root node : - 0 - - 0 - - - -
1800.19/1805.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.19/1805.82 c integral : 0 0 0 8752 0 52 371 0 0 17118
1800.19/1805.82 c knapsack : 1 5 42284 1 0 0 0 0 0 0
1800.19/1805.82 c setppc : 200 5 42284 1 0 3 121047 0 0 0
1800.19/1805.82 c and : 1252 12069 42281 1 0 25 1474687 1307032 0 0
1800.19/1805.82 c linear : 1 5 42256 0 0 0 0 0 0 0
1800.19/1805.82 c logicor : 100+ 5 17548 0 0 0 12448 0 0 0
1800.19/1805.82 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.19/1805.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.19/1805.82 c integral : 322.72 0.00 0.00 322.72 0.00
1800.19/1805.82 c knapsack : 0.02 0.00 0.02 0.00 0.00
1800.19/1805.82 c setppc : 0.61 0.00 0.61 0.00 0.00
1800.19/1805.82 c and : 20.69 12.43 8.26 0.00 0.00
1800.19/1805.82 c linear : 0.90 0.00 0.90 0.00 0.00
1800.19/1805.82 c logicor : 0.60 0.00 0.60 0.00 0.00
1800.19/1805.82 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.19/1805.82 c Propagators : Time Calls Cutoffs DomReds
1800.19/1805.82 c rootredcost : 0.09 0 0 0
1800.19/1805.82 c pseudoobj : 4.51 42285 0 0
1800.19/1805.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.19/1805.82 c propagation : 0.00 28 28 30 3.6 0 0.0 -
1800.19/1805.82 c infeasible LP : 2.34 2139 1719 8109 21.0 0 0.0 0
1800.19/1805.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.19/1805.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.19/1805.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.19/1805.82 c applied globally : - - - 3639 25.2 - - -
1800.19/1805.82 c applied locally : - - - 0 0.0 - - -
1800.19/1805.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.19/1805.82 c cut pool : 0.00 4 - - 3 - (maximal pool size: 12)
1800.19/1805.82 c redcost : 1.29 12069 0 0 0 0
1800.19/1805.82 c impliedbounds : 0.00 5 0 0 0 0
1800.19/1805.82 c intobj : 0.00 0 0 0 0 0
1800.19/1805.82 c gomory : 1.51 5 0 0 547 0
1800.19/1805.82 c strongcg : 1.22 5 0 0 1383 0
1800.19/1805.82 c cmir : 0.00 0 0 0 0 0
1800.19/1805.82 c flowcover : 0.00 0 0 0 0 0
1800.19/1805.82 c clique : 0.02 5 0 0 0 0
1800.19/1805.82 c zerohalf : 0.00 0 0 0 0 0
1800.19/1805.82 c mcf : 0.00 1 0 0 0 0
1800.19/1805.82 c Pricers : Time Calls Vars
1800.19/1805.82 c problem variables: 0.00 0 0
1800.19/1805.82 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.19/1805.82 c relpscost : 322.67 8751 52 371 0 0 17118
1800.19/1805.82 c pscost : 0.00 0 0 0 0 0 0
1800.19/1805.82 c inference : 0.00 0 0 0 0 0 0
1800.19/1805.82 c mostinf : 0.00 0 0 0 0 0 0
1800.19/1805.82 c leastinf : 0.00 0 0 0 0 0 0
1800.19/1805.82 c fullstrong : 0.00 0 0 0 0 0 0
1800.19/1805.82 c allfullstrong : 0.00 0 0 0 0 0 0
1800.19/1805.82 c random : 0.00 0 0 0 0 0 0
1800.19/1805.82 c Primal Heuristics : Time Calls Found
1800.19/1805.82 c LP solutions : 0.00 - 0
1800.19/1805.82 c pseudo solutions : 0.00 - 0
1800.19/1805.82 c simplerounding : 0.00 0 0
1800.19/1805.82 c rounding : 0.00 0 0
1800.19/1805.82 c shifting : 0.00 0 0
1800.19/1805.82 c intshifting : 0.00 0 0
1800.19/1805.82 c oneopt : 0.00 0 0
1800.19/1805.82 c fixandinfer : 0.00 0 0
1800.19/1805.82 c feaspump : 0.00 0 0
1800.19/1805.82 c coefdiving : 0.00 0 0
1800.19/1805.82 c pscostdiving : 0.00 0 0
1800.19/1805.82 c fracdiving : 0.00 0 0
1800.19/1805.82 c veclendiving : 0.00 0 0
1800.19/1805.82 c intdiving : 0.00 0 0
1800.19/1805.82 c actconsdiving : 0.00 0 0
1800.19/1805.82 c objpscostdiving : 0.00 0 0
1800.19/1805.82 c rootsoldiving : 0.00 0 0
1800.19/1805.82 c linesearchdiving : 0.00 0 0
1800.19/1805.82 c guideddiving : 0.00 0 0
1800.19/1805.82 c octane : 0.00 0 0
1800.19/1805.82 c rens : 0.00 0 0
1800.19/1805.82 c rins : 0.00 0 0
1800.19/1805.82 c localbranching : 0.00 0 0
1800.19/1805.82 c mutation : 0.00 0 0
1800.19/1805.82 c crossover : 0.00 0 0
1800.19/1805.82 c dins : 0.00 0 0
1800.19/1805.82 c LP : Time Calls Iterations Iter/call Iter/sec
1800.19/1805.82 c primal LP : 9.73 0 0 0.00 0.00
1800.19/1805.82 c dual LP : 1378.47 26450 4137109 156.41 3001.23
1800.19/1805.82 c barrier LP : 0.00 0 0 0.00 -
1800.19/1805.82 c diving/probing LP: 0.00 0 0 0.00 -
1800.19/1805.82 c strong branching : 320.99 12473 1004949 80.57 3130.78
1800.19/1805.82 c (at root node) : - 33 11080 335.76 -
1800.19/1805.82 c conflict analysis: 0.00 0 0 0.00 -
1800.19/1805.82 c B&B Tree :
1800.19/1805.82 c number of runs : 1
1800.19/1805.82 c nodes : 14544
1800.19/1805.82 c nodes (total) : 14544
1800.19/1805.82 c nodes left : 2574
1800.19/1805.82 c max depth : 48
1800.19/1805.82 c max depth (total): 48
1800.19/1805.82 c backtracks : 2290 (15.7%)
1800.19/1805.82 c delayed cutoffs : 1
1800.19/1805.82 c repropagations : 2563 (2830 domain reductions, 0 cutoffs)
1800.19/1805.82 c avg switch length: 4.74
1800.19/1805.82 c switching time : 17.06
1800.19/1805.82 c Solution :
1800.19/1805.82 c Solutions found : 0 (0 improvements)
1800.19/1805.82 c Primal Bound : -
1800.19/1805.82 c Dual Bound : +8.00000000000002e+01
1800.19/1805.82 c Gap : infinite
1800.19/1805.82 c Root Dual Bound : +8.00000000000002e+01
1800.19/1805.87 c Time complete: 1800.26.
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-1870726-1245217302/watcher-1870726-1245217302 -o /tmp/evaluation-result-1870726-1245217302/solver-1870726-1245217302 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870726-1245217302.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.24 1.51 1.57 3/72 12097 /proc/meminfo: memFree=1783304/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=6100 CPUtime=0 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 593 0 0 0 0 0 0 0 18 0 1 0 189324175 6246400 576 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/12097/statm: 1525 585 325 886 0 635 0 [startup+0.074751 s] /proc/loadavg: 1.24 1.51 1.57 3/72 12097 /proc/meminfo: memFree=1783304/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=16464 CPUtime=0.06 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 3503 0 0 0 3 3 0 0 18 0 1 0 189324175 16859136 3131 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 4116 3131 404 886 0 3226 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 16464 [startup+0.112775 s] /proc/loadavg: 1.24 1.51 1.57 3/72 12097 /proc/meminfo: memFree=1783304/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=16464 CPUtime=0.1 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 3503 0 0 0 4 6 0 0 18 0 1 0 189324175 16859136 3131 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 4116 3131 404 886 0 3226 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 16464 [startup+0.301778 s] /proc/loadavg: 1.24 1.51 1.57 3/72 12097 /proc/meminfo: memFree=1783304/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=18500 CPUtime=0.29 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 4061 0 0 0 13 16 0 0 19 0 1 0 189324175 18944000 3689 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 4625 3689 442 886 0 3735 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18500 [startup+0.701816 s] /proc/loadavg: 1.24 1.51 1.57 3/72 12097 /proc/meminfo: memFree=1783304/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=32688 CPUtime=0.69 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 7803 0 0 0 50 19 0 0 23 0 1 0 189324175 33472512 7368 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 8172 7368 540 886 0 7282 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32688 [startup+1.50217 s] /proc/loadavg: 1.24 1.51 1.57 2/73 12098 /proc/meminfo: memFree=1755456/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=37312 CPUtime=1.49 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 9007 0 0 0 128 21 0 0 25 0 1 0 189324175 38207488 8561 1992294400 4194304 7823515 548682068736 18446744073709551615 4338438 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 9328 8561 552 886 0 8438 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37312 [startup+3.10105 s] /proc/loadavg: 1.24 1.51 1.57 3/73 12098 /proc/meminfo: memFree=1746368/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=41864 CPUtime=3.08 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 10245 0 0 0 287 21 0 0 25 0 1 0 189324175 42868736 9749 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 10466 9749 552 886 0 9576 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 41864 [startup+6.30237 s] /proc/loadavg: 1.38 1.54 1.58 3/73 12098 /proc/meminfo: memFree=1745856/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=41864 CPUtime=6.28 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 10248 0 0 0 605 23 0 0 25 0 1 0 189324175 42868736 9752 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 10466 9752 555 886 0 9576 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 41864 [startup+12.702 s] /proc/loadavg: 1.43 1.54 1.58 2/73 12098 /proc/meminfo: memFree=1745864/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=41864 CPUtime=12.68 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 10251 0 0 0 1242 26 0 0 25 0 1 0 189324175 42868736 9755 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 10466 9755 558 886 0 9576 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 41864 [startup+25.5022 s] /proc/loadavg: 1.42 1.53 1.57 2/73 12098 /proc/meminfo: memFree=1745864/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=41864 CPUtime=25.45 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 10259 0 0 0 2505 40 0 0 25 0 1 0 189324175 42868736 9763 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 10466 9763 565 886 0 9576 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 41864 [startup+51.1065 s] /proc/loadavg: 1.56 1.55 1.58 2/73 12098 /proc/meminfo: memFree=1745928/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=41864 CPUtime=51.05 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 10260 0 0 0 5042 63 0 0 25 0 1 0 189324175 42868736 9764 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 10466 9764 565 886 0 9576 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 41864 [startup+102.306 s] /proc/loadavg: 1.60 1.56 1.58 2/73 12098 /proc/meminfo: memFree=1745928/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=41864 CPUtime=102.24 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 10260 0 0 0 10121 103 0 0 25 0 1 0 189324175 42868736 9764 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 10466 9764 565 886 0 9576 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 41864 [startup+162.302 s] /proc/loadavg: 1.92 1.63 1.59 2/73 12098 /proc/meminfo: memFree=1745800/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=41864 CPUtime=162.11 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 10260 0 0 0 16061 150 0 0 25 0 1 0 189324175 42868736 9764 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 10466 9764 565 886 0 9576 0 Current children cumulated CPU time (s) 162.11 Current children cumulated vsize (KiB) 41864 [startup+222.302 s] /proc/loadavg: 1.77 1.63 1.60 3/73 12098 /proc/meminfo: memFree=1745672/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=42168 CPUtime=222.09 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 10339 0 0 0 22012 197 0 0 25 0 1 0 189324175 43180032 9843 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 10542 9843 565 886 0 9652 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 42168 [startup+282.302 s] /proc/loadavg: 1.60 1.62 1.59 4/73 12098 /proc/meminfo: memFree=1744520/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=43288 CPUtime=281.93 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 10723 0 0 0 27947 246 0 0 25 0 1 0 189324175 44326912 10227 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 10822 10227 652 886 0 9932 0 Current children cumulated CPU time (s) 281.93 Current children cumulated vsize (KiB) 43288 [startup+342.301 s] /proc/loadavg: 1.70 1.65 1.61 3/73 12098 /proc/meminfo: memFree=1743368/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=44240 CPUtime=341.9 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 10969 0 0 0 33898 292 0 0 25 0 1 0 189324175 45301760 10473 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 11060 10473 652 886 0 10170 0 Current children cumulated CPU time (s) 341.9 Current children cumulated vsize (KiB) 44240 [startup+402.302 s] /proc/loadavg: 1.53 1.62 1.60 2/73 12098 /proc/meminfo: memFree=1742280/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=45312 CPUtime=401.63 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 11238 0 0 0 39823 340 0 0 25 0 1 0 189324175 46399488 10742 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 11328 10742 652 886 0 10438 0 Current children cumulated CPU time (s) 401.63 Current children cumulated vsize (KiB) 45312 [startup+462.302 s] /proc/loadavg: 1.41 1.57 1.58 2/73 12098 /proc/meminfo: memFree=1741512/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=46128 CPUtime=461.59 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 11416 0 0 0 45777 382 0 0 25 0 1 0 189324175 47235072 10920 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 11532 10920 652 886 0 10642 0 Current children cumulated CPU time (s) 461.59 Current children cumulated vsize (KiB) 46128 [startup+522.302 s] /proc/loadavg: 1.80 1.64 1.60 2/73 12098 /proc/meminfo: memFree=1740040/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=47688 CPUtime=521.06 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 11784 0 0 0 51676 430 0 0 25 0 1 0 189324175 48832512 11288 1992294400 4194304 7823515 548682068736 18446744073709551615 6216399 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 11922 11288 652 886 0 11032 0 Current children cumulated CPU time (s) 521.06 Current children cumulated vsize (KiB) 47688 [startup+582.302 s] /proc/loadavg: 1.87 1.69 1.62 3/73 12098 /proc/meminfo: memFree=1739016/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=48636 CPUtime=580.33 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 12058 0 0 0 57542 491 0 0 25 0 1 0 189324175 49803264 11562 1992294400 4194304 7823515 548682068736 18446744073709551615 6180650 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 12159 11562 652 886 0 11269 0 Current children cumulated CPU time (s) 580.33 Current children cumulated vsize (KiB) 48636 [startup+642.302 s] /proc/loadavg: 1.60 1.66 1.62 2/73 12098 /proc/meminfo: memFree=1737864/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=50088 CPUtime=640.26 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 12336 0 0 0 63490 536 0 0 25 0 1 0 189324175 51290112 11840 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 12522 11840 653 886 0 11632 0 Current children cumulated CPU time (s) 640.26 Current children cumulated vsize (KiB) 50088 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.74 1.72 1.64 2/73 12100 /proc/meminfo: memFree=1735176/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=52336 CPUtime=879.48 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 12948 0 0 0 87221 727 0 0 25 0 1 0 189324175 53592064 12452 1992294400 4194304 7823515 548682068736 18446744073709551615 6216229 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 13084 12452 653 886 0 12194 0 Current children cumulated CPU time (s) 879.48 Current children cumulated vsize (KiB) 52336 [startup+942.301 s] /proc/loadavg: 1.86 1.76 1.66 2/73 12100 /proc/meminfo: memFree=1734856/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=52600 CPUtime=939.35 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 13031 0 0 0 93164 771 0 0 25 0 1 0 189324175 53862400 12535 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 13150 12535 653 886 0 12260 0 Current children cumulated CPU time (s) 939.35 Current children cumulated vsize (KiB) 52600 [startup+1002.3 s] /proc/loadavg: 1.97 1.79 1.67 2/73 12100 /proc/meminfo: memFree=1734216/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=53512 CPUtime=999.33 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 13176 0 0 0 99124 809 0 0 25 0 1 0 189324175 54796288 12680 1992294400 4194304 7823515 548682068736 18446744073709551615 6151312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 13378 12680 653 886 0 12488 0 Current children cumulated CPU time (s) 999.33 Current children cumulated vsize (KiB) 53512 [startup+1062.3 s] /proc/loadavg: 1.96 1.82 1.68 2/73 12100 /proc/meminfo: memFree=1734088/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=53512 CPUtime=1059.31 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 13200 0 0 0 105070 861 0 0 25 0 1 0 189324175 54796288 12704 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 13378 12704 653 886 0 12488 0 Current children cumulated CPU time (s) 1059.31 Current children cumulated vsize (KiB) 53512 [startup+1122.3 s] /proc/loadavg: 1.89 1.80 1.69 2/73 12100 /proc/meminfo: memFree=1733448/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=53952 CPUtime=1119.29 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 13361 0 0 0 111021 908 0 0 25 0 1 0 189324175 55246848 12865 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 13488 12865 653 886 0 12598 0 Current children cumulated CPU time (s) 1119.29 Current children cumulated vsize (KiB) 53952 [startup+1182.3 s] /proc/loadavg: 2.18 1.94 1.74 2/73 12106 /proc/meminfo: memFree=1733120/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=53952 CPUtime=1179.25 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 13367 0 0 0 116972 953 0 0 25 0 1 0 189324175 55246848 12871 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 13488 12871 653 886 0 12598 0 Current children cumulated CPU time (s) 1179.25 Current children cumulated vsize (KiB) 53952 [startup+1242.3 s] /proc/loadavg: 2.44 2.04 1.78 2/73 12106 /proc/meminfo: memFree=1732608/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=54664 CPUtime=1239.13 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 13515 0 0 0 122908 1005 0 0 25 0 1 0 189324175 55975936 13019 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 13666 13019 653 886 0 12776 0 Current children cumulated CPU time (s) 1239.13 Current children cumulated vsize (KiB) 54664 [startup+1302.3 s] /proc/loadavg: 1.76 1.91 1.75 2/73 12106 /proc/meminfo: memFree=1731712/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=55316 CPUtime=1299.06 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 13735 0 0 0 128858 1048 0 0 25 0 1 0 189324175 56643584 13239 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 13829 13239 653 886 0 12939 0 Current children cumulated CPU time (s) 1299.06 Current children cumulated vsize (KiB) 55316 [startup+1362.3 s] /proc/loadavg: 1.54 1.82 1.73 2/73 12106 /proc/meminfo: memFree=1731648/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=55496 CPUtime=1359.03 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 13748 0 0 0 134811 1092 0 0 25 0 1 0 189324175 56827904 13252 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 13874 13252 653 886 0 12984 0 Current children cumulated CPU time (s) 1359.03 Current children cumulated vsize (KiB) 55496 [startup+1422.31 s] /proc/loadavg: 1.54 1.77 1.72 2/73 12106 /proc/meminfo: memFree=1730496/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=56532 CPUtime=1418.84 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 14031 0 0 0 140742 1142 0 0 25 0 1 0 189324175 57888768 13535 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12097/statm: 14133 13535 653 886 0 13243 0 Current children cumulated CPU time (s) 1418.84 Current children cumulated vsize (KiB) 56532 [startup+1482.3 s] /proc/loadavg: 1.73 1.79 1.72 2/73 12106 /proc/meminfo: memFree=1730184/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=56864 CPUtime=1478.18 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 14117 0 0 0 146621 1197 0 0 25 0 1 0 189324175 58228736 13621 1992294400 4194304 7823515 548682068736 18446744073709551615 6216233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 14216 13621 653 886 0 13326 0 Current children cumulated CPU time (s) 1478.18 Current children cumulated vsize (KiB) 56864 [startup+1542.3 s] /proc/loadavg: 1.60 1.74 1.71 3/73 12106 /proc/meminfo: memFree=1729416/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=57612 CPUtime=1538.12 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 14302 0 0 0 152570 1242 0 0 25 0 1 0 189324175 58994688 13806 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 14403 13806 653 886 0 13513 0 Current children cumulated CPU time (s) 1538.12 Current children cumulated vsize (KiB) 57612 [startup+1602.3 s] /proc/loadavg: 1.66 1.72 1.71 4/73 12106 /proc/meminfo: memFree=1729096/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=57916 CPUtime=1598.08 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 14392 0 0 0 158518 1290 0 0 25 0 1 0 189324175 59305984 13896 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 14479 13896 653 886 0 13589 0 Current children cumulated CPU time (s) 1598.08 Current children cumulated vsize (KiB) 57916 [startup+1662.3 s] /proc/loadavg: 1.68 1.72 1.71 2/73 12106 /proc/meminfo: memFree=1728264/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=59056 CPUtime=1657.73 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 14591 0 0 0 164423 1350 0 0 25 0 1 0 189324175 60473344 14095 1992294400 4194304 7823515 548682068736 18446744073709551615 6151312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 14764 14095 653 886 0 13874 0 Current children cumulated CPU time (s) 1657.73 Current children cumulated vsize (KiB) 59056 [startup+1722.3 s] /proc/loadavg: 1.57 1.68 1.69 2/73 12106 /proc/meminfo: memFree=1727624/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=59656 CPUtime=1717.22 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 14782 0 0 0 170317 1405 0 0 25 0 1 0 189324175 61087744 14286 1992294400 4194304 7823515 548682068736 18446744073709551615 5924514 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 14914 14286 653 886 0 14024 0 Current children cumulated CPU time (s) 1717.22 Current children cumulated vsize (KiB) 59656 [startup+1782.3 s] /proc/loadavg: 1.55 1.64 1.68 3/73 12106 /proc/meminfo: memFree=1727048/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=60032 CPUtime=1776.73 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 14900 0 0 0 176218 1455 0 0 25 0 1 0 189324175 61472768 14404 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 15008 14404 653 886 0 14118 0 Current children cumulated CPU time (s) 1776.73 Current children cumulated vsize (KiB) 60032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1805.7 s] /proc/loadavg: 1.67 1.67 1.69 3/73 12106 /proc/meminfo: memFree=1726856/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=60400 CPUtime=1800.09 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 14946 0 0 0 178537 1472 0 0 25 0 1 0 189324175 61849600 14450 1992294400 4194304 7823515 548682068736 18446744073709551615 6109487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 15100 14450 653 886 0 14210 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 60400 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1805.81 s] /proc/loadavg: 1.67 1.67 1.69 3/73 12106 /proc/meminfo: memFree=1726856/2055920 swapFree=4182192/4192956 [pid=12097] ppid=12095 vsize=60400 CPUtime=1800.19 /proc/12097/stat : 12097 (pbscip.linux.x8) R 12095 12097 11788 0 -1 4194304 14946 0 0 0 178547 1472 0 0 25 0 1 0 189324175 61849600 14450 1992294400 4194304 7823515 548682068736 18446744073709551615 6109532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12097/statm: 15100 14450 653 886 0 14210 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 60400 Child status: 0 Real time (s): 1805.88 CPU time (s): 1800.28 CPU user time (s): 1785.54 CPU system time (s): 14.7408 CPU usage (%): 99.6894 Max. virtual memory (cumulated for all children) (KiB): 60400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.54 system time used= 14.7408 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14953 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 19341 runsolver used 2.12468 second user time and 5.69413 second system time The end
Begin job on node70 at 2009-06-17 07:41:42 IDJOB=1870726 IDBENCH=48362 IDSOLVER=683 FILE ID=node70/1870726-1245217302 PBS_JOBID= 9368375 Free space on /tmp= 66400 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_5_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-1870726-1245217302/watcher-1870726-1245217302 -o /tmp/evaluation-result-1870726-1245217302/solver-1870726-1245217302 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870726-1245217302.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 813576a353dee8860ef5bb1ebdae9d95 RANDOM SEED=1638371577 node70.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.241 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.241 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: 1783720 kB Buffers: 30780 kB Cached: 153532 kB SwapCached: 4864 kB Active: 68620 kB Inactive: 141124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1783720 kB SwapTotal: 4192956 kB SwapFree: 4182192 kB Dirty: 9864 kB Writeback: 0 kB Mapped: 32948 kB Slab: 47552 kB Committed_AS: 599304 kB PageTables: 2048 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= 66392 MiB End job on node70 at 2009-06-17 08:11:50