Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1794.31 | 1794.81 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.6.accl.ucl.opb |
MD5SUM | 9d22902ade96af236e70cdbf7d8bd853 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 23621 |
Total number of constraints | 67526 |
Number of constraints which are clauses | 65126 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2400 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
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 | 71 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 261 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2703426-1278550154.opb> 0.99/1.07 c original problem has 23621 variables (23621 bin, 0 int, 0 impl, 0 cont) and 67526 constraints 0.99/1.07 c problem read 0.99/1.07 c No objective function, only one solution is needed. 0.99/1.07 c presolving settings loaded 1.39/1.44 c presolving: 2.69/2.76 c (round 1) 1093 del vars, 614 del conss, 216 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329503 impls, 0 clqs 2.79/2.86 c (round 2) 1095 del vars, 2448 del conss, 218 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329503 impls, 0 clqs 2.79/2.90 c (round 3) 1099 del vars, 2456 del conss, 222 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329577 impls, 0 clqs 2.89/2.93 c (round 4) 1102 del vars, 2464 del conss, 225 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329651 impls, 0 clqs 2.89/2.97 c (round 5) 1107 del vars, 2473 del conss, 230 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329651 impls, 0 clqs 2.99/3.02 c (round 6) 1113 del vars, 2486 del conss, 236 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329679 impls, 0 clqs 2.99/3.06 c (round 7) 1117 del vars, 2500 del conss, 240 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329809 impls, 0 clqs 2.99/3.10 c (round 8) 1121 del vars, 2510 del conss, 244 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329853 impls, 0 clqs 3.09/3.14 c (round 9) 1125 del vars, 2520 del conss, 248 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329909 impls, 0 clqs 3.09/3.18 c (round 10) 1129 del vars, 2530 del conss, 252 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329977 impls, 0 clqs 3.19/3.21 c (round 11) 1129 del vars, 2538 del conss, 252 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1330017 impls, 0 clqs 3.69/3.74 c (round 12) 1129 del vars, 2580 del conss, 252 chg bounds, 1200 chg sides, 2498 chg coeffs, 64946 upgd conss, 1330017 impls, 0 clqs 3.89/3.96 c presolving (13 rounds): 3.89/3.96 c 1129 deleted vars, 2580 deleted constraints, 252 tightened bounds, 0 added holes, 1200 changed sides, 2498 changed coefficients 3.89/3.96 c 1330017 implications, 0 cliques 3.89/3.96 c presolved problem has 22492 variables (22492 bin, 0 int, 0 impl, 0 cont) and 64946 constraints 3.89/3.96 c 2388 constraints of type <knapsack> 3.89/3.96 c 41719 constraints of type <setppc> 3.89/3.96 c 20839 constraints of type <logicor> 3.89/3.96 c transformed objective value is always integral (scale: 1) 3.89/3.96 c Presolving Time: 2.66 3.89/3.96 c - non default parameters ---------------------------------------------------------------------- 3.89/3.96 c # SCIP version 1.2.1.3 3.89/3.96 c 3.89/3.96 c # frequency for displaying node information lines 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 100] 3.89/3.96 c display/freq = 10000 3.89/3.96 c 3.89/3.96 c # maximal time in seconds to run 3.89/3.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 3.89/3.96 c limits/time = 1788.93 3.89/3.96 c 3.89/3.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 3.89/3.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 3.89/3.96 c limits/memory = 1620 3.89/3.96 c 3.89/3.96 c # solving stops, if the given number of solutions were found (-1: no limit) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: -1] 3.89/3.96 c limits/solutions = 1 3.89/3.96 c 3.89/3.96 c # maximal number of separation rounds per node (-1: unlimited) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 5] 3.89/3.96 c separating/maxrounds = 1 3.89/3.96 c 3.89/3.96 c # maximal number of separation rounds in the root node (-1: unlimited) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: -1] 3.89/3.96 c separating/maxroundsroot = 5 3.89/3.96 c 3.89/3.96 c # default clock type (1: CPU user seconds, 2: wall clock time) 3.89/3.96 c # [type: int, range: [1,2], default: 1] 3.89/3.96 c timing/clocktype = 2 3.89/3.96 c 3.89/3.96 c # should presolving try to simplify inequalities 3.89/3.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 3.89/3.96 c constraints/linear/simplifyinequalities = TRUE 3.89/3.96 c 3.89/3.96 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 3.89/3.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 3.89/3.96 c constraints/indicator/addCouplingCons = TRUE 3.89/3.96 c 3.89/3.96 c # should disaggregation of knapsack constraints be allowed in preprocessing? 3.89/3.96 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 3.89/3.96 c constraints/knapsack/disaggregation = FALSE 3.89/3.96 c 3.89/3.96 c # should presolving try to simplify knapsacks 3.89/3.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 3.89/3.96 c constraints/knapsack/simplifyinequalities = TRUE 3.89/3.96 c 3.89/3.96 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: -1] 3.89/3.96 c presolving/probing/maxrounds = 0 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.96 c heuristics/coefdiving/freq = -1 3.89/3.96 c 3.89/3.96 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.96 c heuristics/coefdiving/maxlpiterquot = 0.075 3.89/3.96 c 3.89/3.96 c # additional number of allowed LP iterations 3.89/3.96 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.96 c heuristics/coefdiving/maxlpiterofs = 1500 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 30] 3.89/3.96 c heuristics/crossover/freq = -1 3.89/3.96 c 3.89/3.96 c # number of nodes added to the contingent of the total nodes 3.89/3.96 c # [type: longint, range: [0,9223372036854775807], default: 500] 3.89/3.96 c heuristics/crossover/nodesofs = 750 3.89/3.96 c 3.89/3.96 c # number of nodes without incumbent change that heuristic should wait 3.89/3.96 c # [type: longint, range: [0,9223372036854775807], default: 200] 3.89/3.96 c heuristics/crossover/nwaitingnodes = 100 3.89/3.96 c 3.89/3.96 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 3.89/3.96 c # [type: real, range: [0,1], default: 0.1] 3.89/3.96 c heuristics/crossover/nodesquot = 0.15 3.89/3.96 c 3.89/3.96 c # minimum percentage of integer variables that have to be fixed 3.89/3.96 c # [type: real, range: [0,1], default: 0.666] 3.89/3.96 c heuristics/crossover/minfixingrate = 0.5 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 20] 3.89/3.96 c heuristics/feaspump/freq = -1 3.89/3.96 c 3.89/3.96 c # additional number of allowed LP iterations 3.89/3.96 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.96 c heuristics/feaspump/maxlpiterofs = 2000 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.96 c heuristics/fracdiving/freq = -1 3.89/3.96 c 3.89/3.96 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.96 c heuristics/fracdiving/maxlpiterquot = 0.075 3.89/3.96 c 3.89/3.96 c # additional number of allowed LP iterations 3.89/3.96 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.96 c heuristics/fracdiving/maxlpiterofs = 1500 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.96 c heuristics/guideddiving/freq = -1 3.89/3.96 c 3.89/3.96 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.96 c heuristics/guideddiving/maxlpiterquot = 0.075 3.89/3.96 c 3.89/3.96 c # additional number of allowed LP iterations 3.89/3.96 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.96 c heuristics/guideddiving/maxlpiterofs = 1500 3.89/3.96 c 3.89/3.96 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.96 c heuristics/intdiving/maxlpiterquot = 0.075 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.96 c heuristics/intshifting/freq = -1 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.96 c heuristics/linesearchdiving/freq = -1 3.89/3.96 c 3.89/3.96 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.96 c heuristics/linesearchdiving/maxlpiterquot = 0.075 3.89/3.96 c 3.89/3.96 c # additional number of allowed LP iterations 3.89/3.96 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.96 c heuristics/linesearchdiving/maxlpiterofs = 1500 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 1] 3.89/3.96 c heuristics/nlp/freq = -1 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 20] 3.89/3.96 c heuristics/objpscostdiving/freq = -1 3.89/3.96 c 3.89/3.96 c # maximal fraction of diving LP iterations compared to total iteration number 3.89/3.96 c # [type: real, range: [0,1], default: 0.01] 3.89/3.96 c heuristics/objpscostdiving/maxlpiterquot = 0.015 3.89/3.96 c 3.89/3.96 c # additional number of allowed LP iterations 3.89/3.96 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.96 c heuristics/objpscostdiving/maxlpiterofs = 1500 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 1] 3.89/3.96 c heuristics/oneopt/freq = -1 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.96 c heuristics/pscostdiving/freq = -1 3.89/3.96 c 3.89/3.96 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.96 c heuristics/pscostdiving/maxlpiterquot = 0.075 3.89/3.96 c 3.89/3.96 c # additional number of allowed LP iterations 3.89/3.96 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.96 c heuristics/pscostdiving/maxlpiterofs = 1500 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 0] 3.89/3.96 c heuristics/rens/freq = -1 3.89/3.96 c 3.89/3.96 c # minimum percentage of integer variables that have to be fixable 3.89/3.96 c # [type: real, range: [0,1], default: 0.5] 3.89/3.96 c heuristics/rens/minfixingrate = 0.3 3.89/3.96 c 3.89/3.96 c # number of nodes added to the contingent of the total nodes 3.89/3.96 c # [type: longint, range: [0,9223372036854775807], default: 500] 3.89/3.96 c heuristics/rens/nodesofs = 2000 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 20] 3.89/3.96 c heuristics/rootsoldiving/freq = -1 3.89/3.96 c 3.89/3.96 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 3.89/3.96 c heuristics/rootsoldiving/maxlpiterquot = 0.015 3.89/3.96 c 3.89/3.96 c # additional number of allowed LP iterations 3.89/3.96 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.96 c heuristics/rootsoldiving/maxlpiterofs = 1500 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 1] 3.89/3.96 c heuristics/rounding/freq = -1 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.96 c heuristics/shifting/freq = -1 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 1] 3.89/3.96 c heuristics/simplerounding/freq = -1 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 0] 3.89/3.96 c heuristics/trivial/freq = -1 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 1] 3.89/3.96 c heuristics/trysol/freq = -1 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 10] 3.89/3.96 c heuristics/veclendiving/freq = -1 3.89/3.96 c 3.89/3.96 c # maximal fraction of diving LP iterations compared to node LP iterations 3.89/3.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.89/3.96 c heuristics/veclendiving/maxlpiterquot = 0.075 3.89/3.96 c 3.89/3.96 c # additional number of allowed LP iterations 3.89/3.96 c # [type: int, range: [0,2147483647], default: 1000] 3.89/3.96 c heuristics/veclendiving/maxlpiterofs = 1500 3.89/3.96 c 3.89/3.96 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 1] 3.89/3.96 c heuristics/zirounding/freq = -1 3.89/3.96 c 3.89/3.96 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 0] 3.89/3.96 c separating/cmir/freq = -1 3.89/3.96 c 3.89/3.96 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: 0] 3.89/3.96 c separating/flowcover/freq = -1 3.89/3.96 c 3.89/3.96 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 3.89/3.96 c # [type: int, range: [-1,2147483647], default: -1] 3.89/3.96 c separating/rapidlearning/freq = 0 3.89/3.96 c 3.89/3.96 c ----------------------------------------------------------------------------------------------- 3.89/3.96 c start solving 3.89/3.98 c 26.28/26.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 26.28/26.38 c 25.3s| 1 | 0 | 6780 | - | 161M| 0 |5003 | 22k| 64k| 22k| 64k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 89.47/89.58 c 88.5s| 1 | 0 | 13712 | - | 161M| 0 |5567 | 22k| 64k| 22k| 65k| 90 | 0 | 0 | 0.000000e+00 | -- | Inf 165.35/165.45 c 164s| 1 | 0 | 23450 | - | 162M| 0 |6090 | 22k| 64k| 22k| 65k| 279 | 0 | 0 | 0.000000e+00 | -- | Inf 246.53/246.65 c 246s| 1 | 0 | 31950 | - | 162M| 0 |7006 | 22k| 64k| 22k| 65k| 436 | 0 | 0 | 0.000000e+00 | -- | Inf 352.20/352.37 c 351s| 1 | 0 | 44298 | - | 163M| 0 |7245 | 22k| 64k| 22k| 65k| 626 | 0 | 0 | 0.000000e+00 | -- | Inf 496.16/496.39 c 495s| 1 | 0 | 60561 | - | 163M| 0 |7110 | 22k| 64k| 22k| 65k| 810 | 0 | 0 | 0.000000e+00 | -- | Inf 747.88/748.17 c 747s| 1 | 0 | 62983 | - | 163M| 0 |7312 | 22k| 64k| 22k| 65k| 810 | 0 | 25 | 0.000000e+00 | -- | Inf 1185.16/1185.50 c 1184s| 1 | 2 | 62983 | - | 163M| 0 |7312 | 22k| 64k| 22k| 65k| 810 | 0 | 70 | 0.000000e+00 | -- | Inf 1793.79/1794.37 c 1793.79/1794.37 c SCIP Status : solving was interrupted [time limit reached] 1793.79/1794.37 c Solving Time (sec) : 1793.29 1793.79/1794.37 c Solving Nodes : 4 1793.79/1794.37 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1793.79/1794.37 c Dual Bound : +0.00000000000000e+00 1793.79/1794.37 c Gap : infinite 1793.79/1794.37 s UNKNOWN 1793.79/1794.37 c SCIP Status : solving was interrupted [time limit reached] 1793.79/1794.37 c Solving Time : 1793.29 1793.79/1794.37 c Original Problem : 1793.79/1794.37 c Problem name : HOME/instance-2703426-1278550154.opb 1793.79/1794.37 c Variables : 23621 (23621 binary, 0 integer, 0 implicit integer, 0 continuous) 1793.79/1794.37 c Constraints : 67526 initial, 67526 maximal 1793.79/1794.37 c Presolved Problem : 1793.79/1794.37 c Problem name : t_HOME/instance-2703426-1278550154.opb 1793.79/1794.37 c Variables : 22492 (22492 binary, 0 integer, 0 implicit integer, 0 continuous) 1793.79/1794.37 c Constraints : 64946 initial, 64946 maximal 1793.79/1794.37 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1793.79/1794.37 c trivial : 0.06 0 0 0 0 0 0 0 0 1793.79/1794.37 c dualfix : 0.05 0 0 0 0 0 0 0 0 1793.79/1794.37 c boundshift : 0.00 0 0 0 0 0 0 0 0 1793.79/1794.37 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1793.79/1794.37 c implics : 0.27 0 871 0 0 0 0 0 0 1793.79/1794.37 c probing : 0.00 0 0 0 0 0 0 0 0 1793.79/1794.37 c knapsack : 0.03 0 0 0 0 0 0 0 0 1793.79/1794.37 c setppc : 0.13 0 0 0 0 0 0 0 0 1793.79/1794.37 c linear : 1.79 252 6 0 252 0 2580 1200 2498 1793.79/1794.37 c logicor : 0.09 0 0 0 0 0 0 0 0 1793.79/1794.37 c root node : - 76 - - 76 - - - - 1793.79/1794.37 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1793.79/1794.37 c integral : 0 0 0 5 0 0 2 0 0 8 1793.79/1794.37 c knapsack : 2388 5 19 0 0 0 0 1001 0 0 1793.79/1794.37 c setppc : 41719 5 19 0 0 0 2283 0 0 0 1793.79/1794.37 c logicor : 20839 5 17 0 0 0 453 0 0 0 1793.79/1794.37 c countsols : 0 0 0 0 0 0 0 0 0 0 1793.79/1794.37 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1793.79/1794.37 c integral : 1166.15 0.00 0.00 1166.15 0.00 1793.79/1794.37 c knapsack : 0.03 0.03 0.00 0.00 0.00 1793.79/1794.37 c setppc : 0.11 0.03 0.08 0.00 0.00 1793.79/1794.37 c logicor : 0.05 0.02 0.03 0.00 0.00 1793.79/1794.37 c countsols : 0.00 0.00 0.00 0.00 0.00 1793.79/1794.37 c Propagators : Time Calls Cutoffs DomReds 1793.79/1794.37 c vbounds : 0.00 1 0 0 1793.79/1794.37 c rootredcost : 0.00 0 0 0 1793.79/1794.37 c pseudoobj : 0.00 0 0 0 1793.79/1794.37 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1793.79/1794.37 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1793.79/1794.37 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1793.79/1794.37 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1793.79/1794.37 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1793.79/1794.37 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1793.79/1794.37 c applied globally : - - - 0 0.0 - - - 1793.79/1794.37 c applied locally : - - - 0 0.0 - - - 1793.79/1794.37 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1793.79/1794.37 c cut pool : 0.00 4 - - 589 - (maximal pool size: 2537) 1793.79/1794.37 c redcost : 0.02 8 0 0 0 0 1793.79/1794.37 c impliedbounds : 0.15 5 0 0 0 0 1793.79/1794.37 c intobj : 0.00 0 0 0 0 0 1793.79/1794.37 c cgmip : 0.00 0 0 0 0 0 1793.79/1794.37 c gomory : 38.53 5 0 0 2500 0 1793.79/1794.37 c strongcg : 28.90 5 0 0 2500 0 1793.79/1794.37 c cmir : 0.00 0 0 0 0 0 1793.79/1794.37 c flowcover : 0.00 0 0 0 0 0 1793.79/1794.37 c clique : 3.99 5 0 0 41 0 1793.79/1794.37 c zerohalf : 0.00 0 0 0 0 0 1793.79/1794.37 c mcf : 0.55 1 0 0 0 0 1793.79/1794.37 c rapidlearning : 0.00 0 0 0 0 0 1793.79/1794.37 c Pricers : Time Calls Vars 1793.79/1794.37 c problem variables: 0.00 0 0 1793.79/1794.37 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1793.79/1794.37 c relpscost : 1166.15 5 0 2 0 0 8 1793.79/1794.37 c pscost : 0.00 0 0 0 0 0 0 1793.79/1794.37 c inference : 0.00 0 0 0 0 0 0 1793.79/1794.37 c mostinf : 0.00 0 0 0 0 0 0 1793.79/1794.37 c leastinf : 0.00 0 0 0 0 0 0 1793.79/1794.37 c fullstrong : 0.00 0 0 0 0 0 0 1793.79/1794.37 c allfullstrong : 0.00 0 0 0 0 0 0 1793.79/1794.37 c random : 0.00 0 0 0 0 0 0 1793.79/1794.37 c Primal Heuristics : Time Calls Found 1793.79/1794.37 c LP solutions : 0.00 - 0 1793.79/1794.37 c pseudo solutions : 0.00 - 0 1793.79/1794.37 c trivial : 0.04 1 0 1793.79/1794.37 c simplerounding : 0.00 0 0 1793.79/1794.37 c zirounding : 0.00 0 0 1793.79/1794.37 c rounding : 0.00 0 0 1793.79/1794.37 c shifting : 0.00 0 0 1793.79/1794.37 c intshifting : 0.00 0 0 1793.79/1794.37 c oneopt : 0.00 0 0 1793.79/1794.37 c twoopt : 0.00 0 0 1793.79/1794.37 c fixandinfer : 0.00 0 0 1793.79/1794.37 c feaspump : 0.00 0 0 1793.79/1794.37 c coefdiving : 0.00 0 0 1793.79/1794.37 c pscostdiving : 0.00 0 0 1793.79/1794.37 c fracdiving : 0.00 0 0 1793.79/1794.37 c veclendiving : 0.00 0 0 1793.79/1794.37 c intdiving : 0.00 0 0 1793.79/1794.37 c actconsdiving : 0.00 0 0 1793.79/1794.37 c objpscostdiving : 0.00 0 0 1793.79/1794.37 c rootsoldiving : 0.00 0 0 1793.79/1794.37 c linesearchdiving : 0.00 0 0 1793.79/1794.37 c guideddiving : 0.00 0 0 1793.79/1794.37 c octane : 0.00 0 0 1793.79/1794.37 c rens : 0.00 0 0 1793.79/1794.37 c rins : 0.00 0 0 1793.79/1794.37 c localbranching : 0.00 0 0 1793.79/1794.37 c mutation : 0.00 0 0 1793.79/1794.37 c crossover : 0.00 0 0 1793.79/1794.37 c dins : 0.00 0 0 1793.79/1794.37 c undercover : 0.00 0 0 1793.79/1794.37 c nlp : 0.00 0 0 1793.79/1794.37 c trysol : 0.00 0 0 1793.79/1794.37 c LP : Time Calls Iterations Iter/call Iter/sec 1793.79/1794.37 c primal LP : 0.06 0 0 0.00 0.00 1793.79/1794.37 c dual LP : 551.02 10 75395 7539.50 136.83 1793.79/1794.37 c lex dual LP : 0.00 0 0 0.00 - 1793.79/1794.37 c barrier LP : 0.00 0 0 0.00 - 1793.79/1794.37 c diving/probing LP: 0.00 0 0 0.00 - 1793.79/1794.37 c strong branching : 1166.11 122 116303 953.30 99.74 1793.79/1794.37 c (at root node) : - 70 66954 956.49 - 1793.79/1794.37 c conflict analysis: 0.00 0 0 0.00 - 1793.79/1794.37 c B&B Tree : 1793.79/1794.37 c number of runs : 1 1793.79/1794.37 c nodes : 4 1793.79/1794.37 c nodes (total) : 4 1793.79/1794.37 c nodes left : 5 1793.79/1794.37 c max depth : 2 1793.79/1794.37 c max depth (total): 2 1793.79/1794.37 c backtracks : 0 (0.0%) 1793.79/1794.37 c delayed cutoffs : 0 1793.79/1794.37 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1793.79/1794.37 c avg switch length: 1.25 1793.79/1794.37 c switching time : 0.09 1793.79/1794.37 c Solution : 1793.79/1794.37 c Solutions found : 0 (0 improvements) 1793.79/1794.37 c Primal Bound : - 1793.79/1794.37 c Dual Bound : +0.00000000000000e+00 1793.79/1794.37 c Gap : infinite 1793.79/1794.37 c Root Dual Bound : +0.00000000000000e+00 1793.79/1794.37 c Root Iterations : 62983 1794.28/1794.81 c Time complete: 1794.3.
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-2703426-1278550154/watcher-2703426-1278550154 -o /tmp/evaluation-result-2703426-1278550154/solver-2703426-1278550154 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703426-1278550154.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.91 3/106 2204 /proc/meminfo: memFree=1573260/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=6188 CPUtime=0 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 903 0 0 0 0 0 0 0 21 0 1 0 23229274 6336512 814 1992294400 4194304 8395647 140735686433872 18446744073709551615 7430400 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2204/statm: 1547 816 362 1026 0 517 0 [startup+0.100085 s] /proc/loadavg: 1.00 1.00 0.91 3/106 2204 /proc/meminfo: memFree=1573260/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=16232 CPUtime=0.09 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 3345 0 0 0 8 1 0 0 21 0 1 0 23229274 16621568 3256 1992294400 4194304 8395647 140735686433872 18446744073709551615 5758032 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2204/statm: 4058 3256 390 1026 0 3028 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16232 [startup+0.201097 s] /proc/loadavg: 1.00 1.00 0.91 3/106 2204 /proc/meminfo: memFree=1573260/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=20696 CPUtime=0.19 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 4446 0 0 0 18 1 0 0 21 0 1 0 23229274 21192704 4357 1992294400 4194304 8395647 140735686433872 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2204/statm: 5174 4357 390 1026 0 4144 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 20696 [startup+0.301108 s] /proc/loadavg: 1.00 1.00 0.91 3/106 2204 /proc/meminfo: memFree=1573260/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=25252 CPUtime=0.29 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 5582 0 0 0 27 2 0 0 21 0 1 0 23229274 25858048 5493 1992294400 4194304 8395647 140735686433872 18446744073709551615 7370187 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2204/statm: 6313 5493 390 1026 0 5283 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25252 [startup+0.701154 s] /proc/loadavg: 1.00 1.00 0.91 3/106 2204 /proc/meminfo: memFree=1573260/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=39648 CPUtime=0.69 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 9197 0 0 0 66 3 0 0 22 0 1 0 23229274 40599552 9108 1992294400 4194304 8395647 140735686433872 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2204/statm: 9912 9108 390 1026 0 8882 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39648 [startup+1.50125 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2205 /proc/meminfo: memFree=1515964/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=123812 CPUtime=1.49 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 29842 0 0 0 139 10 0 0 25 0 1 0 23229274 126783488 29399 1992294400 4194304 8395647 140735686433872 18446744073709551615 6068852 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 30953 29399 475 1026 0 29923 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 123812 [startup+3.10144 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2205 /proc/meminfo: memFree=1423708/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=171596 CPUtime=3.09 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 41700 0 0 0 296 13 0 0 25 0 1 0 23229274 175714304 41257 1992294400 4194304 8395647 140735686433872 18446744073709551615 5611736 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 42899 41257 475 1026 0 41869 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 171596 [startup+6.30181 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2206 /proc/meminfo: memFree=1307148/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=290448 CPUtime=6.29 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 70833 0 0 0 606 23 0 0 25 0 1 0 23229274 297418752 67292 1992294400 4194304 8395647 140735686433872 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 72612 67292 660 1026 0 71582 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 290448 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2206 /proc/meminfo: memFree=1299584/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=295488 CPUtime=12.69 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 72922 0 0 0 1244 25 0 0 25 0 1 0 23229274 302579712 69266 1992294400 4194304 8395647 140735686433872 18446744073709551615 6697666 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 73872 69266 773 1026 0 72842 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 295488 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2207 /proc/meminfo: memFree=1293260/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=298112 CPUtime=25.48 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 74291 0 0 0 2521 27 0 0 25 0 1 0 23229274 305266688 70516 1992294400 4194304 8395647 140735686433872 18446744073709551615 6698399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 74528 70516 664 1026 0 73498 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 298112 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2207 /proc/meminfo: memFree=1282844/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=308300 CPUtime=51.07 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 77083 0 0 0 5073 34 0 0 25 0 1 0 23229274 315699200 73064 1992294400 4194304 8395647 140735686433872 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 77075 73064 652 1026 0 76045 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 308300 [startup+102.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2209 /proc/meminfo: memFree=1273916/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=316284 CPUtime=102.26 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 79278 0 0 0 10179 47 0 0 25 0 1 0 23229274 323874816 75197 1992294400 4194304 8395647 140735686433872 18446744073709551615 7385651 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 79071 75197 663 1026 0 78041 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 316284 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2210 /proc/meminfo: memFree=1269204/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=318296 CPUtime=162.25 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 80459 0 0 0 16167 58 0 0 25 0 1 0 23229274 325935104 76375 1992294400 4194304 8395647 140735686433872 18446744073709551615 6391396 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 79574 76375 660 1026 0 78544 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 318296 [startup+222.308 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2211 /proc/meminfo: memFree=1269328/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=321724 CPUtime=222.24 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 85109 0 0 0 22153 71 0 0 25 0 1 0 23229274 329445376 76670 1992294400 4194304 8395647 140735686433872 18446744073709551615 6635683 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 80431 76670 1014 1026 0 79401 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 321724 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2213 /proc/meminfo: memFree=1262756/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=323184 CPUtime=282.21 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 86751 0 0 0 28139 82 0 0 25 0 1 0 23229274 330940416 77966 1992294400 4194304 8395647 140735686433872 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 80796 77966 668 1026 0 79766 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 323184 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2215 /proc/meminfo: memFree=1262632/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=323184 CPUtime=342.2 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 86772 0 0 0 34128 92 0 0 25 0 1 0 23229274 330940416 77976 1992294400 4194304 8395647 140735686433872 18446744073709551615 6698292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 80796 77976 657 1026 0 79766 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 323184 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2217 /proc/meminfo: memFree=1257052/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=402.19 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88147 0 0 0 40117 102 0 0 25 0 1 0 23229274 337215488 79350 1992294400 4194304 8395647 140735686433872 18446744073709551615 6669563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79350 656 1026 0 81298 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 329312 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2218 /proc/meminfo: memFree=1257052/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=462.16 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88147 0 0 0 46105 111 0 0 25 0 1 0 23229274 337215488 79350 1992294400 4194304 8395647 140735686433872 18446744073709551615 6698205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79350 656 1026 0 81298 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 329312 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2219 /proc/meminfo: memFree=1257052/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=522.15 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88151 0 0 0 52095 120 0 0 25 0 1 0 23229274 337215488 79354 1992294400 4194304 8395647 140735686433872 18446744073709551615 6741036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79354 658 1026 0 81298 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 329312 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2221 /proc/meminfo: memFree=1257052/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=582.13 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88151 0 0 0 58084 129 0 0 25 0 1 0 23229274 337215488 79354 1992294400 4194304 8395647 140735686433872 18446744073709551615 6697970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79354 658 1026 0 81298 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 329312 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2225 /proc/meminfo: memFree=1257052/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=642.12 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88151 0 0 0 64074 138 0 0 25 0 1 0 23229274 337215488 79354 1992294400 4194304 8395647 140735686433872 18446744073709551615 6700432 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79354 658 1026 0 81298 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 329312 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1256060/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1061.98 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88154 0 0 0 106004 194 0 0 25 0 1 0 23229274 337215488 79357 1992294400 4194304 8395647 140735686433872 18446744073709551615 6697246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79357 659 1026 0 81298 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 329312 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2247 /proc/meminfo: memFree=1256060/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1121.97 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88154 0 0 0 111994 203 0 0 25 0 1 0 23229274 337215488 79357 1992294400 4194304 8395647 140735686433872 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79357 659 1026 0 81298 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 329312 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2249 /proc/meminfo: memFree=1256060/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1181.96 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88154 0 0 0 117984 212 0 0 25 0 1 0 23229274 337215488 79357 1992294400 4194304 8395647 140735686433872 18446744073709551615 6636331 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79357 659 1026 0 81298 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 329312 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2251 /proc/meminfo: memFree=1256060/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1241.93 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88155 0 0 0 123972 221 0 0 25 0 1 0 23229274 337215488 79358 1992294400 4194304 8395647 140735686433872 18446744073709551615 6697060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79358 660 1026 0 81298 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 329312 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2258 /proc/meminfo: memFree=1256060/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1301.93 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88156 0 0 0 129963 230 0 0 25 0 1 0 23229274 337215488 79359 1992294400 4194304 8395647 140735686433872 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79359 660 1026 0 81298 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 329312 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2259 /proc/meminfo: memFree=1256060/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1361.9 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88156 0 0 0 135953 237 0 0 25 0 1 0 23229274 337215488 79359 1992294400 4194304 8395647 140735686433872 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79359 660 1026 0 81298 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 329312 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2261 /proc/meminfo: memFree=1256060/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1421.9 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88156 0 0 0 141945 245 0 0 25 0 1 0 23229274 337215488 79359 1992294400 4194304 8395647 140735686433872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79359 660 1026 0 81298 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 329312 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2263 /proc/meminfo: memFree=1256060/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1481.88 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88181 0 0 0 147934 254 0 0 25 0 1 0 23229274 337215488 79384 1992294400 4194304 8395647 140735686433872 18446744073709551615 6698072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79384 660 1026 0 81298 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 329312 [startup+1542.31 s] /proc/loadavg: 1.07 1.02 0.92 2/107 2265 /proc/meminfo: memFree=1256060/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1541.86 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88181 0 0 0 153925 261 0 0 25 0 1 0 23229274 337215488 79384 1992294400 4194304 8395647 140735686433872 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79384 660 1026 0 81298 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 329312 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 0.92 2/107 2267 /proc/meminfo: memFree=1256060/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1601.84 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88181 0 0 0 159915 269 0 0 25 0 1 0 23229274 337215488 79384 1992294400 4194304 8395647 140735686433872 18446744073709551615 6636359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79384 660 1026 0 81298 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 329312 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 0.92 2/107 2268 /proc/meminfo: memFree=1256060/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1661.82 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88181 0 0 0 165906 276 0 0 25 0 1 0 23229274 337215488 79384 1992294400 4194304 8395647 140735686433872 18446744073709551615 6636339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79384 660 1026 0 81298 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 329312 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 2269 /proc/meminfo: memFree=1256060/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1721.81 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88183 0 0 0 171896 285 0 0 25 0 1 0 23229274 337215488 79386 1992294400 4194304 8395647 140735686433872 18446744073709551615 6697271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79386 660 1026 0 81298 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 329312 [startup+1782.3 s] /proc/loadavg: 1.07 1.02 0.93 2/107 2274 /proc/meminfo: memFree=1255936/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1781.79 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88183 0 0 0 177887 292 0 0 25 0 1 0 23229274 337215488 79386 1992294400 4194304 8395647 140735686433872 18446744073709551615 6669605 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79386 660 1026 0 81298 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 329312 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 1.06 1.02 0.93 2/107 2274 /proc/meminfo: memFree=1255936/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1785.09 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88183 0 0 0 178216 293 0 0 25 0 1 0 23229274 337215488 79386 1992294400 4194304 8395647 140735686433872 18446744073709551615 6701759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79386 660 1026 0 81298 0 Current children cumulated CPU time (s) 1785.09 Current children cumulated vsize (KiB) 329312 [startup+1788.8 s] /proc/loadavg: 1.06 1.01 0.93 3/107 2274 /proc/meminfo: memFree=1255936/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1788.29 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88183 0 0 0 178535 294 0 0 25 0 1 0 23229274 337215488 79386 1992294400 4194304 8395647 140735686433872 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79386 660 1026 0 81298 0 Current children cumulated CPU time (s) 1788.29 Current children cumulated vsize (KiB) 329312 [startup+1792.01 s] /proc/loadavg: 1.06 1.01 0.93 2/107 2274 /proc/meminfo: memFree=1255936/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1791.5 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88183 0 0 0 178856 294 0 0 25 0 1 0 23229274 337215488 79386 1992294400 4194304 8395647 140735686433872 18446744073709551615 6635687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79386 660 1026 0 81298 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (KiB) 329312 [startup+1793.6 s] /proc/loadavg: 1.05 1.01 0.93 2/107 2274 /proc/meminfo: memFree=1255936/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1793.09 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88183 0 0 0 179015 294 0 0 25 0 1 0 23229274 337215488 79386 1992294400 4194304 8395647 140735686433872 18446744073709551615 6669698 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79386 660 1026 0 81298 0 Current children cumulated CPU time (s) 1793.09 Current children cumulated vsize (KiB) 329312 [startup+1794.4 s] /proc/loadavg: 1.05 1.01 0.93 2/107 2274 /proc/meminfo: memFree=1255936/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=329312 CPUtime=1793.89 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88188 0 0 0 179095 294 0 0 25 0 1 0 23229274 337215488 79391 1992294400 4194304 8395647 140735686433872 18446744073709551615 6171029 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2204/statm: 82328 79391 665 1026 0 81298 0 Current children cumulated CPU time (s) 1793.89 Current children cumulated vsize (KiB) 329312 [startup+1794.8 s] /proc/loadavg: 1.05 1.01 0.93 2/107 2274 /proc/meminfo: memFree=1255936/2059040 swapFree=4139384/4192956 [pid=2204] ppid=2202 vsize=170104 CPUtime=1794.28 /proc/2204/stat : 2204 (pbscip.linux.x8) R 2202 2204 1088 0 -1 4202496 88191 0 0 0 179132 296 0 0 25 0 1 0 23229274 174186496 23658 1992294400 4194304 8395647 140735686433872 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2204/statm: 42526 23658 638 1026 0 41496 0 Current children cumulated CPU time (s) 1794.28 Current children cumulated vsize (KiB) 170104 Child status: 0 Real time (s): 1794.81 CPU time (s): 1794.31 CPU user time (s): 1791.33 CPU system time (s): 2.97855 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (KiB): 329312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.33 system time used= 2.97855 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88197 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= 1 involuntary context switches= 3531 runsolver used 2.98655 second user time and 8.45871 second system time The end
Begin job on node001 at 2010-07-08 02:49:15 IDJOB=2703426 IDBENCH=1449 IDSOLVER=1213 FILE ID=node001/2703426-1278550154 PBS_JOBID= 11239529 Free space on /tmp= 62472 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.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-2703426-1278550154/watcher-2703426-1278550154 -o /tmp/evaluation-result-2703426-1278550154/solver-2703426-1278550154 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703426-1278550154.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9d22902ade96af236e70cdbf7d8bd853 RANDOM SEED=319096743 node001.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.215 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.43 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.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1573788 kB Buffers: 71140 kB Cached: 310056 kB SwapCached: 7348 kB Active: 135480 kB Inactive: 259804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1573788 kB SwapTotal: 4192956 kB SwapFree: 4139384 kB Dirty: 12540 kB Writeback: 0 kB AnonPages: 11460 kB Mapped: 11876 kB Slab: 68060 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180548 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= 62460 MiB End job on node001 at 2010-07-08 03:19:10