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.37 | 1800.91 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb |
MD5SUM | ec41e051a85a6b1d97ef15d7e169228d |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.563914 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3249 |
Total number of constraints | 8983 |
Number of constraints which are clauses | 8599 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 384 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
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 | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
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-2667428-1276337718.opb> 0.09/0.17 c original problem has 3249 variables (3249 bin, 0 int, 0 impl, 0 cont) and 8983 constraints 0.09/0.17 c problem read 0.09/0.17 c No objective function, only one solution is needed. 0.09/0.17 c presolving settings loaded 0.19/0.22 c presolving: 0.29/0.38 c (round 1) 253 del vars, 139 del conss, 48 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156722 impls, 0 clqs 0.39/0.40 c (round 2) 255 del vars, 559 del conss, 50 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156722 impls, 0 clqs 0.39/0.41 c (round 3) 257 del vars, 564 del conss, 52 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156872 impls, 0 clqs 0.39/0.42 c (round 4) 259 del vars, 569 del conss, 55 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156911 impls, 0 clqs 0.39/0.43 c (round 5) 261 del vars, 576 del conss, 56 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156986 impls, 0 clqs 0.39/0.45 c (round 6) 263 del vars, 581 del conss, 56 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 157052 impls, 0 clqs 0.39/0.45 c (round 7) 263 del vars, 583 del conss, 56 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 157052 impls, 0 clqs 0.49/0.57 c (round 8) 263 del vars, 583 del conss, 56 chg bounds, 192 chg sides, 402 chg coeffs, 8400 upgd conss, 157052 impls, 0 clqs 0.59/0.60 c presolving (9 rounds): 0.59/0.60 c 263 deleted vars, 583 deleted constraints, 56 tightened bounds, 0 added holes, 192 changed sides, 402 changed coefficients 0.59/0.60 c 157052 implications, 0 cliques 0.59/0.60 c presolved problem has 2986 variables (2986 bin, 0 int, 0 impl, 0 cont) and 8400 constraints 0.59/0.60 c 384 constraints of type <knapsack> 0.59/0.60 c 8016 constraints of type <logicor> 0.59/0.60 c transformed objective value is always integral (scale: 1) 0.59/0.60 c Presolving Time: 0.33 0.59/0.60 c - non default parameters ---------------------------------------------------------------------- 0.59/0.60 c # SCIP version 1.2.1.2 0.59/0.60 c 0.59/0.60 c # frequency for displaying node information lines 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 100] 0.59/0.60 c display/freq = 10000 0.59/0.60 c 0.59/0.60 c # maximal time in seconds to run 0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.59/0.60 c limits/time = 1799.84 0.59/0.60 c 0.59/0.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.59/0.60 c limits/memory = 1620 0.59/0.60 c 0.59/0.60 c # solving stops, if the given number of solutions were found (-1: no limit) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.60 c limits/solutions = 1 0.59/0.60 c 0.59/0.60 c # maximal number of separation rounds per node (-1: unlimited) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 5] 0.59/0.60 c separating/maxrounds = 1 0.59/0.60 c 0.59/0.60 c # maximal number of separation rounds in the root node (-1: unlimited) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.60 c separating/maxroundsroot = 5 0.59/0.60 c 0.59/0.60 c # should presolving try to simplify inequalities 0.59/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.59/0.60 c constraints/linear/simplifyinequalities = TRUE 0.59/0.60 c 0.59/0.60 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.59/0.60 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.59/0.60 c constraints/knapsack/disaggregation = FALSE 0.59/0.60 c 0.59/0.60 c # should presolving try to simplify knapsacks 0.59/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.59/0.60 c constraints/knapsack/simplifyinequalities = TRUE 0.59/0.60 c 0.59/0.60 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.60 c presolving/probing/maxrounds = 0 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.60 c heuristics/coefdiving/freq = -1 0.59/0.60 c 0.59/0.60 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.60 c heuristics/coefdiving/maxlpiterquot = 0.075 0.59/0.60 c 0.59/0.60 c # additional number of allowed LP iterations 0.59/0.60 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.60 c heuristics/coefdiving/maxlpiterofs = 1500 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 30] 0.59/0.60 c heuristics/crossover/freq = -1 0.59/0.60 c 0.59/0.60 c # number of nodes added to the contingent of the total nodes 0.59/0.60 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.59/0.60 c heuristics/crossover/nodesofs = 750 0.59/0.60 c 0.59/0.60 c # number of nodes without incumbent change that heuristic should wait 0.59/0.60 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.59/0.60 c heuristics/crossover/nwaitingnodes = 100 0.59/0.60 c 0.59/0.60 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.59/0.60 c # [type: real, range: [0,1], default: 0.1] 0.59/0.60 c heuristics/crossover/nodesquot = 0.15 0.59/0.60 c 0.59/0.60 c # minimum percentage of integer variables that have to be fixed 0.59/0.60 c # [type: real, range: [0,1], default: 0.666] 0.59/0.60 c heuristics/crossover/minfixingrate = 0.5 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 20] 0.59/0.60 c heuristics/feaspump/freq = -1 0.59/0.60 c 0.59/0.60 c # additional number of allowed LP iterations 0.59/0.60 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.60 c heuristics/feaspump/maxlpiterofs = 2000 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.60 c heuristics/fracdiving/freq = -1 0.59/0.60 c 0.59/0.60 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.60 c heuristics/fracdiving/maxlpiterquot = 0.075 0.59/0.60 c 0.59/0.60 c # additional number of allowed LP iterations 0.59/0.60 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.60 c heuristics/fracdiving/maxlpiterofs = 1500 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.60 c heuristics/guideddiving/freq = -1 0.59/0.60 c 0.59/0.60 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.60 c heuristics/guideddiving/maxlpiterquot = 0.075 0.59/0.60 c 0.59/0.60 c # additional number of allowed LP iterations 0.59/0.60 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.60 c heuristics/guideddiving/maxlpiterofs = 1500 0.59/0.60 c 0.59/0.60 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.60 c heuristics/intdiving/maxlpiterquot = 0.075 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.60 c heuristics/intshifting/freq = -1 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.60 c heuristics/linesearchdiving/freq = -1 0.59/0.60 c 0.59/0.60 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.60 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.59/0.60 c 0.59/0.60 c # additional number of allowed LP iterations 0.59/0.60 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.60 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.60 c heuristics/nlp/freq = -1 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 20] 0.59/0.60 c heuristics/objpscostdiving/freq = -1 0.59/0.60 c 0.59/0.60 c # maximal fraction of diving LP iterations compared to total iteration number 0.59/0.60 c # [type: real, range: [0,1], default: 0.01] 0.59/0.60 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.59/0.60 c 0.59/0.60 c # additional number of allowed LP iterations 0.59/0.60 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.60 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.60 c heuristics/oneopt/freq = -1 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.60 c heuristics/pscostdiving/freq = -1 0.59/0.60 c 0.59/0.60 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.60 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.59/0.60 c 0.59/0.60 c # additional number of allowed LP iterations 0.59/0.60 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.60 c heuristics/pscostdiving/maxlpiterofs = 1500 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.60 c heuristics/rens/freq = -1 0.59/0.60 c 0.59/0.60 c # minimum percentage of integer variables that have to be fixable 0.59/0.60 c # [type: real, range: [0,1], default: 0.5] 0.59/0.60 c heuristics/rens/minfixingrate = 0.3 0.59/0.60 c 0.59/0.60 c # number of nodes added to the contingent of the total nodes 0.59/0.60 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.59/0.60 c heuristics/rens/nodesofs = 2000 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 20] 0.59/0.60 c heuristics/rootsoldiving/freq = -1 0.59/0.60 c 0.59/0.60 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.59/0.60 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.59/0.60 c 0.59/0.60 c # additional number of allowed LP iterations 0.59/0.60 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.60 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.60 c heuristics/rounding/freq = -1 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.60 c heuristics/shifting/freq = -1 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.60 c heuristics/simplerounding/freq = -1 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.60 c heuristics/trivial/freq = -1 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.60 c heuristics/trysol/freq = -1 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.60 c heuristics/veclendiving/freq = -1 0.59/0.60 c 0.59/0.60 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.60 c heuristics/veclendiving/maxlpiterquot = 0.075 0.59/0.60 c 0.59/0.60 c # additional number of allowed LP iterations 0.59/0.60 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.60 c heuristics/veclendiving/maxlpiterofs = 1500 0.59/0.60 c 0.59/0.60 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.60 c heuristics/zirounding/freq = -1 0.59/0.60 c 0.59/0.60 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.60 c separating/cmir/freq = -1 0.59/0.60 c 0.59/0.60 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.60 c separating/flowcover/freq = -1 0.59/0.60 c 0.59/0.60 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.59/0.60 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.60 c separating/rapidlearning/freq = 0 0.59/0.60 c 0.59/0.60 c ----------------------------------------------------------------------------------------------- 0.59/0.60 c start solving 0.59/0.61 c 1.30/1.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.30/1.31 c 1.0s| 1 | 0 | 2056 | - | 21M| 0 |1165 |2986 |8400 |2986 |8400 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 4.40/4.46 c 4.0s| 1 | 0 | 4046 | - | 22M| 0 |1286 |2986 |8749 |2986 |8484 | 84 | 0 | 0 | 0.000000e+00 | -- | Inf 9.49/9.53 c 9.1s| 1 | 0 | 6144 | - | 22M| 0 |1458 |2986 |8749 |2986 |8578 | 178 | 0 | 0 | 0.000000e+00 | -- | Inf 12.99/13.04 c 12.6s| 1 | 0 | 8471 | - | 22M| 0 |1270 |2986 |8749 |2986 |8680 | 280 | 0 | 0 | 0.000000e+00 | -- | Inf 15.89/15.93 c 15.4s| 1 | 0 | 10565 | - | 23M| 0 |1596 |2986 |8749 |2986 |8789 | 389 | 0 | 0 | 0.000000e+00 | -- | Inf 22.18/22.24 c 21.7s| 1 | 0 | 12387 | - | 23M| 0 |1628 |2986 |8749 |2986 |8875 | 475 | 0 | 0 | 0.000000e+00 | -- | Inf 34.98/35.08 c 34.5s| 1 | 2 | 12387 | - | 23M| 0 |1628 |2986 |8749 |2986 |8875 | 475 | 0 | 12 | 0.000000e+00 | -- | Inf 1800.05/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.25/1800.83 c 1800.25/1800.83 c SCIP Status : solving was interrupted [user interrupt] 1800.25/1800.83 c Solving Time (sec) : 1784.42 1800.25/1800.83 c Solving Nodes : 2449 1800.25/1800.83 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.25/1800.83 c Dual Bound : +0.00000000000000e+00 1800.25/1800.83 c Gap : infinite 1800.25/1800.83 s UNKNOWN 1800.25/1800.83 c SCIP Status : solving was interrupted [user interrupt] 1800.25/1800.83 c Solving Time : 1784.42 1800.25/1800.83 c Original Problem : 1800.25/1800.83 c Problem name : HOME/instance-2667428-1276337718.opb 1800.25/1800.83 c Variables : 3249 (3249 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.25/1800.83 c Constraints : 8983 initial, 8983 maximal 1800.25/1800.83 c Presolved Problem : 1800.25/1800.83 c Problem name : t_HOME/instance-2667428-1276337718.opb 1800.25/1800.83 c Variables : 2986 (2986 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.25/1800.83 c Constraints : 8400 initial, 10197 maximal 1800.25/1800.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.25/1800.83 c trivial : 0.01 2 0 0 0 0 0 0 0 1800.25/1800.83 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.25/1800.83 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.25/1800.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.25/1800.83 c implics : 0.03 0 203 0 0 0 0 0 0 1800.25/1800.83 c probing : 0.00 0 0 0 0 0 0 0 0 1800.25/1800.83 c knapsack : 0.01 0 0 0 0 0 0 0 0 1800.25/1800.83 c linear : 0.21 54 4 0 56 0 583 192 402 1800.25/1800.83 c logicor : 0.04 0 0 0 0 0 0 0 0 1800.25/1800.83 c root node : - 1 - - 1 - - - - 1800.25/1800.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.25/1800.83 c integral : 0 0 0 1690 0 14 166 0 0 3244 1800.25/1800.83 c knapsack : 384 5 41434 0 0 29 2979 1003 0 0 1800.25/1800.83 c linear : 0+ 5 41404 0 0 21 282 34 0 0 1800.25/1800.83 c logicor : 8016+ 5 39818 0 0 1335 926776 0 0 0 1800.25/1800.83 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.25/1800.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.25/1800.83 c integral : 713.42 0.00 0.00 713.42 0.00 1800.25/1800.83 c knapsack : 0.83 0.03 0.80 0.00 0.00 1800.25/1800.83 c linear : 0.34 0.00 0.34 0.00 0.00 1800.25/1800.83 c logicor : 6.49 0.00 6.49 0.00 0.00 1800.25/1800.83 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.25/1800.83 c Propagators : Time Calls Cutoffs DomReds 1800.25/1800.83 c vbounds : 0.00 1 0 0 1800.25/1800.83 c rootredcost : 0.03 0 0 0 1800.25/1800.83 c pseudoobj : 0.01 0 0 0 1800.25/1800.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.25/1800.83 c propagation : 0.42 1385 1373 8341 24.0 73 13.8 - 1800.25/1800.83 c infeasible LP : 0.04 32 32 137 15.8 4 15.8 0 1800.25/1800.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.25/1800.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.25/1800.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.25/1800.83 c applied globally : - - - 3075 18.8 - - - 1800.25/1800.83 c applied locally : - - - 0 0.0 - - - 1800.25/1800.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.25/1800.83 c cut pool : 0.00 4 - - 128 - (maximal pool size: 1227) 1800.25/1800.83 c redcost : 0.28 1649 0 0 0 0 1800.25/1800.83 c impliedbounds : 0.02 5 0 0 0 0 1800.25/1800.83 c intobj : 0.00 0 0 0 0 0 1800.25/1800.83 c cgmip : 0.00 0 0 0 0 0 1800.25/1800.83 c gomory : 4.06 5 0 0 2295 0 1800.25/1800.83 c strongcg : 3.33 5 0 0 2302 0 1800.25/1800.83 c cmir : 0.00 0 0 0 0 0 1800.25/1800.83 c flowcover : 0.00 0 0 0 0 0 1800.25/1800.83 c clique : 0.27 5 0 0 44 0 1800.25/1800.83 c zerohalf : 0.00 0 0 0 0 0 1800.25/1800.83 c mcf : 0.04 1 0 0 0 0 1800.25/1800.83 c rapidlearning : 0.68 1 0 0 0 349 1800.25/1800.83 c Pricers : Time Calls Vars 1800.25/1800.83 c problem variables: 0.00 0 0 1800.25/1800.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.25/1800.83 c relpscost : 713.42 1690 14 166 0 0 3244 1800.25/1800.83 c pscost : 0.00 0 0 0 0 0 0 1800.25/1800.83 c inference : 0.00 0 0 0 0 0 0 1800.25/1800.83 c mostinf : 0.00 0 0 0 0 0 0 1800.25/1800.83 c leastinf : 0.00 0 0 0 0 0 0 1800.25/1800.83 c fullstrong : 0.00 0 0 0 0 0 0 1800.25/1800.83 c allfullstrong : 0.00 0 0 0 0 0 0 1800.25/1800.83 c random : 0.00 0 0 0 0 0 0 1800.25/1800.83 c Primal Heuristics : Time Calls Found 1800.25/1800.83 c LP solutions : 0.00 - 0 1800.25/1800.83 c pseudo solutions : 0.00 - 0 1800.25/1800.83 c trivial : 0.00 1 0 1800.25/1800.83 c simplerounding : 0.00 0 0 1800.25/1800.83 c zirounding : 0.00 0 0 1800.25/1800.83 c rounding : 0.00 0 0 1800.25/1800.83 c shifting : 0.00 0 0 1800.25/1800.83 c intshifting : 0.00 0 0 1800.25/1800.83 c oneopt : 0.00 0 0 1800.25/1800.83 c twoopt : 0.00 0 0 1800.25/1800.83 c fixandinfer : 0.00 0 0 1800.25/1800.83 c feaspump : 0.00 0 0 1800.25/1800.83 c coefdiving : 0.00 0 0 1800.25/1800.83 c pscostdiving : 0.00 0 0 1800.25/1800.83 c fracdiving : 0.00 0 0 1800.25/1800.83 c veclendiving : 0.00 0 0 1800.25/1800.83 c intdiving : 0.00 0 0 1800.25/1800.83 c actconsdiving : 0.00 0 0 1800.25/1800.83 c objpscostdiving : 0.00 0 0 1800.25/1800.83 c rootsoldiving : 0.00 0 0 1800.25/1800.83 c linesearchdiving : 0.00 0 0 1800.25/1800.83 c guideddiving : 0.00 0 0 1800.25/1800.83 c octane : 0.00 0 0 1800.25/1800.83 c rens : 0.00 0 0 1800.25/1800.83 c rins : 0.00 0 0 1800.25/1800.83 c localbranching : 0.00 0 0 1800.25/1800.83 c mutation : 0.00 0 0 1800.25/1800.83 c crossover : 0.00 0 0 1800.25/1800.83 c dins : 0.00 0 0 1800.25/1800.83 c undercover : 0.00 0 0 1800.25/1800.83 c nlp : 0.00 0 0 1800.25/1800.83 c trysol : 0.00 0 0 1800.25/1800.83 c LP : Time Calls Iterations Iter/call Iter/sec 1800.25/1800.83 c primal LP : 0.01 0 0 0.00 0.00 1800.25/1800.83 c dual LP : 1040.30 1725 927674 537.78 891.74 1800.25/1800.83 c lex dual LP : 0.00 0 0 0.00 - 1800.25/1800.83 c barrier LP : 0.00 0 0 0.00 - 1800.25/1800.83 c diving/probing LP: 0.00 0 0 0.00 - 1800.25/1800.83 c strong branching : 712.16 1082 574652 531.10 806.91 1800.25/1800.83 c (at root node) : - 12 7777 648.08 - 1800.25/1800.83 c conflict analysis: 0.00 0 0 0.00 - 1800.25/1800.83 c B&B Tree : 1800.25/1800.83 c number of runs : 1 1800.25/1800.83 c nodes : 2449 1800.25/1800.83 c nodes (total) : 2449 1800.25/1800.83 c nodes left : 10 1800.25/1800.83 c max depth : 37 1800.25/1800.83 c max depth (total): 37 1800.25/1800.83 c backtracks : 699 (28.5%) 1800.25/1800.83 c delayed cutoffs : 786 1800.25/1800.83 c repropagations : 2302 (384143 domain reductions, 604 cutoffs) 1800.25/1800.83 c avg switch length: 3.75 1800.25/1800.83 c switching time : 3.82 1800.25/1800.83 c Solution : 1800.25/1800.83 c Solutions found : 0 (0 improvements) 1800.25/1800.83 c Primal Bound : - 1800.25/1800.83 c Dual Bound : +0.00000000000000e+00 1800.25/1800.83 c Gap : infinite 1800.25/1800.83 c Root Dual Bound : +0.00000000000000e+00 1800.25/1800.83 c Root Iterations : 12387 1800.34/1800.91 c Time complete: 1800.36.
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-2667428-1276337718/watcher-2667428-1276337718 -o /tmp/evaluation-result-2667428-1276337718/solver-2667428-1276337718 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667428-1276337718.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.92 0.98 0.99 3/106 10457 /proc/meminfo: memFree=1577168/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=7724 CPUtime=0 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1041 0 0 0 0 0 0 0 17 0 1 0 9375558 7909376 961 1992294400 4194304 8223781 140736929188000 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10457/statm: 1931 970 348 984 0 944 0 [startup+0.104496 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10457 /proc/meminfo: memFree=1577168/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=14208 CPUtime=0.09 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 2849 0 0 0 8 1 0 0 17 0 1 0 9375558 14548992 2768 1992294400 4194304 8223781 140736929188000 18446744073709551615 4384358 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10457/statm: 3552 2768 363 984 0 2565 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14208 [startup+0.201506 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10457 /proc/meminfo: memFree=1577168/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=23576 CPUtime=0.19 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 5491 0 0 0 17 2 0 0 17 0 1 0 9375558 24141824 5046 1992294400 4194304 8223781 140736929188000 18446744073709551615 4210097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 5894 5046 380 984 0 4907 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 23576 [startup+0.301519 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10457 /proc/meminfo: memFree=1577168/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=32168 CPUtime=0.29 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 7421 0 0 0 26 3 0 0 17 0 1 0 9375558 32940032 6976 1992294400 4194304 8223781 140736929188000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 8042 6976 444 984 0 7055 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32168 [startup+0.701562 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10457 /proc/meminfo: memFree=1577168/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=51168 CPUtime=0.69 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 15214 0 0 0 59 10 0 0 17 0 1 0 9375558 52396032 11654 1992294400 4194304 8223781 140736929188000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 12792 11654 539 984 0 11805 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 51168 [startup+1.50165 s] /proc/loadavg: 0.92 0.98 0.99 2/107 10458 /proc/meminfo: memFree=1531156/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=53108 CPUtime=1.49 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 16709 0 0 0 137 12 0 0 18 0 1 0 9375558 54382592 12045 1992294400 4194304 8223781 140736929188000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 13277 12045 565 984 0 12290 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 53108 [startup+3.10083 s] /proc/loadavg: 0.92 0.98 0.99 2/107 10458 /proc/meminfo: memFree=1495568/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=63876 CPUtime=3.09 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 27019 0 0 0 282 27 0 0 21 0 1 0 9375558 65409024 14971 1992294400 4194304 8223781 140736929188000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 15969 14971 586 984 0 14982 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 63876 [startup+6.30118 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10458 /proc/meminfo: memFree=1518260/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=63876 CPUtime=6.29 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 27020 0 0 0 599 30 0 0 25 0 1 0 9375558 65409024 14972 1992294400 4194304 8223781 140736929188000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 15969 14972 587 984 0 14982 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 63876 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10458 /proc/meminfo: memFree=1518260/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=64336 CPUtime=12.69 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 27090 0 0 0 1236 33 0 0 25 0 1 0 9375558 65880064 15039 1992294400 4194304 8223781 140736929188000 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 16084 15039 584 984 0 15097 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64336 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/107 10458 /proc/meminfo: memFree=1518260/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=64512 CPUtime=25.48 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 27195 0 0 0 2510 38 0 0 25 0 1 0 9375558 66060288 15144 1992294400 4194304 8223781 140736929188000 18446744073709551615 6567480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 16128 15144 585 984 0 15141 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64512 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/107 10458 /proc/meminfo: memFree=1518260/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=64504 CPUtime=51.08 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 27195 0 0 0 5062 46 0 0 25 0 1 0 9375558 66052096 15142 1992294400 4194304 8223781 140736929188000 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 16126 15142 585 984 0 15139 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 64504 [startup+102.302 s] /proc/loadavg: 0.98 0.98 0.99 2/107 10460 /proc/meminfo: memFree=1518136/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=64504 CPUtime=102.27 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 27200 0 0 0 10163 64 0 0 25 0 1 0 9375558 66052096 15147 1992294400 4194304 8223781 140736929188000 18446744073709551615 6568277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 16126 15147 585 984 0 15139 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 64504 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10462 /proc/meminfo: memFree=1518012/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=64504 CPUtime=162.24 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 27200 0 0 0 16137 87 0 0 25 0 1 0 9375558 66052096 15147 1992294400 4194304 8223781 140736929188000 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 16126 15147 585 984 0 15139 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 64504 [startup+222.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10464 /proc/meminfo: memFree=1518012/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=64504 CPUtime=222.23 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 27200 0 0 0 22117 106 0 0 25 0 1 0 9375558 66052096 15147 1992294400 4194304 8223781 140736929188000 18446744073709551615 6532946 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 16126 15147 585 984 0 15139 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 64504 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10464 /proc/meminfo: memFree=1518012/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=64504 CPUtime=282.21 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 27202 0 0 0 28086 135 0 0 25 0 1 0 9375558 66052096 15149 1992294400 4194304 8223781 140736929188000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 16126 15149 585 984 0 15139 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 64504 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10466 /proc/meminfo: memFree=1517020/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=65892 CPUtime=342.19 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 49811 0 0 0 34044 175 0 0 25 0 1 0 9375558 67473408 15310 1992294400 4194304 8223781 140736929188000 18446744073709551615 6446778 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 16473 15310 588 984 0 15486 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 65892 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10468 /proc/meminfo: memFree=1516276/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=67280 CPUtime=402.17 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 113262 0 0 0 39985 232 0 0 25 0 1 0 9375558 68894720 15509 1992294400 4194304 8223781 140736929188000 18446744073709551615 6567548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 16820 15509 598 984 0 15833 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 67280 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10470 /proc/meminfo: memFree=1513920/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=69400 CPUtime=462.15 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 188498 0 0 0 45922 293 0 0 25 0 1 0 9375558 71065600 16013 1992294400 4194304 8223781 140736929188000 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 17350 16013 597 984 0 16363 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 69400 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10472 /proc/meminfo: memFree=1511688/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=71280 CPUtime=522.14 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 257796 0 0 0 51866 348 0 0 25 0 1 0 9375558 72990720 16619 1992294400 4194304 8223781 140736929188000 18446744073709551615 6559818 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 17820 16619 592 984 0 16833 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 71280 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10472 /proc/meminfo: memFree=1510820/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=72440 CPUtime=582.12 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 328759 0 0 0 57812 400 0 0 25 0 1 0 9375558 74178560 16671 1992294400 4194304 8223781 140736929188000 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 18110 16671 592 984 0 17123 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 72440 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10474 /proc/meminfo: memFree=1509952/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=73772 CPUtime=642.1 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 403113 0 0 0 63755 455 0 0 25 0 1 0 9375558 75542528 17054 1992294400 4194304 8223781 140736929188000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 18443 17054 592 984 0 17456 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 73772 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10482 /proc/meminfo: memFree=1503380/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=79828 CPUtime=942.01 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 751301 0 0 0 93470 731 0 0 25 0 1 0 9375558 81743872 18645 1992294400 4194304 8223781 140736929188000 18446744073709551615 6559800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 19957 18645 592 984 0 18970 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 79828 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10484 /proc/meminfo: memFree=1501644/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=81000 CPUtime=1002 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 825417 0 0 0 99408 792 0 0 25 0 1 0 9375558 82944000 18808 1992294400 4194304 8223781 140736929188000 18446744073709551615 6250742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 20250 18809 592 984 0 19263 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 81000 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10486 /proc/meminfo: memFree=1502140/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=81416 CPUtime=1061.97 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 895429 0 0 0 105350 847 0 0 25 0 1 0 9375558 83369984 18951 1992294400 4194304 8223781 140736929188000 18446744073709551615 6446952 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 20354 18951 592 984 0 19367 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 81416 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10488 /proc/meminfo: memFree=1499908/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=82916 CPUtime=1121.95 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 969169 0 0 0 111291 904 0 0 25 0 1 0 9375558 84905984 19483 1992294400 4194304 8223781 140736929188000 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 20729 19483 592 984 0 19742 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 82916 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10488 /proc/meminfo: memFree=1499288/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=83556 CPUtime=1181.94 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1047535 0 0 0 117230 964 0 0 25 0 1 0 9375558 85561344 19513 1992294400 4194304 8223781 140736929188000 18446744073709551615 6567951 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 20889 19513 592 984 0 19902 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 83556 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10490 /proc/meminfo: memFree=1498792/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=84656 CPUtime=1241.92 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1119548 0 0 0 123172 1020 0 0 25 0 1 0 9375558 86687744 19773 1992294400 4194304 8223781 140736929188000 18446744073709551615 6569487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 21164 19773 592 984 0 20177 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 84656 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10492 /proc/meminfo: memFree=1497924/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=85432 CPUtime=1301.89 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1196501 0 0 0 129114 1075 0 0 25 0 1 0 9375558 87482368 20048 1992294400 4194304 8223781 140736929188000 18446744073709551615 6532625 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 21358 20048 593 984 0 20371 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 85432 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10494 /proc/meminfo: memFree=1496436/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=86336 CPUtime=1361.88 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1265818 0 0 0 135057 1131 0 0 25 0 1 0 9375558 88408064 20224 1992294400 4194304 8223781 140736929188000 18446744073709551615 6568431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 21584 20224 594 984 0 20597 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 86336 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10496 /proc/meminfo: memFree=1495940/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=87380 CPUtime=1421.87 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1336841 0 0 0 140997 1190 0 0 25 0 1 0 9375558 89477120 20490 1992294400 4194304 8223781 140736929188000 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 21845 20490 592 984 0 20858 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 87380 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10496 /proc/meminfo: memFree=1495444/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=87880 CPUtime=1481.84 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1411096 0 0 0 146936 1248 0 0 25 0 1 0 9375558 89989120 20610 1992294400 4194304 8223781 140736929188000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 21970 20610 599 984 0 20983 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 87880 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10498 /proc/meminfo: memFree=1494080/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=89132 CPUtime=1541.83 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1488836 0 0 0 152875 1308 0 0 25 0 1 0 9375558 91271168 20878 1992294400 4194304 8223781 140736929188000 18446744073709551615 6569418 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 22283 20878 592 984 0 21296 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 89132 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10500 /proc/meminfo: memFree=1493460/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=90044 CPUtime=1601.81 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1568943 0 0 0 158808 1373 0 0 25 0 1 0 9375558 92205056 21128 1992294400 4194304 8223781 140736929188000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 22511 21128 592 984 0 21524 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 90044 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10502 /proc/meminfo: memFree=1491228/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=91396 CPUtime=1661.78 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1650291 0 0 0 164743 1435 0 0 25 0 1 0 9375558 93589504 21478 1992294400 4194304 8223781 140736929188000 18446744073709551615 6450711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 22849 21478 608 984 0 21862 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 91396 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10504 /proc/meminfo: memFree=1490236/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=92552 CPUtime=1721.77 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1725112 0 0 0 170681 1496 0 0 25 0 1 0 9375558 94773248 21743 1992294400 4194304 8223781 140736929188000 18446744073709551615 6559366 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 23138 21743 592 984 0 22151 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 92552 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10504 /proc/meminfo: memFree=1490236/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=92864 CPUtime=1781.75 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1796276 0 0 0 176623 1552 0 0 25 0 1 0 9375558 95092736 21851 1992294400 4194304 8223781 140736929188000 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 23216 21851 592 984 0 22229 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 92864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10506 /proc/meminfo: memFree=1489988/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=93128 CPUtime=1800.05 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1819110 0 0 0 178434 1571 0 0 25 0 1 0 9375558 95363072 21881 1992294400 4194304 8223781 140736929188000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 23282 21881 595 984 0 22295 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 93128 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/108 10507 /proc/meminfo: memFree=1489980/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=93128 CPUtime=1800.16 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1819138 0 0 0 178445 1571 0 0 25 0 1 0 9375558 95363072 21909 1992294400 4194304 8223781 140736929188000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10457/statm: 23282 21909 595 984 0 22295 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 93128 [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.99 2/108 10507 /proc/meminfo: memFree=1489980/2059040 swapFree=4192956/4192956 [pid=10457] ppid=10455 vsize=57912 CPUtime=1800.34 /proc/10457/stat : 10457 (pbscip.linux.x8) R 10455 10457 10215 0 -1 4202496 1819589 0 0 0 178463 1571 0 0 25 0 1 0 9375558 59301888 13953 1992294400 4194304 8223781 140736929188000 18446744073709551615 6207260 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10457/statm: 14478 13953 594 984 0 13491 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 57912 Child status: 0 Real time (s): 1800.91 CPU time (s): 1800.37 CPU user time (s): 1784.64 CPU system time (s): 15.7256 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 94312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.64 system time used= 15.7256 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1819593 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= 5 involuntary context switches= 1470 runsolver used 2.97355 second user time and 8.50871 second system time The end
Begin job on node005 at 2010-06-12 12:15:18 IDJOB=2667428 IDBENCH=1480 IDSOLVER=1169 FILE ID=node005/2667428-1276337718 PBS_JOBID= 11173176 Free space on /tmp= 62532 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/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.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-2667428-1276337718/watcher-2667428-1276337718 -o /tmp/evaluation-result-2667428-1276337718/solver-2667428-1276337718 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667428-1276337718.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ec41e051a85a6b1d97ef15d7e169228d RANDOM SEED=703510974 node005.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.246 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.246 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1577572 kB Buffers: 111848 kB Cached: 240444 kB SwapCached: 0 kB Active: 150040 kB Inactive: 261556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1577572 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4784 kB Writeback: 8 kB AnonPages: 59216 kB Mapped: 15372 kB Slab: 48144 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182320 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= 62528 MiB End job on node005 at 2010-06-12 12:45:21