| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? | 1793.92 | 1794.54 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb |
| MD5SUM | bcdf4c9a1de867d3db370c95867fefb5 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1.2898 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 4632 |
| Total number of constraints | 30964 |
| Number of constraints which are clauses | 29940 |
| Number of constraints which are cardinality constraints (but not clauses) | 946 |
| Number of constraints which are nor clauses,nor cardinality constraints | 78 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 29 |
| 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 | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 104 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.39/0.49 c SCIP version 1.1.0.7
0.39/0.49 c LP-Solver SoPlex 1.4.1
0.39/0.49 c user parameter file <scip.set> not found - using default parameters
0.39/0.49 c read problem <HOME/instance-1868660-1245131347.opb>
0.39/0.49 c original problem has 4632 variables (4632 bin, 0 int, 0 impl, 0 cont) and 30964 constraints
0.59/0.61 c No objective function, only one solution is needed.
0.59/0.61 c start presolving problem
0.59/0.61 c presolving:
0.89/0.94 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 30964 upgd conss, 0 impls, 946 clqs
1.00/1.01 c presolving (2 rounds):
1.00/1.01 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 84 changed coefficients
1.00/1.01 c 0 implications, 1462 cliques
1.00/1.01 c presolved problem has 4632 variables (4632 bin, 0 int, 0 impl, 0 cont) and 30964 constraints
1.00/1.01 c 78 constraints of type <knapsack>
1.00/1.01 c 946 constraints of type <setppc>
1.00/1.01 c 29940 constraints of type <logicor>
1.00/1.01 c transformed objective value is always integral (scale: 1)
1.00/1.01 c Presolving Time: 0.34
1.00/1.01 c SATUNSAT-LIN
1.00/1.01 c -----------------------------------------------------------------------------------------------
1.00/1.01 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 0]
1.00/1.01 c separating/flowcover/freq = c -1
1.00/1.01 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 0]
1.00/1.01 c separating/cmir/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/veclendiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/veclendiving/maxlpiterquot = c 0.075
1.00/1.01 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/veclendiving/freq = c -1
1.00/1.01 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.01 c heuristics/simplerounding/freq = c -1
1.00/1.01 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/shifting/freq = c -1
1.00/1.01 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.01 c heuristics/rounding/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/rootsoldiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.00/1.01 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
1.00/1.01 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 20]
1.00/1.01 c heuristics/rootsoldiving/freq = c -1
1.00/1.01 c # number of nodes added to the contingent of the total nodes
1.00/1.01 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.00/1.01 c heuristics/rens/nodesofs = c 2000
1.00/1.01 c # minimum percentage of integer variables that have to be fixable
1.00/1.01 c # [type: real, range: [0,1], default: 0.5]
1.00/1.01 c heuristics/rens/minfixingrate = c 0.3
1.00/1.01 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 0]
1.00/1.01 c heuristics/rens/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/pscostdiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/pscostdiving/maxlpiterquot = c 0.075
1.00/1.01 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/pscostdiving/freq = c -1
1.00/1.01 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.01 c heuristics/oneopt/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/objpscostdiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to total iteration number
1.00/1.01 c # [type: real, range: [0,1], default: 0.01]
1.00/1.01 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
1.00/1.01 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 20]
1.00/1.01 c heuristics/objpscostdiving/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/linesearchdiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
1.00/1.01 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/linesearchdiving/freq = c -1
1.00/1.01 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/intshifting/freq = c -1
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/intdiving/maxlpiterquot = c 0.075
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/guideddiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/guideddiving/maxlpiterquot = c 0.075
1.00/1.01 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/guideddiving/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/fracdiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/fracdiving/maxlpiterquot = c 0.075
1.00/1.01 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/fracdiving/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/feaspump/maxlpiterofs = c 2000
1.00/1.01 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 20]
1.00/1.01 c heuristics/feaspump/freq = c -1
1.00/1.01 c # minimum percentage of integer variables that have to be fixed
1.00/1.01 c # [type: real, range: [0,1], default: 0.666]
1.00/1.01 c heuristics/crossover/minfixingrate = c 0.5
1.00/1.01 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.00/1.01 c # [type: real, range: [0,1], default: 0.1]
1.00/1.01 c heuristics/crossover/nodesquot = c 0.15
1.00/1.01 c # number of nodes without incumbent change that heuristic should wait
1.00/1.01 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.00/1.01 c heuristics/crossover/nwaitingnodes = c 100
1.00/1.01 c # number of nodes added to the contingent of the total nodes
1.00/1.01 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.00/1.01 c heuristics/crossover/nodesofs = c 750
1.00/1.01 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 30]
1.00/1.01 c heuristics/crossover/freq = c -1
1.00/1.01 c # additional number of allowed LP iterations
1.00/1.01 c # [type: int, range: [0,2147483647], default: 1000]
1.00/1.01 c heuristics/coefdiving/maxlpiterofs = c 1500
1.00/1.01 c # maximal fraction of diving LP iterations compared to node LP iterations
1.00/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.00/1.01 c heuristics/coefdiving/maxlpiterquot = c 0.075
1.00/1.01 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: 10]
1.00/1.01 c heuristics/coefdiving/freq = c -1
1.00/1.01 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.01 c presolving/probing/maxrounds = c 0
1.00/1.01 c # should presolving try to simplify knapsacks
1.00/1.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.01 c constraints/knapsack/simplifyinequalities = c TRUE
1.00/1.01 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.00/1.01 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.00/1.01 c constraints/knapsack/disaggregation = c FALSE
1.00/1.01 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
1.00/1.01 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.01 c constraints/knapsack/maxnumcardlift = c 0
1.00/1.01 c # should presolving try to simplify inequalities
1.00/1.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.02 c constraints/linear/simplifyinequalities = c TRUE
1.00/1.02 c # maximal number of separation rounds in the root node (-1: unlimited)
1.00/1.02 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.02 c separating/maxroundsroot = c 5
1.00/1.02 c # maximal number of separation rounds per node (-1: unlimited)
1.00/1.02 c # [type: int, range: [-1,2147483647], default: 5]
1.00/1.02 c separating/maxrounds = c 1
1.00/1.02 c # solving stops, if the given number of solutions were found (-1: no limit)
1.00/1.02 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.02 c limits/solutions = c 1
1.00/1.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.02 c limits/memory = c 1620
1.00/1.02 c # maximal time in seconds to run
1.00/1.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.02 c limits/time = c 1791
1.00/1.02 c # frequency for displaying node information lines
1.00/1.02 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.02 c display/freq = c 10000
1.00/1.02 c -----------------------------------------------------------------------------------------------
1.00/1.02 c start solving problem
1.00/1.02 c
11.39/11.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.39/11.46 c 10.8s| 1 | 0 | 3182 | 44M| 0 | 533 |4632 | 30k| 30k|4632 | 30k| 0 | 0 | 0 | 1.740000e+02 | -- | Inf
22.19/22.25 c 21.6s| 1 | 0 | 4430 | 52M| 0 | 563 |4632 | 30k| 30k|4632 | 31k| 39 | 0 | 0 | 1.740000e+02 | -- | Inf
34.27/34.39 c 33.7s| 1 | 0 | 5125 | 58M| 0 | 577 |4632 | 30k| 30k|4632 | 31k| 67 | 0 | 0 | 1.740000e+02 | -- | Inf
45.87/45.92 c 45.2s| 1 | 0 | 6302 | 64M| 0 | 597 |4632 | 30k| 30k|4632 | 31k| 95 | 0 | 0 | 1.740000e+02 | -- | Inf
59.47/59.55 c 58.8s| 1 | 0 | 7181 | 70M| 0 | 609 |4632 | 30k| 30k|4632 | 31k| 118 | 0 | 0 | 1.740000e+02 | -- | Inf
77.85/77.98 c 77.2s| 1 | 0 | 8453 | 76M| 0 | 644 |4632 | 30k| 30k|4632 | 31k| 142 | 0 | 0 | 1.740000e+02 | -- | Inf
203.52/203.64 c 203s| 1 | 2 | 8453 | 76M| 0 | 644 |4632 | 30k| 30k|4632 | 31k| 142 | 0 | 30 | 1.740000e+02 | -- | Inf
1793.67/1794.36 c
1793.67/1794.36 c SCIP Status : solving was interrupted [time limit reached]
1793.67/1794.36 c Solving Time (sec) : 1791.01
1793.67/1794.36 c Solving Nodes : 197
1793.67/1794.36 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.67/1794.36 c Dual Bound : +1.74000000000003e+02
1793.67/1794.36 c Gap : infinite
1793.67/1794.36 c NODE 197
1793.67/1794.36 c DUAL BOUND 174
1793.67/1794.36 c PRIMAL BOUND 1e+20
1793.67/1794.36 c GAP 1e+20
1793.67/1794.36 s UNKNOWN
1793.67/1794.36 c SCIP Status : solving was interrupted [time limit reached]
1793.67/1794.36 c Solving Time : 1791.01
1793.67/1794.36 c Original Problem :
1793.67/1794.36 c Problem name : HOME/instance-1868660-1245131347.opb
1793.67/1794.36 c Variables : 4632 (4632 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.67/1794.36 c Constraints : 30964 initial, 30964 maximal
1793.67/1794.36 c Presolved Problem :
1793.67/1794.36 c Problem name : t_HOME/instance-1868660-1245131347.opb
1793.67/1794.36 c Variables : 4632 (4632 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.67/1794.36 c Constraints : 30964 initial, 30964 maximal
1793.67/1794.36 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.67/1794.36 c trivial : 0.01 0 0 0 0 0 0 0 0
1793.67/1794.36 c dualfix : 0.00 0 0 0 0 0 0 0 0
1793.67/1794.36 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.67/1794.36 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.67/1794.36 c implics : 0.00 0 0 0 0 0 0 0 0
1793.67/1794.36 c probing : 0.00 0 0 0 0 0 0 0 0
1793.67/1794.36 c knapsack : 0.02 0 0 0 0 0 0 0 84
1793.67/1794.36 c setppc : 0.00 0 0 0 0 0 0 0 0
1793.67/1794.36 c logicor : 0.07 0 0 0 0 0 0 0 0
1793.67/1794.36 c root node : - 0 - - 0 - - - -
1793.67/1794.36 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.67/1794.36 c integral : 0 0 0 196 0 0 0 0 0 392
1793.67/1794.36 c knapsack : 78 5 380 0 1 0 715 41 0 0
1793.67/1794.36 c setppc : 946 5 380 0 1 0 2948 0 0 0
1793.67/1794.36 c logicor : 29940 5 132 0 1 0 3 0 0 0
1793.67/1794.36 c countsols : 0 0 0 0 1 0 0 0 0 0
1793.67/1794.36 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.67/1794.36 c integral : 1065.62 0.00 0.00 1065.62 0.00
1793.67/1794.36 c knapsack : 0.00 0.00 0.00 0.00 0.00
1793.67/1794.36 c setppc : 0.02 0.00 0.02 0.00 0.00
1793.67/1794.36 c logicor : 0.06 0.01 0.05 0.00 0.00
1793.67/1794.36 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.67/1794.36 c Propagators : Time Calls Cutoffs DomReds
1793.67/1794.36 c rootredcost : 0.00 0 0 0
1793.67/1794.36 c pseudoobj : 0.30 381 0 0
1793.67/1794.36 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.67/1794.36 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.67/1794.36 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.67/1794.36 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.67/1794.36 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.67/1794.36 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.67/1794.36 c applied globally : - - - 0 0.0 - - -
1793.67/1794.36 c applied locally : - - - 0 0.0 - - -
1793.67/1794.36 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1793.67/1794.36 c cut pool : 0.02 4 - - 13 - (maximal pool size: 921)
1793.67/1794.36 c redcost : 0.18 200 0 0 0 0
1793.67/1794.36 c impliedbounds : 0.02 5 0 0 0 0
1793.67/1794.36 c intobj : 0.00 0 0 0 0 0
1793.67/1794.36 c gomory : 26.87 5 0 0 2500 0
1793.67/1794.36 c strongcg : 10.59 5 0 0 2500 0
1793.67/1794.36 c cmir : 0.00 0 0 0 0 0
1793.67/1794.36 c flowcover : 0.00 0 0 0 0 0
1793.67/1794.36 c clique : 0.11 5 0 0 21 0
1793.67/1794.36 c zerohalf : 0.00 0 0 0 0 0
1793.67/1794.36 c mcf : 0.04 1 0 0 0 0
1793.67/1794.36 c Pricers : Time Calls Vars
1793.67/1794.36 c problem variables: 0.00 0 0
1793.67/1794.36 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1793.67/1794.36 c relpscost : 1065.62 196 0 0 0 0 392
1793.67/1794.36 c pscost : 0.00 0 0 0 0 0 0
1793.67/1794.36 c inference : 0.00 1 0 0 0 0 2
1793.67/1794.36 c mostinf : 0.00 0 0 0 0 0 0
1793.67/1794.36 c leastinf : 0.00 0 0 0 0 0 0
1793.67/1794.36 c fullstrong : 0.00 0 0 0 0 0 0
1793.67/1794.36 c allfullstrong : 0.00 0 0 0 0 0 0
1793.67/1794.36 c random : 0.00 0 0 0 0 0 0
1793.67/1794.36 c Primal Heuristics : Time Calls Found
1793.67/1794.36 c LP solutions : 0.00 - 0
1793.67/1794.36 c pseudo solutions : 0.00 - 0
1793.67/1794.36 c simplerounding : 0.00 0 0
1793.67/1794.36 c rounding : 0.00 0 0
1793.67/1794.36 c shifting : 0.00 0 0
1793.67/1794.36 c intshifting : 0.00 0 0
1793.67/1794.36 c oneopt : 0.00 0 0
1793.67/1794.36 c fixandinfer : 0.00 0 0
1793.67/1794.36 c feaspump : 0.00 0 0
1793.67/1794.36 c coefdiving : 0.00 0 0
1793.67/1794.36 c pscostdiving : 0.00 0 0
1793.67/1794.36 c fracdiving : 0.00 0 0
1793.67/1794.36 c veclendiving : 0.00 0 0
1793.67/1794.36 c intdiving : 0.00 0 0
1793.67/1794.36 c actconsdiving : 0.00 0 0
1793.67/1794.36 c objpscostdiving : 0.00 0 0
1793.67/1794.36 c rootsoldiving : 0.00 0 0
1793.67/1794.36 c linesearchdiving : 0.00 0 0
1793.67/1794.36 c guideddiving : 0.00 0 0
1793.67/1794.36 c octane : 0.00 0 0
1793.67/1794.36 c rens : 0.00 0 0
1793.67/1794.36 c rins : 0.00 0 0
1793.67/1794.36 c localbranching : 0.00 0 0
1793.67/1794.36 c mutation : 0.00 0 0
1793.67/1794.36 c crossover : 0.00 0 0
1793.67/1794.36 c dins : 0.00 0 0
1793.67/1794.36 c LP : Time Calls Iterations Iter/call Iter/sec
1793.67/1794.36 c primal LP : 0.03 0 0 0.00 0.00
1793.67/1794.36 c dual LP : 683.72 202 125816 622.85 184.02
1793.67/1794.36 c barrier LP : 0.00 0 0 0.00 -
1793.67/1794.36 c diving/probing LP: 0.00 0 0 0.00 -
1793.67/1794.36 c strong branching : 1065.52 303 194695 642.56 182.72
1793.67/1794.36 c (at root node) : - 30 22815 760.50 -
1793.67/1794.36 c conflict analysis: 0.00 0 0 0.00 -
1793.67/1794.36 c B&B Tree :
1793.67/1794.36 c number of runs : 1
1793.67/1794.36 c nodes : 197
1793.67/1794.36 c nodes (total) : 197
1793.67/1794.36 c nodes left : 198
1793.67/1794.36 c max depth : 22
1793.67/1794.36 c max depth (total): 22
1793.67/1794.36 c backtracks : 15 (7.6%)
1793.67/1794.36 c delayed cutoffs : 0
1793.67/1794.36 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1793.67/1794.36 c avg switch length: 1.88
1793.67/1794.36 c switching time : 0.14
1793.67/1794.36 c Solution :
1793.67/1794.36 c Solutions found : 0 (0 improvements)
1793.67/1794.36 c Primal Bound : -
1793.67/1794.36 c Dual Bound : +1.74000000000003e+02
1793.67/1794.36 c Gap : infinite
1793.67/1794.36 c Root Dual Bound : +1.74000000000000e+02
1793.87/1794.53 c Time complete: 1793.91.
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-1868660-1245131347/watcher-1868660-1245131347 -o /tmp/evaluation-result-1868660-1245131347/solver-1868660-1245131347 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868660-1245131347.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3023 /proc/meminfo: memFree=1678256/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=4648 CPUtime=0 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 500 0 0 0 0 0 0 0 18 0 1 0 180731461 4759552 485 1992294400 4194304 7823515 548682068736 18446744073709551615 6109072 0 0 4096 0 0 0 0 17 1 0 0 /proc/3023/statm: 1082 485 320 886 0 192 0 [startup+0.0284551 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3023 /proc/meminfo: memFree=1678256/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=11268 CPUtime=0.01 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 2148 0 0 0 1 0 0 0 18 0 1 0 180731461 11538432 2130 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/3023/statm: 2817 2130 351 886 0 1927 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11268 [startup+0.101469 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3023 /proc/meminfo: memFree=1678256/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=15548 CPUtime=0.09 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 3220 0 0 0 8 1 0 0 18 0 1 0 180731461 15921152 3202 1992294400 4194304 7823515 548682068736 18446744073709551615 6888849 0 0 4096 0 0 0 0 17 1 0 0 /proc/3023/statm: 3887 3202 351 886 0 2997 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15548 [startup+0.301504 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3023 /proc/meminfo: memFree=1678256/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=21372 CPUtime=0.29 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 4656 0 0 0 28 1 0 0 19 0 1 0 180731461 21884928 4638 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 0 0 0 0 17 1 0 0 /proc/3023/statm: 5343 4638 351 886 0 4453 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21372 [startup+0.701577 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3023 /proc/meminfo: memFree=1678256/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=53328 CPUtime=0.69 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 12759 0 0 0 62 7 0 0 22 0 1 0 180731461 54607872 12387 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 13332 12387 415 886 0 12442 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 53328 [startup+1.50172 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3024 /proc/meminfo: memFree=1617576/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=98536 CPUtime=1.49 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 23911 0 0 0 134 15 0 0 19 0 1 0 180731461 100900864 22166 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 24634 22166 509 886 0 23744 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 98536 [startup+3.10201 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3024 /proc/meminfo: memFree=1588456/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=102744 CPUtime=3.09 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 25236 0 0 0 293 16 0 0 25 0 1 0 180731461 105209856 23371 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 25686 23371 512 886 0 24796 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 102744 [startup+6.3016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3024 /proc/meminfo: memFree=1584296/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=103968 CPUtime=6.29 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 25950 0 0 0 612 17 0 0 25 0 1 0 180731461 106463232 24077 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 25992 24077 512 886 0 25102 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 103968 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3024 /proc/meminfo: memFree=1583272/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=103968 CPUtime=12.69 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 26039 0 0 0 1251 18 0 0 25 0 1 0 180731461 106463232 24166 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 25992 24166 531 886 0 25102 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 103968 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3024 /proc/meminfo: memFree=1564200/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=122388 CPUtime=25.48 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 31412 0 0 0 2526 22 0 0 25 0 1 0 180731461 125325312 28937 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 30597 28937 544 886 0 29707 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 122388 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3024 /proc/meminfo: memFree=1541992/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=144128 CPUtime=51.07 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 36979 0 0 0 5079 28 0 0 25 0 1 0 180731461 147587072 34504 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 36032 34504 544 886 0 35142 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 144128 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3024 /proc/meminfo: memFree=1520040/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=166136 CPUtime=102.26 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42443 0 0 0 10189 37 0 0 25 0 1 0 180731461 170123264 39968 1992294400 4194304 7823515 548682068736 18446744073709551615 6211337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41534 39968 547 886 0 40644 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 166136 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3024 /proc/meminfo: memFree=1519912/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=166136 CPUtime=162.23 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42458 0 0 0 16180 43 0 0 25 0 1 0 180731461 170123264 39983 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41534 39983 547 886 0 40644 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 166136 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3026 /proc/meminfo: memFree=1519720/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=166136 CPUtime=222.2 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42471 0 0 0 22169 51 0 0 25 0 1 0 180731461 170123264 39996 1992294400 4194304 7823515 548682068736 18446744073709551615 5927140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41534 39996 550 886 0 40644 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 166136 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3026 /proc/meminfo: memFree=1519720/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=166136 CPUtime=282.19 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42471 0 0 0 28161 58 0 0 25 0 1 0 180731461 170123264 39996 1992294400 4194304 7823515 548682068736 18446744073709551615 6162035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41534 39996 550 886 0 40644 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 166136 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3026 /proc/meminfo: memFree=1519720/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=166136 CPUtime=342.17 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42471 0 0 0 34153 64 0 0 25 0 1 0 180731461 170123264 39996 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41534 39996 550 886 0 40644 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 166136 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3026 /proc/meminfo: memFree=1519720/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=166136 CPUtime=402.15 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42471 0 0 0 40145 70 0 0 25 0 1 0 180731461 170123264 39996 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41534 39996 550 886 0 40644 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 166136 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3026 /proc/meminfo: memFree=1519720/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=166136 CPUtime=462.12 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42471 0 0 0 46136 76 0 0 25 0 1 0 180731461 170123264 39996 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41534 39996 550 886 0 40644 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 166136 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3026 /proc/meminfo: memFree=1519720/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=166136 CPUtime=522.11 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42471 0 0 0 52127 84 0 0 25 0 1 0 180731461 170123264 39996 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41534 39996 550 886 0 40644 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 166136 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3026 /proc/meminfo: memFree=1519656/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=166136 CPUtime=582.08 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42471 0 0 0 58119 89 0 0 25 0 1 0 180731461 170123264 39996 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41534 39996 550 886 0 40644 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 166136 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3026 /proc/meminfo: memFree=1519720/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=166136 CPUtime=642.07 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42471 0 0 0 64110 97 0 0 25 0 1 0 180731461 170123264 39996 1992294400 4194304 7823515 548682068736 18446744073709551615 6211578 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41534 39996 550 886 0 40644 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 166136 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1518696/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=167124 CPUtime=1061.92 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42704 0 0 0 106047 145 0 0 25 0 1 0 180731461 171134976 40229 1992294400 4194304 7823515 548682068736 18446744073709551615 6908032 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41781 40229 550 886 0 40891 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 167124 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1518696/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=167124 CPUtime=1121.89 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42704 0 0 0 112037 152 0 0 25 0 1 0 180731461 171134976 40229 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41781 40229 550 886 0 40891 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 167124 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1518632/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=167124 CPUtime=1181.88 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42704 0 0 0 118028 160 0 0 25 0 1 0 180731461 171134976 40229 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41781 40229 550 886 0 40891 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 167124 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1517864/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=167980 CPUtime=1241.85 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42893 0 0 0 124019 166 0 0 25 0 1 0 180731461 172011520 40418 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41995 40418 550 886 0 41105 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 167980 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1517736/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=167980 CPUtime=1301.84 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42904 0 0 0 130011 173 0 0 25 0 1 0 180731461 172011520 40429 1992294400 4194304 7823515 548682068736 18446744073709551615 6212552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41995 40429 550 886 0 41105 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 167980 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1517672/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=167980 CPUtime=1361.82 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42913 0 0 0 136003 179 0 0 25 0 1 0 180731461 172011520 40438 1992294400 4194304 7823515 548682068736 18446744073709551615 6211023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41995 40438 550 886 0 41105 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 167980 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1517608/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=167980 CPUtime=1421.81 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42920 0 0 0 141994 187 0 0 25 0 1 0 180731461 172011520 40445 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41995 40445 550 886 0 41105 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 167980 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1517544/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=167980 CPUtime=1481.78 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 42922 0 0 0 147986 192 0 0 25 0 1 0 180731461 172011520 40447 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 41995 40447 550 886 0 41105 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 167980 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1515688/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=169900 CPUtime=1541.76 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 43422 0 0 0 153978 198 0 0 25 0 1 0 180731461 173977600 40947 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 42475 40947 550 886 0 41585 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 169900 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1515560/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=169900 CPUtime=1601.74 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 43434 0 0 0 159968 206 0 0 25 0 1 0 180731461 173977600 40959 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 42475 40959 550 886 0 41585 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 169900 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1515624/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=169900 CPUtime=1661.72 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 43434 0 0 0 165959 213 0 0 25 0 1 0 180731461 173977600 40959 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 42475 40959 550 886 0 41585 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 169900 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1515560/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=169900 CPUtime=1721.7 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 43434 0 0 0 171950 220 0 0 25 0 1 0 180731461 173977600 40959 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 42475 40959 550 886 0 41585 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 169900 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1515560/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=169900 CPUtime=1781.68 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 43434 0 0 0 177943 225 0 0 25 0 1 0 180731461 173977600 40959 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 42475 40959 550 886 0 41585 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 169900 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1515560/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=169900 CPUtime=1784.88 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 43434 0 0 0 178263 225 0 0 25 0 1 0 180731461 173977600 40959 1992294400 4194304 7823515 548682068736 18446744073709551615 6211283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 42475 40959 550 886 0 41585 0 Current children cumulated CPU time (s) 1784.88 Current children cumulated vsize (KiB) 169900 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1515560/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=169900 CPUtime=1788.07 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 43434 0 0 0 178582 225 0 0 25 0 1 0 180731461 173977600 40959 1992294400 4194304 7823515 548682068736 18446744073709551615 6206188 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 42475 40959 550 886 0 41585 0 Current children cumulated CPU time (s) 1788.07 Current children cumulated vsize (KiB) 169900 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1515560/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=169900 CPUtime=1791.28 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 43434 0 0 0 178903 225 0 0 25 0 1 0 180731461 173977600 40959 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 42475 40959 550 886 0 41585 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 169900 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1515560/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=169900 CPUtime=1792.88 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 43434 0 0 0 179062 226 0 0 25 0 1 0 180731461 173977600 40959 1992294400 4194304 7823515 548682068736 18446744073709551615 5924530 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 42475 40959 550 886 0 41585 0 Current children cumulated CPU time (s) 1792.88 Current children cumulated vsize (KiB) 169900 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1515560/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=169900 CPUtime=1793.67 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 43434 0 0 0 179141 226 0 0 25 0 1 0 180731461 173977600 40959 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3023/statm: 42475 40959 550 886 0 41585 0 Current children cumulated CPU time (s) 1793.67 Current children cumulated vsize (KiB) 169900 [startup+1794.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3032 /proc/meminfo: memFree=1515560/2055920 swapFree=4191900/4192956 [pid=3023] ppid=3021 vsize=96808 CPUtime=1793.87 /proc/3023/stat : 3023 (pbscip.linux.x8) R 3021 3023 2823 0 -1 4194304 43441 0 0 0 179160 227 0 0 25 0 1 0 180731461 99131392 23516 1992294400 4194304 7823515 548682068736 18446744073709551615 4823424 0 0 4096 0 0 0 0 17 1 0 0 /proc/3023/statm: 24202 23516 557 886 0 23312 0 Current children cumulated CPU time (s) 1793.87 Current children cumulated vsize (KiB) 96808 Child status: 0 Real time (s): 1794.54 CPU time (s): 1793.92 CPU user time (s): 1791.62 CPU system time (s): 2.29465 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 169900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.62 system time used= 2.29465 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43446 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= 3501 runsolver used 1.59176 second user time and 4.05738 second system time The end
Begin job on node44 at 2009-06-16 07:49:08 IDJOB=1868660 IDBENCH=1497 IDSOLVER=683 FILE ID=node44/1868660-1245131347 PBS_JOBID= 9363718 Free space on /tmp= 65920 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.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-1868660-1245131347/watcher-1868660-1245131347 -o /tmp/evaluation-result-1868660-1245131347/solver-1868660-1245131347 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868660-1245131347.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bcdf4c9a1de867d3db370c95867fefb5 RANDOM SEED=491191135 node44.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.263 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.263 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: 1678672 kB Buffers: 45340 kB Cached: 249724 kB SwapCached: 260 kB Active: 48840 kB Inactive: 259548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1678672 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 10996 kB Writeback: 0 kB Mapped: 21804 kB Slab: 54852 kB Committed_AS: 158812 kB PageTables: 1384 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= 65912 MiB End job on node44 at 2009-06-16 08:19:02