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-2705336-1278572936.wbo>
0.00/0.00 c original problem has 253 variables (211 bin, 0 int, 42 impl, 0 cont) and 144 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, 6 impls, 39 clqs
0.00/0.01 c (round 2) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6 impls, 39 clqs
0.00/0.01 c (round 3) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 61 impls, 39 clqs
0.00/0.02 c (0.0s) probing: 101/211 (47.9%) - 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 (4 rounds):
0.00/0.02 c 0 deleted vars, 14 deleted constraints, 42 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 61 implications, 39 cliques
0.00/0.02 c presolved problem has 253 variables (211 bin, 0 int, 42 impl, 0 cont) and 130 constraints
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 42 constraints of type <setppc>
0.00/0.02 c 42 constraints of type <linear>
0.00/0.02 c 42 constraints of type <indicator>
0.00/0.02 c 3 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 | 15 | - |1054k| 0 | 8 | 253 | 130 | 253 | 46 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 46 | - |1082k| 0 | 29 | 253 | 130 | 253 | 63 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 57 | - |1271k| 0 | 34 | 253 | 130 | 253 | 71 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 76 | - |1594k| 0 | 39 | 253 | 130 | 253 | 76 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.06 c 0.1s| 1 | 0 | 114 | - |1674k| 0 | 47 | 253 | 130 | 253 | 82 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.07 c 0.1s| 1 | 0 | 142 | - |1693k| 0 | 52 | 253 | 130 | 253 | 85 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.08 c 0.1s| 1 | 0 | 158 | - |1697k| 0 | 53 | 253 | 130 | 253 | 88 | 42 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 2 | 158 | - |1698k| 0 | 53 | 253 | 130 | 253 | 88 | 42 | 0 | 14 | 0.000000e+00 | -- | Inf
0.29/0.33 o 1837
0.29/0.33 c y 0.3s| 16 | 13 | 515 | 23.8 |1725k| 13 | - | 253 | 133 | 0 | 0 | 45 | 3 | 94 | 0.000000e+00 | 1.837000e+03 | Inf
0.49/0.59 o 380
0.49/0.59 c * 0.6s| 110 | 77 | 1238 | 9.9 |1829k| 22 | - | 253 | 166 | 253 | 86 | 54 | 36 | 255 | 0.000000e+00 | 3.800000e+02 | Inf
0.79/0.89 o 370
0.79/0.89 c * 0.9s| 726 | 493 | 2706 | 3.5 |2363k| 41 | - | 253 | 442 | 253 | 85 | 84 | 312 | 508 | 0.000000e+00 | 3.700000e+02 | Inf
0.89/0.92 o 321
0.89/0.92 c * 0.9s| 793 | 512 | 2911 | 3.5 |2421k| 41 | - | 253 | 504 | 253 | 84 | 90 | 374 | 528 | 0.000000e+00 | 3.210000e+02 | Inf
0.89/0.99 o 232
0.89/0.99 c * 1.0s| 947 | 542 | 3423 | 3.5 |2499k| 41 | - | 253 | 579 | 253 | 85 | 99 | 449 | 586 | 0.000000e+00 | 2.320000e+02 | Inf
1.19/1.21 o 230
1.19/1.21 c * 1.2s| 1422 | 750 | 4905 | 3.3 |2886k| 41 | - | 253 | 877 | 253 | 87 | 150 | 747 | 736 | 0.000000e+00 | 2.300000e+02 | Inf
1.29/1.30 o 205
1.29/1.30 c * 1.3s| 1614 | 790 | 5714 | 3.4 |2999k| 41 | - | 253 | 988 | 253 | 88 | 169 | 858 | 805 | 0.000000e+00 | 2.050000e+02 | Inf
1.29/1.36 o 170
1.29/1.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.36 c * 1.4s| 1779 | 765 | 6226 | 3.4 |3065k| 41 | - | 253 |1081 | 253 | 87 | 171 | 951 | 830 | 0.000000e+00 | 1.700000e+02 | Inf
1.89/1.95 o 164
1.89/1.95 c * 2.0s| 2993 | 1180 | 11532 | 3.8 |4077k| 41 | - | 253 |1904 | 253 | 86 | 248 |1775 |1134 | 0.000000e+00 | 1.640000e+02 | Inf
2.79/2.85 o 152
2.79/2.85 c * 2.8s| 4654 | 1505 | 20766 | 4.4 |5310k| 41 | - | 253 |3166 | 253 | 89 | 388 |3103 |1473 | 0.000000e+00 | 1.520000e+02 | Inf
3.99/4.04 o 145
3.99/4.04 c * 4.0s| 6951 | 2030 | 34306 | 4.9 |6559k| 41 | - | 253 |3815 | 253 | 86 | 586 |4837 |1622 | 0.000000e+00 | 1.450000e+02 | Inf
5.39/5.45 o 139
5.39/5.45 c * 5.5s| 9916 | 2414 | 51086 | 5.1 |7680k| 41 | - | 253 |4034 | 253 | 86 | 769 |7088 |1705 | 0.000000e+00 | 1.390000e+02 | Inf
5.39/5.49 c 5.5s| 10000 | 2435 | 51349 | 5.1 |7716k| 41 | 1 | 253 |4090 | 253 | 86 | 771 |7154 |1705 | 0.000000e+00 | 1.390000e+02 | Inf
10.19/10.21 c 10.2s| 20000 | 4168 |106254 | 5.3 | 11M| 44 | - | 253 |5261 | 0 | 0 |1403 | 14k|1747 | 0.000000e+00 | 1.390000e+02 | Inf
14.99/15.05 c 15.0s| 30000 | 5313 |159070 | 5.3 | 15M| 44 | 0 | 253 |5912 | 253 | 86 |2147 | 23k|1753 | 0.000000e+00 | 1.390000e+02 | Inf
15.69/15.76 o 64
15.69/15.76 c *15.8s| 31400 | 3652 |167087 | 5.3 | 13M| 44 | - | 253 |6134 | 253 | 85 |2243 | 24k|1753 | 0.000000e+00 | 6.400000e+01 | Inf
16.59/16.65 o 51
16.59/16.65 c *16.6s| 32760 | 3018 |180975 | 5.5 | 12M| 44 | - | 253 |3790 | 253 | 86 |2320 | 25k|1794 | 0.000000e+00 | 5.100000e+01 | Inf
17.69/17.70 o 33
17.69/17.70 c c17.7s| 33910 | 1644 |197188 | 5.8 |9932k| 44 | - | 253 |2617 | 253 | 84 |2377 | 27k|1858 | 0.000000e+00 | 3.300000e+01 | Inf
17.69/17.75 o 14
17.69/17.75 c *17.7s| 33953 | 928 |198704 | 5.8 |7868k| 44 | - | 253 |2562 | 253 | 86 |2382 | 27k|1860 | 0.000000e+00 | 1.400000e+01 | Inf
17.89/17.93 c
17.89/17.93 c SCIP Status : problem is solved [optimal solution found]
17.89/17.93 c Solving Time (sec) : 17.93
17.89/17.93 c Solving Nodes : 34001
17.89/17.93 c Primal Bound : +1.40000000000000e+01 (111 solutions)
17.89/17.93 c Dual Bound : +1.40000000000000e+01
17.89/17.93 c Gap : 0.00 %
17.89/17.93 s OPTIMUM FOUND
17.89/17.93 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
17.89/17.93 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127
17.89/17.93 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
17.89/17.93 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
17.89/17.93 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
17.89/17.93 v x56 -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
17.89/17.93 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
17.89/17.93 v -x4 -x3 -x2 -x1
17.89/17.93 c SCIP Status : problem is solved [optimal solution found]
17.89/17.93 c Solving Time : 17.93
17.89/17.93 c Original Problem :
17.89/17.93 c Problem name : HOME/instance-2705336-1278572936.wbo
17.89/17.93 c Variables : 253 (211 binary, 0 integer, 42 implicit integer, 0 continuous)
17.89/17.93 c Constraints : 144 initial, 144 maximal
17.89/17.93 c Presolved Problem :
17.89/17.93 c Problem name : t_HOME/instance-2705336-1278572936.wbo
17.89/17.93 c Variables : 253 (211 binary, 0 integer, 42 implicit integer, 0 continuous)
17.89/17.93 c Constraints : 130 initial, 6376 maximal
17.89/17.93 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
17.89/17.93 c trivial : 0.00 0 0 0 0 0 0 0 0
17.89/17.93 c dualfix : 0.00 0 0 0 0 0 0 0 0
17.89/17.93 c boundshift : 0.00 0 0 0 0 0 0 0 0
17.89/17.93 c inttobinary : 0.00 0 0 0 0 0 0 0 0
17.89/17.93 c implics : 0.00 0 0 0 0 0 0 0 0
17.89/17.93 c probing : 0.01 0 0 0 0 0 0 0 0
17.89/17.93 c knapsack : 0.00 0 0 0 0 0 0 0 0
17.89/17.93 c setppc : 0.00 0 0 0 0 0 0 0 0
17.89/17.93 c linear : 0.00 0 0 0 42 0 14 0 0
17.89/17.93 c indicator : 0.00 0 0 0 0 0 0 0 0
17.89/17.93 c logicor : 0.00 0 0 0 0 0 0 0 0
17.89/17.93 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
17.89/17.93 c root node : - 70 - - 70 - - - -
17.89/17.93 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
17.89/17.93 c integral : 0 0 0 22950 0 5 553 0 0 20876
17.89/17.93 c knapsack : 1 6 115977 12087 0 606 118488 0 0 0
17.89/17.93 c setppc : 42 6 115284 12064 0 2936 176409 0 0 0
17.89/17.93 c linear : 42 6 112400 12073 0 1092 97194 2359 0 0
17.89/17.93 c indicator : 42 0 111302 12093 0 587 103361 0 0 0
17.89/17.93 c logicor : 3+ 6 54823 8380 0 923 28184 0 0 0
17.89/17.93 c bounddisjunction : 0+ 0 37340 0 0 103 3025 0 0 0
17.89/17.93 c countsols : 0 0 0 10460 0 0 0 0 0 0
17.89/17.93 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
17.89/17.93 c integral : 1.11 0.00 0.00 1.11 0.00
17.89/17.93 c knapsack : 2.15 0.00 2.15 0.00 0.00
17.89/17.93 c setppc : 0.36 0.00 0.35 0.01 0.00
17.89/17.93 c linear : 0.66 0.00 0.63 0.04 0.00
17.89/17.93 c indicator : 0.23 0.00 0.19 0.04 0.00
17.89/17.93 c logicor : 1.34 0.00 1.34 0.00 0.00
17.89/17.93 c bounddisjunction : 0.20 0.00 0.20 0.00 0.00
17.89/17.93 c countsols : 0.00 0.00 0.00 0.00 0.00
17.89/17.93 c Propagators : Time Calls Cutoffs DomReds
17.89/17.93 c vbounds : 0.12 28304 4 4854
17.89/17.93 c rootredcost : 0.02 16 0 35
17.89/17.93 c pseudoobj : 0.28 117291 1509 104238
17.89/17.93 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
17.89/17.93 c propagation : 0.24 7169 7130 47925 25.7 89 21.5 -
17.89/17.93 c infeasible LP : 0.41 7355 7335 46362 26.2 69 20.3 0
17.89/17.93 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
17.89/17.93 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
17.89/17.93 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
17.89/17.93 c applied globally : - - - 27780 18.1 - - -
17.89/17.93 c applied locally : - - - 10 37.8 - - -
17.89/17.93 c Separators : Time Calls Cutoffs DomReds Cuts Conss
17.89/17.93 c cut pool : 0.00 5 - - 88 - (maximal pool size: 181)
17.89/17.93 c redcost : 0.12 23574 0 1783 0 0
17.89/17.93 c impliedbounds : 0.00 6 0 0 0 0
17.89/17.93 c intobj : 0.00 0 0 0 0 0
17.89/17.93 c cgmip : 0.00 0 0 0 0 0
17.89/17.93 c gomory : 0.01 6 0 0 102 0
17.89/17.93 c strongcg : 0.01 6 0 0 133 0
17.89/17.93 c cmir : 0.00 6 0 0 0 0
17.89/17.93 c flowcover : 0.01 6 0 0 0 0
17.89/17.93 c clique : 0.00 6 0 0 11 0
17.89/17.93 c zerohalf : 0.00 0 0 0 0 0
17.89/17.93 c mcf : 0.00 1 0 0 0 0
17.89/17.93 c rapidlearning : 0.01 1 0 0 0 0
17.89/17.93 c Pricers : Time Calls Vars
17.89/17.93 c problem variables: 0.00 0 0
17.89/17.93 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
17.89/17.93 c relpscost : 1.10 10857 5 553 0 0 20876
17.89/17.93 c pscost : 0.00 0 0 0 0 0 0
17.89/17.93 c inference : 0.13 10446 0 0 0 0 20909
17.89/17.93 c mostinf : 0.00 0 0 0 0 0 0
17.89/17.93 c leastinf : 0.00 0 0 0 0 0 0
17.89/17.93 c fullstrong : 0.00 0 0 0 0 0 0
17.89/17.93 c allfullstrong : 0.00 0 0 0 0 0 0
17.89/17.93 c random : 0.00 0 0 0 0 0 0
17.89/17.93 c Primal Heuristics : Time Calls Found
17.89/17.93 c LP solutions : 0.01 - 14
17.89/17.93 c pseudo solutions : 0.00 - 0
17.89/17.93 c oneopt : 0.02 16 0
17.89/17.93 c feaspump : 0.00 1 0
17.89/17.93 c linesearchdiving : 0.03 180 0
17.89/17.93 c guideddiving : 0.04 180 0
17.89/17.93 c pscostdiving : 0.02 180 0
17.89/17.93 c fracdiving : 0.02 180 0
17.89/17.93 c veclendiving : 0.04 180 0
17.89/17.93 c coefdiving : 0.02 181 1
17.89/17.93 c rootsoldiving : 0.01 146 0
17.89/17.93 c objpscostdiving : 0.01 146 0
17.89/17.93 c trivial : 0.00 2 0
17.89/17.93 c simplerounding : 0.01 10973 0
17.89/17.93 c zirounding : 0.01 1000 0
17.89/17.93 c rounding : 0.02 1432 0
17.89/17.93 c shifting : 0.05 412 0
17.89/17.93 c intshifting : 0.00 0 0
17.89/17.93 c twoopt : 0.00 0 0
17.89/17.93 c fixandinfer : 0.00 0 0
17.89/17.93 c intdiving : 0.00 0 0
17.89/17.93 c actconsdiving : 0.00 0 0
17.89/17.93 c octane : 0.00 0 0
17.89/17.93 c rens : 0.01 1 0
17.89/17.93 c rins : 0.00 0 0
17.89/17.93 c localbranching : 0.00 0 0
17.89/17.93 c mutation : 0.00 0 0
17.89/17.93 c crossover : 0.18 21 0
17.89/17.93 c dins : 0.00 0 0
17.89/17.93 c undercover : 0.00 0 0
17.89/17.93 c nlp : 0.00 0 0
17.89/17.93 c trysol : 0.02 381 96
17.89/17.93 c LP : Time Calls Iterations Iter/call Iter/sec
17.89/17.93 c primal LP : 0.00 0 0 0.00 -
17.89/17.93 c dual LP : 6.57 22338 198566 8.89 30219.07
17.89/17.93 c lex dual LP : 0.00 0 0 0.00 -
17.89/17.93 c barrier LP : 0.00 0 0 0.00 -
17.89/17.93 c diving/probing LP: 0.07 335 1293 3.86 19489.03
17.89/17.93 c strong branching : 1.04 1860 43573 23.43 41703.99
17.89/17.93 c (at root node) : - 14 3647 260.50 -
17.89/17.93 c conflict analysis: 0.00 0 0 0.00 -
17.89/17.93 c B&B Tree :
17.89/17.93 c number of runs : 1
17.89/17.93 c nodes : 34001
17.89/17.93 c nodes (total) : 34001
17.89/17.93 c nodes left : 0
17.89/17.93 c max depth : 44
17.89/17.93 c max depth (total): 44
17.89/17.93 c backtracks : 7247 (21.3%)
17.89/17.93 c delayed cutoffs : 3538
17.89/17.93 c repropagations : 34337 (154496 domain reductions, 1815 cutoffs)
17.89/17.93 c avg switch length: 5.07
17.89/17.93 c switching time : 1.76
17.89/17.93 c Solution :
17.89/17.93 c Solutions found : 111 (16 improvements)
17.89/17.93 c First Solution : +1.83700000000000e+03 (in run 1, after 15 nodes, 0.32 seconds, depth 14, found by <trysol>)
17.89/17.93 c Primal Bound : +1.40000000000000e+01 (in run 1, after 33953 nodes, 17.75 seconds, depth 20, found by <relaxation>)
17.89/17.93 c Dual Bound : +1.40000000000000e+01
17.89/17.93 c Gap : 0.00 %
17.89/17.93 c Root Dual Bound : +0.00000000000000e+00
17.89/17.93 c Root Iterations : 158
17.89/17.94 c Time complete: 17.93.
Begin job on node140 at 2010-07-08 09:08:56
IDJOB=2705336
IDBENCH=78796
IDSOLVER=1214
FILE ID=node140/2705336-1278572936
PBS_JOBID= 11240175
Free space on /tmp= 73688 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.1111217392--soft-66-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-2705336-1278572936/watcher-2705336-1278572936 -o /tmp/evaluation-result-2705336-1278572936/solver-2705336-1278572936 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705336-1278572936.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 960bc2a8059baa29bab251cd640f5046
RANDOM SEED=1915077510
node140.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.817
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.63
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.817
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 : 5261.06
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.817
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.82
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.817
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.77
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.817
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.80
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.817
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.74
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.817
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.82
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.817
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: 29507924 kB
Buffers: 152688 kB
Cached: 3036872 kB
SwapCached: 0 kB
Active: 1217724 kB
Inactive: 2059196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29507924 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 25916 kB
Writeback: 0 kB
AnonPages: 87352 kB
Mapped: 17648 kB
Slab: 101720 kB
PageTables: 4348 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 226296 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= 73676 MiB
End job on node140 at 2010-07-08 09:09:14