Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? | 1799.92 | 1800.41 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_40.opb |
MD5SUM | c1794605d16cd8196553c490f5507fd9 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 400 |
Total number of constraints | 602 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12452 |
Sum of products size (including duplicates) | 24904 |
Number of different products | 6226 |
Sum of products size | 12452 |
0.04/0.08 c SCIP version 1.1.0.7 0.04/0.08 c LP-Solver SoPlex 1.4.1 0.04/0.08 c user parameter file <scip.set> not found - using default parameters 0.04/0.08 c read problem <HOME/instance-1870628-1245214260.opb> 0.04/0.08 c original problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6828 constraints 0.09/0.14 c No objective function, only one solution is needed. 0.09/0.14 c start presolving problem 0.09/0.14 c presolving: 0.29/0.39 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50208 impls, 400 clqs 0.49/0.56 c presolving (2 rounds): 0.49/0.56 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.49/0.56 c 50208 implications, 400 cliques 0.49/0.56 c presolved problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6828 constraints 0.49/0.56 c 1 constraints of type <knapsack> 0.49/0.56 c 400 constraints of type <setppc> 0.49/0.56 c 6226 constraints of type <and> 0.49/0.56 c 1 constraints of type <linear> 0.49/0.56 c 200 constraints of type <logicor> 0.49/0.56 c transformed objective value is always integral (scale: 1) 0.49/0.56 c Presolving Time: 0.29 0.49/0.56 c SATUNSAT-NLC 0.49/0.56 c ----------------------------------------------------------------------------------------------- 0.49/0.56 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.56 c separating/flowcover/freq = c -1 0.49/0.56 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.56 c separating/cmir/freq = c -1 0.49/0.56 c # additional number of allowed LP iterations 0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.56 c heuristics/veclendiving/maxlpiterofs = c 1500 0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.56 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.49/0.56 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.56 c heuristics/veclendiving/freq = c -1 0.49/0.56 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.56 c heuristics/simplerounding/freq = c -1 0.49/0.56 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.56 c heuristics/shifting/freq = c -1 0.49/0.56 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.56 c heuristics/rounding/freq = c -1 0.49/0.56 c # additional number of allowed LP iterations 0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.56 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.49/0.56 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.49/0.56 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.56 c heuristics/rootsoldiving/freq = c -1 0.49/0.56 c # number of nodes added to the contingent of the total nodes 0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.49/0.56 c heuristics/rens/nodesofs = c 2000 0.49/0.56 c # minimum percentage of integer variables that have to be fixable 0.49/0.56 c # [type: real, range: [0,1], default: 0.5] 0.49/0.56 c heuristics/rens/minfixingrate = c 0.3 0.49/0.56 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.56 c heuristics/rens/freq = c -1 0.49/0.56 c # additional number of allowed LP iterations 0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.56 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.56 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.49/0.56 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.56 c heuristics/pscostdiving/freq = c -1 0.49/0.56 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.56 c heuristics/oneopt/freq = c -1 0.49/0.56 c # additional number of allowed LP iterations 0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.56 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.49/0.56 c # maximal fraction of diving LP iterations compared to total iteration number 0.49/0.56 c # [type: real, range: [0,1], default: 0.01] 0.49/0.56 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.49/0.56 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.56 c heuristics/objpscostdiving/freq = c -1 0.49/0.56 c # additional number of allowed LP iterations 0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.56 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.56 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.49/0.56 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.56 c heuristics/linesearchdiving/freq = c -1 0.49/0.56 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.56 c heuristics/intshifting/freq = c -1 0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.56 c heuristics/intdiving/maxlpiterquot = c 0.075 0.49/0.56 c # additional number of allowed LP iterations 0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.56 c heuristics/guideddiving/maxlpiterofs = c 1500 0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.56 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.49/0.56 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.56 c heuristics/guideddiving/freq = c -1 0.49/0.56 c # additional number of allowed LP iterations 0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.56 c heuristics/fracdiving/maxlpiterofs = c 1500 0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.56 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.49/0.56 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.56 c heuristics/fracdiving/freq = c -1 0.49/0.56 c # additional number of allowed LP iterations 0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.56 c heuristics/feaspump/maxlpiterofs = c 2000 0.49/0.56 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.56 c heuristics/feaspump/freq = c -1 0.49/0.56 c # minimum percentage of integer variables that have to be fixed 0.49/0.56 c # [type: real, range: [0,1], default: 0.666] 0.49/0.56 c heuristics/crossover/minfixingrate = c 0.5 0.49/0.56 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.49/0.56 c # [type: real, range: [0,1], default: 0.1] 0.49/0.56 c heuristics/crossover/nodesquot = c 0.15 0.49/0.56 c # number of nodes without incumbent change that heuristic should wait 0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.49/0.56 c heuristics/crossover/nwaitingnodes = c 100 0.49/0.56 c # number of nodes added to the contingent of the total nodes 0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.49/0.56 c heuristics/crossover/nodesofs = c 750 0.49/0.56 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 30] 0.49/0.56 c heuristics/crossover/freq = c -1 0.49/0.56 c # additional number of allowed LP iterations 0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.56 c heuristics/coefdiving/maxlpiterofs = c 1500 0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.56 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.49/0.56 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.56 c heuristics/coefdiving/freq = c -1 0.49/0.56 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.56 c presolving/probing/maxrounds = c 0 0.49/0.56 c # should presolving try to simplify knapsacks 0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.49/0.56 c constraints/knapsack/simplifyinequalities = c TRUE 0.49/0.56 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.49/0.56 c constraints/knapsack/disaggregation = c FALSE 0.49/0.56 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.56 c constraints/knapsack/maxnumcardlift = c 0 0.49/0.56 c # should presolving try to simplify inequalities 0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.49/0.56 c constraints/linear/simplifyinequalities = c TRUE 0.49/0.56 c # maximal number of separation rounds in the root node (-1: unlimited) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.56 c separating/maxroundsroot = c 5 0.49/0.56 c # maximal number of separation rounds per node (-1: unlimited) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 5] 0.49/0.56 c separating/maxrounds = c 1 0.49/0.56 c # solving stops, if the given number of solutions were found (-1: no limit) 0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.56 c limits/solutions = c 1 0.49/0.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.49/0.56 c limits/memory = c 1620 0.49/0.56 c # maximal time in seconds to run 0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.49/0.56 c limits/time = c 1791 0.49/0.56 c # frequency for displaying node information lines 0.49/0.56 c # [type: int, range: [-1,2147483647], default: 100] 0.49/0.56 c display/freq = c 10000 0.49/0.56 c ----------------------------------------------------------------------------------------------- 0.49/0.56 c start solving problem 0.49/0.56 c 0.79/0.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.79/0.87 c 0.6s| 1 | 0 | 306 | 29M| 0 | 161 |6626 |6828 |6828 |6626 | 13k| 0 | 0 | 0 | 8.000000e+01 | -- | Inf 1.79/1.83 c 1.5s| 1 | 0 | 408 | 29M| 0 | 162 |6626 |6828 |6828 |6626 | 13k| 2 | 0 | 0 | 8.000000e+01 | -- | Inf 2.59/2.66 c 2.4s| 1 | 0 | 519 | 29M| 0 | 163 |6626 |6828 |6828 |6626 | 13k| 4 | 0 | 0 | 8.000000e+01 | -- | Inf 10.99/11.06 c 10.7s| 1 | 0 | 542 | 29M| 0 | 163 |6626 |6828 |6828 |6626 | 13k| 5 | 0 | 0 | 8.000000e+01 | -- | Inf 44.68/44.71 c 44.3s| 1 | 2 | 542 | 29M| 0 | 163 |6626 |6828 |6828 |6626 | 13k| 5 | 0 | 33 | 8.000000e+01 | -- | Inf 790.58/790.81 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 794.17/794.42 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 1589.06/1589.54 c 1582s| 10000 | 5153 | 1510k| 131M| 77 | 59 |6626 |7627 |5600 |6626 |1390 | 808k|5529 | 13k| 8.000000e+01 | -- | Inf 1799.51/1800.09 c 1799.51/1800.09 c SCIP Status : solving was interrupted [time limit reached] 1799.51/1800.09 c Solving Time (sec) : 1791.02 1799.51/1800.09 c Solving Nodes : 11501 1799.51/1800.09 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1799.51/1800.09 c Dual Bound : +8.00000000000001e+01 1799.51/1800.09 c Gap : infinite 1799.51/1800.09 c NODE 11501 1799.51/1800.09 c DUAL BOUND 80 1799.51/1800.09 c PRIMAL BOUND 1e+20 1799.51/1800.09 c GAP 1e+20 1799.51/1800.09 s UNKNOWN 1799.51/1800.09 c SCIP Status : solving was interrupted [time limit reached] 1799.51/1800.09 c Solving Time : 1791.02 1799.51/1800.09 c Original Problem : 1799.51/1800.09 c Problem name : HOME/instance-1870628-1245214260.opb 1799.51/1800.09 c Variables : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous) 1799.51/1800.09 c Constraints : 6828 initial, 6828 maximal 1799.51/1800.09 c Presolved Problem : 1799.51/1800.09 c Problem name : t_HOME/instance-1870628-1245214260.opb 1799.51/1800.09 c Variables : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous) 1799.51/1800.09 c Constraints : 6828 initial, 8084 maximal 1799.51/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1799.51/1800.09 c trivial : 0.01 0 0 0 0 0 0 0 0 1799.51/1800.09 c dualfix : 0.00 0 0 0 0 0 0 0 0 1799.51/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0 1799.51/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1799.51/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0 1799.51/1800.09 c probing : 0.00 0 0 0 0 0 0 0 0 1799.51/1800.09 c knapsack : 0.00 0 0 0 0 0 0 0 0 1799.51/1800.09 c setppc : 0.01 0 0 0 0 0 0 0 0 1799.51/1800.09 c and : 0.17 0 0 0 0 0 0 0 0 1799.51/1800.09 c linear : 0.05 0 0 0 0 0 0 0 0 1799.51/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0 1799.51/1800.09 c root node : - 0 - - 0 - - - - 1799.51/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1799.51/1800.09 c integral : 0 0 0 8913 0 48 364 0 0 17320 1799.51/1800.09 c knapsack : 1 4 40440 67 1 0 0 0 0 0 1799.51/1800.09 c setppc : 400 4 40440 67 1 75 157302 0 0 0 1799.51/1800.09 c and : 6226 9989 40365 67 1 132 3679018 1518401 0 0 1799.51/1800.09 c linear : 1 4 40233 0 0 0 0 0 0 0 1799.51/1800.09 c logicor : 200+ 4 14380 0 1 0 16216 0 0 0 1799.51/1800.09 c countsols : 0 0 0 0 1 0 0 0 0 0 1799.51/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1799.51/1800.09 c integral : 557.25 0.00 0.00 557.25 0.00 1799.51/1800.09 c knapsack : 0.11 0.00 0.11 0.00 0.00 1799.51/1800.09 c setppc : 1.72 0.00 1.72 0.00 0.00 1799.51/1800.09 c and : 80.11 47.61 32.30 0.20 0.00 1799.51/1800.09 c linear : 2.19 0.00 2.19 0.00 0.00 1799.51/1800.09 c logicor : 0.82 0.00 0.82 0.00 0.00 1799.51/1800.09 c countsols : 0.00 0.00 0.00 0.00 0.00 1799.51/1800.09 c Propagators : Time Calls Cutoffs DomReds 1799.51/1800.09 c rootredcost : 0.06 0 0 0 1799.51/1800.09 c pseudoobj : 44.93 40441 0 0 1799.51/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1799.51/1800.09 c propagation : 0.00 207 207 207 2.4 0 0.0 - 1799.51/1800.09 c infeasible LP : 11.06 2248 2051 27954 55.1 4 2.0 0 1799.51/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1799.51/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1799.51/1800.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1799.51/1800.09 c applied globally : - - - 6513 74.2 - - - 1799.51/1800.09 c applied locally : - - - 0 0.0 - - - 1799.51/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1799.51/1800.09 c cut pool : 0.00 3 - - 1 - (maximal pool size: 13) 1799.51/1800.09 c redcost : 12.51 9989 0 0 0 0 1799.51/1800.09 c impliedbounds : 0.01 4 0 0 0 0 1799.51/1800.09 c intobj : 0.00 0 0 0 0 0 1799.51/1800.09 c gomory : 9.80 4 0 0 1000 0 1799.51/1800.09 c strongcg : 7.89 4 0 0 1000 0 1799.51/1800.09 c cmir : 0.00 0 0 0 0 0 1799.51/1800.09 c flowcover : 0.00 0 0 0 0 0 1799.51/1800.09 c clique : 0.02 4 0 0 0 0 1799.51/1800.09 c zerohalf : 0.00 0 0 0 0 0 1799.51/1800.09 c mcf : 0.23 2 0 0 0 0 1799.51/1800.09 c Pricers : Time Calls Vars 1799.51/1800.09 c problem variables: 0.00 0 0 1799.51/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1799.51/1800.09 c relpscost : 557.17 8846 48 364 0 0 17320 1799.51/1800.09 c pscost : 0.00 0 0 0 0 0 0 1799.51/1800.09 c inference : 0.00 1 0 0 0 0 2 1799.51/1800.09 c mostinf : 0.00 0 0 0 0 0 0 1799.51/1800.09 c leastinf : 0.00 0 0 0 0 0 0 1799.51/1800.09 c fullstrong : 0.00 0 0 0 0 0 0 1799.51/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0 1799.51/1800.09 c random : 0.00 0 0 0 0 0 0 1799.51/1800.09 c Primal Heuristics : Time Calls Found 1799.51/1800.09 c LP solutions : 0.00 - 0 1799.51/1800.09 c pseudo solutions : 0.00 - 0 1799.51/1800.09 c simplerounding : 0.00 0 0 1799.51/1800.09 c rounding : 0.00 0 0 1799.51/1800.09 c shifting : 0.00 0 0 1799.51/1800.09 c intshifting : 0.00 0 0 1799.51/1800.09 c oneopt : 0.00 0 0 1799.51/1800.09 c fixandinfer : 0.00 0 0 1799.51/1800.09 c feaspump : 0.00 0 0 1799.51/1800.09 c coefdiving : 0.00 0 0 1799.51/1800.09 c pscostdiving : 0.00 0 0 1799.51/1800.09 c fracdiving : 0.00 0 0 1799.51/1800.09 c veclendiving : 0.00 0 0 1799.51/1800.09 c intdiving : 0.00 0 0 1799.51/1800.09 c actconsdiving : 0.00 0 0 1799.51/1800.09 c objpscostdiving : 0.00 0 0 1799.51/1800.09 c rootsoldiving : 0.00 0 0 1799.51/1800.09 c linesearchdiving : 0.00 0 0 1799.51/1800.09 c guideddiving : 0.00 0 0 1799.51/1800.09 c octane : 0.00 0 0 1799.51/1800.09 c rens : 0.00 0 0 1799.51/1800.09 c rins : 0.00 0 0 1799.51/1800.09 c localbranching : 0.00 0 0 1799.51/1800.09 c mutation : 0.00 0 0 1799.51/1800.09 c crossover : 0.00 0 0 1799.51/1800.09 c dins : 0.00 0 0 1799.51/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec 1799.51/1800.09 c primal LP : 22.66 0 0 0.00 0.00 1799.51/1800.09 c dual LP : 936.24 21470 1750197 81.52 1869.39 1799.51/1800.09 c barrier LP : 0.00 0 0 0.00 - 1799.51/1800.09 c diving/probing LP: 0.00 0 0 0.00 - 1799.51/1800.09 c strong branching : 555.52 14628 865572 59.17 1558.13 1799.51/1800.09 c (at root node) : - 33 12170 368.79 - 1799.51/1800.09 c conflict analysis: 0.00 0 0 0.00 - 1799.51/1800.09 c B&B Tree : 1799.51/1800.09 c number of runs : 1 1799.51/1800.09 c nodes : 11501 1799.51/1800.09 c nodes (total) : 11501 1799.51/1800.09 c nodes left : 5787 1799.51/1800.09 c max depth : 77 1799.51/1800.09 c max depth (total): 77 1799.51/1800.09 c backtracks : 786 (6.8%) 1799.51/1800.09 c delayed cutoffs : 35 1799.51/1800.09 c repropagations : 6252 (38793 domain reductions, 2 cutoffs) 1799.51/1800.09 c avg switch length: 3.53 1799.51/1800.09 c switching time : 42.00 1799.51/1800.09 c Solution : 1799.51/1800.09 c Solutions found : 0 (0 improvements) 1799.51/1800.09 c Primal Bound : - 1799.51/1800.09 c Dual Bound : +8.00000000000001e+01 1799.51/1800.09 c Gap : infinite 1799.51/1800.09 c Root Dual Bound : +8.00000000000000e+01 1799.81/1800.38 c Time complete: 1799.89.
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-1870628-1245214260/watcher-1870628-1245214260 -o /tmp/evaluation-result-1870628-1245214260/solver-1870628-1245214260 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870628-1245214260.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 3/64 11711 /proc/meminfo: memFree=1822888/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=4324 CPUtime=0 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 476 0 0 0 0 0 0 0 18 0 1 0 189023210 4427776 460 1992294400 4194304 7823515 548682068736 18446744073709551615 4403200 0 0 4096 0 0 0 0 17 1 0 0 /proc/11711/statm: 1082 468 304 886 0 192 0 [startup+0.0488639 s] /proc/loadavg: 0.99 0.97 0.98 3/64 11711 /proc/meminfo: memFree=1822888/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=15060 CPUtime=0.04 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 3101 0 0 0 3 1 0 0 18 0 1 0 189023210 15421440 3083 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/11711/statm: 3765 3083 351 886 0 2875 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15060 [startup+0.102862 s] /proc/loadavg: 0.99 0.97 0.98 3/64 11711 /proc/meminfo: memFree=1822888/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=23144 CPUtime=0.09 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 5372 0 0 0 7 2 0 0 18 0 1 0 189023210 23699456 5000 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 5786 5006 371 886 0 4896 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23144 [startup+0.302884 s] /proc/loadavg: 0.99 0.97 0.98 3/64 11711 /proc/meminfo: memFree=1822888/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=31476 CPUtime=0.29 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 7287 0 0 0 20 9 0 0 19 0 1 0 189023210 32231424 6915 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 7869 6915 404 886 0 6979 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31476 [startup+0.701927 s] /proc/loadavg: 0.99 0.97 0.98 3/64 11711 /proc/meminfo: memFree=1822888/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=58892 CPUtime=0.69 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 14275 0 0 0 49 20 0 0 17 0 1 0 189023210 60305408 13588 1992294400 4194304 7823515 548682068736 18446744073709551615 6018743 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 14723 13588 514 886 0 13833 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 58892 [startup+1.50202 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11712 /proc/meminfo: memFree=1766048/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=72464 CPUtime=1.49 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 17661 0 0 0 126 23 0 0 23 0 1 0 189023210 74203136 16941 1992294400 4194304 7823515 548682068736 18446744073709551615 5629912 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 18116 16941 551 886 0 17226 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 72464 [startup+3.10119 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11712 /proc/meminfo: memFree=1754784/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=78140 CPUtime=3.08 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 18863 0 0 0 284 24 0 0 25 0 1 0 189023210 80015360 18107 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 19535 18107 555 886 0 18645 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 78140 [startup+6.30155 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11712 /proc/meminfo: memFree=1751968/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=78140 CPUtime=6.29 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 18863 0 0 0 603 26 0 0 25 0 1 0 189023210 80015360 18107 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 19535 18107 555 886 0 18645 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 78140 [startup+12.7013 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11712 /proc/meminfo: memFree=1751968/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=78140 CPUtime=12.68 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 18924 0 0 0 1240 28 0 0 25 0 1 0 189023210 80015360 18168 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 19535 18168 555 886 0 18645 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 78140 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11712 /proc/meminfo: memFree=1750816/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=78140 CPUtime=25.48 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 19231 0 0 0 2517 31 0 0 25 0 1 0 189023210 80015360 18475 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 19535 18475 558 886 0 18645 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 78140 [startup+51.1015 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11712 /proc/meminfo: memFree=1748832/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=80624 CPUtime=51.08 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 20012 0 0 0 5070 38 0 0 25 0 1 0 189023210 82558976 19002 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 20156 19002 562 886 0 19266 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 80624 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11712 /proc/meminfo: memFree=1748832/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=80624 CPUtime=102.27 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 20018 0 0 0 10163 64 0 0 25 0 1 0 189023210 82558976 19008 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 20156 19008 568 886 0 19266 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 80624 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11714 /proc/meminfo: memFree=1747616/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=80624 CPUtime=162.25 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 20310 0 0 0 16135 90 0 0 25 0 1 0 189023210 82558976 19300 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 20156 19300 568 886 0 19266 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 80624 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11714 /proc/meminfo: memFree=1741728/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=86376 CPUtime=222.23 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 21796 0 0 0 22107 116 0 0 25 0 1 0 189023210 88449024 20784 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 21594 20784 568 886 0 20704 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 86376 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11714 /proc/meminfo: memFree=1733472/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=95120 CPUtime=282.21 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 23922 0 0 0 28077 144 0 0 25 0 1 0 189023210 97402880 22908 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 23780 22908 568 886 0 22890 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 95120 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11714 /proc/meminfo: memFree=1725152/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=103340 CPUtime=342.2 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 25959 0 0 0 34048 172 0 0 25 0 1 0 189023210 105820160 24945 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 25835 24945 568 886 0 24945 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 103340 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11714 /proc/meminfo: memFree=1717344/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=111020 CPUtime=402.18 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 27909 0 0 0 40018 200 0 0 25 0 1 0 189023210 113684480 26877 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 27755 26877 568 886 0 26865 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 111020 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11714 /proc/meminfo: memFree=1709280/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=119048 CPUtime=462.17 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 29923 0 0 0 45986 231 0 0 25 0 1 0 189023210 121905152 28889 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 29762 28889 568 886 0 28872 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 119048 [startup+522.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11714 /proc/meminfo: memFree=1701536/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=127052 CPUtime=522.16 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 31821 0 0 0 51959 257 0 0 25 0 1 0 189023210 130101248 30785 1992294400 4194304 7823515 548682068736 18446744073709551615 6151345 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 31763 30785 568 886 0 30873 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 127052 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11714 /proc/meminfo: memFree=1694944/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=133836 CPUtime=582.14 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 33516 0 0 0 57930 284 0 0 25 0 1 0 189023210 137048064 32478 1992294400 4194304 7823515 548682068736 18446744073709551615 6020064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 33459 32478 568 886 0 32569 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 133836 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1688160/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=140476 CPUtime=642.11 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 35153 0 0 0 63897 314 0 0 25 0 1 0 189023210 143847424 34115 1992294400 4194304 7823515 548682068736 18446744073709551615 6036304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 35119 34115 568 886 0 34229 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 140476 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1636512/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=192220 CPUtime=1121.99 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 48139 0 0 0 111659 540 0 0 25 0 1 0 189023210 196833280 47076 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 48055 47076 656 886 0 47165 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 192220 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1631456/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=197652 CPUtime=1181.97 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 49395 0 0 0 117631 566 0 0 25 0 1 0 189023210 202395648 48332 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 49413 48332 656 886 0 48523 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 197652 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1625696/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=203112 CPUtime=1241.95 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 50824 0 0 0 123603 592 0 0 25 0 1 0 189023210 207986688 49761 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 50778 49761 656 886 0 49888 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 203112 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1617312/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=211584 CPUtime=1301.94 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 52936 0 0 0 129573 621 0 0 25 0 1 0 189023210 216662016 51855 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 52896 51855 656 886 0 52006 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 211584 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1611936/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=217136 CPUtime=1361.93 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 54320 0 0 0 135544 649 0 0 25 0 1 0 189023210 222347264 53238 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 54284 53238 656 886 0 53394 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 217136 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1606688/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=222432 CPUtime=1421.91 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 55574 0 0 0 141517 674 0 0 25 0 1 0 189023210 227770368 54492 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 55608 54492 656 886 0 54718 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 222432 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1601248/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=228068 CPUtime=1481.9 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 56948 0 0 0 147488 702 0 0 25 0 1 0 189023210 233541632 55866 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 57017 55866 656 886 0 56127 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 228068 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1595104/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=234408 CPUtime=1541.88 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 58468 0 0 0 153460 728 0 0 25 0 1 0 189023210 240033792 57385 1992294400 4194304 7823515 548682068736 18446744073709551615 6247640 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 58602 57385 656 886 0 57712 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 234408 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1591392/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=238136 CPUtime=1601.86 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 59405 0 0 0 159433 753 0 0 25 0 1 0 189023210 243851264 58321 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 59534 58321 656 886 0 58644 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 238136 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1584992/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=244608 CPUtime=1661.85 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 61053 0 0 0 165407 778 0 0 25 0 1 0 189023210 250478592 59957 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 61152 59957 656 886 0 60262 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 244608 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1576544/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=253168 CPUtime=1721.83 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 63138 0 0 0 171373 810 0 0 25 0 1 0 189023210 259244032 62041 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 63292 62041 656 886 0 62402 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 253168 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1569888/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=260172 CPUtime=1781.82 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 64784 0 0 0 177338 844 0 0 25 0 1 0 189023210 266416128 63686 1992294400 4194304 7823515 548682068736 18446744073709551615 5978231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 65043 63686 656 886 0 64153 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 260172 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1568672/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=261408 CPUtime=1791.41 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 65070 0 0 0 178293 848 0 0 25 0 1 0 189023210 267681792 63972 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 65352 63972 656 886 0 64462 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 261408 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1568672/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=261408 CPUtime=1794.62 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 65075 0 0 0 178612 850 0 0 25 0 1 0 189023210 267681792 63977 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 65352 63977 656 886 0 64462 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 261408 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1568672/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=261408 CPUtime=1797.81 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 65079 0 0 0 178930 851 0 0 25 0 1 0 189023210 267681792 63981 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 65352 63981 656 886 0 64462 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 261408 [startup+1799.1 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1568672/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=261408 CPUtime=1798.61 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 65079 0 0 0 179010 851 0 0 25 0 1 0 189023210 267681792 63981 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 65352 63981 656 886 0 64462 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (KiB) 261408 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1568672/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=261408 CPUtime=1799.41 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 65079 0 0 0 179089 852 0 0 25 0 1 0 189023210 267681792 63981 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11711/statm: 65352 63981 656 886 0 64462 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (KiB) 261408 [startup+1800.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1568672/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=261408 CPUtime=1799.81 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 65082 0 0 0 179129 852 0 0 25 0 1 0 189023210 267681792 63984 1992294400 4194304 7823515 548682068736 18446744073709551615 5875147 0 0 4096 0 0 0 0 17 1 0 0 /proc/11711/statm: 65352 63984 659 886 0 64462 0 Current children cumulated CPU time (s) 1799.81 Current children cumulated vsize (KiB) 261408 [startup+1800.4 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11720 /proc/meminfo: memFree=1568672/2055920 swapFree=4191900/4192956 [pid=11711] ppid=11709 vsize=145184 CPUtime=1799.91 /proc/11711/stat : 11711 (pbscip.linux.x8) R 11709 11711 11394 0 -1 4194304 65085 0 0 0 179136 855 0 0 25 0 1 0 189023210 148668416 35728 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0 /proc/11711/statm: 36296 35728 28620 886 0 35406 0 Current children cumulated CPU time (s) 1799.91 Current children cumulated vsize (KiB) 145184 Child status: 0 Real time (s): 1800.41 CPU time (s): 1799.92 CPU user time (s): 1791.36 CPU system time (s): 8.5627 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 261408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.36 system time used= 8.5627 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65085 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= 2272 runsolver used 1.40878 second user time and 3.73143 second system time The end
Begin job on node38 at 2009-06-17 06:51:00 IDJOB=1870628 IDBENCH=48313 IDSOLVER=683 FILE ID=node38/1870628-1245214260 PBS_JOBID= 9368385 Free space on /tmp= 66236 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_5_40.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870628-1245214260/watcher-1870628-1245214260 -o /tmp/evaluation-result-1870628-1245214260/solver-1870628-1245214260 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870628-1245214260.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c1794605d16cd8196553c490f5507fd9 RANDOM SEED=110017153 node38.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: 1823368 kB Buffers: 48692 kB Cached: 100444 kB SwapCached: 260 kB Active: 63404 kB Inactive: 99080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823368 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 9996 kB Writeback: 0 kB Mapped: 22512 kB Slab: 56056 kB Committed_AS: 174176 kB PageTables: 1456 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= 66228 MiB End job on node38 at 2009-06-17 07:21:01