Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1800.05 | 1800.65 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24bt.opb |
MD5SUM | f8964c43535341fcc69e672675167b77 |
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 | 713.924 |
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 | 490 |
Total number of constraints | 1085 |
Number of constraints which are clauses | 738 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 345 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 169 |
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 | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 193 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2667128-1276268929.opb> 0.00/0.03 c original problem has 490 variables (490 bin, 0 int, 0 impl, 0 cont) and 1085 constraints 0.00/0.03 c problem read 0.00/0.03 c No objective function, only one solution is needed. 0.00/0.03 c presolving settings loaded 0.00/0.04 c presolving: 0.00/0.05 c (round 1) 3 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 526 impls, 0 clqs 0.00/0.05 c (round 2) 18 del vars, 22 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 526 impls, 0 clqs 0.00/0.05 c (round 3) 18 del vars, 37 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 526 impls, 0 clqs 0.07/0.09 c (round 4) 18 del vars, 37 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 1048 upgd conss, 526 impls, 0 clqs 0.09/0.12 c (round 5) 24 del vars, 37 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 1048 upgd conss, 17948 impls, 6 clqs 0.09/0.13 c presolving (6 rounds): 0.09/0.13 c 24 deleted vars, 37 deleted constraints, 16 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.13 c 17948 implications, 6 cliques 0.09/0.13 c presolved problem has 466 variables (466 bin, 0 int, 0 impl, 0 cont) and 1048 constraints 0.09/0.13 c 334 constraints of type <knapsack> 0.09/0.13 c 714 constraints of type <logicor> 0.09/0.13 c transformed objective value is always integral (scale: 1) 0.09/0.13 c Presolving Time: 0.08 0.09/0.13 c - non default parameters ---------------------------------------------------------------------- 0.09/0.13 c # SCIP version 1.2.1.2 0.09/0.13 c 0.09/0.13 c # frequency for displaying node information lines 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.13 c display/freq = 10000 0.09/0.13 c 0.09/0.13 c # maximal time in seconds to run 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.13 c limits/time = 1799.98 0.09/0.13 c 0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.13 c limits/memory = 1620 0.09/0.13 c 0.09/0.13 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c limits/solutions = 1 0.09/0.13 c 0.09/0.13 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.13 c separating/maxrounds = 1 0.09/0.13 c 0.09/0.13 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c separating/maxroundsroot = 5 0.09/0.13 c 0.09/0.13 c # should presolving try to simplify inequalities 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/linear/simplifyinequalities = TRUE 0.09/0.13 c 0.09/0.13 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.13 c constraints/knapsack/disaggregation = FALSE 0.09/0.13 c 0.09/0.13 c # should presolving try to simplify knapsacks 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.13 c 0.09/0.13 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c presolving/probing/maxrounds = 0 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/coefdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.13 c heuristics/crossover/freq = -1 0.09/0.13 c 0.09/0.13 c # number of nodes added to the contingent of the total nodes 0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.13 c heuristics/crossover/nodesofs = 750 0.09/0.13 c 0.09/0.13 c # number of nodes without incumbent change that heuristic should wait 0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.13 c heuristics/crossover/nwaitingnodes = 100 0.09/0.13 c 0.09/0.13 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.13 c # [type: real, range: [0,1], default: 0.1] 0.09/0.13 c heuristics/crossover/nodesquot = 0.15 0.09/0.13 c 0.09/0.13 c # minimum percentage of integer variables that have to be fixed 0.09/0.13 c # [type: real, range: [0,1], default: 0.666] 0.09/0.13 c heuristics/crossover/minfixingrate = 0.5 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.13 c heuristics/feaspump/freq = -1 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/fracdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/guideddiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/intshifting/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/linesearchdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/nlp/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.13 c heuristics/objpscostdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.13 c # [type: real, range: [0,1], default: 0.01] 0.09/0.13 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/oneopt/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/pscostdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.13 c heuristics/rens/freq = -1 0.09/0.13 c 0.09/0.13 c # minimum percentage of integer variables that have to be fixable 0.09/0.13 c # [type: real, range: [0,1], default: 0.5] 0.09/0.13 c heuristics/rens/minfixingrate = 0.3 0.09/0.13 c 0.09/0.13 c # number of nodes added to the contingent of the total nodes 0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.13 c heuristics/rens/nodesofs = 2000 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.13 c heuristics/rootsoldiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.13 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/rounding/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/shifting/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/simplerounding/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.13 c heuristics/trivial/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/trysol/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/veclendiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/zirounding/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.13 c separating/cmir/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.13 c separating/flowcover/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c separating/rapidlearning/freq = 0 0.09/0.13 c 0.09/0.13 c ----------------------------------------------------------------------------------------------- 0.09/0.13 c start solving 0.09/0.13 c 0.19/0.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.19/0.22 c 0.2s| 1 | 0 | 677 | - |3468k| 0 | 183 | 466 |1048 | 466 |1042 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.58 c 1.5s| 1 | 0 | 1588 | - |8176k| 0 | 263 | 466 |1083 | 466 |1532 | 490 | 0 | 0 | 0.000000e+00 | -- | Inf 2.59/2.65 c 2.5s| 1 | 0 | 2224 | - | 12M| 0 | 257 | 466 |1083 | 466 |1684 | 642 | 0 | 0 | 0.000000e+00 | -- | Inf 3.70/3.75 c 3.6s| 1 | 0 | 2921 | - | 13M| 0 | 268 | 466 |1083 | 466 |1758 | 716 | 0 | 0 | 0.000000e+00 | -- | Inf 4.69/4.78 c 4.7s| 1 | 0 | 3470 | - | 17M| 0 | 271 | 466 |1083 | 466 |1799 | 757 | 0 | 0 | 0.000000e+00 | -- | Inf 5.69/5.79 c 5.7s| 1 | 0 | 3834 | - | 18M| 0 | 279 | 466 |1083 | 466 |1827 | 785 | 0 | 0 | 0.000000e+00 | -- | Inf 10.39/10.40 c 10.3s| 1 | 2 | 3834 | - | 18M| 0 | 279 | 466 |1083 | 466 |1827 | 785 | 0 | 9 | 0.000000e+00 | -- | Inf 159.37/159.44 c 157s| 10000 | 54 |339888 | 33.6 | 19M| 34 | 58 | 466 |1700 | 466 |1248 | 785 |1099 |1761 | 0.000000e+00 | -- | Inf 269.82/269.94 c 266s| 20000 | 72 |678306 | 33.7 | 19M| 40 | 57 | 466 |2182 | 466 |1248 | 785 |1968 |2457 | 0.000000e+00 | -- | Inf 359.79/359.96 c 354s| 30000 | 62 |986617 | 32.8 | 19M| 42 | 67 | 466 |2365 | 466 |1248 | 785 |2983 |2755 | 0.000000e+00 | -- | Inf 457.26/457.41 c 450s| 40000 | 76 | 1305k| 32.5 | 20M| 42 | 60 | 466 |2640 | 466 |1248 | 785 |4077 |3256 | 0.000000e+00 | -- | Inf 547.83/548.09 c 539s| 50000 | 77 | 1619k| 32.3 | 20M| 45 | - | 466 |3142 | 466 |1248 | 785 |5283 |3588 | 0.000000e+00 | -- | Inf 644.09/644.37 c 633s| 60000 | 73 | 1935k| 32.2 | 20M| 45 | - | 466 |3193 | 466 |1248 | 785 |6541 |4095 | 0.000000e+00 | -- | Inf 747.25/747.56 c 734s| 70000 | 71 | 2286k| 32.6 | 20M| 46 | 59 | 466 |3161 | 466 |1248 | 785 |7838 |4487 | 0.000000e+00 | -- | Inf 864.11/864.41 c 849s| 80000 | 88 | 2629k| 32.8 | 20M| 56 | - | 466 |3169 | 466 |1248 | 785 |8831 |5388 | 0.000000e+00 | -- | Inf 972.08/972.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 972.08/972.41 c 955s| 90000 | 91 | 2990k| 33.2 | 20M| 56 | - | 466 |3455 | 466 |1248 | 785 | 10k|5640 | 0.000000e+00 | -- | Inf 1053.35/1053.79 c 1035s|100000 | 91 | 3276k| 32.7 | 21M| 56 | 89 | 466 |4238 | 466 |1248 | 785 | 11k|5781 | 0.000000e+00 | -- | Inf 1163.51/1163.94 c 1143s|110000 | 97 | 3624k| 32.9 | 21M| 56 | - | 466 |3934 | 0 | 0 | 785 | 13k|6179 | 0.000000e+00 | -- | Inf 1250.58/1251.08 c 1228s|120000 | 94 | 3927k| 32.7 | 21M| 56 | - | 466 |4576 | 0 | 0 | 785 | 14k|6336 | 0.000000e+00 | -- | Inf 1343.04/1343.55 c 1319s|130000 | 104 | 4236k| 32.6 | 21M| 56 | 59 | 466 |4808 | 466 |1248 | 785 | 15k|6583 | 0.000000e+00 | -- | Inf 1436.02/1436.51 c 1410s|140000 | 101 | 4552k| 32.5 | 21M| 56 | 64 | 466 |5043 | 466 |1248 | 785 | 16k|6825 | 0.000000e+00 | -- | Inf 1551.38/1551.99 c 1523s|150000 | 108 | 4921k| 32.8 | 21M| 56 | 59 | 466 |4865 | 466 |1248 | 785 | 17k|7510 | 0.000000e+00 | -- | Inf 1645.84/1646.50 c 1616s|160000 | 106 | 5249k| 32.8 | 21M| 56 | - | 466 |5164 | 0 | 0 | 785 | 19k|7614 | 0.000000e+00 | -- | Inf 1758.71/1759.38 c 1727s|170000 | 113 | 5623k| 33.1 | 21M| 56 | - | 466 |5369 | 0 | 0 | 785 | 20k|7895 | 0.000000e+00 | -- | Inf 1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.01/1800.61 c 1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.01/1800.61 c Solving Time (sec) : 1767.21 1800.01/1800.61 c Solving Nodes : 174445 1800.01/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.01/1800.61 c Dual Bound : +0.00000000000000e+00 1800.01/1800.61 c Gap : infinite 1800.01/1800.61 s UNKNOWN 1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.01/1800.61 c Solving Time : 1767.21 1800.01/1800.61 c Original Problem : 1800.01/1800.61 c Problem name : HOME/instance-2667128-1276268929.opb 1800.01/1800.61 c Variables : 490 (490 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.01/1800.61 c Constraints : 1085 initial, 1085 maximal 1800.01/1800.61 c Presolved Problem : 1800.01/1800.61 c Problem name : t_HOME/instance-2667128-1276268929.opb 1800.01/1800.61 c Variables : 466 (466 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.01/1800.61 c Constraints : 1048 initial, 5635 maximal 1800.01/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.01/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.61 c implics : 0.00 0 8 0 0 0 0 0 0 1800.01/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.61 c knapsack : 0.03 0 0 0 0 0 0 0 0 1800.01/1800.61 c linear : 0.03 16 0 0 16 0 37 0 0 1800.01/1800.61 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.01/1800.61 c root node : - 1 - - 1 - - - - 1800.01/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.01/1800.61 c integral : 0 0 0 88859 0 117 1039 0 0 176146 1800.01/1800.61 c knapsack : 334 5 599422 0 0 34535 2054786 623 0 0 1800.01/1800.61 c linear : 0+ 5 285123 0 0 51 3002 0 0 0 1800.01/1800.62 c logicor : 714+ 5 481336 0 0 9323 1040184 0 0 0 1800.01/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.01/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.01/1800.62 c integral : 174.43 0.00 0.00 174.43 0.00 1800.01/1800.62 c knapsack : 34.65 0.06 34.59 0.00 0.00 1800.01/1800.62 c linear : 0.56 0.00 0.56 0.00 0.00 1800.01/1800.62 c logicor : 26.69 0.00 26.69 0.00 0.00 1800.01/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.01/1800.62 c Propagators : Time Calls Cutoffs DomReds 1800.01/1800.62 c vbounds : 0.33 1 0 0 1800.01/1800.62 c rootredcost : 0.54 0 0 0 1800.01/1800.62 c pseudoobj : 0.35 0 0 0 1800.01/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.01/1800.62 c propagation : 8.95 15186 14790 153477 100.4 302 23.1 - 1800.01/1800.62 c infeasible LP : 20.74 43855 0 0 0.0 0 0.0 0 1800.01/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.01/1800.62 c applied globally : - - - 21226 21.3 - - - 1800.01/1800.62 c applied locally : - - - 46 133.9 - - - 1800.01/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.01/1800.62 c cut pool : 0.00 4 - - 35 - (maximal pool size: 2279) 1800.01/1800.62 c redcost : 1.45 88387 0 0 0 0 1800.01/1800.62 c impliedbounds : 0.01 5 0 0 1407 0 1800.01/1800.62 c intobj : 0.00 0 0 0 0 0 1800.01/1800.62 c cgmip : 0.00 0 0 0 0 0 1800.01/1800.62 c gomory : 1.72 5 0 0 61 0 1800.01/1800.62 c strongcg : 1.31 5 0 0 1815 0 1800.01/1800.62 c cmir : 0.00 0 0 0 0 0 1800.01/1800.62 c flowcover : 0.00 0 0 0 0 0 1800.01/1800.62 c clique : 0.02 5 0 0 5 0 1800.01/1800.62 c zerohalf : 0.00 0 0 0 0 0 1800.01/1800.62 c mcf : 0.00 1 0 0 0 0 1800.01/1800.62 c rapidlearning : 0.29 1 0 0 0 35 1800.01/1800.62 c Pricers : Time Calls Vars 1800.01/1800.62 c problem variables: 0.00 0 0 1800.01/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.01/1800.62 c relpscost : 174.26 88859 117 1039 0 0 176146 1800.01/1800.62 c pscost : 0.00 0 0 0 0 0 0 1800.01/1800.62 c inference : 0.00 0 0 0 0 0 0 1800.01/1800.62 c mostinf : 0.00 0 0 0 0 0 0 1800.01/1800.62 c leastinf : 0.00 0 0 0 0 0 0 1800.01/1800.62 c fullstrong : 0.00 0 0 0 0 0 0 1800.01/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0 1800.01/1800.62 c random : 0.00 0 0 0 0 0 0 1800.01/1800.62 c Primal Heuristics : Time Calls Found 1800.01/1800.62 c LP solutions : 0.00 - 0 1800.01/1800.62 c pseudo solutions : 0.00 - 0 1800.01/1800.62 c trivial : 0.00 1 0 1800.01/1800.62 c simplerounding : 0.00 0 0 1800.01/1800.62 c zirounding : 0.00 0 0 1800.01/1800.62 c rounding : 0.00 0 0 1800.01/1800.62 c shifting : 0.00 0 0 1800.01/1800.62 c intshifting : 0.00 0 0 1800.01/1800.62 c oneopt : 0.00 0 0 1800.01/1800.62 c twoopt : 0.00 0 0 1800.01/1800.62 c fixandinfer : 0.00 0 0 1800.01/1800.62 c feaspump : 0.00 0 0 1800.01/1800.62 c coefdiving : 0.00 0 0 1800.01/1800.62 c pscostdiving : 0.00 0 0 1800.01/1800.62 c fracdiving : 0.00 0 0 1800.01/1800.62 c veclendiving : 0.00 0 0 1800.01/1800.62 c intdiving : 0.00 0 0 1800.01/1800.62 c actconsdiving : 0.00 0 0 1800.01/1800.62 c objpscostdiving : 0.00 0 0 1800.01/1800.62 c rootsoldiving : 0.00 0 0 1800.01/1800.62 c linesearchdiving : 0.00 0 0 1800.01/1800.62 c guideddiving : 0.00 0 0 1800.01/1800.62 c octane : 0.00 0 0 1800.01/1800.62 c rens : 0.00 0 0 1800.01/1800.62 c rins : 0.00 0 0 1800.01/1800.62 c localbranching : 0.00 0 0 1800.01/1800.62 c mutation : 0.00 0 0 1800.01/1800.62 c crossover : 0.00 0 0 1800.01/1800.62 c dins : 0.00 0 0 1800.01/1800.62 c undercover : 0.00 0 0 1800.01/1800.62 c nlp : 0.00 0 0 1800.01/1800.62 c trysol : 0.00 0 0 1800.01/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec 1800.01/1800.62 c primal LP : 0.00 0 0 0.00 - 1800.01/1800.62 c dual LP : 1418.56 132673 5765870 43.46 4064.59 1800.01/1800.62 c lex dual LP : 0.00 0 0 0.00 - 1800.01/1800.62 c barrier LP : 0.00 0 0 0.00 - 1800.01/1800.62 c diving/probing LP: 0.00 0 0 0.00 - 1800.01/1800.62 c strong branching : 169.36 7956 564387 70.94 3332.47 1800.01/1800.62 c (at root node) : - 9 7414 823.78 - 1800.01/1800.62 c conflict analysis: 0.00 0 0 0.00 - 1800.01/1800.62 c B&B Tree : 1800.01/1800.62 c number of runs : 1 1800.01/1800.62 c nodes : 174445 1800.01/1800.62 c nodes (total) : 174445 1800.01/1800.62 c nodes left : 122 1800.01/1800.62 c max depth : 56 1800.01/1800.62 c max depth (total): 56 1800.01/1800.62 c backtracks : 27577 (15.8%) 1800.01/1800.62 c delayed cutoffs : 1580 1800.01/1800.62 c repropagations : 20641 (122625 domain reductions, 1509 cutoffs) 1800.01/1800.62 c avg switch length: 2.77 1800.01/1800.62 c switching time : 26.67 1800.01/1800.62 c Solution : 1800.01/1800.62 c Solutions found : 0 (0 improvements) 1800.01/1800.62 c Primal Bound : - 1800.01/1800.62 c Dual Bound : +0.00000000000000e+00 1800.01/1800.62 c Gap : infinite 1800.01/1800.62 c Root Dual Bound : +0.00000000000000e+00 1800.01/1800.62 c Root Iterations : 3834 1800.01/1800.64 c Time complete: 1800.04.
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-2667128-1276268929/watcher-2667128-1276268929 -o /tmp/evaluation-result-2667128-1276268929/solver-2667128-1276268929 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667128-1276268929.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.97 1.00 0.98 3/106 3148 /proc/meminfo: memFree=1739648/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=7724 CPUtime=0 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 1122 0 0 0 0 0 0 0 20 0 1 0 549194 7909376 1042 1992294400 4194304 8223781 140736377677344 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3148/statm: 1931 1053 348 984 0 944 0 [startup+0.079162 s] /proc/loadavg: 0.97 1.00 0.98 3/106 3148 /proc/meminfo: memFree=1739648/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=15276 CPUtime=0.07 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 3999 0 0 0 6 1 0 0 20 0 1 0 549194 15642624 2784 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 3819 2784 454 984 0 2832 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 15276 [startup+0.101163 s] /proc/loadavg: 0.97 1.00 0.98 3/106 3148 /proc/meminfo: memFree=1739648/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=15408 CPUtime=0.09 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 4312 0 0 0 8 1 0 0 20 0 1 0 549194 15777792 2840 1992294400 4194304 8223781 140736377677344 18446744073709551615 5968642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 3852 2840 462 984 0 2865 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15408 [startup+0.301172 s] /proc/loadavg: 0.97 1.00 0.98 3/106 3148 /proc/meminfo: memFree=1739648/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=19720 CPUtime=0.29 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 6587 0 0 0 27 2 0 0 20 0 1 0 549194 20193280 4056 1992294400 4194304 8223781 140736377677344 18446744073709551615 4310609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 4930 4056 557 984 0 3943 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19720 [startup+0.701189 s] /proc/loadavg: 0.97 1.00 0.98 3/106 3148 /proc/meminfo: memFree=1739648/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=37296 CPUtime=0.69 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 11419 0 0 0 65 4 0 0 20 0 1 0 549194 38191104 8107 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 9324 8107 572 984 0 8337 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37296 [startup+1.50123 s] /proc/loadavg: 0.97 1.00 0.98 2/107 3149 /proc/meminfo: memFree=1712732/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=32092 CPUtime=1.49 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 12768 0 0 0 143 6 0 0 23 0 1 0 549194 32862208 7161 1992294400 4194304 8223781 140736377677344 18446744073709551615 6250735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 8023 7161 587 984 0 7036 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32092 [startup+3.1013 s] /proc/loadavg: 0.97 1.00 0.98 2/107 3149 /proc/meminfo: memFree=1712484/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=33572 CPUtime=3.09 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 13138 0 0 0 302 7 0 0 25 0 1 0 549194 34377728 7531 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 8393 7531 587 984 0 7406 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33572 [startup+6.30144 s] /proc/loadavg: 0.98 1.00 0.98 2/107 3149 /proc/meminfo: memFree=1705044/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=41060 CPUtime=6.29 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 15376 0 0 0 619 10 0 0 25 0 1 0 549194 42045440 9341 1992294400 4194304 8223781 140736377677344 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10265 9341 588 984 0 9278 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41060 [startup+12.7017 s] /proc/loadavg: 0.98 1.00 0.98 2/107 3149 /proc/meminfo: memFree=1703680/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=40740 CPUtime=12.69 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 16287 0 0 0 1255 14 0 0 25 0 1 0 549194 41717760 9300 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10185 9300 588 984 0 9198 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40740 [startup+25.5003 s] /proc/loadavg: 0.98 1.00 0.98 2/107 3149 /proc/meminfo: memFree=1703680/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=40740 CPUtime=25.49 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 16983 0 0 0 2525 24 0 0 25 0 1 0 549194 41717760 9300 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10185 9300 588 984 0 9198 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40740 [startup+51.1005 s] /proc/loadavg: 0.99 1.00 0.98 2/107 3149 /proc/meminfo: memFree=1703680/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=40740 CPUtime=51.08 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 17560 0 0 0 5055 53 0 0 25 0 1 0 549194 41717760 9302 1992294400 4194304 8223781 140736377677344 18446744073709551615 6502686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10185 9302 590 984 0 9198 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40740 [startup+102.308 s] /proc/loadavg: 0.99 1.00 0.98 2/107 3151 /proc/meminfo: memFree=1702812/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=41768 CPUtime=102.28 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 18546 0 0 0 10097 131 0 0 25 0 1 0 549194 42770432 9589 1992294400 4194304 8223781 140736377677344 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10442 9589 591 984 0 9455 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 41768 [startup+162.3 s] /proc/loadavg: 0.99 1.00 0.98 2/107 3153 /proc/meminfo: memFree=1702688/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=41768 CPUtime=162.26 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 18997 0 0 0 16009 217 0 0 25 0 1 0 549194 42770432 9589 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10442 9589 591 984 0 9455 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 41768 [startup+222.301 s] /proc/loadavg: 1.05 1.01 0.99 2/107 3155 /proc/meminfo: memFree=1702440/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=41776 CPUtime=222.24 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 22028 0 0 0 21921 303 0 0 25 0 1 0 549194 42778624 9592 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10444 9592 591 984 0 9457 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 41776 [startup+282.301 s] /proc/loadavg: 1.02 1.01 0.99 2/107 3155 /proc/meminfo: memFree=1702316/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=41776 CPUtime=282.22 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 27084 0 0 0 27828 394 0 0 25 0 1 0 549194 42778624 9592 1992294400 4194304 8223781 140736377677344 18446744073709551615 6599029 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10483 9593 591 984 0 9496 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 41776 [startup+342.301 s] /proc/loadavg: 1.05 1.02 1.00 2/107 3157 /proc/meminfo: memFree=1702316/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=41776 CPUtime=342.2 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 41647 0 0 0 33720 500 0 0 25 0 1 0 549194 42778624 9592 1992294400 4194304 8223781 140736377677344 18446744073709551615 6569929 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10444 9592 591 984 0 9457 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 41776 [startup+402.301 s] /proc/loadavg: 1.06 1.03 1.00 2/107 3159 /proc/meminfo: memFree=1702192/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=42012 CPUtime=402.18 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 97015 0 0 0 39598 620 0 0 25 0 1 0 549194 43020288 9641 1992294400 4194304 8223781 140736377677344 18446744073709551615 6435816 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10503 9641 591 984 0 9516 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 42012 [startup+462.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 3161 /proc/meminfo: memFree=1702068/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=41900 CPUtime=462.16 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 152145 0 0 0 45470 746 0 0 25 0 1 0 549194 42905600 9623 1992294400 4194304 8223781 140736377677344 18446744073709551615 6571436 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10475 9623 591 984 0 9488 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 41900 [startup+522.301 s] /proc/loadavg: 1.06 1.04 1.00 2/107 3161 /proc/meminfo: memFree=1701696/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=42564 CPUtime=522.14 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 182108 0 0 0 51350 864 0 0 25 0 1 0 549194 43585536 9788 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10641 9788 591 984 0 9654 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 42564 [startup+582.302 s] /proc/loadavg: 1.05 1.04 1.00 2/107 3170 /proc/meminfo: memFree=1700580/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=42604 CPUtime=582.12 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 206196 0 0 0 57235 977 0 0 25 0 1 0 549194 43626496 9796 1992294400 4194304 8223781 140736377677344 18446744073709551615 6569642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10651 9796 591 984 0 9664 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 42604 [startup+642.301 s] /proc/loadavg: 1.13 1.07 1.01 2/107 3179 /proc/meminfo: memFree=1700332/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=43088 CPUtime=642.09 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 233982 0 0 0 63115 1094 0 0 25 0 1 0 549194 44122112 9918 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10772 9918 591 984 0 9785 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 43088 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 1.10 1.07 1.00 2/107 3183 /proc/meminfo: memFree=1699836/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=43308 CPUtime=822.03 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 373595 0 0 0 80756 1447 0 0 25 0 1 0 549194 44347392 9943 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10827 9943 591 984 0 9840 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 43308 [startup+882.302 s] /proc/loadavg: 1.17 1.08 1.01 2/107 3185 /proc/meminfo: memFree=1699836/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=43760 CPUtime=882 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 424664 0 0 0 86640 1560 0 0 25 0 1 0 549194 44810240 10019 1992294400 4194304 8223781 140736377677344 18446744073709551615 6562664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10940 10019 591 984 0 9953 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 43760 [startup+942.301 s] /proc/loadavg: 1.30 1.15 1.04 2/107 3187 /proc/meminfo: memFree=1699588/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=43524 CPUtime=941.99 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 461054 0 0 0 92532 1667 0 0 25 0 1 0 549194 44568576 10027 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10881 10027 591 984 0 9894 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 43524 [startup+1002.3 s] /proc/loadavg: 1.16 1.14 1.03 2/107 3189 /proc/meminfo: memFree=1699588/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=43708 CPUtime=1001.97 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 504160 0 0 0 98414 1783 0 0 25 0 1 0 549194 44756992 10059 1992294400 4194304 8223781 140736377677344 18446744073709551615 6569642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 10927 10059 591 984 0 9940 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 43708 [startup+1062.3 s] /proc/loadavg: 1.10 1.12 1.03 2/107 3191 /proc/meminfo: memFree=1698968/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=44496 CPUtime=1061.94 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 549048 0 0 0 104287 1907 0 0 25 0 1 0 549194 45563904 10242 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11124 10242 591 984 0 10137 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 44496 [startup+1122.3 s] /proc/loadavg: 1.08 1.11 1.03 2/107 3191 /proc/meminfo: memFree=1698720/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=44356 CPUtime=1121.92 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 595065 0 0 0 110172 2020 0 0 25 0 1 0 549194 45420544 10235 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11089 10235 591 984 0 10102 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 44356 [startup+1182.3 s] /proc/loadavg: 1.06 1.10 1.03 2/107 3193 /proc/meminfo: memFree=1698720/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=44356 CPUtime=1181.9 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 633280 0 0 0 116062 2128 0 0 25 0 1 0 549194 45420544 10235 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11089 10235 591 984 0 10102 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 44356 [startup+1242.3 s] /proc/loadavg: 1.43 1.20 1.07 2/107 3195 /proc/meminfo: memFree=1698720/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=44792 CPUtime=1241.88 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 662658 0 0 0 121947 2241 0 0 25 0 1 0 549194 45867008 10313 1992294400 4194304 8223781 140736377677344 18446744073709551615 6536502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11198 10313 591 984 0 10211 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 44792 [startup+1302.3 s] /proc/loadavg: 1.27 1.19 1.08 2/107 3197 /proc/meminfo: memFree=1698472/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=44896 CPUtime=1301.86 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 694173 0 0 0 127830 2356 0 0 25 0 1 0 549194 45973504 10337 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11224 10337 591 984 0 10237 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 44896 [startup+1362.3 s] /proc/loadavg: 1.10 1.16 1.07 2/107 3199 /proc/meminfo: memFree=1698224/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=44596 CPUtime=1361.84 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 736837 0 0 0 133711 2473 0 0 25 0 1 0 549194 45666304 10295 1992294400 4194304 8223781 140736377677344 18446744073709551615 6570060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11149 10295 591 984 0 10162 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 44596 [startup+1422.31 s] /proc/loadavg: 1.03 1.12 1.06 2/107 3201 /proc/meminfo: memFree=1698224/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=45020 CPUtime=1421.82 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 780294 0 0 0 139585 2597 0 0 25 0 1 0 549194 46100480 10344 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11255 10344 591 984 0 10268 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 45020 [startup+1482.3 s] /proc/loadavg: 1.01 1.10 1.06 2/107 3201 /proc/meminfo: memFree=1698100/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=44968 CPUtime=1481.8 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 829292 0 0 0 145467 2713 0 0 25 0 1 0 549194 46047232 10351 1992294400 4194304 8223781 140736377677344 18446744073709551615 6559825 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11242 10351 597 984 0 10255 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 44968 [startup+1542.3 s] /proc/loadavg: 1.00 1.08 1.05 2/107 3203 /proc/meminfo: memFree=1698100/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=44944 CPUtime=1541.78 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 877757 0 0 0 151350 2828 0 0 25 0 1 0 549194 46022656 10363 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11236 10363 591 984 0 10249 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 44944 [startup+1602.3 s] /proc/loadavg: 1.00 1.06 1.05 2/107 3205 /proc/meminfo: memFree=1698100/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=44864 CPUtime=1601.76 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 895216 0 0 0 157238 2938 0 0 25 0 1 0 549194 45940736 10362 1992294400 4194304 8223781 140736377677344 18446744073709551615 6569367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11216 10362 591 984 0 10229 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 44864 [startup+1662.3 s] /proc/loadavg: 1.00 1.05 1.04 2/107 3207 /proc/meminfo: memFree=1697976/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=45044 CPUtime=1661.73 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 903170 0 0 0 163145 3028 0 0 25 0 1 0 549194 46125056 10407 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11261 10407 591 984 0 10274 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 45044 [startup+1722.3 s] /proc/loadavg: 1.00 1.04 1.03 2/107 3207 /proc/meminfo: memFree=1697356/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=45300 CPUtime=1721.72 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 927528 0 0 0 169043 3129 0 0 25 0 1 0 549194 46387200 10471 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11325 10471 591 984 0 10338 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 45300 [startup+1782.3 s] /proc/loadavg: 1.06 1.04 1.03 2/107 3212 /proc/meminfo: memFree=1696736/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=45384 CPUtime=1781.69 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 954892 0 0 0 174928 3241 0 0 25 0 1 0 549194 46473216 10492 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11346 10492 591 984 0 10359 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 45384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.04 1.04 1.03 2/107 3214 /proc/meminfo: memFree=1696736/2059040 swapFree=4192956/4192956 [pid=3148] ppid=3146 vsize=45300 CPUtime=1800.01 /proc/3148/stat : 3148 (pbscip.linux.x8) R 3146 3148 2317 0 -1 4202496 967133 0 0 0 176723 3278 0 0 25 0 1 0 549194 46387200 10471 1992294400 4194304 8223781 140736377677344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3148/statm: 11325 10471 591 984 0 10338 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 45300 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.65 CPU time (s): 1800.05 CPU user time (s): 1767.26 CPU system time (s): 32.786 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 46628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1767.26 system time used= 32.786 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 967158 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= 6 involuntary context switches= 4831 runsolver used 2.89356 second user time and 8.59669 second system time The end
Begin job on node019 at 2010-06-11 17:08:49 IDJOB=2667128 IDBENCH=1160 IDSOLVER=1169 FILE ID=node019/2667128-1276268929 PBS_JOBID= 11172193 Free space on /tmp= 62356 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24bt.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-2667128-1276268929/watcher-2667128-1276268929 -o /tmp/evaluation-result-2667128-1276268929/solver-2667128-1276268929 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667128-1276268929.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f8964c43535341fcc69e672675167b77 RANDOM SEED=172164134 node019.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.264 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.52 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.264 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1740176 kB Buffers: 29340 kB Cached: 165644 kB SwapCached: 0 kB Active: 104284 kB Inactive: 149776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1740176 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4596 kB Writeback: 0 kB AnonPages: 59076 kB Mapped: 15388 kB Slab: 43196 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178532 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= 62352 MiB End job on node019 at 2010-06-11 17:38:51