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 | ? | 1790.55 | 1790.99 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb |
MD5SUM | cc698dad3442148ac316666fbe5b4b9e |
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 | 44.1483 |
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 | 49621 |
Total number of constraints | 138346 |
Number of constraints which are clauses | 127390 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10956 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
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 | 129 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 510 |
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-2703735-1278550228.opb> 2.29/2.38 c original problem has 49621 variables (49621 bin, 0 int, 0 impl, 0 cont) and 138346 constraints 2.29/2.38 c problem read 2.29/2.38 c No objective function, only one solution is needed. 2.29/2.38 c presolving settings loaded 3.09/3.17 c presolving: 5.69/5.76 c (round 1) 2236 del vars, 2557 del conss, 911 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2724643 impls, 0 clqs 5.89/5.91 c (round 2) 2238 del vars, 5552 del conss, 913 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2724643 impls, 0 clqs 5.99/6.04 c (round 3) 2250 del vars, 5585 del conss, 925 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2725093 impls, 0 clqs 6.09/6.13 c (round 4) 2325 del vars, 5657 del conss, 938 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2726741 impls, 0 clqs 6.19/6.22 c (round 5) 2355 del vars, 5826 del conss, 958 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2727383 impls, 0 clqs 6.29/6.31 c (round 6) 2410 del vars, 5935 del conss, 982 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2728893 impls, 0 clqs 6.39/6.44 c (round 7) 2542 del vars, 6191 del conss, 1041 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2741945 impls, 0 clqs 6.60/6.66 c (round 8) 3112 del vars, 7579 del conss, 1380 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2750936 impls, 0 clqs 6.79/6.82 c (round 9) 3212 del vars, 8244 del conss, 1415 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2752400 impls, 0 clqs 7.09/7.14 c (round 10) 6651 del vars, 18107 del conss, 4446 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2757750 impls, 0 clqs 7.19/7.26 c (round 11) 7480 del vars, 20576 del conss, 5251 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2759180 impls, 0 clqs 7.29/7.35 c (round 12) 7763 del vars, 21390 del conss, 5442 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2763752 impls, 0 clqs 7.39/7.43 c (round 13) 7876 del vars, 21953 del conss, 5554 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2763976 impls, 0 clqs 7.49/7.52 c (round 14) 7991 del vars, 22317 del conss, 5632 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2768931 impls, 0 clqs 7.60/7.62 c (round 15) 8088 del vars, 22642 del conss, 5719 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2775665 impls, 0 clqs 7.60/7.70 c (round 16) 8143 del vars, 22898 del conss, 5771 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2776253 impls, 0 clqs 7.69/7.78 c (round 17) 8179 del vars, 23031 del conss, 5807 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2776465 impls, 0 clqs 7.79/7.85 c (round 18) 8195 del vars, 23130 del conss, 5823 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2776609 impls, 0 clqs 7.89/7.92 c (round 19) 8211 del vars, 23173 del conss, 5839 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2776703 impls, 0 clqs 7.89/8.00 c (round 20) 8225 del vars, 23214 del conss, 5853 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2776753 impls, 0 clqs 7.99/8.07 c (round 21) 8229 del vars, 23250 del conss, 5857 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2777123 impls, 0 clqs 8.09/8.14 c (round 22) 8233 del vars, 23260 del conss, 5861 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2777135 impls, 0 clqs 8.19/8.21 c (round 23) 8237 del vars, 23270 del conss, 5865 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2777139 impls, 0 clqs 8.19/8.28 c (round 24) 8241 del vars, 23280 del conss, 5869 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2777275 impls, 0 clqs 8.29/8.35 c (round 25) 8245 del vars, 23290 del conss, 5873 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2777279 impls, 0 clqs 8.39/8.43 c (round 26) 8249 del vars, 23300 del conss, 5877 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2777283 impls, 0 clqs 9.39/9.45 c (round 27) 8249 del vars, 23347 del conss, 5877 chg bounds, 5479 chg sides, 11398 chg coeffs, 114959 upgd conss, 2777345 impls, 0 clqs 9.90/9.91 c (round 28) 8249 del vars, 23347 del conss, 5877 chg bounds, 5479 chg sides, 11398 chg coeffs, 114999 upgd conss, 2777345 impls, 0 clqs 10.09/10.11 c presolving (29 rounds): 10.09/10.11 c 8249 deleted vars, 23347 deleted constraints, 5877 tightened bounds, 0 added holes, 5479 changed sides, 11398 changed coefficients 10.09/10.11 c 2777345 implications, 0 cliques 10.09/10.11 c presolved problem has 41371 variables (41371 bin, 0 int, 0 impl, 0 cont) and 114999 constraints 10.09/10.11 c 10956 constraints of type <knapsack> 10.09/10.11 c 69521 constraints of type <setppc> 10.09/10.11 c 34522 constraints of type <logicor> 10.09/10.11 c transformed objective value is always integral (scale: 1) 10.09/10.11 c Presolving Time: 7.23 10.09/10.11 c - non default parameters ---------------------------------------------------------------------- 10.09/10.11 c # SCIP version 1.2.1.3 10.09/10.11 c 10.09/10.11 c # frequency for displaying node information lines 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 100] 10.09/10.11 c display/freq = 10000 10.09/10.11 c 10.09/10.11 c # maximal time in seconds to run 10.09/10.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 10.09/10.11 c limits/time = 1787.62 10.09/10.11 c 10.09/10.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 10.09/10.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 10.09/10.11 c limits/memory = 1620 10.09/10.11 c 10.09/10.11 c # solving stops, if the given number of solutions were found (-1: no limit) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: -1] 10.09/10.11 c limits/solutions = 1 10.09/10.11 c 10.09/10.11 c # maximal number of separation rounds per node (-1: unlimited) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 5] 10.09/10.11 c separating/maxrounds = 1 10.09/10.11 c 10.09/10.11 c # maximal number of separation rounds in the root node (-1: unlimited) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: -1] 10.09/10.11 c separating/maxroundsroot = 5 10.09/10.11 c 10.09/10.11 c # default clock type (1: CPU user seconds, 2: wall clock time) 10.09/10.11 c # [type: int, range: [1,2], default: 1] 10.09/10.11 c timing/clocktype = 2 10.09/10.11 c 10.09/10.11 c # should presolving try to simplify inequalities 10.09/10.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 10.09/10.11 c constraints/linear/simplifyinequalities = TRUE 10.09/10.11 c 10.09/10.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 10.09/10.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 10.09/10.11 c constraints/indicator/addCouplingCons = TRUE 10.09/10.11 c 10.09/10.11 c # should disaggregation of knapsack constraints be allowed in preprocessing? 10.09/10.11 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 10.09/10.11 c constraints/knapsack/disaggregation = FALSE 10.09/10.11 c 10.09/10.11 c # should presolving try to simplify knapsacks 10.09/10.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 10.09/10.11 c constraints/knapsack/simplifyinequalities = TRUE 10.09/10.11 c 10.09/10.11 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: -1] 10.09/10.11 c presolving/probing/maxrounds = 0 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 10] 10.09/10.11 c heuristics/coefdiving/freq = -1 10.09/10.11 c 10.09/10.11 c # maximal fraction of diving LP iterations compared to node LP iterations 10.09/10.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.09/10.11 c heuristics/coefdiving/maxlpiterquot = 0.075 10.09/10.11 c 10.09/10.11 c # additional number of allowed LP iterations 10.09/10.11 c # [type: int, range: [0,2147483647], default: 1000] 10.09/10.11 c heuristics/coefdiving/maxlpiterofs = 1500 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 30] 10.09/10.11 c heuristics/crossover/freq = -1 10.09/10.11 c 10.09/10.11 c # number of nodes added to the contingent of the total nodes 10.09/10.11 c # [type: longint, range: [0,9223372036854775807], default: 500] 10.09/10.11 c heuristics/crossover/nodesofs = 750 10.09/10.11 c 10.09/10.11 c # number of nodes without incumbent change that heuristic should wait 10.09/10.11 c # [type: longint, range: [0,9223372036854775807], default: 200] 10.09/10.11 c heuristics/crossover/nwaitingnodes = 100 10.09/10.11 c 10.09/10.11 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 10.09/10.11 c # [type: real, range: [0,1], default: 0.1] 10.09/10.11 c heuristics/crossover/nodesquot = 0.15 10.09/10.11 c 10.09/10.11 c # minimum percentage of integer variables that have to be fixed 10.09/10.11 c # [type: real, range: [0,1], default: 0.666] 10.09/10.11 c heuristics/crossover/minfixingrate = 0.5 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 20] 10.09/10.11 c heuristics/feaspump/freq = -1 10.09/10.11 c 10.09/10.11 c # additional number of allowed LP iterations 10.09/10.11 c # [type: int, range: [0,2147483647], default: 1000] 10.09/10.11 c heuristics/feaspump/maxlpiterofs = 2000 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 10] 10.09/10.11 c heuristics/fracdiving/freq = -1 10.09/10.11 c 10.09/10.11 c # maximal fraction of diving LP iterations compared to node LP iterations 10.09/10.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.09/10.11 c heuristics/fracdiving/maxlpiterquot = 0.075 10.09/10.11 c 10.09/10.11 c # additional number of allowed LP iterations 10.09/10.11 c # [type: int, range: [0,2147483647], default: 1000] 10.09/10.11 c heuristics/fracdiving/maxlpiterofs = 1500 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 10] 10.09/10.11 c heuristics/guideddiving/freq = -1 10.09/10.11 c 10.09/10.11 c # maximal fraction of diving LP iterations compared to node LP iterations 10.09/10.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.09/10.11 c heuristics/guideddiving/maxlpiterquot = 0.075 10.09/10.11 c 10.09/10.11 c # additional number of allowed LP iterations 10.09/10.11 c # [type: int, range: [0,2147483647], default: 1000] 10.09/10.11 c heuristics/guideddiving/maxlpiterofs = 1500 10.09/10.11 c 10.09/10.11 c # maximal fraction of diving LP iterations compared to node LP iterations 10.09/10.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.09/10.11 c heuristics/intdiving/maxlpiterquot = 0.075 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 10] 10.09/10.11 c heuristics/intshifting/freq = -1 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 10] 10.09/10.11 c heuristics/linesearchdiving/freq = -1 10.09/10.11 c 10.09/10.11 c # maximal fraction of diving LP iterations compared to node LP iterations 10.09/10.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.09/10.11 c heuristics/linesearchdiving/maxlpiterquot = 0.075 10.09/10.11 c 10.09/10.11 c # additional number of allowed LP iterations 10.09/10.11 c # [type: int, range: [0,2147483647], default: 1000] 10.09/10.11 c heuristics/linesearchdiving/maxlpiterofs = 1500 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 1] 10.09/10.11 c heuristics/nlp/freq = -1 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 20] 10.09/10.11 c heuristics/objpscostdiving/freq = -1 10.09/10.11 c 10.09/10.11 c # maximal fraction of diving LP iterations compared to total iteration number 10.09/10.11 c # [type: real, range: [0,1], default: 0.01] 10.09/10.11 c heuristics/objpscostdiving/maxlpiterquot = 0.015 10.09/10.11 c 10.09/10.11 c # additional number of allowed LP iterations 10.09/10.11 c # [type: int, range: [0,2147483647], default: 1000] 10.09/10.11 c heuristics/objpscostdiving/maxlpiterofs = 1500 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 1] 10.09/10.11 c heuristics/oneopt/freq = -1 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 10] 10.09/10.11 c heuristics/pscostdiving/freq = -1 10.09/10.11 c 10.09/10.11 c # maximal fraction of diving LP iterations compared to node LP iterations 10.09/10.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.09/10.11 c heuristics/pscostdiving/maxlpiterquot = 0.075 10.09/10.11 c 10.09/10.11 c # additional number of allowed LP iterations 10.09/10.11 c # [type: int, range: [0,2147483647], default: 1000] 10.09/10.11 c heuristics/pscostdiving/maxlpiterofs = 1500 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 0] 10.09/10.11 c heuristics/rens/freq = -1 10.09/10.11 c 10.09/10.11 c # minimum percentage of integer variables that have to be fixable 10.09/10.11 c # [type: real, range: [0,1], default: 0.5] 10.09/10.11 c heuristics/rens/minfixingrate = 0.3 10.09/10.11 c 10.09/10.11 c # number of nodes added to the contingent of the total nodes 10.09/10.11 c # [type: longint, range: [0,9223372036854775807], default: 500] 10.09/10.11 c heuristics/rens/nodesofs = 2000 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 20] 10.09/10.11 c heuristics/rootsoldiving/freq = -1 10.09/10.11 c 10.09/10.11 c # maximal fraction of diving LP iterations compared to node LP iterations 10.09/10.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 10.09/10.11 c heuristics/rootsoldiving/maxlpiterquot = 0.015 10.09/10.11 c 10.09/10.11 c # additional number of allowed LP iterations 10.09/10.11 c # [type: int, range: [0,2147483647], default: 1000] 10.09/10.11 c heuristics/rootsoldiving/maxlpiterofs = 1500 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 1] 10.09/10.11 c heuristics/rounding/freq = -1 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 10] 10.09/10.11 c heuristics/shifting/freq = -1 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 1] 10.09/10.11 c heuristics/simplerounding/freq = -1 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 0] 10.09/10.11 c heuristics/trivial/freq = -1 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 1] 10.09/10.11 c heuristics/trysol/freq = -1 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 10] 10.09/10.11 c heuristics/veclendiving/freq = -1 10.09/10.11 c 10.09/10.11 c # maximal fraction of diving LP iterations compared to node LP iterations 10.09/10.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.09/10.11 c heuristics/veclendiving/maxlpiterquot = 0.075 10.09/10.11 c 10.09/10.11 c # additional number of allowed LP iterations 10.09/10.11 c # [type: int, range: [0,2147483647], default: 1000] 10.09/10.11 c heuristics/veclendiving/maxlpiterofs = 1500 10.09/10.11 c 10.09/10.11 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 1] 10.09/10.11 c heuristics/zirounding/freq = -1 10.09/10.11 c 10.09/10.11 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 0] 10.09/10.11 c separating/cmir/freq = -1 10.09/10.11 c 10.09/10.11 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: 0] 10.09/10.11 c separating/flowcover/freq = -1 10.09/10.11 c 10.09/10.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 10.09/10.11 c # [type: int, range: [-1,2147483647], default: -1] 10.09/10.11 c separating/rapidlearning/freq = 0 10.09/10.11 c 10.09/10.11 c ----------------------------------------------------------------------------------------------- 10.09/10.11 c start solving 10.09/10.15 c 233.43/233.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 233.43/233.56 c 231s| 1 | 0 | 24405 | - | 322M| 0 | 13k| 41k| 114k| 41k| 114k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 617.25/617.44 c 615s| 1 | 0 | 47480 | - | 323M| 0 | 13k| 41k| 114k| 41k| 115k| 174 | 0 | 0 | 0.000000e+00 | -- | Inf 1104.52/1104.85 c 1102s| 1 | 0 | 73697 | - | 323M| 0 | 14k| 41k| 114k| 41k| 115k| 372 | 0 | 0 | 0.000000e+00 | -- | Inf 1738.06/1738.56 c 1736s| 1 | 0 |108166 | - | 324M| 0 | 15k| 41k| 114k| 41k| 115k| 620 | 0 | 0 | 0.000000e+00 | -- | Inf 1789.55/1790.06 c 1788s| 1 | 0 |108166 | - | 325M| 0 | - | 41k| 114k| 41k| 115k| 818 | 0 | 0 | 0.000000e+00 | -- | Inf 1789.65/1790.12 c 1788s| 1 | 2 |108166 | - | 325M| 0 | - | 41k| 114k| 41k| 115k| 818 | 0 | 0 | 0.000000e+00 | -- | Inf 1789.65/1790.12 c 1789.65/1790.12 c SCIP Status : solving was interrupted [time limit reached] 1789.65/1790.12 c Solving Time (sec) : 1787.74 1789.65/1790.12 c Solving Nodes : 1 1789.65/1790.12 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.65/1790.12 c Dual Bound : +0.00000000000000e+00 1789.65/1790.12 c Gap : infinite 1789.65/1790.12 s UNKNOWN 1789.65/1790.12 c SCIP Status : solving was interrupted [time limit reached] 1789.65/1790.12 c Solving Time : 1787.74 1789.65/1790.12 c Original Problem : 1789.65/1790.12 c Problem name : HOME/instance-2703735-1278550228.opb 1789.65/1790.12 c Variables : 49621 (49621 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.65/1790.12 c Constraints : 138346 initial, 138346 maximal 1789.65/1790.12 c Presolved Problem : 1789.65/1790.12 c Problem name : t_HOME/instance-2703735-1278550228.opb 1789.65/1790.12 c Variables : 41371 (41371 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.65/1790.12 c Constraints : 114999 initial, 114999 maximal 1789.65/1790.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.65/1790.12 c trivial : 0.24 251 0 0 0 0 0 0 0 1789.65/1790.12 c dualfix : 0.24 0 0 0 0 0 0 0 0 1789.65/1790.12 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.65/1790.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.65/1790.12 c implics : 0.93 0 2129 0 0 0 0 0 0 1789.65/1790.12 c probing : 0.00 0 0 0 0 0 0 0 0 1789.65/1790.12 c knapsack : 0.16 0 0 0 0 0 0 0 0 1789.65/1790.12 c setppc : 0.29 0 0 0 0 0 0 0 0 1789.65/1790.12 c linear : 4.71 5849 20 0 5877 0 23347 5479 11398 1789.65/1790.12 c logicor : 0.14 0 0 0 0 0 0 0 0 1789.65/1790.12 c root node : - 0 - - 0 - - - - 1789.65/1790.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.65/1790.12 c integral : 0 0 0 0 0 0 0 0 0 0 1789.65/1790.12 c knapsack : 10956 4 1 0 1 0 0 801 0 0 1789.65/1790.12 c setppc : 69521 4 1 0 1 0 0 0 0 0 1789.65/1790.12 c logicor : 34522 4 1 0 1 0 0 0 0 0 1789.65/1790.12 c countsols : 0 0 0 0 1 0 0 0 0 0 1789.65/1790.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.65/1790.12 c integral : 0.00 0.00 0.00 0.00 0.00 1789.65/1790.12 c knapsack : 0.03 0.03 0.00 0.00 0.00 1789.65/1790.12 c setppc : 0.08 0.04 0.01 0.00 0.03 1789.65/1790.12 c logicor : 0.09 0.03 0.05 0.00 0.02 1789.65/1790.12 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.65/1790.12 c Propagators : Time Calls Cutoffs DomReds 1789.65/1790.12 c vbounds : 0.00 1 0 0 1789.65/1790.12 c rootredcost : 0.00 0 0 0 1789.65/1790.12 c pseudoobj : 0.00 0 0 0 1789.65/1790.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.65/1790.12 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1789.65/1790.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1789.65/1790.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.65/1790.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.65/1790.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.65/1790.12 c applied globally : - - - 0 0.0 - - - 1789.65/1790.12 c applied locally : - - - 0 0.0 - - - 1789.65/1790.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.65/1790.12 c cut pool : 0.00 3 - - 350 - (maximal pool size: 1928) 1789.65/1790.12 c redcost : 0.02 4 0 0 0 0 1789.65/1790.12 c impliedbounds : 0.24 4 0 0 0 0 1789.65/1790.12 c intobj : 0.00 0 0 0 0 0 1789.65/1790.12 c cgmip : 0.00 0 0 0 0 0 1789.65/1790.12 c gomory : 93.85 4 0 0 2000 0 1789.65/1790.12 c strongcg : 127.01 4 0 0 1622 0 1789.65/1790.12 c cmir : 0.00 0 0 0 0 0 1789.65/1790.12 c flowcover : 0.00 0 0 0 0 0 1789.65/1790.12 c clique : 6.37 3 0 0 26 0 1789.65/1790.12 c zerohalf : 0.00 0 0 0 0 0 1789.65/1790.12 c mcf : 2.23 1 0 0 0 0 1789.65/1790.12 c rapidlearning : 0.00 0 0 0 0 0 1789.65/1790.12 c Pricers : Time Calls Vars 1789.65/1790.12 c problem variables: 0.00 0 0 1789.65/1790.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.65/1790.12 c relpscost : 0.00 0 0 0 0 0 0 1789.65/1790.12 c pscost : 0.00 0 0 0 0 0 0 1789.65/1790.12 c inference : 0.01 1 0 0 0 0 2 1789.65/1790.12 c mostinf : 0.00 0 0 0 0 0 0 1789.65/1790.12 c leastinf : 0.00 0 0 0 0 0 0 1789.65/1790.12 c fullstrong : 0.00 0 0 0 0 0 0 1789.65/1790.12 c allfullstrong : 0.00 0 0 0 0 0 0 1789.65/1790.12 c random : 0.00 0 0 0 0 0 0 1789.65/1790.12 c Primal Heuristics : Time Calls Found 1789.65/1790.12 c LP solutions : 0.00 - 0 1789.65/1790.12 c pseudo solutions : 0.00 - 0 1789.65/1790.12 c trivial : 0.09 1 0 1789.65/1790.12 c simplerounding : 0.00 0 0 1789.65/1790.12 c zirounding : 0.00 0 0 1789.65/1790.12 c rounding : 0.00 0 0 1789.65/1790.12 c shifting : 0.00 0 0 1789.65/1790.12 c intshifting : 0.00 0 0 1789.65/1790.12 c oneopt : 0.00 0 0 1789.65/1790.12 c twoopt : 0.00 0 0 1789.65/1790.12 c fixandinfer : 0.00 0 0 1789.65/1790.12 c feaspump : 0.00 0 0 1789.65/1790.12 c coefdiving : 0.00 0 0 1789.65/1790.12 c pscostdiving : 0.00 0 0 1789.65/1790.12 c fracdiving : 0.00 0 0 1789.65/1790.12 c veclendiving : 0.00 0 0 1789.65/1790.12 c intdiving : 0.00 0 0 1789.65/1790.12 c actconsdiving : 0.00 0 0 1789.65/1790.12 c objpscostdiving : 0.00 0 0 1789.65/1790.12 c rootsoldiving : 0.00 0 0 1789.65/1790.12 c linesearchdiving : 0.00 0 0 1789.65/1790.12 c guideddiving : 0.00 0 0 1789.65/1790.12 c octane : 0.00 0 0 1789.65/1790.12 c rens : 0.00 0 0 1789.65/1790.12 c rins : 0.00 0 0 1789.65/1790.12 c localbranching : 0.00 0 0 1789.65/1790.12 c mutation : 0.00 0 0 1789.65/1790.12 c crossover : 0.00 0 0 1789.65/1790.12 c dins : 0.00 0 0 1789.65/1790.12 c undercover : 0.00 0 0 1789.65/1790.12 c nlp : 0.00 0 0 1789.65/1790.12 c trysol : 0.00 0 0 1789.65/1790.12 c LP : Time Calls Iterations Iter/call Iter/sec 1789.65/1790.12 c primal LP : 0.00 0 0 0.00 - 1789.65/1790.12 c dual LP : 1548.91 4 108166 27041.50 69.83 1789.65/1790.12 c lex dual LP : 0.00 0 0 0.00 - 1789.65/1790.12 c barrier LP : 0.00 0 0 0.00 - 1789.65/1790.12 c diving/probing LP: 0.00 0 0 0.00 - 1789.65/1790.12 c strong branching : 0.00 0 0 0.00 - 1789.65/1790.12 c (at root node) : - 0 0 0.00 - 1789.65/1790.12 c conflict analysis: 0.00 0 0 0.00 - 1789.65/1790.12 c B&B Tree : 1789.65/1790.12 c number of runs : 1 1789.65/1790.12 c nodes : 1 1789.65/1790.12 c nodes (total) : 1 1789.65/1790.12 c nodes left : 2 1789.65/1790.12 c max depth : 0 1789.65/1790.12 c max depth (total): 0 1789.65/1790.12 c backtracks : 0 (0.0%) 1789.65/1790.12 c delayed cutoffs : 0 1789.65/1790.12 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1789.65/1790.12 c avg switch length: 1.00 1789.65/1790.12 c switching time : 0.00 1789.65/1790.12 c Solution : 1789.65/1790.12 c Solutions found : 0 (0 improvements) 1789.65/1790.12 c Primal Bound : - 1789.65/1790.12 c Dual Bound : +0.00000000000000e+00 1789.65/1790.12 c Gap : infinite 1789.65/1790.12 c Root Dual Bound : +0.00000000000000e+00 1789.65/1790.12 c Root Iterations : 108166 1790.45/1790.98 c Time complete: 1790.54.
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-2703735-1278550228/watcher-2703735-1278550228 -o /tmp/evaluation-result-2703735-1278550228/solver-2703735-1278550228 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703735-1278550228.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.02 0.95 3/106 29487 /proc/meminfo: memFree=1700660/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=7904 CPUtime=0 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 1089 0 0 0 0 0 0 0 20 0 1 0 23229345 8093696 1001 1992294400 4194304 8395647 140735641479904 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29487/statm: 1976 1010 365 1026 0 946 0 [startup+0.0673821 s] /proc/loadavg: 1.00 1.02 0.95 3/106 29487 /proc/meminfo: memFree=1700660/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=13204 CPUtime=0.06 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 2595 0 0 0 6 0 0 0 20 0 1 0 23229345 13520896 2507 1992294400 4194304 8395647 140735641479904 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29487/statm: 3301 2507 390 1026 0 2271 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13204 [startup+0.100385 s] /proc/loadavg: 1.00 1.02 0.95 3/106 29487 /proc/meminfo: memFree=1700660/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=16236 CPUtime=0.09 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 3346 0 0 0 9 0 0 0 20 0 1 0 23229345 16625664 3258 1992294400 4194304 8395647 140735641479904 18446744073709551615 4246015 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29487/statm: 4059 3258 390 1026 0 3029 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16236 [startup+0.300402 s] /proc/loadavg: 1.00 1.02 0.95 3/106 29487 /proc/meminfo: memFree=1700660/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=25100 CPUtime=0.29 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 5550 0 0 0 28 1 0 0 20 0 1 0 23229345 25702400 5462 1992294400 4194304 8395647 140735641479904 18446744073709551615 7370124 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29487/statm: 6275 5462 390 1026 0 5245 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25100 [startup+0.700437 s] /proc/loadavg: 1.00 1.02 0.95 3/106 29487 /proc/meminfo: memFree=1700660/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=39580 CPUtime=0.69 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 9198 0 0 0 67 2 0 0 20 0 1 0 23229345 40529920 9110 1992294400 4194304 8395647 140735641479904 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29487/statm: 9895 9110 390 1026 0 8865 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39580 [startup+1.50051 s] /proc/loadavg: 1.00 1.02 0.95 2/107 29488 /proc/meminfo: memFree=1654648/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=70624 CPUtime=1.49 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 16926 0 0 0 144 5 0 0 22 0 1 0 23229345 72318976 16838 1992294400 4194304 8395647 140735641479904 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29487/statm: 17656 16838 390 1026 0 16626 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 70624 [startup+3.10065 s] /proc/loadavg: 1.00 1.02 0.95 2/107 29488 /proc/meminfo: memFree=1612736/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=234604 CPUtime=3.09 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 57456 0 0 0 289 20 0 0 25 0 1 0 23229345 240234496 57014 1992294400 4194304 8395647 140735641479904 18446744073709551615 4285926 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 58651 57014 440 1026 0 57621 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 234604 [startup+6.30192 s] /proc/loadavg: 1.08 1.04 0.95 2/107 29488 /proc/meminfo: memFree=1380732/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=334968 CPUtime=6.29 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 81479 0 0 0 602 27 0 0 25 0 1 0 23229345 343007232 81037 1992294400 4194304 8395647 140735641479904 18446744073709551615 5598970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 83742 81037 475 1026 0 82712 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 334968 [startup+12.7015 s] /proc/loadavg: 1.08 1.04 0.95 2/107 29488 /proc/meminfo: memFree=1200932/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=526288 CPUtime=12.69 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 131561 0 0 0 1225 44 0 0 25 0 1 0 23229345 538918912 125244 1992294400 4194304 8395647 140735641479904 18446744073709551615 6496256 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 131572 125244 592 1026 0 130542 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 526288 [startup+25.5006 s] /proc/loadavg: 1.06 1.03 0.95 2/107 29490 /proc/meminfo: memFree=1190144/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=537816 CPUtime=25.49 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 134695 0 0 0 2501 48 0 0 25 0 1 0 23229345 550723584 128049 1992294400 4194304 8395647 140735641479904 18446744073709551615 6438911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 134454 128049 698 1026 0 133424 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 537816 [startup+51.1008 s] /proc/loadavg: 1.04 1.03 0.95 2/107 29490 /proc/meminfo: memFree=1174644/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=560056 CPUtime=51.08 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 138870 0 0 0 5054 54 0 0 25 0 1 0 23229345 573497344 131928 1992294400 4194304 8395647 140735641479904 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 140014 131928 757 1026 0 138984 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 560056 [startup+102.308 s] /proc/loadavg: 1.01 1.02 0.95 3/107 29492 /proc/meminfo: memFree=1163980/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=565608 CPUtime=102.28 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 141702 0 0 0 10166 62 0 0 25 0 1 0 23229345 579182592 134531 1992294400 4194304 8395647 140735641479904 18446744073709551615 6438870 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 141402 134531 675 1026 0 140372 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 565608 [startup+162.3 s] /proc/loadavg: 1.00 1.02 0.95 2/107 29492 /proc/meminfo: memFree=1159020/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=569880 CPUtime=162.26 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 142930 0 0 0 16156 70 0 0 25 0 1 0 23229345 583557120 135733 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 142470 135733 649 1026 0 141440 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 569880 [startup+222.301 s] /proc/loadavg: 1.00 1.01 0.95 2/107 29494 /proc/meminfo: memFree=1158400/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=570168 CPUtime=222.24 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 143073 0 0 0 22148 76 0 0 25 0 1 0 23229345 583852032 135876 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 142542 135876 649 1026 0 141512 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 570168 [startup+282.301 s] /proc/loadavg: 1.00 1.01 0.95 2/107 29496 /proc/meminfo: memFree=1158400/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=570304 CPUtime=282.22 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 143113 0 0 0 28136 86 0 0 25 0 1 0 23229345 583991296 135916 1992294400 4194304 8395647 140735641479904 18446744073709551615 5792654 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 142576 135916 670 1026 0 141546 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 570304 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 29498 /proc/meminfo: memFree=1139056/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=587284 CPUtime=342.21 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 148287 0 0 0 34128 93 0 0 25 0 1 0 23229345 601378816 140842 1992294400 4194304 8395647 140735641479904 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 146821 140842 779 1026 0 145791 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 587284 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 29500 /proc/meminfo: memFree=1138684/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=591956 CPUtime=402.2 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 149809 0 0 0 40121 99 0 0 25 0 1 0 23229345 606162944 142364 1992294400 4194304 8395647 140735641479904 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 147989 142364 781 1026 0 146959 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 591956 [startup+462.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 29500 /proc/meminfo: memFree=1132236/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=598016 CPUtime=462.18 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 149972 0 0 0 46113 105 0 0 25 0 1 0 23229345 612368384 142407 1992294400 4194304 8395647 140735641479904 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 149504 142407 661 1026 0 148474 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 598016 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 29502 /proc/meminfo: memFree=1131988/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=598016 CPUtime=522.16 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 150021 0 0 0 52106 110 0 0 25 0 1 0 23229345 612368384 142456 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 149504 142456 661 1026 0 148474 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 598016 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 29504 /proc/meminfo: memFree=1131864/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=598016 CPUtime=582.15 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 150065 0 0 0 58099 116 0 0 25 0 1 0 23229345 612368384 142500 1992294400 4194304 8395647 140735641479904 18446744073709551615 6693721 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 149504 142500 661 1026 0 148474 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 598016 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 29515 /proc/meminfo: memFree=1130500/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=598016 CPUtime=642.13 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 150083 0 0 0 64090 123 0 0 25 0 1 0 23229345 612368384 142518 1992294400 4194304 8395647 140735641479904 18446744073709551615 6124447 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 149504 142518 661 1026 0 148474 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 598016 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1124052/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=602528 CPUtime=1002.04 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 151865 0 0 0 100048 156 0 0 25 0 1 0 23229345 616988672 144299 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 150632 144299 660 1026 0 149602 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 602528 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29525 /proc/meminfo: memFree=1124052/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=602528 CPUtime=1062.02 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 151877 0 0 0 106041 161 0 0 25 0 1 0 23229345 616988672 144311 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 150632 144311 660 1026 0 149602 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 602528 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29527 /proc/meminfo: memFree=1124052/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=602528 CPUtime=1122.01 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 151881 0 0 0 112034 167 0 0 25 0 1 0 23229345 616988672 144315 1992294400 4194304 8395647 140735641479904 18446744073709551615 6440892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 150632 144315 660 1026 0 149602 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 602528 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29529 /proc/meminfo: memFree=1114380/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=607676 CPUtime=1182 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 154297 0 0 0 118022 178 0 0 25 0 1 0 23229345 622260224 146731 1992294400 4194304 8395647 140735641479904 18446744073709551615 6697691 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 151919 146731 661 1026 0 150889 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 607676 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29531 /proc/meminfo: memFree=1114132/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=611292 CPUtime=1241.98 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 154337 0 0 0 124017 181 0 0 25 0 1 0 23229345 625963008 146768 1992294400 4194304 8395647 140735641479904 18446744073709551615 6636387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 152823 146768 658 1026 0 151793 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 611292 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29533 /proc/meminfo: memFree=1114008/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=611292 CPUtime=1301.97 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 154348 0 0 0 130011 186 0 0 25 0 1 0 23229345 625963008 146768 1992294400 4194304 8395647 140735641479904 18446744073709551615 6636387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 152823 146768 647 1026 0 151793 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 611292 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29533 /proc/meminfo: memFree=1114008/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=611292 CPUtime=1361.95 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 154348 0 0 0 136005 190 0 0 25 0 1 0 23229345 625963008 146768 1992294400 4194304 8395647 140735641479904 18446744073709551615 6692853 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 152823 146768 647 1026 0 151793 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 611292 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29535 /proc/meminfo: memFree=1114008/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=611292 CPUtime=1421.95 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 154348 0 0 0 142000 195 0 0 25 0 1 0 23229345 625963008 146768 1992294400 4194304 8395647 140735641479904 18446744073709551615 6669622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 152823 146768 647 1026 0 151793 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 611292 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29537 /proc/meminfo: memFree=1114008/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=611292 CPUtime=1481.93 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 154348 0 0 0 147992 201 0 0 25 0 1 0 23229345 625963008 146768 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698059 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 152823 146768 647 1026 0 151793 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 611292 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29539 /proc/meminfo: memFree=1106816/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=614904 CPUtime=1541.91 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156150 0 0 0 153985 206 0 0 25 0 1 0 23229345 629661696 148570 1992294400 4194304 8395647 140735641479904 18446744073709551615 6636387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 153726 148570 668 1026 0 152696 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 614904 [startup+1602.3 s] /proc/loadavg: 1.07 1.02 0.96 2/107 29541 /proc/meminfo: memFree=1106816/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=614904 CPUtime=1601.89 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156150 0 0 0 159978 211 0 0 25 0 1 0 23229345 629661696 148570 1992294400 4194304 8395647 140735641479904 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 153726 148570 668 1026 0 152696 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 614904 [startup+1662.3 s] /proc/loadavg: 1.08 1.03 0.97 2/107 29541 /proc/meminfo: memFree=1106816/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=614904 CPUtime=1661.87 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156150 0 0 0 165970 217 0 0 25 0 1 0 23229345 629661696 148570 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 153726 148570 668 1026 0 152696 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 614904 [startup+1722.3 s] /proc/loadavg: 1.07 1.03 0.97 2/107 29543 /proc/meminfo: memFree=1106444/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=615180 CPUtime=1721.86 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156209 0 0 0 171963 223 0 0 25 0 1 0 23229345 629944320 148608 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 153795 148608 647 1026 0 152765 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 615180 [startup+1782.3 s] /proc/loadavg: 1.07 1.04 0.98 2/107 29548 /proc/meminfo: memFree=1105824/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=615180 CPUtime=1781.85 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156209 0 0 0 177953 232 0 0 25 0 1 0 23229345 629944320 148608 1992294400 4194304 8395647 140735641479904 18446744073709551615 6440883 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 153795 148608 647 1026 0 152765 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 615180 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.06 1.04 0.98 2/107 29548 /proc/meminfo: memFree=1105824/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=615180 CPUtime=1785.05 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156209 0 0 0 178273 232 0 0 25 0 1 0 23229345 629944320 148608 1992294400 4194304 8395647 140735641479904 18446744073709551615 7385964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 153795 148608 647 1026 0 152765 0 Current children cumulated CPU time (s) 1785.05 Current children cumulated vsize (KiB) 615180 [startup+1788.7 s] /proc/loadavg: 1.06 1.04 0.98 2/107 29548 /proc/meminfo: memFree=1105824/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=615180 CPUtime=1788.25 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156209 0 0 0 178592 233 0 0 25 0 1 0 23229345 629944320 148608 1992294400 4194304 8395647 140735641479904 18446744073709551615 6440985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29487/statm: 153795 148608 647 1026 0 152765 0 Current children cumulated CPU time (s) 1788.25 Current children cumulated vsize (KiB) 615180 [startup+1790.3 s] /proc/loadavg: 1.06 1.04 0.98 2/107 29548 /proc/meminfo: memFree=1105824/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=615180 CPUtime=1789.85 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156392 0 0 0 178752 233 0 0 25 0 1 0 23229345 629944320 148791 1992294400 4194304 8395647 140735641479904 18446744073709551615 6150548 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29487/statm: 153795 148791 654 1026 0 152765 0 Current children cumulated CPU time (s) 1789.85 Current children cumulated vsize (KiB) 615180 [startup+1790.7 s] /proc/loadavg: 1.06 1.04 0.98 2/107 29548 /proc/meminfo: memFree=1105204/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=615180 CPUtime=1790.25 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156394 0 0 0 178792 233 0 0 25 0 1 0 23229345 629944320 148793 1992294400 4194304 8395647 140735641479904 18446744073709551615 6345756 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29487/statm: 153795 148793 656 1026 0 152765 0 Current children cumulated CPU time (s) 1790.25 Current children cumulated vsize (KiB) 615180 [startup+1790.9 s] /proc/loadavg: 1.06 1.04 0.98 2/107 29548 /proc/meminfo: memFree=1105204/2059040 swapFree=4139820/4192956 [pid=29487] ppid=29485 vsize=503280 CPUtime=1790.45 /proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156394 0 0 0 178810 235 0 0 25 0 1 0 23229345 515358720 120852 1992294400 4194304 8395647 140735641479904 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29487/statm: 125820 120852 656 1026 0 124790 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (KiB) 503280 Child status: 0 Real time (s): 1790.99 CPU time (s): 1790.55 CPU user time (s): 1788.15 CPU system time (s): 2.40163 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 615180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.15 system time used= 2.40163 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 156401 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2995 runsolver used 2.95455 second user time and 8.46171 second system time The end
Begin job on node055 at 2010-07-08 02:50:29 IDJOB=2703735 IDBENCH=1461 IDSOLVER=1213 FILE ID=node055/2703735-1278550228 PBS_JOBID= 11239487 Free space on /tmp= 62572 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.ex.br.mem.RobRegValid_bar.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-2703735-1278550228/watcher-2703735-1278550228 -o /tmp/evaluation-result-2703735-1278550228/solver-2703735-1278550228 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703735-1278550228.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cc698dad3442148ac316666fbe5b4b9e RANDOM SEED=551788218 node055.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.224 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.44 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.224 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1700816 kB Buffers: 56892 kB Cached: 211368 kB SwapCached: 7140 kB Active: 172900 kB Inactive: 109344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1700816 kB SwapTotal: 4192956 kB SwapFree: 4139820 kB Dirty: 15780 kB Writeback: 0 kB AnonPages: 11388 kB Mapped: 11904 kB Slab: 53640 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179668 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= 62564 MiB End job on node055 at 2010-07-08 03:20:20