Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1802.08 | 1802.55 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb |
MD5SUM | 409a20f37901eec51bb3d0d7a35b01e1 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 2.81157 |
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 | 2800 |
Total number of constraints | 990001 |
Number of constraints which are clauses | 986760 |
Number of constraints which are cardinality constraints (but not clauses) | 81 |
Number of constraints which are nor clauses,nor cardinality constraints | 3160 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1200 |
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 | 368 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1239 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2664478-1276320727.opb> 18.28/18.31 c original problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints 18.28/18.31 c problem read 18.28/18.31 c No objective function, only one solution is needed. 18.28/18.31 c presolving settings loaded 18.28/18.31 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 21.89/21.95 c presolving: 33.58/33.62 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 990000 upgd conss, 2400 impls, 80 clqs 35.88/35.91 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 3239 chg coeffs, 990000 upgd conss, 2400 impls, 80 clqs 38.28/38.32 c presolving (3 rounds): 38.28/38.32 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 3406 changed coefficients 38.28/38.32 c 5520 implications, 80 cliques 38.28/38.32 c presolved problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints 38.28/38.32 c 3160 constraints of type <knapsack> 38.28/38.32 c 80 constraints of type <setppc> 38.28/38.32 c 1 constraints of type <linear> 38.28/38.32 c 986760 constraints of type <logicor> 38.28/38.32 c transformed objective value is always integral (scale: 1) 38.28/38.32 c Presolving Time: 13.57 38.28/38.32 c - non default parameters ---------------------------------------------------------------------- 38.28/38.32 c # SCIP version 1.2.1.2 38.28/38.32 c 38.28/38.32 c # frequency for displaying node information lines 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 100] 38.28/38.32 c display/freq = 10000 38.28/38.32 c 38.28/38.32 c # maximal time in seconds to run 38.28/38.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 38.28/38.32 c limits/time = 1781.69 38.28/38.32 c 38.28/38.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 38.28/38.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 38.28/38.32 c limits/memory = 1620 38.28/38.32 c 38.28/38.32 c # solving stops, if the given number of solutions were found (-1: no limit) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: -1] 38.28/38.32 c limits/solutions = 1 38.28/38.32 c 38.28/38.32 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 1] 38.28/38.32 c lp/solvefreq = -1 38.28/38.32 c 38.28/38.32 c # maximal number of separation rounds per node (-1: unlimited) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 5] 38.28/38.32 c separating/maxrounds = 1 38.28/38.32 c 38.28/38.32 c # maximal number of separation rounds in the root node (-1: unlimited) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: -1] 38.28/38.32 c separating/maxroundsroot = 5 38.28/38.32 c 38.28/38.32 c # should presolving try to simplify inequalities 38.28/38.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 38.28/38.32 c constraints/linear/simplifyinequalities = TRUE 38.28/38.32 c 38.28/38.32 c # should disaggregation of knapsack constraints be allowed in preprocessing? 38.28/38.32 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 38.28/38.32 c constraints/knapsack/disaggregation = FALSE 38.28/38.32 c 38.28/38.32 c # should presolving try to simplify knapsacks 38.28/38.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 38.28/38.32 c constraints/knapsack/simplifyinequalities = TRUE 38.28/38.32 c 38.28/38.32 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: -1] 38.28/38.32 c presolving/probing/maxrounds = 0 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 10] 38.28/38.32 c heuristics/coefdiving/freq = -1 38.28/38.32 c 38.28/38.32 c # maximal fraction of diving LP iterations compared to node LP iterations 38.28/38.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 38.28/38.32 c heuristics/coefdiving/maxlpiterquot = 0.075 38.28/38.32 c 38.28/38.32 c # additional number of allowed LP iterations 38.28/38.32 c # [type: int, range: [0,2147483647], default: 1000] 38.28/38.32 c heuristics/coefdiving/maxlpiterofs = 1500 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 30] 38.28/38.32 c heuristics/crossover/freq = -1 38.28/38.32 c 38.28/38.32 c # number of nodes added to the contingent of the total nodes 38.28/38.32 c # [type: longint, range: [0,9223372036854775807], default: 500] 38.28/38.32 c heuristics/crossover/nodesofs = 750 38.28/38.32 c 38.28/38.32 c # number of nodes without incumbent change that heuristic should wait 38.28/38.32 c # [type: longint, range: [0,9223372036854775807], default: 200] 38.28/38.32 c heuristics/crossover/nwaitingnodes = 100 38.28/38.32 c 38.28/38.32 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 38.28/38.32 c # [type: real, range: [0,1], default: 0.1] 38.28/38.32 c heuristics/crossover/nodesquot = 0.15 38.28/38.32 c 38.28/38.32 c # minimum percentage of integer variables that have to be fixed 38.28/38.32 c # [type: real, range: [0,1], default: 0.666] 38.28/38.32 c heuristics/crossover/minfixingrate = 0.5 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 20] 38.28/38.32 c heuristics/feaspump/freq = -1 38.28/38.32 c 38.28/38.32 c # additional number of allowed LP iterations 38.28/38.32 c # [type: int, range: [0,2147483647], default: 1000] 38.28/38.32 c heuristics/feaspump/maxlpiterofs = 2000 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 10] 38.28/38.32 c heuristics/fracdiving/freq = -1 38.28/38.32 c 38.28/38.32 c # maximal fraction of diving LP iterations compared to node LP iterations 38.28/38.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 38.28/38.32 c heuristics/fracdiving/maxlpiterquot = 0.075 38.28/38.32 c 38.28/38.32 c # additional number of allowed LP iterations 38.28/38.32 c # [type: int, range: [0,2147483647], default: 1000] 38.28/38.32 c heuristics/fracdiving/maxlpiterofs = 1500 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 10] 38.28/38.32 c heuristics/guideddiving/freq = -1 38.28/38.32 c 38.28/38.32 c # maximal fraction of diving LP iterations compared to node LP iterations 38.28/38.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 38.28/38.32 c heuristics/guideddiving/maxlpiterquot = 0.075 38.28/38.32 c 38.28/38.32 c # additional number of allowed LP iterations 38.28/38.32 c # [type: int, range: [0,2147483647], default: 1000] 38.28/38.32 c heuristics/guideddiving/maxlpiterofs = 1500 38.28/38.32 c 38.28/38.32 c # maximal fraction of diving LP iterations compared to node LP iterations 38.28/38.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 38.28/38.32 c heuristics/intdiving/maxlpiterquot = 0.075 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 10] 38.28/38.32 c heuristics/intshifting/freq = -1 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 10] 38.28/38.32 c heuristics/linesearchdiving/freq = -1 38.28/38.32 c 38.28/38.32 c # maximal fraction of diving LP iterations compared to node LP iterations 38.28/38.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 38.28/38.32 c heuristics/linesearchdiving/maxlpiterquot = 0.075 38.28/38.32 c 38.28/38.32 c # additional number of allowed LP iterations 38.28/38.32 c # [type: int, range: [0,2147483647], default: 1000] 38.28/38.32 c heuristics/linesearchdiving/maxlpiterofs = 1500 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 1] 38.28/38.32 c heuristics/nlp/freq = -1 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 20] 38.28/38.32 c heuristics/objpscostdiving/freq = -1 38.28/38.32 c 38.28/38.32 c # maximal fraction of diving LP iterations compared to total iteration number 38.28/38.32 c # [type: real, range: [0,1], default: 0.01] 38.28/38.32 c heuristics/objpscostdiving/maxlpiterquot = 0.015 38.28/38.32 c 38.28/38.32 c # additional number of allowed LP iterations 38.28/38.32 c # [type: int, range: [0,2147483647], default: 1000] 38.28/38.32 c heuristics/objpscostdiving/maxlpiterofs = 1500 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 1] 38.28/38.32 c heuristics/oneopt/freq = -1 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 10] 38.28/38.32 c heuristics/pscostdiving/freq = -1 38.28/38.32 c 38.28/38.32 c # maximal fraction of diving LP iterations compared to node LP iterations 38.28/38.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 38.28/38.32 c heuristics/pscostdiving/maxlpiterquot = 0.075 38.28/38.32 c 38.28/38.32 c # additional number of allowed LP iterations 38.28/38.32 c # [type: int, range: [0,2147483647], default: 1000] 38.28/38.32 c heuristics/pscostdiving/maxlpiterofs = 1500 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 0] 38.28/38.32 c heuristics/rens/freq = -1 38.28/38.32 c 38.28/38.32 c # minimum percentage of integer variables that have to be fixable 38.28/38.32 c # [type: real, range: [0,1], default: 0.5] 38.28/38.32 c heuristics/rens/minfixingrate = 0.3 38.28/38.32 c 38.28/38.32 c # number of nodes added to the contingent of the total nodes 38.28/38.32 c # [type: longint, range: [0,9223372036854775807], default: 500] 38.28/38.32 c heuristics/rens/nodesofs = 2000 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 20] 38.28/38.32 c heuristics/rootsoldiving/freq = -1 38.28/38.32 c 38.28/38.32 c # maximal fraction of diving LP iterations compared to node LP iterations 38.28/38.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 38.28/38.32 c heuristics/rootsoldiving/maxlpiterquot = 0.015 38.28/38.32 c 38.28/38.32 c # additional number of allowed LP iterations 38.28/38.32 c # [type: int, range: [0,2147483647], default: 1000] 38.28/38.32 c heuristics/rootsoldiving/maxlpiterofs = 1500 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 1] 38.28/38.32 c heuristics/rounding/freq = -1 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 10] 38.28/38.32 c heuristics/shifting/freq = -1 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 1] 38.28/38.32 c heuristics/simplerounding/freq = -1 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 0] 38.28/38.32 c heuristics/trivial/freq = -1 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 1] 38.28/38.32 c heuristics/trysol/freq = -1 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 10] 38.28/38.32 c heuristics/veclendiving/freq = -1 38.28/38.32 c 38.28/38.32 c # maximal fraction of diving LP iterations compared to node LP iterations 38.28/38.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 38.28/38.32 c heuristics/veclendiving/maxlpiterquot = 0.075 38.28/38.32 c 38.28/38.32 c # additional number of allowed LP iterations 38.28/38.32 c # [type: int, range: [0,2147483647], default: 1000] 38.28/38.32 c heuristics/veclendiving/maxlpiterofs = 1500 38.28/38.32 c 38.28/38.32 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 1] 38.28/38.32 c heuristics/zirounding/freq = -1 38.28/38.32 c 38.28/38.32 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 0] 38.28/38.32 c separating/cmir/freq = -1 38.28/38.32 c 38.28/38.32 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: 0] 38.28/38.32 c separating/flowcover/freq = -1 38.28/38.32 c 38.28/38.32 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 38.28/38.32 c # [type: int, range: [-1,2147483647], default: -1] 38.28/38.32 c separating/rapidlearning/freq = 0 38.28/38.32 c 38.28/38.32 c ----------------------------------------------------------------------------------------------- 38.28/38.32 c start solving 38.28/38.38 c 39.68/39.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 39.68/39.73 c 17.3s| 1 | 2 | 0 | - | 689M| 0 | - |2800 | 990k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.13/1800.68 c 1800.13/1800.68 c SCIP Status : solving was interrupted [user interrupt] 1800.13/1800.68 c Solving Time (sec) : 1777.61 1800.13/1800.68 c Solving Nodes : 7517 1800.13/1800.68 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.13/1800.68 c Dual Bound : +0.00000000000000e+00 1800.13/1800.68 c Gap : infinite 1800.13/1800.68 s UNKNOWN 1800.13/1800.68 c SCIP Status : solving was interrupted [user interrupt] 1800.13/1800.68 c Solving Time : 1777.61 1800.13/1800.68 c Original Problem : 1800.13/1800.68 c Problem name : HOME/instance-2664478-1276320727.opb 1800.13/1800.68 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.13/1800.68 c Constraints : 990001 initial, 990001 maximal 1800.13/1800.68 c Presolved Problem : 1800.13/1800.68 c Problem name : t_HOME/instance-2664478-1276320727.opb 1800.13/1800.68 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.13/1800.68 c Constraints : 990001 initial, 990062 maximal 1800.13/1800.68 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.13/1800.68 c trivial : 0.01 0 0 0 0 0 0 0 0 1800.13/1800.68 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.13/1800.68 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.13/1800.68 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.13/1800.68 c implics : 0.00 0 0 0 0 0 0 0 0 1800.13/1800.68 c probing : 0.00 0 0 0 0 0 0 0 0 1800.13/1800.68 c knapsack : 1.13 0 0 0 0 0 0 0 3406 1800.13/1800.68 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.13/1800.68 c linear : 6.51 0 0 0 0 0 0 0 0 1800.13/1800.68 c logicor : 3.90 0 0 0 0 0 0 0 0 1800.13/1800.68 c root node : - 0 - - 0 - - - - 1800.13/1800.68 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.13/1800.68 c integral : 0 0 0 0 0 0 0 0 0 0 1800.13/1800.68 c knapsack : 3160 0 7753 0 7506 0 649 0 0 0 1800.13/1800.68 c setppc : 80 0 7751 0 7506 12 3258 0 0 0 1800.13/1800.68 c linear : 1 0 7741 0 7506 0 0 0 0 0 1800.13/1800.68 c logicor : 986760+ 0 763 0 7506 5 1842 0 0 0 1800.13/1800.68 c countsols : 0 0 0 0 7506 0 0 0 0 0 1800.13/1800.68 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.13/1800.68 c integral : 0.00 0.00 0.00 0.00 0.00 1800.13/1800.68 c knapsack : 51.41 0.00 2.46 0.00 48.95 1800.13/1800.68 c setppc : 1.48 0.00 0.20 0.00 1.28 1800.13/1800.68 c linear : 0.43 0.00 0.41 0.00 0.02 1800.13/1800.68 c logicor : 1694.21 0.00 5.74 0.00 1688.47 1800.13/1800.68 c countsols : 0.01 0.00 0.00 0.00 0.01 1800.13/1800.68 c Propagators : Time Calls Cutoffs DomReds 1800.13/1800.68 c vbounds : 0.01 1 0 0 1800.13/1800.68 c rootredcost : 0.01 0 0 0 1800.13/1800.68 c pseudoobj : 0.00 0 0 0 1800.13/1800.68 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.13/1800.68 c propagation : 0.05 17 17 206 343.5 0 0.0 - 1800.13/1800.68 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.13/1800.68 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.13/1800.68 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.13/1800.68 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.13/1800.68 c applied globally : - - - 66 148.0 - - - 1800.13/1800.68 c applied locally : - - - 0 0.0 - - - 1800.13/1800.68 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.13/1800.68 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.13/1800.68 c redcost : 0.00 0 0 0 0 0 1800.13/1800.68 c impliedbounds : 0.00 0 0 0 0 0 1800.13/1800.68 c intobj : 0.00 0 0 0 0 0 1800.13/1800.68 c cgmip : 0.00 0 0 0 0 0 1800.13/1800.68 c gomory : 0.00 0 0 0 0 0 1800.13/1800.68 c strongcg : 0.00 0 0 0 0 0 1800.13/1800.68 c cmir : 0.00 0 0 0 0 0 1800.13/1800.68 c flowcover : 0.00 0 0 0 0 0 1800.13/1800.68 c clique : 0.00 0 0 0 0 0 1800.13/1800.68 c zerohalf : 0.00 0 0 0 0 0 1800.13/1800.68 c mcf : 0.00 0 0 0 0 0 1800.13/1800.68 c rapidlearning : 0.00 0 0 0 0 0 1800.13/1800.68 c Pricers : Time Calls Vars 1800.13/1800.68 c problem variables: 0.00 0 0 1800.13/1800.68 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.13/1800.68 c relpscost : 0.00 0 0 0 0 0 0 1800.13/1800.68 c pscost : 0.00 0 0 0 0 0 0 1800.13/1800.68 c inference : 9.10 7506 0 0 0 0 15012 1800.13/1800.68 c mostinf : 0.00 0 0 0 0 0 0 1800.13/1800.68 c leastinf : 0.00 0 0 0 0 0 0 1800.13/1800.68 c fullstrong : 0.00 0 0 0 0 0 0 1800.13/1800.68 c allfullstrong : 0.00 0 0 0 0 0 0 1800.13/1800.68 c random : 0.00 0 0 0 0 0 0 1800.13/1800.68 c Primal Heuristics : Time Calls Found 1800.13/1800.68 c LP solutions : 0.00 - 0 1800.13/1800.68 c pseudo solutions : 0.00 - 0 1800.13/1800.68 c trivial : 0.55 1 0 1800.13/1800.68 c simplerounding : 0.00 0 0 1800.13/1800.68 c zirounding : 0.00 0 0 1800.13/1800.68 c rounding : 0.00 0 0 1800.13/1800.68 c shifting : 0.00 0 0 1800.13/1800.68 c intshifting : 0.00 0 0 1800.13/1800.68 c oneopt : 0.00 0 0 1800.13/1800.68 c twoopt : 0.00 0 0 1800.13/1800.68 c fixandinfer : 0.00 0 0 1800.13/1800.68 c feaspump : 0.00 0 0 1800.13/1800.68 c coefdiving : 0.00 0 0 1800.13/1800.68 c pscostdiving : 0.00 0 0 1800.13/1800.68 c fracdiving : 0.00 0 0 1800.13/1800.68 c veclendiving : 0.00 0 0 1800.13/1800.68 c intdiving : 0.00 0 0 1800.13/1800.68 c actconsdiving : 0.00 0 0 1800.13/1800.68 c objpscostdiving : 0.00 0 0 1800.13/1800.68 c rootsoldiving : 0.00 0 0 1800.13/1800.68 c linesearchdiving : 0.00 0 0 1800.13/1800.68 c guideddiving : 0.00 0 0 1800.13/1800.68 c octane : 0.00 0 0 1800.13/1800.68 c rens : 0.00 0 0 1800.13/1800.68 c rins : 0.00 0 0 1800.13/1800.68 c localbranching : 0.00 0 0 1800.13/1800.68 c mutation : 0.00 0 0 1800.13/1800.68 c crossover : 0.00 0 0 1800.13/1800.68 c dins : 0.00 0 0 1800.13/1800.68 c undercover : 0.00 0 0 1800.13/1800.68 c nlp : 0.00 0 0 1800.13/1800.68 c trysol : 0.00 0 0 1800.13/1800.68 c LP : Time Calls Iterations Iter/call Iter/sec 1800.13/1800.68 c primal LP : 0.00 0 0 0.00 - 1800.13/1800.68 c dual LP : 0.00 0 0 0.00 - 1800.13/1800.68 c lex dual LP : 0.00 0 0 0.00 - 1800.13/1800.68 c barrier LP : 0.00 0 0 0.00 - 1800.13/1800.68 c diving/probing LP: 0.00 0 0 0.00 - 1800.13/1800.68 c strong branching : 0.00 0 0 0.00 - 1800.13/1800.68 c (at root node) : - 0 0 0.00 - 1800.13/1800.68 c conflict analysis: 0.00 0 0 0.00 - 1800.13/1800.68 c B&B Tree : 1800.13/1800.68 c number of runs : 1 1800.13/1800.68 c nodes : 7517 1800.13/1800.68 c nodes (total) : 7517 1800.13/1800.68 c nodes left : 7490 1800.13/1800.68 c max depth : 1063 1800.13/1800.68 c max depth (total): 1063 1800.13/1800.68 c backtracks : 10 (0.1%) 1800.13/1800.68 c delayed cutoffs : 6 1800.13/1800.68 c repropagations : 14 (450 domain reductions, 6 cutoffs) 1800.13/1800.68 c avg switch length: 2.23 1800.13/1800.68 c switching time : 2.49 1800.13/1800.68 c Solution : 1800.13/1800.68 c Solutions found : 0 (0 improvements) 1800.13/1800.68 c Primal Bound : - 1800.13/1800.68 c Dual Bound : +0.00000000000000e+00 1800.13/1800.68 c Gap : infinite 1800.13/1800.68 c Root Dual Bound : +0.00000000000000e+00 1800.13/1800.68 c Root Iterations : 0
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-2664478-1276320727/watcher-2664478-1276320727 -o /tmp/evaluation-result-2664478-1276320727/solver-2664478-1276320727 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664478-1276320727.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9034 /proc/meminfo: memFree=1718156/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=6584 CPUtime=0 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 972 0 0 0 0 0 0 0 20 0 1 0 7676813 6742016 894 1992294400 4194304 7136930 140733837040480 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9034/statm: 1646 903 254 719 0 925 0 [startup+0.00985396 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9034 /proc/meminfo: memFree=1718156/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=7612 CPUtime=0 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 1300 0 0 0 0 0 0 0 20 0 1 0 7676813 7794688 1222 1992294400 4194304 7136930 140733837040480 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9034/statm: 1903 1233 254 719 0 1182 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7612 [startup+0.100832 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9034 /proc/meminfo: memFree=1718156/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=11520 CPUtime=0.09 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 7676813 11796480 2278 1992294400 4194304 7136930 140733837040480 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9034/statm: 2880 2278 268 719 0 2159 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11520 [startup+0.305316 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9034 /proc/meminfo: memFree=1718156/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=16296 CPUtime=0.3 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 3565 0 0 0 29 1 0 0 20 0 1 0 7676813 16687104 3487 1992294400 4194304 7136930 140733837040480 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9034/statm: 4074 3487 268 719 0 3353 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 16296 [startup+0.70088 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9034 /proc/meminfo: memFree=1718156/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=24284 CPUtime=0.69 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 5524 0 0 0 67 2 0 0 21 0 1 0 7676813 24866816 5446 1992294400 4194304 7136930 140733837040480 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9034/statm: 6071 5446 268 719 0 5350 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24284 [startup+1.50194 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9035 /proc/meminfo: memFree=1690248/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=39612 CPUtime=1.49 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 9363 0 0 0 146 3 0 0 23 0 1 0 7676813 40562688 9285 1992294400 4194304 7136930 140733837040480 18446744073709551615 6177529 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9034/statm: 9903 9285 268 719 0 9182 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39612 [startup+3.10108 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9035 /proc/meminfo: memFree=1670160/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=71632 CPUtime=3.09 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 17328 0 0 0 302 7 0 0 25 0 1 0 7676813 73351168 17250 1992294400 4194304 7136930 140733837040480 18446744073709551615 4361643 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9034/statm: 17908 17250 268 719 0 17187 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 71632 [startup+6.30134 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9035 /proc/meminfo: memFree=1604192/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=134884 CPUtime=6.29 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 33075 0 0 0 616 13 0 0 25 0 1 0 7676813 138121216 32997 1992294400 4194304 7136930 140733837040480 18446744073709551615 6341071 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9034/statm: 33721 32997 268 719 0 33000 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 134884 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9035 /proc/meminfo: memFree=1476348/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=257628 CPUtime=12.69 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 63890 0 0 0 1243 26 0 0 25 0 1 0 7676813 263811072 63812 1992294400 4194304 7136930 140733837040480 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9034/statm: 64407 63812 268 719 0 63686 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 257628 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9037 /proc/meminfo: memFree=674936/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=1048332 CPUtime=25.49 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 278370 0 0 0 2359 190 0 0 25 0 1 0 7676813 1073491968 260605 1992294400 4194304 7136930 140733837040480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 262083 260605 337 719 0 261362 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1048332 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9037 /proc/meminfo: memFree=740160/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=985540 CPUtime=51.08 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464297 0 0 0 4659 449 0 0 25 0 1 0 7676813 1009192960 244344 1992294400 4194304 7136930 140733837040480 18446744073709551615 4858870 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246385 244344 387 719 0 245664 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 985540 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9039 /proc/meminfo: memFree=739912/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=985540 CPUtime=102.27 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464314 0 0 0 9776 451 0 0 25 0 1 0 7676813 1009192960 244361 1992294400 4194304 7136930 140733837040480 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246385 244361 387 719 0 245664 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 985540 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9039 /proc/meminfo: memFree=739292/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=986056 CPUtime=162.25 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464462 0 0 0 15773 452 0 0 25 0 1 0 7676813 1009721344 244509 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246514 244509 391 719 0 245793 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 986056 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9041 /proc/meminfo: memFree=738796/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=986572 CPUtime=222.23 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464592 0 0 0 21770 453 0 0 25 0 1 0 7676813 1010249728 244639 1992294400 4194304 7136930 140733837040480 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246643 244639 391 719 0 245922 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 986572 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 9043 /proc/meminfo: memFree=738796/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=986572 CPUtime=282.21 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464592 0 0 0 27768 453 0 0 25 0 1 0 7676813 1010249728 244639 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246643 244639 391 719 0 245922 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 986572 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9045 /proc/meminfo: memFree=738796/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=986572 CPUtime=342.2 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464595 0 0 0 33765 455 0 0 25 0 1 0 7676813 1010249728 244642 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246643 244642 391 719 0 245922 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 986572 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9047 /proc/meminfo: memFree=738796/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=986572 CPUtime=402.18 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464598 0 0 0 39762 456 0 0 25 0 1 0 7676813 1010249728 244645 1992294400 4194304 7136930 140733837040480 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246643 244645 391 719 0 245922 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 986572 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9047 /proc/meminfo: memFree=738796/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=986572 CPUtime=462.16 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464599 0 0 0 45760 456 0 0 25 0 1 0 7676813 1010249728 244646 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246643 244646 391 719 0 245922 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 986572 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9049 /proc/meminfo: memFree=738672/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=986572 CPUtime=522.14 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464599 0 0 0 51758 456 0 0 25 0 1 0 7676813 1010249728 244646 1992294400 4194304 7136930 140733837040480 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246643 244646 391 719 0 245922 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 986572 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9051 /proc/meminfo: memFree=738672/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=986572 CPUtime=582.14 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464606 0 0 0 57757 457 0 0 25 0 1 0 7676813 1010249728 244653 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246643 244653 391 719 0 245922 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 986572 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9053 /proc/meminfo: memFree=738300/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=986960 CPUtime=642.12 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464703 0 0 0 63755 457 0 0 25 0 1 0 7676813 1010647040 244750 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246740 244750 391 719 0 246019 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 986960 [startup+702.301 s] ################ # More data... # ################ /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464739 0 0 0 105740 461 0 0 25 0 1 0 7676813 1010647040 244786 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246740 244786 391 719 0 246019 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 986960 [startup+1122.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 9065 /proc/meminfo: memFree=737308/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=987476 CPUtime=1121.99 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464871 0 0 0 111738 461 0 0 25 0 1 0 7676813 1011175424 244918 1992294400 4194304 7136930 140733837040480 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246869 244918 391 719 0 246148 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 987476 [startup+1182.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 9067 /proc/meminfo: memFree=737184/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=987476 CPUtime=1181.98 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464872 0 0 0 117736 462 0 0 25 0 1 0 7676813 1011175424 244919 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246869 244919 391 719 0 246148 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 987476 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 9069 /proc/meminfo: memFree=736936/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=987476 CPUtime=1241.97 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464875 0 0 0 123734 463 0 0 25 0 1 0 7676813 1011175424 244922 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246869 244922 391 719 0 246148 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 987476 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9071 /proc/meminfo: memFree=736812/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=987476 CPUtime=1301.96 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464882 0 0 0 129733 463 0 0 25 0 1 0 7676813 1011175424 244929 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246869 244929 391 719 0 246148 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 987476 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9071 /proc/meminfo: memFree=736812/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=987476 CPUtime=1361.94 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464898 0 0 0 135730 464 0 0 25 0 1 0 7676813 1011175424 244945 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246869 244945 391 719 0 246148 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 987476 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9073 /proc/meminfo: memFree=736812/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=987476 CPUtime=1421.93 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464909 0 0 0 141729 464 0 0 25 0 1 0 7676813 1011175424 244956 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246869 244956 391 719 0 246148 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 987476 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9075 /proc/meminfo: memFree=736688/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=987476 CPUtime=1481.91 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464909 0 0 0 147726 465 0 0 25 0 1 0 7676813 1011175424 244956 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246869 244956 391 719 0 246148 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 987476 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9077 /proc/meminfo: memFree=736688/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=987476 CPUtime=1541.9 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464915 0 0 0 153725 465 0 0 25 0 1 0 7676813 1011175424 244962 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246869 244962 391 719 0 246148 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 987476 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9079 /proc/meminfo: memFree=736688/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=987476 CPUtime=1601.88 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 464921 0 0 0 159723 465 0 0 25 0 1 0 7676813 1011175424 244968 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005117 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246869 244968 391 719 0 246148 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 987476 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9079 /proc/meminfo: memFree=736440/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=987736 CPUtime=1661.87 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 465000 0 0 0 165721 466 0 0 25 0 1 0 7676813 1011441664 245047 1992294400 4194304 7136930 140733837040480 18446744073709551615 4696964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246934 245047 391 719 0 246213 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 987736 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9081 /proc/meminfo: memFree=736316/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=987736 CPUtime=1721.86 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 465003 0 0 0 171720 466 0 0 25 0 1 0 7676813 1011441664 245050 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246934 245050 391 719 0 246213 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 987736 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9092 /proc/meminfo: memFree=735324/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=987736 CPUtime=1781.83 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 465003 0 0 0 177717 466 0 0 25 0 1 0 7676813 1011441664 245050 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246934 245050 391 719 0 246213 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 987736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9092 /proc/meminfo: memFree=735324/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=987736 CPUtime=1800.03 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 465003 0 0 0 179537 466 0 0 25 0 1 0 7676813 1011441664 245050 1992294400 4194304 7136930 140733837040480 18446744073709551615 5005055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9034/statm: 246934 245050 391 719 0 246213 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 987736 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -9034 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9093 /proc/meminfo: memFree=735316/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=915536 CPUtime=1800.92 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 465013 0 0 0 179625 467 0 0 25 0 1 0 7676813 937508864 227011 1992294400 4194304 7136930 140733837040480 18446744073709551615 4668100 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9034/statm: 228884 227011 396 719 0 228163 0 Current children cumulated CPU time (s) 1800.92 Current children cumulated vsize (KiB) 915536 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9093 /proc/meminfo: memFree=845180/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=811684 CPUtime=1801.72 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 465013 0 0 0 179704 468 0 0 25 0 1 0 7676813 831164416 201048 1992294400 4194304 7136930 140733837040480 18446744073709551615 5955603 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9034/statm: 202921 201048 396 719 0 202200 0 Current children cumulated CPU time (s) 1801.72 Current children cumulated vsize (KiB) 811684 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9093 /proc/meminfo: memFree=845180/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=443576 CPUtime=1801.92 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 465013 0 0 0 179720 472 0 0 25 0 1 0 7676813 454221824 109739 1992294400 4194304 7136930 140733837040480 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9034/statm: 110894 109739 396 719 0 110173 0 Current children cumulated CPU time (s) 1801.92 Current children cumulated vsize (KiB) 443576 [startup+1802.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9093 /proc/meminfo: memFree=845180/2059040 swapFree=4192072/4192956 [pid=9034] ppid=9032 vsize=391952 CPUtime=1802.02 /proc/9034/stat : 9034 (pbscip.linux.x8) R 9032 9034 8270 0 -1 4202496 465013 0 0 0 179730 472 0 0 25 0 1 0 7676813 401358848 96833 1992294400 4194304 7136930 140733837040480 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9034/statm: 97988 96833 396 719 0 97267 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 391952 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.55 CPU time (s): 1802.08 CPU user time (s): 1797.31 CPU system time (s): 4.76827 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 1313052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.31 system time used= 4.76828 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 465013 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= 4 involuntary context switches= 13658 runsolver used 2.92855 second user time and 8.5637 second system time The end
Begin job on node003 at 2010-06-12 07:32:09 IDJOB=2664478 IDBENCH=1384 IDSOLVER=1167 FILE ID=node003/2664478-1276320727 PBS_JOBID= 11173147 Free space on /tmp= 62520 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664478-1276320727/watcher-2664478-1276320727 -o /tmp/evaluation-result-2664478-1276320727/solver-2664478-1276320727 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664478-1276320727.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 409a20f37901eec51bb3d0d7a35b01e1 RANDOM SEED=2064870230 node003.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1718684 kB Buffers: 56716 kB Cached: 157196 kB SwapCached: 0 kB Active: 136852 kB Inactive: 135552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1718684 kB SwapTotal: 4192956 kB SwapFree: 4192072 kB Dirty: 37284 kB Writeback: 0 kB AnonPages: 58380 kB Mapped: 15436 kB Slab: 46316 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182956 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62520 MiB End job on node003 at 2010-06-12 08:02:11