Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1794.27 | 1794.74 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_80.opb |
MD5SUM | 6671ed3c9b389a2223dba62c8a435d2e |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
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 | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31444 |
Sum of products size (including duplicates) | 62888 |
Number of different products | 15722 |
Sum of products size | 31444 |
0.09/0.19 c SCIP version 1.1.0.7 0.09/0.19 c LP-Solver Clp 1.8.2 0.09/0.19 c user parameter file <scip.set> not found - using default parameters 0.09/0.19 c read problem <HOME/instance-1870703-1245216061.opb> 0.09/0.19 c original problem has 16722 variables (16722 bin, 0 int, 0 impl, 0 cont) and 17224 constraints 0.29/0.36 c No objective function, only one solution is needed. 0.29/0.36 c start presolving problem 0.29/0.36 c presolving: 0.79/0.86 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 126776 impls, 1000 clqs 1.10/1.19 c presolving (2 rounds): 1.10/1.19 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 1.10/1.19 c 126776 implications, 1000 cliques 1.10/1.19 c presolved problem has 16722 variables (16722 bin, 0 int, 0 impl, 0 cont) and 17224 constraints 1.10/1.19 c 1 constraints of type <knapsack> 1.10/1.19 c 1000 constraints of type <setppc> 1.10/1.19 c 15722 constraints of type <and> 1.10/1.19 c 1 constraints of type <linear> 1.10/1.19 c 500 constraints of type <logicor> 1.10/1.19 c transformed objective value is always integral (scale: 1) 1.10/1.19 c Presolving Time: 0.68 1.10/1.19 c SATUNSAT-NLC 1.10/1.19 c ----------------------------------------------------------------------------------------------- 1.10/1.19 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.19 c separating/flowcover/freq = c -1 1.10/1.19 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.19 c separating/cmir/freq = c -1 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/veclendiving/maxlpiterofs = c 1500 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/veclendiving/maxlpiterquot = c 0.075 1.10/1.19 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/veclendiving/freq = c -1 1.10/1.19 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.19 c heuristics/simplerounding/freq = c -1 1.10/1.19 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/shifting/freq = c -1 1.10/1.19 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.19 c heuristics/rounding/freq = c -1 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/rootsoldiving/maxlpiterofs = c 1500 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.10/1.19 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 1.10/1.19 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.19 c heuristics/rootsoldiving/freq = c -1 1.10/1.19 c # number of nodes added to the contingent of the total nodes 1.10/1.19 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.10/1.19 c heuristics/rens/nodesofs = c 2000 1.10/1.19 c # minimum percentage of integer variables that have to be fixable 1.10/1.19 c # [type: real, range: [0,1], default: 0.5] 1.10/1.19 c heuristics/rens/minfixingrate = c 0.3 1.10/1.19 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.19 c heuristics/rens/freq = c -1 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/pscostdiving/maxlpiterofs = c 1500 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/pscostdiving/maxlpiterquot = c 0.075 1.10/1.19 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/pscostdiving/freq = c -1 1.10/1.19 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.19 c heuristics/oneopt/freq = c -1 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/objpscostdiving/maxlpiterofs = c 1500 1.10/1.19 c # maximal fraction of diving LP iterations compared to total iteration number 1.10/1.19 c # [type: real, range: [0,1], default: 0.01] 1.10/1.19 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 1.10/1.19 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.19 c heuristics/objpscostdiving/freq = c -1 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/linesearchdiving/maxlpiterofs = c 1500 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 1.10/1.19 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/linesearchdiving/freq = c -1 1.10/1.19 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/intshifting/freq = c -1 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/intdiving/maxlpiterquot = c 0.075 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/guideddiving/maxlpiterofs = c 1500 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/guideddiving/maxlpiterquot = c 0.075 1.10/1.19 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/guideddiving/freq = c -1 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/fracdiving/maxlpiterofs = c 1500 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/fracdiving/maxlpiterquot = c 0.075 1.10/1.19 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/fracdiving/freq = c -1 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/feaspump/maxlpiterofs = c 2000 1.10/1.19 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.19 c heuristics/feaspump/freq = c -1 1.10/1.19 c # minimum percentage of integer variables that have to be fixed 1.10/1.19 c # [type: real, range: [0,1], default: 0.666] 1.10/1.19 c heuristics/crossover/minfixingrate = c 0.5 1.10/1.19 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.10/1.19 c # [type: real, range: [0,1], default: 0.1] 1.10/1.19 c heuristics/crossover/nodesquot = c 0.15 1.10/1.19 c # number of nodes without incumbent change that heuristic should wait 1.10/1.19 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.10/1.19 c heuristics/crossover/nwaitingnodes = c 100 1.10/1.19 c # number of nodes added to the contingent of the total nodes 1.10/1.19 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.10/1.19 c heuristics/crossover/nodesofs = c 750 1.10/1.19 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 30] 1.10/1.19 c heuristics/crossover/freq = c -1 1.10/1.19 c # additional number of allowed LP iterations 1.10/1.19 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.19 c heuristics/coefdiving/maxlpiterofs = c 1500 1.10/1.19 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.19 c heuristics/coefdiving/maxlpiterquot = c 0.075 1.10/1.19 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.19 c heuristics/coefdiving/freq = c -1 1.10/1.19 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.19 c presolving/probing/maxrounds = c 0 1.10/1.19 c # should presolving try to simplify knapsacks 1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.10/1.19 c constraints/knapsack/simplifyinequalities = c TRUE 1.10/1.19 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.10/1.19 c constraints/knapsack/disaggregation = c FALSE 1.10/1.19 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.19 c constraints/knapsack/maxnumcardlift = c 0 1.10/1.19 c # should presolving try to simplify inequalities 1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.19/1.20 c constraints/linear/simplifyinequalities = c TRUE 1.19/1.20 c # maximal number of separation rounds in the root node (-1: unlimited) 1.19/1.20 c # [type: int, range: [-1,2147483647], default: -1] 1.19/1.20 c separating/maxroundsroot = c 5 1.19/1.20 c # maximal number of separation rounds per node (-1: unlimited) 1.19/1.20 c # [type: int, range: [-1,2147483647], default: 5] 1.19/1.20 c separating/maxrounds = c 1 1.19/1.20 c # solving stops, if the given number of solutions were found (-1: no limit) 1.19/1.20 c # [type: int, range: [-1,2147483647], default: -1] 1.19/1.20 c limits/solutions = c 1 1.19/1.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.19/1.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.19/1.20 c limits/memory = c 1620 1.19/1.20 c # maximal time in seconds to run 1.19/1.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.19/1.20 c limits/time = c 1791 1.19/1.20 c # frequency for displaying node information lines 1.19/1.20 c # [type: int, range: [-1,2147483647], default: 100] 1.19/1.20 c display/freq = c 10000 1.19/1.20 c ----------------------------------------------------------------------------------------------- 1.19/1.20 c start solving problem 1.19/1.20 c 2.19/2.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 2.19/2.24 c 1.8s| 1 | 0 | 434 | 74M| 0 | 341 | 16k| 17k| 17k| 16k| 32k| 0 | 0 | 0 | 1.600000e+02 | -- | Inf 15.29/15.37 c 14.8s| 1 | 0 | 1342 | 74M| 0 | 347 | 16k| 17k| 17k| 16k| 32k| 2 | 0 | 0 | 1.600000e+02 | -- | Inf 77.87/77.99 c 77.3s| 1 | 0 | 1345 | 74M| 0 | 350 | 16k| 17k| 17k| 16k| 32k| 3 | 0 | 0 | 1.600000e+02 | -- | Inf 150.45/150.55 c 150s| 1 | 0 | 1369 | 75M| 0 | 360 | 16k| 17k| 17k| 16k| 32k| 4 | 0 | 0 | 1.600000e+02 | -- | Inf 229.12/229.21 c 228s| 1 | 0 | 1758 | 75M| 0 | 385 | 16k| 17k| 17k| 16k| 32k| 5 | 0 | 0 | 1.600000e+02 | -- | Inf 444.97/445.17 c 444s| 1 | 2 | 1758 | 75M| 0 | 385 | 16k| 17k| 17k| 16k| 32k| 5 | 0 | 33 | 1.600000e+02 | -- | Inf 1793.82/1794.35 c 1793.82/1794.35 c SCIP Status : solving was interrupted [time limit reached] 1793.82/1794.35 c Solving Time (sec) : 1791.03 1793.82/1794.35 c Solving Nodes : 2337 1793.82/1794.35 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1793.82/1794.35 c Dual Bound : +1.60000000000001e+02 1793.82/1794.35 c Gap : infinite 1793.82/1794.35 c NODE 2337 1793.82/1794.35 c DUAL BOUND 160 1793.82/1794.35 c PRIMAL BOUND 1e+20 1793.82/1794.35 c GAP 1e+20 1793.82/1794.35 s UNKNOWN 1793.82/1794.35 c SCIP Status : solving was interrupted [time limit reached] 1793.82/1794.35 c Solving Time : 1791.03 1793.82/1794.35 c Original Problem : 1793.82/1794.35 c Problem name : HOME/instance-1870703-1245216061.opb 1793.82/1794.35 c Variables : 16722 (16722 binary, 0 integer, 0 implicit integer, 0 continuous) 1793.82/1794.35 c Constraints : 17224 initial, 17224 maximal 1793.82/1794.35 c Presolved Problem : 1793.82/1794.35 c Problem name : t_HOME/instance-1870703-1245216061.opb 1793.82/1794.35 c Variables : 16722 (16722 binary, 0 integer, 0 implicit integer, 0 continuous) 1793.82/1794.35 c Constraints : 17224 initial, 17282 maximal 1793.82/1794.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1793.82/1794.35 c trivial : 0.00 0 0 0 0 0 0 0 0 1793.82/1794.35 c dualfix : 0.00 0 0 0 0 0 0 0 0 1793.82/1794.35 c boundshift : 0.00 0 0 0 0 0 0 0 0 1793.82/1794.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1793.82/1794.35 c implics : 0.00 0 0 0 0 0 0 0 0 1793.82/1794.35 c probing : 0.00 0 0 0 0 0 0 0 0 1793.82/1794.35 c knapsack : 0.03 0 0 0 0 0 0 0 0 1793.82/1794.35 c setppc : 0.02 0 0 0 0 0 0 0 0 1793.82/1794.35 c and : 0.40 0 0 0 0 0 0 0 0 1793.82/1794.35 c linear : 0.12 0 0 0 0 0 0 0 0 1793.82/1794.35 c logicor : 0.01 0 0 0 0 0 0 0 0 1793.82/1794.35 c root node : - 0 - - 0 - - - - 1793.82/1794.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1793.82/1794.35 c integral : 0 0 0 2212 0 1 0 0 0 4410 1793.82/1794.35 c knapsack : 1 5 7155 6 2 0 0 0 0 0 1793.82/1794.35 c setppc : 1000 5 7155 6 2 41 26774 0 0 0 1793.82/1794.35 c and : 15722 2240 7114 6 2 17 660329 560099 0 0 1793.82/1794.35 c linear : 1 5 7097 0 0 0 0 0 0 0 1793.82/1794.35 c logicor : 500+ 5 2247 0 2 0 1949 0 0 0 1793.82/1794.35 c countsols : 0 0 0 0 1 0 0 0 0 0 1793.82/1794.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1793.82/1794.35 c integral : 463.02 0.00 0.00 463.02 0.00 1793.82/1794.35 c knapsack : 0.02 0.01 0.01 0.00 0.00 1793.82/1794.35 c setppc : 0.82 0.00 0.82 0.00 0.00 1793.82/1794.35 c and : 43.75 31.04 12.61 0.08 0.02 1793.82/1794.35 c linear : 1.24 0.02 1.22 0.00 0.00 1793.82/1794.35 c logicor : 0.06 0.00 0.06 0.00 0.00 1793.82/1794.35 c countsols : 0.00 0.00 0.00 0.00 0.00 1793.82/1794.35 c Propagators : Time Calls Cutoffs DomReds 1793.82/1794.35 c rootredcost : 0.01 0 0 0 1793.82/1794.35 c pseudoobj : 21.49 7156 0 0 1793.82/1794.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1793.82/1794.35 c propagation : 0.00 58 58 58 2.7 0 0.0 - 1793.82/1794.35 c infeasible LP : 0.17 72 0 0 0.0 0 0.0 0 1793.82/1794.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1793.82/1794.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1793.82/1794.35 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1793.82/1794.35 c applied globally : - - - 58 2.7 - - - 1793.82/1794.35 c applied locally : - - - 0 0.0 - - - 1793.82/1794.35 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1793.82/1794.35 c cut pool : 0.00 4 - - 0 - (maximal pool size: 11) 1793.82/1794.35 c redcost : 7.15 2240 0 0 0 0 1793.82/1794.35 c impliedbounds : 0.02 5 0 0 0 0 1793.82/1794.35 c intobj : 0.00 0 0 0 0 0 1793.82/1794.35 c gomory : 179.18 5 0 0 500 0 1793.82/1794.35 c strongcg : 133.35 5 0 0 620 0 1793.82/1794.35 c cmir : 0.00 0 0 0 0 0 1793.82/1794.35 c flowcover : 0.00 0 0 0 0 0 1793.82/1794.35 c clique : 0.20 5 0 0 0 0 1793.82/1794.35 c zerohalf : 0.00 0 0 0 0 0 1793.82/1794.35 c mcf : 1.25 2 0 0 0 0 1793.82/1794.35 c Pricers : Time Calls Vars 1793.82/1794.35 c problem variables: 0.00 0 0 1793.82/1794.35 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1793.82/1794.35 c relpscost : 463.02 2206 1 0 0 0 4410 1793.82/1794.35 c pscost : 0.00 0 0 0 0 0 0 1793.82/1794.35 c inference : 0.01 1 0 0 0 0 2 1793.82/1794.35 c mostinf : 0.00 0 0 0 0 0 0 1793.82/1794.35 c leastinf : 0.00 0 0 0 0 0 0 1793.82/1794.35 c fullstrong : 0.00 0 0 0 0 0 0 1793.82/1794.35 c allfullstrong : 0.00 0 0 0 0 0 0 1793.82/1794.35 c random : 0.00 0 0 0 0 0 0 1793.82/1794.35 c Primal Heuristics : Time Calls Found 1793.82/1794.35 c LP solutions : 0.00 - 0 1793.82/1794.35 c pseudo solutions : 0.00 - 0 1793.82/1794.35 c simplerounding : 0.00 0 0 1793.82/1794.35 c rounding : 0.00 0 0 1793.82/1794.35 c shifting : 0.00 0 0 1793.82/1794.35 c intshifting : 0.00 0 0 1793.82/1794.35 c oneopt : 0.00 0 0 1793.82/1794.35 c fixandinfer : 0.00 0 0 1793.82/1794.35 c feaspump : 0.00 0 0 1793.82/1794.35 c coefdiving : 0.00 0 0 1793.82/1794.35 c pscostdiving : 0.00 0 0 1793.82/1794.35 c fracdiving : 0.00 0 0 1793.82/1794.35 c veclendiving : 0.00 0 0 1793.82/1794.35 c intdiving : 0.00 0 0 1793.82/1794.35 c actconsdiving : 0.00 0 0 1793.82/1794.35 c objpscostdiving : 0.00 0 0 1793.82/1794.35 c rootsoldiving : 0.00 0 0 1793.82/1794.35 c linesearchdiving : 0.00 0 0 1793.82/1794.35 c guideddiving : 0.00 0 0 1793.82/1794.35 c octane : 0.00 0 0 1793.82/1794.35 c rens : 0.00 0 0 1793.82/1794.35 c rins : 0.00 0 0 1793.82/1794.35 c localbranching : 0.00 0 0 1793.82/1794.35 c mutation : 0.00 0 0 1793.82/1794.35 c crossover : 0.00 0 0 1793.82/1794.35 c dins : 0.00 0 0 1793.82/1794.35 c LP : Time Calls Iterations Iter/call Iter/sec 1793.82/1794.35 c primal LP : 303.16 0 0 0.00 0.00 1793.82/1794.35 c dual LP : 585.28 4522 704919 155.89 1204.41 1793.82/1794.35 c barrier LP : 0.00 0 0 0.00 - 1793.82/1794.35 c diving/probing LP: 0.00 0 0 0.00 - 1793.82/1794.35 c strong branching : 462.16 9112 455978 50.04 986.62 1793.82/1794.35 c (at root node) : - 33 18811 570.03 - 1793.82/1794.35 c conflict analysis: 0.00 0 0 0.00 - 1793.82/1794.35 c B&B Tree : 1793.82/1794.35 c number of runs : 1 1793.82/1794.35 c nodes : 2337 1793.82/1794.35 c nodes (total) : 2337 1793.82/1794.35 c nodes left : 2076 1793.82/1794.35 c max depth : 67 1793.82/1794.35 c max depth (total): 67 1793.82/1794.35 c backtracks : 80 (3.4%) 1793.82/1794.35 c delayed cutoffs : 0 1793.82/1794.35 c repropagations : 613 (1695 domain reductions, 0 cutoffs) 1793.82/1794.35 c avg switch length: 2.62 1793.82/1794.35 c switching time : 308.31 1793.82/1794.35 c Solution : 1793.82/1794.35 c Solutions found : 0 (0 improvements) 1793.82/1794.35 c Primal Bound : - 1793.82/1794.35 c Dual Bound : +1.60000000000001e+02 1793.82/1794.35 c Gap : infinite 1793.82/1794.35 c Root Dual Bound : +1.60000000000001e+02 1794.22/1794.73 c Time complete: 1794.25.
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-1870703-1245216061/watcher-1870703-1245216061 -o /tmp/evaluation-result-1870703-1245216061/solver-1870703-1245216061 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870703-1245216061.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 11746 /proc/meminfo: memFree=1820264/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=5812 CPUtime=0 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 189203288 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/11746/statm: 1453 502 332 1256 0 192 0 [startup+0.0208241 s] /proc/loadavg: 0.99 0.97 0.98 3/64 11746 /proc/meminfo: memFree=1820264/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=13160 CPUtime=0.01 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 2097 0 0 0 1 0 0 0 18 0 1 0 189203288 13475840 2081 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/11746/statm: 3290 2091 376 1256 0 2029 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13160 [startup+0.101841 s] /proc/loadavg: 0.99 0.97 0.98 3/64 11746 /proc/meminfo: memFree=1820264/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=23820 CPUtime=0.09 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 4930 0 0 0 8 1 0 0 18 0 1 0 189203288 24391680 4914 1992294400 4194304 9342243 548682068736 18446744073709551615 4403269 0 0 4096 0 0 0 0 17 1 0 0 /proc/11746/statm: 5955 4914 376 1256 0 4694 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23820 [startup+0.301863 s] /proc/loadavg: 0.99 0.97 0.98 3/64 11746 /proc/meminfo: memFree=1820264/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=52736 CPUtime=0.29 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 12519 0 0 0 24 5 0 0 19 0 1 0 189203288 54001664 12149 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 13184 12149 416 1256 0 11923 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 52736 [startup+0.701907 s] /proc/loadavg: 0.99 0.97 0.98 3/64 11746 /proc/meminfo: memFree=1820264/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=62168 CPUtime=0.69 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 14672 0 0 0 54 15 0 0 22 0 1 0 189203288 63660032 14302 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 15542 14302 464 1256 0 14281 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 62168 [startup+1.50199 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11747 /proc/meminfo: memFree=1757408/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=134840 CPUtime=1.49 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 29732 0 0 0 119 30 0 0 18 0 1 0 189203288 138076160 29187 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 33710 29187 615 1256 0 32449 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 134840 [startup+3.10116 s] /proc/loadavg: 0.99 0.97 0.98 2/65 11747 /proc/meminfo: memFree=1702688/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=139660 CPUtime=3.09 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 32684 0 0 0 277 32 0 0 25 0 1 0 189203288 143011840 30561 1992294400 4194304 9342243 548682068736 18446744073709551615 4339152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 34915 30561 639 1256 0 33654 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 139660 [startup+6.30153 s] /proc/loadavg: 1.07 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1690336/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=147388 CPUtime=6.28 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 35119 0 0 0 595 33 0 0 25 0 1 0 189203288 150925312 32996 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 36847 32996 639 1256 0 35586 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 147388 [startup+12.7012 s] /proc/loadavg: 1.07 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1667936/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=168608 CPUtime=12.69 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 40713 0 0 0 1230 39 0 0 25 0 1 0 189203288 172654592 38590 1992294400 4194304 9342243 548682068736 18446744073709551615 6960748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 42152 38590 656 1256 0 40891 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 168608 [startup+25.5017 s] /proc/loadavg: 1.05 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1666976/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=168608 CPUtime=25.48 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 40955 0 0 0 2507 41 0 0 25 0 1 0 189203288 172654592 38832 1992294400 4194304 9342243 548682068736 18446744073709551615 4338440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 42152 38832 656 1256 0 40891 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 168608 [startup+51.1015 s] /proc/loadavg: 1.03 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1667104/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=168608 CPUtime=51.07 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 40955 0 0 0 5063 44 0 0 25 0 1 0 189203288 172654592 38832 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 42152 38832 656 1256 0 40891 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 168608 [startup+102.305 s] /proc/loadavg: 1.01 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1667040/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=168608 CPUtime=102.26 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 40980 0 0 0 10176 50 0 0 25 0 1 0 189203288 172654592 38857 1992294400 4194304 9342243 548682068736 18446744073709551615 4342807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 42152 38857 656 1256 0 40891 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 168608 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1666912/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=168608 CPUtime=162.25 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 40991 0 0 0 16167 58 0 0 25 0 1 0 189203288 172654592 38868 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 42152 38868 656 1256 0 40891 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 168608 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1666848/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=168608 CPUtime=222.23 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 40991 0 0 0 22158 65 0 0 25 0 1 0 189203288 172654592 38868 1992294400 4194304 9342243 548682068736 18446744073709551615 4273488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 42152 38868 656 1256 0 40891 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 168608 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1666656/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=168608 CPUtime=282.21 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 41048 0 0 0 28151 70 0 0 25 0 1 0 189203288 172654592 38919 1992294400 4194304 9342243 548682068736 18446744073709551615 4345366 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 42152 38919 656 1256 0 40891 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 168608 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1663456/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=184816 CPUtime=342.2 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 42529 0 0 0 34146 74 0 0 25 0 1 0 189203288 189251584 39715 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 46204 39715 661 1256 0 44943 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 184816 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1663456/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=184816 CPUtime=402.18 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 44858 0 0 0 40140 78 0 0 25 0 1 0 189203288 189251584 39715 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 46204 39715 661 1256 0 44943 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 184816 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1663776/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=168736 CPUtime=462.17 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 46247 0 0 0 46133 84 0 0 25 0 1 0 189203288 172785664 39597 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 42184 39597 678 1256 0 40923 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 168736 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1663776/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=168736 CPUtime=522.15 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 46251 0 0 0 52122 93 0 0 25 0 1 0 189203288 172785664 39601 1992294400 4194304 9342243 548682068736 18446744073709551615 6960356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 42184 39601 682 1256 0 40923 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 168736 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1663776/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=168736 CPUtime=582.13 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 46252 0 0 0 58112 101 0 0 25 0 1 0 189203288 172785664 39602 1992294400 4194304 9342243 548682068736 18446744073709551615 5990699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 42184 39602 682 1256 0 40923 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 168736 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1663776/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=168736 CPUtime=642.12 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 46298 0 0 0 64104 108 0 0 25 0 1 0 189203288 172785664 39648 1992294400 4194304 9342243 548682068736 18446744073709551615 6040637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 42184 39648 682 1256 0 40923 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 168736 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1657888/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=174776 CPUtime=1062.01 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 47747 0 0 0 106050 151 0 0 25 0 1 0 189203288 178970624 41097 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 43694 41097 687 1256 0 42433 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 174776 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1657312/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=174776 CPUtime=1121.99 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 47882 0 0 0 112041 158 0 0 25 0 1 0 189203288 178970624 41232 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 43694 41232 687 1256 0 42433 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 174776 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1653216/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=178648 CPUtime=1181.97 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 48902 0 0 0 118032 165 0 0 25 0 1 0 189203288 182935552 42252 1992294400 4194304 9342243 548682068736 18446744073709551615 6210988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 44662 42252 687 1256 0 43401 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 178648 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1657760/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=173152 CPUtime=1241.96 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 51958 0 0 0 124022 174 0 0 25 0 1 0 189203288 177307648 41133 1992294400 4194304 9342243 548682068736 18446744073709551615 6965675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 43288 41133 687 1256 0 42027 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 173152 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1657632/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=180440 CPUtime=1301.95 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 58501 0 0 0 130011 184 0 0 25 0 1 0 189203288 184770560 41149 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 45110 41149 687 1256 0 43849 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 180440 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1648288/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=184312 CPUtime=1361.93 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 62549 0 0 0 135999 194 0 0 25 0 1 0 189203288 188735488 43545 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 46078 43545 687 1256 0 44817 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 184312 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1652640/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=180120 CPUtime=1421.92 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 68819 0 0 0 141988 204 0 0 25 0 1 0 189203288 184442880 42373 1992294400 4194304 9342243 548682068736 18446744073709551615 6960339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 45030 42373 687 1256 0 43769 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 180120 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1648544/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=180064 CPUtime=1481.9 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 76944 0 0 0 147973 217 0 0 25 0 1 0 189203288 184385536 43428 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 45016 43428 687 1256 0 43755 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 180064 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1639840/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=191892 CPUtime=1541.89 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 83301 0 0 0 153962 227 0 0 25 0 1 0 189203288 196497408 45597 1992294400 4194304 9342243 548682068736 18446744073709551615 6960746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 47973 45597 687 1256 0 46712 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 191892 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1641696/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=187844 CPUtime=1601.87 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 85219 0 0 0 159952 235 0 0 25 0 1 0 189203288 192352256 45132 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 46961 45132 687 1256 0 45700 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 187844 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1634464/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=197752 CPUtime=1661.85 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 90058 0 0 0 165941 244 0 0 25 0 1 0 189203288 202498048 46945 1992294400 4194304 9342243 548682068736 18446744073709551615 6974252 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 49438 46945 687 1256 0 48177 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 197752 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1631520/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=199292 CPUtime=1721.83 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 90797 0 0 0 171931 252 0 0 25 0 1 0 189203288 204075008 47684 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 49823 47684 687 1256 0 48562 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 199292 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1634208/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=194836 CPUtime=1781.82 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 98905 0 0 0 177917 265 0 0 25 0 1 0 189203288 199512064 47010 1992294400 4194304 9342243 548682068736 18446744073709551615 6960270 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 48709 47010 687 1256 0 47448 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 194836 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1632992/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=196400 CPUtime=1785.02 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 99224 0 0 0 178237 265 0 0 25 0 1 0 189203288 201113600 47329 1992294400 4194304 9342243 548682068736 18446744073709551615 6960609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 49100 47329 687 1256 0 47839 0 Current children cumulated CPU time (s) 1785.02 Current children cumulated vsize (KiB) 196400 [startup+1788.7 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1631968/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=197168 CPUtime=1788.22 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 99460 0 0 0 178556 266 0 0 25 0 1 0 189203288 201900032 47565 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 49292 47565 687 1256 0 48031 0 Current children cumulated CPU time (s) 1788.22 Current children cumulated vsize (KiB) 197168 [startup+1791.91 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1629344/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=204644 CPUtime=1791.42 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 100110 0 0 0 178876 266 0 0 25 0 1 0 189203288 209555456 48215 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 51161 48215 687 1256 0 49900 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 204644 [startup+1793.5 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1628704/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=204644 CPUtime=1793.02 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 100271 0 0 0 179035 267 0 0 25 0 1 0 189203288 209555456 48376 1992294400 4194304 9342243 548682068736 18446744073709551615 6087424 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 51161 48376 687 1256 0 49900 0 Current children cumulated CPU time (s) 1793.02 Current children cumulated vsize (KiB) 204644 [startup+1794.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1628576/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=204644 CPUtime=1793.82 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 100298 0 0 0 179115 267 0 0 25 0 1 0 189203288 209555456 48403 1992294400 4194304 9342243 548682068736 18446744073709551615 6960333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11746/statm: 51161 48403 687 1256 0 49900 0 Current children cumulated CPU time (s) 1793.82 Current children cumulated vsize (KiB) 204644 [startup+1794.7 s] /proc/loadavg: 1.00 0.99 0.98 2/65 11747 /proc/meminfo: memFree=1628576/2055920 swapFree=4191900/4192956 [pid=11746] ppid=11744 vsize=186540 CPUtime=1794.22 /proc/11746/stat : 11746 (pbscip.linux.x8) R 11744 11746 11394 0 -1 4194304 100303 0 0 0 179155 267 0 0 25 0 1 0 189203288 191016960 45376 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0 /proc/11746/statm: 46635 45376 692 1256 0 45374 0 Current children cumulated CPU time (s) 1794.22 Current children cumulated vsize (KiB) 186540 Child status: 0 Real time (s): 1794.74 CPU time (s): 1794.27 CPU user time (s): 1791.56 CPU system time (s): 2.70559 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 204644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.56 system time used= 2.70559 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100307 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= 6 involuntary context switches= 2260 runsolver used 1.49977 second user time and 3.90141 second system time The end
Begin job on node38 at 2009-06-17 07:21:01 IDJOB=1870703 IDBENCH=48350 IDSOLVER=684 FILE ID=node38/1870703-1245216061 PBS_JOBID= 9368385 Free space on /tmp= 66236 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_500_25_3_80.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-1870703-1245216061/watcher-1870703-1245216061 -o /tmp/evaluation-result-1870703-1245216061/solver-1870703-1245216061 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870703-1245216061.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6671ed3c9b389a2223dba62c8a435d2e RANDOM SEED=151033402 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: 1820680 kB Buffers: 49016 kB Cached: 102772 kB SwapCached: 260 kB Active: 66248 kB Inactive: 98808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1820680 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 12152 kB Writeback: 0 kB Mapped: 22512 kB Slab: 56108 kB Committed_AS: 174184 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= 66224 MiB End job on node38 at 2009-06-17 07:50:56