Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1789.53 | 1790.08 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb |
MD5SUM | d54e874b22823be807136681f90fbed4 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.043993 |
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 | 2400 |
Total number of constraints | 1720 |
Number of constraints which are clauses | 1640 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 40 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 41 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 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-2704209-1278550086.opb> 0.04/0.09 c original problem has 2400 variables (2400 bin, 0 int, 0 impl, 0 cont) and 1720 constraints 0.04/0.09 c problem read 0.04/0.09 c No objective function, only one solution is needed. 0.04/0.09 c presolving settings loaded 0.09/0.14 c presolving: 0.20/0.21 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1720 upgd conss, 0 impls, 80 clqs 0.20/0.24 c presolving (2 rounds): 0.20/0.24 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.20/0.24 c 0 implications, 80 cliques 0.20/0.24 c presolved problem has 2400 variables (2400 bin, 0 int, 0 impl, 0 cont) and 1720 constraints 0.20/0.24 c 80 constraints of type <setppc> 0.20/0.24 c 1640 constraints of type <logicor> 0.20/0.24 c transformed objective value is always integral (scale: 1) 0.20/0.24 c Presolving Time: 0.11 0.20/0.24 c - non default parameters ---------------------------------------------------------------------- 0.20/0.24 c # SCIP version 1.2.1.3 0.20/0.24 c 0.20/0.24 c # frequency for displaying node information lines 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 100] 0.20/0.24 c display/freq = 10000 0.20/0.24 c 0.20/0.24 c # maximal time in seconds to run 0.20/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.20/0.24 c limits/time = 1789.91 0.20/0.24 c 0.20/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.20/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.20/0.24 c limits/memory = 1620 0.20/0.24 c 0.20/0.24 c # solving stops, if the given number of solutions were found (-1: no limit) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: -1] 0.20/0.24 c limits/solutions = 1 0.20/0.24 c 0.20/0.24 c # maximal number of separation rounds per node (-1: unlimited) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 5] 0.20/0.24 c separating/maxrounds = 1 0.20/0.24 c 0.20/0.24 c # maximal number of separation rounds in the root node (-1: unlimited) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: -1] 0.20/0.24 c separating/maxroundsroot = 5 0.20/0.24 c 0.20/0.24 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.20/0.24 c # [type: int, range: [1,2], default: 1] 0.20/0.24 c timing/clocktype = 2 0.20/0.24 c 0.20/0.24 c # should presolving try to simplify inequalities 0.20/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.20/0.24 c constraints/linear/simplifyinequalities = TRUE 0.20/0.24 c 0.20/0.24 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.20/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.20/0.24 c constraints/indicator/addCouplingCons = TRUE 0.20/0.24 c 0.20/0.24 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.20/0.24 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.20/0.24 c constraints/knapsack/disaggregation = FALSE 0.20/0.24 c 0.20/0.24 c # should presolving try to simplify knapsacks 0.20/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.20/0.24 c constraints/knapsack/simplifyinequalities = TRUE 0.20/0.24 c 0.20/0.24 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: -1] 0.20/0.24 c presolving/probing/maxrounds = 0 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 10] 0.20/0.24 c heuristics/coefdiving/freq = -1 0.20/0.24 c 0.20/0.24 c # maximal fraction of diving LP iterations compared to node LP iterations 0.20/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.20/0.24 c heuristics/coefdiving/maxlpiterquot = 0.075 0.20/0.24 c 0.20/0.24 c # additional number of allowed LP iterations 0.20/0.24 c # [type: int, range: [0,2147483647], default: 1000] 0.20/0.24 c heuristics/coefdiving/maxlpiterofs = 1500 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 30] 0.20/0.24 c heuristics/crossover/freq = -1 0.20/0.24 c 0.20/0.24 c # number of nodes added to the contingent of the total nodes 0.20/0.24 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.20/0.24 c heuristics/crossover/nodesofs = 750 0.20/0.24 c 0.20/0.24 c # number of nodes without incumbent change that heuristic should wait 0.20/0.24 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.20/0.24 c heuristics/crossover/nwaitingnodes = 100 0.20/0.24 c 0.20/0.24 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.20/0.24 c # [type: real, range: [0,1], default: 0.1] 0.20/0.24 c heuristics/crossover/nodesquot = 0.15 0.20/0.24 c 0.20/0.24 c # minimum percentage of integer variables that have to be fixed 0.20/0.24 c # [type: real, range: [0,1], default: 0.666] 0.20/0.24 c heuristics/crossover/minfixingrate = 0.5 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 20] 0.20/0.24 c heuristics/feaspump/freq = -1 0.20/0.24 c 0.20/0.24 c # additional number of allowed LP iterations 0.20/0.24 c # [type: int, range: [0,2147483647], default: 1000] 0.20/0.24 c heuristics/feaspump/maxlpiterofs = 2000 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 10] 0.20/0.24 c heuristics/fracdiving/freq = -1 0.20/0.24 c 0.20/0.24 c # maximal fraction of diving LP iterations compared to node LP iterations 0.20/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.20/0.24 c heuristics/fracdiving/maxlpiterquot = 0.075 0.20/0.24 c 0.20/0.24 c # additional number of allowed LP iterations 0.20/0.24 c # [type: int, range: [0,2147483647], default: 1000] 0.20/0.24 c heuristics/fracdiving/maxlpiterofs = 1500 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 10] 0.20/0.24 c heuristics/guideddiving/freq = -1 0.20/0.24 c 0.20/0.24 c # maximal fraction of diving LP iterations compared to node LP iterations 0.20/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.20/0.24 c heuristics/guideddiving/maxlpiterquot = 0.075 0.20/0.24 c 0.20/0.24 c # additional number of allowed LP iterations 0.20/0.24 c # [type: int, range: [0,2147483647], default: 1000] 0.20/0.24 c heuristics/guideddiving/maxlpiterofs = 1500 0.20/0.24 c 0.20/0.24 c # maximal fraction of diving LP iterations compared to node LP iterations 0.20/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.20/0.24 c heuristics/intdiving/maxlpiterquot = 0.075 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 10] 0.20/0.24 c heuristics/intshifting/freq = -1 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 10] 0.20/0.24 c heuristics/linesearchdiving/freq = -1 0.20/0.24 c 0.20/0.24 c # maximal fraction of diving LP iterations compared to node LP iterations 0.20/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.20/0.24 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.20/0.24 c 0.20/0.24 c # additional number of allowed LP iterations 0.20/0.24 c # [type: int, range: [0,2147483647], default: 1000] 0.20/0.24 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 1] 0.20/0.24 c heuristics/nlp/freq = -1 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 20] 0.20/0.24 c heuristics/objpscostdiving/freq = -1 0.20/0.24 c 0.20/0.24 c # maximal fraction of diving LP iterations compared to total iteration number 0.20/0.24 c # [type: real, range: [0,1], default: 0.01] 0.20/0.24 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.20/0.24 c 0.20/0.24 c # additional number of allowed LP iterations 0.20/0.24 c # [type: int, range: [0,2147483647], default: 1000] 0.20/0.24 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 1] 0.20/0.24 c heuristics/oneopt/freq = -1 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 10] 0.20/0.24 c heuristics/pscostdiving/freq = -1 0.20/0.24 c 0.20/0.24 c # maximal fraction of diving LP iterations compared to node LP iterations 0.20/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.20/0.24 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.20/0.24 c 0.20/0.24 c # additional number of allowed LP iterations 0.20/0.24 c # [type: int, range: [0,2147483647], default: 1000] 0.20/0.24 c heuristics/pscostdiving/maxlpiterofs = 1500 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 0] 0.20/0.24 c heuristics/rens/freq = -1 0.20/0.24 c 0.20/0.24 c # minimum percentage of integer variables that have to be fixable 0.20/0.24 c # [type: real, range: [0,1], default: 0.5] 0.20/0.24 c heuristics/rens/minfixingrate = 0.3 0.20/0.24 c 0.20/0.24 c # number of nodes added to the contingent of the total nodes 0.20/0.24 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.20/0.24 c heuristics/rens/nodesofs = 2000 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 20] 0.20/0.24 c heuristics/rootsoldiving/freq = -1 0.20/0.24 c 0.20/0.24 c # maximal fraction of diving LP iterations compared to node LP iterations 0.20/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.20/0.24 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.20/0.24 c 0.20/0.24 c # additional number of allowed LP iterations 0.20/0.24 c # [type: int, range: [0,2147483647], default: 1000] 0.20/0.24 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 1] 0.20/0.24 c heuristics/rounding/freq = -1 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 10] 0.20/0.24 c heuristics/shifting/freq = -1 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 1] 0.20/0.24 c heuristics/simplerounding/freq = -1 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 0] 0.20/0.24 c heuristics/trivial/freq = -1 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 1] 0.20/0.24 c heuristics/trysol/freq = -1 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 10] 0.20/0.24 c heuristics/veclendiving/freq = -1 0.20/0.24 c 0.20/0.24 c # maximal fraction of diving LP iterations compared to node LP iterations 0.20/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.20/0.24 c heuristics/veclendiving/maxlpiterquot = 0.075 0.20/0.24 c 0.20/0.24 c # additional number of allowed LP iterations 0.20/0.24 c # [type: int, range: [0,2147483647], default: 1000] 0.20/0.24 c heuristics/veclendiving/maxlpiterofs = 1500 0.20/0.24 c 0.20/0.24 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 1] 0.20/0.24 c heuristics/zirounding/freq = -1 0.20/0.24 c 0.20/0.24 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 0] 0.20/0.24 c separating/cmir/freq = -1 0.20/0.24 c 0.20/0.24 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: 0] 0.20/0.24 c separating/flowcover/freq = -1 0.20/0.24 c 0.20/0.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.20/0.24 c # [type: int, range: [-1,2147483647], default: -1] 0.20/0.24 c separating/rapidlearning/freq = 0 0.20/0.24 c 0.20/0.24 c ----------------------------------------------------------------------------------------------- 0.20/0.24 c start solving 0.20/0.24 c 0.39/0.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.39/0.43 c 0.3s| 1 | 0 | 826 | - | 10M| 0 | 214 |2400 |1720 |2400 |1720 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.31 c 1.2s| 1 | 0 | 1150 | - | 12M| 0 | 288 |2400 |1720 |2400 |1737 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 1.69/1.75 c 1.7s| 1 | 0 | 1617 | - | 12M| 0 | 400 |2400 |1720 |2400 |1750 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf 2.19/2.29 c 2.2s| 1 | 0 | 2152 | - | 12M| 0 | 422 |2400 |1720 |2400 |1768 | 48 | 0 | 0 | 0.000000e+00 | -- | Inf 2.89/2.92 c 2.8s| 1 | 0 | 2903 | - | 12M| 0 | 417 |2400 |1720 |2400 |1787 | 67 | 0 | 0 | 0.000000e+00 | -- | Inf 3.59/3.67 c 3.6s| 1 | 0 | 3731 | - | 12M| 0 | 469 |2400 |1720 |2400 |1804 | 84 | 0 | 0 | 0.000000e+00 | -- | Inf 4.69/4.76 c 4.7s| 1 | 2 | 3731 | - | 12M| 0 | 469 |2400 |1720 |2400 |1804 | 84 | 0 | 33 | 0.000000e+00 | -- | Inf 175.93/176.05 c 176s| 10000 | 373 |171418 | 16.8 | 20M| 209 | 89 |2400 |7231 |2400 |1755 | 84 | 17k|3132 | 0.000000e+00 | -- | Inf 264.39/264.53 c 264s| 20000 | 369 |290154 | 14.3 | 18M| 209 | - |2400 |5188 | 0 | 0 | 84 | 33k|3782 | 0.000000e+00 | -- | Inf 333.08/333.24 c 333s| 30000 | 371 |374433 | 12.4 | 20M| 209 | 110 |2400 |8565 |2400 |1755 | 84 | 50k|4182 | 0.000000e+00 | -- | Inf 401.85/402.04 c 402s| 40000 | 379 |455716 | 11.3 | 20M| 209 | - |2400 |7803 |2400 |1755 | 84 | 66k|4581 | 0.000000e+00 | -- | Inf 470.13/470.38 c 470s| 50000 | 381 |535196 | 10.6 | 21M| 209 | 106 |2400 |9208 |2400 |1755 | 84 | 83k|4977 | 0.000000e+00 | -- | Inf 546.61/546.87 c 547s| 60000 | 363 |625066 | 10.4 | 19M| 209 | - |2400 |6150 |2400 |1755 | 84 | 100k|5457 | 0.000000e+00 | -- | Inf 627.80/628.01 c 628s| 70000 | 369 |732204 | 10.4 | 20M| 209 | 108 |2400 |7101 |2400 |1755 | 84 | 118k|5864 | 0.000000e+00 | -- | Inf 702.16/702.40 c 702s| 80000 | 382 |835020 | 10.4 | 21M| 209 | - |2400 |8906 |2400 |1755 | 84 | 135k|5898 | 0.000000e+00 | -- | Inf 792.11/792.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 792.11/792.49 c 792s| 90000 | 387 |958522 | 10.6 | 24M| 209 | - |2400 | 12k|2400 |1755 | 84 | 153k|6378 | 0.000000e+00 | -- | Inf 876.69/877.02 c 877s|100000 | 370 | 1071k| 10.7 | 22M| 209 | - |2400 |9854 |2400 |1755 | 84 | 169k|6816 | 0.000000e+00 | -- | Inf 956.88/957.21 c 957s|110000 | 367 | 1175k| 10.7 | 20M| 209 | 118 |2400 |6892 |2400 |1755 | 84 | 186k|7255 | 0.000000e+00 | -- | Inf 1029.85/1030.25 c 1030s|120000 | 368 | 1264k| 10.5 | 21M| 209 | - |2400 |8208 | 0 | 0 | 84 | 202k|7771 | 0.000000e+00 | -- | Inf 1094.24/1094.63 c 1095s|130000 | 367 | 1342k| 10.3 | 21M| 209 | 124 |2400 |8811 |2400 |1755 | 84 | 217k|7902 | 0.000000e+00 | -- | Inf 1163.22/1163.61 c 1164s|140000 | 370 | 1427k| 10.2 | 23M| 209 | 117 |2400 | 11k|2400 |1755 | 84 | 232k|8286 | 0.000000e+00 | -- | Inf 1229.60/1230.04 c 1230s|150000 | 373 | 1504k| 10.0 | 23M| 209 | 125 |2400 | 11k|2400 |1755 | 84 | 248k|8522 | 0.000000e+00 | -- | Inf 1293.58/1294.08 c 1294s|160000 | 365 | 1568k| 9.8 | 24M| 209 | 117 |2400 | 12k|2400 |1755 | 84 | 264k|8831 | 0.000000e+00 | -- | Inf 1361.27/1361.78 c 1362s|170000 | 359 | 1642k| 9.6 | 24M| 209 | - |2400 | 13k| 0 | 0 | 84 | 281k|8953 | 0.000000e+00 | -- | Inf 1449.63/1450.11 c 1450s|180000 | 359 | 1763k| 9.8 | 20M| 209 | - |2400 |7038 | 0 | 0 | 84 | 297k|9510 | 0.000000e+00 | -- | Inf 1523.72/1524.29 c 1524s|190000 | 361 | 1855k| 9.7 | 21M| 209 | 120 |2400 |8941 |2400 |1755 | 84 | 312k|9753 | 0.000000e+00 | -- | Inf 1604.79/1605.31 c 1605s|200000 | 354 | 1963k| 9.8 | 22M| 209 | 120 |2400 |9739 |2400 |1755 | 84 | 325k|9925 | 0.000000e+00 | -- | Inf 1682.97/1683.57 c 1683s|210000 | 366 | 2061k| 9.8 | 22M| 209 | 123 |2400 | 10k|2400 |1755 | 84 | 341k| 10k| 0.000000e+00 | -- | Inf 1761.15/1761.77 c 1762s|220000 | 349 | 2156k| 9.8 | 23M| 209 | 129 |2400 | 10k|2400 |1755 | 84 | 355k| 10k| 0.000000e+00 | -- | Inf 1789.44/1790.01 c 1789.44/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1789.44/1790.01 c Solving Time (sec) : 1789.92 1789.44/1790.01 c Solving Nodes : 223179 1789.44/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.44/1790.01 c Dual Bound : +0.00000000000000e+00 1789.44/1790.01 c Gap : infinite 1789.44/1790.01 s UNKNOWN 1789.44/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1789.44/1790.01 c Solving Time : 1789.92 1789.44/1790.01 c Original Problem : 1789.44/1790.01 c Problem name : HOME/instance-2704209-1278550086.opb 1789.44/1790.01 c Variables : 2400 (2400 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.44/1790.01 c Constraints : 1720 initial, 1720 maximal 1789.44/1790.01 c Presolved Problem : 1789.44/1790.01 c Problem name : t_HOME/instance-2704209-1278550086.opb 1789.44/1790.01 c Variables : 2400 (2400 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.44/1790.01 c Constraints : 1720 initial, 15277 maximal 1789.44/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.44/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0 1789.44/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 1789.44/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.44/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.44/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0 1789.44/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0 1789.44/1790.01 c setppc : 0.00 0 0 0 0 0 0 0 0 1789.44/1790.01 c logicor : 0.04 0 0 0 0 0 0 0 0 1789.44/1790.01 c root node : - 0 - - 0 - - - - 1789.44/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.44/1790.01 c integral : 0 0 0 129066 0 18 179 0 0 257770 1789.44/1790.01 c setppc : 80 5 873010 0 1 63685 4999843 0 0 0 1789.44/1790.01 c logicor : 1640+ 5 448060 0 1 21491 988539 0 0 0 1789.44/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0 1789.44/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.44/1790.01 c integral : 167.73 0.00 0.00 167.73 0.00 1789.44/1790.01 c setppc : 48.84 0.00 48.84 0.00 0.00 1789.44/1790.01 c logicor : 126.00 0.00 126.00 0.00 0.00 1789.44/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.44/1790.01 c Propagators : Time Calls Cutoffs DomReds 1789.44/1790.01 c vbounds : 0.41 1 0 0 1789.44/1790.01 c rootredcost : 0.44 0 0 0 1789.44/1790.01 c pseudoobj : 0.31 0 0 0 1789.44/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.44/1790.01 c propagation : 35.09 85176 85176 1476508 82.0 1268 70.4 - 1789.44/1790.01 c infeasible LP : 217.97 42622 36907 1261311 266.7 749 68.1 0 1789.44/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.44/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.44/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.44/1790.01 c applied globally : - - - 359645 75.3 - - - 1789.44/1790.01 c applied locally : - - - 0 0.0 - - - 1789.44/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.44/1790.01 c cut pool : 0.00 4 - - 1 - (maximal pool size: 232) 1789.44/1790.01 c redcost : 13.68 128947 0 0 0 0 1789.44/1790.01 c impliedbounds : 0.00 5 0 0 0 0 1789.44/1790.01 c intobj : 0.00 0 0 0 0 0 1789.44/1790.01 c cgmip : 0.00 0 0 0 0 0 1789.44/1790.01 c gomory : 0.54 5 0 0 2454 0 1789.44/1790.01 c strongcg : 0.68 5 0 0 2454 0 1789.44/1790.01 c cmir : 0.00 0 0 0 0 0 1789.44/1790.01 c flowcover : 0.00 0 0 0 0 0 1789.44/1790.01 c clique : 0.02 5 0 0 0 0 1789.44/1790.01 c zerohalf : 0.00 0 0 0 0 0 1789.44/1790.01 c mcf : 0.01 1 0 0 0 0 1789.44/1790.01 c rapidlearning : 0.21 1 0 0 0 0 1789.44/1790.01 c Pricers : Time Calls Vars 1789.44/1790.01 c problem variables: 0.00 0 0 1789.44/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.44/1790.01 c relpscost : 167.31 129066 18 179 0 0 257770 1789.44/1790.01 c pscost : 0.00 0 0 0 0 0 0 1789.44/1790.01 c inference : 0.00 1 0 0 0 0 2 1789.44/1790.01 c mostinf : 0.00 0 0 0 0 0 0 1789.44/1790.01 c leastinf : 0.00 0 0 0 0 0 0 1789.44/1790.01 c fullstrong : 0.00 0 0 0 0 0 0 1789.44/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0 1789.44/1790.01 c random : 0.00 0 0 0 0 0 0 1789.44/1790.01 c Primal Heuristics : Time Calls Found 1789.44/1790.01 c LP solutions : 0.00 - 0 1789.44/1790.01 c pseudo solutions : 0.00 - 0 1789.44/1790.01 c trivial : 0.01 1 0 1789.44/1790.01 c simplerounding : 0.00 0 0 1789.44/1790.01 c zirounding : 0.00 0 0 1789.44/1790.01 c rounding : 0.00 0 0 1789.44/1790.01 c shifting : 0.00 0 0 1789.44/1790.01 c intshifting : 0.00 0 0 1789.44/1790.01 c oneopt : 0.00 0 0 1789.44/1790.01 c twoopt : 0.00 0 0 1789.44/1790.01 c fixandinfer : 0.00 0 0 1789.44/1790.01 c feaspump : 0.00 0 0 1789.44/1790.01 c coefdiving : 0.00 0 0 1789.44/1790.01 c pscostdiving : 0.00 0 0 1789.44/1790.01 c fracdiving : 0.00 0 0 1789.44/1790.01 c veclendiving : 0.00 0 0 1789.44/1790.01 c intdiving : 0.00 0 0 1789.44/1790.01 c actconsdiving : 0.00 0 0 1789.44/1790.01 c objpscostdiving : 0.00 0 0 1789.44/1790.01 c rootsoldiving : 0.00 0 0 1789.44/1790.01 c linesearchdiving : 0.00 0 0 1789.44/1790.01 c guideddiving : 0.00 0 0 1789.44/1790.01 c octane : 0.00 0 0 1789.44/1790.01 c rens : 0.00 0 0 1789.44/1790.01 c rins : 0.00 0 0 1789.44/1790.01 c localbranching : 0.00 0 0 1789.44/1790.01 c mutation : 0.00 0 0 1789.44/1790.01 c crossover : 0.00 0 0 1789.44/1790.01 c dins : 0.00 0 0 1789.44/1790.01 c undercover : 0.00 0 0 1789.44/1790.01 c nlp : 0.00 0 0 1789.44/1790.01 c trysol : 0.00 0 0 1789.44/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec 1789.44/1790.01 c primal LP : 0.00 0 0 0.00 - 1789.44/1790.01 c dual LP : 912.06 171593 2192990 12.78 2404.44 1789.44/1790.01 c lex dual LP : 0.00 0 0 0.00 - 1789.44/1790.01 c barrier LP : 0.00 0 0 0.00 - 1789.44/1790.01 c diving/probing LP: 0.00 0 0 0.00 - 1789.44/1790.01 c strong branching : 154.08 10516 328232 31.21 2130.31 1789.44/1790.01 c (at root node) : - 33 1862 56.42 - 1789.44/1790.01 c conflict analysis: 0.00 0 0 0.00 - 1789.44/1790.01 c B&B Tree : 1789.44/1790.01 c number of runs : 1 1789.44/1790.01 c nodes : 223179 1789.44/1790.01 c nodes (total) : 223179 1789.44/1790.01 c nodes left : 362 1789.44/1790.01 c max depth : 209 1789.44/1790.01 c max depth (total): 209 1789.44/1790.01 c backtracks : 50788 (22.8%) 1789.44/1790.01 c delayed cutoffs : 34232 1789.44/1790.01 c repropagations : 256870 (2130280 domain reductions, 33523 cutoffs) 1789.44/1790.01 c avg switch length: 3.96 1789.44/1790.01 c switching time : 93.95 1789.44/1790.01 c Solution : 1789.44/1790.01 c Solutions found : 0 (0 improvements) 1789.44/1790.01 c Primal Bound : - 1789.44/1790.01 c Dual Bound : +0.00000000000000e+00 1789.44/1790.01 c Gap : infinite 1789.44/1790.01 c Root Dual Bound : +0.00000000000000e+00 1789.44/1790.01 c Root Iterations : 3731 1789.44/1790.08 c Time complete: 1789.52.
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-2704209-1278550086/watcher-2704209-1278550086 -o /tmp/evaluation-result-2704209-1278550086/solver-2704209-1278550086 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704209-1278550086.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: 0.98 1.03 0.94 3/106 27624 /proc/meminfo: memFree=1947724/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=7904 CPUtime=0 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 1063 0 0 0 0 0 0 0 18 0 1 0 23215452 8093696 976 1992294400 4194304 8395647 140734289370400 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27624/statm: 1976 983 365 1026 0 946 0 [startup+0.041585 s] /proc/loadavg: 0.98 1.03 0.94 3/106 27624 /proc/meminfo: memFree=1947724/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=12016 CPUtime=0.04 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 2299 0 0 0 3 1 0 0 20 0 1 0 23215452 12304384 2211 1992294400 4194304 8395647 140734289370400 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27624/statm: 3004 2214 390 1026 0 1974 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12016 [startup+0.10159 s] /proc/loadavg: 0.98 1.03 0.94 3/106 27624 /proc/meminfo: memFree=1947724/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=14668 CPUtime=0.09 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 3074 0 0 0 8 1 0 0 20 0 1 0 23215452 15020032 2632 1992294400 4194304 8395647 140734289370400 18446744073709551615 7382127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 3667 2641 405 1026 0 2637 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14668 [startup+0.301607 s] /proc/loadavg: 0.98 1.03 0.94 3/106 27624 /proc/meminfo: memFree=1947724/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=38644 CPUtime=0.3 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 8856 0 0 0 26 4 0 0 20 0 1 0 23215452 39571456 8381 1992294400 4194304 8395647 140734289370400 18446744073709551615 6663849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 9661 8381 553 1026 0 8631 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 38644 [startup+0.701641 s] /proc/loadavg: 0.98 1.03 0.94 3/106 27624 /proc/meminfo: memFree=1947724/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=41316 CPUtime=0.69 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 9709 0 0 0 65 4 0 0 21 0 1 0 23215452 42307584 9234 1992294400 4194304 8395647 140734289370400 18446744073709551615 6168733 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 10329 9234 570 1026 0 9299 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41316 [startup+1.50071 s] /proc/loadavg: 0.98 1.03 0.94 3/107 27625 /proc/meminfo: memFree=1886584/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=67176 CPUtime=1.49 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 17275 0 0 0 141 8 0 0 23 0 1 0 23215452 68788224 15559 1992294400 4194304 8395647 140734289370400 18446744073709551615 6697376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 16794 15559 598 1026 0 15764 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 67176 [startup+3.10085 s] /proc/loadavg: 0.98 1.03 0.94 2/107 27625 /proc/meminfo: memFree=1887452/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=67176 CPUtime=3.09 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 17275 0 0 0 298 11 0 0 25 0 1 0 23215452 68788224 15559 1992294400 4194304 8395647 140734289370400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 16794 15559 598 1026 0 15764 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 67176 [startup+6.30113 s] /proc/loadavg: 0.98 1.03 0.94 2/107 27625 /proc/meminfo: memFree=1887204/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=67176 CPUtime=6.29 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 17277 0 0 0 616 13 0 0 25 0 1 0 23215452 68788224 15561 1992294400 4194304 8395647 140734289370400 18446744073709551615 6723058 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 16794 15561 600 1026 0 15764 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 67176 [startup+12.7007 s] /proc/loadavg: 0.98 1.03 0.94 2/107 27625 /proc/meminfo: memFree=1887204/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=67176 CPUtime=12.69 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 17277 0 0 0 1250 19 0 0 25 0 1 0 23215452 68788224 15561 1992294400 4194304 8395647 140734289370400 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 16794 15561 600 1026 0 15764 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 67176 [startup+25.5018 s] /proc/loadavg: 0.98 1.03 0.94 2/107 27625 /proc/meminfo: memFree=1887204/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=67176 CPUtime=25.48 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 17277 0 0 0 2522 26 0 0 25 0 1 0 23215452 68788224 15561 1992294400 4194304 8395647 140734289370400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 16794 15561 600 1026 0 15764 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 67176 [startup+51.101 s] /proc/loadavg: 0.99 1.03 0.94 2/107 27625 /proc/meminfo: memFree=1887204/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=67176 CPUtime=51.06 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 17277 0 0 0 5061 45 0 0 25 0 1 0 23215452 68788224 15561 1992294400 4194304 8395647 140734289370400 18446744073709551615 6654308 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 16794 15561 600 1026 0 15764 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 67176 [startup+102.309 s] /proc/loadavg: 0.99 1.02 0.94 2/107 27627 /proc/meminfo: memFree=1886836/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=67176 CPUtime=102.24 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 17360 0 0 0 10142 82 0 0 25 0 1 0 23215452 68788224 15644 1992294400 4194304 8395647 140734289370400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 16794 15644 605 1026 0 15764 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 67176 [startup+162.302 s] /proc/loadavg: 0.99 1.02 0.94 2/107 27629 /proc/meminfo: memFree=1886836/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=67176 CPUtime=162.22 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 17362 0 0 0 16094 128 0 0 25 0 1 0 23215452 68788224 15646 1992294400 4194304 8395647 140734289370400 18446744073709551615 6663849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 16794 15646 605 1026 0 15764 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 67176 [startup+222.301 s] /proc/loadavg: 0.99 1.01 0.94 2/107 27631 /proc/meminfo: memFree=1885348/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=68560 CPUtime=222.2 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 17725 0 0 0 22051 169 0 0 25 0 1 0 23215452 70205440 16009 1992294400 4194304 8395647 140734289370400 18446744073709551615 6594373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 17140 16009 605 1026 0 16110 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 68560 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27631 /proc/meminfo: memFree=1884480/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=69572 CPUtime=282.19 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 17949 0 0 0 28008 211 0 0 25 0 1 0 23215452 71241728 16233 1992294400 4194304 8395647 140734289370400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 17393 16233 605 1026 0 16363 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 69572 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27633 /proc/meminfo: memFree=1882992/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=70932 CPUtime=342.17 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 18295 0 0 0 33969 248 0 0 25 0 1 0 23215452 72634368 16579 1992294400 4194304 8395647 140734289370400 18446744073709551615 6470884 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 17733 16579 605 1026 0 16703 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 70932 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27635 /proc/meminfo: memFree=1882248/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=71660 CPUtime=402.15 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 18482 0 0 0 39932 283 0 0 25 0 1 0 23215452 73379840 16766 1992294400 4194304 8395647 140734289370400 18446744073709551615 6003123 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 17915 16766 605 1026 0 16885 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 71660 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27637 /proc/meminfo: memFree=1881380/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=72512 CPUtime=462.14 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 18690 0 0 0 45896 318 0 0 25 0 1 0 23215452 74252288 16974 1992294400 4194304 8395647 140734289370400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 18128 16974 605 1026 0 17098 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 72512 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27639 /proc/meminfo: memFree=1879644/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=74144 CPUtime=522.12 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 19102 0 0 0 51857 355 0 0 25 0 1 0 23215452 75923456 17386 1992294400 4194304 8395647 140734289370400 18446744073709551615 6587074 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 18536 17386 605 1026 0 17506 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 74144 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27639 /proc/meminfo: memFree=1879272/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=74412 CPUtime=582.1 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 19178 0 0 0 57811 399 0 0 25 0 1 0 23215452 76197888 17462 1992294400 4194304 8395647 140734289370400 18446744073709551615 6574281 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 18603 17462 605 1026 0 17573 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 74412 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27641 /proc/meminfo: memFree=1878900/2059040 swapFree=4134040/4192956 [pid=27624] ppid=27622 vsize=74888 CPUtime=642.1 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 19286 0 0 0 63774 436 0 0 25 0 1 0 23215452 76685312 17570 1992294400 4194304 8395647 140734289370400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 18722 17570 605 1026 0 17692 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 74888 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1872164/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=76268 CPUtime=1061.94 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 19634 0 0 0 105484 710 0 0 25 0 1 0 23215452 78098432 17918 1992294400 4194304 8395647 140734289370400 18446744073709551615 6035502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19067 17918 605 1026 0 18037 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 76268 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27664 /proc/meminfo: memFree=1872164/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=76268 CPUtime=1121.92 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 19634 0 0 0 111443 749 0 0 25 0 1 0 23215452 78098432 17918 1992294400 4194304 8395647 140734289370400 18446744073709551615 6023245 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19067 17918 605 1026 0 18037 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 76268 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27664 /proc/meminfo: memFree=1872164/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=76416 CPUtime=1181.91 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 19653 0 0 0 117404 787 0 0 25 0 1 0 23215452 78249984 17937 1992294400 4194304 8395647 140734289370400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19104 17937 605 1026 0 18074 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 76416 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27666 /proc/meminfo: memFree=1872164/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=76416 CPUtime=1241.9 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 19654 0 0 0 123370 820 0 0 25 0 1 0 23215452 78249984 17938 1992294400 4194304 8395647 140734289370400 18446744073709551615 5926474 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19104 17938 605 1026 0 18074 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 76416 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27668 /proc/meminfo: memFree=1872040/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=76416 CPUtime=1301.88 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 19654 0 0 0 129338 850 0 0 25 0 1 0 23215452 78249984 17938 1992294400 4194304 8395647 140734289370400 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19104 17938 605 1026 0 18074 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 76416 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27670 /proc/meminfo: memFree=1870924/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=77604 CPUtime=1361.86 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 19944 0 0 0 135304 882 0 0 25 0 1 0 23215452 79466496 18228 1992294400 4194304 8395647 140734289370400 18446744073709551615 5086861 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19401 18228 605 1026 0 18371 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 77604 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27672 /proc/meminfo: memFree=1870676/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=77736 CPUtime=1421.85 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 20008 0 0 0 141263 922 0 0 25 0 1 0 23215452 79601664 18292 1992294400 4194304 8395647 140734289370400 18446744073709551615 4697166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19434 18292 605 1026 0 18404 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 77736 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27672 /proc/meminfo: memFree=1870552/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=77880 CPUtime=1481.83 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 20041 0 0 0 147224 959 0 0 25 0 1 0 23215452 79749120 18325 1992294400 4194304 8395647 140734289370400 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19470 18325 605 1026 0 18440 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 77880 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27674 /proc/meminfo: memFree=1870552/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=77880 CPUtime=1541.81 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 20051 0 0 0 153188 993 0 0 25 0 1 0 23215452 79749120 18335 1992294400 4194304 8395647 140734289370400 18446744073709551615 6034405 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19470 18335 605 1026 0 18440 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 77880 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27676 /proc/meminfo: memFree=1870552/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=77880 CPUtime=1601.8 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 20052 0 0 0 159148 1032 0 0 25 0 1 0 23215452 79749120 18336 1992294400 4194304 8395647 140734289370400 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19470 18336 605 1026 0 18440 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 77880 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27678 /proc/meminfo: memFree=1870428/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=78020 CPUtime=1661.78 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 20066 0 0 0 165110 1068 0 0 25 0 1 0 23215452 79892480 18350 1992294400 4194304 8395647 140734289370400 18446744073709551615 6723929 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19505 18350 605 1026 0 18475 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 78020 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 27678 /proc/meminfo: memFree=1870304/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=78020 CPUtime=1721.76 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 20071 0 0 0 171073 1103 0 0 25 0 1 0 23215452 79892480 18355 1992294400 4194304 8395647 140734289370400 18446744073709551615 4614375 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19505 18355 605 1026 0 18475 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 78020 [startup+1782.3 s] /proc/loadavg: 1.06 1.02 0.94 2/107 27680 /proc/meminfo: memFree=1870056/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=78196 CPUtime=1781.73 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 20094 0 0 0 177035 1138 0 0 25 0 1 0 23215452 80072704 18378 1992294400 4194304 8395647 140734289370400 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19549 18378 605 1026 0 18519 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 78196 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.05 1.01 0.94 2/107 27680 /proc/meminfo: memFree=1870056/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=78196 CPUtime=1784.94 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 20097 0 0 0 177353 1141 0 0 25 0 1 0 23215452 80072704 18381 1992294400 4194304 8395647 140734289370400 18446744073709551615 6023215 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19549 18381 605 1026 0 18519 0 Current children cumulated CPU time (s) 1784.94 Current children cumulated vsize (KiB) 78196 [startup+1787.1 s] /proc/loadavg: 1.05 1.01 0.94 2/107 27680 /proc/meminfo: memFree=1870056/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=78196 CPUtime=1786.54 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 20100 0 0 0 177513 1141 0 0 25 0 1 0 23215452 80072704 18384 1992294400 4194304 8395647 140734289370400 18446744073709551615 7385355 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19549 18384 605 1026 0 18519 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (KiB) 78196 [startup+1788.7 s] /proc/loadavg: 1.05 1.01 0.94 2/107 27680 /proc/meminfo: memFree=1870056/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=78196 CPUtime=1788.14 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 20100 0 0 0 177672 1142 0 0 25 0 1 0 23215452 80072704 18384 1992294400 4194304 8395647 140734289370400 18446744073709551615 6697045 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19549 18384 605 1026 0 18519 0 Current children cumulated CPU time (s) 1788.14 Current children cumulated vsize (KiB) 78196 [startup+1789.5 s] /proc/loadavg: 1.05 1.01 0.94 2/107 27680 /proc/meminfo: memFree=1870056/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=78196 CPUtime=1788.93 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 20100 0 0 0 177751 1142 0 0 25 0 1 0 23215452 80072704 18384 1992294400 4194304 8395647 140734289370400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19549 18384 605 1026 0 18519 0 Current children cumulated CPU time (s) 1788.93 Current children cumulated vsize (KiB) 78196 [startup+1789.9 s] /proc/loadavg: 1.05 1.01 0.94 2/107 27680 /proc/meminfo: memFree=1870056/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=78196 CPUtime=1789.34 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 20100 0 0 0 177791 1143 0 0 25 0 1 0 23215452 80072704 18384 1992294400 4194304 8395647 140734289370400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19549 18384 605 1026 0 18519 0 Current children cumulated CPU time (s) 1789.34 Current children cumulated vsize (KiB) 78196 [startup+1790 s] /proc/loadavg: 1.05 1.01 0.94 2/107 27680 /proc/meminfo: memFree=1870056/2059040 swapFree=4134048/4192956 [pid=27624] ppid=27622 vsize=78196 CPUtime=1789.44 /proc/27624/stat : 27624 (pbscip.linux.x8) R 27622 27624 27168 0 -1 4202496 20100 0 0 0 177801 1143 0 0 25 0 1 0 23215452 80072704 18384 1992294400 4194304 8395647 140734289370400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27624/statm: 19549 18384 605 1026 0 18519 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (KiB) 78196 Child status: 0 Real time (s): 1790.08 CPU time (s): 1789.53 CPU user time (s): 1778.09 CPU system time (s): 11.4383 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 78196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.09 system time used= 11.4383 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20106 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= 12186 runsolver used 3.01154 second user time and 8.39972 second system time The end
Begin job on node050 at 2010-07-08 02:48:06 IDJOB=2704209 IDBENCH=1416 IDSOLVER=1213 FILE ID=node050/2704209-1278550086 PBS_JOBID= 11239491 Free space on /tmp= 62448 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.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-2704209-1278550086/watcher-2704209-1278550086 -o /tmp/evaluation-result-2704209-1278550086/solver-2704209-1278550086 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704209-1278550086.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d54e874b22823be807136681f90fbed4 RANDOM SEED=1376831095 node050.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1948972 kB Buffers: 480 kB Cached: 30048 kB SwapCached: 5852 kB Active: 25456 kB Inactive: 12820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1948972 kB SwapTotal: 4192956 kB SwapFree: 4134040 kB Dirty: 10668 kB Writeback: 0 kB AnonPages: 7724 kB Mapped: 6464 kB Slab: 49920 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183184 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= 62436 MiB End job on node050 at 2010-07-08 03:17:56