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-2705612-1278576722.wbo>
0.00/0.00 c original problem has 371 variables (270 bin, 0 int, 101 impl, 0 cont) and 203 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 o 4943
0.00/0.00 c feasible solution found by trivial heuristic, objective value 4.943000e+03
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, 0 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 101 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/270 (37.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 101 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 131 implications, 0 cliques
0.00/0.01 c presolved problem has 371 variables (270 bin, 0 int, 101 impl, 0 cont) and 202 constraints
0.00/0.01 c 101 constraints of type <linear>
0.00/0.01 c 101 constraints of type <indicator>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.3
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1790
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 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.01 c t 0.0s| 1 | 0 | 0 | - |1232k| 0 | 0 | 371 | 202 | 371 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 24 | - |1271k| 0 | 0 | 371 | 202 | 371 | 26 | 26 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 53 | - |1287k| 0 | 12 | 371 | 202 | 371 | 41 | 41 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 68 | - |1333k| 0 | 26 | 371 | 202 | 371 | 48 | 48 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 87 | - |1475k| 0 | 35 | 371 | 202 | 371 | 61 | 61 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.04/0.05 c 0.0s| 1 | 0 | 107 | - |1488k| 0 | 37 | 371 | 202 | 371 | 63 | 63 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.04/0.06 c 0.1s| 1 | 0 | 119 | - |1491k| 0 | 37 | 371 | 202 | 371 | 67 | 67 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.09/0.14 c 0.1s| 1 | 2 | 119 | - |1497k| 0 | 37 | 371 | 202 | 371 | 67 | 67 | 0 | 33 | 0.000000e+00 | 4.943000e+03 | Inf
1.00/1.04 o 551
1.00/1.04 c * 1.0s| 821 | 685 | 3470 | 4.1 |2274k| 87 | - | 371 | 218 | 371 | 67 | 188 | 16 | 681 | 0.000000e+00 | 5.510000e+02 | Inf
1.00/1.07 o 542
1.00/1.07 c * 1.1s| 918 | 767 | 3536 | 3.7 |2369k| 87 | - | 371 | 219 | 371 | 72 | 189 | 20 | 682 | 0.000000e+00 | 5.420000e+02 | Inf
1.89/1.93 o 243
1.89/1.93 c * 1.9s| 4228 | 3793 | 6975 | 1.6 |4235k| 166 | - | 371 | 273 | 371 | 80 | 352 | 78 | 770 | 0.000000e+00 | 2.430000e+02 | Inf
1.89/1.93 o 240
1.89/1.93 c * 1.9s| 4232 | 3789 | 6997 | 1.6 |4249k| 166 | - | 371 | 273 | 371 | 77 | 352 | 78 | 770 | 0.000000e+00 | 2.400000e+02 | Inf
1.89/1.93 o 237
1.89/1.93 c * 1.9s| 4233 | 3776 | 6997 | 1.6 |4244k| 166 | - | 371 | 273 | 371 | 77 | 352 | 78 | 770 | 0.000000e+00 | 2.370000e+02 | Inf
1.89/1.97 o 225
1.89/1.97 c * 2.0s| 4375 | 3805 | 7177 | 1.6 |4304k| 166 | - | 371 | 293 | 371 | 80 | 367 | 98 | 771 | 0.000000e+00 | 2.250000e+02 | Inf
1.99/2.01 o 211
1.99/2.01 c * 2.0s| 4466 | 3754 | 7497 | 1.7 |4351k| 166 | - | 371 | 322 | 371 | 77 | 376 | 131 | 782 | 0.000000e+00 | 2.110000e+02 | Inf
2.09/2.15 o 204
2.09/2.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.09/2.15 c * 2.1s| 4844 | 3841 | 8347 | 1.7 |4628k| 166 | - | 371 | 466 | 371 | 76 | 391 | 302 | 798 | 0.000000e+00 | 2.040000e+02 | Inf
2.29/2.36 o 186
2.29/2.36 c * 2.4s| 5435 | 4086 | 9905 | 1.8 |4998k| 166 | - | 371 | 604 | 371 | 80 | 430 | 447 | 843 | 0.000000e+00 | 1.860000e+02 | Inf
2.29/2.36 o 183
2.29/2.36 c * 2.4s| 5442 | 4004 | 9990 | 1.8 |4957k| 166 | - | 371 | 607 | 371 | 84 | 438 | 450 | 848 | 0.000000e+00 | 1.830000e+02 | Inf
2.29/2.39 o 181
2.29/2.39 c * 2.4s| 5464 | 3970 | 10246 | 1.9 |4953k| 166 | - | 371 | 616 | 371 | 84 | 450 | 459 | 896 | 0.000000e+00 | 1.810000e+02 | Inf
3.09/3.13 o 176
3.09/3.13 c * 3.1s| 7584 | 4958 | 14695 | 1.9 |6517k| 166 | - | 371 |1328 | 371 | 81 | 586 |1247 | 984 | 0.000000e+00 | 1.760000e+02 | Inf
3.39/3.49 o 175
3.39/3.49 c * 3.5s| 8406 | 5297 | 18103 | 2.1 |7142k| 166 | - | 371 |1640 | 371 | 79 | 647 |1600 |1025 | 0.000000e+00 | 1.750000e+02 | Inf
3.39/3.50 o 159
3.39/3.50 c * 3.5s| 8414 | 5043 | 18169 | 2.1 |6929k| 166 | - | 371 |1642 | 371 | 80 | 648 |1602 |1029 | 0.000000e+00 | 1.590000e+02 | Inf
3.59/3.61 o 149
3.59/3.61 c * 3.6s| 8703 | 4968 | 18985 | 2.2 |6977k| 166 | - | 371 |1727 | 371 | 73 | 675 |1705 |1041 | 0.000000e+00 | 1.490000e+02 | Inf
3.79/3.88 o 143
3.79/3.88 c * 3.9s| 9359 | 5175 | 20857 | 2.2 |7398k| 166 | - | 371 |1894 | 371 | 71 | 723 |1959 |1070 | 0.000000e+00 | 1.430000e+02 | Inf
4.09/4.16 c 4.2s| 10000 | 5335 | 22593 | 2.2 |7857k| 166 | - | 371 |2159 | 0 | 0 | 746 |2364 |1097 | 0.000000e+00 | 1.430000e+02 | Inf
4.59/4.63 o 138
4.59/4.63 c g 4.6s| 11097 | 5409 | 24740 | 2.2 |8379k| 166 | - | 371 |2349 | 371 | 67 | 791 |2927 |1117 | 0.000000e+00 | 1.380000e+02 | Inf
5.29/5.33 o 137
5.29/5.33 c * 5.3s| 12793 | 5723 | 28744 | 2.2 |9031k| 166 | - | 371 |2205 | 371 | 84 | 880 |3878 |1146 | 0.000000e+00 | 1.370000e+02 | Inf
5.50/5.53 o 135
5.50/5.53 c * 5.5s| 13247 | 5851 | 30513 | 2.3 |9269k| 166 | - | 371 |2167 | 371 | 80 | 910 |4159 |1159 | 0.000000e+00 | 1.350000e+02 | Inf
5.79/5.87 o 126
5.79/5.87 c * 5.9s| 14024 | 5841 | 33520 | 2.4 |9274k| 166 | - | 371 |1915 | 371 | 72 | 953 |4524 |1176 | 0.000000e+00 | 1.260000e+02 | Inf
6.79/6.86 o 116
6.79/6.86 c * 6.9s| 16530 | 6220 | 39821 | 2.4 |9949k| 166 | - | 371 |1572 | 371 | 77 |1099 |5830 |1207 | 0.000000e+00 | 1.160000e+02 | Inf
8.09/8.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.09/8.13 c 8.1s| 20000 | 7026 | 46089 | 2.3 | 11M| 166 | 1 | 371 |1209 | 371 | 69 |1214 |7573 |1221 | 0.000000e+00 | 1.160000e+02 | Inf
9.69/9.73 o 94
9.69/9.73 c * 9.7s| 24707 | 7382 | 56216 | 2.3 | 12M| 166 | - | 371 |1246 | 371 | 69 |1383 |9825 |1234 | 0.000000e+00 | 9.400000e+01 | Inf
9.69/9.76 o 93
9.69/9.76 c * 9.8s| 24777 | 7354 | 56434 | 2.3 | 12M| 166 | - | 371 |1136 | 371 | 71 |1400 |9848 |1234 | 0.000000e+00 | 9.300000e+01 | Inf
9.69/9.76 o 83
9.69/9.76 c * 9.8s| 24778 | 6709 | 56435 | 2.3 | 11M| 166 | - | 371 |1136 | 371 | 71 |1400 |9848 |1234 | 0.000000e+00 | 8.300000e+01 | Inf
9.69/9.76 o 82
9.69/9.76 c * 9.8s| 24792 | 6703 | 56545 | 2.3 | 11M| 166 | - | 371 |1098 | 371 | 72 |1406 |9851 |1234 | 0.000000e+00 | 8.200000e+01 | Inf
9.80/9.86 o 72
9.80/9.86 c * 9.9s| 25011 | 6296 | 57630 | 2.3 | 11M| 166 | - | 371 |1014 | 371 | 70 |1423 |9959 |1237 | 0.000000e+00 | 7.200000e+01 | Inf
9.90/9.97 o 46
9.90/9.97 c *10.0s| 25332 | 4621 | 58763 | 2.3 |9273k| 166 | - | 371 | 897 | 371 | 68 |1443 | 10k|1238 | 0.000000e+00 | 4.600000e+01 | Inf
9.99/10.01 o 44
9.99/10.01 c *10.0s| 25414 | 4133 | 59295 | 2.3 |8626k| 166 | - | 371 | 787 | 371 | 66 |1448 | 10k|1238 | 0.000000e+00 | 4.400000e+01 | Inf
9.99/10.08 o 28
9.99/10.08 c *10.1s| 25575 | 3806 | 60194 | 2.3 |8053k| 166 | - | 371 | 759 | 371 | 66 |1456 | 10k|1241 | 0.000000e+00 | 2.800000e+01 | Inf
10.49/10.56 o 26
10.49/10.56 c *10.6s| 26497 | 3558 | 68374 | 2.6 |8170k| 166 | - | 371 |1231 | 371 | 66 |1587 | 11k|1243 | 0.000000e+00 | 2.600000e+01 | Inf
10.69/10.73 o 15
10.69/10.73 c *10.7s| 26865 | 3041 | 70695 | 2.6 |7342k| 166 | - | 371 |1365 | 371 | 67 |1660 | 11k|1244 | 0.000000e+00 | 1.500000e+01 | Inf
10.79/10.82 o 12
10.79/10.82 c *10.8s| 26950 | 2886 | 72425 | 2.7 |7201k| 166 | - | 371 |1131 | 371 | 73 |1695 | 11k|1246 | 0.000000e+00 | 1.200000e+01 | Inf
10.79/10.86 o 2
10.79/10.86 c *10.9s| 27022 | 2532 | 73485 | 2.7 |6642k| 166 | - | 371 |1122 | 371 | 73 |1716 | 11k|1246 | 0.000000e+00 | 2.000000e+00 | Inf
11.00/11.01 o 1
11.00/11.01 c *11.0s| 27198 | 2240 | 77303 | 2.8 |6434k| 166 | - | 371 | 920 | 371 | 67 |1776 | 12k|1247 | 0.000000e+00 | 1.000000e+00 | Inf
11.29/11.38 c
11.29/11.38 c SCIP Status : problem is solved [optimal solution found]
11.29/11.38 c Solving Time (sec) : 11.38
11.29/11.38 c Solving Nodes : 27701
11.29/11.38 c Primal Bound : +1.00000000000000e+00 (140 solutions)
11.29/11.38 c Dual Bound : +1.00000000000000e+00
11.29/11.38 c Gap : 0.00 %
11.29/11.38 s OPTIMUM FOUND
11.29/11.38 v -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148
11.29/11.38 v -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
11.29/11.38 v -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
11.29/11.38 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
11.29/11.38 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
11.29/11.38 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
11.29/11.38 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
11.29/11.38 v -x4 -x3 x2 -x1
11.29/11.38 c SCIP Status : problem is solved [optimal solution found]
11.29/11.38 c Solving Time : 11.38
11.29/11.38 c Original Problem :
11.29/11.38 c Problem name : HOME/instance-2705612-1278576722.wbo
11.29/11.38 c Variables : 371 (270 binary, 0 integer, 101 implicit integer, 0 continuous)
11.29/11.38 c Constraints : 203 initial, 203 maximal
11.29/11.38 c Presolved Problem :
11.29/11.38 c Problem name : t_HOME/instance-2705612-1278576722.wbo
11.29/11.38 c Variables : 371 (270 binary, 0 integer, 101 implicit integer, 0 continuous)
11.29/11.38 c Constraints : 202 initial, 2378 maximal
11.29/11.38 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
11.29/11.38 c trivial : 0.00 0 0 0 0 0 0 0 0
11.29/11.38 c dualfix : 0.00 0 0 0 0 0 0 0 0
11.29/11.38 c boundshift : 0.00 0 0 0 0 0 0 0 0
11.29/11.38 c inttobinary : 0.00 0 0 0 0 0 0 0 0
11.29/11.38 c implics : 0.00 0 0 0 0 0 0 0 0
11.29/11.38 c probing : 0.00 0 0 0 0 0 0 0 0
11.29/11.38 c linear : 0.00 0 0 0 101 0 1 0 0
11.29/11.38 c indicator : 0.00 0 0 0 0 0 0 0 0
11.29/11.38 c logicor : 0.00 0 0 0 0 0 0 0 0
11.29/11.38 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
11.29/11.38 c root node : - 202 - - 202 - - - -
11.29/11.38 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
11.29/11.38 c integral : 0 0 0 20396 0 0 27 0 0 17942
11.29/11.38 c linear : 101 6 131972 11272 0 3953 437773 1912 0 0
11.29/11.38 c indicator : 101 0 125810 11370 0 567 124577 0 0 0
11.29/11.38 c logicor : 0+ 0 21228 0 0 656 6617 0 0 0
11.29/11.38 c bounddisjunction : 0+ 0 22440 0 0 89 6078 0 0 0
11.29/11.38 c countsols : 0 0 0 10381 0 0 0 0 0 0
11.29/11.38 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
11.29/11.38 c integral : 0.92 0.00 0.00 0.92 0.00
11.29/11.38 c linear : 1.47 0.00 1.41 0.06 0.00
11.29/11.38 c indicator : 0.35 0.00 0.29 0.07 0.00
11.29/11.38 c logicor : 0.19 0.00 0.19 0.00 0.00
11.29/11.38 c bounddisjunction : 0.37 0.00 0.37 0.00 0.00
11.29/11.38 c countsols : 0.00 0.00 0.00 0.00 0.00
11.29/11.38 c Propagators : Time Calls Cutoffs DomReds
11.29/11.38 c vbounds : 0.15 17834 0 8301
11.29/11.38 c rootredcost : 0.02 34 0 101
11.29/11.38 c pseudoobj : 0.75 134509 2491 140577
11.29/11.38 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
11.29/11.38 c propagation : 0.59 7189 7184 28965 30.0 103 33.3 -
11.29/11.38 c infeasible LP : 0.07 1198 1185 5541 20.8 8 13.4 0
11.29/11.38 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
11.29/11.38 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
11.29/11.38 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
11.29/11.38 c applied globally : - - - 11958 18.5 - - -
11.29/11.38 c applied locally : - - - 815 37.4 - - -
11.29/11.38 c Separators : Time Calls Cutoffs DomReds Cuts Conss
11.29/11.38 c cut pool : 0.00 3 - - 10 - (maximal pool size: 38)
11.29/11.38 c redcost : 0.17 21062 0 7887 0 0
11.29/11.38 c impliedbounds : 0.00 4 0 0 0 0
11.29/11.38 c intobj : 0.00 0 0 0 0 0
11.29/11.38 c cgmip : 0.00 0 0 0 0 0
11.29/11.38 c gomory : 0.01 4 0 0 57 0
11.29/11.38 c strongcg : 0.01 4 0 0 58 0
11.29/11.38 c cmir : 0.00 4 0 0 0 0
11.29/11.38 c flowcover : 0.01 4 0 0 0 0
11.29/11.38 c clique : 0.00 1 0 0 0 0
11.29/11.38 c zerohalf : 0.00 0 0 0 0 0
11.29/11.38 c mcf : 0.00 1 0 0 0 0
11.29/11.38 c rapidlearning : 0.02 1 0 0 0 0
11.29/11.38 c Pricers : Time Calls Vars
11.29/11.38 c problem variables: 0.00 0 0
11.29/11.38 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
11.29/11.38 c relpscost : 0.91 8990 0 27 0 0 17942
11.29/11.38 c pscost : 0.00 0 0 0 0 0 0
11.29/11.38 c inference : 0.24 10348 0 0 0 0 20870
11.29/11.38 c mostinf : 0.00 0 0 0 0 0 0
11.29/11.38 c leastinf : 0.00 0 0 0 0 0 0
11.29/11.38 c fullstrong : 0.00 0 0 0 0 0 0
11.29/11.38 c allfullstrong : 0.00 0 0 0 0 0 0
11.29/11.38 c random : 0.00 0 0 0 0 0 0
11.29/11.38 c Primal Heuristics : Time Calls Found
11.29/11.38 c LP solutions : 0.01 - 33
11.29/11.38 c pseudo solutions : 0.00 - 0
11.29/11.38 c feaspump : 0.00 0 0
11.29/11.38 c oneopt : 0.02 32 0
11.29/11.38 c pscostdiving : 0.02 179 0
11.29/11.38 c fracdiving : 0.02 179 0
11.29/11.38 c guideddiving : 0.13 179 1
11.29/11.38 c coefdiving : 0.05 180 0
11.29/11.38 c veclendiving : 0.02 180 0
11.29/11.38 c linesearchdiving : 0.02 180 0
11.29/11.38 c rootsoldiving : 0.02 175 0
11.29/11.38 c objpscostdiving : 0.02 176 0
11.29/11.38 c trivial : 0.00 2 2
11.29/11.38 c simplerounding : 0.01 9098 0
11.29/11.38 c zirounding : 0.02 1000 0
11.29/11.38 c rounding : 0.03 1293 0
11.29/11.38 c shifting : 0.03 370 0
11.29/11.38 c intshifting : 0.00 0 0
11.29/11.38 c twoopt : 0.00 0 0
11.29/11.38 c fixandinfer : 0.00 0 0
11.29/11.38 c intdiving : 0.00 0 0
11.29/11.38 c actconsdiving : 0.00 0 0
11.29/11.38 c octane : 0.00 0 0
11.29/11.38 c rens : 0.01 1 0
11.29/11.38 c rins : 0.00 0 0
11.29/11.38 c localbranching : 0.00 0 0
11.29/11.38 c mutation : 0.00 0 0
11.29/11.38 c crossover : 0.17 13 1
11.29/11.38 c dins : 0.00 0 0
11.29/11.38 c undercover : 0.00 0 0
11.29/11.38 c nlp : 0.00 0 0
11.29/11.38 c trysol : 0.02 665 103
11.29/11.38 c LP : Time Calls Iterations Iter/call Iter/sec
11.29/11.38 c primal LP : 0.00 0 0 0.00 -
11.29/11.38 c dual LP : 3.57 12670 84992 6.71 23774.80
11.29/11.38 c lex dual LP : 0.00 0 0 0.00 -
11.29/11.38 c barrier LP : 0.00 0 0 0.00 -
11.29/11.38 c diving/probing LP: 0.12 702 2146 3.06 18519.48
11.29/11.38 c strong branching : 0.88 1255 35681 28.43 40762.59
11.29/11.38 c (at root node) : - 33 2747 83.24 -
11.29/11.38 c conflict analysis: 0.00 0 0 0.00 -
11.29/11.38 c B&B Tree :
11.29/11.38 c number of runs : 1
11.29/11.38 c nodes : 27701
11.29/11.38 c nodes (total) : 27701
11.29/11.38 c nodes left : 0
11.29/11.38 c max depth : 166
11.29/11.38 c max depth (total): 166
11.29/11.38 c backtracks : 1762 (6.4%)
11.29/11.38 c delayed cutoffs : 3247
11.29/11.38 c repropagations : 82085 (55577 domain reductions, 542 cutoffs)
11.29/11.38 c avg switch length: 8.19
11.29/11.38 c switching time : 1.07
11.29/11.38 c Solution :
11.29/11.38 c Solutions found : 140 (35 improvements)
11.29/11.38 c First Solution : +4.94300000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
11.29/11.38 c Primal Bound : +1.00000000000000e+00 (in run 1, after 27198 nodes, 11.01 seconds, depth 19, found by <relaxation>)
11.29/11.38 c Dual Bound : +1.00000000000000e+00
11.29/11.38 c Gap : 0.00 %
11.29/11.38 c Root Dual Bound : +0.00000000000000e+00
11.29/11.38 c Root Iterations : 119
11.29/11.39 c Time complete: 11.38.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705612-1278576722/watcher-2705612-1278576722 -o /tmp/evaluation-result-2705612-1278576722/solver-2705612-1278576722 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705612-1278576722.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: 2.00 2.00 1.91 4/178 23846
/proc/meminfo: memFree=28219432/32951124 swapFree=67111528/67111528
[pid=23846] ppid=23844 vsize=12504 CPUtime=0
/proc/23846/stat : 23846 (pbscip.linux.x8) R 23844 23846 23192 0 -1 4202496 1965 0 0 0 0 0 0 0 25 0 1 0 25885297 12804096 1884 4089446400 4194304 10345943 140735746972096 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23846/statm: 3126 1884 429 1502 0 1619 0
[startup+0.052893 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 23846
/proc/meminfo: memFree=28219432/32951124 swapFree=67111528/67111528
[pid=23846] ppid=23844 vsize=25744 CPUtime=0.04
/proc/23846/stat : 23846 (pbscip.linux.x8) R 23844 23846 23192 0 -1 4202496 5443 0 0 0 4 0 0 0 25 0 1 0 25885297 26361856 5009 4089446400 4194304 10345943 140735746972096 18446744073709551615 6695072 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23846/statm: 6436 5009 736 1502 0 4929 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25744
[startup+0.10089 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 23846
/proc/meminfo: memFree=28219432/32951124 swapFree=67111528/67111528
[pid=23846] ppid=23844 vsize=27724 CPUtime=0.09
/proc/23846/stat : 23846 (pbscip.linux.x8) R 23844 23846 23192 0 -1 4202496 5987 0 0 0 9 0 0 0 25 0 1 0 25885297 28389376 5553 4089446400 4194304 10345943 140735746972096 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23846/statm: 6931 5553 746 1502 0 5424 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27724
[startup+0.300849 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 23846
/proc/meminfo: memFree=28219432/32951124 swapFree=67111528/67111528
[pid=23846] ppid=23844 vsize=27724 CPUtime=0.29
/proc/23846/stat : 23846 (pbscip.linux.x8) R 23844 23846 23192 0 -1 4202496 5994 0 0 0 28 1 0 0 25 0 1 0 25885297 28389376 5560 4089446400 4194304 10345943 140735746972096 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23846/statm: 6931 5560 753 1502 0 5424 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27724
[startup+0.700774 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 23846
/proc/meminfo: memFree=28219432/32951124 swapFree=67111528/67111528
[pid=23846] ppid=23844 vsize=27724 CPUtime=0.69
/proc/23846/stat : 23846 (pbscip.linux.x8) R 23844 23846 23192 0 -1 4202496 5996 0 0 0 68 1 0 0 25 0 1 0 25885297 28389376 5562 4089446400 4194304 10345943 140735746972096 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23846/statm: 6931 5562 755 1502 0 5424 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27724
[startup+1.50064 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23847
/proc/meminfo: memFree=28199336/32951124 swapFree=67111528/67111528
[pid=23846] ppid=23844 vsize=29624 CPUtime=1.49
/proc/23846/stat : 23846 (pbscip.linux.x8) R 23844 23846 23192 0 -1 4202496 6690 0 0 0 147 2 0 0 25 0 1 0 25885297 30334976 6256 4089446400 4194304 10345943 140735746972096 18446744073709551615 6520255 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23846/statm: 7406 6256 764 1502 0 5899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29624
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23847
/proc/meminfo: memFree=28197228/32951124 swapFree=67111528/67111528
[pid=23846] ppid=23844 vsize=29624 CPUtime=3.09
/proc/23846/stat : 23846 (pbscip.linux.x8) R 23844 23846 23192 0 -1 4202496 8759 0 0 0 306 3 0 0 25 0 1 0 25885297 30334976 6300 4089446400 4194304 10345943 140735746972096 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23846/statm: 7406 6300 764 1502 0 5899 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29624
[startup+6.30076 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23847
/proc/meminfo: memFree=28196368/32951124 swapFree=67111528/67111528
[pid=23846] ppid=23844 vsize=33360 CPUtime=6.29
/proc/23846/stat : 23846 (pbscip.linux.x8) R 23844 23846 23192 0 -1 4202496 24937 0 0 0 623 6 0 0 25 0 1 0 25885297 34160640 6786 4089446400 4194304 10345943 140735746972096 18446744073709551615 4230905 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23846/statm: 8340 6786 775 1502 0 6833 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33360
Solver just ended. Dumping a history of the last processes samples
[startup+9.50017 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23847
/proc/meminfo: memFree=28192880/32951124 swapFree=67111528/67111528
[pid=23846] ppid=23844 vsize=37124 CPUtime=9.49
/proc/23846/stat : 23846 (pbscip.linux.x8) R 23844 23846 23192 0 -1 4202496 31738 0 0 0 940 9 0 0 25 0 1 0 25885297 38014976 7748 4089446400 4194304 10345943 140735746972096 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23846/statm: 9281 7748 775 1502 0 7774 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 37124
[startup+10.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23847
/proc/meminfo: memFree=28191144/32951124 swapFree=67111528/67111528
[pid=23846] ppid=23844 vsize=37780 CPUtime=10.29
/proc/23846/stat : 23846 (pbscip.linux.x8) R 23844 23846 23192 0 -1 4202496 35382 0 0 0 1020 9 0 0 25 0 1 0 25885297 38686720 7844 4089446400 4194304 10345943 140735746972096 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23846/statm: 9445 7844 796 1502 0 7938 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 37780
[startup+11.1009 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23847
/proc/meminfo: memFree=28190276/32951124 swapFree=67111528/67111528
[pid=23846] ppid=23844 vsize=37976 CPUtime=11.09
/proc/23846/stat : 23846 (pbscip.linux.x8) R 23844 23846 23192 0 -1 4202496 37066 0 0 0 1099 10 0 0 25 0 1 0 25885297 38887424 7943 4089446400 4194304 10345943 140735746972096 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23846/statm: 9494 7943 796 1502 0 7987 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 37976
[startup+11.3008 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23847
/proc/meminfo: memFree=28190276/32951124 swapFree=67111528/67111528
[pid=23846] ppid=23844 vsize=38304 CPUtime=11.29
/proc/23846/stat : 23846 (pbscip.linux.x8) R 23844 23846 23192 0 -1 4202496 37835 0 0 0 1119 10 0 0 25 0 1 0 25885297 39223296 7975 4089446400 4194304 10345943 140735746972096 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23846/statm: 9576 7975 796 1502 0 8069 0
Current children cumulated CPU time (s) 11.29
Current children cumulated vsize (KiB) 38304
Child status: 0
Real time (s): 11.3914
CPU time (s): 11.3903
CPU user time (s): 11.2833
CPU system time (s): 0.106983
CPU usage (%): 99.9901
Max. virtual memory (cumulated for all children) (KiB): 38304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2833
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37839
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= 1
involuntary context switches= 37
runsolver used 0.014997 second user time and 0.047992 second system time
The end
Begin job on node138 at 2010-07-08 10:12:02
IDJOB=2705612
IDBENCH=79218
IDSOLVER=1214
FILE ID=node138/2705612-1278576722
PBS_JOBID= 11240178
Free space on /tmp= 73600 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218308--soft-0-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-2705612-1278576722/watcher-2705612-1278576722 -o /tmp/evaluation-result-2705612-1278576722/solver-2705612-1278576722 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705612-1278576722.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 603b2ea4eb6e4b400f8febe44a5c96d8
RANDOM SEED=481550123
node138.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.845
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.69
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.845
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 : 5266.27
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.845
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.845
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.73
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.845
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.82
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.845
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.845
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.845
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.88
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28219960 kB
Buffers: 158316 kB
Cached: 4050268 kB
SwapCached: 0 kB
Active: 1958548 kB
Inactive: 2603840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28219960 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 13020 kB
Writeback: 0 kB
AnonPages: 354096 kB
Mapped: 17744 kB
Slab: 105448 kB
PageTables: 5468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 500600 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= 73588 MiB
End job on node138 at 2010-07-08 10:12:13