| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? (TO) | 1801.85 | 1802.45 |
| Name | /PURE-SAT/SAT09/ APPLICATIONS/crypto/md5gen/gus-md5-07.opb |
| MD5SUM | f7ebea812ac4e537a77b59086050f9fa |
| Bench Category | PURE-SAT (instances containing only clauses) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 174.696 |
| 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 | 69097 |
| Total number of constraints | 225325 |
| Number of constraints which are clauses | 225325 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| 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 | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5 |
| Number of bits of the biggest sum of numbers | 3 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3.39/3.41 c SCIP version 1.1.0.7
3.39/3.41 c LP-Solver SoPlex 1.4.1
3.39/3.41 c user parameter file <scip.set> not found - using default parameters
3.39/3.41 c read problem <HOME/instance-1885307-1245265479.opb>
3.39/3.41 c original problem has 69097 variables (69097 bin, 0 int, 0 impl, 0 cont) and 225325 constraints
4.39/4.43 c No objective function, only one solution is needed.
4.39/4.43 c start presolving problem
4.39/4.43 c presolving:
5.49/5.59 c (round 1) 5547 del vars, 699 del conss, 287 chg bounds, 32 chg sides, 36 chg coeffs, 0 upgd conss, 360636 impls, 0 clqs
6.19/6.21 c (round 2) 5613 del vars, 11379 del conss, 305 chg bounds, 33 chg sides, 40 chg coeffs, 0 upgd conss, 362100 impls, 0 clqs
6.29/6.39 c (round 3) 5657 del vars, 11572 del conss, 322 chg bounds, 37 chg sides, 48 chg coeffs, 0 upgd conss, 363190 impls, 0 clqs
6.49/6.58 c (round 4) 5682 del vars, 11674 del conss, 329 chg bounds, 41 chg sides, 56 chg coeffs, 0 upgd conss, 363802 impls, 0 clqs
6.70/6.76 c (round 5) 5691 del vars, 11727 del conss, 331 chg bounds, 41 chg sides, 56 chg coeffs, 0 upgd conss, 363908 impls, 0 clqs
8.38/8.44 c (round 6) 5691 del vars, 11743 del conss, 331 chg bounds, 41 chg sides, 56 chg coeffs, 213582 upgd conss, 363908 impls, 0 clqs
8.89/8.98 c presolving (7 rounds):
8.89/8.98 c 5691 deleted vars, 11743 deleted constraints, 331 tightened bounds, 0 added holes, 41 changed sides, 56 changed coefficients
8.89/8.98 c 363908 implications, 0 cliques
8.89/8.98 c presolved problem has 63406 variables (63406 bin, 0 int, 0 impl, 0 cont) and 213582 constraints
8.89/8.98 c 213582 constraints of type <logicor>
8.89/8.98 c transformed objective value is always integral (scale: 1)
8.89/8.98 c Presolving Time: 3.70
8.89/8.98 c PURESAT
8.89/8.98 c -----------------------------------------------------------------------------------------------
8.89/8.98 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 0]
8.89/8.98 c separating/flowcover/freq = c -1
8.89/8.98 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 0]
8.89/8.98 c separating/cmir/freq = c -1
8.89/8.98 c # additional number of allowed LP iterations
8.89/8.98 c # [type: int, range: [0,2147483647], default: 1000]
8.89/8.98 c heuristics/veclendiving/maxlpiterofs = c 1500
8.89/8.98 c # maximal fraction of diving LP iterations compared to node LP iterations
8.89/8.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.89/8.98 c heuristics/veclendiving/maxlpiterquot = c 0.075
8.89/8.98 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 10]
8.89/8.98 c heuristics/veclendiving/freq = c -1
8.89/8.98 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 1]
8.89/8.98 c heuristics/simplerounding/freq = c -1
8.89/8.98 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 10]
8.89/8.98 c heuristics/shifting/freq = c -1
8.89/8.98 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 1]
8.89/8.98 c heuristics/rounding/freq = c -1
8.89/8.98 c # additional number of allowed LP iterations
8.89/8.98 c # [type: int, range: [0,2147483647], default: 1000]
8.89/8.98 c heuristics/rootsoldiving/maxlpiterofs = c 1500
8.89/8.98 c # maximal fraction of diving LP iterations compared to node LP iterations
8.89/8.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
8.89/8.98 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
8.89/8.98 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 20]
8.89/8.98 c heuristics/rootsoldiving/freq = c -1
8.89/8.98 c # number of nodes added to the contingent of the total nodes
8.89/8.98 c # [type: longint, range: [0,9223372036854775807], default: 500]
8.89/8.98 c heuristics/rens/nodesofs = c 2000
8.89/8.98 c # minimum percentage of integer variables that have to be fixable
8.89/8.98 c # [type: real, range: [0,1], default: 0.5]
8.89/8.98 c heuristics/rens/minfixingrate = c 0.3
8.89/8.98 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 0]
8.89/8.98 c heuristics/rens/freq = c -1
8.89/8.98 c # additional number of allowed LP iterations
8.89/8.98 c # [type: int, range: [0,2147483647], default: 1000]
8.89/8.98 c heuristics/pscostdiving/maxlpiterofs = c 1500
8.89/8.98 c # maximal fraction of diving LP iterations compared to node LP iterations
8.89/8.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.89/8.98 c heuristics/pscostdiving/maxlpiterquot = c 0.075
8.89/8.98 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 10]
8.89/8.98 c heuristics/pscostdiving/freq = c -1
8.89/8.98 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 1]
8.89/8.98 c heuristics/oneopt/freq = c -1
8.89/8.98 c # additional number of allowed LP iterations
8.89/8.98 c # [type: int, range: [0,2147483647], default: 1000]
8.89/8.98 c heuristics/objpscostdiving/maxlpiterofs = c 1500
8.89/8.98 c # maximal fraction of diving LP iterations compared to total iteration number
8.89/8.98 c # [type: real, range: [0,1], default: 0.01]
8.89/8.98 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
8.89/8.98 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 20]
8.89/8.98 c heuristics/objpscostdiving/freq = c -1
8.89/8.98 c # additional number of allowed LP iterations
8.89/8.98 c # [type: int, range: [0,2147483647], default: 1000]
8.89/8.98 c heuristics/linesearchdiving/maxlpiterofs = c 1500
8.89/8.98 c # maximal fraction of diving LP iterations compared to node LP iterations
8.89/8.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.89/8.98 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
8.89/8.98 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 10]
8.89/8.98 c heuristics/linesearchdiving/freq = c -1
8.89/8.98 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 10]
8.89/8.98 c heuristics/intshifting/freq = c -1
8.89/8.98 c # maximal fraction of diving LP iterations compared to node LP iterations
8.89/8.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.89/8.98 c heuristics/intdiving/maxlpiterquot = c 0.075
8.89/8.98 c # additional number of allowed LP iterations
8.89/8.98 c # [type: int, range: [0,2147483647], default: 1000]
8.89/8.98 c heuristics/guideddiving/maxlpiterofs = c 1500
8.89/8.98 c # maximal fraction of diving LP iterations compared to node LP iterations
8.89/8.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.89/8.98 c heuristics/guideddiving/maxlpiterquot = c 0.075
8.89/8.98 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 10]
8.89/8.98 c heuristics/guideddiving/freq = c -1
8.89/8.98 c # additional number of allowed LP iterations
8.89/8.98 c # [type: int, range: [0,2147483647], default: 1000]
8.89/8.98 c heuristics/fracdiving/maxlpiterofs = c 1500
8.89/8.98 c # maximal fraction of diving LP iterations compared to node LP iterations
8.89/8.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.89/8.98 c heuristics/fracdiving/maxlpiterquot = c 0.075
8.89/8.98 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 10]
8.89/8.98 c heuristics/fracdiving/freq = c -1
8.89/8.98 c # additional number of allowed LP iterations
8.89/8.98 c # [type: int, range: [0,2147483647], default: 1000]
8.89/8.98 c heuristics/feaspump/maxlpiterofs = c 2000
8.89/8.98 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 20]
8.89/8.98 c heuristics/feaspump/freq = c -1
8.89/8.98 c # minimum percentage of integer variables that have to be fixed
8.89/8.98 c # [type: real, range: [0,1], default: 0.666]
8.89/8.98 c heuristics/crossover/minfixingrate = c 0.5
8.89/8.98 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
8.89/8.98 c # [type: real, range: [0,1], default: 0.1]
8.89/8.98 c heuristics/crossover/nodesquot = c 0.15
8.89/8.98 c # number of nodes without incumbent change that heuristic should wait
8.89/8.98 c # [type: longint, range: [0,9223372036854775807], default: 200]
8.89/8.98 c heuristics/crossover/nwaitingnodes = c 100
8.89/8.98 c # number of nodes added to the contingent of the total nodes
8.89/8.98 c # [type: longint, range: [0,9223372036854775807], default: 500]
8.89/8.98 c heuristics/crossover/nodesofs = c 750
8.89/8.98 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 30]
8.89/8.98 c heuristics/crossover/freq = c -1
8.89/8.98 c # additional number of allowed LP iterations
8.89/8.98 c # [type: int, range: [0,2147483647], default: 1000]
8.89/8.98 c heuristics/coefdiving/maxlpiterofs = c 1500
8.89/8.98 c # maximal fraction of diving LP iterations compared to node LP iterations
8.89/8.98 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.89/8.98 c heuristics/coefdiving/maxlpiterquot = c 0.075
8.89/8.98 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: 10]
8.89/8.98 c heuristics/coefdiving/freq = c -1
8.89/8.98 c # priority of node selection rule <dfs> in standard mode
8.89/8.98 c # [type: int, range: [-536870912,536870911], default: 0]
8.89/8.98 c nodeselection/dfs/stdpriority = c 1000000
8.89/8.98 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
8.89/8.98 c # [type: int, range: [-1,2147483647], default: -1]
8.89/8.98 c presolving/probing/maxrounds = c 0
8.89/8.98 c # should presolving try to simplify knapsacks
8.89/8.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.89/8.98 c constraints/knapsack/simplifyinequalities = c TRUE
8.89/8.98 c # should disaggregation of knapsack constraints be allowed in preprocessing?
8.89/8.98 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
8.89/8.98 c constraints/knapsack/disaggregation = c FALSE
8.89/8.98 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
8.98/9.05 c # [type: int, range: [-1,2147483647], default: -1]
8.98/9.05 c constraints/knapsack/maxnumcardlift = c 0
8.98/9.05 c # should presolving try to simplify inequalities
8.98/9.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.98/9.05 c constraints/linear/simplifyinequalities = c TRUE
8.98/9.05 c # maximal number of separation rounds in the root node (-1: unlimited)
8.98/9.05 c # [type: int, range: [-1,2147483647], default: -1]
8.98/9.05 c separating/maxroundsroot = c 5
8.98/9.05 c # maximal number of separation rounds per node (-1: unlimited)
8.98/9.05 c # [type: int, range: [-1,2147483647], default: 5]
8.98/9.05 c separating/maxrounds = c 1
8.98/9.05 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
8.98/9.05 c # [type: char, range: {lafpsqd}, default: l]
8.98/9.05 c lp/pricing = c a
8.98/9.05 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
8.98/9.05 c # [type: int, range: [-1,2147483647], default: 1]
8.98/9.05 c lp/solvefreq = c 0
8.98/9.05 c # solving stops, if the given number of solutions were found (-1: no limit)
8.98/9.05 c # [type: int, range: [-1,2147483647], default: -1]
8.98/9.05 c limits/solutions = c 1
8.98/9.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.98/9.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.98/9.05 c limits/memory = c 1620
8.98/9.05 c # maximal time in seconds to run
8.98/9.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.98/9.05 c limits/time = c 1791
8.98/9.05 c # frequency for displaying node information lines
8.98/9.05 c # [type: int, range: [-1,2147483647], default: 100]
8.98/9.05 c display/freq = c 10000
8.98/9.05 c # should enforcement of pseudo solution be disabled?
8.98/9.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.98/9.05 c constraints/disableenfops = c TRUE
8.98/9.05 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
8.98/9.05 c # [type: int, range: [-1,2147483647], default: 0]
8.98/9.05 c constraints/agelimit = c 1
8.98/9.05 c # should binary conflicts be preferred?
8.98/9.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.98/9.05 c conflict/preferbinary = c TRUE
8.98/9.05 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
8.98/9.05 c # [type: int, range: [-1,2147483647], default: -1]
8.98/9.05 c conflict/interconss = c 0
8.98/9.05 c -----------------------------------------------------------------------------------------------
8.98/9.05 c start solving problem
8.98/9.05 c
1800.50/1801.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1800.50/1801.10 c 1795s| 1 | 0 | 62412 | 404M| 0 | - | 63k| 213k| 213k| 63k| 213k| 0 | 0 | 0 | 5.277000e+03 | -- | Inf
1800.50/1801.13 c 1795s| 1 | 2 | 62412 | 404M| 0 | - | 63k| 213k| 213k| 63k| 213k| 0 | 0 | 0 | 5.277000e+03 | -- | Inf
1800.50/1801.13 c
1800.50/1801.13 c SCIP Status : solving was interrupted [user interrupt]
1800.50/1801.13 c Solving Time (sec) : 1795.07
1800.50/1801.13 c Solving Nodes : 1
1800.50/1801.13 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.50/1801.13 c Dual Bound : +5.27700000000000e+03
1800.50/1801.13 c Gap : infinite
1800.50/1801.13 c NODE 1
1800.50/1801.13 c DUAL BOUND 5277
1800.50/1801.13 c PRIMAL BOUND 1e+20
1800.50/1801.13 c GAP 1e+20
1800.50/1801.13 s UNKNOWN
1800.50/1801.13 c SCIP Status : solving was interrupted [user interrupt]
1800.50/1801.13 c Solving Time : 1795.07
1800.50/1801.13 c Original Problem :
1800.50/1801.13 c Problem name : HOME/instance-1885307-1245265479.opb
1800.50/1801.13 c Variables : 69097 (69097 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.50/1801.13 c Constraints : 225325 initial, 225325 maximal
1800.50/1801.13 c Presolved Problem :
1800.50/1801.13 c Problem name : t_HOME/instance-1885307-1245265479.opb
1800.50/1801.13 c Variables : 63406 (63406 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.50/1801.13 c Constraints : 213582 initial, 213582 maximal
1800.50/1801.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.50/1801.13 c trivial : 0.08 20 0 0 0 0 0 0 0
1800.50/1801.13 c dualfix : 0.08 0 0 0 0 0 0 0 0
1800.50/1801.13 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.50/1801.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.50/1801.13 c implics : 0.19 0 5356 0 0 0 0 0 0
1800.50/1801.13 c probing : 0.00 0 0 0 0 0 0 0 0
1800.50/1801.13 c linear : 2.39 315 0 0 331 0 11743 41 56
1800.50/1801.13 c logicor : 0.40 0 0 0 0 0 0 0 0
1800.50/1801.13 c root node : - 0 - - 0 - - - -
1800.50/1801.13 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.50/1801.13 c integral : 0 0 0 0 0 0 0 0 0 0
1800.50/1801.13 c logicor : 213582 0 1 0 0 0 0 0 0 0
1800.50/1801.13 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.50/1801.13 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.50/1801.13 c integral : 0.00 0.00 0.00 0.00 0.00
1800.50/1801.13 c logicor : 0.24 0.00 0.24 0.00 0.00
1800.50/1801.13 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.50/1801.13 c Propagators : Time Calls Cutoffs DomReds
1800.50/1801.13 c rootredcost : 0.00 0 0 0
1800.50/1801.13 c pseudoobj : 0.01 1 0 0
1800.50/1801.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.50/1801.13 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.50/1801.13 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.50/1801.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.50/1801.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.50/1801.13 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.50/1801.13 c applied globally : - - - 0 0.0 - - -
1800.50/1801.13 c applied locally : - - - 0 0.0 - - -
1800.50/1801.13 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.50/1801.13 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.50/1801.13 c redcost : 0.00 0 0 0 0 0
1800.50/1801.13 c impliedbounds : 0.00 0 0 0 0 0
1800.50/1801.13 c intobj : 0.00 0 0 0 0 0
1800.50/1801.13 c gomory : 0.00 0 0 0 0 0
1800.50/1801.13 c strongcg : 0.00 0 0 0 0 0
1800.50/1801.13 c cmir : 0.00 0 0 0 0 0
1800.50/1801.13 c flowcover : 0.00 0 0 0 0 0
1800.50/1801.13 c clique : 0.00 0 0 0 0 0
1800.50/1801.13 c zerohalf : 0.00 0 0 0 0 0
1800.50/1801.13 c mcf : 0.00 0 0 0 0 0
1800.50/1801.13 c Pricers : Time Calls Vars
1800.50/1801.13 c problem variables: 0.00 0 0
1800.50/1801.13 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.50/1801.13 c relpscost : 0.00 0 0 0 0 0 0
1800.50/1801.13 c pscost : 0.00 0 0 0 0 0 0
1800.50/1801.13 c inference : 0.02 1 0 0 0 0 2
1800.50/1801.13 c mostinf : 0.00 0 0 0 0 0 0
1800.50/1801.13 c leastinf : 0.00 0 0 0 0 0 0
1800.50/1801.13 c fullstrong : 0.00 0 0 0 0 0 0
1800.50/1801.13 c allfullstrong : 0.00 0 0 0 0 0 0
1800.50/1801.13 c random : 0.00 0 0 0 0 0 0
1800.50/1801.13 c Primal Heuristics : Time Calls Found
1800.50/1801.13 c LP solutions : 0.00 - 0
1800.50/1801.13 c pseudo solutions : 0.00 - 0
1800.50/1801.13 c simplerounding : 0.00 0 0
1800.50/1801.13 c rounding : 0.00 0 0
1800.50/1801.13 c shifting : 0.00 0 0
1800.50/1801.13 c intshifting : 0.00 0 0
1800.50/1801.13 c oneopt : 0.00 0 0
1800.50/1801.13 c fixandinfer : 0.00 0 0
1800.50/1801.13 c feaspump : 0.00 0 0
1800.50/1801.13 c coefdiving : 0.00 0 0
1800.50/1801.13 c pscostdiving : 0.00 0 0
1800.50/1801.13 c fracdiving : 0.00 0 0
1800.50/1801.13 c veclendiving : 0.00 0 0
1800.50/1801.13 c intdiving : 0.00 0 0
1800.50/1801.13 c actconsdiving : 0.00 0 0
1800.50/1801.13 c objpscostdiving : 0.00 0 0
1800.50/1801.13 c rootsoldiving : 0.00 0 0
1800.50/1801.13 c linesearchdiving : 0.00 0 0
1800.50/1801.13 c guideddiving : 0.00 0 0
1800.50/1801.13 c octane : 0.00 0 0
1800.50/1801.13 c rens : 0.00 0 0
1800.50/1801.13 c rins : 0.00 0 0
1800.50/1801.13 c localbranching : 0.00 0 0
1800.50/1801.13 c mutation : 0.00 0 0
1800.50/1801.13 c crossover : 0.00 0 0
1800.50/1801.13 c dins : 0.00 0 0
1800.50/1801.13 c LP : Time Calls Iterations Iter/call Iter/sec
1800.50/1801.13 c primal LP : 0.00 0 0 0.00 -
1800.50/1801.13 c dual LP : 1789.53 1 62412 62412.00 34.88
1800.50/1801.13 c barrier LP : 0.00 0 0 0.00 -
1800.50/1801.13 c diving/probing LP: 0.00 0 0 0.00 -
1800.50/1801.13 c strong branching : 0.00 0 0 0.00 -
1800.50/1801.13 c (at root node) : - 0 0 0.00 -
1800.50/1801.13 c conflict analysis: 0.00 0 0 0.00 -
1800.50/1801.13 c B&B Tree :
1800.50/1801.13 c number of runs : 1
1800.50/1801.13 c nodes : 1
1800.50/1801.13 c nodes (total) : 1
1800.50/1801.13 c nodes left : 2
1800.50/1801.13 c max depth : 0
1800.50/1801.13 c max depth (total): 0
1800.50/1801.13 c backtracks : 0 (0.0%)
1800.50/1801.13 c delayed cutoffs : 0
1800.50/1801.13 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.50/1801.13 c avg switch length: 1.00
1800.50/1801.13 c switching time : 0.00
1800.50/1801.13 c Solution :
1800.50/1801.13 c Solutions found : 0 (0 improvements)
1800.50/1801.13 c Primal Bound : -
1800.50/1801.13 c Dual Bound : +5.27700000000000e+03
1800.50/1801.13 c Gap : infinite
1800.50/1801.13 c Root Dual Bound : +5.27700000000000e+03
1801.79/1802.44 c Time complete: 1801.83.
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-1885307-1245265479/watcher-1885307-1245265479 -o /tmp/evaluation-result-1885307-1245265479/solver-1885307-1245265479 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885307-1245265479.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.11 1.03 0.96 3/64 10202 /proc/meminfo: memFree=1864480/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=4324 CPUtime=0 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 467 0 0 0 0 0 0 0 18 0 1 0 194140910 4427776 452 1992294400 4194304 7823515 548682068736 18446744073709551615 6899776 0 0 4096 0 0 0 0 17 1 0 0 /proc/10202/statm: 1081 463 300 886 0 191 0 [startup+0.100053 s] /proc/loadavg: 1.11 1.03 0.96 3/64 10202 /proc/meminfo: memFree=1864480/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=16716 CPUtime=0.09 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 3485 0 0 0 8 1 0 0 18 0 1 0 194140910 17117184 3467 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/10202/statm: 4179 3467 351 886 0 3289 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16716 [startup+0.202065 s] /proc/loadavg: 1.11 1.03 0.96 3/64 10202 /proc/meminfo: memFree=1864480/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=21184 CPUtime=0.19 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 4602 0 0 0 17 2 0 0 18 0 1 0 194140910 21692416 4584 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/10202/statm: 5296 4584 351 886 0 4406 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 21184 [startup+0.30208 s] /proc/loadavg: 1.11 1.03 0.96 3/64 10202 /proc/meminfo: memFree=1864480/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=25512 CPUtime=0.29 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 5703 0 0 0 27 2 0 0 19 0 1 0 194140910 26124288 5685 1992294400 4194304 7823515 548682068736 18446744073709551615 5011114 0 0 4096 0 0 0 0 17 1 0 0 /proc/10202/statm: 6378 5685 351 886 0 5488 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25512 [startup+0.702137 s] /proc/loadavg: 1.11 1.03 0.96 3/64 10202 /proc/meminfo: memFree=1864480/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=49424 CPUtime=0.69 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 11689 0 0 0 64 5 0 0 22 0 1 0 194140910 50610176 11671 1992294400 4194304 7823515 548682068736 18446744073709551615 4512305 0 0 4096 0 0 0 0 17 1 0 0 /proc/10202/statm: 12356 11671 351 886 0 11466 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 49424 [startup+1.50125 s] /proc/loadavg: 1.11 1.03 0.96 2/65 10203 /proc/meminfo: memFree=1799320/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=79692 CPUtime=1.49 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 19197 0 0 0 141 8 0 0 25 0 1 0 194140910 81604608 19179 1992294400 4194304 7823515 548682068736 18446744073709551615 6289433 0 0 4096 0 0 0 0 17 1 0 0 /proc/10202/statm: 19923 19179 351 886 0 19033 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 79692 [startup+3.10148 s] /proc/loadavg: 1.11 1.03 0.96 2/65 10203 /proc/meminfo: memFree=1764312/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=127224 CPUtime=3.09 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 31036 0 0 0 296 13 0 0 25 0 1 0 194140910 130277376 31018 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/10202/statm: 31806 31018 351 886 0 30916 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 127224 [startup+6.30193 s] /proc/loadavg: 1.10 1.03 0.96 2/65 10203 /proc/meminfo: memFree=1534808/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=346128 CPUtime=6.29 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 85829 0 0 0 559 70 0 0 25 0 1 0 194140910 354435072 85457 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 86532 85457 431 886 0 85642 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 346128 [startup+12.7018 s] /proc/loadavg: 1.09 1.03 0.96 2/65 10203 /proc/meminfo: memFree=1257496/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=631836 CPUtime=12.68 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 160721 0 0 0 1113 155 0 0 25 0 1 0 194140910 647000064 151925 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 157959 151925 510 886 0 157069 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 631836 [startup+25.5017 s] /proc/loadavg: 1.07 1.03 0.96 2/65 10203 /proc/meminfo: memFree=1240792/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=678236 CPUtime=25.48 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 165148 0 0 0 2389 159 0 0 25 0 1 0 194140910 694513664 156073 1992294400 4194304 7823515 548682068736 18446744073709551615 6151355 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 169559 156073 514 886 0 168669 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 678236 [startup+51.1013 s] /proc/loadavg: 1.18 1.06 0.97 2/65 10203 /proc/meminfo: memFree=1223000/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=693728 CPUtime=51.05 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 170290 0 0 0 4940 165 0 0 25 0 1 0 194140910 710377472 160530 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 173432 160530 514 886 0 172542 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 693728 [startup+102.302 s] /proc/loadavg: 1.07 1.05 0.97 2/65 10203 /proc/meminfo: memFree=1194776/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=701612 CPUtime=102.24 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 177989 0 0 0 10048 176 0 0 25 0 1 0 194140910 718450688 167577 1992294400 4194304 7823515 548682068736 18446744073709551615 6908128 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 175403 167577 514 886 0 174513 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 701612 [startup+162.301 s] /proc/loadavg: 1.03 1.03 0.97 2/65 10203 /proc/meminfo: memFree=1181912/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=709264 CPUtime=162.21 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 181252 0 0 0 16041 180 0 0 25 0 1 0 194140910 726286336 170796 1992294400 4194304 7823515 548682068736 18446744073709551615 5924537 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 177316 170796 514 886 0 176426 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 709264 [startup+222.306 s] /proc/loadavg: 1.01 1.03 0.97 2/65 10203 /proc/meminfo: memFree=1181464/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=709264 CPUtime=222.2 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 181349 0 0 0 22037 183 0 0 25 0 1 0 194140910 726286336 170893 1992294400 4194304 7823515 548682068736 18446744073709551615 6212544 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 177316 170893 514 886 0 176426 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 709264 [startup+282.301 s] /proc/loadavg: 1.00 1.02 0.97 2/65 10203 /proc/meminfo: memFree=1179096/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=716188 CPUtime=282.18 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 182181 0 0 0 28033 185 0 0 25 0 1 0 194140910 733376512 171477 1992294400 4194304 7823515 548682068736 18446744073709551615 6908158 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 179047 171477 514 886 0 178157 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 716188 [startup+342.302 s] /proc/loadavg: 1.00 1.01 0.97 2/65 10203 /proc/meminfo: memFree=1173592/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=723568 CPUtime=342.16 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 183638 0 0 0 34028 188 0 0 25 0 1 0 194140910 740933632 172838 1992294400 4194304 7823515 548682068736 18446744073709551615 6212552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 180892 172838 514 886 0 180002 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 723568 [startup+402.301 s] /proc/loadavg: 1.00 1.01 0.97 2/65 10203 /proc/meminfo: memFree=1165080/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=730928 CPUtime=402.14 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 185744 0 0 0 40023 191 0 0 25 0 1 0 194140910 748470272 174944 1992294400 4194304 7823515 548682068736 18446744073709551615 6212147 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 182732 174944 514 886 0 181842 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 730928 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 10203 /proc/meminfo: memFree=1162584/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=731200 CPUtime=462.12 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 186365 0 0 0 46018 194 0 0 25 0 1 0 194140910 748748800 175565 1992294400 4194304 7823515 548682068736 18446744073709551615 6212035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 182800 175565 514 886 0 181910 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 731200 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 10203 /proc/meminfo: memFree=1162200/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=731464 CPUtime=522.1 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 186463 0 0 0 52015 195 0 0 25 0 1 0 194140910 749019136 175663 1992294400 4194304 7823515 548682068736 18446744073709551615 6212317 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 182866 175663 514 886 0 181976 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 731464 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 10203 /proc/meminfo: memFree=1161880/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=731744 CPUtime=582.08 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 186552 0 0 0 58012 196 0 0 25 0 1 0 194140910 749305856 175752 1992294400 4194304 7823515 548682068736 18446744073709551615 6206177 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 182936 175752 514 886 0 182046 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 731744 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 10203 /proc/meminfo: memFree=1161496/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=732060 CPUtime=642.06 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 186624 0 0 0 64009 197 0 0 25 0 1 0 194140910 749629440 175824 1992294400 4194304 7823515 548682068736 18446744073709551615 6211295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 183015 175824 514 886 0 182125 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 732060 [startup+702.303 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 10203 /proc/meminfo: memFree=1147800/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=739380 CPUtime=1061.93 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190057 0 0 0 105986 207 0 0 25 0 1 0 194140910 757125120 179219 1992294400 4194304 7823515 548682068736 18446744073709551615 6263029 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 184845 179219 514 886 0 183955 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 739380 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 10203 /proc/meminfo: memFree=1147736/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=739380 CPUtime=1121.91 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190058 0 0 0 111983 208 0 0 25 0 1 0 194140910 757125120 179220 1992294400 4194304 7823515 548682068736 18446744073709551615 6211478 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 184845 179220 514 886 0 183955 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 739380 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 10203 /proc/meminfo: memFree=1147672/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=739380 CPUtime=1181.89 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190059 0 0 0 117980 209 0 0 25 0 1 0 194140910 757125120 179221 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 184845 179221 514 886 0 183955 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 739380 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 10203 /proc/meminfo: memFree=1147608/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=739380 CPUtime=1241.87 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190059 0 0 0 123977 210 0 0 25 0 1 0 194140910 757125120 179221 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 184845 179221 514 886 0 183955 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 739380 [startup+1302.3 s] /proc/loadavg: 1.03 1.01 0.97 2/65 10203 /proc/meminfo: memFree=1147544/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=739380 CPUtime=1301.85 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190060 0 0 0 129974 211 0 0 25 0 1 0 194140910 757125120 179222 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 184845 179222 514 886 0 183955 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 739380 [startup+1362.3 s] /proc/loadavg: 1.04 1.02 0.98 2/65 10203 /proc/meminfo: memFree=1147480/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=739380 CPUtime=1361.83 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190062 0 0 0 135971 212 0 0 25 0 1 0 194140910 757125120 179224 1992294400 4194304 7823515 548682068736 18446744073709551615 6151341 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 184845 179224 514 886 0 183955 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 739380 [startup+1422.3 s] /proc/loadavg: 1.05 1.03 0.98 2/65 10203 /proc/meminfo: memFree=1147608/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=739380 CPUtime=1421.82 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190062 0 0 0 141969 213 0 0 25 0 1 0 194140910 757125120 179224 1992294400 4194304 7823515 548682068736 18446744073709551615 6180599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 184845 179224 514 886 0 183955 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 739380 [startup+1482.3 s] /proc/loadavg: 1.02 1.02 0.98 2/65 10203 /proc/meminfo: memFree=1147544/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=739380 CPUtime=1481.8 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190063 0 0 0 147966 214 0 0 25 0 1 0 194140910 757125120 179225 1992294400 4194304 7823515 548682068736 18446744073709551615 6211440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 184845 179225 514 886 0 183955 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 739380 [startup+1542.31 s] /proc/loadavg: 1.00 1.02 0.98 2/65 10203 /proc/meminfo: memFree=1147544/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=739380 CPUtime=1541.78 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190064 0 0 0 153963 215 0 0 25 0 1 0 194140910 757125120 179226 1992294400 4194304 7823515 548682068736 18446744073709551615 6212699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 184845 179226 514 886 0 183955 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 739380 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 0.98 2/65 10203 /proc/meminfo: memFree=1147480/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=739380 CPUtime=1601.76 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190064 0 0 0 159961 215 0 0 25 0 1 0 194140910 757125120 179226 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 184845 179226 514 886 0 183955 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 739380 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 0.98 2/65 10203 /proc/meminfo: memFree=1147480/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=741860 CPUtime=1661.73 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190069 0 0 0 165957 216 0 0 25 0 1 0 194140910 759664640 179231 1992294400 4194304 7823515 548682068736 18446744073709551615 6214934 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 185465 179231 514 886 0 184575 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 741860 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10203 /proc/meminfo: memFree=1147416/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=741860 CPUtime=1721.72 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190073 0 0 0 171955 217 0 0 25 0 1 0 194140910 759664640 179235 1992294400 4194304 7823515 548682068736 18446744073709551615 6151321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 185465 179235 514 886 0 184575 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 741860 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10203 /proc/meminfo: memFree=1147352/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=742000 CPUtime=1781.7 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190078 0 0 0 177952 218 0 0 25 0 1 0 194140910 759808000 179240 1992294400 4194304 7823515 548682068736 18446744073709551615 6212302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 185500 179240 514 886 0 184610 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 742000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.98 2/65 10203 /proc/meminfo: memFree=1147352/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=742000 CPUtime=1800 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190080 0 0 0 179782 218 0 0 25 0 1 0 194140910 759808000 179242 1992294400 4194304 7823515 548682068736 18446744073709551615 6205311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10202/statm: 185500 179242 514 886 0 184610 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 742000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 1.00 1.00 0.98 2/66 10204 /proc/meminfo: memFree=1147344/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=742000 CPUtime=1800.89 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190149 0 0 0 179871 218 0 0 25 0 1 0 194140910 759808000 179311 1992294400 4194304 7823515 548682068736 18446744073709551615 4301922 0 0 4096 0 0 0 0 17 1 0 0 /proc/10202/statm: 185500 179311 527 886 0 184610 0 Current children cumulated CPU time (s) 1800.89 Current children cumulated vsize (KiB) 742000 [startup+1801.91 s] /proc/loadavg: 1.00 1.00 0.98 2/66 10204 /proc/meminfo: memFree=1147088/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=742000 CPUtime=1801.3 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190150 0 0 0 179912 218 0 0 25 0 1 0 194140910 759808000 179312 1992294400 4194304 7823515 548682068736 18446744073709551615 4802841 0 0 4096 0 0 0 0 17 1 0 0 /proc/10202/statm: 185500 179312 528 886 0 184610 0 Current children cumulated CPU time (s) 1801.3 Current children cumulated vsize (KiB) 742000 [startup+1802.3 s] /proc/loadavg: 1.00 1.00 0.98 2/66 10204 /proc/meminfo: memFree=1147088/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=449528 CPUtime=1801.69 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190150 0 0 0 179947 222 0 0 25 0 1 0 194140910 460316672 111333 1992294400 4194304 7823515 548682068736 18446744073709551615 5875131 0 0 4096 0 0 0 0 17 1 0 0 /proc/10202/statm: 112382 111333 528 886 0 111492 0 Current children cumulated CPU time (s) 1801.69 Current children cumulated vsize (KiB) 449528 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 0.98 2/66 10204 /proc/meminfo: memFree=1147088/2055920 swapFree=4180352/4192956 [pid=10202] ppid=10200 vsize=323040 CPUtime=1801.79 /proc/10202/stat : 10202 (pbscip.linux.x8) R 10200 10202 9232 0 -1 4194304 190150 0 0 0 179954 225 0 0 25 0 1 0 194140910 330792960 80175 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0 /proc/10202/statm: 80760 80175 6248 886 0 79870 0 Current children cumulated CPU time (s) 1801.79 Current children cumulated vsize (KiB) 323040 Child status: 0 Real time (s): 1802.45 CPU time (s): 1801.85 CPU user time (s): 1799.55 CPU system time (s): 2.29865 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 742000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 2.29865 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 190157 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= 3196 runsolver used 1.55076 second user time and 3.9074 second system time The end
Begin job on node49 at 2009-06-17 21:04:40 IDJOB=1885307 IDBENCH=72044 IDSOLVER=683 FILE ID=node49/1885307-1245265479 PBS_JOBID= 9372405 Free space on /tmp= 66020 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/crypto/md5gen/gus-md5-07.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-1885307-1245265479/watcher-1885307-1245265479 -o /tmp/evaluation-result-1885307-1245265479/solver-1885307-1245265479 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885307-1245265479.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f7ebea812ac4e537a77b59086050f9fa RANDOM SEED=1846296643 node49.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.232 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.232 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: 1864960 kB Buffers: 25508 kB Cached: 97504 kB SwapCached: 5576 kB Active: 94324 kB Inactive: 36764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1864960 kB SwapTotal: 4192956 kB SwapFree: 4180352 kB Dirty: 17052 kB Writeback: 0 kB Mapped: 13780 kB Slab: 45624 kB Committed_AS: 202248 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66012 MiB End job on node49 at 2009-06-17 21:34:43