Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1800.43 | 1800.9 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_3_40.opb |
MD5SUM | 67a15ea3b760eccb0e507c1f93bad0e1 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 400 |
Total number of constraints | 602 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12432 |
Sum of products size (including duplicates) | 24864 |
Number of different products | 6216 |
Sum of products size | 12432 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666322-1276680091.opb> 0.09/0.10 c original problem has 6616 variables (6616 bin, 0 int, 0 impl, 0 cont) and 6818 constraints 0.09/0.10 c problem read 0.09/0.10 c No objective function, only one solution is needed. 0.09/0.10 c presolving settings loaded 0.09/0.18 c presolving: 0.39/0.48 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50128 impls, 400 clqs 0.69/0.70 c presolving (2 rounds): 0.69/0.70 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.69/0.70 c 50128 implications, 400 cliques 0.69/0.70 c presolved problem has 6616 variables (6616 bin, 0 int, 0 impl, 0 cont) and 6818 constraints 0.69/0.70 c 1 constraints of type <knapsack> 0.69/0.70 c 400 constraints of type <setppc> 0.69/0.70 c 6216 constraints of type <and> 0.69/0.70 c 1 constraints of type <linear> 0.69/0.70 c 200 constraints of type <logicor> 0.69/0.70 c transformed objective value is always integral (scale: 1) 0.69/0.70 c Presolving Time: 0.38 0.69/0.71 c - non default parameters ---------------------------------------------------------------------- 0.69/0.71 c # SCIP version 1.2.1.2 0.69/0.71 c 0.69/0.71 c # frequency for displaying node information lines 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 100] 0.69/0.71 c display/freq = 10000 0.69/0.71 c 0.69/0.71 c # maximal time in seconds to run 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.69/0.71 c limits/time = 1799.9 0.69/0.71 c 0.69/0.71 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.69/0.71 c limits/memory = 1620 0.69/0.71 c 0.69/0.71 c # solving stops, if the given number of solutions were found (-1: no limit) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1] 0.69/0.71 c limits/solutions = 1 0.69/0.71 c 0.69/0.71 c # maximal number of separation rounds per node (-1: unlimited) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 5] 0.69/0.71 c separating/maxrounds = 1 0.69/0.71 c 0.69/0.71 c # maximal number of separation rounds in the root node (-1: unlimited) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1] 0.69/0.71 c separating/maxroundsroot = 5 0.69/0.71 c 0.69/0.71 c # should presolving try to simplify inequalities 0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.69/0.71 c constraints/linear/simplifyinequalities = TRUE 0.69/0.71 c 0.69/0.71 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.69/0.71 c constraints/knapsack/disaggregation = FALSE 0.69/0.71 c 0.69/0.71 c # should presolving try to simplify knapsacks 0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.69/0.71 c constraints/knapsack/simplifyinequalities = TRUE 0.69/0.71 c 0.69/0.71 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1] 0.69/0.71 c presolving/probing/maxrounds = 0 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.71 c heuristics/coefdiving/freq = -1 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.71 c heuristics/coefdiving/maxlpiterquot = 0.075 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/coefdiving/maxlpiterofs = 1500 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 30] 0.69/0.71 c heuristics/crossover/freq = -1 0.69/0.71 c 0.69/0.71 c # number of nodes added to the contingent of the total nodes 0.69/0.71 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.69/0.71 c heuristics/crossover/nodesofs = 750 0.69/0.71 c 0.69/0.71 c # number of nodes without incumbent change that heuristic should wait 0.69/0.71 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.69/0.71 c heuristics/crossover/nwaitingnodes = 100 0.69/0.71 c 0.69/0.71 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.69/0.71 c # [type: real, range: [0,1], default: 0.1] 0.69/0.71 c heuristics/crossover/nodesquot = 0.15 0.69/0.71 c 0.69/0.71 c # minimum percentage of integer variables that have to be fixed 0.69/0.71 c # [type: real, range: [0,1], default: 0.666] 0.69/0.71 c heuristics/crossover/minfixingrate = 0.5 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 20] 0.69/0.71 c heuristics/feaspump/freq = -1 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/feaspump/maxlpiterofs = 2000 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.71 c heuristics/fracdiving/freq = -1 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.71 c heuristics/fracdiving/maxlpiterquot = 0.075 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/fracdiving/maxlpiterofs = 1500 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.71 c heuristics/guideddiving/freq = -1 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.71 c heuristics/guideddiving/maxlpiterquot = 0.075 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/guideddiving/maxlpiterofs = 1500 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.71 c heuristics/intdiving/maxlpiterquot = 0.075 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.71 c heuristics/intshifting/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.71 c heuristics/linesearchdiving/freq = -1 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.71 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.71 c heuristics/nlp/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 20] 0.69/0.71 c heuristics/objpscostdiving/freq = -1 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to total iteration number 0.69/0.71 c # [type: real, range: [0,1], default: 0.01] 0.69/0.71 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.71 c heuristics/oneopt/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.71 c heuristics/pscostdiving/freq = -1 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.71 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/pscostdiving/maxlpiterofs = 1500 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0] 0.69/0.71 c heuristics/rens/freq = -1 0.69/0.71 c 0.69/0.71 c # minimum percentage of integer variables that have to be fixable 0.69/0.71 c # [type: real, range: [0,1], default: 0.5] 0.69/0.71 c heuristics/rens/minfixingrate = 0.3 0.69/0.71 c 0.69/0.71 c # number of nodes added to the contingent of the total nodes 0.69/0.71 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.69/0.71 c heuristics/rens/nodesofs = 2000 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 20] 0.69/0.71 c heuristics/rootsoldiving/freq = -1 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.69/0.71 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.71 c heuristics/rounding/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.71 c heuristics/shifting/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.71 c heuristics/simplerounding/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0] 0.69/0.71 c heuristics/trivial/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.71 c heuristics/trysol/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.71 c heuristics/veclendiving/freq = -1 0.69/0.71 c 0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.71 c heuristics/veclendiving/maxlpiterquot = 0.075 0.69/0.71 c 0.69/0.71 c # additional number of allowed LP iterations 0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.71 c heuristics/veclendiving/maxlpiterofs = 1500 0.69/0.71 c 0.69/0.71 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.71 c heuristics/zirounding/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0] 0.69/0.71 c separating/cmir/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0] 0.69/0.71 c separating/flowcover/freq = -1 0.69/0.71 c 0.69/0.71 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1] 0.69/0.71 c separating/rapidlearning/freq = 0 0.69/0.71 c 0.69/0.71 c ----------------------------------------------------------------------------------------------- 0.69/0.71 c start solving 0.69/0.71 c 2.69/2.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 2.69/2.78 c 2.4s| 1 | 0 | 1318 | - | 30M| 0 | 737 |6616 |6818 |6616 | 13k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 31.37/31.44 c 30.8s| 1 | 0 | 1422 | - | 31M| 0 | 732 |6616 |6818 |6616 | 13k| 45 | 0 | 0 | 0.000000e+00 | -- | Inf 59.16/59.22 c 58.4s| 1 | 0 | 1519 | - | 32M| 0 | 726 |6616 |6818 |6616 | 13k| 54 | 0 | 0 | 0.000000e+00 | -- | Inf 87.56/87.68 c 86.8s| 1 | 0 | 1593 | - | 33M| 0 | 728 |6616 |6818 |6616 | 13k| 65 | 0 | 0 | 0.000000e+00 | -- | Inf 116.25/116.30 c 115s| 1 | 0 | 1669 | - | 34M| 0 | 734 |6616 |6818 |6616 | 13k| 71 | 0 | 0 | 0.000000e+00 | -- | Inf 145.15/145.23 c 144s| 1 | 0 | 1738 | - | 36M| 0 | 722 |6616 |6818 |6616 | 13k| 77 | 0 | 0 | 0.000000e+00 | -- | Inf 171.34/171.49 c 170s| 1 | 2 | 1738 | - | 36M| 0 | 722 |6616 |6818 |6616 | 13k| 77 | 0 | 15 | 0.000000e+00 | -- | Inf 1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.23/1800.74 c 1800.23/1800.74 c SCIP Status : solving was interrupted [user interrupt] 1800.23/1800.74 c Solving Time (sec) : 1780.03 1800.23/1800.74 c Solving Nodes : 1680 1800.23/1800.74 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.23/1800.74 c Dual Bound : +0.00000000000000e+00 1800.23/1800.74 c Gap : infinite 1800.23/1800.74 s UNKNOWN 1800.23/1800.74 c SCIP Status : solving was interrupted [user interrupt] 1800.23/1800.74 c Solving Time : 1780.03 1800.23/1800.74 c Original Problem : 1800.23/1800.74 c Problem name : HOME/instance-2666322-1276680091.opb 1800.23/1800.74 c Variables : 6616 (6616 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.23/1800.74 c Constraints : 6818 initial, 6818 maximal 1800.23/1800.74 c Presolved Problem : 1800.23/1800.74 c Problem name : t_HOME/instance-2666322-1276680091.opb 1800.23/1800.74 c Variables : 6616 (6616 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.23/1800.74 c Constraints : 6818 initial, 8135 maximal 1800.23/1800.74 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.23/1800.74 c trivial : 0.01 0 0 0 0 0 0 0 0 1800.23/1800.74 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.23/1800.74 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.23/1800.74 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.23/1800.74 c implics : 0.00 0 0 0 0 0 0 0 0 1800.23/1800.74 c probing : 0.00 0 0 0 0 0 0 0 0 1800.23/1800.74 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.23/1800.74 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.23/1800.74 c and : 0.25 0 0 0 0 0 0 0 0 1800.23/1800.74 c linear : 0.05 0 0 0 0 0 0 0 0 1800.23/1800.74 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.23/1800.74 c root node : - 0 - - 0 - - - - 1800.23/1800.74 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.23/1800.74 c integral : 0 0 0 1267 0 5 247 0 0 2204 1800.23/1800.74 c knapsack : 1 5 6156 0 0 0 0 0 0 0 1800.23/1800.74 c setppc : 400 5 6156 0 0 28 17615 0 0 0 1800.23/1800.74 c and : 6216 1546 6128 0 0 5 379673 402177 0 0 1800.23/1800.74 c linear : 1 5 6123 0 0 0 0 0 0 0 1800.23/1800.74 c logicor : 200+ 5 2270 0 0 2 1304 0 0 0 1800.23/1800.74 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.23/1800.74 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.23/1800.74 c integral : 613.01 0.00 0.00 613.01 0.00 1800.23/1800.74 c knapsack : 0.07 0.05 0.02 0.00 0.00 1800.23/1800.74 c setppc : 0.17 0.00 0.17 0.00 0.00 1800.23/1800.74 c and : 8.32 5.68 2.64 0.00 0.00 1800.23/1800.74 c linear : 0.34 0.00 0.34 0.00 0.00 1800.23/1800.74 c logicor : 0.14 0.00 0.14 0.00 0.00 1800.23/1800.74 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.23/1800.74 c Propagators : Time Calls Cutoffs DomReds 1800.23/1800.74 c vbounds : 0.01 1 0 0 1800.23/1800.74 c rootredcost : 0.00 0 0 0 1800.23/1800.74 c pseudoobj : 0.00 0 0 0 1800.23/1800.74 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.23/1800.74 c propagation : 0.00 35 34 60 18.1 1 18.0 - 1800.23/1800.74 c infeasible LP : 2.89 543 535 4243 49.4 0 0.0 0 1800.23/1800.74 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.23/1800.74 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.23/1800.74 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.23/1800.74 c applied globally : - - - 1414 63.5 - - - 1800.23/1800.74 c applied locally : - - - 0 0.0 - - - 1800.23/1800.74 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.23/1800.74 c cut pool : 0.00 4 - - 2 - (maximal pool size: 455) 1800.23/1800.74 c redcost : 1.26 1546 0 0 0 0 1800.23/1800.74 c impliedbounds : 0.01 5 0 0 63 0 1800.23/1800.74 c intobj : 0.00 0 0 0 0 0 1800.23/1800.74 c cgmip : 0.00 0 0 0 0 0 1800.23/1800.74 c gomory : 34.75 5 0 0 0 0 1800.23/1800.74 c strongcg : 104.20 5 0 0 1029 0 1800.23/1800.74 c cmir : 0.00 0 0 0 0 0 1800.23/1800.74 c flowcover : 0.00 0 0 0 0 0 1800.23/1800.74 c clique : 0.18 5 0 0 34 0 1800.23/1800.74 c zerohalf : 0.00 0 0 0 0 0 1800.23/1800.74 c mcf : 0.41 3 0 0 30 0 1800.23/1800.74 c rapidlearning : 0.83 1 0 0 0 0 1800.23/1800.74 c Pricers : Time Calls Vars 1800.23/1800.74 c problem variables: 0.00 0 0 1800.23/1800.74 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.23/1800.74 c relpscost : 613.01 1267 5 247 0 0 2204 1800.23/1800.74 c pscost : 0.00 0 0 0 0 0 0 1800.23/1800.74 c inference : 0.00 0 0 0 0 0 0 1800.23/1800.74 c mostinf : 0.00 0 0 0 0 0 0 1800.23/1800.74 c leastinf : 0.00 0 0 0 0 0 0 1800.23/1800.74 c fullstrong : 0.00 0 0 0 0 0 0 1800.23/1800.74 c allfullstrong : 0.00 0 0 0 0 0 0 1800.23/1800.74 c random : 0.00 0 0 0 0 0 0 1800.23/1800.74 c Primal Heuristics : Time Calls Found 1800.23/1800.74 c LP solutions : 0.00 - 0 1800.23/1800.74 c pseudo solutions : 0.00 - 0 1800.23/1800.74 c trivial : 0.01 1 0 1800.23/1800.74 c simplerounding : 0.00 0 0 1800.23/1800.74 c zirounding : 0.00 0 0 1800.23/1800.74 c rounding : 0.00 0 0 1800.23/1800.74 c shifting : 0.00 0 0 1800.23/1800.74 c intshifting : 0.00 0 0 1800.23/1800.74 c oneopt : 0.00 0 0 1800.23/1800.74 c twoopt : 0.00 0 0 1800.23/1800.74 c fixandinfer : 0.00 0 0 1800.23/1800.74 c feaspump : 0.00 0 0 1800.23/1800.74 c coefdiving : 0.00 0 0 1800.23/1800.74 c pscostdiving : 0.00 0 0 1800.23/1800.74 c fracdiving : 0.00 0 0 1800.23/1800.74 c veclendiving : 0.00 0 0 1800.23/1800.74 c intdiving : 0.00 0 0 1800.23/1800.74 c actconsdiving : 0.00 0 0 1800.23/1800.74 c objpscostdiving : 0.00 0 0 1800.23/1800.74 c rootsoldiving : 0.00 0 0 1800.23/1800.74 c linesearchdiving : 0.00 0 0 1800.23/1800.74 c guideddiving : 0.00 0 0 1800.23/1800.74 c octane : 0.00 0 0 1800.23/1800.74 c rens : 0.00 0 0 1800.23/1800.74 c rins : 0.00 0 0 1800.23/1800.74 c localbranching : 0.00 0 0 1800.23/1800.74 c mutation : 0.00 0 0 1800.23/1800.74 c crossover : 0.00 0 0 1800.23/1800.74 c dins : 0.00 0 0 1800.23/1800.74 c undercover : 0.00 0 0 1800.23/1800.74 c nlp : 0.00 0 0 1800.23/1800.74 c trysol : 0.00 0 0 1800.23/1800.74 c LP : Time Calls Iterations Iter/call Iter/sec 1800.23/1800.74 c primal LP : 7.48 0 0 0.00 0.00 1800.23/1800.74 c dual LP : 983.28 3356 1026813 305.96 1044.27 1800.23/1800.74 c lex dual LP : 0.00 0 0 0.00 - 1800.23/1800.74 c barrier LP : 0.00 0 0 0.00 - 1800.23/1800.74 c diving/probing LP: 0.00 0 0 0.00 - 1800.23/1800.74 c strong branching : 612.41 3319 621334 187.21 1014.57 1800.23/1800.74 c (at root node) : - 15 8360 557.33 - 1800.23/1800.74 c conflict analysis: 0.00 0 0 0.00 - 1800.23/1800.74 c B&B Tree : 1800.23/1800.74 c number of runs : 1 1800.23/1800.74 c nodes : 1680 1800.23/1800.74 c nodes (total) : 1680 1800.23/1800.74 c nodes left : 444 1800.23/1800.74 c max depth : 33 1800.23/1800.74 c max depth (total): 33 1800.23/1800.74 c backtracks : 277 (16.5%) 1800.23/1800.74 c delayed cutoffs : 81 1800.23/1800.74 c repropagations : 1327 (13628 domain reductions, 5 cutoffs) 1800.23/1800.74 c avg switch length: 5.60 1800.23/1800.74 c switching time : 11.64 1800.23/1800.74 c Solution : 1800.23/1800.74 c Solutions found : 0 (0 improvements) 1800.23/1800.74 c Primal Bound : - 1800.23/1800.74 c Dual Bound : +0.00000000000000e+00 1800.23/1800.74 c Gap : infinite 1800.23/1800.74 c Root Dual Bound : +0.00000000000000e+00 1800.23/1800.74 c Root Iterations : 1738 1800.43/1800.90 c Time complete: 1800.43.
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-2666322-1276680091/watcher-2666322-1276680091 -o /tmp/evaluation-result-2666322-1276680091/solver-2666322-1276680091 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666322-1276680091.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 10029 /proc/meminfo: memFree=1739736/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=6692 CPUtime=0 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 868 0 0 0 0 0 0 0 24 0 1 0 41665470 6852608 787 1992294400 4194304 8223781 140733599867136 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10029/statm: 1673 797 338 984 0 686 0 [startup+0.0471751 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10029 /proc/meminfo: memFree=1739736/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=12916 CPUtime=0.03 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 2540 0 0 0 3 0 0 0 24 0 1 0 41665470 13225984 2459 1992294400 4194304 8223781 140733599867136 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10029/statm: 3229 2459 364 984 0 2242 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12916 [startup+0.10118 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10029 /proc/meminfo: memFree=1739736/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=16596 CPUtime=0.09 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 3457 0 0 0 8 1 0 0 25 0 1 0 41665470 16994304 3376 1992294400 4194304 8223781 140733599867136 18446744073709551615 6639949 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10029/statm: 4149 3376 364 984 0 3162 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16596 [startup+0.301198 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10029 /proc/meminfo: memFree=1739736/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=32012 CPUtime=0.29 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 7667 0 0 0 23 6 0 0 25 0 1 0 41665470 32780288 6965 1992294400 4194304 8223781 140733599867136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 8003 6965 426 984 0 7016 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32012 [startup+0.701237 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10029 /proc/meminfo: memFree=1739736/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=36936 CPUtime=0.69 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 10412 0 0 0 49 20 0 0 25 0 1 0 41665470 37822464 8168 1992294400 4194304 8223781 140733599867136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 9234 8168 459 984 0 8247 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36936 [startup+1.50131 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10030 /proc/meminfo: memFree=1684548/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=62924 CPUtime=1.49 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 18440 0 0 0 126 23 0 0 25 0 1 0 41665470 64434176 14460 1992294400 4194304 8223781 140733599867136 18446744073709551615 6614453 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 15731 14460 537 984 0 14744 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 62924 [startup+3.10147 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10030 /proc/meminfo: memFree=1682936/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=65676 CPUtime=3.09 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 20313 0 0 0 284 25 0 0 25 0 1 0 41665470 67252224 14773 1992294400 4194304 8223781 140733599867136 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 16419 14773 568 984 0 15432 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 65676 [startup+6.30078 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10030 /proc/meminfo: memFree=1682068/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=65676 CPUtime=6.29 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 20313 0 0 0 603 26 0 0 25 0 1 0 41665470 67252224 14773 1992294400 4194304 8223781 140733599867136 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 16419 14773 568 984 0 15432 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 65676 [startup+12.7004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10030 /proc/meminfo: memFree=1681572/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=66180 CPUtime=12.68 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 20480 0 0 0 1241 27 0 0 25 0 1 0 41665470 67768320 14927 1992294400 4194304 8223781 140733599867136 18446744073709551615 6299740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 16545 14927 559 984 0 15558 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 66180 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10030 /proc/meminfo: memFree=1676488/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=71836 CPUtime=25.48 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 21778 0 0 0 2517 31 0 0 25 0 1 0 41665470 73560064 16225 1992294400 4194304 8223781 140733599867136 18446744073709551615 6056502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 17959 16225 559 984 0 16972 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 71836 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10030 /proc/meminfo: memFree=1673140/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=73792 CPUtime=51.06 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 34862 0 0 0 5044 62 0 0 25 0 1 0 41665470 75563008 17061 1992294400 4194304 8223781 140733599867136 18446744073709551615 4310604 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 18448 17061 587 984 0 17461 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 73792 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10032 /proc/meminfo: memFree=1671528/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=74980 CPUtime=102.26 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 37971 0 0 0 10148 78 0 0 25 0 1 0 41665470 76779520 17319 1992294400 4194304 8223781 140733599867136 18446744073709551615 6056502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 18745 17319 587 984 0 17758 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 74980 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10034 /proc/meminfo: memFree=1667188/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=80116 CPUtime=162.24 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 71781 0 0 0 16116 108 0 0 25 0 1 0 41665470 82038784 18598 1992294400 4194304 8223781 140733599867136 18446744073709551615 6588757 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 20029 18598 588 984 0 19042 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 80116 [startup+222.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 10036 /proc/meminfo: memFree=1668676/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=76860 CPUtime=222.22 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 121206 0 0 0 22065 157 0 0 25 0 1 0 41665470 78704640 17943 1992294400 4194304 8223781 140733599867136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 19215 17943 588 984 0 18228 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 76860 [startup+282.301 s] /proc/loadavg: 1.05 1.02 1.00 2/107 10038 /proc/meminfo: memFree=1668676/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=77344 CPUtime=282.21 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 171328 0 0 0 28018 203 0 0 25 0 1 0 41665470 79200256 17950 1992294400 4194304 8223781 140733599867136 18446744073709551615 6570019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 19336 17950 589 984 0 18349 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 77344 [startup+342.301 s] /proc/loadavg: 1.12 1.04 1.00 2/107 10038 /proc/meminfo: memFree=1665824/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=81092 CPUtime=342.19 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 238649 0 0 0 33959 260 0 0 25 0 1 0 41665470 83038208 18771 1992294400 4194304 8223781 140733599867136 18446744073709551615 6536494 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 20273 18771 593 984 0 19286 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 81092 [startup+402.301 s] /proc/loadavg: 1.12 1.05 1.00 2/107 10040 /proc/meminfo: memFree=1665080/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=81344 CPUtime=402.17 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 328989 0 0 0 39895 322 0 0 25 0 1 0 41665470 83296256 18957 1992294400 4194304 8223781 140733599867136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 20336 18957 593 984 0 19349 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 81344 [startup+462.302 s] /proc/loadavg: 1.10 1.05 1.00 2/107 10042 /proc/meminfo: memFree=1662476/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=83980 CPUtime=462.16 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 412406 0 0 0 45831 385 0 0 25 0 1 0 41665470 85995520 19532 1992294400 4194304 8223781 140733599867136 18446744073709551615 6539240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 20995 19532 593 984 0 20008 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 83980 [startup+522.301 s] /proc/loadavg: 1.18 1.08 1.01 2/107 10044 /proc/meminfo: memFree=1662228/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=84728 CPUtime=522.14 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 489362 0 0 0 51767 447 0 0 25 0 1 0 41665470 86761472 19759 1992294400 4194304 8223781 140733599867136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 21182 19759 593 984 0 20195 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 84728 [startup+582.301 s] /proc/loadavg: 1.06 1.06 1.00 2/107 10046 /proc/meminfo: memFree=1660616/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=85672 CPUtime=582.13 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 588648 0 0 0 57699 514 0 0 25 0 1 0 41665470 87728128 20001 1992294400 4194304 8223781 140733599867136 18446744073709551615 6559628 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 21418 20001 593 984 0 20431 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 85672 [startup+642.301 s] /proc/loadavg: 1.02 1.04 1.00 2/107 10046 /proc/meminfo: memFree=1659252/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=87096 CPUtime=642.12 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 688289 0 0 0 63630 582 0 0 25 0 1 0 41665470 89186304 20337 1992294400 4194304 8223781 140733599867136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 21774 20337 593 984 0 20787 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 87096 [startup+702.302 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10059 /proc/meminfo: memFree=1651068/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=94320 CPUtime=1002.02 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 1315469 0 0 0 99197 1005 0 0 25 0 1 0 41665470 96583680 22095 1992294400 4194304 8223781 140733599867136 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 23580 22095 594 984 0 22593 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 94320 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10061 /proc/meminfo: memFree=1650448/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=95424 CPUtime=1062.01 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 1433078 0 0 0 105121 1080 0 0 25 0 1 0 41665470 97714176 22428 1992294400 4194304 8223781 140733599867136 18446744073709551615 6539282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 23856 22428 594 984 0 22869 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 95424 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10063 /proc/meminfo: memFree=1648960/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=97016 CPUtime=1121.99 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 1553610 0 0 0 111042 1157 0 0 25 0 1 0 41665470 99344384 22741 1992294400 4194304 8223781 140733599867136 18446744073709551615 6570060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 24254 22741 593 984 0 23267 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 97016 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10065 /proc/meminfo: memFree=1648340/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=97452 CPUtime=1181.97 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 1643940 0 0 0 116979 1218 0 0 25 0 1 0 41665470 99790848 22929 1992294400 4194304 8223781 140733599867136 18446744073709551615 6358893 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 24363 22929 593 984 0 23376 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 97452 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10065 /proc/meminfo: memFree=1647472/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=97744 CPUtime=1241.97 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 1734662 0 0 0 122909 1288 0 0 25 0 1 0 41665470 100089856 22992 1992294400 4194304 8223781 140733599867136 18446744073709551615 6559493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 24436 22992 593 984 0 23449 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 97744 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10067 /proc/meminfo: memFree=1646356/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=99760 CPUtime=1301.95 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 1855121 0 0 0 128834 1361 0 0 25 0 1 0 41665470 102154240 23368 1992294400 4194304 8223781 140733599867136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 24940 23368 594 984 0 23953 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 99760 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10069 /proc/meminfo: memFree=1645364/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=100100 CPUtime=1361.93 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 1999376 0 0 0 134747 1446 0 0 25 0 1 0 41665470 102502400 23542 1992294400 4194304 8223781 140733599867136 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 25025 23542 593 984 0 24038 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 100100 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10071 /proc/meminfo: memFree=1644620/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=101248 CPUtime=1421.93 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 2121526 0 0 0 140672 1521 0 0 25 0 1 0 41665470 103677952 23759 1992294400 4194304 8223781 140733599867136 18446744073709551615 6590493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 25312 23759 593 984 0 24325 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 101248 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10073 /proc/meminfo: memFree=1643876/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=102684 CPUtime=1481.91 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 2232006 0 0 0 146595 1596 0 0 25 0 1 0 41665470 105148416 24033 1992294400 4194304 8223781 140733599867136 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 25671 24033 593 984 0 24684 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 102684 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10073 /proc/meminfo: memFree=1643008/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=102760 CPUtime=1541.88 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 2356554 0 0 0 152517 1671 0 0 25 0 1 0 41665470 105226240 24090 1992294400 4194304 8223781 140733599867136 18446744073709551615 6446778 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 25690 24090 593 984 0 24703 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 102760 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10075 /proc/meminfo: memFree=1642140/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=104036 CPUtime=1601.87 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 2494265 0 0 0 158429 1758 0 0 25 0 1 0 41665470 106532864 24393 1992294400 4194304 8223781 140733599867136 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 26009 24393 594 984 0 25022 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 104036 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10077 /proc/meminfo: memFree=1641396/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=104380 CPUtime=1661.86 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 2599649 0 0 0 164353 1833 0 0 25 0 1 0 41665470 106885120 24505 1992294400 4194304 8223781 140733599867136 18446744073709551615 6559337 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 26095 24505 593 984 0 25108 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 104380 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10079 /proc/meminfo: memFree=1640652/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=106284 CPUtime=1721.84 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 2740964 0 0 0 170272 1912 0 0 25 0 1 0 41665470 108834816 24889 1992294400 4194304 8223781 140733599867136 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 26571 24889 593 984 0 25584 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 106284 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10081 /proc/meminfo: memFree=1639536/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=106968 CPUtime=1781.82 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 2868216 0 0 0 176191 1991 0 0 25 0 1 0 41665470 109535232 25119 1992294400 4194304 8223781 140733599867136 18446744073709551615 6532949 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 26742 25119 595 984 0 25755 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 106968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10081 /proc/meminfo: memFree=1639040/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=106996 CPUtime=1800.03 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 2908568 0 0 0 177989 2014 0 0 25 0 1 0 41665470 109563904 25139 1992294400 4194304 8223781 140733599867136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 26749 25139 594 984 0 25762 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 106996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10082 /proc/meminfo: memFree=1638908/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=106996 CPUtime=1800.14 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 2908587 0 0 0 177999 2015 0 0 25 0 1 0 41665470 109563904 25158 1992294400 4194304 8223781 140733599867136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10029/statm: 26749 25158 594 984 0 25762 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 106996 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10082 /proc/meminfo: memFree=1638908/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=106996 CPUtime=1800.33 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 2908695 0 0 0 178018 2015 0 0 25 0 1 0 41665470 109563904 25148 1992294400 4194304 8223781 140733599867136 18446744073709551615 6028175 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10029/statm: 26749 25148 595 984 0 25762 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 106996 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10082 /proc/meminfo: memFree=1638908/2059040 swapFree=4140256/4192956 [pid=10029] ppid=10027 vsize=11116 CPUtime=1800.43 /proc/10029/stat : 10029 (pbscip.linux.x8) R 10027 10029 9209 0 -1 4202496 2908695 0 0 0 178027 2016 0 0 25 0 1 0 41665470 11382784 2349 1992294400 4194304 8223781 140733599867136 18446744073709551615 7232313 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10029/statm: 2779 2349 594 984 0 1792 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 11116 Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.43 CPU user time (s): 1780.27 CPU system time (s): 20.1629 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 108144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.27 system time used= 20.1629 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2908699 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= 1 involuntary context switches= 6412 runsolver used 2.99554 second user time and 8.49271 second system time The end
Begin job on node018 at 2010-06-16 11:21:31 IDJOB=2666322 IDBENCH=48340 IDSOLVER=1169 FILE ID=node018/2666322-1276680091 PBS_JOBID= 11172524 Free space on /tmp= 62484 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_3_40.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666322-1276680091/watcher-2666322-1276680091 -o /tmp/evaluation-result-2666322-1276680091/solver-2666322-1276680091 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666322-1276680091.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 67a15ea3b760eccb0e507c1f93bad0e1 RANDOM SEED=1671977544 node018.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.248 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.49 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.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1740264 kB Buffers: 108976 kB Cached: 121184 kB SwapCached: 6364 kB Active: 101936 kB Inactive: 141792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1740264 kB SwapTotal: 4192956 kB SwapFree: 4140256 kB Dirty: 4756 kB Writeback: 0 kB AnonPages: 11712 kB Mapped: 12960 kB Slab: 53384 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182072 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= 62480 MiB End job on node018 at 2010-06-16 11:51:34