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.42 | 1800.94 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_4_40.opb |
MD5SUM | 83d1e3d1d0816aba7f8b7eb415a5cecb |
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) | 12520 |
Sum of products size (including duplicates) | 25040 |
Number of different products | 6260 |
Sum of products size | 12520 |
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-2666335-1276681507.opb> 0.04/0.09 c original problem has 6660 variables (6660 bin, 0 int, 0 impl, 0 cont) and 6862 constraints 0.04/0.09 c problem read 0.04/0.09 c No objective function, only one solution is needed. 0.04/0.10 c presolving settings loaded 0.09/0.18 c presolving: 0.39/0.45 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50480 impls, 400 clqs 0.59/0.67 c presolving (2 rounds): 0.59/0.67 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.59/0.67 c 50480 implications, 400 cliques 0.59/0.67 c presolved problem has 6660 variables (6660 bin, 0 int, 0 impl, 0 cont) and 6862 constraints 0.59/0.67 c 1 constraints of type <knapsack> 0.59/0.67 c 400 constraints of type <setppc> 0.59/0.67 c 6260 constraints of type <and> 0.59/0.67 c 1 constraints of type <linear> 0.59/0.67 c 200 constraints of type <logicor> 0.59/0.67 c transformed objective value is always integral (scale: 1) 0.59/0.67 c Presolving Time: 0.34 0.59/0.67 c - non default parameters ---------------------------------------------------------------------- 0.59/0.67 c # SCIP version 1.2.1.2 0.59/0.67 c 0.59/0.67 c # frequency for displaying node information lines 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 100] 0.59/0.67 c display/freq = 10000 0.59/0.67 c 0.59/0.67 c # maximal time in seconds to run 0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.59/0.67 c limits/time = 1799.91 0.59/0.67 c 0.59/0.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.59/0.67 c limits/memory = 1620 0.59/0.67 c 0.59/0.67 c # solving stops, if the given number of solutions were found (-1: no limit) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.67 c limits/solutions = 1 0.59/0.67 c 0.59/0.67 c # maximal number of separation rounds per node (-1: unlimited) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 5] 0.59/0.67 c separating/maxrounds = 1 0.59/0.67 c 0.59/0.67 c # maximal number of separation rounds in the root node (-1: unlimited) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.67 c separating/maxroundsroot = 5 0.59/0.67 c 0.59/0.67 c # should presolving try to simplify inequalities 0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.59/0.67 c constraints/linear/simplifyinequalities = TRUE 0.59/0.67 c 0.59/0.67 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.59/0.67 c constraints/knapsack/disaggregation = FALSE 0.59/0.67 c 0.59/0.67 c # should presolving try to simplify knapsacks 0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.59/0.67 c constraints/knapsack/simplifyinequalities = TRUE 0.59/0.67 c 0.59/0.67 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.67 c presolving/probing/maxrounds = 0 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.67 c heuristics/coefdiving/freq = -1 0.59/0.67 c 0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.67 c heuristics/coefdiving/maxlpiterquot = 0.075 0.59/0.67 c 0.59/0.67 c # additional number of allowed LP iterations 0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.67 c heuristics/coefdiving/maxlpiterofs = 1500 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 30] 0.59/0.67 c heuristics/crossover/freq = -1 0.59/0.67 c 0.59/0.67 c # number of nodes added to the contingent of the total nodes 0.59/0.67 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.59/0.67 c heuristics/crossover/nodesofs = 750 0.59/0.67 c 0.59/0.67 c # number of nodes without incumbent change that heuristic should wait 0.59/0.67 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.59/0.67 c heuristics/crossover/nwaitingnodes = 100 0.59/0.67 c 0.59/0.67 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.59/0.67 c # [type: real, range: [0,1], default: 0.1] 0.59/0.67 c heuristics/crossover/nodesquot = 0.15 0.59/0.67 c 0.59/0.67 c # minimum percentage of integer variables that have to be fixed 0.59/0.67 c # [type: real, range: [0,1], default: 0.666] 0.59/0.67 c heuristics/crossover/minfixingrate = 0.5 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 20] 0.59/0.67 c heuristics/feaspump/freq = -1 0.59/0.67 c 0.59/0.67 c # additional number of allowed LP iterations 0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.67 c heuristics/feaspump/maxlpiterofs = 2000 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.67 c heuristics/fracdiving/freq = -1 0.59/0.67 c 0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.67 c heuristics/fracdiving/maxlpiterquot = 0.075 0.59/0.67 c 0.59/0.67 c # additional number of allowed LP iterations 0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.67 c heuristics/fracdiving/maxlpiterofs = 1500 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.67 c heuristics/guideddiving/freq = -1 0.59/0.67 c 0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.67 c heuristics/guideddiving/maxlpiterquot = 0.075 0.59/0.67 c 0.59/0.67 c # additional number of allowed LP iterations 0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.67 c heuristics/guideddiving/maxlpiterofs = 1500 0.59/0.67 c 0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.67 c heuristics/intdiving/maxlpiterquot = 0.075 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.67 c heuristics/intshifting/freq = -1 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.67 c heuristics/linesearchdiving/freq = -1 0.59/0.67 c 0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.67 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.59/0.67 c 0.59/0.67 c # additional number of allowed LP iterations 0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.67 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.67 c heuristics/nlp/freq = -1 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 20] 0.59/0.67 c heuristics/objpscostdiving/freq = -1 0.59/0.67 c 0.59/0.67 c # maximal fraction of diving LP iterations compared to total iteration number 0.59/0.67 c # [type: real, range: [0,1], default: 0.01] 0.59/0.67 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.59/0.67 c 0.59/0.67 c # additional number of allowed LP iterations 0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.67 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.67 c heuristics/oneopt/freq = -1 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.67 c heuristics/pscostdiving/freq = -1 0.59/0.67 c 0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.67 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.59/0.67 c 0.59/0.67 c # additional number of allowed LP iterations 0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.67 c heuristics/pscostdiving/maxlpiterofs = 1500 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.67 c heuristics/rens/freq = -1 0.59/0.67 c 0.59/0.67 c # minimum percentage of integer variables that have to be fixable 0.59/0.67 c # [type: real, range: [0,1], default: 0.5] 0.59/0.67 c heuristics/rens/minfixingrate = 0.3 0.59/0.67 c 0.59/0.67 c # number of nodes added to the contingent of the total nodes 0.59/0.67 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.59/0.67 c heuristics/rens/nodesofs = 2000 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 20] 0.59/0.67 c heuristics/rootsoldiving/freq = -1 0.59/0.67 c 0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.59/0.67 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.59/0.67 c 0.59/0.67 c # additional number of allowed LP iterations 0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.67 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.67 c heuristics/rounding/freq = -1 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.67 c heuristics/shifting/freq = -1 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.67 c heuristics/simplerounding/freq = -1 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.67 c heuristics/trivial/freq = -1 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.67 c heuristics/trysol/freq = -1 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.67 c heuristics/veclendiving/freq = -1 0.59/0.67 c 0.59/0.67 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.67 c heuristics/veclendiving/maxlpiterquot = 0.075 0.59/0.67 c 0.59/0.67 c # additional number of allowed LP iterations 0.59/0.67 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.67 c heuristics/veclendiving/maxlpiterofs = 1500 0.59/0.67 c 0.59/0.67 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.67 c heuristics/zirounding/freq = -1 0.59/0.67 c 0.59/0.67 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.67 c separating/cmir/freq = -1 0.59/0.67 c 0.59/0.67 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.67 c separating/flowcover/freq = -1 0.59/0.67 c 0.59/0.67 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.59/0.67 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.67 c separating/rapidlearning/freq = 0 0.59/0.67 c 0.59/0.67 c ----------------------------------------------------------------------------------------------- 0.59/0.67 c start solving 0.59/0.67 c 2.69/2.72 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.72 c 2.4s| 1 | 0 | 1318 | - | 30M| 0 | 743 |6660 |6862 |6660 | 13k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 30.18/30.21 c 29.6s| 1 | 0 | 1437 | - | 31M| 0 | 738 |6660 |6862 |6660 | 13k| 24 | 0 | 0 | 0.000000e+00 | -- | Inf 56.27/56.38 c 55.6s| 1 | 0 | 1525 | - | 32M| 0 | 737 |6660 |6862 |6660 | 13k| 34 | 0 | 0 | 0.000000e+00 | -- | Inf 82.86/82.90 c 82.1s| 1 | 0 | 1610 | - | 33M| 0 | 750 |6660 |6862 |6660 | 13k| 40 | 0 | 0 | 0.000000e+00 | -- | Inf 110.75/110.87 c 110s| 1 | 0 | 1715 | - | 36M| 0 | 730 |6660 |6862 |6660 | 13k| 47 | 0 | 0 | 0.000000e+00 | -- | Inf 137.93/138.05 c 137s| 1 | 0 | 1829 | - | 37M| 0 | 726 |6660 |6862 |6660 | 13k| 55 | 0 | 0 | 0.000000e+00 | -- | Inf 180.52/180.61 c 179s| 1 | 2 | 1829 | - | 37M| 0 | 726 |6660 |6862 |6660 | 13k| 55 | 0 | 21 | 0.000000e+00 | -- | Inf 1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.19/1800.78 c 1800.19/1800.78 c SCIP Status : solving was interrupted [user interrupt] 1800.19/1800.78 c Solving Time (sec) : 1780.67 1800.19/1800.78 c Solving Nodes : 1927 1800.19/1800.78 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.19/1800.78 c Dual Bound : +0.00000000000000e+00 1800.19/1800.78 c Gap : infinite 1800.19/1800.78 s UNKNOWN 1800.19/1800.78 c SCIP Status : solving was interrupted [user interrupt] 1800.19/1800.78 c Solving Time : 1780.67 1800.19/1800.78 c Original Problem : 1800.19/1800.78 c Problem name : HOME/instance-2666335-1276681507.opb 1800.19/1800.78 c Variables : 6660 (6660 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.19/1800.78 c Constraints : 6862 initial, 6862 maximal 1800.19/1800.78 c Presolved Problem : 1800.19/1800.78 c Problem name : t_HOME/instance-2666335-1276681507.opb 1800.19/1800.78 c Variables : 6660 (6660 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.19/1800.78 c Constraints : 6862 initial, 8266 maximal 1800.19/1800.78 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.19/1800.78 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.78 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.78 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.78 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.78 c implics : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.78 c probing : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.78 c knapsack : 0.01 0 0 0 0 0 0 0 0 1800.19/1800.78 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.19/1800.78 c and : 0.22 0 0 0 0 0 0 0 0 1800.19/1800.78 c linear : 0.05 0 0 0 0 0 0 0 0 1800.19/1800.78 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.19/1800.78 c root node : - 0 - - 0 - - - - 1800.19/1800.78 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.19/1800.78 c integral : 0 0 0 1442 0 8 235 0 0 2522 1800.19/1800.78 c knapsack : 1 5 6988 0 0 0 0 0 0 0 1800.19/1800.78 c setppc : 400 5 6988 0 0 33 16843 0 0 0 1800.19/1800.78 c and : 6260 1774 6955 0 0 3 367443 501900 0 0 1800.19/1800.78 c linear : 1 5 6952 0 0 0 0 0 0 0 1800.19/1800.78 c logicor : 200+ 5 2452 0 0 3 1581 0 0 0 1800.19/1800.78 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.19/1800.78 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.19/1800.78 c integral : 613.18 0.00 0.00 613.18 0.00 1800.19/1800.78 c knapsack : 0.11 0.04 0.07 0.00 0.00 1800.19/1800.78 c setppc : 0.16 0.01 0.15 0.00 0.00 1800.19/1800.78 c and : 9.03 6.30 2.73 0.00 0.00 1800.19/1800.78 c linear : 0.24 0.00 0.24 0.00 0.00 1800.19/1800.78 c logicor : 0.22 0.00 0.22 0.00 0.00 1800.19/1800.78 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.19/1800.78 c Propagators : Time Calls Cutoffs DomReds 1800.19/1800.78 c vbounds : 0.01 1 0 0 1800.19/1800.78 c rootredcost : 0.00 0 0 0 1800.19/1800.78 c pseudoobj : 0.00 0 0 0 1800.19/1800.78 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.19/1800.78 c propagation : 0.00 39 38 62 15.6 0 0.0 - 1800.19/1800.78 c infeasible LP : 3.16 626 616 5377 48.1 0 0.0 0 1800.19/1800.78 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.19/1800.78 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.19/1800.78 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.19/1800.78 c applied globally : - - - 1586 65.6 - - - 1800.19/1800.78 c applied locally : - - - 0 0.0 - - - 1800.19/1800.78 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.19/1800.78 c cut pool : 0.00 4 - - 0 - (maximal pool size: 475) 1800.19/1800.78 c redcost : 1.42 1774 0 0 0 0 1800.19/1800.78 c impliedbounds : 0.01 5 0 0 44 0 1800.19/1800.78 c intobj : 0.00 0 0 0 0 0 1800.19/1800.78 c cgmip : 0.00 0 0 0 0 0 1800.19/1800.78 c gomory : 32.97 5 0 0 0 0 1800.19/1800.78 c strongcg : 98.56 5 0 0 1418 0 1800.19/1800.78 c cmir : 0.00 0 0 0 0 0 1800.19/1800.78 c flowcover : 0.00 0 0 0 0 0 1800.19/1800.78 c clique : 0.19 5 0 0 33 0 1800.19/1800.78 c zerohalf : 0.00 0 0 0 0 0 1800.19/1800.78 c mcf : 0.57 5 0 0 42 0 1800.19/1800.78 c rapidlearning : 0.80 1 0 0 0 0 1800.19/1800.78 c Pricers : Time Calls Vars 1800.19/1800.78 c problem variables: 0.00 0 0 1800.19/1800.78 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.19/1800.78 c relpscost : 613.17 1442 8 235 0 0 2522 1800.19/1800.78 c pscost : 0.00 0 0 0 0 0 0 1800.19/1800.78 c inference : 0.00 0 0 0 0 0 0 1800.19/1800.78 c mostinf : 0.00 0 0 0 0 0 0 1800.19/1800.78 c leastinf : 0.00 0 0 0 0 0 0 1800.19/1800.78 c fullstrong : 0.00 0 0 0 0 0 0 1800.19/1800.78 c allfullstrong : 0.00 0 0 0 0 0 0 1800.19/1800.78 c random : 0.00 0 0 0 0 0 0 1800.19/1800.78 c Primal Heuristics : Time Calls Found 1800.19/1800.78 c LP solutions : 0.00 - 0 1800.19/1800.78 c pseudo solutions : 0.00 - 0 1800.19/1800.78 c trivial : 0.01 1 0 1800.19/1800.78 c simplerounding : 0.00 0 0 1800.19/1800.78 c zirounding : 0.00 0 0 1800.19/1800.78 c rounding : 0.00 0 0 1800.19/1800.78 c shifting : 0.00 0 0 1800.19/1800.78 c intshifting : 0.00 0 0 1800.19/1800.78 c oneopt : 0.00 0 0 1800.19/1800.78 c twoopt : 0.00 0 0 1800.19/1800.78 c fixandinfer : 0.00 0 0 1800.19/1800.78 c feaspump : 0.00 0 0 1800.19/1800.78 c coefdiving : 0.00 0 0 1800.19/1800.78 c pscostdiving : 0.00 0 0 1800.19/1800.78 c fracdiving : 0.00 0 0 1800.19/1800.78 c veclendiving : 0.00 0 0 1800.19/1800.78 c intdiving : 0.00 0 0 1800.19/1800.78 c actconsdiving : 0.00 0 0 1800.19/1800.78 c objpscostdiving : 0.00 0 0 1800.19/1800.78 c rootsoldiving : 0.00 0 0 1800.19/1800.78 c linesearchdiving : 0.00 0 0 1800.19/1800.78 c guideddiving : 0.00 0 0 1800.19/1800.78 c octane : 0.00 0 0 1800.19/1800.78 c rens : 0.00 0 0 1800.19/1800.78 c rins : 0.00 0 0 1800.19/1800.78 c localbranching : 0.00 0 0 1800.19/1800.78 c mutation : 0.00 0 0 1800.19/1800.78 c crossover : 0.00 0 0 1800.19/1800.78 c dins : 0.00 0 0 1800.19/1800.78 c undercover : 0.00 0 0 1800.19/1800.78 c nlp : 0.00 0 0 1800.19/1800.78 c trysol : 0.00 0 0 1800.19/1800.78 c LP : Time Calls Iterations Iter/call Iter/sec 1800.19/1800.78 c primal LP : 6.52 0 0 0.00 0.00 1800.19/1800.78 c dual LP : 989.05 3842 1182194 307.70 1195.28 1800.19/1800.78 c lex dual LP : 0.00 0 0 0.00 - 1800.19/1800.78 c barrier LP : 0.00 0 0 0.00 - 1800.19/1800.78 c diving/probing LP: 0.00 0 0 0.00 - 1800.19/1800.78 c strong branching : 612.66 4067 706109 173.62 1152.53 1800.19/1800.78 c (at root node) : - 21 14120 672.38 - 1800.19/1800.78 c conflict analysis: 0.00 0 0 0.00 - 1800.19/1800.78 c B&B Tree : 1800.19/1800.78 c number of runs : 1 1800.19/1800.78 c nodes : 1927 1800.19/1800.78 c nodes (total) : 1927 1800.19/1800.78 c nodes left : 429 1800.19/1800.78 c max depth : 33 1800.19/1800.78 c max depth (total): 33 1800.19/1800.78 c backtracks : 356 (18.5%) 1800.19/1800.78 c delayed cutoffs : 167 1800.19/1800.78 c repropagations : 1478 (19797 domain reductions, 7 cutoffs) 1800.19/1800.78 c avg switch length: 5.03 1800.19/1800.78 c switching time : 11.27 1800.19/1800.78 c Solution : 1800.19/1800.78 c Solutions found : 0 (0 improvements) 1800.19/1800.78 c Primal Bound : - 1800.19/1800.78 c Dual Bound : +0.00000000000000e+00 1800.19/1800.78 c Gap : infinite 1800.19/1800.78 c Root Dual Bound : +0.00000000000000e+00 1800.19/1800.78 c Root Iterations : 1829 1800.38/1800.94 c Time complete: 1800.41.
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-2666335-1276681507/watcher-2666335-1276681507 -o /tmp/evaluation-result-2666335-1276681507/solver-2666335-1276681507 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666335-1276681507.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 2/105 16798 /proc/meminfo: memFree=1758168/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=7724 CPUtime=0 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 1110 0 0 0 0 0 0 0 25 0 1 0 9444217 7909376 1029 1992294400 4194304 8223781 140737123374288 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16798/statm: 1931 1039 348 984 0 944 0 [startup+0.048983 s] /proc/loadavg: 1.00 1.00 1.00 2/105 16798 /proc/meminfo: memFree=1758168/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=14164 CPUtime=0.04 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 2831 0 0 0 3 1 0 0 25 0 1 0 9444217 14503936 2750 1992294400 4194304 8223781 140737123374288 18446744073709551615 4327668 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16798/statm: 3541 2751 364 984 0 2554 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 14164 [startup+0.100989 s] /proc/loadavg: 1.00 1.00 1.00 2/105 16798 /proc/meminfo: memFree=1758168/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=15288 CPUtime=0.09 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 3466 0 0 0 8 1 0 0 25 0 1 0 9444217 15654912 3031 1992294400 4194304 8223781 140737123374288 18446744073709551615 6206596 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 3822 3031 367 984 0 2835 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15288 [startup+0.30101 s] /proc/loadavg: 1.00 1.00 1.00 2/105 16798 /proc/meminfo: memFree=1758168/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=32200 CPUtime=0.29 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 7706 0 0 0 23 6 0 0 25 0 1 0 9444217 32972800 7004 1992294400 4194304 8223781 140737123374288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 8050 7004 426 984 0 7063 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32200 [startup+0.701054 s] /proc/loadavg: 1.00 1.00 1.00 2/105 16798 /proc/meminfo: memFree=1758168/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=43864 CPUtime=0.69 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 12204 0 0 0 48 21 0 0 25 0 1 0 9444217 44916736 9701 1992294400 4194304 8223781 140737123374288 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 10966 9714 497 984 0 9979 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43864 [startup+1.50114 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16799 /proc/meminfo: memFree=1701988/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=63700 CPUtime=1.49 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 18911 0 0 0 125 24 0 0 25 0 1 0 9444217 65228800 14615 1992294400 4194304 8223781 140737123374288 18446744073709551615 6537803 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 15925 14615 560 984 0 14938 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 63700 [startup+3.10132 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16799 /proc/meminfo: memFree=1700872/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=64980 CPUtime=3.09 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 20576 0 0 0 283 26 0 0 25 0 1 0 9444217 66539520 14901 1992294400 4194304 8223781 140737123374288 18446744073709551615 6044390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 16245 14901 574 984 0 15258 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 64980 [startup+6.30168 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16799 /proc/meminfo: memFree=1700128/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=64980 CPUtime=6.28 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 20576 0 0 0 602 26 0 0 25 0 1 0 9444217 66539520 14901 1992294400 4194304 8223781 140737123374288 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16798/statm: 16245 14901 574 984 0 15258 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 64980 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16799 /proc/meminfo: memFree=1699384/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=65660 CPUtime=12.68 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 20770 0 0 0 1240 28 0 0 25 0 1 0 9444217 67235840 15080 1992294400 4194304 8223781 140737123374288 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 16415 15080 563 984 0 15428 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 65660 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16801 /proc/meminfo: memFree=1693060/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=72204 CPUtime=25.48 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 22373 0 0 0 2516 32 0 0 25 0 1 0 9444217 73936896 16682 1992294400 4194304 8223781 140737123374288 18446744073709551615 6059063 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 18051 16682 562 984 0 17064 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 72204 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16801 /proc/meminfo: memFree=1690332/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=74396 CPUtime=51.07 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 35143 0 0 0 5046 61 0 0 25 0 1 0 9444217 76181504 17292 1992294400 4194304 8223781 140737123374288 18446744073709551615 6055425 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 18599 17292 592 984 0 17612 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 74396 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16803 /proc/meminfo: memFree=1686364/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=78936 CPUtime=102.25 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 38615 0 0 0 10151 74 0 0 25 0 1 0 9444217 80830464 18347 1992294400 4194304 8223781 140737123374288 18446744073709551615 6056533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 19734 18347 591 984 0 18747 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 78936 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16803 /proc/meminfo: memFree=1681528/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=83992 CPUtime=162.23 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 78478 0 0 0 16119 104 0 0 25 0 1 0 9444217 86007808 19460 1992294400 4194304 8223781 140737123374288 18446744073709551615 6532938 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 20998 19460 592 984 0 20011 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 83992 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16805 /proc/meminfo: memFree=1682520/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=82144 CPUtime=222.21 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 125270 0 0 0 22073 148 0 0 25 0 1 0 9444217 84115456 19167 1992294400 4194304 8223781 140737123374288 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 20536 19167 590 984 0 19549 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 82144 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16807 /proc/meminfo: memFree=1682272/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=82356 CPUtime=282.19 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 202175 0 0 0 28016 203 0 0 25 0 1 0 9444217 84332544 19185 1992294400 4194304 8223781 140737123374288 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 20589 19185 593 984 0 19602 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 82356 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16809 /proc/meminfo: memFree=1681404/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=82932 CPUtime=342.18 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 288100 0 0 0 33947 271 0 0 25 0 1 0 9444217 84922368 19313 1992294400 4194304 8223781 140737123374288 18446744073709551615 6604207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 20733 19313 593 984 0 19746 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 82932 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16811 /proc/meminfo: memFree=1678924/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=85788 CPUtime=402.16 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 380184 0 0 0 39875 341 0 0 25 0 1 0 9444217 87846912 20028 1992294400 4194304 8223781 140737123374288 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 21447 20028 593 984 0 20460 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 85788 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16811 /proc/meminfo: memFree=1677808/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=86880 CPUtime=462.13 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 462588 0 0 0 45805 408 0 0 25 0 1 0 9444217 88965120 20286 1992294400 4194304 8223781 140737123374288 18446744073709551615 6569937 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 21720 20286 593 984 0 20733 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 86880 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16813 /proc/meminfo: memFree=1677064/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=87652 CPUtime=522.12 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 557795 0 0 0 51737 475 0 0 25 0 1 0 9444217 89755648 20508 1992294400 4194304 8223781 140737123374288 18446744073709551615 6520484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 21913 20508 593 984 0 20926 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 87652 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16815 /proc/meminfo: memFree=1675824/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=88744 CPUtime=582.1 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 645217 0 0 0 57668 542 0 0 25 0 1 0 9444217 90873856 20785 1992294400 4194304 8223781 140737123374288 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 22186 20785 593 984 0 21199 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 88744 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16817 /proc/meminfo: memFree=1675080/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=90480 CPUtime=642.1 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 750377 0 0 0 63600 610 0 0 25 0 1 0 9444217 92651520 21114 1992294400 4194304 8223781 140737123374288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 22620 21114 594 984 0 21633 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 90480 [startup+702.3 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16825 /proc/meminfo: memFree=1668880/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=96616 CPUtime=942.01 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 1208650 0 0 0 93259 942 0 0 25 0 1 0 9444217 98934784 22646 1992294400 4194304 8223781 140737123374288 18446744073709551615 6358996 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 24154 22646 593 984 0 23167 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 96616 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16836 /proc/meminfo: memFree=1667764/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=96684 CPUtime=1001.98 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 1334827 0 0 0 99177 1021 0 0 25 0 1 0 9444217 99004416 22695 1992294400 4194304 8223781 140737123374288 18446744073709551615 6359020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 24171 22695 593 984 0 23184 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 96684 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16836 /proc/meminfo: memFree=1666152/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=99124 CPUtime=1061.96 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 1463014 0 0 0 105097 1099 0 0 25 0 1 0 9444217 101502976 23216 1992294400 4194304 8223781 140737123374288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 24781 23216 593 984 0 23794 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 99124 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16838 /proc/meminfo: memFree=1665036/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=99132 CPUtime=1121.95 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 1593129 0 0 0 111017 1178 0 0 25 0 1 0 9444217 101511168 23248 1992294400 4194304 8223781 140737123374288 18446744073709551615 6590219 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 24783 23248 593 984 0 23796 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 99132 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16840 /proc/meminfo: memFree=1664292/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=99884 CPUtime=1181.93 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 1727995 0 0 0 116935 1258 0 0 25 0 1 0 9444217 102281216 23508 1992294400 4194304 8223781 140737123374288 18446744073709551615 6359025 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 24971 23508 593 984 0 23984 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 99884 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16842 /proc/meminfo: memFree=1662804/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=102076 CPUtime=1241.92 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 1837645 0 0 0 122861 1331 0 0 25 0 1 0 9444217 104525824 23942 1992294400 4194304 8223781 140737123374288 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 25519 23942 593 984 0 24532 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 102076 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16844 /proc/meminfo: memFree=1661440/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=102952 CPUtime=1301.91 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 1928394 0 0 0 128792 1399 0 0 25 0 1 0 9444217 105422848 24188 1992294400 4194304 8223781 140737123374288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 25738 24188 593 984 0 24751 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 102952 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16844 /proc/meminfo: memFree=1659952/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=104720 CPUtime=1361.89 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 2027740 0 0 0 134720 1469 0 0 25 0 1 0 9444217 107233280 24643 1992294400 4194304 8223781 140737123374288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 26180 24643 593 984 0 25193 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 104720 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16846 /proc/meminfo: memFree=1658464/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=106412 CPUtime=1421.88 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 2103587 0 0 0 140657 1531 0 0 25 0 1 0 9444217 108965888 25019 1992294400 4194304 8223781 140737123374288 18446744073709551615 6590663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 26603 25019 593 984 0 25616 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 106412 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16848 /proc/meminfo: memFree=1658588/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=106616 CPUtime=1481.86 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 2207033 0 0 0 146591 1595 0 0 25 0 1 0 9444217 109174784 25081 1992294400 4194304 8223781 140737123374288 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 26654 25081 593 984 0 25667 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 106616 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16850 /proc/meminfo: memFree=1657720/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=106628 CPUtime=1541.84 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 2335456 0 0 0 152515 1669 0 0 25 0 1 0 9444217 109187072 25145 1992294400 4194304 8223781 140737123374288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 26657 25145 593 984 0 25670 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 106628 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16852 /proc/meminfo: memFree=1656728/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=108020 CPUtime=1601.83 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 2429039 0 0 0 158446 1737 0 0 25 0 1 0 9444217 110612480 25416 1992294400 4194304 8223781 140737123374288 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 27005 25416 593 984 0 26018 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 108020 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16852 /proc/meminfo: memFree=1655984/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=108832 CPUtime=1661.8 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 2511061 0 0 0 164384 1796 0 0 25 0 1 0 9444217 111443968 25631 1992294400 4194304 8223781 140737123374288 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 27208 25631 593 984 0 26221 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 108832 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16854 /proc/meminfo: memFree=1655984/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=108396 CPUtime=1721.79 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 2612033 0 0 0 170314 1865 0 0 25 0 1 0 9444217 110997504 25577 1992294400 4194304 8223781 140737123374288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 27099 25577 593 984 0 26112 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 108396 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16856 /proc/meminfo: memFree=1653876/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=109952 CPUtime=1781.77 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 2709267 0 0 0 176247 1930 0 0 25 0 1 0 9444217 112590848 25975 1992294400 4194304 8223781 140737123374288 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 27488 25975 593 984 0 26501 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 109952 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16856 /proc/meminfo: memFree=1653876/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=109944 CPUtime=1800.09 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 2740495 0 0 0 178058 1951 0 0 25 0 1 0 9444217 112582656 25969 1992294400 4194304 8223781 140737123374288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16798/statm: 27486 25969 593 984 0 26499 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 109944 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16856 /proc/meminfo: memFree=1653876/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=109868 CPUtime=1800.28 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 2740755 0 0 0 178076 1952 0 0 25 0 1 0 9444217 112504832 25953 1992294400 4194304 8223781 140737123374288 18446744073709551615 5957371 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16798/statm: 27467 25953 594 984 0 26480 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 109868 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/106 16856 /proc/meminfo: memFree=1653876/2059040 swapFree=4164960/4192956 [pid=16798] ppid=16796 vsize=106292 CPUtime=1800.38 /proc/16798/stat : 16798 (pbscip.linux.x8) R 16796 16798 16163 0 -1 4202496 2740755 0 0 0 178086 1952 0 0 25 0 1 0 9444217 108843008 25059 1992294400 4194304 8223781 140737123374288 18446744073709551615 6207086 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16798/statm: 26573 25059 594 984 0 25586 0 Current children cumulated CPU time (s) 1800.38 Current children cumulated vsize (KiB) 106292 Child status: 0 Real time (s): 1800.94 CPU time (s): 1800.42 CPU user time (s): 1780.89 CPU system time (s): 19.534 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 111168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.89 system time used= 19.534 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2740759 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 6716 runsolver used 3.04654 second user time and 8.43772 second system time The end
Begin job on node087 at 2010-06-16 11:45:07 IDJOB=2666335 IDBENCH=48353 IDSOLVER=1169 FILE ID=node087/2666335-1276681507 PBS_JOBID= 11172554 Free space on /tmp= 62556 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_4_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-2666335-1276681507/watcher-2666335-1276681507 -o /tmp/evaluation-result-2666335-1276681507/solver-2666335-1276681507 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666335-1276681507.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 83d1e3d1d0816aba7f8b7eb415a5cecb RANDOM SEED=307660296 node087.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.213 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.42 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.213 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1758696 kB Buffers: 64224 kB Cached: 126520 kB SwapCached: 1016 kB Active: 97000 kB Inactive: 126716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1758696 kB SwapTotal: 4192956 kB SwapFree: 4164960 kB Dirty: 4760 kB Writeback: 0 kB AnonPages: 31936 kB Mapped: 14728 kB Slab: 54964 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182520 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= 62548 MiB End job on node087 at 2010-06-16 12:15:10