Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1798.91 | 1807.82 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_3_40.opb |
MD5SUM | 29fd031d19832e8fd3e4ee8a0dfa62d0 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2488 |
Sum of products size (including duplicates) | 4976 |
Number of different products | 1244 |
Sum of products size | 2488 |
0.00/0.02 c SCIP version 1.1.0.7 0.00/0.02 c LP-Solver Clp 1.8.2 0.00/0.02 c user parameter file <scip.set> not found - using default parameters 0.00/0.02 c read problem <HOME/instance-1870735-1245217722.opb> 0.00/0.02 c original problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1546 constraints 0.00/0.03 c No objective function, only one solution is needed. 0.00/0.03 c start presolving problem 0.00/0.03 c presolving: 0.09/0.17 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10152 impls, 200 clqs 0.29/0.30 c presolving (2 rounds): 0.29/0.30 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.29/0.30 c 10152 implications, 200 cliques 0.29/0.30 c presolved problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1546 constraints 0.29/0.30 c 1 constraints of type <knapsack> 0.29/0.30 c 200 constraints of type <setppc> 0.29/0.30 c 1244 constraints of type <and> 0.29/0.30 c 1 constraints of type <linear> 0.29/0.30 c 100 constraints of type <logicor> 0.29/0.30 c transformed objective value is always integral (scale: 1) 0.29/0.30 c Presolving Time: 0.11 0.29/0.30 c SATUNSAT-NLC 0.29/0.30 c ----------------------------------------------------------------------------------------------- 0.29/0.30 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.30 c separating/flowcover/freq = c -1 0.29/0.30 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.30 c separating/cmir/freq = c -1 0.29/0.30 c # additional number of allowed LP iterations 0.29/0.30 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.30 c heuristics/veclendiving/maxlpiterofs = c 1500 0.29/0.30 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.30 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.29/0.30 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.30 c heuristics/veclendiving/freq = c -1 0.29/0.30 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.30 c heuristics/simplerounding/freq = c -1 0.29/0.30 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.30 c heuristics/shifting/freq = c -1 0.29/0.30 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.30 c heuristics/rounding/freq = c -1 0.29/0.30 c # additional number of allowed LP iterations 0.29/0.30 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.30 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.29/0.30 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.29/0.30 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.29/0.30 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.30 c heuristics/rootsoldiving/freq = c -1 0.29/0.30 c # number of nodes added to the contingent of the total nodes 0.29/0.30 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.29/0.30 c heuristics/rens/nodesofs = c 2000 0.29/0.30 c # minimum percentage of integer variables that have to be fixable 0.29/0.30 c # [type: real, range: [0,1], default: 0.5] 0.29/0.30 c heuristics/rens/minfixingrate = c 0.3 0.29/0.30 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.30 c heuristics/rens/freq = c -1 0.29/0.30 c # additional number of allowed LP iterations 0.29/0.30 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.30 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.29/0.30 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.30 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.29/0.30 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.30 c heuristics/pscostdiving/freq = c -1 0.29/0.30 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.30 c heuristics/oneopt/freq = c -1 0.29/0.30 c # additional number of allowed LP iterations 0.29/0.30 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.30 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.29/0.30 c # maximal fraction of diving LP iterations compared to total iteration number 0.29/0.30 c # [type: real, range: [0,1], default: 0.01] 0.29/0.30 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.29/0.30 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.30 c heuristics/objpscostdiving/freq = c -1 0.29/0.30 c # additional number of allowed LP iterations 0.29/0.30 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.30 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.29/0.30 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.30 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.29/0.30 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.30 c heuristics/linesearchdiving/freq = c -1 0.29/0.30 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.30 c heuristics/intshifting/freq = c -1 0.29/0.30 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.30 c heuristics/intdiving/maxlpiterquot = c 0.075 0.29/0.30 c # additional number of allowed LP iterations 0.29/0.30 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.30 c heuristics/guideddiving/maxlpiterofs = c 1500 0.29/0.30 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.30 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.29/0.30 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.30 c heuristics/guideddiving/freq = c -1 0.29/0.30 c # additional number of allowed LP iterations 0.29/0.30 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.30 c heuristics/fracdiving/maxlpiterofs = c 1500 0.29/0.30 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.30 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.29/0.30 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.30 c heuristics/fracdiving/freq = c -1 0.29/0.30 c # additional number of allowed LP iterations 0.29/0.30 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.30 c heuristics/feaspump/maxlpiterofs = c 2000 0.29/0.30 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.30 c heuristics/feaspump/freq = c -1 0.29/0.30 c # minimum percentage of integer variables that have to be fixed 0.29/0.30 c # [type: real, range: [0,1], default: 0.666] 0.29/0.30 c heuristics/crossover/minfixingrate = c 0.5 0.29/0.30 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.29/0.30 c # [type: real, range: [0,1], default: 0.1] 0.29/0.30 c heuristics/crossover/nodesquot = c 0.15 0.29/0.30 c # number of nodes without incumbent change that heuristic should wait 0.29/0.30 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.29/0.30 c heuristics/crossover/nwaitingnodes = c 100 0.29/0.30 c # number of nodes added to the contingent of the total nodes 0.29/0.30 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.29/0.30 c heuristics/crossover/nodesofs = c 750 0.29/0.30 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 30] 0.29/0.30 c heuristics/crossover/freq = c -1 0.29/0.30 c # additional number of allowed LP iterations 0.29/0.30 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.30 c heuristics/coefdiving/maxlpiterofs = c 1500 0.29/0.30 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.30 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.29/0.30 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.30 c heuristics/coefdiving/freq = c -1 0.29/0.30 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.30 c presolving/probing/maxrounds = c 0 0.29/0.30 c # should presolving try to simplify knapsacks 0.29/0.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.29/0.30 c constraints/knapsack/simplifyinequalities = c TRUE 0.29/0.30 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.29/0.30 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.29/0.30 c constraints/knapsack/disaggregation = c FALSE 0.29/0.30 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.30 c constraints/knapsack/maxnumcardlift = c 0 0.29/0.30 c # should presolving try to simplify inequalities 0.29/0.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.29/0.30 c constraints/linear/simplifyinequalities = c TRUE 0.29/0.30 c # maximal number of separation rounds in the root node (-1: unlimited) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.30 c separating/maxroundsroot = c 5 0.29/0.30 c # maximal number of separation rounds per node (-1: unlimited) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 5] 0.29/0.30 c separating/maxrounds = c 1 0.29/0.30 c # solving stops, if the given number of solutions were found (-1: no limit) 0.29/0.30 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.30 c limits/solutions = c 1 0.29/0.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.30 c limits/memory = c 1620 0.29/0.30 c # maximal time in seconds to run 0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.30 c limits/time = c 1791 0.29/0.30 c # frequency for displaying node information lines 0.29/0.30 c # [type: int, range: [-1,2147483647], default: 100] 0.29/0.30 c display/freq = c 10000 0.29/0.30 c ----------------------------------------------------------------------------------------------- 0.29/0.30 c start solving problem 0.29/0.30 c 0.29/0.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.29/0.36 c 0.2s| 1 | 0 | 195 |6480k| 0 | 160 |1444 |1546 |1546 |1444 |2790 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf 0.59/0.67 c 0.5s| 1 | 0 | 264 |6528k| 0 | 161 |1444 |1546 |1546 |1444 |2792 | 2 | 0 | 0 | 8.000000e+01 | -- | Inf 1.10/1.16 c 0.9s| 1 | 0 | 436 |6592k| 0 | 173 |1444 |1546 |1546 |1444 |2793 | 3 | 0 | 0 | 8.000000e+01 | -- | Inf 1.99/2.06 c 1.9s| 1 | 0 | 451 |6637k| 0 | 173 |1444 |1546 |1546 |1444 |2794 | 4 | 0 | 0 | 8.000000e+01 | -- | Inf 2.89/2.97 c 2.7s| 1 | 0 | 467 |6678k| 0 | 174 |1444 |1546 |1546 |1444 |2795 | 5 | 0 | 0 | 8.000000e+01 | -- | Inf 6.78/6.84 c 6.6s| 1 | 2 | 467 |6678k| 0 | 174 |1444 |1546 |1546 |1444 |2795 | 5 | 0 | 33 | 8.000000e+01 | -- | Inf 1271.76/1278.11 c 1266s| 10000 | 2151 | 3492k| 15M| 55 | - |1444 |1551 |1070 |1444 | 823 | 582k| 7 | 10k| 8.000000e+01 | -- | Inf 1798.79/1807.76 c 1798.79/1807.76 c SCIP Status : solving was interrupted [time limit reached] 1798.79/1807.76 c Solving Time (sec) : 1791.00 1798.79/1807.76 c Solving Nodes : 14167 1798.79/1807.76 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1798.79/1807.76 c Dual Bound : +8.00000000000002e+01 1798.79/1807.76 c Gap : infinite 1798.79/1807.76 c NODE 14167 1798.79/1807.76 c DUAL BOUND 80 1798.79/1807.76 c PRIMAL BOUND 1e+20 1798.79/1807.76 c GAP 1e+20 1798.79/1807.76 s UNKNOWN 1798.79/1807.76 c SCIP Status : solving was interrupted [time limit reached] 1798.79/1807.76 c Solving Time : 1791.00 1798.79/1807.76 c Original Problem : 1798.79/1807.76 c Problem name : HOME/instance-1870735-1245217722.opb 1798.79/1807.76 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous) 1798.79/1807.76 c Constraints : 1546 initial, 1546 maximal 1798.79/1807.76 c Presolved Problem : 1798.79/1807.76 c Problem name : t_HOME/instance-1870735-1245217722.opb 1798.79/1807.76 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous) 1798.79/1807.76 c Constraints : 1546 initial, 1552 maximal 1798.79/1807.76 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1798.79/1807.76 c trivial : 0.00 0 0 0 0 0 0 0 0 1798.79/1807.76 c dualfix : 0.00 0 0 0 0 0 0 0 0 1798.79/1807.76 c boundshift : 0.00 0 0 0 0 0 0 0 0 1798.79/1807.76 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1798.79/1807.76 c implics : 0.00 0 0 0 0 0 0 0 0 1798.79/1807.76 c probing : 0.00 0 0 0 0 0 0 0 0 1798.79/1807.76 c knapsack : 0.00 0 0 0 0 0 0 0 0 1798.79/1807.76 c setppc : 0.01 0 0 0 0 0 0 0 0 1798.79/1807.76 c and : 0.09 0 0 0 0 0 0 0 0 1798.79/1807.76 c linear : 0.01 0 0 0 0 0 0 0 0 1798.79/1807.76 c logicor : 0.00 0 0 0 0 0 0 0 0 1798.79/1807.76 c root node : - 0 - - 0 - - - - 1798.79/1807.76 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1798.79/1807.76 c integral : 0 0 0 8436 0 26 66 0 0 16762 1798.79/1807.76 c knapsack : 1 5 37226 1 1 0 0 0 0 0 1798.79/1807.76 c setppc : 200 5 37226 1 1 3 116732 0 0 0 1798.79/1807.76 c and : 1244 11650 37223 1 1 5 1429349 1135156 0 0 1798.79/1807.76 c linear : 1 5 37218 0 0 0 0 0 0 0 1798.79/1807.76 c logicor : 100+ 5 13424 0 1 0 11264 0 0 0 1798.79/1807.76 c countsols : 0 0 0 0 1 0 0 0 0 0 1798.79/1807.76 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1798.79/1807.76 c integral : 249.23 0.00 0.00 249.23 0.00 1798.79/1807.76 c knapsack : 0.01 0.00 0.01 0.00 0.00 1798.79/1807.76 c setppc : 0.70 0.00 0.70 0.00 0.00 1798.79/1807.76 c and : 19.10 11.80 7.30 0.00 0.00 1798.79/1807.76 c linear : 0.76 0.00 0.76 0.00 0.00 1798.79/1807.76 c logicor : 0.14 0.00 0.14 0.00 0.00 1798.79/1807.76 c countsols : 0.00 0.00 0.00 0.00 0.00 1798.79/1807.76 c Propagators : Time Calls Cutoffs DomReds 1798.79/1807.76 c rootredcost : 0.04 0 0 0 1798.79/1807.76 c pseudoobj : 3.88 37227 0 0 1798.79/1807.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1798.79/1807.76 c propagation : 0.00 8 8 8 2.4 0 0.0 - 1798.79/1807.76 c infeasible LP : 2.29 5751 0 0 0.0 0 0.0 0 1798.79/1807.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1798.79/1807.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1798.79/1807.76 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1798.79/1807.76 c applied globally : - - - 8 2.4 - - - 1798.79/1807.76 c applied locally : - - - 0 0.0 - - - 1798.79/1807.76 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1798.79/1807.76 c cut pool : 0.00 4 - - 0 - (maximal pool size: 16) 1798.79/1807.76 c redcost : 1.02 11650 0 0 0 0 1798.79/1807.76 c impliedbounds : 0.00 5 0 0 0 0 1798.79/1807.76 c intobj : 0.00 0 0 0 0 0 1798.79/1807.76 c gomory : 2.32 5 0 0 518 0 1798.79/1807.76 c strongcg : 1.30 5 0 0 2000 0 1798.79/1807.76 c cmir : 0.00 0 0 0 0 0 1798.79/1807.76 c flowcover : 0.00 0 0 0 0 0 1798.79/1807.76 c clique : 0.01 5 0 0 0 0 1798.79/1807.76 c zerohalf : 0.00 0 0 0 0 0 1798.79/1807.76 c mcf : 0.00 1 0 0 0 0 1798.79/1807.76 c Pricers : Time Calls Vars 1798.79/1807.76 c problem variables: 0.00 0 0 1798.79/1807.76 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1798.79/1807.76 c relpscost : 249.16 8435 26 66 0 0 16762 1798.79/1807.76 c pscost : 0.00 0 0 0 0 0 0 1798.79/1807.76 c inference : 0.00 1 0 0 0 0 2 1798.79/1807.76 c mostinf : 0.00 0 0 0 0 0 0 1798.79/1807.76 c leastinf : 0.00 0 0 0 0 0 0 1798.79/1807.76 c fullstrong : 0.00 0 0 0 0 0 0 1798.79/1807.76 c allfullstrong : 0.00 0 0 0 0 0 0 1798.79/1807.76 c random : 0.00 0 0 0 0 0 0 1798.79/1807.76 c Primal Heuristics : Time Calls Found 1798.79/1807.76 c LP solutions : 0.00 - 0 1798.79/1807.76 c pseudo solutions : 0.00 - 0 1798.79/1807.76 c simplerounding : 0.00 0 0 1798.79/1807.76 c rounding : 0.00 0 0 1798.79/1807.76 c shifting : 0.00 0 0 1798.79/1807.76 c intshifting : 0.00 0 0 1798.79/1807.76 c oneopt : 0.00 0 0 1798.79/1807.76 c fixandinfer : 0.00 0 0 1798.79/1807.76 c feaspump : 0.00 0 0 1798.79/1807.76 c coefdiving : 0.00 0 0 1798.79/1807.76 c pscostdiving : 0.00 0 0 1798.79/1807.76 c fracdiving : 0.00 0 0 1798.79/1807.76 c veclendiving : 0.00 0 0 1798.79/1807.76 c intdiving : 0.00 0 0 1798.79/1807.76 c actconsdiving : 0.00 0 0 1798.79/1807.76 c objpscostdiving : 0.00 0 0 1798.79/1807.76 c rootsoldiving : 0.00 0 0 1798.79/1807.76 c linesearchdiving : 0.00 0 0 1798.79/1807.76 c guideddiving : 0.00 0 0 1798.79/1807.76 c octane : 0.00 0 0 1798.79/1807.76 c rens : 0.00 0 0 1798.79/1807.76 c rins : 0.00 0 0 1798.79/1807.76 c localbranching : 0.00 0 0 1798.79/1807.76 c mutation : 0.00 0 0 1798.79/1807.76 c crossover : 0.00 0 0 1798.79/1807.76 c dins : 0.00 0 0 1798.79/1807.76 c LP : Time Calls Iterations Iter/call Iter/sec 1798.79/1807.76 c primal LP : 170.70 0 0 0.00 0.00 1798.79/1807.76 c dual LP : 1305.69 25515 5043172 197.66 3862.46 1798.79/1807.76 c barrier LP : 0.00 0 0 0.00 - 1798.79/1807.76 c diving/probing LP: 0.00 0 0 0.00 - 1798.79/1807.76 c strong branching : 247.77 13243 1176739 88.86 4749.32 1798.79/1807.76 c (at root node) : - 33 4909 148.76 - 1798.79/1807.76 c conflict analysis: 0.00 0 0 0.00 - 1798.79/1807.76 c B&B Tree : 1798.79/1807.76 c number of runs : 1 1798.79/1807.76 c nodes : 14167 1798.79/1807.76 c nodes (total) : 14167 1798.79/1807.76 c nodes left : 2598 1798.79/1807.76 c max depth : 55 1798.79/1807.76 c max depth (total): 55 1798.79/1807.76 c backtracks : 2024 (14.3%) 1798.79/1807.76 c delayed cutoffs : 0 1798.79/1807.76 c repropagations : 18 (91 domain reductions, 0 cutoffs) 1798.79/1807.76 c avg switch length: 4.55 1798.79/1807.76 c switching time : 176.64 1798.79/1807.76 c Solution : 1798.79/1807.76 c Solutions found : 0 (0 improvements) 1798.79/1807.76 c Primal Bound : - 1798.79/1807.76 c Dual Bound : +8.00000000000002e+01 1798.79/1807.76 c Gap : infinite 1798.79/1807.76 c Root Dual Bound : +8.00000000000001e+01 1798.89/1807.81 c Time complete: 1798.9.
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-1870735-1245217722/watcher-1870735-1245217722 -o /tmp/evaluation-result-1870735-1245217722/solver-1870735-1245217722 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870735-1245217722.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.72 1.67 1.64 3/72 7565 /proc/meminfo: memFree=1850776/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=7616 CPUtime=0 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 723 0 0 0 0 0 0 0 20 0 1 0 178298532 7798784 708 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/7565/statm: 1904 717 353 1256 0 643 0 [startup+0.071643 s] /proc/loadavg: 1.72 1.67 1.64 3/72 7565 /proc/meminfo: memFree=1850776/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=17668 CPUtime=0.06 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 3549 0 0 0 4 2 0 0 20 0 1 0 178298532 18092032 3179 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 4417 3179 446 1256 0 3156 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 17668 [startup+0.101498 s] /proc/loadavg: 1.72 1.67 1.64 3/72 7565 /proc/meminfo: memFree=1850776/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=17668 CPUtime=0.09 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 3549 0 0 0 5 4 0 0 20 0 1 0 178298532 18092032 3179 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 4417 3179 446 1256 0 3156 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17668 [startup+0.301542 s] /proc/loadavg: 1.72 1.67 1.64 3/72 7565 /proc/meminfo: memFree=1850776/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=19696 CPUtime=0.29 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 4104 0 0 0 13 16 0 0 22 0 1 0 178298532 20168704 3734 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 4924 3734 484 1256 0 3663 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19696 [startup+0.704875 s] /proc/loadavg: 1.72 1.67 1.64 3/72 7565 /proc/meminfo: memFree=1850776/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=35104 CPUtime=0.69 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 7778 0 0 0 51 18 0 0 25 0 1 0 178298532 35946496 7392 1992294400 4194304 9342243 548682068736 18446744073709551615 8050678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 8776 7392 653 1256 0 7515 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35104 [startup+1.50178 s] /proc/loadavg: 1.72 1.67 1.64 3/73 7566 /proc/meminfo: memFree=1823248/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=36328 CPUtime=1.49 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 8006 0 0 0 130 19 0 0 25 0 1 0 178298532 37199872 7619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 9082 7619 653 1256 0 7821 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36328 [startup+3.1011 s] /proc/loadavg: 1.72 1.67 1.64 4/73 7566 /proc/meminfo: memFree=1817232/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=41096 CPUtime=3.08 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 10137 0 0 0 287 21 0 0 25 0 1 0 178298532 42082304 9013 1992294400 4194304 9342243 548682068736 18446744073709551615 4339156 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 10274 9013 653 1256 0 9013 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 41096 [startup+6.30572 s] /proc/loadavg: 1.66 1.65 1.64 4/73 7566 /proc/meminfo: memFree=1816856/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=43596 CPUtime=6.29 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 10196 0 0 0 607 22 0 0 25 0 1 0 178298532 44642304 9072 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 10899 9072 658 1256 0 9638 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43596 [startup+12.703 s] /proc/loadavg: 1.69 1.66 1.64 2/73 7566 /proc/meminfo: memFree=1816472/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=43596 CPUtime=12.68 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 10306 0 0 0 1244 24 0 0 25 0 1 0 178298532 44642304 9182 1992294400 4194304 9342243 548682068736 18446744073709551615 6938435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 10899 9182 680 1256 0 9638 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 43596 [startup+25.5015 s] /proc/loadavg: 1.68 1.66 1.64 3/73 7566 /proc/meminfo: memFree=1816536/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=43596 CPUtime=25.47 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 10337 0 0 0 2518 29 0 0 25 0 1 0 178298532 44642304 9213 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 10899 9213 681 1256 0 9638 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 43596 [startup+51.1076 s] /proc/loadavg: 1.86 1.70 1.65 3/73 7566 /proc/meminfo: memFree=1816280/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=43596 CPUtime=51.06 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 10391 0 0 0 5067 39 0 0 25 0 1 0 178298532 44642304 9267 1992294400 4194304 9342243 548682068736 18446744073709551615 8221073 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 10899 9267 681 1256 0 9638 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 43596 [startup+102.307 s] /proc/loadavg: 1.73 1.68 1.65 4/73 7566 /proc/meminfo: memFree=1815832/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=43596 CPUtime=101.98 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 10464 0 0 0 10139 59 0 0 25 0 1 0 178298532 44642304 9340 1992294400 4194304 9342243 548682068736 18446744073709551615 5868830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 10899 9340 684 1256 0 9638 0 Current children cumulated CPU time (s) 101.98 Current children cumulated vsize (KiB) 43596 [startup+162.302 s] /proc/loadavg: 1.61 1.66 1.64 2/73 7566 /proc/meminfo: memFree=1815128/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=43596 CPUtime=161.44 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 10626 0 0 0 16058 86 0 0 25 0 1 0 178298532 44642304 9502 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 10899 9502 684 1256 0 9638 0 Current children cumulated CPU time (s) 161.44 Current children cumulated vsize (KiB) 43596 [startup+222.302 s] /proc/loadavg: 1.54 1.64 1.63 2/73 7566 /proc/meminfo: memFree=1814296/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=43596 CPUtime=221.26 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 10837 0 0 0 22020 106 0 0 25 0 1 0 178298532 44642304 9713 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 10899 9713 684 1256 0 9638 0 Current children cumulated CPU time (s) 221.26 Current children cumulated vsize (KiB) 43596 [startup+282.301 s] /proc/loadavg: 1.69 1.67 1.64 3/73 7566 /proc/meminfo: memFree=1814936/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=43428 CPUtime=281.01 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 13720 0 0 0 27970 131 0 0 25 0 1 0 178298532 44470272 9573 1992294400 4194304 9342243 548682068736 18446744073709551615 6960836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 10857 9573 684 1256 0 9596 0 Current children cumulated CPU time (s) 281.01 Current children cumulated vsize (KiB) 43428 [startup+342.301 s] /proc/loadavg: 2.12 1.79 1.68 3/73 7566 /proc/meminfo: memFree=1813528/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=45028 CPUtime=340.56 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 21061 0 0 0 33890 166 0 0 25 0 1 0 178298532 46108672 9924 1992294400 4194304 9342243 548682068736 18446744073709551615 6960602 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 11257 9924 684 1256 0 9996 0 Current children cumulated CPU time (s) 340.56 Current children cumulated vsize (KiB) 45028 [startup+402.302 s] /proc/loadavg: 1.97 1.81 1.69 3/73 7566 /proc/meminfo: memFree=1813912/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=44584 CPUtime=400 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 35229 0 0 0 39806 194 0 0 25 0 1 0 178298532 45654016 9994 1992294400 4194304 9342243 548682068736 18446744073709551615 6039459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 11146 9994 684 1256 0 9885 0 Current children cumulated CPU time (s) 400 Current children cumulated vsize (KiB) 44584 [startup+462.302 s] /proc/loadavg: 1.66 1.76 1.68 4/73 7566 /proc/meminfo: memFree=1812248/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=46152 CPUtime=459.47 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 37465 0 0 0 45727 220 0 0 25 0 1 0 178298532 47259648 10221 1992294400 4194304 9342243 548682068736 18446744073709551615 6968658 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 11538 10221 684 1256 0 10277 0 Current children cumulated CPU time (s) 459.47 Current children cumulated vsize (KiB) 46152 [startup+522.308 s] /proc/loadavg: 1.59 1.74 1.68 3/73 7566 /proc/meminfo: memFree=1810840/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=47588 CPUtime=518.99 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 41885 0 0 0 51649 250 0 0 25 0 1 0 178298532 48730112 10583 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 11897 10583 684 1256 0 10636 0 Current children cumulated CPU time (s) 518.99 Current children cumulated vsize (KiB) 47588 [startup+582.309 s] /proc/loadavg: 1.63 1.71 1.67 2/73 7566 /proc/meminfo: memFree=1809688/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=48332 CPUtime=578.96 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 43787 0 0 0 57626 270 0 0 25 0 1 0 178298532 49491968 10852 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 12083 10852 684 1256 0 10822 0 Current children cumulated CPU time (s) 578.96 Current children cumulated vsize (KiB) 48332 [startup+642.302 s] /proc/loadavg: 1.86 1.76 1.69 2/73 7566 /proc/meminfo: memFree=1810072/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=48052 CPUtime=638.94 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 52983 0 0 0 63599 295 0 0 25 0 1 0 178298532 49205248 10746 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 12013 10746 684 1256 0 10752 0 Current children cumulated CPU time (s) 638.94 Current children cumulated vsize (KiB) 48052 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1805400/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=52852 CPUtime=1176.44 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 115000 0 0 0 117107 537 0 0 25 0 1 0 178298532 54120448 11884 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 13213 11884 684 1256 0 11952 0 Current children cumulated CPU time (s) 1176.44 Current children cumulated vsize (KiB) 52852 [startup+1242.3 s] /proc/loadavg: 1.79 1.66 1.66 2/73 7572 /proc/meminfo: memFree=1804312/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=53308 CPUtime=1236.37 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 116392 0 0 0 123077 560 0 0 25 0 1 0 178298532 54587392 12094 1992294400 4194304 9342243 548682068736 18446744073709551615 6080984 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 13327 12094 684 1256 0 12066 0 Current children cumulated CPU time (s) 1236.37 Current children cumulated vsize (KiB) 53308 [startup+1302.3 s] /proc/loadavg: 1.83 1.70 1.67 4/73 7572 /proc/meminfo: memFree=1804120/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=53516 CPUtime=1295.75 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 117211 0 0 0 128990 585 0 0 25 0 1 0 178298532 54800384 12122 1992294400 4194304 9342243 548682068736 18446744073709551615 6936168 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 13379 12122 684 1256 0 12118 0 Current children cumulated CPU time (s) 1295.75 Current children cumulated vsize (KiB) 53516 [startup+1362.3 s] /proc/loadavg: 1.87 1.73 1.68 4/73 7572 /proc/meminfo: memFree=1803416/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=53672 CPUtime=1355.27 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 117434 0 0 0 134919 608 0 0 25 0 1 0 178298532 54960128 12345 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 13418 12345 690 1256 0 12157 0 Current children cumulated CPU time (s) 1355.27 Current children cumulated vsize (KiB) 53672 [startup+1422.31 s] /proc/loadavg: 1.46 1.64 1.65 4/73 7572 /proc/meminfo: memFree=1802584/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=54924 CPUtime=1414.71 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 117619 0 0 0 140838 633 0 0 25 0 1 0 178298532 56242176 12530 1992294400 4194304 9342243 548682068736 18446744073709551615 6040760 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 13731 12530 690 1256 0 12470 0 Current children cumulated CPU time (s) 1414.71 Current children cumulated vsize (KiB) 54924 [startup+1482.3 s] /proc/loadavg: 1.66 1.67 1.66 2/73 7572 /proc/meminfo: memFree=1802584/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=55096 CPUtime=1474.45 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 118506 0 0 0 146780 665 0 0 25 0 1 0 178298532 56418304 12533 1992294400 4194304 9342243 548682068736 18446744073709551615 6348705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 13774 12533 690 1256 0 12513 0 Current children cumulated CPU time (s) 1474.45 Current children cumulated vsize (KiB) 55096 [startup+1542.3 s] /proc/loadavg: 1.55 1.63 1.64 2/73 7572 /proc/meminfo: memFree=1802904/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=55112 CPUtime=1534.42 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 122307 0 0 0 152756 686 0 0 25 0 1 0 178298532 56434688 12469 1992294400 4194304 9342243 548682068736 18446744073709551615 6080906 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 13778 12469 690 1256 0 12517 0 Current children cumulated CPU time (s) 1534.42 Current children cumulated vsize (KiB) 55112 [startup+1602.3 s] /proc/loadavg: 1.63 1.64 1.64 4/73 7572 /proc/meminfo: memFree=1801432/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=56512 CPUtime=1594.4 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 128753 0 0 0 158730 710 0 0 25 0 1 0 178298532 57868288 12809 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 14128 12809 690 1256 0 12867 0 Current children cumulated CPU time (s) 1594.4 Current children cumulated vsize (KiB) 56512 [startup+1662.3 s] /proc/loadavg: 1.61 1.64 1.64 4/73 7572 /proc/meminfo: memFree=1800792/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=57368 CPUtime=1654.06 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 129274 0 0 0 164675 731 0 0 25 0 1 0 178298532 58744832 12985 1992294400 4194304 9342243 548682068736 18446744073709551615 6253507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 14342 12985 690 1256 0 13081 0 Current children cumulated CPU time (s) 1654.06 Current children cumulated vsize (KiB) 57368 [startup+1722.3 s] /proc/loadavg: 1.79 1.67 1.65 3/73 7572 /proc/meminfo: memFree=1799896/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=57368 CPUtime=1713.5 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 129469 0 0 0 170594 756 0 0 25 0 1 0 178298532 58744832 13180 1992294400 4194304 9342243 548682068736 18446744073709551615 6342000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 14342 13180 690 1256 0 13081 0 Current children cumulated CPU time (s) 1713.5 Current children cumulated vsize (KiB) 57368 [startup+1782.31 s] /proc/loadavg: 1.73 1.67 1.64 2/73 7572 /proc/meminfo: memFree=1800536/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=56224 CPUtime=1773.42 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 130006 0 0 0 176566 776 0 0 25 0 1 0 178298532 57573376 13011 1992294400 4194304 9342243 548682068736 18446744073709551615 6952963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 14056 13011 690 1256 0 12795 0 Current children cumulated CPU time (s) 1773.42 Current children cumulated vsize (KiB) 56224 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.77 1.68 1.65 3/73 7572 /proc/meminfo: memFree=1800280/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=57672 CPUtime=1783.01 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 130830 0 0 0 177522 779 0 0 25 0 1 0 178298532 59056128 13058 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 14418 13058 690 1256 0 13157 0 Current children cumulated CPU time (s) 1783.01 Current children cumulated vsize (KiB) 57672 [startup+1798.3 s] /proc/loadavg: 1.70 1.67 1.64 2/73 7572 /proc/meminfo: memFree=1799960/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=57672 CPUtime=1789.4 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 130920 0 0 0 178159 781 0 0 25 0 1 0 178298532 59056128 13148 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 14418 13148 690 1256 0 13157 0 Current children cumulated CPU time (s) 1789.4 Current children cumulated vsize (KiB) 57672 [startup+1804.7 s] /proc/loadavg: 1.65 1.66 1.64 3/73 7572 /proc/meminfo: memFree=1800152/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=57596 CPUtime=1795.8 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 131270 0 0 0 178797 783 0 0 25 0 1 0 178298532 58978304 13109 1992294400 4194304 9342243 548682068736 18446744073709551615 5868525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 14399 13109 690 1256 0 13138 0 Current children cumulated CPU time (s) 1795.8 Current children cumulated vsize (KiB) 57596 [startup+1806.3 s] /proc/loadavg: 1.76 1.68 1.64 2/73 7572 /proc/meminfo: memFree=1800600/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=56256 CPUtime=1797.39 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 131458 0 0 0 178956 783 0 0 25 0 1 0 178298532 57606144 12993 1992294400 4194304 9342243 548682068736 18446744073709551615 6938338 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 14064 12993 690 1256 0 12803 0 Current children cumulated CPU time (s) 1797.39 Current children cumulated vsize (KiB) 56256 [startup+1807.1 s] /proc/loadavg: 1.76 1.68 1.64 2/73 7572 /proc/meminfo: memFree=1800600/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=56256 CPUtime=1798.2 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 131500 0 0 0 179036 784 0 0 25 0 1 0 178298532 57606144 13035 1992294400 4194304 9342243 548682068736 18446744073709551615 6040560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 14064 13035 690 1256 0 12803 0 Current children cumulated CPU time (s) 1798.2 Current children cumulated vsize (KiB) 56256 [startup+1807.5 s] /proc/loadavg: 1.76 1.68 1.64 4/73 7572 /proc/meminfo: memFree=1800344/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=56256 CPUtime=1798.59 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 131511 0 0 0 179075 784 0 0 25 0 1 0 178298532 57606144 13046 1992294400 4194304 9342243 548682068736 18446744073709551615 6945928 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 14064 13046 690 1256 0 12803 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (KiB) 56256 [startup+1807.7 s] /proc/loadavg: 1.76 1.68 1.64 4/73 7572 /proc/meminfo: memFree=1800344/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=56256 CPUtime=1798.79 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 131511 0 0 0 179095 784 0 0 25 0 1 0 178298532 57606144 13046 1992294400 4194304 9342243 548682068736 18446744073709551615 6978110 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7565/statm: 14064 13046 690 1256 0 12803 0 Current children cumulated CPU time (s) 1798.79 Current children cumulated vsize (KiB) 56256 [startup+1807.8 s] /proc/loadavg: 1.76 1.68 1.64 4/73 7572 /proc/meminfo: memFree=1800344/2055920 swapFree=4192812/4192956 [pid=7565] ppid=7563 vsize=56256 CPUtime=1798.89 /proc/7565/stat : 7565 (pbscip.linux.x8) R 7563 7565 6837 0 -1 4194304 131517 0 0 0 179105 784 0 0 25 0 1 0 178298532 57606144 13052 1992294400 4194304 9342243 548682068736 18446744073709551615 5855084 0 0 4096 0 0 0 0 17 1 0 0 /proc/7565/statm: 14064 13052 695 1256 0 12803 0 Current children cumulated CPU time (s) 1798.89 Current children cumulated vsize (KiB) 56256 Child status: 0 Real time (s): 1807.82 CPU time (s): 1798.91 CPU user time (s): 1791.06 CPU system time (s): 7.85081 CPU usage (%): 99.5074 Max. virtual memory (cumulated for all children) (KiB): 57860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.06 system time used= 7.85081 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 131522 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= 28702 runsolver used 1.93171 second user time and 5.36018 second system time The end
Begin job on node53 at 2009-06-17 07:48:43 IDJOB=1870735 IDBENCH=48366 IDSOLVER=684 FILE ID=node53/1870735-1245217722 PBS_JOBID= 9368379 Free space on /tmp= 66348 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_3_40.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870735-1245217722/watcher-1870735-1245217722 -o /tmp/evaluation-result-1870735-1245217722/solver-1870735-1245217722 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870735-1245217722.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 29fd031d19832e8fd3e4ee8a0dfa62d0 RANDOM SEED=959548102 node53.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.283 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.283 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1851256 kB Buffers: 14516 kB Cached: 101144 kB SwapCached: 144 kB Active: 39612 kB Inactive: 107448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1851256 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 11760 kB Writeback: 0 kB Mapped: 42644 kB Slab: 42584 kB Committed_AS: 606424 kB PageTables: 2056 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= 66336 MiB End job on node53 at 2009-06-17 08:18:51