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-2705695-1278578604.wbo>
0.00/0.05 c original problem has 9440 variables (4848 bin, 0 int, 4592 impl, 0 cont) and 9201 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.05/0.09 c presolving:
0.09/0.18 c (round 1) 8800 del vars, 4400 del conss, 4400 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 16 clqs
0.09/0.19 c (round 2) 8800 del vars, 4400 del conss, 4592 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8800 impls, 16 clqs
0.39/0.40 c (round 3) 8800 del vars, 4400 del conss, 4592 chg bounds, 0 chg sides, 0 chg coeffs, 4609 upgd conss, 9184 impls, 16 clqs
0.39/0.46 c (0.4s) probing: 101/448 (22.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.46 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.46 c presolving (4 rounds):
0.39/0.46 c 8800 deleted vars, 4400 deleted constraints, 4592 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.46 c 9952 implications, 16 cliques
0.39/0.46 c presolved problem has 640 variables (448 bin, 0 int, 192 impl, 0 cont) and 4801 constraints
0.39/0.46 c 192 constraints of type <varbound>
0.39/0.46 c 1 constraints of type <knapsack>
0.39/0.46 c 4416 constraints of type <setppc>
0.39/0.46 c 192 constraints of type <indicator>
0.39/0.46 c transformed objective value is always integral (scale: 1)
0.39/0.46 c Presolving Time: 0.38
0.39/0.46 c - non default parameters ----------------------------------------------------------------------
0.39/0.46 c # SCIP version 1.2.1.3
0.39/0.46 c
0.39/0.46 c # frequency for displaying node information lines
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.46 c display/freq = 10000
0.39/0.46 c
0.39/0.46 c # maximal time in seconds to run
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/time = 1789.96
0.39/0.46 c
0.39/0.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/memory = 3420
0.39/0.46 c
0.39/0.46 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.46 c # [type: int, range: [1,2], default: 1]
0.39/0.46 c timing/clocktype = 2
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify inequalities
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/linear/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/indicator/addCouplingCons = TRUE
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify knapsacks
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.46 c separating/rapidlearning/freq = 0
0.39/0.46 c
0.39/0.46 c -----------------------------------------------------------------------------------------------
0.39/0.46 c start solving
0.39/0.46 c
0.39/0.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.46 c 0.4s| 1 | 0 | 16 | - | 27M| 0 | 0 | 640 |4801 | 640 | 17 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.62 c 0.6s| 1 | 0 | 45 | - | 27M| 0 | 10 | 640 |4801 | 640 | 148 | 131 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.63 c 0.6s| 1 | 0 | 65 | - | 27M| 0 | 0 | 640 |4801 | 640 | 280 | 263 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.63 c 0.6s| 1 | 0 | 143 | - | 27M| 0 | 22 | 640 |4801 | 640 | 395 | 378 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.64 c 0.6s| 1 | 0 | 218 | - | 27M| 0 | 0 | 640 |4801 | 640 | 475 | 458 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.65 c 0.6s| 1 | 0 | 282 | - | 27M| 0 | 18 | 640 |4801 | 640 | 544 | 527 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.65 c 0.6s| 1 | 0 | 327 | - | 27M| 0 | 0 | 640 |4801 | 640 | 613 | 596 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.66 c 0.6s| 1 | 0 | 351 | - | 27M| 0 | 8 | 640 |4801 | 640 | 674 | 657 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.66 c 0.6s| 1 | 0 | 391 | - | 27M| 0 | 18 | 640 |4801 | 640 | 728 | 711 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.67 c 0.6s| 1 | 0 | 423 | - | 27M| 0 | 0 | 640 |4801 | 640 | 799 | 782 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.68 c 0.6s| 1 | 0 | 474 | - | 27M| 0 | 33 | 640 |4801 | 640 | 831 | 814 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.71 c 0.7s| 1 | 0 | 537 | - | 27M| 0 | 14 | 640 |4801 | 640 | 888 | 871 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.74 c 0.7s| 1 | 0 | 596 | - | 27M| 0 | 30 | 640 |4801 | 640 | 938 | 921 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.79 c 0.7s| 1 | 0 | 688 | - | 28M| 0 | 8 | 640 |4801 | 640 | 980 | 963 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.82 c 0.8s| 1 | 0 | 906 | - | 28M| 0 | 19 | 640 |4801 | 640 |1015 | 998 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.99 c 0.9s| 1 | 2 | 906 | - | 28M| 0 | 19 | 640 |4801 | 640 |1015 | 998 | 0 | 18 | 0.000000e+00 | -- | Inf
2.10/2.19 o 12
2.10/2.19 c * 2.1s| 57 | 36 | 2252 | 24.0 | 28M| 14 | - | 640 |4841 | 640 | 679 |1060 | 40 | 565 | 0.000000e+00 | 1.200000e+01 | Inf
2.49/2.51 o 9
2.49/2.51 c * 2.5s| 84 | 46 | 2772 | 22.5 | 29M| 15 | - | 640 |4859 | 640 | 688 |1095 | 58 | 771 | 0.000000e+00 | 9.000000e+00 | Inf
2.49/2.52 o 7
2.49/2.52 c * 2.5s| 85 | 39 | 2801 | 22.6 | 29M| 15 | - | 640 |4859 | 640 | 696 |1103 | 58 | 777 | 0.000000e+00 | 7.000000e+00 | Inf
6.09/6.10 o 5
6.09/6.10 c l 6.1s| 1319 | 517 | 23229 | 16.9 | 32M| 39 | - | 640 |6108 | 640 | 766 |3895 |1308 |2083 | 0.000000e+00 | 5.000000e+00 | Inf
7.49/7.55 o 4
7.49/7.55 c * 7.5s| 1861 | 882 | 36667 | 19.2 | 34M| 39 | - | 640 |6602 | 640 | 753 |5016 |1814 |2173 | 0.000000e+00 | 4.000000e+00 | Inf
20.10/20.17 c 20.1s| 10000 | 2749 |152395 | 15.2 | 43M| 74 | 12 | 640 |8080 | 640 | 763 | 12k| 10k|2511 | 0.000000e+00 | 4.000000e+00 | Inf
34.10/34.10 o 3
34.10/34.10 c *34.1s| 19793 | 3924 |281156 | 14.2 | 48M| 75 | - | 640 |8276 | 640 | 760 | 20k| 21k|2814 | 0.000000e+00 | 3.000000e+00 | Inf
34.39/34.40 c 34.4s| 20000 | 3940 |283444 | 14.1 | 49M| 75 | 31 | 640 |8081 | 640 | 766 | 20k| 21k|2830 | 0.000000e+00 | 3.000000e+00 | Inf
47.79/47.82 c 47.8s| 30000 | 4850 |407197 | 13.5 | 55M| 114 | - | 640 |7904 | 0 | 0 | 26k| 32k|3299 | 0.000000e+00 | 3.000000e+00 | Inf
60.19/60.24 c 60.2s| 40000 | 5562 |517721 | 12.9 | 60M| 114 | - | 640 |9593 | 0 | 0 | 31k| 43k|3653 | 0.000000e+00 | 3.000000e+00 | Inf
73.29/73.39 c 73.3s| 50000 | 6101 |643797 | 12.9 | 64M| 114 | 10 | 640 |9266 | 640 | 768 | 35k| 53k|4038 | 0.000000e+00 | 3.000000e+00 | Inf
87.49/87.50 c 87.5s| 60000 | 6666 |779110 | 13.0 | 69M| 114 | - | 640 |9381 | 0 | 0 | 39k| 63k|4404 | 0.000000e+00 | 3.000000e+00 | Inf
101.40/101.47 c 101s| 70000 | 7079 |914151 | 13.0 | 72M| 122 | 12 | 640 |9647 | 640 | 761 | 43k| 74k|4684 | 0.000000e+00 | 3.000000e+00 | Inf
115.09/115.13 c 115s| 80000 | 7440 | 1040k| 13.0 | 76M| 123 | - | 640 |9748 | 0 | 0 | 46k| 87k|4947 | 0.000000e+00 | 3.000000e+00 | Inf
128.19/128.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.19/128.22 c 128s| 90000 | 7914 | 1153k| 12.8 | 80M| 123 | - | 640 |9037 | 0 | 0 | 50k| 99k|5163 | 0.000000e+00 | 3.000000e+00 | Inf
142.49/142.50 c 142s|100000 | 8452 | 1292k| 12.9 | 84M| 123 | 6 | 640 |9335 | 640 | 813 | 53k| 110k|5417 | 0.000000e+00 | 3.000000e+00 | Inf
156.49/156.50 c 156s|110000 | 8866 | 1425k| 12.9 | 88M| 123 | 22 | 640 | 10k| 640 | 753 | 57k| 122k|5654 | 0.000000e+00 | 3.000000e+00 | Inf
170.69/170.75 c 171s|120000 | 9195 | 1565k| 13.0 | 90M| 123 | - | 640 |9597 | 0 | 0 | 61k| 132k|5884 | 0.000000e+00 | 3.000000e+00 | Inf
185.10/185.10 c 185s|130000 | 9756 | 1704k| 13.1 | 94M| 123 | 19 | 640 |8996 | 640 | 854 | 65k| 143k|6095 | 0.000000e+00 | 3.000000e+00 | Inf
199.00/199.07 c 199s|140000 | 10027 | 1830k| 13.1 | 97M| 123 | - | 640 |7805 | 640 | 799 | 70k| 154k|6317 | 6.382979e-02 | 3.000000e+00 |4600.00%
212.59/212.63 c 213s|150000 | 9587 | 1937k| 12.9 | 97M| 127 | - | 640 |7188 | 0 | 0 | 76k| 166k|6431 | 1.666667e-01 | 3.000000e+00 |1700.00%
221.80/221.84 o 2
221.80/221.84 c * 222s|156832 | 6651 | 2009k| 12.8 | 87M| 127 | - | 640 |7628 | 640 | 813 | 80k| 174k|6522 | 2.000000e-01 | 2.000000e+00 | 900.00%
231.29/231.35 c
231.29/231.35 c SCIP Status : problem is solved [optimal solution found]
231.29/231.35 c Solving Time (sec) : 231.30
231.29/231.35 c Solving Nodes : 158514
231.29/231.35 c Primal Bound : +2.00000000000000e+00 (7 solutions)
231.29/231.35 c Dual Bound : +2.00000000000000e+00
231.29/231.35 c Gap : 0.00 %
231.29/231.36 s OPTIMUM FOUND
231.29/231.36 v -x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 x236 -x235
231.29/231.36 v -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214
231.29/231.36 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193
231.29/231.36 v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172
231.29/231.36 v -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151
231.29/231.36 v -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130
231.29/231.36 v -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
231.29/231.36 v -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85
231.29/231.36 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
231.29/231.36 v -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35
231.29/231.36 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9
231.29/231.36 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
231.29/231.36 c SCIP Status : problem is solved [optimal solution found]
231.29/231.36 c Solving Time : 231.30
231.29/231.36 c Original Problem :
231.29/231.36 c Problem name : HOME/instance-2705695-1278578604.wbo
231.29/231.36 c Variables : 9440 (4848 binary, 0 integer, 4592 implicit integer, 0 continuous)
231.29/231.36 c Constraints : 9201 initial, 9201 maximal
231.29/231.36 c Presolved Problem :
231.29/231.36 c Problem name : t_HOME/instance-2705695-1278578604.wbo
231.29/231.36 c Variables : 640 (448 binary, 0 integer, 192 implicit integer, 0 continuous)
231.29/231.36 c Constraints : 4801 initial, 10489 maximal
231.29/231.36 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
231.29/231.36 c trivial : 0.00 0 0 0 0 0 0 0 0
231.29/231.36 c dualfix : 0.00 0 0 0 0 0 0 0 0
231.29/231.36 c boundshift : 0.00 0 0 0 0 0 0 0 0
231.29/231.36 c inttobinary : 0.00 0 0 0 0 0 0 0 0
231.29/231.36 c implics : 0.00 0 0 0 0 0 0 0 0
231.29/231.36 c probing : 0.05 0 0 0 0 0 0 0 0
231.29/231.36 c varbound : 0.00 0 0 0 0 0 0 0 0
231.29/231.36 c knapsack : 0.00 0 0 0 0 0 0 0 0
231.29/231.36 c setppc : 0.00 0 0 0 0 0 0 0 0
231.29/231.36 c linear : 0.23 4400 0 0 4592 0 0 0 0
231.29/231.36 c indicator : 0.07 4400 0 0 0 0 4400 0 0
231.29/231.36 c logicor : 0.00 0 0 0 0 0 0 0 0
231.29/231.36 c root node : - 1 - - 1 - - - -
231.29/231.36 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
231.29/231.36 c integral : 0 0 0 115829 0 15 271 0 0 164098
231.29/231.36 c varbound : 192 14 605243 33521 0 11797 1791583 19187 0 0
231.29/231.36 c knapsack : 1 14 597533 14521 0 0 0 0 0 0
231.29/231.36 c setppc : 4416 14 597515 14516 0 43242 2095764 61081 0 0
231.29/231.36 c indicator : 192 0 549773 33522 0 1595 10350942 0 0 0
231.29/231.36 c logicor : 0+ 0 283089 0 0 16581 187080 0 0 0
231.29/231.36 c countsols : 0 0 0 1506 0 0 0 0 0 0
231.29/231.36 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
231.29/231.36 c integral : 9.35 0.00 0.00 9.35 0.00
231.29/231.36 c varbound : 3.40 0.00 3.32 0.08 0.00
231.29/231.36 c knapsack : 2.97 0.00 2.96 0.00 0.00
231.29/231.36 c setppc : 11.89 0.01 11.17 0.71 0.00
231.29/231.36 c indicator : 8.27 0.00 7.85 0.42 0.00
231.29/231.36 c logicor : 9.34 0.00 9.34 0.00 0.00
231.29/231.36 c countsols : 0.00 0.00 0.00 0.00 0.00
231.29/231.36 c Propagators : Time Calls Cutoffs DomReds
231.29/231.36 c vbounds : 0.10 2 0 0
231.29/231.36 c rootredcost : 0.09 7 0 0
231.29/231.36 c pseudoobj : 7.43 610659 1461 9389534
231.29/231.36 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
231.29/231.36 c propagation : 1.93 61284 60495 242036 22.6 346 20.7 -
231.29/231.36 c infeasible LP : 0.05 617 179 1058 52.4 0 0.0 0
231.29/231.36 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
231.29/231.36 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
231.29/231.36 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
231.29/231.36 c applied globally : - - - 184439 18.2 - - -
231.29/231.36 c applied locally : - - - 1091 54.0 - - -
231.29/231.36 c Separators : Time Calls Cutoffs DomReds Cuts Conss
231.29/231.36 c cut pool : 0.00 12 - - 1 - (maximal pool size: 639)
231.29/231.36 c redcost : 3.71 133417 0 3579902 0 0
231.29/231.36 c impliedbounds : 0.00 9 0 0 459 0
231.29/231.36 c intobj : 0.00 0 0 0 0 0
231.29/231.36 c cgmip : 0.00 0 0 0 0 0
231.29/231.36 c gomory : 0.04 9 0 0 1005 0
231.29/231.36 c strongcg : 0.04 9 0 0 1005 0
231.29/231.36 c cmir : 0.01 9 0 0 0 0
231.29/231.36 c flowcover : 0.02 9 0 0 0 0
231.29/231.36 c clique : 0.00 9 0 0 51 0
231.29/231.36 c zerohalf : 0.00 0 0 0 0 0
231.29/231.36 c mcf : 0.00 1 0 0 0 0
231.29/231.36 c rapidlearning : 0.16 1 0 0 0 0
231.29/231.36 c Pricers : Time Calls Vars
231.29/231.36 c problem variables: 0.00 0 0
231.29/231.36 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
231.29/231.36 c relpscost : 9.29 82245 15 271 0 0 164098
231.29/231.36 c pscost : 0.00 0 0 0 0 0 0
231.29/231.36 c inference : 0.06 1500 0 0 0 0 3000
231.29/231.36 c mostinf : 0.00 0 0 0 0 0 0
231.29/231.36 c leastinf : 0.00 0 0 0 0 0 0
231.29/231.36 c fullstrong : 0.00 0 0 0 0 0 0
231.29/231.36 c allfullstrong : 0.00 0 0 0 0 0 0
231.29/231.36 c random : 0.00 0 0 0 0 0 0
231.29/231.36 c Primal Heuristics : Time Calls Found
231.29/231.36 c LP solutions : 0.01 - 6
231.29/231.36 c pseudo solutions : 0.00 - 0
231.29/231.36 c oneopt : 0.05 6 0
231.29/231.36 c feaspump : 0.01 1 0
231.29/231.36 c crossover : 0.21 12 0
231.29/231.36 c pscostdiving : 0.39 171 0
231.29/231.36 c linesearchdiving : 0.31 171 1
231.29/231.36 c fracdiving : 0.42 171 0
231.29/231.36 c veclendiving : 0.28 171 0
231.29/231.36 c guideddiving : 0.37 171 0
231.29/231.36 c coefdiving : 0.37 172 0
231.29/231.36 c objpscostdiving : 0.08 109 0
231.29/231.36 c rootsoldiving : 0.09 109 0
231.29/231.36 c trivial : 0.01 2 0
231.29/231.36 c simplerounding : 0.03 0 0
231.29/231.36 c zirounding : 0.05 1000 0
231.29/231.36 c rounding : 0.19 4464 0
231.29/231.36 c shifting : 0.27 1370 0
231.29/231.36 c intshifting : 0.00 0 0
231.29/231.36 c twoopt : 0.00 0 0
231.29/231.36 c fixandinfer : 0.00 0 0
231.29/231.36 c intdiving : 0.00 0 0
231.29/231.36 c actconsdiving : 0.00 0 0
231.29/231.36 c octane : 0.00 0 0
231.29/231.36 c rens : 0.01 1 0
231.29/231.36 c rins : 0.00 0 0
231.29/231.36 c localbranching : 0.00 0 0
231.29/231.36 c mutation : 0.00 0 0
231.29/231.36 c dins : 0.00 0 0
231.29/231.36 c undercover : 0.00 0 0
231.29/231.36 c nlp : 0.02 0 0
231.29/231.36 c trysol : 0.04 0 0
231.29/231.36 c LP : Time Calls Iterations Iter/call Iter/sec
231.29/231.36 c primal LP : 0.00 0 0 0.00 -
231.29/231.36 c dual LP : 120.16 138941 2004301 14.43 16680.19
231.29/231.36 c lex dual LP : 0.00 0 0 0.00 -
231.29/231.36 c barrier LP : 0.00 0 0 0.00 -
231.29/231.36 c diving/probing LP: 1.39 2492 16861 6.77 12144.69
231.29/231.36 c strong branching : 8.50 6556 145939 22.26 17177.91
231.29/231.36 c (at root node) : - 18 1778 98.78 -
231.29/231.36 c conflict analysis: 0.00 0 0 0.00 -
231.29/231.36 c B&B Tree :
231.29/231.36 c number of runs : 1
231.29/231.36 c nodes : 158514
231.29/231.36 c nodes (total) : 158514
231.29/231.36 c nodes left : 0
231.29/231.36 c max depth : 127
231.29/231.36 c max depth (total): 127
231.29/231.36 c backtracks : 18705 (11.8%)
231.29/231.36 c delayed cutoffs : 5558
231.29/231.36 c repropagations : 193607 (1445356 domain reductions, 3700 cutoffs)
231.29/231.36 c avg switch length: 9.35
231.29/231.36 c switching time : 28.75
231.29/231.36 c Solution :
231.29/231.36 c Solutions found : 7 (7 improvements)
231.29/231.36 c First Solution : +1.20000000000000e+01 (in run 1, after 57 nodes, 2.14 seconds, depth 13, found by <relaxation>)
231.29/231.36 c Primal Bound : +2.00000000000000e+00 (in run 1, after 156832 nodes, 221.78 seconds, depth 64, found by <relaxation>)
231.29/231.36 c Dual Bound : +2.00000000000000e+00
231.29/231.36 c Gap : 0.00 %
231.29/231.36 c Root Dual Bound : +0.00000000000000e+00
231.29/231.36 c Root Iterations : 906
231.39/231.41 c Time complete: 231.41.
Begin job on node147 at 2010-07-08 10:43:24
IDJOB=2705695
IDBENCH=79359
IDSOLVER=1214
FILE ID=node147/2705695-1278578604
PBS_JOBID= 11240160
Free space on /tmp= 73816 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/wcsp/academics/normalized-16wqueens_wcsp.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-2705695-1278578604/watcher-2705695-1278578604 -o /tmp/evaluation-result-2705695-1278578604/solver-2705695-1278578604 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705695-1278578604.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0eca1cee1f66f0b91a7a0aa842de562c
RANDOM SEED=42707893
node147.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 : 2666.821
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 : 5333.64
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 : 2666.821
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.76
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 : 2666.821
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.75
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 : 2666.821
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 : 2666.821
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.75
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 : 2666.821
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.75
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 : 2666.821
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.76
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 : 2666.821
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30307048 kB
Buffers: 157640 kB
Cached: 1945588 kB
SwapCached: 0 kB
Active: 1230224 kB
Inactive: 1260016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30307048 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 13088 kB
Writeback: 0 kB
AnonPages: 386524 kB
Mapped: 17684 kB
Slab: 89288 kB
PageTables: 5312 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 532476 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= 73804 MiB
End job on node147 at 2010-07-08 10:47:15