Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | OPTIMUM | 10.5674 | 10.5684 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo |
MD5SUM | 4d45122e251aca3cc1eaa7c8fe64e1aa |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 11 |
Best CPU time to get the best result obtained on this benchmark | 0.230964 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 64 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1265 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2705295-1278572932.wbo> 0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 64 impl, 0 cont) and 166 constraints 0.00/0.00 c problem read 0.00/0.00 c presolving settings loaded 0.00/0.00 c presolving: 0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 23 clqs 0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 23 clqs 0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 23 clqs 0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 2 impls, 23 clqs 0.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings 0.00/0.02 c presolving (5 rounds): 0.00/0.02 c 2 deleted vars, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients 0.00/0.02 c 83 implications, 23 cliques 0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 63 impl, 0 cont) and 159 constraints 0.00/0.02 c 1 constraints of type <knapsack> 0.00/0.02 c 24 constraints of type <setppc> 0.00/0.02 c 63 constraints of type <linear> 0.00/0.02 c 63 constraints of type <indicator> 0.00/0.02 c 8 constraints of type <logicor> 0.00/0.02 c transformed objective value is always integral (scale: 1) 0.00/0.02 c Presolving Time: 0.01 0.00/0.02 c - non default parameters ---------------------------------------------------------------------- 0.00/0.02 c # SCIP version 1.2.1.3 0.00/0.02 c 0.00/0.02 c # frequency for displaying node information lines 0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100] 0.00/0.02 c display/freq = 10000 0.00/0.02 c 0.00/0.02 c # maximal time in seconds to run 0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.02 c limits/time = 1790 0.00/0.02 c 0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.02 c limits/memory = 3420 0.00/0.02 c 0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.00/0.02 c # [type: int, range: [1,2], default: 1] 0.00/0.02 c timing/clocktype = 2 0.00/0.02 c 0.00/0.02 c # should presolving try to simplify inequalities 0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.02 c constraints/linear/simplifyinequalities = TRUE 0.00/0.02 c 0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.02 c constraints/indicator/addCouplingCons = TRUE 0.00/0.02 c 0.00/0.02 c # should presolving try to simplify knapsacks 0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE 0.00/0.02 c 0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.02 c separating/rapidlearning/freq = 0 0.00/0.02 c 0.00/0.02 c ----------------------------------------------------------------------------------------------- 0.00/0.02 c start solving 0.00/0.02 c 0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.00/0.02 c 0.0s| 1 | 0 | 14 | - |1176k| 0 | 0 | 295 | 159 | 295 | 33 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.03 c 0.0s| 1 | 0 | 35 | - |1188k| 0 | 17 | 295 | 159 | 295 | 44 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.03 c 0.0s| 1 | 0 | 46 | - |1237k| 0 | 26 | 295 | 159 | 295 | 52 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.04 c 0.0s| 1 | 0 | 60 | - |1402k| 0 | 31 | 295 | 159 | 295 | 57 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.05 c 0.0s| 1 | 0 | 81 | - |1484k| 0 | 34 | 295 | 159 | 295 | 61 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf 0.04/0.06 c 0.1s| 1 | 0 | 100 | - |1496k| 0 | 38 | 295 | 159 | 295 | 64 | 31 | 0 | 0 | 0.000000e+00 | -- | Inf 0.04/0.07 c 0.1s| 1 | 0 | 117 | - |1524k| 0 | 35 | 295 | 159 | 295 | 66 | 33 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.11 c 0.1s| 1 | 2 | 117 | - |1530k| 0 | 35 | 295 | 159 | 295 | 66 | 33 | 0 | 15 | 0.000000e+00 | -- | Inf 0.09/0.11 o 2855 0.09/0.11 c y 0.1s| 2 | 1 | 117 | 0.0 |1533k| 1 | - | 295 | 159 | 0 | 0 | 33 | 0 | 15 | 0.000000e+00 | 2.855000e+03 | Inf 0.29/0.32 o 356 0.29/0.32 c * 0.3s| 82 | 73 | 748 | 7.8 |1643k| 51 | - | 295 | 172 | 295 | 64 | 39 | 13 | 179 | 0.000000e+00 | 3.560000e+02 | Inf 0.29/0.34 o 289 0.29/0.34 c * 0.3s| 118 | 91 | 845 | 6.2 |1688k| 53 | - | 295 | 180 | 295 | 66 | 41 | 21 | 193 | 0.000000e+00 | 2.890000e+02 | Inf 0.39/0.41 o 229 0.39/0.41 c * 0.4s| 191 | 120 | 1080 | 5.1 |1770k| 68 | - | 295 | 202 | 295 | 67 | 47 | 46 | 280 | 0.000000e+00 | 2.290000e+02 | Inf 0.39/0.41 o 84 0.39/0.41 c * 0.4s| 193 | 72 | 1084 | 5.0 |1736k| 68 | - | 295 | 205 | 295 | 64 | 47 | 49 | 280 | 0.000000e+00 | 8.400000e+01 | Inf 4.59/4.68 c 4.7s| 10000 | 968 | 33911 | 3.4 |5859k| 68 | 3 | 295 |3372 | 295 | 71 | 937 |8054 |1317 | 0.000000e+00 | 8.400000e+01 | Inf 8.70/8.72 o 66 8.70/8.72 c * 8.7s| 19708 | 1673 | 64787 | 3.3 |8547k| 68 | - | 295 |4008 | 295 | 65 |1707 | 16k|1416 | 0.000000e+00 | 6.600000e+01 | Inf 8.89/8.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 8.89/8.91 c 8.9s| 20000 | 1703 | 67648 | 3.4 |8477k| 68 | 29 | 295 |3130 | 295 | 64 |1750 | 16k|1427 | 0.000000e+00 | 6.600000e+01 | Inf 9.90/9.91 o 34 9.90/9.91 c * 9.9s| 21892 | 1823 | 82624 | 3.8 |8979k| 68 | - | 295 |2946 | 295 | 66 |2003 | 18k|1443 | 0.000000e+00 | 3.400000e+01 | Inf 10.29/10.33 o 15 10.29/10.33 c *10.3s| 22397 | 1592 | 90898 | 4.1 |8615k| 68 | - | 295 |2295 | 295 | 68 |2067 | 18k|1455 | 0.000000e+00 | 1.500000e+01 | Inf 10.29/10.39 o 11 10.29/10.39 c *10.4s| 22449 | 1275 | 91831 | 4.1 |8132k| 68 | - | 295 |2114 | 295 | 64 |2071 | 18k|1455 | 0.000000e+00 | 1.100000e+01 | Inf 10.49/10.56 c 10.49/10.56 c SCIP Status : problem is solved [optimal solution found] 10.49/10.56 c Solving Time (sec) : 10.55 10.49/10.56 c Solving Nodes : 22545 10.49/10.56 c Primal Bound : +1.10000000000000e+01 (126 solutions) 10.49/10.56 c Dual Bound : +1.10000000000000e+01 10.49/10.56 c Gap : 0.00 % 10.49/10.56 s OPTIMUM FOUND 10.49/10.56 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 10.49/10.56 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 10.49/10.56 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 10.49/10.56 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 10.49/10.56 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 10.49/10.56 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 10.49/10.56 v x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 10.49/10.56 v -x4 x3 -x2 -x1 10.49/10.56 c SCIP Status : problem is solved [optimal solution found] 10.49/10.56 c Solving Time : 10.55 10.49/10.56 c Original Problem : 10.49/10.56 c Problem name : HOME/instance-2705295-1278572932.wbo 10.49/10.56 c Variables : 297 (233 binary, 0 integer, 64 implicit integer, 0 continuous) 10.49/10.56 c Constraints : 166 initial, 166 maximal 10.49/10.56 c Presolved Problem : 10.49/10.56 c Problem name : t_HOME/instance-2705295-1278572932.wbo 10.49/10.56 c Variables : 295 (232 binary, 0 integer, 63 implicit integer, 0 continuous) 10.49/10.56 c Constraints : 159 initial, 4011 maximal 10.49/10.56 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 10.49/10.56 c trivial : 0.00 0 0 0 0 0 0 0 0 10.49/10.56 c dualfix : 0.00 2 0 0 0 0 0 0 0 10.49/10.56 c boundshift : 0.00 0 0 0 0 0 0 0 0 10.49/10.56 c inttobinary : 0.00 0 0 0 0 0 0 0 0 10.49/10.56 c implics : 0.00 0 0 0 0 0 0 0 0 10.49/10.56 c probing : 0.01 0 0 0 0 0 0 0 0 10.49/10.56 c knapsack : 0.00 0 0 0 0 0 0 0 0 10.49/10.56 c setppc : 0.00 0 0 0 0 0 0 0 0 10.49/10.56 c linear : 0.00 0 0 0 63 0 6 1 0 10.49/10.56 c indicator : 0.00 0 0 0 0 0 1 0 0 10.49/10.56 c logicor : 0.00 0 0 0 0 0 0 0 0 10.49/10.56 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 10.49/10.56 c root node : - 104 - - 104 - - - - 10.49/10.56 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 10.49/10.56 c integral : 0 0 0 14562 0 3 262 0 0 15918 10.49/10.56 c knapsack : 1 6 94655 6402 0 454 220425 2 0 0 10.49/10.56 c setppc : 24 6 94182 6401 0 1052 47239 0 0 0 10.49/10.56 c linear : 63 6 93148 6402 0 1704 102179 2071 0 0 10.49/10.56 c indicator : 63 0 91364 6408 0 552 106261 0 0 0 10.49/10.56 c logicor : 8+ 6 34240 5241 0 2706 23530 0 0 0 10.49/10.56 c bounddisjunction : 0+ 0 21085 0 0 86 546 0 0 0 10.49/10.56 c countsols : 0 0 0 5287 0 0 0 0 0 0 10.49/10.56 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 10.49/10.56 c integral : 0.68 0.00 0.00 0.68 0.00 10.49/10.56 c knapsack : 1.41 0.00 1.40 0.00 0.00 10.49/10.56 c setppc : 0.12 0.00 0.12 0.00 0.00 10.49/10.56 c linear : 0.63 0.00 0.60 0.03 0.00 10.49/10.56 c indicator : 0.19 0.00 0.17 0.02 0.00 10.49/10.56 c logicor : 0.73 0.00 0.72 0.00 0.00 10.49/10.56 c bounddisjunction : 0.15 0.00 0.15 0.00 0.00 10.49/10.56 c countsols : 0.00 0.00 0.00 0.00 0.00 10.49/10.56 c Propagators : Time Calls Cutoffs DomReds 10.49/10.56 c vbounds : 0.10 16622 2 4323 10.49/10.56 c rootredcost : 0.01 9 0 52 10.49/10.56 c pseudoobj : 0.28 95565 1100 105709 10.49/10.56 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 10.49/10.56 c propagation : 0.21 7102 7091 44189 21.0 68 22.0 - 10.49/10.56 c infeasible LP : 0.15 2740 2737 15532 21.1 17 19.6 0 10.49/10.56 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 10.49/10.56 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 10.49/10.56 c pseudo solution : 0.00 2 2 16 25.3 0 0.0 - 10.49/10.56 c applied globally : - - - 19223 16.0 - - - 10.49/10.56 c applied locally : - - - 3 34.7 - - - 10.49/10.56 c Separators : Time Calls Cutoffs DomReds Cuts Conss 10.49/10.56 c cut pool : 0.00 4 - - 11 - (maximal pool size: 69) 10.49/10.56 c redcost : 0.10 14918 0 1708 0 0 10.49/10.56 c impliedbounds : 0.00 5 0 0 0 0 10.49/10.56 c intobj : 0.00 0 0 0 0 0 10.49/10.56 c cgmip : 0.00 0 0 0 0 0 10.49/10.56 c gomory : 0.01 5 0 0 35 0 10.49/10.56 c strongcg : 0.01 5 0 0 70 0 10.49/10.56 c cmir : 0.00 5 0 0 0 0 10.49/10.56 c flowcover : 0.01 5 0 0 1 0 10.49/10.56 c clique : 0.00 5 0 0 0 0 10.49/10.56 c zerohalf : 0.00 0 0 0 0 0 10.49/10.56 c mcf : 0.00 1 0 0 0 0 10.49/10.56 c rapidlearning : 0.01 1 0 0 0 0 10.49/10.56 c Pricers : Time Calls Vars 10.49/10.56 c problem variables: 0.00 0 0 10.49/10.56 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 10.49/10.56 c relpscost : 0.67 8154 3 262 0 0 15918 10.49/10.56 c pscost : 0.00 0 0 0 0 0 0 10.49/10.56 c inference : 0.08 5279 0 0 0 0 10559 10.49/10.56 c mostinf : 0.00 0 0 0 0 0 0 10.49/10.56 c leastinf : 0.00 0 0 0 0 0 0 10.49/10.56 c fullstrong : 0.00 0 0 0 0 0 0 10.49/10.56 c allfullstrong : 0.00 0 0 0 0 0 0 10.49/10.56 c random : 0.00 0 0 0 0 0 0 10.49/10.56 c Primal Heuristics : Time Calls Found 10.49/10.56 c LP solutions : 0.00 - 8 10.49/10.56 c pseudo solutions : 0.00 - 0 10.49/10.56 c oneopt : 0.01 8 0 10.49/10.56 c feaspump : 0.00 1 0 10.49/10.56 c linesearchdiving : 0.00 12 0 10.49/10.56 c guideddiving : 0.01 12 0 10.49/10.56 c fracdiving : 0.00 12 0 10.49/10.56 c veclendiving : 0.00 12 0 10.49/10.56 c coefdiving : 0.01 13 0 10.49/10.56 c pscostdiving : 0.00 13 0 10.49/10.56 c rootsoldiving : 0.00 10 0 10.49/10.56 c objpscostdiving : 0.00 11 0 10.49/10.56 c crossover : 0.07 10 0 10.49/10.56 c trivial : 0.00 2 0 10.49/10.56 c simplerounding : 0.01 8254 0 10.49/10.56 c zirounding : 0.01 1000 0 10.49/10.56 c rounding : 0.02 1238 0 10.49/10.56 c shifting : 0.03 352 0 10.49/10.56 c intshifting : 0.00 0 0 10.49/10.56 c twoopt : 0.00 0 0 10.49/10.56 c fixandinfer : 0.00 0 0 10.49/10.56 c intdiving : 0.00 0 0 10.49/10.56 c actconsdiving : 0.00 0 0 10.49/10.56 c octane : 0.00 0 0 10.49/10.56 c rens : 0.01 1 0 10.49/10.56 c rins : 0.00 0 0 10.49/10.56 c localbranching : 0.00 0 0 10.49/10.56 c mutation : 0.00 0 0 10.49/10.56 c dins : 0.00 0 0 10.49/10.56 c undercover : 0.00 0 0 10.49/10.56 c nlp : 0.00 0 0 10.49/10.56 c trysol : 0.02 210 118 10.49/10.56 c LP : Time Calls Iterations Iter/call Iter/sec 10.49/10.56 c primal LP : 0.00 0 0 0.00 - 10.49/10.56 c dual LP : 3.30 13255 93545 7.06 28342.28 10.49/10.56 c lex dual LP : 0.00 0 0 0.00 - 10.49/10.56 c barrier LP : 0.00 0 0 0.00 - 10.49/10.56 c diving/probing LP: 0.01 80 209 2.61 15174.62 10.49/10.56 c strong branching : 0.64 1455 27645 19.00 43417.90 10.49/10.56 c (at root node) : - 15 1334 88.93 - 10.49/10.56 c conflict analysis: 0.00 0 0 0.00 - 10.49/10.56 c B&B Tree : 10.49/10.56 c number of runs : 1 10.49/10.56 c nodes : 22545 10.49/10.56 c nodes (total) : 22545 10.49/10.56 c nodes left : 0 10.49/10.56 c max depth : 68 10.49/10.56 c max depth (total): 68 10.49/10.56 c backtracks : 3129 (13.9%) 10.49/10.56 c delayed cutoffs : 3021 10.49/10.56 c repropagations : 47137 (119679 domain reductions, 1096 cutoffs) 10.49/10.56 c avg switch length: 6.29 10.49/10.56 c switching time : 1.14 10.49/10.56 c Solution : 10.49/10.56 c Solutions found : 126 (9 improvements) 10.49/10.56 c First Solution : +2.85500000000000e+03 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trysol>) 10.49/10.56 c Primal Bound : +1.10000000000000e+01 (in run 1, after 22449 nodes, 10.38 seconds, depth 14, found by <relaxation>) 10.49/10.56 c Dual Bound : +1.10000000000000e+01 10.49/10.56 c Gap : 0.00 % 10.49/10.56 c Root Dual Bound : +0.00000000000000e+00 10.49/10.56 c Root Iterations : 117 10.49/10.56 c Time complete: 10.55.
OK 11
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705295-1278572932/watcher-2705295-1278572932 -o /tmp/evaluation-result-2705295-1278572932/solver-2705295-1278572932 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705295-1278572932.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 2/173 21467 /proc/meminfo: memFree=29941168/32951124 swapFree=67111528/67111528 [pid=21467] ppid=21465 vsize=12336 CPUtime=0 /proc/21467/stat : 21467 (pbscip.linux.x8) R 21465 21467 21369 0 -1 4202496 1934 0 0 0 0 0 0 0 21 0 1 0 25507937 12632064 1853 4089446400 4194304 10345943 140733584663328 18446744073709551615 9029003 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/21467/statm: 3084 1853 429 1502 0 1577 0 [startup+0.054722 s] /proc/loadavg: 0.00 0.00 0.00 2/173 21467 /proc/meminfo: memFree=29941168/32951124 swapFree=67111528/67111528 [pid=21467] ppid=21465 vsize=24500 CPUtime=0.04 /proc/21467/stat : 21467 (pbscip.linux.x8) R 21465 21467 21369 0 -1 4202496 5784 0 0 0 4 0 0 0 18 0 1 0 25507937 25088000 4796 4089446400 4194304 10345943 140733584663328 18446744073709551615 6132949 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21467/statm: 6125 4796 755 1502 0 4618 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 24500 [startup+0.100729 s] /proc/loadavg: 0.00 0.00 0.00 2/173 21467 /proc/meminfo: memFree=29941168/32951124 swapFree=67111528/67111528 [pid=21467] ppid=21465 vsize=29616 CPUtime=0.09 /proc/21467/stat : 21467 (pbscip.linux.x8) R 21465 21467 21369 0 -1 4202496 6652 0 0 0 8 1 0 0 18 0 1 0 25507937 30326784 5664 4089446400 4194304 10345943 140733584663328 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21467/statm: 7404 5664 780 1502 0 5897 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29616 [startup+0.300711 s] /proc/loadavg: 0.00 0.00 0.00 2/173 21467 /proc/meminfo: memFree=29941168/32951124 swapFree=67111528/67111528 [pid=21467] ppid=21465 vsize=29616 CPUtime=0.29 /proc/21467/stat : 21467 (pbscip.linux.x8) R 21465 21467 21369 0 -1 4202496 6672 0 0 0 28 1 0 0 18 0 1 0 25507937 30326784 5683 4089446400 4194304 10345943 140733584663328 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21467/statm: 7404 5683 783 1502 0 5897 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29616 [startup+0.700648 s] /proc/loadavg: 0.00 0.00 0.00 2/173 21467 /proc/meminfo: memFree=29941168/32951124 swapFree=67111528/67111528 [pid=21467] ppid=21465 vsize=29616 CPUtime=0.69 /proc/21467/stat : 21467 (pbscip.linux.x8) R 21465 21467 21369 0 -1 4202496 7004 0 0 0 66 3 0 0 18 0 1 0 25507937 30326784 6015 4089446400 4194304 10345943 140733584663328 18446744073709551615 7537483 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21467/statm: 7404 6015 790 1502 0 5897 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29616 [startup+1.50051 s] /proc/loadavg: 0.08 0.02 0.01 2/174 21468 /proc/meminfo: memFree=29918344/32951124 swapFree=67111528/67111528 [pid=21467] ppid=21465 vsize=30656 CPUtime=1.49 /proc/21467/stat : 21467 (pbscip.linux.x8) R 21465 21467 21369 0 -1 4202496 7484 0 0 0 144 5 0 0 20 0 1 0 25507937 31391744 6495 4089446400 4194304 10345943 140733584663328 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21467/statm: 7664 6495 790 1502 0 6157 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30656 [startup+3.10023 s] /proc/loadavg: 0.08 0.02 0.01 2/174 21468 /proc/meminfo: memFree=29917148/32951124 swapFree=67111528/67111528 [pid=21467] ppid=21465 vsize=31448 CPUtime=3.09 /proc/21467/stat : 21467 (pbscip.linux.x8) R 21465 21467 21369 0 -1 4202496 7724 0 0 0 302 7 0 0 25 0 1 0 25507937 32202752 6735 4089446400 4194304 10345943 140733584663328 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21467/statm: 7862 6735 790 1502 0 6355 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31448 [startup+6.30062 s] /proc/loadavg: 0.08 0.02 0.01 2/174 21468 /proc/meminfo: memFree=29917916/32951124 swapFree=67111528/67111528 [pid=21467] ppid=21465 vsize=29796 CPUtime=6.29 /proc/21467/stat : 21467 (pbscip.linux.x8) R 21465 21467 21369 0 -1 4202496 9461 0 0 0 618 11 0 0 25 0 1 0 25507937 30511104 6317 4089446400 4194304 10345943 140733584663328 18446744073709551615 6068933 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21467/statm: 7449 6317 790 1502 0 5942 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29796 Solver just ended. Dumping a history of the last processes samples [startup+7.90037 s] /proc/loadavg: 0.15 0.03 0.01 2/174 21468 /proc/meminfo: memFree=29918348/32951124 swapFree=67111528/67111528 [pid=21467] ppid=21465 vsize=31296 CPUtime=7.89 /proc/21467/stat : 21467 (pbscip.linux.x8) R 21465 21467 21369 0 -1 4202496 9639 0 0 0 776 13 0 0 25 0 1 0 25507937 32047104 6495 4089446400 4194304 10345943 140733584663328 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21467/statm: 7824 6495 790 1502 0 6317 0 Current children cumulated CPU time (s) 7.89 Current children cumulated vsize (KiB) 31296 [startup+9.50103 s] /proc/loadavg: 0.15 0.03 0.01 2/174 21468 /proc/meminfo: memFree=29917488/32951124 swapFree=67111528/67111528 [pid=21467] ppid=21465 vsize=32932 CPUtime=9.49 /proc/21467/stat : 21467 (pbscip.linux.x8) R 21465 21467 21369 0 -1 4202496 13467 0 0 0 934 15 0 0 25 0 1 0 25507937 33722368 6826 4089446400 4194304 10345943 140733584663328 18446744073709551615 6526150 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21467/statm: 8233 6826 790 1502 0 6726 0 Current children cumulated CPU time (s) 9.49 Current children cumulated vsize (KiB) 32932 [startup+10.301 s] /proc/loadavg: 0.15 0.03 0.01 3/179 21478 /proc/meminfo: memFree=29880496/32951124 swapFree=67111528/67111528 [pid=21467] ppid=21465 vsize=33568 CPUtime=10.29 /proc/21467/stat : 21467 (pbscip.linux.x8) R 21465 21467 21369 0 -1 4202496 17028 0 0 0 1013 16 0 0 25 0 1 0 25507937 34373632 6928 4089446400 4194304 10345943 140733584663328 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21467/statm: 8392 6928 790 1502 0 6885 0 Current children cumulated CPU time (s) 10.29 Current children cumulated vsize (KiB) 33568 [startup+10.5009 s] /proc/loadavg: 0.15 0.03 0.01 3/179 21478 /proc/meminfo: memFree=29880496/32951124 swapFree=67111528/67111528 [pid=21467] ppid=21465 vsize=33568 CPUtime=10.49 /proc/21467/stat : 21467 (pbscip.linux.x8) R 21465 21467 21369 0 -1 4202496 17032 0 0 0 1033 16 0 0 25 0 1 0 25507937 34373632 6932 4089446400 4194304 10345943 140733584663328 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21467/statm: 8392 6932 790 1502 0 6885 0 Current children cumulated CPU time (s) 10.49 Current children cumulated vsize (KiB) 33568 Child status: 0 Real time (s): 10.5684 CPU time (s): 10.5674 CPU user time (s): 10.3994 CPU system time (s): 0.167974 CPU usage (%): 99.9907 Max. virtual memory (cumulated for all children) (KiB): 37532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.3994 system time used= 0.167974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17036 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 134 runsolver used 0.014997 second user time and 0.039993 second system time The end
Begin job on node108 at 2010-07-08 09:08:52 IDJOB=2705295 IDBENCH=78775 IDSOLVER=1214 FILE ID=node108/2705295-1278572932 PBS_JOBID= 11240237 Free space on /tmp= 73484 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705295-1278572932/watcher-2705295-1278572932 -o /tmp/evaluation-result-2705295-1278572932/solver-2705295-1278572932 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705295-1278572932.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4d45122e251aca3cc1eaa7c8fe64e1aa RANDOM SEED=609831275 node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5362.99 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29941572 kB Buffers: 148528 kB Cached: 2649796 kB SwapCached: 0 kB Active: 1773008 kB Inactive: 1087812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29941572 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12992 kB Writeback: 0 kB AnonPages: 62476 kB Mapped: 14424 kB Slab: 85604 kB PageTables: 4496 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 182012 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73456 MiB End job on node108 at 2010-07-08 09:09:03