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) | 1801.24 | 1801.77 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_80.opb |
MD5SUM | 611c10fb20bc9774d31ac4d0681f384d |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31412 |
Sum of products size (including duplicates) | 62824 |
Number of different products | 15706 |
Sum of products size | 31412 |
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-2666277-1276676396.opb> 0.19/0.24 c original problem has 16706 variables (16706 bin, 0 int, 0 impl, 0 cont) and 17208 constraints 0.19/0.24 c problem read 0.19/0.25 c No objective function, only one solution is needed. 0.19/0.25 c presolving settings loaded 0.39/0.46 c presolving: 0.99/1.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 126648 impls, 1000 clqs 1.39/1.42 c presolving (2 rounds): 1.39/1.42 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 1.39/1.42 c 126648 implications, 1000 cliques 1.39/1.42 c presolved problem has 16706 variables (16706 bin, 0 int, 0 impl, 0 cont) and 17208 constraints 1.39/1.42 c 1 constraints of type <knapsack> 1.39/1.42 c 1000 constraints of type <setppc> 1.39/1.42 c 15706 constraints of type <and> 1.39/1.42 c 1 constraints of type <linear> 1.39/1.42 c 500 constraints of type <logicor> 1.39/1.42 c transformed objective value is always integral (scale: 1) 1.39/1.42 c Presolving Time: 0.83 1.39/1.42 c - non default parameters ---------------------------------------------------------------------- 1.39/1.42 c # SCIP version 1.2.1.2 1.39/1.42 c 1.39/1.42 c # frequency for displaying node information lines 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 100] 1.39/1.42 c display/freq = 10000 1.39/1.42 c 1.39/1.42 c # maximal time in seconds to run 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.39/1.42 c limits/time = 1799.76 1.39/1.42 c 1.39/1.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.39/1.42 c limits/memory = 1620 1.39/1.42 c 1.39/1.42 c # solving stops, if the given number of solutions were found (-1: no limit) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.42 c limits/solutions = 1 1.39/1.42 c 1.39/1.42 c # maximal number of separation rounds per node (-1: unlimited) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 5] 1.39/1.42 c separating/maxrounds = 1 1.39/1.42 c 1.39/1.42 c # maximal number of separation rounds in the root node (-1: unlimited) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.42 c separating/maxroundsroot = 5 1.39/1.42 c 1.39/1.42 c # should presolving try to simplify inequalities 1.39/1.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.39/1.42 c constraints/linear/simplifyinequalities = TRUE 1.39/1.42 c 1.39/1.42 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.39/1.42 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.39/1.42 c constraints/knapsack/disaggregation = FALSE 1.39/1.42 c 1.39/1.42 c # should presolving try to simplify knapsacks 1.39/1.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.39/1.42 c constraints/knapsack/simplifyinequalities = TRUE 1.39/1.42 c 1.39/1.42 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.42 c presolving/probing/maxrounds = 0 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/coefdiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/coefdiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/coefdiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 30] 1.39/1.42 c heuristics/crossover/freq = -1 1.39/1.42 c 1.39/1.42 c # number of nodes added to the contingent of the total nodes 1.39/1.42 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.39/1.42 c heuristics/crossover/nodesofs = 750 1.39/1.42 c 1.39/1.42 c # number of nodes without incumbent change that heuristic should wait 1.39/1.42 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.39/1.42 c heuristics/crossover/nwaitingnodes = 100 1.39/1.42 c 1.39/1.42 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.39/1.42 c # [type: real, range: [0,1], default: 0.1] 1.39/1.42 c heuristics/crossover/nodesquot = 0.15 1.39/1.42 c 1.39/1.42 c # minimum percentage of integer variables that have to be fixed 1.39/1.42 c # [type: real, range: [0,1], default: 0.666] 1.39/1.42 c heuristics/crossover/minfixingrate = 0.5 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.42 c heuristics/feaspump/freq = -1 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/feaspump/maxlpiterofs = 2000 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/fracdiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/fracdiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/fracdiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/guideddiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/guideddiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/guideddiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/intdiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/intshifting/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/linesearchdiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/linesearchdiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/linesearchdiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.42 c heuristics/nlp/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.42 c heuristics/objpscostdiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to total iteration number 1.39/1.42 c # [type: real, range: [0,1], default: 0.01] 1.39/1.42 c heuristics/objpscostdiving/maxlpiterquot = 0.015 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/objpscostdiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.42 c heuristics/oneopt/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/pscostdiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/pscostdiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/pscostdiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.42 c heuristics/rens/freq = -1 1.39/1.42 c 1.39/1.42 c # minimum percentage of integer variables that have to be fixable 1.39/1.42 c # [type: real, range: [0,1], default: 0.5] 1.39/1.42 c heuristics/rens/minfixingrate = 0.3 1.39/1.42 c 1.39/1.42 c # number of nodes added to the contingent of the total nodes 1.39/1.42 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.39/1.42 c heuristics/rens/nodesofs = 2000 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.42 c heuristics/rootsoldiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.39/1.42 c heuristics/rootsoldiving/maxlpiterquot = 0.015 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/rootsoldiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.42 c heuristics/rounding/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/shifting/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.42 c heuristics/simplerounding/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.42 c heuristics/trivial/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.42 c heuristics/trysol/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.42 c heuristics/veclendiving/freq = -1 1.39/1.42 c 1.39/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.42 c heuristics/veclendiving/maxlpiterquot = 0.075 1.39/1.42 c 1.39/1.42 c # additional number of allowed LP iterations 1.39/1.42 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.42 c heuristics/veclendiving/maxlpiterofs = 1500 1.39/1.42 c 1.39/1.42 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.42 c heuristics/zirounding/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.42 c separating/cmir/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.42 c separating/flowcover/freq = -1 1.39/1.42 c 1.39/1.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.39/1.42 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.42 c separating/rapidlearning/freq = 0 1.39/1.42 c 1.39/1.42 c ----------------------------------------------------------------------------------------------- 1.39/1.42 c start solving 1.39/1.44 c 13.49/13.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 13.49/13.59 c 12.9s| 1 | 0 | 2411 | - | 75M| 0 |1381 | 16k| 17k| 16k| 32k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 198.73/198.81 c 190s| 1 | 0 | 2501 | - | 77M| 0 |1370 | 16k| 17k| 16k| 32k| 37 | 0 | 0 | 0.000000e+00 | -- | Inf 381.67/381.86 c 364s| 1 | 0 | 2576 | - | 77M| 0 |1362 | 16k| 17k| 16k| 32k| 46 | 0 | 0 | 0.000000e+00 | -- | Inf 566.83/567.05 c 541s| 1 | 0 | 2651 | - | 79M| 0 |1358 | 16k| 17k| 16k| 32k| 54 | 0 | 0 | 0.000000e+00 | -- | Inf 752.57/752.82 c 718s| 1 | 0 | 2756 | - | 81M| 0 |1353 | 16k| 17k| 16k| 32k| 62 | 0 | 0 | 0.000000e+00 | -- | Inf 943.92/944.29 c 901s| 1 | 0 | 2831 | - | 83M| 0 |1345 | 16k| 17k| 16k| 32k| 68 | 0 | 0 | 0.000000e+00 | -- | Inf 1079.19/1079.59 c 1035s| 1 | 2 | 2831 | - | 83M| 0 |1345 | 16k| 17k| 16k| 32k| 68 | 0 | 32 | 0.000000e+00 | -- | Inf 1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.86/1801.46 c 1800.86/1801.46 c SCIP Status : solving was interrupted [user interrupt] 1800.86/1801.46 c Solving Time (sec) : 1749.12 1800.86/1801.46 c Solving Nodes : 194 1800.86/1801.46 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.86/1801.46 c Dual Bound : +0.00000000000000e+00 1800.86/1801.46 c Gap : infinite 1800.86/1801.46 s UNKNOWN 1800.86/1801.46 c SCIP Status : solving was interrupted [user interrupt] 1800.86/1801.46 c Solving Time : 1749.12 1800.86/1801.46 c Original Problem : 1800.86/1801.46 c Problem name : HOME/instance-2666277-1276676396.opb 1800.86/1801.46 c Variables : 16706 (16706 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.86/1801.46 c Constraints : 17208 initial, 17208 maximal 1800.86/1801.46 c Presolved Problem : 1800.86/1801.46 c Problem name : t_HOME/instance-2666277-1276676396.opb 1800.86/1801.46 c Variables : 16706 (16706 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.86/1801.46 c Constraints : 17208 initial, 17208 maximal 1800.86/1801.46 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.86/1801.46 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.86/1801.46 c dualfix : 0.01 0 0 0 0 0 0 0 0 1800.86/1801.46 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.86/1801.46 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.86/1801.46 c implics : 0.00 0 0 0 0 0 0 0 0 1800.86/1801.46 c probing : 0.00 0 0 0 0 0 0 0 0 1800.86/1801.46 c knapsack : 0.04 0 0 0 0 0 0 0 0 1800.86/1801.46 c setppc : 0.03 0 0 0 0 0 0 0 0 1800.86/1801.46 c and : 0.47 0 0 0 0 0 0 0 0 1800.86/1801.46 c linear : 0.13 0 0 0 0 0 0 0 0 1800.86/1801.46 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.86/1801.46 c root node : - 0 - - 0 - - - - 1800.86/1801.46 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.86/1801.46 c integral : 0 0 0 194 0 0 0 0 0 388 1800.86/1801.46 c knapsack : 1 5 462 0 0 0 0 0 0 0 1800.86/1801.46 c setppc : 1000 5 462 0 0 0 1178 0 0 0 1800.86/1801.46 c and : 15706 198 462 0 0 0 40915 52143 0 0 1800.86/1801.46 c linear : 1 5 462 0 0 0 0 0 0 0 1800.86/1801.46 c logicor : 500 5 132 0 0 0 70 0 0 0 1800.86/1801.46 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.86/1801.46 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.86/1801.46 c integral : 510.48 0.00 0.00 510.48 0.00 1800.86/1801.46 c knapsack : 0.89 0.86 0.03 0.00 0.00 1800.86/1801.46 c setppc : 0.01 0.00 0.01 0.00 0.00 1800.86/1801.46 c and : 2.93 2.29 0.64 0.00 0.00 1800.86/1801.46 c linear : 0.11 0.00 0.11 0.00 0.00 1800.86/1801.46 c logicor : 0.00 0.00 0.00 0.00 0.00 1800.86/1801.46 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.86/1801.46 c Propagators : Time Calls Cutoffs DomReds 1800.86/1801.46 c vbounds : 0.00 1 0 0 1800.86/1801.46 c rootredcost : 0.00 0 0 0 1800.86/1801.46 c pseudoobj : 0.00 0 0 0 1800.86/1801.46 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.86/1801.46 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1800.86/1801.46 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.86/1801.46 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.86/1801.46 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.86/1801.46 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.86/1801.46 c applied globally : - - - 0 0.0 - - - 1800.86/1801.46 c applied locally : - - - 0 0.0 - - - 1800.86/1801.46 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.86/1801.46 c cut pool : 0.00 4 - - 0 - (maximal pool size: 292) 1800.86/1801.46 c redcost : 0.40 198 0 0 0 0 1800.86/1801.46 c impliedbounds : 0.04 5 0 0 48 0 1800.86/1801.46 c intobj : 0.00 0 0 0 0 0 1800.86/1801.46 c cgmip : 0.00 0 0 0 0 0 1800.86/1801.46 c gomory : 269.72 5 0 0 0 0 1800.86/1801.46 c strongcg : 610.12 5 0 0 681 0 1800.86/1801.46 c cmir : 0.00 0 0 0 0 0 1800.86/1801.46 c flowcover : 0.00 0 0 0 0 0 1800.86/1801.46 c clique : 0.68 5 0 0 34 0 1800.86/1801.46 c zerohalf : 0.00 0 0 0 0 0 1800.86/1801.46 c mcf : 3.52 3 0 0 30 0 1800.86/1801.46 c rapidlearning : 0.00 0 0 0 0 0 1800.86/1801.46 c Pricers : Time Calls Vars 1800.86/1801.46 c problem variables: 0.00 0 0 1800.86/1801.46 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.86/1801.46 c relpscost : 510.48 194 0 0 0 0 388 1800.86/1801.46 c pscost : 0.00 0 0 0 0 0 0 1800.86/1801.46 c inference : 0.00 0 0 0 0 0 0 1800.86/1801.46 c mostinf : 0.00 0 0 0 0 0 0 1800.86/1801.46 c leastinf : 0.00 0 0 0 0 0 0 1800.86/1801.46 c fullstrong : 0.00 0 0 0 0 0 0 1800.86/1801.46 c allfullstrong : 0.00 0 0 0 0 0 0 1800.86/1801.46 c random : 0.00 0 0 0 0 0 0 1800.86/1801.46 c Primal Heuristics : Time Calls Found 1800.86/1801.46 c LP solutions : 0.00 - 0 1800.86/1801.46 c pseudo solutions : 0.00 - 0 1800.86/1801.46 c trivial : 0.03 1 0 1800.86/1801.46 c simplerounding : 0.00 0 0 1800.86/1801.46 c zirounding : 0.00 0 0 1800.86/1801.46 c rounding : 0.00 0 0 1800.86/1801.46 c shifting : 0.00 0 0 1800.86/1801.46 c intshifting : 0.00 0 0 1800.86/1801.46 c oneopt : 0.00 0 0 1800.86/1801.46 c twoopt : 0.00 0 0 1800.86/1801.46 c fixandinfer : 0.00 0 0 1800.86/1801.46 c feaspump : 0.00 0 0 1800.86/1801.46 c coefdiving : 0.00 0 0 1800.86/1801.46 c pscostdiving : 0.00 0 0 1800.86/1801.46 c fracdiving : 0.00 0 0 1800.86/1801.46 c veclendiving : 0.00 0 0 1800.86/1801.46 c intdiving : 0.00 0 0 1800.86/1801.46 c actconsdiving : 0.00 0 0 1800.86/1801.46 c objpscostdiving : 0.00 0 0 1800.86/1801.46 c rootsoldiving : 0.00 0 0 1800.86/1801.46 c linesearchdiving : 0.00 0 0 1800.86/1801.46 c guideddiving : 0.00 0 0 1800.86/1801.46 c octane : 0.00 0 0 1800.86/1801.46 c rens : 0.00 0 0 1800.86/1801.46 c rins : 0.00 0 0 1800.86/1801.46 c localbranching : 0.00 0 0 1800.86/1801.46 c mutation : 0.00 0 0 1800.86/1801.46 c crossover : 0.00 0 0 1800.86/1801.46 c dins : 0.00 0 0 1800.86/1801.46 c undercover : 0.00 0 0 1800.86/1801.46 c nlp : 0.00 0 0 1800.86/1801.46 c trysol : 0.00 0 0 1800.86/1801.46 c LP : Time Calls Iterations Iter/call Iter/sec 1800.86/1801.46 c primal LP : 5.06 0 0 0.00 0.00 1800.86/1801.46 c dual LP : 338.40 392 147458 376.17 435.75 1800.86/1801.46 c lex dual LP : 0.00 0 0 0.00 - 1800.86/1801.46 c barrier LP : 0.00 0 0 0.00 - 1800.86/1801.46 c diving/probing LP: 0.00 0 0 0.00 - 1800.86/1801.46 c strong branching : 510.27 340 191177 562.29 374.66 1800.86/1801.46 c (at root node) : - 32 16751 523.47 - 1800.86/1801.46 c conflict analysis: 0.00 0 0 0.00 - 1800.86/1801.46 c B&B Tree : 1800.86/1801.46 c number of runs : 1 1800.86/1801.46 c nodes : 194 1800.86/1801.46 c nodes (total) : 194 1800.86/1801.46 c nodes left : 195 1800.86/1801.46 c max depth : 21 1800.86/1801.46 c max depth (total): 21 1800.86/1801.46 c backtracks : 50 (25.8%) 1800.86/1801.46 c delayed cutoffs : 0 1800.86/1801.46 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1800.86/1801.46 c avg switch length: 3.90 1800.86/1801.46 c switching time : 5.96 1800.86/1801.46 c Solution : 1800.86/1801.46 c Solutions found : 0 (0 improvements) 1800.86/1801.46 c Primal Bound : - 1800.86/1801.46 c Dual Bound : +0.00000000000000e+00 1800.86/1801.46 c Gap : infinite 1800.86/1801.46 c Root Dual Bound : +0.00000000000000e+00 1800.86/1801.46 c Root Iterations : 2831 1801.16/1801.76 c Time complete: 1801.23.
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-2666277-1276676396/watcher-2666277-1276676396 -o /tmp/evaluation-result-2666277-1276676396/solver-2666277-1276676396 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666277-1276676396.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 15207 /proc/meminfo: memFree=1751228/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=7872 CPUtime=0 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 1004 0 0 0 0 0 0 0 18 0 1 0 8931094 8060928 924 1992294400 4194304 8223781 140733991706112 18446744073709551615 7236399 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15207/statm: 1968 935 348 984 0 981 0 [startup+0.0488601 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15207 /proc/meminfo: memFree=1751228/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=15288 CPUtime=0.04 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 3088 0 0 0 3 1 0 0 20 0 1 0 8931094 15654912 3008 1992294400 4194304 8223781 140733991706112 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15207/statm: 3822 3008 364 984 0 2835 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15288 [startup+0.100865 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15207 /proc/meminfo: memFree=1751228/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=19068 CPUtime=0.09 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 4039 0 0 0 8 1 0 0 20 0 1 0 8931094 19525632 3959 1992294400 4194304 8223781 140733991706112 18446744073709551615 7189714 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15207/statm: 4767 3959 364 984 0 3780 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19068 [startup+0.300882 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15207 /proc/meminfo: memFree=1751228/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=44220 CPUtime=0.29 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 10648 0 0 0 26 3 0 0 20 0 1 0 8931094 45281280 10204 1992294400 4194304 8223781 140733991706112 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 11055 10217 382 984 0 10068 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 44220 [startup+0.700918 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15207 /proc/meminfo: memFree=1751228/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=62092 CPUtime=0.69 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 15258 0 0 0 61 8 0 0 21 0 1 0 8931094 63582208 14461 1992294400 4194304 8223781 140733991706112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 15523 14461 426 984 0 14536 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 62092 [startup+1.50099 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15208 /proc/meminfo: memFree=1688848/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=81560 CPUtime=1.49 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 22371 0 0 0 121 28 0 0 23 0 1 0 8931094 83517440 19251 1992294400 4194304 8223781 140733991706112 18446744073709551615 6025238 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 20390 19251 516 984 0 19403 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 81560 [startup+3.10113 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15208 /proc/meminfo: memFree=1631064/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=131216 CPUtime=3.09 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 38072 0 0 0 275 34 0 0 25 0 1 0 8931094 134365184 30606 1992294400 4194304 8223781 140733991706112 18446744073709551615 6588463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 32804 30606 551 984 0 31817 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 131216 [startup+6.30042 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15208 /proc/meminfo: memFree=1627964/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=133864 CPUtime=6.28 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 40909 0 0 0 593 35 0 0 25 0 1 0 8931094 137076736 31209 1992294400 4194304 8223781 140733991706112 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 33466 31209 555 984 0 32479 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 133864 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15208 /proc/meminfo: memFree=1626848/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=135892 CPUtime=12.69 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 43965 0 0 0 1231 38 0 0 25 0 1 0 8931094 139153408 31481 1992294400 4194304 8223781 140733991706112 18446744073709551615 6571368 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 33973 31481 555 984 0 32986 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 135892 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15208 /proc/meminfo: memFree=1626972/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=135412 CPUtime=25.48 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 260412 0 0 0 2421 127 0 0 25 0 1 0 8931094 138661888 31274 1992294400 4194304 8223781 140733991706112 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 33853 31274 571 984 0 32866 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 135412 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15208 /proc/meminfo: memFree=1626972/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=135412 CPUtime=51.08 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 728217 0 0 0 4793 315 0 0 25 0 1 0 8931094 138661888 31274 1992294400 4194304 8223781 140733991706112 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 33853 31274 571 984 0 32866 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 135412 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15210 /proc/meminfo: memFree=1626352/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=136780 CPUtime=102.27 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 1361163 0 0 0 9653 574 0 0 25 0 1 0 8931094 140062720 31504 1992294400 4194304 8223781 140733991706112 18446744073709551615 6054126 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 34195 31504 569 984 0 33208 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 136780 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15212 /proc/meminfo: memFree=1623252/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=139848 CPUtime=162.23 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 1868891 0 0 0 15446 777 0 0 25 0 1 0 8931094 143204352 32232 1992294400 4194304 8223781 140733991706112 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 34962 32232 569 984 0 33975 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 139848 [startup+222.301 s] /proc/loadavg: 1.10 1.03 1.00 2/107 15214 /proc/meminfo: memFree=1618416/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=145852 CPUtime=222.22 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 2600910 0 0 0 21146 1076 0 0 25 0 1 0 8931094 149352448 33461 1992294400 4194304 8223781 140733991706112 18446744073709551615 6043599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 36463 33461 598 984 0 35476 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 145852 [startup+282.301 s] /proc/loadavg: 1.11 1.04 1.00 2/107 15214 /proc/meminfo: memFree=1618416/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=145852 CPUtime=282.2 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 3453385 0 0 0 26806 1414 0 0 25 0 1 0 8931094 149352448 33461 1992294400 4194304 8223781 140733991706112 18446744073709551615 6056782 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 36463 33461 598 984 0 35476 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 145852 [startup+342.302 s] /proc/loadavg: 1.10 1.04 1.00 2/107 15216 /proc/meminfo: memFree=1618416/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=146112 CPUtime=342.19 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 3966625 0 0 0 32606 1613 0 0 25 0 1 0 8931094 149618688 33526 1992294400 4194304 8223781 140733991706112 18446744073709551615 6299978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 36528 33526 598 984 0 35541 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 146112 [startup+402.301 s] /proc/loadavg: 1.10 1.05 1.00 2/107 15218 /proc/meminfo: memFree=1617672/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=146524 CPUtime=402.17 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 4659906 0 0 0 38329 1888 0 0 25 0 1 0 8931094 150040576 33641 1992294400 4194304 8223781 140733991706112 18446744073709551615 6044097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 36631 33641 584 984 0 35644 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 146524 [startup+462.301 s] /proc/loadavg: 1.03 1.04 1.00 3/107 15220 /proc/meminfo: memFree=1617548/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=146524 CPUtime=462.15 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 5535066 0 0 0 43970 2245 0 0 25 0 1 0 8931094 150040576 33641 1992294400 4194304 8223781 140733991706112 18446744073709551615 6054167 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 36631 33641 584 984 0 35644 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 146524 [startup+522.301 s] /proc/loadavg: 1.01 1.03 1.00 2/107 15222 /proc/meminfo: memFree=1616184/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=148128 CPUtime=522.14 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 6039546 0 0 0 49769 2445 0 0 25 0 1 0 8931094 151683072 33981 1992294400 4194304 8223781 140733991706112 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 37032 33981 584 984 0 36045 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 148128 [startup+582.301 s] /proc/loadavg: 1.05 1.03 1.00 2/107 15222 /proc/meminfo: memFree=1614696/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=150480 CPUtime=582.13 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 6689310 0 0 0 55506 2707 0 0 25 0 1 0 8931094 154091520 34331 1992294400 4194304 8223781 140733991706112 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 37620 34331 584 984 0 36633 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 150480 [startup+642.301 s] /proc/loadavg: 1.02 1.03 1.00 2/107 15224 /proc/meminfo: memFree=1614696/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=150740 CPUtime=642.11 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 7617515 0 0 0 61125 3086 0 0 25 0 1 0 8931094 154357760 34401 1992294400 4194304 8223781 140733991706112 18446744073709551615 6299558 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 37685 34401 584 984 0 36698 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 150740 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15237 /proc/meminfo: memFree=1606388/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=159420 CPUtime=1002 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 10752954 0 0 0 95845 4355 0 0 25 0 1 0 8931094 163246080 36398 1992294400 4194304 8223781 140733991706112 18446744073709551615 6448531 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 39855 36398 587 984 0 38868 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 159420 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15239 /proc/meminfo: memFree=1604652/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=159428 CPUtime=1061.99 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 10854863 0 0 0 101784 4415 0 0 25 0 1 0 8931094 163254272 36315 1992294400 4194304 8223781 140733991706112 18446744073709551615 6614298 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 39857 36315 587 984 0 38870 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 159428 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15241 /proc/meminfo: memFree=1611100/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=153372 CPUtime=1121.97 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 10920480 0 0 0 107730 4467 0 0 25 0 1 0 8931094 157052928 35355 1992294400 4194304 8223781 140733991706112 18446744073709551615 6358924 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 38343 35355 589 984 0 37356 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 153372 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15241 /proc/meminfo: memFree=1611100/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=152220 CPUtime=1181.95 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 10984618 0 0 0 113672 4523 0 0 25 0 1 0 8931094 155873280 35045 1992294400 4194304 8223781 140733991706112 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 38055 35045 589 984 0 37068 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 152220 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15243 /proc/meminfo: memFree=1610108/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=153304 CPUtime=1241.94 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11049489 0 0 0 119612 4582 0 0 25 0 1 0 8931094 156983296 35298 1992294400 4194304 8223781 140733991706112 18446744073709551615 6562660 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 38326 35298 591 984 0 37339 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 153304 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15245 /proc/meminfo: memFree=1610356/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=153244 CPUtime=1301.92 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11115844 0 0 0 125555 4637 0 0 25 0 1 0 8931094 156921856 35322 1992294400 4194304 8223781 140733991706112 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 38311 35322 589 984 0 37324 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 153244 [startup+1362.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 15247 /proc/meminfo: memFree=1606264/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=157856 CPUtime=1361.9 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11189360 0 0 0 131494 4696 0 0 25 0 1 0 8931094 161644544 36286 1992294400 4194304 8223781 140733991706112 18446744073709551615 6614966 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 39464 36286 590 984 0 38477 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 157856 [startup+1422.31 s] /proc/loadavg: 1.03 1.01 1.00 2/107 15249 /proc/meminfo: memFree=1605520/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=158020 CPUtime=1421.89 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11254459 0 0 0 137438 4751 0 0 25 0 1 0 8931094 161812480 36462 1992294400 4194304 8223781 140733991706112 18446744073709551615 6570073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 39505 36462 590 984 0 38518 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 158020 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 15249 /proc/meminfo: memFree=1605272/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=158244 CPUtime=1481.86 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11322169 0 0 0 143379 4807 0 0 25 0 1 0 8931094 162041856 36535 1992294400 4194304 8223781 140733991706112 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 39561 36535 590 984 0 38574 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 158244 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15251 /proc/meminfo: memFree=1605644/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=158688 CPUtime=1541.85 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11395855 0 0 0 149314 4871 0 0 25 0 1 0 8931094 162496512 36640 1992294400 4194304 8223781 140733991706112 18446744073709551615 6559790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 39672 36640 590 984 0 38685 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 158688 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15253 /proc/meminfo: memFree=1605148/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=159056 CPUtime=1601.83 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11474046 0 0 0 155252 4931 0 0 25 0 1 0 8931094 162873344 36767 1992294400 4194304 8223781 140733991706112 18446744073709551615 6536494 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 39764 36767 592 984 0 38777 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 159056 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15255 /proc/meminfo: memFree=1604032/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=159340 CPUtime=1661.8 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11564806 0 0 0 161179 5001 0 0 25 0 1 0 8931094 163164160 36851 1992294400 4194304 8223781 140733991706112 18446744073709551615 6567536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 39835 36851 590 984 0 38848 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 159340 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15257 /proc/meminfo: memFree=1602544/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=160796 CPUtime=1721.78 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11665762 0 0 0 167105 5073 0 0 25 0 1 0 8931094 164655104 37137 1992294400 4194304 8223781 140733991706112 18446744073709551615 6614978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 40199 37137 590 984 0 39212 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 160796 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15257 /proc/meminfo: memFree=1603164/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=160768 CPUtime=1781.77 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11754217 0 0 0 173038 5139 0 0 25 0 1 0 8931094 164626432 37078 1992294400 4194304 8223781 140733991706112 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 40192 37078 590 984 0 39205 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 160768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15259 /proc/meminfo: memFree=1602296/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=160820 CPUtime=1800.07 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11775718 0 0 0 174852 5155 0 0 25 0 1 0 8931094 164679680 37234 1992294400 4194304 8223781 140733991706112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 40205 37234 590 984 0 39218 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 160820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15259 /proc/meminfo: memFree=1602296/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=162112 CPUtime=1800.86 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11776299 0 0 0 174929 5157 0 0 25 0 1 0 8931094 166002688 37477 1992294400 4194304 8223781 140733991706112 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15207/statm: 40528 37477 590 984 0 39541 0 Current children cumulated CPU time (s) 1800.86 Current children cumulated vsize (KiB) 162112 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15259 /proc/meminfo: memFree=1602296/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=159336 CPUtime=1801.06 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11776730 0 0 0 174949 5157 0 0 25 0 1 0 8931094 163160064 36942 1992294400 4194304 8223781 140733991706112 18446744073709551615 6028175 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15207/statm: 39834 36942 591 984 0 38847 0 Current children cumulated CPU time (s) 1801.06 Current children cumulated vsize (KiB) 159336 [startup+1801.7 s] /proc/loadavg: 1.00 1.00 1.00 3/108 15260 /proc/meminfo: memFree=1628328/2059040 swapFree=4164932/4192956 [pid=15207] ppid=15205 vsize=131056 CPUtime=1801.16 /proc/15207/stat : 15207 (pbscip.linux.x8) R 15205 15207 14919 0 -1 4202496 11776730 0 0 0 174959 5157 0 0 25 0 1 0 8931094 134201344 29882 1992294400 4194304 8223781 140733991706112 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15207/statm: 32764 29882 591 984 0 31777 0 Current children cumulated CPU time (s) 1801.16 Current children cumulated vsize (KiB) 131056 Child status: 0 Real time (s): 1801.77 CPU time (s): 1801.24 CPU user time (s): 1749.64 CPU system time (s): 51.5952 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 165700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1749.64 system time used= 51.5952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11776738 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 15844 runsolver used 3.05553 second user time and 8.43572 second system time The end
Begin job on node051 at 2010-06-16 10:19:56 IDJOB=2666277 IDBENCH=48295 IDSOLVER=1169 FILE ID=node051/2666277-1276676396 PBS_JOBID= 11172534 Free space on /tmp= 62564 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_500_25_5_80.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-2666277-1276676396/watcher-2666277-1276676396 -o /tmp/evaluation-result-2666277-1276676396/solver-2666277-1276676396 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666277-1276676396.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 611c10fb20bc9774d31ac4d0681f384d RANDOM SEED=916178492 node051.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.255 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.51 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.255 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1751756 kB Buffers: 62088 kB Cached: 134156 kB SwapCached: 1444 kB Active: 96628 kB Inactive: 132536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1751756 kB SwapTotal: 4192956 kB SwapFree: 4164932 kB Dirty: 4888 kB Writeback: 0 kB AnonPages: 31316 kB Mapped: 14916 kB Slab: 56364 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182908 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= 62560 MiB End job on node051 at 2010-06-16 10:49:59