Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? | 1797.94 | 1798.56 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl.opb |
MD5SUM | 03090e2b7426cc03a4be73b62ee3d658 |
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 | 2.52461 |
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 | 4622 |
Total number of constraints | 12569 |
Number of constraints which are clauses | 11753 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 816 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 36 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 130 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.19/0.20 c SCIP version 1.1.0.7 0.19/0.20 c LP-Solver SoPlex 1.4.1 0.19/0.20 c user parameter file <scip.set> not found - using default parameters 0.19/0.20 c read problem <HOME/instance-1868600-1245129026.opb> 0.19/0.20 c original problem has 4622 variables (4622 bin, 0 int, 0 impl, 0 cont) and 12569 constraints 0.19/0.27 c No objective function, only one solution is needed. 0.19/0.27 c start presolving problem 0.19/0.27 c presolving: 0.39/0.48 c (round 1) 420 del vars, 345 del conss, 120 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215043 impls, 0 clqs 0.49/0.51 c (round 2) 421 del vars, 983 del conss, 121 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215043 impls, 0 clqs 0.49/0.52 c (round 3) 425 del vars, 993 del conss, 125 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215401 impls, 0 clqs 0.49/0.53 c (round 4) 427 del vars, 996 del conss, 127 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215401 impls, 0 clqs 0.49/0.54 c (round 5) 430 del vars, 1002 del conss, 130 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215401 impls, 0 clqs 0.49/0.55 c (round 6) 435 del vars, 1011 del conss, 135 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215401 impls, 0 clqs 0.49/0.56 c (round 7) 441 del vars, 1024 del conss, 141 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215429 impls, 0 clqs 0.49/0.58 c (round 8) 445 del vars, 1038 del conss, 145 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215623 impls, 0 clqs 0.49/0.59 c (round 9) 445 del vars, 1046 del conss, 145 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215975 impls, 0 clqs 0.69/0.72 c (round 10) 445 del vars, 1067 del conss, 145 chg bounds, 408 chg sides, 868 chg coeffs, 11502 upgd conss, 215975 impls, 0 clqs 0.69/0.79 c presolving (11 rounds): 0.69/0.79 c 445 deleted vars, 1067 deleted constraints, 145 tightened bounds, 0 added holes, 408 changed sides, 868 changed coefficients 0.69/0.79 c 215975 implications, 0 cliques 0.69/0.79 c presolved problem has 4177 variables (4177 bin, 0 int, 0 impl, 0 cont) and 11502 constraints 0.69/0.79 c 810 constraints of type <knapsack> 0.69/0.79 c 10692 constraints of type <logicor> 0.69/0.79 c transformed objective value is always integral (scale: 1) 0.69/0.79 c Presolving Time: 0.46 0.69/0.79 c SATUNSAT-LIN 0.69/0.79 c ----------------------------------------------------------------------------------------------- 0.69/0.79 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 0] 0.69/0.79 c separating/flowcover/freq = c -1 0.69/0.79 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 0] 0.69/0.79 c separating/cmir/freq = c -1 0.69/0.79 c # additional number of allowed LP iterations 0.69/0.79 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.79 c heuristics/veclendiving/maxlpiterofs = c 1500 0.69/0.79 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.79 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.69/0.79 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.79 c heuristics/veclendiving/freq = c -1 0.69/0.79 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.79 c heuristics/simplerounding/freq = c -1 0.69/0.79 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.79 c heuristics/shifting/freq = c -1 0.69/0.79 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.79 c heuristics/rounding/freq = c -1 0.69/0.79 c # additional number of allowed LP iterations 0.69/0.79 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.79 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.69/0.79 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.69/0.79 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.69/0.79 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 20] 0.69/0.79 c heuristics/rootsoldiving/freq = c -1 0.69/0.79 c # number of nodes added to the contingent of the total nodes 0.69/0.79 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.69/0.79 c heuristics/rens/nodesofs = c 2000 0.69/0.79 c # minimum percentage of integer variables that have to be fixable 0.69/0.79 c # [type: real, range: [0,1], default: 0.5] 0.69/0.79 c heuristics/rens/minfixingrate = c 0.3 0.69/0.79 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 0] 0.69/0.79 c heuristics/rens/freq = c -1 0.69/0.79 c # additional number of allowed LP iterations 0.69/0.79 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.79 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.69/0.79 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.79 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.69/0.79 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.79 c heuristics/pscostdiving/freq = c -1 0.69/0.79 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 1] 0.69/0.79 c heuristics/oneopt/freq = c -1 0.69/0.79 c # additional number of allowed LP iterations 0.69/0.79 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.79 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.69/0.79 c # maximal fraction of diving LP iterations compared to total iteration number 0.69/0.79 c # [type: real, range: [0,1], default: 0.01] 0.69/0.79 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.69/0.79 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 20] 0.69/0.79 c heuristics/objpscostdiving/freq = c -1 0.69/0.79 c # additional number of allowed LP iterations 0.69/0.79 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.79 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.69/0.79 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.79 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.69/0.79 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.79 c heuristics/linesearchdiving/freq = c -1 0.69/0.79 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.79 c heuristics/intshifting/freq = c -1 0.69/0.79 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.79 c heuristics/intdiving/maxlpiterquot = c 0.075 0.69/0.79 c # additional number of allowed LP iterations 0.69/0.79 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.79 c heuristics/guideddiving/maxlpiterofs = c 1500 0.69/0.79 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.79 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.69/0.79 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.79 c heuristics/guideddiving/freq = c -1 0.69/0.79 c # additional number of allowed LP iterations 0.69/0.79 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.79 c heuristics/fracdiving/maxlpiterofs = c 1500 0.69/0.79 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.79 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.69/0.79 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.79 c heuristics/fracdiving/freq = c -1 0.69/0.79 c # additional number of allowed LP iterations 0.69/0.79 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.79 c heuristics/feaspump/maxlpiterofs = c 2000 0.69/0.79 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 20] 0.69/0.79 c heuristics/feaspump/freq = c -1 0.69/0.79 c # minimum percentage of integer variables that have to be fixed 0.69/0.79 c # [type: real, range: [0,1], default: 0.666] 0.69/0.79 c heuristics/crossover/minfixingrate = c 0.5 0.69/0.79 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.69/0.79 c # [type: real, range: [0,1], default: 0.1] 0.69/0.79 c heuristics/crossover/nodesquot = c 0.15 0.69/0.79 c # number of nodes without incumbent change that heuristic should wait 0.69/0.79 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.69/0.79 c heuristics/crossover/nwaitingnodes = c 100 0.69/0.79 c # number of nodes added to the contingent of the total nodes 0.69/0.79 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.69/0.79 c heuristics/crossover/nodesofs = c 750 0.69/0.79 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 30] 0.69/0.79 c heuristics/crossover/freq = c -1 0.69/0.79 c # additional number of allowed LP iterations 0.69/0.79 c # [type: int, range: [0,2147483647], default: 1000] 0.69/0.79 c heuristics/coefdiving/maxlpiterofs = c 1500 0.69/0.79 c # maximal fraction of diving LP iterations compared to node LP iterations 0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.69/0.79 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.69/0.79 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: 10] 0.69/0.79 c heuristics/coefdiving/freq = c -1 0.69/0.79 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: -1] 0.69/0.79 c presolving/probing/maxrounds = c 0 0.69/0.79 c # should presolving try to simplify knapsacks 0.69/0.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.69/0.79 c constraints/knapsack/simplifyinequalities = c TRUE 0.69/0.79 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.69/0.79 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.69/0.79 c constraints/knapsack/disaggregation = c FALSE 0.69/0.79 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.69/0.79 c # [type: int, range: [-1,2147483647], default: -1] 0.69/0.79 c constraints/knapsack/maxnumcardlift = c 0 0.69/0.79 c # should presolving try to simplify inequalities 0.69/0.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.69/0.80 c constraints/linear/simplifyinequalities = c TRUE 0.69/0.80 c # maximal number of separation rounds in the root node (-1: unlimited) 0.69/0.80 c # [type: int, range: [-1,2147483647], default: -1] 0.69/0.80 c separating/maxroundsroot = c 5 0.69/0.80 c # maximal number of separation rounds per node (-1: unlimited) 0.69/0.80 c # [type: int, range: [-1,2147483647], default: 5] 0.69/0.80 c separating/maxrounds = c 1 0.69/0.80 c # solving stops, if the given number of solutions were found (-1: no limit) 0.69/0.80 c # [type: int, range: [-1,2147483647], default: -1] 0.69/0.80 c limits/solutions = c 1 0.69/0.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.69/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.69/0.80 c limits/memory = c 1620 0.69/0.80 c # maximal time in seconds to run 0.69/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.69/0.80 c limits/time = c 1791 0.69/0.80 c # frequency for displaying node information lines 0.69/0.80 c # [type: int, range: [-1,2147483647], default: 100] 0.69/0.80 c display/freq = c 10000 0.69/0.80 c ----------------------------------------------------------------------------------------------- 0.69/0.80 c start solving problem 0.69/0.80 c 1.59/1.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.59/1.64 c 1.3s| 1 | 0 | 1359 | 30M| 0 | 654 |4177 | 11k| 11k|4177 | 11k| 0 | 0 | 0 | 3.630262e+02 | -- | Inf 2.69/2.79 c 2.4s| 1 | 0 | 1878 | 30M| 0 | 681 |4177 | 11k| 11k|4177 | 11k| 128 | 0 | 0 | 4.163475e+02 | -- | Inf 3.98/4.00 c 3.6s| 1 | 0 | 2603 | 30M| 0 | 662 |4177 | 11k| 11k|4177 | 11k| 304 | 0 | 0 | 4.662174e+02 | -- | Inf 5.29/5.31 c 4.9s| 1 | 0 | 3250 | 31M| 0 | 775 |4177 | 11k| 11k|4177 | 11k| 443 | 0 | 0 | 4.800216e+02 | -- | Inf 7.29/7.35 c 7.0s| 1 | 0 | 4180 | 31M| 0 | 883 |4177 | 11k| 11k|4177 | 12k| 578 | 0 | 0 | 4.968576e+02 | -- | Inf 11.08/11.13 c 10.7s| 1 | 0 | 5254 | 32M| 0 | 781 |4177 | 11k| 11k|4177 | 12k| 737 | 0 | 0 | 5.302360e+02 | -- | Inf 36.07/36.11 c 35.6s| 1 | 2 | 5254 | 32M| 0 | 781 |4177 | 11k| 11k|4177 | 12k| 737 | 0 | 18 | 5.302360e+02 | -- | Inf 1072.42/1072.89 c 1068s| 10000 | 2879 |421063 | 58M| 102 | - |4177 | 14k|3662 | 0 | 0 | 737 |8754 |3541 | 6.632177e+02 | -- | Inf 1797.67/1798.40 c 1797.67/1798.40 c SCIP Status : solving was interrupted [time limit reached] 1797.67/1798.40 c Solving Time (sec) : 1791.01 1797.67/1798.40 c Solving Nodes : 18301 1797.67/1798.40 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1797.67/1798.40 c Dual Bound : +6.76073752088575e+02 1797.67/1798.40 c Gap : infinite 1797.67/1798.40 c NODE 18301 1797.67/1798.40 c DUAL BOUND 676.074 1797.67/1798.40 c PRIMAL BOUND 1e+20 1797.67/1798.40 c GAP 1e+20 1797.67/1798.40 s UNKNOWN 1797.67/1798.40 c SCIP Status : solving was interrupted [time limit reached] 1797.67/1798.40 c Solving Time : 1791.01 1797.67/1798.40 c Original Problem : 1797.67/1798.40 c Problem name : HOME/instance-1868600-1245129026.opb 1797.67/1798.40 c Variables : 4622 (4622 binary, 0 integer, 0 implicit integer, 0 continuous) 1797.67/1798.40 c Constraints : 12569 initial, 12569 maximal 1797.67/1798.40 c Presolved Problem : 1797.67/1798.40 c Problem name : t_HOME/instance-1868600-1245129026.opb 1797.67/1798.40 c Variables : 4177 (4177 binary, 0 integer, 0 implicit integer, 0 continuous) 1797.67/1798.40 c Constraints : 11502 initial, 14528 maximal 1797.67/1798.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1797.67/1798.40 c trivial : 0.00 0 0 0 0 0 0 0 0 1797.67/1798.40 c dualfix : 0.01 0 0 0 0 0 0 0 0 1797.67/1798.40 c boundshift : 0.00 0 0 0 0 0 0 0 0 1797.67/1798.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1797.67/1798.40 c implics : 0.05 0 295 0 0 0 0 0 0 1797.77/1798.40 c probing : 0.00 0 0 0 0 0 0 0 0 1797.77/1798.40 c knapsack : 0.05 0 0 0 0 0 0 0 0 1797.77/1798.40 c linear : 0.27 145 5 0 145 0 1067 408 868 1797.77/1798.40 c logicor : 0.05 0 0 0 0 0 0 0 0 1797.77/1798.40 c root node : - 2 - - 2 - - - - 1797.77/1798.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1797.77/1798.40 c integral : 0 0 0 15612 0 94 764 0 0 30412 1797.77/1798.40 c knapsack : 810 5 143419 0 1 1946 201486 1000 0 0 1797.77/1798.40 c logicor : 10692+ 5 131362 0 1 2120 652048 0 0 0 1797.77/1798.40 c countsols : 0 0 0 0 1 0 0 0 0 0 1797.77/1798.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1797.77/1798.40 c integral : 704.64 0.00 0.00 704.64 0.00 1797.77/1798.40 c knapsack : 13.55 0.01 13.54 0.00 0.00 1797.77/1798.40 c logicor : 8.65 0.02 8.63 0.00 0.00 1797.77/1798.40 c countsols : 0.00 0.00 0.00 0.00 0.00 1797.77/1798.40 c Propagators : Time Calls Cutoffs DomReds 1797.77/1798.40 c rootredcost : 0.03 0 0 0 1797.77/1798.40 c pseudoobj : 51.53 143582 0 0 1797.77/1798.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1797.77/1798.40 c propagation : 1.71 4066 4063 45813 42.1 1310 14.6 - 1797.77/1798.40 c infeasible LP : 1.11 411 410 1224 16.0 131 11.4 0 1797.77/1798.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1797.77/1798.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1797.77/1798.40 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1797.77/1798.40 c applied globally : - - - 15872 24.8 - - - 1797.77/1798.40 c applied locally : - - - 0 0.0 - - - 1797.77/1798.40 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1797.77/1798.40 c cut pool : 0.00 4 - - 560 - (maximal pool size: 2674) 1797.77/1798.40 c redcost : 8.87 15337 0 0 0 0 1797.77/1798.40 c impliedbounds : 0.02 5 0 0 0 0 1797.77/1798.40 c intobj : 0.00 0 0 0 0 0 1797.77/1798.40 c gomory : 2.63 5 0 0 2291 0 1797.77/1798.40 c strongcg : 1.12 5 0 0 2500 0 1797.77/1798.40 c cmir : 0.00 0 0 0 0 0 1797.77/1798.40 c flowcover : 0.00 0 0 0 0 0 1797.77/1798.40 c clique : 0.26 5 0 0 34 0 1797.77/1798.40 c zerohalf : 0.00 0 0 0 0 0 1797.77/1798.40 c mcf : 0.04 1 0 0 0 0 1797.77/1798.40 c Pricers : Time Calls Vars 1797.77/1798.40 c problem variables: 0.00 0 0 1797.77/1798.40 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1797.77/1798.40 c relpscost : 704.60 15612 94 764 0 0 30412 1797.77/1798.40 c pscost : 0.00 0 0 0 0 0 0 1797.77/1798.40 c inference : 0.00 1 0 0 0 0 2 1797.77/1798.40 c mostinf : 0.00 0 0 0 0 0 0 1797.77/1798.40 c leastinf : 0.00 0 0 0 0 0 0 1797.77/1798.40 c fullstrong : 0.00 0 0 0 0 0 0 1797.77/1798.40 c allfullstrong : 0.00 0 0 0 0 0 0 1797.77/1798.40 c random : 0.00 0 0 0 0 0 0 1797.77/1798.40 c Primal Heuristics : Time Calls Found 1797.77/1798.40 c LP solutions : 0.00 - 0 1797.77/1798.40 c pseudo solutions : 0.00 - 0 1797.77/1798.40 c simplerounding : 0.00 0 0 1797.77/1798.40 c rounding : 0.00 0 0 1797.77/1798.40 c shifting : 0.00 0 0 1797.77/1798.40 c intshifting : 0.00 0 0 1797.77/1798.40 c oneopt : 0.00 0 0 1797.77/1798.40 c fixandinfer : 0.00 0 0 1797.77/1798.40 c feaspump : 0.00 0 0 1797.77/1798.40 c coefdiving : 0.00 0 0 1797.77/1798.40 c pscostdiving : 0.00 0 0 1797.77/1798.40 c fracdiving : 0.00 0 0 1797.77/1798.40 c veclendiving : 0.00 0 0 1797.77/1798.40 c intdiving : 0.00 0 0 1797.77/1798.40 c actconsdiving : 0.00 0 0 1797.77/1798.40 c objpscostdiving : 0.00 0 0 1797.77/1798.40 c rootsoldiving : 0.00 0 0 1797.77/1798.40 c linesearchdiving : 0.00 0 0 1797.77/1798.40 c guideddiving : 0.00 0 0 1797.77/1798.40 c octane : 0.00 0 0 1797.77/1798.40 c rens : 0.00 0 0 1797.77/1798.40 c rins : 0.00 0 0 1797.77/1798.40 c localbranching : 0.00 0 0 1797.77/1798.40 c mutation : 0.00 0 0 1797.77/1798.40 c crossover : 0.00 0 0 1797.77/1798.40 c dins : 0.00 0 0 1797.77/1798.40 c LP : Time Calls Iterations Iter/call Iter/sec 1797.77/1798.40 c primal LP : 0.01 0 0 0.00 0.00 1797.77/1798.40 c dual LP : 883.31 15960 767797 48.11 869.23 1797.77/1798.40 c barrier LP : 0.00 0 0 0.00 - 1797.77/1798.40 c diving/probing LP: 0.00 0 0 0.00 - 1797.77/1798.40 c strong branching : 701.13 5087 493212 96.96 703.45 1797.77/1798.40 c (at root node) : - 18 15836 879.78 - 1797.77/1798.40 c conflict analysis: 0.00 0 0 0.00 - 1797.77/1798.40 c B&B Tree : 1797.77/1798.40 c number of runs : 1 1797.77/1798.40 c nodes : 18301 1797.77/1798.40 c nodes (total) : 18301 1797.77/1798.40 c nodes left : 6110 1797.77/1798.40 c max depth : 102 1797.77/1798.40 c max depth (total): 102 1797.77/1798.40 c backtracks : 1968 (10.8%) 1797.77/1798.40 c delayed cutoffs : 6004 1797.77/1798.40 c repropagations : 15195 (207800 domain reductions, 1477 cutoffs) 1797.77/1798.40 c avg switch length: 4.36 1797.77/1798.40 c switching time : 12.71 1797.77/1798.40 c Solution : 1797.77/1798.40 c Solutions found : 0 (0 improvements) 1797.77/1798.40 c Primal Bound : - 1797.77/1798.40 c Dual Bound : +6.76073752088575e+02 1797.77/1798.40 c Gap : infinite 1797.77/1798.40 c Root Dual Bound : +5.30236032478637e+02 1797.87/1798.56 c Time complete: 1797.93.
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-1868600-1245129026/watcher-1868600-1245129026 -o /tmp/evaluation-result-1868600-1245129026/solver-1868600-1245129026 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868600-1245129026.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.97 0.98 0.99 3/64 8717 /proc/meminfo: memFree=1780288/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=4324 CPUtime=0 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 180503440 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0 /proc/8717/statm: 1081 458 295 886 0 191 0 [startup+0.038106 s] /proc/loadavg: 0.97 0.98 0.99 3/64 8717 /proc/meminfo: memFree=1780288/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=9960 CPUtime=0.03 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 1808 0 0 0 3 0 0 0 18 0 1 0 180503440 10199040 1790 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0 /proc/8717/statm: 2490 1790 351 886 0 1600 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9960 [startup+0.1011 s] /proc/loadavg: 0.97 0.98 0.99 3/64 8717 /proc/meminfo: memFree=1780288/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=14420 CPUtime=0.08 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 2926 0 0 0 8 0 0 0 18 0 1 0 180503440 14766080 2908 1992294400 4194304 7823515 548682068736 18446744073709551615 6908089 0 0 4096 0 0 0 0 17 1 0 0 /proc/8717/statm: 3605 2908 351 886 0 2715 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14420 [startup+0.301137 s] /proc/loadavg: 0.97 0.98 0.99 3/64 8717 /proc/meminfo: memFree=1780288/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=36604 CPUtime=0.29 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 8592 0 0 0 26 3 0 0 19 0 1 0 180503440 37482496 8220 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 9151 8220 432 886 0 8261 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36604 [startup+0.701211 s] /proc/loadavg: 0.97 0.98 0.99 3/64 8717 /proc/meminfo: memFree=1780288/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=49836 CPUtime=0.69 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 11877 0 0 0 59 10 0 0 22 0 1 0 180503440 51032064 11505 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 12459 11505 440 886 0 11569 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 49836 [startup+1.50136 s] /proc/loadavg: 0.97 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1721592/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=67620 CPUtime=1.49 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 16392 0 0 0 137 12 0 0 21 0 1 0 180503440 69242880 15669 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 16905 15669 522 886 0 16015 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 67620 [startup+3.10166 s] /proc/loadavg: 0.97 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1718264/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=71400 CPUtime=3.09 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 17598 0 0 0 292 17 0 0 25 0 1 0 180503440 73113600 16842 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 17850 16842 552 886 0 16960 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 71400 [startup+6.30125 s] /proc/loadavg: 0.97 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1711416/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=76168 CPUtime=6.29 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 19004 0 0 0 609 20 0 0 25 0 1 0 180503440 77996032 18069 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 19042 18069 553 886 0 18152 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 76168 [startup+12.7024 s] /proc/loadavg: 0.97 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1707640/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=77960 CPUtime=12.69 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 19545 0 0 0 1246 23 0 0 25 0 1 0 180503440 79831040 18610 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 19490 18610 557 886 0 18600 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77960 [startup+25.5018 s] /proc/loadavg: 0.98 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1706488/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=79028 CPUtime=25.48 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 19849 0 0 0 2522 26 0 0 25 0 1 0 180503440 80924672 18914 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 19757 18914 557 886 0 18867 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 79028 [startup+51.1015 s] /proc/loadavg: 0.98 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1706552/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=79028 CPUtime=51.06 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 19851 0 0 0 5073 33 0 0 25 0 1 0 180503440 80924672 18916 1992294400 4194304 7823515 548682068736 18446744073709551615 6211001 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 19757 18916 558 886 0 18867 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 79028 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1706488/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=79028 CPUtime=102.25 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 19851 0 0 0 10177 48 0 0 25 0 1 0 180503440 80924672 18916 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 19757 18916 558 886 0 18867 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 79028 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1706296/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=79228 CPUtime=162.22 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 19909 0 0 0 16159 63 0 0 25 0 1 0 180503440 81129472 18974 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 19807 18974 564 886 0 18917 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 79228 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1705272/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=80628 CPUtime=222.2 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 20793 0 0 0 22139 81 0 0 25 0 1 0 180503440 82563072 19209 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 20157 19209 564 886 0 19267 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 80628 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1702712/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=82916 CPUtime=282.18 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 23281 0 0 0 28116 102 0 0 25 0 1 0 180503440 84905984 19824 1992294400 4194304 7823515 548682068736 18446744073709551615 6135498 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 20729 19824 564 886 0 19839 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 82916 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1697656/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=88108 CPUtime=342.16 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 27003 0 0 0 34094 122 0 0 25 0 1 0 180503440 90222592 21077 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 22027 21077 564 886 0 21137 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 88108 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1693816/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=91336 CPUtime=402.14 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 27982 0 0 0 40071 143 0 0 25 0 1 0 180503440 93528064 22030 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 22834 22030 564 886 0 21944 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 91336 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1692664/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=93148 CPUtime=462.12 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 29009 0 0 0 46051 161 0 0 25 0 1 0 180503440 95383552 22327 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 23287 22327 564 886 0 22397 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 93148 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1691192/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=94512 CPUtime=522.1 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 34264 0 0 0 52028 182 0 0 25 0 1 0 180503440 96780288 22709 1992294400 4194304 7823515 548682068736 18446744073709551615 6212582 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 23628 22709 564 886 0 22738 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 94512 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1691704/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=94724 CPUtime=582.08 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 36770 0 0 0 58006 202 0 0 25 0 1 0 180503440 96997376 22691 1992294400 4194304 7823515 548682068736 18446744073709551615 6099745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 23681 22691 564 886 0 22791 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 94724 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 3/65 8718 /proc/meminfo: memFree=1691000/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=94968 CPUtime=642.07 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 42821 0 0 0 63983 224 0 0 25 0 1 0 180503440 97247232 22731 1992294400 4194304 7823515 548682068736 18446744073709551615 6237308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 23742 22731 564 886 0 22852 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 94968 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1675320/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=109328 CPUtime=1061.92 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 100965 0 0 0 105814 378 0 0 25 0 1 0 180503440 111951872 26275 1992294400 4194304 7823515 548682068736 18446744073709551615 6236651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 27332 26275 564 886 0 26442 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 109328 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1671992/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=112404 CPUtime=1121.9 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 110164 0 0 0 111790 400 0 0 25 0 1 0 180503440 115101696 26908 1992294400 4194304 7823515 548682068736 18446744073709551615 6110670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 28101 26908 564 886 0 27211 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 112404 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1667896/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=116628 CPUtime=1181.88 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 111746 0 0 0 117771 417 0 0 25 0 1 0 180503440 119427072 28414 1992294400 4194304 7823515 548682068736 18446744073709551615 6237736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 29157 28414 564 886 0 28267 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 116628 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1666808/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=119472 CPUtime=1241.86 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 114966 0 0 0 123748 438 0 0 25 0 1 0 180503440 122339328 28962 1992294400 4194304 7823515 548682068736 18446744073709551615 6110595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 29868 28962 564 886 0 28978 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 119472 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1666296/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=119364 CPUtime=1301.85 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 130216 0 0 0 129722 463 0 0 25 0 1 0 180503440 122228736 28778 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 29841 28778 564 886 0 28951 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 119364 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1661304/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=123432 CPUtime=1361.82 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 139059 0 0 0 135697 485 0 0 25 0 1 0 180503440 126394368 30024 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 30858 30024 564 886 0 29968 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 123432 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1659000/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=125948 CPUtime=1421.81 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 153090 0 0 0 141673 508 0 0 25 0 1 0 180503440 128970752 30583 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 31487 30583 564 886 0 30597 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 125948 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1657912/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=128348 CPUtime=1481.78 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 154242 0 0 0 147651 527 0 0 25 0 1 0 180503440 131428352 31138 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 32087 31138 564 886 0 31197 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 128348 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1653304/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=131648 CPUtime=1541.75 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 162587 0 0 0 153623 552 0 0 25 0 1 0 180503440 134807552 32010 1992294400 4194304 7823515 548682068736 18446744073709551615 6110794 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 32912 32010 564 886 0 32022 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 131648 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1649784/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=135076 CPUtime=1601.74 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 166701 0 0 0 159602 572 0 0 25 0 1 0 180503440 138317824 32879 1992294400 4194304 7823515 548682068736 18446744073709551615 6157748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 33769 32879 564 886 0 32879 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 135076 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1649016/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=135788 CPUtime=1661.72 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 191745 0 0 0 165572 600 0 0 25 0 1 0 180503440 139046912 32624 1992294400 4194304 7823515 548682068736 18446744073709551615 6099765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 33947 32624 564 886 0 33057 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 135788 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1646264/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=138864 CPUtime=1721.7 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 211032 0 0 0 171543 627 0 0 25 0 1 0 180503440 142196736 33739 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 34716 33739 564 886 0 33826 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 138864 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1646712/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=139012 CPUtime=1781.68 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 221129 0 0 0 177518 650 0 0 25 0 1 0 180503440 142348288 33626 1992294400 4194304 7823515 548682068736 18446744073709551615 6206081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 34753 33626 564 886 0 33863 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 139012 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1645624/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=139204 CPUtime=1791.28 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 224096 0 0 0 178473 655 0 0 25 0 1 0 180503440 142544896 33928 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 34801 33928 564 886 0 33911 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 139204 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1644984/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=139832 CPUtime=1794.48 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 224214 0 0 0 178791 657 0 0 25 0 1 0 180503440 143187968 34046 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 34958 34046 564 886 0 34068 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (KiB) 139832 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1646712/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=138344 CPUtime=1796.07 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 224600 0 0 0 178950 657 0 0 25 0 1 0 180503440 141664256 33724 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 34586 33724 564 886 0 33696 0 Current children cumulated CPU time (s) 1796.07 Current children cumulated vsize (KiB) 138344 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1646136/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=138344 CPUtime=1796.87 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 224636 0 0 0 179030 657 0 0 25 0 1 0 180503440 141664256 33760 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 34586 33760 564 886 0 33696 0 Current children cumulated CPU time (s) 1796.87 Current children cumulated vsize (KiB) 138344 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1646136/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=138896 CPUtime=1797.67 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 224688 0 0 0 179110 657 0 0 25 0 1 0 180503440 142229504 33812 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8717/statm: 34724 33812 564 886 0 33834 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 138896 [startup+1798.51 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8718 /proc/meminfo: memFree=1645944/2055920 swapFree=4192812/4192956 [pid=8717] ppid=8715 vsize=138896 CPUtime=1797.87 /proc/8717/stat : 8717 (pbscip.linux.x8) R 8715 8717 8653 0 -1 4194304 224694 0 0 0 179130 657 0 0 25 0 1 0 180503440 142229504 33818 1992294400 4194304 7823515 548682068736 18446744073709551615 5875896 0 0 4096 0 0 0 0 17 0 0 0 /proc/8717/statm: 34724 33818 569 886 0 33834 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 138896 Child status: 0 Real time (s): 1798.56 CPU time (s): 1797.94 CPU user time (s): 1791.34 CPU system time (s): 6.604 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 139860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.34 system time used= 6.604 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 224698 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 1992 runsolver used 1.41678 second user time and 3.64045 second system time The end
Begin job on node7 at 2009-06-16 07:10:26 IDJOB=1868600 IDBENCH=1467 IDSOLVER=683 FILE ID=node7/1868600-1245129026 PBS_JOBID= 9363713 Free space on /tmp= 66272 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868600-1245129026/watcher-1868600-1245129026 -o /tmp/evaluation-result-1868600-1245129026/solver-1868600-1245129026 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868600-1245129026.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 03090e2b7426cc03a4be73b62ee3d658 RANDOM SEED=665509673 node7.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.274 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.274 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1780768 kB Buffers: 23968 kB Cached: 179080 kB SwapCached: 0 kB Active: 71028 kB Inactive: 145876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1780768 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 10224 kB Writeback: 0 kB Mapped: 23668 kB Slab: 44224 kB Committed_AS: 153560 kB PageTables: 1444 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66260 MiB End job on node7 at 2009-06-16 07:40:25