Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1797.68 | 1798.41 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb |
MD5SUM | 6d44efaff34237725f88a3d0685c8f91 |
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 | 6.49401 |
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 | 20605 |
Total number of constraints | 59851 |
Number of constraints which are clauses | 58675 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1176 |
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 | 41 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 134 |
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.90/0.90 c SCIP version 1.1.0.7 0.90/0.90 c LP-Solver Clp 1.8.2 0.90/0.90 c user parameter file <scip.set> not found - using default parameters 0.90/0.90 c read problem <HOME/instance-1868567-1245128330.opb> 0.90/0.90 c original problem has 20605 variables (20605 bin, 0 int, 0 impl, 0 cont) and 59851 constraints 1.10/1.17 c No objective function, only one solution is needed. 1.10/1.17 c start presolving problem 1.10/1.17 c presolving: 2.19/2.27 c (round 1) 898 del vars, 504 del conss, 166 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 988596 impls, 0 clqs 2.29/2.36 c (round 2) 899 del vars, 1974 del conss, 167 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 988596 impls, 0 clqs 2.39/2.41 c (round 3) 907 del vars, 1990 del conss, 174 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 988883 impls, 0 clqs 2.39/2.47 c (round 4) 907 del vars, 1996 del conss, 175 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 988930 impls, 0 clqs 2.49/2.52 c (round 5) 909 del vars, 1999 del conss, 175 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 989028 impls, 0 clqs 2.89/2.98 c (round 6) 909 del vars, 2001 del conss, 175 chg bounds, 588 chg sides, 1190 chg coeffs, 57850 upgd conss, 989028 impls, 0 clqs 3.39/3.42 c presolving (7 rounds): 3.39/3.42 c 909 deleted vars, 2001 deleted constraints, 175 tightened bounds, 0 added holes, 588 changed sides, 1190 changed coefficients 3.39/3.42 c 989028 implications, 0 cliques 3.39/3.42 c presolved problem has 19696 variables (19696 bin, 0 int, 0 impl, 0 cont) and 57850 constraints 3.39/3.42 c 1176 constraints of type <knapsack> 3.39/3.42 c 56674 constraints of type <logicor> 3.39/3.42 c transformed objective value is always integral (scale: 1) 3.39/3.42 c Presolving Time: 1.98 3.39/3.42 c SATUNSAT-LIN 3.39/3.42 c ----------------------------------------------------------------------------------------------- 3.39/3.42 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 0] 3.39/3.42 c separating/flowcover/freq = c -1 3.39/3.42 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 0] 3.39/3.42 c separating/cmir/freq = c -1 3.39/3.42 c # additional number of allowed LP iterations 3.39/3.42 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.42 c heuristics/veclendiving/maxlpiterofs = c 1500 3.39/3.42 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.42 c heuristics/veclendiving/maxlpiterquot = c 0.075 3.39/3.42 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.42 c heuristics/veclendiving/freq = c -1 3.39/3.42 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 1] 3.39/3.42 c heuristics/simplerounding/freq = c -1 3.39/3.42 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.42 c heuristics/shifting/freq = c -1 3.39/3.42 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 1] 3.39/3.42 c heuristics/rounding/freq = c -1 3.39/3.42 c # additional number of allowed LP iterations 3.39/3.42 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.42 c heuristics/rootsoldiving/maxlpiterofs = c 1500 3.39/3.42 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 3.39/3.42 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 3.39/3.42 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 20] 3.39/3.42 c heuristics/rootsoldiving/freq = c -1 3.39/3.42 c # number of nodes added to the contingent of the total nodes 3.39/3.42 c # [type: longint, range: [0,9223372036854775807], default: 500] 3.39/3.42 c heuristics/rens/nodesofs = c 2000 3.39/3.42 c # minimum percentage of integer variables that have to be fixable 3.39/3.42 c # [type: real, range: [0,1], default: 0.5] 3.39/3.42 c heuristics/rens/minfixingrate = c 0.3 3.39/3.42 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 0] 3.39/3.42 c heuristics/rens/freq = c -1 3.39/3.42 c # additional number of allowed LP iterations 3.39/3.42 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.42 c heuristics/pscostdiving/maxlpiterofs = c 1500 3.39/3.42 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.42 c heuristics/pscostdiving/maxlpiterquot = c 0.075 3.39/3.42 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.42 c heuristics/pscostdiving/freq = c -1 3.39/3.42 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 1] 3.39/3.42 c heuristics/oneopt/freq = c -1 3.39/3.42 c # additional number of allowed LP iterations 3.39/3.42 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.42 c heuristics/objpscostdiving/maxlpiterofs = c 1500 3.39/3.42 c # maximal fraction of diving LP iterations compared to total iteration number 3.39/3.42 c # [type: real, range: [0,1], default: 0.01] 3.39/3.42 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 3.39/3.42 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 20] 3.39/3.42 c heuristics/objpscostdiving/freq = c -1 3.39/3.42 c # additional number of allowed LP iterations 3.39/3.42 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.42 c heuristics/linesearchdiving/maxlpiterofs = c 1500 3.39/3.42 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.42 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 3.39/3.42 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.42 c heuristics/linesearchdiving/freq = c -1 3.39/3.42 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.42 c heuristics/intshifting/freq = c -1 3.39/3.42 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.42 c heuristics/intdiving/maxlpiterquot = c 0.075 3.39/3.42 c # additional number of allowed LP iterations 3.39/3.42 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.42 c heuristics/guideddiving/maxlpiterofs = c 1500 3.39/3.42 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.42 c heuristics/guideddiving/maxlpiterquot = c 0.075 3.39/3.42 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.42 c heuristics/guideddiving/freq = c -1 3.39/3.42 c # additional number of allowed LP iterations 3.39/3.42 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.42 c heuristics/fracdiving/maxlpiterofs = c 1500 3.39/3.42 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.42 c heuristics/fracdiving/maxlpiterquot = c 0.075 3.39/3.42 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.42 c heuristics/fracdiving/freq = c -1 3.39/3.42 c # additional number of allowed LP iterations 3.39/3.42 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.42 c heuristics/feaspump/maxlpiterofs = c 2000 3.39/3.42 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 20] 3.39/3.42 c heuristics/feaspump/freq = c -1 3.39/3.42 c # minimum percentage of integer variables that have to be fixed 3.39/3.42 c # [type: real, range: [0,1], default: 0.666] 3.39/3.42 c heuristics/crossover/minfixingrate = c 0.5 3.39/3.42 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 3.39/3.42 c # [type: real, range: [0,1], default: 0.1] 3.39/3.42 c heuristics/crossover/nodesquot = c 0.15 3.39/3.42 c # number of nodes without incumbent change that heuristic should wait 3.39/3.42 c # [type: longint, range: [0,9223372036854775807], default: 200] 3.39/3.42 c heuristics/crossover/nwaitingnodes = c 100 3.39/3.42 c # number of nodes added to the contingent of the total nodes 3.39/3.42 c # [type: longint, range: [0,9223372036854775807], default: 500] 3.39/3.42 c heuristics/crossover/nodesofs = c 750 3.39/3.42 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 30] 3.39/3.42 c heuristics/crossover/freq = c -1 3.39/3.42 c # additional number of allowed LP iterations 3.39/3.42 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.42 c heuristics/coefdiving/maxlpiterofs = c 1500 3.39/3.42 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.42 c heuristics/coefdiving/maxlpiterquot = c 0.075 3.39/3.42 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.42 c heuristics/coefdiving/freq = c -1 3.39/3.42 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: -1] 3.39/3.42 c presolving/probing/maxrounds = c 0 3.39/3.42 c # should presolving try to simplify knapsacks 3.39/3.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 3.39/3.42 c constraints/knapsack/simplifyinequalities = c TRUE 3.39/3.42 c # should disaggregation of knapsack constraints be allowed in preprocessing? 3.39/3.42 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 3.39/3.42 c constraints/knapsack/disaggregation = c FALSE 3.39/3.42 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 3.39/3.42 c # [type: int, range: [-1,2147483647], default: -1] 3.39/3.42 c constraints/knapsack/maxnumcardlift = c 0 3.39/3.42 c # should presolving try to simplify inequalities 3.39/3.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 3.39/3.44 c constraints/linear/simplifyinequalities = c TRUE 3.39/3.44 c # maximal number of separation rounds in the root node (-1: unlimited) 3.39/3.44 c # [type: int, range: [-1,2147483647], default: -1] 3.39/3.44 c separating/maxroundsroot = c 5 3.39/3.44 c # maximal number of separation rounds per node (-1: unlimited) 3.39/3.44 c # [type: int, range: [-1,2147483647], default: 5] 3.39/3.44 c separating/maxrounds = c 1 3.39/3.44 c # solving stops, if the given number of solutions were found (-1: no limit) 3.39/3.44 c # [type: int, range: [-1,2147483647], default: -1] 3.39/3.44 c limits/solutions = c 1 3.39/3.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 3.39/3.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 3.39/3.44 c limits/memory = c 1620 3.39/3.44 c # maximal time in seconds to run 3.39/3.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 3.39/3.44 c limits/time = c 1791 3.39/3.44 c # frequency for displaying node information lines 3.39/3.44 c # [type: int, range: [-1,2147483647], default: 100] 3.39/3.44 c display/freq = c 10000 3.39/3.44 c ----------------------------------------------------------------------------------------------- 3.39/3.44 c start solving problem 3.39/3.44 c 5.39/5.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 5.39/5.42 c 4.1s| 1 | 0 | 2921 | 138M| 0 |1551 | 19k| 57k| 57k| 19k| 57k| 0 | 0 | 0 | 1.003984e+03 | -- | Inf 12.99/13.00 c 11.4s| 1 | 0 | 3976 | 139M| 0 |1697 | 19k| 57k| 57k| 19k| 57k| 109 | 0 | 0 | 1.047922e+03 | -- | Inf 17.59/17.68 c 16.1s| 1 | 0 | 4825 | 140M| 0 |1917 | 19k| 57k| 57k| 19k| 58k| 252 | 0 | 0 | 1.063706e+03 | -- | Inf 37.56/37.69 c 36.0s| 1 | 0 | 5934 | 140M| 0 |1897 | 19k| 57k| 57k| 19k| 58k| 441 | 0 | 0 | 1.152882e+03 | -- | Inf 46.16/46.29 c 44.6s| 1 | 0 | 7036 | 141M| 0 |1957 | 19k| 57k| 57k| 19k| 58k| 573 | 0 | 0 | 1.171467e+03 | -- | Inf 56.55/56.61 c 54.9s| 1 | 0 | 8335 | 142M| 0 |2005 | 19k| 57k| 57k| 19k| 58k| 689 | 0 | 0 | 1.192167e+03 | -- | Inf 113.14/113.21 c 111s| 1 | 2 | 8335 | 142M| 0 |2005 | 19k| 57k| 57k| 19k| 58k| 689 | 0 | 21 | 1.192167e+03 | -- | Inf 1797.17/1797.96 c 1797.17/1797.96 c SCIP Status : solving was interrupted [time limit reached] 1797.17/1797.96 c Solving Time (sec) : 1791.02 1797.17/1797.96 c Solving Nodes : 1283 1797.17/1797.96 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1797.17/1797.96 c Dual Bound : +1.47387681243274e+03 1797.17/1797.96 c Gap : infinite 1797.17/1797.96 c NODE 1283 1797.17/1797.96 c DUAL BOUND 1473.88 1797.17/1797.96 c PRIMAL BOUND 1e+20 1797.17/1797.96 c GAP 1e+20 1797.17/1797.96 s UNKNOWN 1797.17/1797.96 c SCIP Status : solving was interrupted [time limit reached] 1797.17/1797.96 c Solving Time : 1791.02 1797.17/1797.96 c Original Problem : 1797.17/1797.96 c Problem name : HOME/instance-1868567-1245128330.opb 1797.17/1797.96 c Variables : 20605 (20605 binary, 0 integer, 0 implicit integer, 0 continuous) 1797.17/1797.96 c Constraints : 59851 initial, 59851 maximal 1797.17/1797.96 c Presolved Problem : 1797.17/1797.96 c Problem name : t_HOME/instance-1868567-1245128330.opb 1797.17/1797.96 c Variables : 19696 (19696 binary, 0 integer, 0 implicit integer, 0 continuous) 1797.17/1797.96 c Constraints : 57850 initial, 58031 maximal 1797.17/1797.96 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1797.17/1797.96 c trivial : 0.02 1 0 0 0 0 0 0 0 1797.17/1797.96 c dualfix : 0.02 0 0 0 0 0 0 0 0 1797.17/1797.96 c boundshift : 0.00 0 0 0 0 0 0 0 0 1797.17/1797.96 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1797.17/1797.96 c implics : 0.26 0 731 0 0 0 0 0 0 1797.17/1797.96 c probing : 0.00 0 0 0 0 0 0 0 0 1797.17/1797.96 c knapsack : 0.28 0 0 0 0 0 0 0 0 1797.17/1797.96 c linear : 1.14 174 3 0 175 0 2001 588 1190 1797.17/1797.96 c logicor : 0.11 0 0 0 0 0 0 0 0 1797.17/1797.96 c root node : - 0 - - 0 - - - - 1797.17/1797.96 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1797.17/1797.96 c integral : 0 0 0 928 0 5 8 0 0 1838 1797.17/1797.96 c knapsack : 1176 5 10246 0 0 35 3209 1000 0 0 1797.17/1797.96 c logicor : 56674+ 5 9528 0 0 18 253540 0 0 0 1797.17/1797.96 c countsols : 0 0 0 0 0 0 0 0 0 0 1797.17/1797.96 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1797.17/1797.96 c integral : 841.64 0.00 0.00 841.64 0.00 1797.17/1797.96 c knapsack : 2.21 0.02 2.19 0.00 0.00 1797.17/1797.96 c logicor : 2.49 0.03 2.46 0.00 0.00 1797.17/1797.96 c countsols : 0.00 0.00 0.00 0.00 0.00 1797.17/1797.96 c Propagators : Time Calls Cutoffs DomReds 1797.17/1797.96 c rootredcost : 0.01 0 0 0 1797.17/1797.96 c pseudoobj : 34.32 10273 0 0 1797.17/1797.96 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1797.17/1797.96 c propagation : 0.01 53 53 284 21.1 13 16.2 - 1797.17/1797.96 c infeasible LP : 1.13 319 0 0 0.0 0 0.0 0 1797.17/1797.96 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1797.17/1797.96 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1797.17/1797.96 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1797.17/1797.96 c applied globally : - - - 188 14.6 - - - 1797.17/1797.96 c applied locally : - - - 0 0.0 - - - 1797.17/1797.96 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1797.17/1797.96 c cut pool : 0.00 4 - - 396 - (maximal pool size: 2881) 1797.17/1797.96 c redcost : 2.79 928 0 0 0 0 1797.17/1797.96 c impliedbounds : 0.05 5 0 0 0 0 1797.17/1797.96 c intobj : 0.00 0 0 0 0 0 1797.17/1797.96 c gomory : 18.42 5 0 0 2500 0 1797.17/1797.96 c strongcg : 12.38 5 0 0 2500 0 1797.17/1797.96 c cmir : 0.00 0 0 0 0 0 1797.17/1797.96 c flowcover : 0.00 0 0 0 0 0 1797.17/1797.96 c clique : 1.62 5 0 0 38 0 1797.17/1797.96 c zerohalf : 0.00 0 0 0 0 0 1797.17/1797.96 c mcf : 0.61 1 0 0 0 0 1797.17/1797.96 c Pricers : Time Calls Vars 1797.17/1797.96 c problem variables: 0.00 0 0 1797.17/1797.96 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1797.17/1797.96 c relpscost : 841.64 928 5 8 0 0 1838 1797.17/1797.96 c pscost : 0.00 0 0 0 0 0 0 1797.17/1797.96 c inference : 0.00 0 0 0 0 0 0 1797.17/1797.96 c mostinf : 0.00 0 0 0 0 0 0 1797.17/1797.96 c leastinf : 0.00 0 0 0 0 0 0 1797.17/1797.96 c fullstrong : 0.00 0 0 0 0 0 0 1797.17/1797.96 c allfullstrong : 0.00 0 0 0 0 0 0 1797.17/1797.96 c random : 0.00 0 0 0 0 0 0 1797.17/1797.96 c Primal Heuristics : Time Calls Found 1797.17/1797.96 c LP solutions : 0.00 - 0 1797.17/1797.96 c pseudo solutions : 0.00 - 0 1797.17/1797.96 c simplerounding : 0.00 0 0 1797.17/1797.96 c rounding : 0.00 0 0 1797.17/1797.96 c shifting : 0.00 0 0 1797.17/1797.96 c intshifting : 0.00 0 0 1797.17/1797.96 c oneopt : 0.00 0 0 1797.17/1797.96 c fixandinfer : 0.00 0 0 1797.17/1797.96 c feaspump : 0.00 0 0 1797.17/1797.96 c coefdiving : 0.00 0 0 1797.17/1797.96 c pscostdiving : 0.00 0 0 1797.17/1797.96 c fracdiving : 0.00 0 0 1797.17/1797.96 c veclendiving : 0.00 0 0 1797.17/1797.96 c intdiving : 0.00 0 0 1797.17/1797.96 c actconsdiving : 0.00 0 0 1797.17/1797.96 c objpscostdiving : 0.00 0 0 1797.17/1797.96 c rootsoldiving : 0.00 0 0 1797.17/1797.96 c linesearchdiving : 0.00 0 0 1797.17/1797.96 c guideddiving : 0.00 0 0 1797.17/1797.96 c octane : 0.00 0 0 1797.17/1797.96 c rens : 0.00 0 0 1797.17/1797.96 c rins : 0.00 0 0 1797.17/1797.96 c localbranching : 0.00 0 0 1797.17/1797.96 c mutation : 0.00 0 0 1797.17/1797.96 c crossover : 0.00 0 0 1797.17/1797.96 c dins : 0.00 0 0 1797.17/1797.96 c LP : Time Calls Iterations Iter/call Iter/sec 1797.17/1797.96 c primal LP : 0.78 0 0 0.00 0.00 1797.17/1797.96 c dual LP : 843.99 1251 310529 248.22 367.93 1797.17/1797.96 c barrier LP : 0.00 0 0 0.00 - 1797.17/1797.96 c diving/probing LP: 0.00 0 0 0.00 - 1797.17/1797.96 c strong branching : 841.13 414 276824 668.66 329.11 1797.17/1797.96 c (at root node) : - 21 14427 687.00 - 1797.17/1797.96 c conflict analysis: 0.00 0 0 0.00 - 1797.17/1797.96 c B&B Tree : 1797.17/1797.96 c number of runs : 1 1797.17/1797.96 c nodes : 1283 1797.17/1797.96 c nodes (total) : 1283 1797.17/1797.96 c nodes left : 352 1797.17/1797.96 c max depth : 136 1797.17/1797.96 c max depth (total): 136 1797.17/1797.96 c backtracks : 226 (17.6%) 1797.17/1797.96 c delayed cutoffs : 204 1797.17/1797.96 c repropagations : 512 (21856 domain reductions, 13 cutoffs) 1797.17/1797.96 c avg switch length: 5.80 1797.17/1797.96 c switching time : 4.16 1797.17/1797.96 c Solution : 1797.17/1797.96 c Solutions found : 0 (0 improvements) 1797.17/1797.96 c Primal Bound : - 1797.17/1797.96 c Dual Bound : +1.47387681243274e+03 1797.17/1797.96 c Gap : infinite 1797.17/1797.96 c Root Dual Bound : +1.19216739542119e+03 1797.57/1798.40 c Time complete: 1797.67.
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-1868567-1245128330/watcher-1868567-1245128330 -o /tmp/evaluation-result-1868567-1245128330/solver-1868567-1245128330 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868567-1245128330.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.99 0.97 0.98 3/64 892 /proc/meminfo: memFree=1466232/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=5812 CPUtime=0 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 180433760 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/892/statm: 1453 512 341 1256 0 192 0 [startup+0.0172791 s] /proc/loadavg: 0.99 0.97 0.98 3/64 892 /proc/meminfo: memFree=1466232/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=10368 CPUtime=0.01 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 1577 0 0 0 1 0 0 0 18 0 1 0 180433760 10616832 1561 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/892/statm: 2592 1561 376 1256 0 1331 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10368 [startup+0.101297 s] /proc/loadavg: 0.99 0.97 0.98 3/64 892 /proc/meminfo: memFree=1466232/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=15924 CPUtime=0.09 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 2968 0 0 0 8 1 0 0 18 0 1 0 180433760 16306176 2952 1992294400 4194304 9342243 548682068736 18446744073709551615 8251513 0 0 4096 0 0 0 0 17 1 0 0 /proc/892/statm: 3981 2952 376 1256 0 2720 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15924 [startup+0.301339 s] /proc/loadavg: 0.99 0.97 0.98 3/64 892 /proc/meminfo: memFree=1466232/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=23780 CPUtime=0.3 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 4927 0 0 0 28 2 0 0 19 0 1 0 180433760 24350720 4911 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/892/statm: 5945 4911 376 1256 0 4684 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 23780 [startup+0.701425 s] /proc/loadavg: 0.99 0.97 0.98 3/64 892 /proc/meminfo: memFree=1466232/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=39332 CPUtime=0.69 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 8807 0 0 0 65 4 0 0 22 0 1 0 180433760 40275968 8791 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/892/statm: 9833 8791 376 1256 0 8572 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39332 [startup+1.50159 s] /proc/loadavg: 0.99 0.97 0.98 2/65 893 /proc/meminfo: memFree=1393328/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=118452 CPUtime=1.5 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 28626 0 0 0 136 14 0 0 25 0 1 0 180433760 121294848 28256 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 29613 28256 474 1256 0 28352 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 118452 [startup+3.10194 s] /proc/loadavg: 0.99 0.97 0.98 2/65 893 /proc/meminfo: memFree=1327344/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=179840 CPUtime=3.09 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 45266 0 0 0 269 40 0 0 25 0 1 0 180433760 184156160 43202 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 44960 43202 485 1256 0 43699 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 179840 [startup+6.30162 s] /proc/loadavg: 0.99 0.97 0.98 2/65 893 /proc/meminfo: memFree=1229168/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=263912 CPUtime=6.29 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 62037 0 0 0 580 49 0 0 25 0 1 0 180433760 270245888 59748 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 65978 59748 641 1256 0 64717 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 263912 [startup+12.702 s] /proc/loadavg: 0.99 0.97 0.98 2/65 893 /proc/meminfo: memFree=1220848/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=269124 CPUtime=12.69 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 64140 0 0 0 1194 75 0 0 25 0 1 0 180433760 275582976 61851 1992294400 4194304 9342243 548682068736 18446744073709551615 6978094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 67281 61851 654 1256 0 66020 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 269124 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.98 2/65 893 /proc/meminfo: memFree=1219248/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=271252 CPUtime=25.48 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 64513 0 0 0 2471 77 0 0 25 0 1 0 180433760 277762048 62224 1992294400 4194304 9342243 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 67813 62224 654 1256 0 66552 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 271252 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.98 2/65 893 /proc/meminfo: memFree=1213872/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=274048 CPUtime=51.05 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 65841 0 0 0 5022 83 0 0 25 0 1 0 180433760 280625152 63552 1992294400 4194304 9342243 548682068736 18446744073709551615 6939152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 68512 63552 654 1256 0 67251 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 274048 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 893 /proc/meminfo: memFree=1210096/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=306724 CPUtime=102.24 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 85685 0 0 0 10126 98 0 0 25 0 1 0 180433760 314085376 64500 1992294400 4194304 9342243 548682068736 18446744073709551615 6960240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 76681 64500 659 1256 0 75420 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 306724 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1204976/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=309344 CPUtime=162.2 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 113631 0 0 0 16105 115 0 0 25 0 1 0 180433760 316768256 65774 1992294400 4194304 9342243 548682068736 18446744073709551615 6960832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 77336 65774 673 1256 0 76075 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 309344 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1204784/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=309524 CPUtime=222.19 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 136682 0 0 0 22088 131 0 0 25 0 1 0 180433760 316952576 65819 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 77381 65819 673 1256 0 76120 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 309524 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1204656/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=309524 CPUtime=282.15 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 165989 0 0 0 28065 150 0 0 25 0 1 0 180433760 316952576 65818 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 77381 65818 673 1256 0 76120 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 309524 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1201328/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=313012 CPUtime=342.14 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 195880 0 0 0 34044 170 0 0 25 0 1 0 180433760 320524288 66633 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 78253 66633 673 1256 0 76992 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 313012 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1201328/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=313012 CPUtime=402.12 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 218485 0 0 0 40028 184 0 0 25 0 1 0 180433760 320524288 66636 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 78253 66636 673 1256 0 76992 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 313012 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1205552/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=286632 CPUtime=462.09 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 236691 0 0 0 46012 197 0 0 25 0 1 0 180433760 293511168 65614 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 71658 65614 673 1256 0 70397 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 286632 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1200240/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=314508 CPUtime=522.06 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 265459 0 0 0 51990 216 0 0 25 0 1 0 180433760 322056192 66942 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 78627 66942 673 1256 0 77366 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 314508 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1199152/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=318604 CPUtime=582.04 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 283392 0 0 0 57976 228 0 0 25 0 1 0 180433760 326250496 67193 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 79651 67193 673 1256 0 78390 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 318604 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1198896/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=291156 CPUtime=642.02 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 285753 0 0 0 63966 236 0 0 25 0 1 0 180433760 298143744 67259 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 72789 67259 673 1256 0 71528 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 291156 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1189232/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=305076 CPUtime=1121.83 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 363706 0 0 0 111868 315 0 0 25 0 1 0 180433760 312397824 69640 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 76269 69640 680 1256 0 75008 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 305076 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1184048/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=302844 CPUtime=1181.8 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 382806 0 0 0 117850 330 0 0 25 0 1 0 180433760 310112256 69802 1992294400 4194304 9342243 548682068736 18446744073709551615 4265989 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 75711 69802 680 1256 0 74450 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 302844 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1189552/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=309276 CPUtime=1241.78 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 402292 0 0 0 123832 346 0 0 25 0 1 0 180433760 316698624 69592 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 77319 69592 680 1256 0 76058 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 309276 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1185200/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=336208 CPUtime=1301.77 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 434342 0 0 0 129806 371 0 0 25 0 1 0 180433760 344276992 70614 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 84052 70614 680 1256 0 82791 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 336208 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1185520/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=305060 CPUtime=1361.74 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 441605 0 0 0 135793 381 0 0 25 0 1 0 180433760 312381440 70523 1992294400 4194304 9342243 548682068736 18446744073709551615 6966355 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 76265 70523 680 1256 0 75004 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 305060 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1180272/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=337072 CPUtime=1421.72 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 476782 0 0 0 141768 404 0 0 25 0 1 0 180433760 345161728 71835 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 84268 71835 680 1256 0 83007 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 337072 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1183152/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=337996 CPUtime=1481.68 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 501767 0 0 0 147746 422 0 0 25 0 1 0 180433760 346107904 71101 1992294400 4194304 9342243 548682068736 18446744073709551615 6960307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 84499 71101 680 1256 0 83238 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 337996 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1186224/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=309504 CPUtime=1541.67 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 521301 0 0 0 153727 440 0 0 25 0 1 0 180433760 316932096 70355 1992294400 4194304 9342243 548682068736 18446744073709551615 6965812 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 77376 70355 680 1256 0 76115 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 309504 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1179824/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=339392 CPUtime=1601.64 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 557926 0 0 0 159697 467 0 0 25 0 1 0 180433760 347537408 71930 1992294400 4194304 9342243 548682068736 18446744073709551615 6978052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 84848 71930 680 1256 0 83587 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 339392 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1185968/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=311132 CPUtime=1661.62 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 588299 0 0 0 165670 492 0 0 25 0 1 0 180433760 318599168 70314 1992294400 4194304 9342243 548682068736 18446744073709551615 6960270 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 77783 70314 680 1256 0 76522 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 311132 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1184816/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=309404 CPUtime=1721.59 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 610969 0 0 0 171646 513 0 0 25 0 1 0 180433760 316829696 70682 1992294400 4194304 9342243 548682068736 18446744073709551615 6959577 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 77351 70682 680 1256 0 76090 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 309404 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1179824/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=342072 CPUtime=1781.57 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 631827 0 0 0 177625 532 0 0 25 0 1 0 180433760 350281728 71938 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 85518 71938 680 1256 0 84257 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 342072 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1179632/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=342072 CPUtime=1791.17 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 634977 0 0 0 178583 534 0 0 25 0 1 0 180433760 350281728 71973 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 85518 71973 680 1256 0 84257 0 Current children cumulated CPU time (s) 1791.17 Current children cumulated vsize (KiB) 342072 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1179632/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=342072 CPUtime=1794.37 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 636020 0 0 0 178902 535 0 0 25 0 1 0 180433760 350281728 71972 1992294400 4194304 9342243 548682068736 18446744073709551615 6960639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 85518 71972 680 1256 0 84257 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (KiB) 342072 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1179696/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=342072 CPUtime=1795.96 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 637061 0 0 0 179061 535 0 0 25 0 1 0 180433760 350281728 71971 1992294400 4194304 9342243 548682068736 18446744073709551615 5874771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 85518 71971 680 1256 0 84257 0 Current children cumulated CPU time (s) 1795.96 Current children cumulated vsize (KiB) 342072 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1179632/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=342072 CPUtime=1796.76 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 637064 0 0 0 179141 535 0 0 25 0 1 0 180433760 350281728 71974 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 85518 71974 680 1256 0 84257 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 342072 [startup+1797.9 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1179632/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=342072 CPUtime=1797.17 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 637064 0 0 0 179181 536 0 0 25 0 1 0 180433760 350281728 71974 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/892/statm: 85518 71974 680 1256 0 84257 0 Current children cumulated CPU time (s) 1797.17 Current children cumulated vsize (KiB) 342072 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1179632/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=305140 CPUtime=1797.57 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 637069 0 0 0 179221 536 0 0 25 0 1 0 180433760 312463360 70936 1992294400 4194304 9342243 548682068736 18446744073709551615 4813827 0 0 4096 0 0 0 0 17 1 0 0 /proc/892/statm: 76285 70936 685 1256 0 75024 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (KiB) 305140 [startup+1798.4 s] /proc/loadavg: 0.99 0.97 0.98 2/65 899 /proc/meminfo: memFree=1439792/2055920 swapFree=4192812/4192956 [pid=892] ppid=890 vsize=10972 CPUtime=1797.67 /proc/892/stat : 892 (pbscip.linux.x8) R 890 892 826 0 -1 4194304 637071 0 0 0 179227 540 0 0 25 0 1 0 180433760 11235328 1886 1992294400 4194304 9342243 548682068736 18446744073709551615 8312599 0 0 4096 0 0 0 0 17 1 0 0 /proc/892/statm: 2487 1886 687 1256 0 1226 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 10972 Child status: 0 Real time (s): 1798.41 CPU time (s): 1797.68 CPU user time (s): 1792.28 CPU system time (s): 5.40518 CPU usage (%): 99.9596 Max. virtual memory (cumulated for all children) (KiB): 349152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.28 system time used= 5.40518 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 637074 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= 2275 runsolver used 1.39479 second user time and 3.9584 second system time The end
Begin job on node10 at 2009-06-16 06:58:51 IDJOB=1868567 IDBENCH=1450 IDSOLVER=684 FILE ID=node10/1868567-1245128330 PBS_JOBID= 9363683 Free space on /tmp= 65988 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868567-1245128330/watcher-1868567-1245128330 -o /tmp/evaluation-result-1868567-1245128330/solver-1868567-1245128330 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868567-1245128330.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6d44efaff34237725f88a3d0685c8f91 RANDOM SEED=308056195 node10.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.263 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.263 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: 1466648 kB Buffers: 35312 kB Cached: 484344 kB SwapCached: 0 kB Active: 85504 kB Inactive: 447468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1466648 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 13500 kB Writeback: 0 kB Mapped: 23136 kB Slab: 42336 kB Committed_AS: 174856 kB PageTables: 1376 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= 65976 MiB End job on node10 at 2009-06-16 07:28:49