0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3452195-1307102383.opb>
0.00/0.00 c original problem has 192 variables (192 bin, 0 int, 0 impl, 0 cont) and 17 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.02 c (round 1) 8 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 0 upgd conss, 3056 impls, 0 clqs
0.00/0.02 c (round 2) 8 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 10 upgd conss, 3086 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 236/696 (33.9%) - 0 fixings, 0 aggregations, 65 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (3 rounds):
0.00/0.04 c 8 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 54 changed coefficients
0.00/0.04 c 3216 implications, 0 cliques
0.00/0.04 c presolved problem has 696 variables (696 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.00/0.04 c 511 constraints of type <and>
0.00/0.04 c 8 constraints of type <linear>
0.00/0.04 c 10 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.04
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.4
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 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.05 c 0.1s| 1 | 0 | 13 | - |2782k| 0 | 4 | 696 | 565 | 696 |1040 | 0 | 36 | 0 | 2.000000e+00 | -- | Inf
0.19/0.27 c 0.3s| 1 | 0 | 457 | - |2889k| 0 | 21 | 696 | 625 | 696 |1044 | 4 | 91 | 0 | 2.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 490 | - |2917k| 0 | 24 | 696 | 625 | 696 |1068 | 28 | 91 | 0 | 2.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 514 | - |2923k| 0 | 42 | 696 | 625 | 696 |1076 | 36 | 91 | 0 | 2.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 536 | - |2956k| 0 | 49 | 696 | 625 | 696 |1103 | 63 | 91 | 0 | 2.000000e+00 | -- | Inf
0.29/0.38 c 0.4s| 1 | 0 | 549 | - |2977k| 0 | 61 | 696 | 625 | 696 |1126 | 86 | 91 | 0 | 2.000000e+00 | -- | Inf
0.39/0.43 c 0.4s| 1 | 0 | 562 | - |3006k| 0 | 72 | 696 | 625 | 696 |1139 | 99 | 91 | 0 | 2.000000e+00 | -- | Inf
0.39/0.48 c 0.5s| 1 | 2 | 562 | - |3007k| 0 | 72 | 696 | 625 | 696 |1139 | 99 | 91 | 10 | 2.000000e+00 | -- | Inf
13.31/13.33 c 13.3s| 10000 | 7632 |103278 | 10.3 | 14M| 85 | 16 | 696 |4210 | 696 | 235 | 44k|8034 |1960 | 2.000000e+00 | -- | Inf
24.09/24.15 c 24.2s| 20000 | 15105 |194114 | 9.7 | 22M| 86 | 7 | 696 |2352 | 696 | 245 | 86k| 14k|2947 | 2.000000e+00 | -- | Inf
34.39/34.47 c 34.5s| 30000 | 22361 |279159 | 9.3 | 30M| 99 | 15 | 696 |2485 | 696 | 257 | 127k| 22k|3517 | 2.000000e+00 | -- | Inf
44.99/45.10 c 45.1s| 40000 | 29538 |366889 | 9.2 | 38M| 99 | 8 | 696 |2434 | 696 | 288 | 168k| 29k|4119 | 2.000000e+00 | -- | Inf
55.70/55.73 c 55.7s| 50000 | 36958 |456286 | 9.1 | 46M| 99 | 19 | 696 |2296 | 696 | 228 | 210k| 37k|4689 | 2.000000e+00 | -- | Inf
65.79/65.86 c 65.9s| 60000 | 44099 |540990 | 9.0 | 54M| 104 | 17 | 696 |2314 | 696 | 268 | 251k| 44k|5186 | 2.000000e+00 | -- | Inf
76.79/76.87 c 76.9s| 70000 | 51530 |636282 | 9.1 | 62M| 104 | 21 | 696 |2347 | 696 | 205 | 296k| 52k|5641 | 2.000000e+00 | -- | Inf
87.01/87.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.01/87.05 c 87.0s| 80000 | 58696 |719670 | 9.0 | 71M| 104 | 36 | 696 |2549 | 696 | 336 | 335k| 60k|6009 | 2.000000e+00 | -- | Inf
97.60/97.68 c 97.7s| 90000 | 66057 |812014 | 9.0 | 79M| 104 | 28 | 696 |2233 | 696 | 276 | 381k| 67k|6274 | 2.000000e+00 | -- | Inf
107.91/107.99 c 108s|100000 | 73337 |898563 | 9.0 | 87M| 107 | 11 | 696 |2748 | 696 | 247 | 421k| 75k|6587 | 2.000000e+00 | -- | Inf
118.29/118.30 c 118s|110000 | 80457 |985331 | 9.0 | 95M| 107 | 27 | 696 |2337 | 696 | 257 | 460k| 82k|6887 | 2.000000e+00 | -- | Inf
128.49/128.51 c 129s|120000 | 87768 | 1070k| 8.9 | 103M| 107 | 10 | 696 |2265 | 696 | 256 | 501k| 90k|7150 | 2.000000e+00 | -- | Inf
138.29/138.30 c 138s|130000 | 94738 | 1148k| 8.8 | 111M| 107 | 6 | 696 |2310 | 696 | 288 | 538k| 98k|7436 | 2.000000e+00 | -- | Inf
148.39/148.45 c 148s|140000 |101837 | 1233k| 8.8 | 119M| 107 | 30 | 696 |2112 | 696 | 250 | 578k| 105k|7728 | 2.000000e+00 | -- | Inf
158.41/158.44 c 158s|150000 |108824 | 1316k| 8.8 | 127M| 107 | 26 | 696 |2287 | 696 | 216 | 617k| 113k|8015 | 2.000000e+00 | -- | Inf
168.09/168.13 c 168s|160000 |115752 | 1396k| 8.7 | 135M| 107 | 20 | 696 |2454 | 696 | 364 | 654k| 121k|8323 | 2.000000e+00 | -- | Inf
177.89/177.99 c 178s|170000 |122744 | 1476k| 8.7 | 143M| 107 | 48 | 696 |2368 | 696 | 284 | 691k| 128k|8644 | 2.000000e+00 | -- | Inf
187.98/188.03 c 188s|180000 |129535 | 1560k| 8.7 | 151M| 107 | 7 | 696 |3040 | 696 | 288 | 730k| 137k|8995 | 2.000000e+00 | -- | Inf
199.39/199.44 c 199s|190000 |137345 | 1686k| 8.9 | 160M| 107 | 6 | 696 |3290 | 696 | 274 | 790k| 146k|9135 | 2.000000e+00 | -- | Inf
211.99/212.04 c 212s|200000 |145564 | 1828k| 9.1 | 168M| 107 | 21 | 696 |2417 | 696 | 243 | 859k| 154k|9313 | 2.000000e+00 | -- | Inf
225.60/225.62 c 226s|210000 |154076 | 1964k| 9.4 | 178M| 107 | 29 | 696 |2698 | 696 | 329 | 923k| 162k|9490 | 2.000000e+00 | -- | Inf
238.99/239.02 c 239s|220000 |162442 | 2095k| 9.5 | 187M| 107 | 23 | 696 |2738 | 696 | 278 | 985k| 169k|9632 | 2.000000e+00 | -- | Inf
251.29/251.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.29/251.37 c 251s|230000 |170628 | 2215k| 9.6 | 197M| 107 | 9 | 696 |2786 | 696 | 337 |1043k| 176k|9786 | 2.000000e+00 | -- | Inf
264.49/264.60 c 265s|240000 |178942 | 2336k| 9.7 | 206M| 107 | 11 | 696 |2751 | 696 | 317 |1099k| 183k|9920 | 2.000000e+00 | -- | Inf
275.49/275.58 c 276s|250000 |186565 | 2435k| 9.7 | 214M| 107 | 2 | 696 |2887 | 696 | 294 |1144k| 190k| 10k| 2.000000e+00 | -- | Inf
285.79/285.88 c 286s|260000 |193972 | 2525k| 9.7 | 223M| 107 | 20 | 696 |3020 | 696 | 208 |1186k| 198k| 10k| 2.000000e+00 | -- | Inf
296.29/296.34 c 296s|270000 |201440 | 2619k| 9.7 | 231M| 107 | 92 | 696 |2915 | 696 | 334 |1229k| 206k| 10k| 2.000000e+00 | -- | Inf
307.69/307.70 c 308s|280000 |209529 | 2723k| 9.7 | 240M| 107 | 38 | 696 |3021 | 696 | 288 |1275k| 214k| 10k| 2.000000e+00 | -- | Inf
318.39/318.42 c 318s|290000 |217315 | 2820k| 9.7 | 248M| 107 | 19 | 696 |2860 | 696 | 312 |1320k| 222k| 10k| 2.000000e+00 | -- | Inf
328.39/328.45 c 328s|300000 |224732 | 2912k| 9.7 | 257M| 107 | - | 696 |3294 | 0 | 0 |1360k| 230k| 10k| 2.000000e+00 | -- | Inf
339.09/339.10 c 339s|310000 |232216 | 3012k| 9.7 | 265M| 107 | 8 | 696 |3123 | 696 | 336 |1405k| 239k| 10k| 2.000000e+00 | -- | Inf
348.81/348.83 c 349s|320000 |238827 | 3096k| 9.7 | 273M| 107 | 11 | 696 |3388 | 696 | 274 |1442k| 248k| 10k| 2.000000e+00 | -- | Inf
359.19/359.24 c 359s|330000 |246135 | 3190k| 9.7 | 281M| 107 | 29 | 696 |3448 | 696 | 185 |1485k| 256k| 10k| 2.000000e+00 | -- | Inf
369.20/369.25 c 369s|340000 |253288 | 3278k| 9.6 | 289M| 107 | 2 | 696 |3571 | 696 | 296 |1526k| 264k| 11k| 2.000000e+00 | -- | Inf
379.61/379.63 c 380s|350000 |260701 | 3371k| 9.6 | 297M| 107 | 22 | 696 |3495 | 696 | 263 |1568k| 273k| 11k| 2.000000e+00 | -- | Inf
389.41/389.44 c 389s|360000 |267621 | 3455k| 9.6 | 305M| 107 | 52 | 696 |3707 | 696 | 339 |1606k| 282k| 11k| 2.000000e+00 | -- | Inf
399.31/399.36 c 399s|370000 |274206 | 3543k| 9.6 | 312M| 107 | 11 | 696 |3544 | 696 | 270 |1645k| 291k| 11k| 2.000000e+00 | -- | Inf
408.99/409.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.99/409.08 c 409s|380000 |280906 | 3629k| 9.5 | 320M| 107 | 12 | 696 |4224 | 696 | 253 |1685k| 300k| 11k| 2.000000e+00 | -- | Inf
419.30/419.34 c 419s|390000 |287991 | 3721k| 9.5 | 328M| 107 | 56 | 696 |3926 | 696 | 256 |1726k| 309k| 11k| 2.000000e+00 | -- | Inf
428.20/428.21 c 428s|400000 |294117 | 3794k| 9.5 | 335M| 107 | 7 | 696 |4630 | 696 | 295 |1757k| 318k| 11k| 2.000000e+00 | -- | Inf
430.11/430.20 o 2
430.11/430.20 c * 430s|401425 | 0 | 3807k| 9.5 |6664k| 107 | - | 696 |4276 | 696 | 373 |1763k| 319k| 11k| 2.000000e+00 | 2.000000e+00 | 0.00%
430.11/430.20 c
430.11/430.20 c SCIP Status : problem is solved [optimal solution found]
430.11/430.20 c Solving Time (sec) : 430.20
430.11/430.20 c Solving Nodes : 401425
430.11/430.20 c Primal Bound : +2.00000000000000e+00 (1 solutions)
430.11/430.20 c Dual Bound : +2.00000000000000e+00
430.11/430.20 c Gap : 0.00 %
430.11/430.20 s OPTIMUM FOUND
430.11/430.20 v -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x128 -x127 -x126 -x125 -x124 x123
430.11/430.20 v x122 -x121 -x176 x175 -x174 -x173 x172 x171 -x170 -x169 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x168 -x167 -x166 -x165
430.11/430.20 v -x164 -x163 -x162 -x161 x112 -x111 -x110 -x109 x108 -x107 x106 -x105 x160 -x159 -x158 -x157 x156 -x155 -x154 x153 -x104 -x103
430.11/430.20 v -x102 -x101 -x100 -x99 x98 -x97 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x96 -x95 -x94 -x93 x92 x91 x90 -x89 x144
430.11/430.20 v x143 x142 x141 x140 x139 -x138 x137 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x80
430.11/430.20 v x79 x78 x77 x76 x75 x74 -x73 -x72 x71 -x70 x69 x68 -x67 -x66 x65 x64 -x63 -x62 -x61 -x60 -x59 x58 x57 x56 -x55 -x54 -x53 x52
430.11/430.20 v x51 -x50 x49 -x48 x47 -x46 -x45 -x44 x43 -x42 x41 x40 x39 x38 x37 -x36 x35 x34 x33 -x32 x31 -x30 -x29 -x28 x27 x26 x25 x24
430.11/430.20 v x23 x22 x21 x20 x19 x18 x17 -x16 x15 x14 x13 x12 x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
430.11/430.20 c SCIP Status : problem is solved [optimal solution found]
430.11/430.20 c Total Time : 430.20
430.11/430.20 c solving : 430.20
430.11/430.20 c presolving : 0.04 (included in solving)
430.11/430.20 c reading : 0.00 (included in solving)
430.11/430.20 c Original Problem :
430.11/430.20 c Problem name : HOME/instance-3452195-1307102383.opb
430.11/430.20 c Variables : 192 (192 binary, 0 integer, 0 implicit integer, 0 continuous)
430.11/430.20 c Constraints : 17 initial, 17 maximal
430.11/430.20 c Presolved Problem :
430.11/430.20 c Problem name : t_HOME/instance-3452195-1307102383.opb
430.11/430.20 c Variables : 696 (696 binary, 0 integer, 0 implicit integer, 0 continuous)
430.11/430.20 c Constraints : 529 initial, 5007 maximal
430.11/430.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
430.11/430.20 c trivial : 0.00 0 0 0 0 0 0 0 0 0
430.11/430.20 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
430.11/430.20 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
430.11/430.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
430.11/430.20 c implics : 0.00 0 0 0 0 0 0 0 0 0
430.11/430.20 c probing : 0.02 0 0 0 0 0 0 0 0 0
430.11/430.20 c and : 0.02 0 0 0 0 0 0 0 0 0
430.11/430.20 c linear : 0.00 1 7 0 0 0 0 0 0 54
430.11/430.20 c logicor : 0.00 0 0 0 0 0 0 0 0 0
430.11/430.20 c root node : - 0 - - 0 - - - - -
430.11/430.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
430.11/430.20 c integral : 0 0 0 362092 0 77 0 7 4182 0 0 719936
430.11/430.20 c and : 511 874367 1201436 1 0 74 5363197 13774 2468728 1770053 0 0
430.11/430.20 c linear : 8+ 7 1187662 1 0 2 992147 56991 613354 0 0 0
430.11/430.20 c logicor : 10+ 6 597816 1 0 0 208985 4234 116050 35 0 0
430.11/430.20 c countsols : 0 0 0 1 0 2 0 0 0 0 0 0
430.11/430.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
430.11/430.20 c integral : 7.95 0.00 0.00 7.95 0.00 0.00 0.00
430.11/430.20 c and : 33.52 24.45 8.17 0.00 0.00 0.00 0.89
430.11/430.20 c linear : 13.55 0.00 10.89 0.00 0.00 0.00 2.66
430.11/430.20 c logicor : 6.22 0.00 6.00 0.00 0.00 0.00 0.22
430.11/430.20 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
430.11/430.20 c Propagators : #Propagate #Resprop Cutoffs DomReds
430.11/430.20 c vbounds : 0 0 0 0
430.11/430.20 c rootredcost : 0 0 0 0
430.11/430.20 c pseudoobj : 1200944 0 0 0
430.11/430.20 c Propagator Timings : TotalTime Propagate Resprop
430.11/430.20 c vbounds : 0.18 0.18 0.00
430.11/430.20 c rootredcost : 0.19 0.19 0.00
430.11/430.20 c pseudoobj : 0.54 0.54 0.00
430.11/430.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
430.11/430.20 c propagation : 8.77 74999 74385 867020 57.9 31720 26.4 -
430.11/430.20 c infeasible LP : 0.22 2223 2218 8926 37.7 1897 17.3 0
430.11/430.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
430.11/430.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
430.11/430.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
430.11/430.20 c applied globally : - - - 319461 34.1 - - -
430.11/430.20 c applied locally : - - - 0 0.0 - - -
430.11/430.20 c Separators : Time Calls Cutoffs DomReds Cuts Conss
430.11/430.20 c cut pool : 0.00 5 - - 0 - (maximal pool size: 83)
430.11/430.20 c redcost : 8.42 874414 0 112 0 0
430.11/430.20 c impliedbounds : 0.00 6 0 0 63 0
430.11/430.20 c intobj : 0.00 0 0 0 0 0
430.11/430.20 c gomory : 0.04 6 0 0 0 0
430.11/430.20 c cgmip : 0.00 0 0 0 0 0
430.11/430.20 c closecuts : 0.00 0 0 0 0 0
430.11/430.20 c strongcg : 0.03 6 0 0 0 0
430.11/430.20 c cmir : 0.02 6 0 0 29 0
430.11/430.20 c flowcover : 0.06 6 0 0 42 0
430.11/430.20 c clique : 0.00 1 0 0 0 0
430.11/430.20 c zerohalf : 0.00 0 0 0 0 0
430.11/430.20 c mcf : 0.00 1 0 0 0 0
430.11/430.20 c oddcycle : 0.00 0 0 0 0 0
430.11/430.20 c rapidlearning : 0.02 1 0 0 0 3
430.11/430.20 c Pricers : Time Calls Vars
430.11/430.20 c problem variables: 0.00 0 0
430.11/430.20 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
430.11/430.20 c relpscost : 7.73 362064 7 4182 0 0 719882
430.11/430.20 c pscost : 0.00 0 0 0 0 0 0
430.11/430.20 c inference : 0.00 27 0 0 0 0 54
430.11/430.20 c mostinf : 0.00 0 0 0 0 0 0
430.11/430.20 c leastinf : 0.00 0 0 0 0 0 0
430.11/430.20 c fullstrong : 0.00 0 0 0 0 0 0
430.11/430.20 c allfullstrong : 0.00 0 0 0 0 0 0
430.11/430.20 c random : 0.00 0 0 0 0 0 0
430.11/430.20 c Primal Heuristics : Time Calls Found
430.11/430.20 c LP solutions : 0.55 - 1
430.11/430.20 c pseudo solutions : 0.00 - 0
430.11/430.20 c oneopt : 0.27 0 0
430.11/430.20 c crossover : 0.07 0 0
430.11/430.20 c guideddiving : 0.00 0 0
430.11/430.20 c objpscostdiving : 2.31 179 0
430.11/430.20 c rootsoldiving : 3.58 179 0
430.11/430.20 c feaspump : 1.49 213 0
430.11/430.20 c fracdiving : 3.71 1230 0
430.11/430.20 c veclendiving : 3.89 1230 0
430.11/430.20 c linesearchdiving : 3.81 1230 0
430.11/430.20 c coefdiving : 4.00 1231 0
430.11/430.20 c pscostdiving : 4.60 1231 0
430.11/430.20 c trivial : 0.00 2 0
430.11/430.20 c shiftandpropagate: 0.01 1 0
430.11/430.20 c simplerounding : 0.16 0 0
430.11/430.20 c zirounding : 2.05 0 0
430.11/430.20 c rounding : 0.56 13385 0
430.11/430.20 c shifting : 3.60 4286 0
430.11/430.20 c intshifting : 0.00 0 0
430.11/430.20 c twoopt : 0.00 0 0
430.11/430.20 c fixandinfer : 0.00 0 0
430.11/430.20 c clique : 0.00 0 0
430.11/430.20 c intdiving : 0.00 0 0
430.11/430.20 c actconsdiving : 0.00 0 0
430.11/430.20 c octane : 0.00 0 0
430.11/430.20 c rens : 0.01 1 0
430.11/430.20 c rins : 0.00 0 0
430.11/430.20 c localbranching : 0.00 0 0
430.11/430.20 c mutation : 0.00 0 0
430.11/430.20 c dins : 0.00 0 0
430.11/430.20 c vbounds : 0.00 0 0
430.11/430.20 c undercover : 0.18 1 0
430.11/430.20 c subnlp : 0.06 0 0
430.11/430.20 c trysol : 0.15 0 0
430.11/430.20 c LP : Time Calls Iterations Iter/call Iter/sec
430.11/430.20 c primal LP : 13.89 0 0 0.00 0.00
430.11/430.20 c dual LP : 213.70 918753 3531277 3.84 16524.57
430.11/430.20 c lex dual LP : 0.00 0 0 0.00 -
430.11/430.20 c barrier LP : 0.00 0 0 0.00 -
430.11/430.20 c diving/probing LP: 16.03 69643 276379 3.97 17239.28
430.11/430.20 c strong branching : 5.34 11628 76498 6.58 14336.96
430.11/430.20 c (at root node) : - 10 528 52.80 -
430.11/430.20 c conflict analysis: 0.00 0 0 0.00 -
430.11/430.20 c B&B Tree :
430.11/430.20 c number of runs : 1
430.11/430.20 c nodes : 401425
430.11/430.20 c nodes (total) : 401425
430.11/430.20 c nodes left : 0
430.11/430.20 c max depth : 107
430.11/430.20 c max depth (total): 107
430.11/430.20 c backtracks : 29672 (7.4%)
430.11/430.20 c delayed cutoffs : 23386
430.11/430.20 c repropagations : 93738 (362104 domain reductions, 19463 cutoffs)
430.11/430.20 c avg switch length: 6.94
430.11/430.20 c switching time : 33.95
430.11/430.20 c Solution :
430.11/430.20 c Solutions found : 1 (1 improvements)
430.11/430.20 c First Solution : +2.00000000000000e+00 (in run 1, after 401425 nodes, 429.66 seconds, depth 94, found by <relaxation>)
430.11/430.20 c Primal Bound : +2.00000000000000e+00 (in run 1, after 401425 nodes, 429.66 seconds, depth 94, found by <relaxation>)
430.11/430.20 c Dual Bound : +2.00000000000000e+00
430.11/430.20 c Gap : 0.00 %
430.11/430.20 c Root Dual Bound : +2.00000000000000e+00
430.11/430.20 c Root Iterations : 562
430.21/430.23 c Time complete: 430.22.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452195-1307102383/watcher-3452195-1307102383 -o /tmp/evaluation-result-3452195-1307102383/solver-3452195-1307102383 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452195-1307102383.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.04 2.00 2/429 25396
/proc/meminfo: memFree=28590460/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=16692 CPUtime=0.01 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 3199 0 0 0 1 0 0 0 25 0 1 0 821838717 17092608 2895 33554432000 4194304 9128323 140734538650384 18446744073709551615 4971838 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 4173 2895 494 1205 0 2964 0
[startup+0.10714 s]
/proc/loadavg: 2.05 2.04 2.00 2/429 25396
/proc/meminfo: memFree=28590460/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=41188 CPUtime=0.1 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 9518 0 0 0 9 1 0 0 18 0 1 0 821838717 42176512 8846 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 10297 8847 702 1205 0 9088 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 41188
[startup+0.201121 s]
/proc/loadavg: 2.05 2.04 2.00 2/429 25396
/proc/meminfo: memFree=28590460/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=42816 CPUtime=0.19 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 13796 0 0 0 17 2 0 0 18 0 1 0 821838717 43843584 9318 33554432000 4194304 9128323 140734538650384 18446744073709551615 5872449 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 10704 9318 718 1205 0 9495 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42816
[startup+0.3011 s]
/proc/loadavg: 2.05 2.04 2.00 2/429 25396
/proc/meminfo: memFree=28590460/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=34368 CPUtime=0.29 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 16395 0 0 0 26 3 0 0 18 0 1 0 821838717 35192832 7625 33554432000 4194304 9128323 140734538650384 18446744073709551615 6694295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 8592 7625 741 1205 0 7383 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34368
[startup+0.701028 s]
/proc/loadavg: 2.05 2.04 2.00 2/429 25396
/proc/meminfo: memFree=28590460/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=41600 CPUtime=0.69 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 17967 0 0 0 65 4 0 0 18 0 1 0 821838717 42598400 9195 33554432000 4194304 9128323 140734538650384 18446744073709551615 4692798 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 10400 9195 742 1205 0 9191 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41600
[startup+1.50089 s]
/proc/loadavg: 2.05 2.04 2.00 3/430 25397
/proc/meminfo: memFree=28556104/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=41600 CPUtime=1.49 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 17971 0 0 0 144 5 0 0 19 0 1 0 821838717 42598400 9199 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 10400 9199 743 1205 0 9191 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41600
[startup+3.10058 s]
/proc/loadavg: 2.05 2.04 2.00 3/430 25397
/proc/meminfo: memFree=28555360/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=41600 CPUtime=3.09 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 17976 0 0 0 301 8 0 0 25 0 1 0 821838717 42598400 9204 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 10400 9204 743 1205 0 9191 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41600
[startup+6.30098 s]
/proc/loadavg: 2.05 2.04 2.00 3/430 25397
/proc/meminfo: memFree=28553980/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=41644 CPUtime=6.29 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 17983 0 0 0 617 12 0 0 25 0 1 0 821838717 42643456 9211 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 10411 9211 743 1205 0 9202 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41644
[startup+12.7008 s]
/proc/loadavg: 2.05 2.04 2.00 3/430 25397
/proc/meminfo: memFree=28552548/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=43528 CPUtime=12.7 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 18421 0 0 0 1247 23 0 0 25 0 1 0 821838717 44572672 9649 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 10882 9649 743 1205 0 9673 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 43528
[startup+25.5004 s]
/proc/loadavg: 2.04 2.04 2.00 3/430 25398
/proc/meminfo: memFree=28541624/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=54076 CPUtime=25.49 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 21133 0 0 0 2508 41 0 0 25 0 1 0 821838717 55373824 12361 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 13519 12361 743 1205 0 12310 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54076
[startup+51.1007 s]
/proc/loadavg: 2.10 2.05 2.01 3/430 25398
/proc/meminfo: memFree=28518228/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=77148 CPUtime=51.09 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 26956 0 0 0 5030 79 0 0 25 0 1 0 821838717 78999552 18176 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 19287 18176 743 1205 0 18078 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 77148
[startup+102.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/430 25463
/proc/meminfo: memFree=28989448/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=124528 CPUtime=102.31 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 38423 0 0 0 10072 159 0 0 25 0 1 0 821838717 127516672 29629 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 31132 29629 743 1205 0 29923 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 124528
[startup+162.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/430 25734
/proc/meminfo: memFree=28939892/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=171912 CPUtime=162.29 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 50423 0 0 0 15976 253 0 0 25 0 1 0 821838717 176037888 41619 33554432000 4194304 9128323 140734538650384 18446744073709551615 6581584 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 42978 41619 743 1205 0 41769 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 171912
[startup+222.316 s]
/proc/loadavg: 1.98 2.02 1.99 3/430 26627
/proc/meminfo: memFree=28420456/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=221664 CPUtime=222.3 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 63073 0 0 0 21884 346 0 0 25 0 1 0 821838717 226983936 54215 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 55416 54215 743 1205 0 54207 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 221664
[startup+282.301 s]
/proc/loadavg: 1.99 2.01 1.99 3/430 26631
/proc/meminfo: memFree=28355968/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=271388 CPUtime=282.29 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 75676 0 0 0 27791 438 0 0 25 0 1 0 821838717 277901312 66817 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 67847 66817 743 1205 0 66638 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 271388
[startup+342.301 s]
/proc/loadavg: 1.99 2.01 1.99 3/430 26633
/proc/meminfo: memFree=28297496/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=321548 CPUtime=342.29 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 87376 0 0 0 33702 527 0 0 25 0 1 0 821838717 329265152 78511 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 80387 78511 743 1205 0 79178 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 321548
[startup+402.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/430 26635
/proc/meminfo: memFree=28236684/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=372268 CPUtime=402.3 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 100217 0 0 0 39608 622 0 0 25 0 1 0 821838717 381202432 91350 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 93067 91350 743 1205 0 91858 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 372268
Solver just ended. Dumping a history of the last processes samples
[startup+409.601 s]
/proc/loadavg: 2.08 2.03 2.00 3/430 26635
/proc/meminfo: memFree=28232192/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=377672 CPUtime=409.6 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 101564 0 0 0 40327 633 0 0 25 0 1 0 821838717 386736128 92697 33554432000 4194304 9128323 140734538650384 18446744073709551615 6712857 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 94418 92697 743 1205 0 93209 0
Current children cumulated CPU time (s) 409.6
Current children cumulated vsize (KiB) 377672
[startup+422.401 s]
/proc/loadavg: 2.07 2.03 2.00 3/430 26635
/proc/meminfo: memFree=28221028/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=387280 CPUtime=422.41 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 104028 0 0 0 41589 652 0 0 25 0 1 0 821838717 396574720 95161 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 96820 95161 743 1205 0 95611 0
Current children cumulated CPU time (s) 422.41
Current children cumulated vsize (KiB) 387280
[startup+425.601 s]
/proc/loadavg: 2.07 2.03 2.00 3/430 26635
/proc/meminfo: memFree=28217556/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=389232 CPUtime=425.6 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 104485 0 0 0 41903 657 0 0 25 0 1 0 821838717 398573568 95618 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 97308 95618 743 1205 0 96099 0
Current children cumulated CPU time (s) 425.6
Current children cumulated vsize (KiB) 389232
[startup+428.801 s]
/proc/loadavg: 2.07 2.03 2.00 3/430 26635
/proc/meminfo: memFree=28216800/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=390040 CPUtime=428.8 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 104723 0 0 0 42218 662 0 0 25 0 1 0 821838717 399400960 95856 33554432000 4194304 9128323 140734538650384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 97510 95856 743 1205 0 96301 0
Current children cumulated CPU time (s) 428.8
Current children cumulated vsize (KiB) 390040
[startup+429.6 s]
/proc/loadavg: 2.07 2.03 2.00 3/430 26635
/proc/meminfo: memFree=28216676/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=390280 CPUtime=429.6 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 104789 0 0 0 42297 663 0 0 25 0 1 0 821838717 399646720 95922 33554432000 4194304 9128323 140734538650384 18446744073709551615 6712866 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 97570 95922 743 1205 0 96361 0
Current children cumulated CPU time (s) 429.6
Current children cumulated vsize (KiB) 390280
[startup+430 s]
/proc/loadavg: 2.07 2.03 2.00 3/430 26635
/proc/meminfo: memFree=28216676/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=390280 CPUtime=430 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 104807 0 0 0 42337 663 0 0 25 0 1 0 821838717 399646720 95940 33554432000 4194304 9128323 140734538650384 18446744073709551615 4806747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25396/statm: 97570 95940 744 1205 0 96361 0
Current children cumulated CPU time (s) 430
Current children cumulated vsize (KiB) 390280
[startup+430.216 s]
/proc/loadavg: 2.06 2.03 2.00 3/430 26635
/proc/meminfo: memFree=28215932/32951124 swapFree=43324008/67111528
[pid=25396] ppid=25394 vsize=370016 CPUtime=430.21 cores=0,2,4,6
/proc/25396/stat : 25396 (scip-2.0.1.4.li) R 25394 25396 22076 0 -1 4202496 104809 0 0 0 42358 663 0 0 25 0 1 0 821838717 378896384 91784 33554432000 4194304 9128323 140734538650384 18446744073709551615 8062775 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25396/statm: 92504 91784 746 1205 0 91295 0
Current children cumulated CPU time (s) 430.21
Current children cumulated vsize (KiB) 370016
Child status: 0
Real time (s): 430.233
CPU time (s): 430.238
CPU user time (s): 423.59
CPU system time (s): 6.64799
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 390280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 423.59
system time used= 6.64799
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104811
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1213
runsolver used 1.88371 second user time and 4.00039 second system time
The end