0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703799-1278553632.opb>
0.01/0.02 c original problem has 360 variables (360 bin, 0 int, 0 impl, 0 cont) and 980 constraints
0.01/0.02 c problem read
0.01/0.02 c presolving settings loaded
0.01/0.03 c presolving:
0.01/0.05 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 890 upgd conss, 6120 impls, 0 clqs
0.01/0.06 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 974 upgd conss, 6120 impls, 0 clqs
0.01/0.08 c (0.1s) probing: 101/360 (28.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.08 c presolving (3 rounds):
0.01/0.08 c 0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.08 c 6120 implications, 0 cliques
0.01/0.08 c presolved problem has 360 variables (360 bin, 0 int, 0 impl, 0 cont) and 974 constraints
0.01/0.08 c 900 constraints of type <setppc>
0.01/0.08 c 74 constraints of type <logicor>
0.01/0.08 c transformed objective value is always integral (scale: 1)
0.01/0.08 c Presolving Time: 0.05
0.01/0.08 c - non default parameters ----------------------------------------------------------------------
0.01/0.08 c # SCIP version 1.2.1.3
0.01/0.08 c
0.01/0.08 c # frequency for displaying node information lines
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.08 c display/freq = 10000
0.01/0.08 c
0.01/0.08 c # maximal time in seconds to run
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/time = 1789.98
0.01/0.08 c
0.01/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/memory = 1620
0.01/0.08 c
0.01/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.08 c # [type: int, range: [1,2], default: 1]
0.01/0.08 c timing/clocktype = 2
0.01/0.08 c
0.01/0.08 c # should presolving try to simplify inequalities
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/linear/simplifyinequalities = TRUE
0.01/0.08 c
0.01/0.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/indicator/addCouplingCons = TRUE
0.01/0.08 c
0.01/0.08 c # should presolving try to simplify knapsacks
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.08 c
0.01/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.08 c separating/rapidlearning/freq = 0
0.01/0.08 c
0.01/0.08 c -----------------------------------------------------------------------------------------------
0.01/0.08 c start solving
0.01/0.08 c
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c 0.1s| 1 | 0 | 371 | - |2246k| 0 | 232 | 360 | 974 | 360 | 974 | 0 | 0 | 0 | 1.160000e+02 | -- | Inf
0.19/0.27 o 154
0.19/0.27 c y 0.2s| 1 | 0 | 563 | - |2607k| 0 | 232 | 360 | 974 | 360 | 974 | 0 | 0 | 0 | 1.160000e+02 | 1.540000e+02 | 32.76%
0.19/0.29 c 0.3s| 1 | 0 | 635 | - |2290k| 0 | 224 | 360 | 996 | 360 | 985 | 11 | 0 | 0 | 1.215000e+02 | 1.540000e+02 | 26.75%
0.29/0.35 c 0.3s| 1 | 0 | 668 | - |2308k| 0 | 225 | 360 | 996 | 360 | 991 | 17 | 0 | 0 | 1.220000e+02 | 1.540000e+02 | 26.23%
0.39/0.43 c 0.4s| 1 | 0 | 715 | - |2336k| 0 | 233 | 360 | 996 | 360 | 998 | 24 | 0 | 0 | 1.220000e+02 | 1.540000e+02 | 26.23%
0.49/0.51 c 0.5s| 1 | 0 | 818 | - |2422k| 0 | 242 | 360 | 996 | 360 |1006 | 32 | 0 | 0 | 1.221250e+02 | 1.540000e+02 | 26.10%
0.49/0.59 c 0.6s| 1 | 0 | 924 | - |2448k| 0 | 244 | 360 | 996 | 360 |1014 | 40 | 0 | 0 | 1.231333e+02 | 1.540000e+02 | 25.07%
0.59/0.68 c 0.7s| 1 | 0 | 1035 | - |2544k| 0 | 260 | 360 | 996 | 360 |1021 | 47 | 0 | 0 | 1.243333e+02 | 1.540000e+02 | 23.86%
0.69/0.78 c 0.8s| 1 | 0 | 1166 | - |2704k| 0 | 267 | 360 | 996 | 360 |1030 | 56 | 0 | 0 | 1.261667e+02 | 1.540000e+02 | 22.06%
0.89/0.91 c 0.9s| 1 | 0 | 1310 | - |2887k| 0 | 274 | 360 | 996 | 360 |1039 | 65 | 0 | 0 | 1.270000e+02 | 1.540000e+02 | 21.26%
1.00/1.05 c 1.0s| 1 | 0 | 1451 | - |3139k| 0 | 269 | 360 | 996 | 360 |1045 | 71 | 0 | 0 | 1.270000e+02 | 1.540000e+02 | 21.26%
1.19/1.20 c 1.2s| 1 | 0 | 1593 | - |3426k| 0 | 268 | 360 | 996 | 360 |1052 | 78 | 0 | 0 | 1.270000e+02 | 1.540000e+02 | 21.26%
1.29/1.34 c 1.3s| 1 | 0 | 1747 | - |3597k| 0 | 279 | 360 | 996 | 360 |1058 | 84 | 0 | 0 | 1.270000e+02 | 1.540000e+02 | 21.26%
1.39/1.48 c 1.5s| 1 | 0 | 1906 | - |3755k| 0 | 280 | 360 | 996 | 360 |1065 | 91 | 0 | 0 | 1.270000e+02 | 1.540000e+02 | 21.26%
1.59/1.62 c 1.6s| 1 | 0 | 2029 | - |3889k| 0 | 274 | 360 | 996 | 360 |1061 | 97 | 0 | 0 | 1.270000e+02 | 1.540000e+02 | 21.26%
1.99/2.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.01 c 2.0s| 1 | 2 | 2029 | - |3889k| 0 | 274 | 360 | 996 | 360 |1061 | 97 | 0 | 16 | 1.270000e+02 | 1.540000e+02 | 21.26%
5.29/5.35 o 152
5.29/5.35 c R 5.3s| 14 | 13 | 2741 | 54.8 |3939k| 13 | 3 | 360 | 996 | 360 |1035 | 97 | 0 | 200 | 1.270857e+02 | 1.520000e+02 | 19.60%
5.29/5.35 o 151
5.29/5.35 c b 5.3s| 14 | 13 | 2741 | 54.8 |3948k| 13 | - | 360 | 996 | 360 |1035 | 97 | 0 | 200 | 1.270857e+02 | 1.510000e+02 | 18.82%
9.49/9.53 o 150
9.49/9.53 c R 9.5s| 26 | 23 | 3365 | 53.4 |3976k| 13 | - | 360 | 996 | 360 |1035 | 97 | 0 | 449 | 1.272500e+02 | 1.500000e+02 | 17.88%
13.09/13.13 o 149
13.09/13.13 c R13.1s| 37 | 31 | 3785 | 48.8 |3999k| 13 | 14 | 360 | 996 | 360 |1035 | 97 | 0 | 660 | 1.272500e+02 | 1.490000e+02 | 17.09%
13.09/13.15 o 147
13.09/13.15 c b13.1s| 37 | 26 | 3789 | 48.9 |3998k| 13 | - | 360 | 996 | 360 |1035 | 97 | 0 | 668 | 1.272500e+02 | 1.470000e+02 | 15.52%
13.39/13.45 o 145
13.39/13.45 c c13.4s| 39 | 24 | 3925 | 49.9 |3996k| 13 | - | 360 | 996 | 360 |1035 | 97 | 0 | 726 | 1.272500e+02 | 1.450000e+02 | 13.95%
15.68/15.74 o 144
15.68/15.74 c R15.7s| 47 | 27 | 4396 | 51.5 |4009k| 13 | - | 360 | 996 | 360 |1035 | 97 | 0 | 877 | 1.272500e+02 | 1.440000e+02 | 13.16%
21.09/21.15 o 143
21.09/21.15 c *21.1s| 78 | 33 | 6170 | 53.8 |4038k| 16 | - | 360 | 998 | 360 |1035 | 97 | 2 |1197 | 1.278333e+02 | 1.430000e+02 | 11.86%
23.88/23.97 o 142
23.88/23.97 c v24.0s| 230 | 74 | 10561 | 37.3 |4154k| 17 | - | 360 |1001 | 360 |1035 | 97 | 5 |1321 | 1.278333e+02 | 1.420000e+02 | 11.08%
25.38/25.41 o 141
25.38/25.41 c *25.4s| 425 | 105 | 16785 | 34.8 |4236k| 20 | - | 360 |1005 | 360 |1035 | 97 | 9 |1335 | 1.278550e+02 | 1.410000e+02 | 10.28%
25.38/25.45 o 140
25.38/25.45 c *25.4s| 433 | 91 | 16980 | 34.6 |4209k| 21 | - | 360 |1005 | 360 |1035 | 97 | 9 |1335 | 1.278550e+02 | 1.400000e+02 | 9.50%
25.38/25.45 o 139
25.38/25.45 c b25.4s| 433 | 71 | 16980 | 34.6 |4174k| 21 | - | 360 |1005 | 360 |1035 | 97 | 9 |1335 | 1.278550e+02 | 1.390000e+02 | 8.72%
94.56/94.61 c 94.6s| 10000 | 144 |294800 | 29.3 |4557k| 47 | - | 360 |1019 | 360 |1035 | 97 | 48 |2398 | 1.337885e+02 | 1.390000e+02 | 3.90%
106.15/106.23 c
106.15/106.23 c SCIP Status : problem is solved [optimal solution found]
106.15/106.23 c Solving Time (sec) : 106.21
106.15/106.23 c Solving Nodes : 11588
106.15/106.23 c Primal Bound : +1.39000000000000e+02 (26 solutions)
106.15/106.23 c Dual Bound : +1.39000000000000e+02
106.15/106.23 c Gap : 0.00 %
106.15/106.23 s OPTIMUM FOUND
106.15/106.23 v x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 x347 x346 -x345 x344 -x343 x342 -x341 x340 -x339 x338
106.15/106.23 v -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 x324 -x323 -x322 x321 x320 -x319 x318 -x317 x316
106.15/106.23 v -x315 x314 -x313 x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 x300 -x299 x298 -x297 -x296 -x295 -x294
106.15/106.23 v -x293 -x292 -x291 -x290 x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 x276 -x275 -x274 -x273
106.15/106.23 v -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 x264 -x263 -x262 x261 x260 -x259 x258 -x257 x256 -x255 x254 -x253 x252 -x251 -x250
106.15/106.23 v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 x239 x238 -x237 x236 -x235 x234 -x233 x232 -x231 x230 -x229 x228
106.15/106.23 v -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207
106.15/106.23 v -x206 x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189 -x188 x187 -x186 -x185
106.15/106.23 v -x184 -x183 -x182 x181 -x180 x179 -x178 x177 -x176 -x175 -x174 x173 x172 -x171 -x170 x169 -x168 x167 -x166 -x165 -x164 x163
106.15/106.23 v x162 -x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 x142 -x141 x140
106.15/106.23 v -x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 -x118
106.15/106.23 v x117 -x116 x115 -x114 x113 -x112 x111 x110 -x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94
106.15/106.23 v x93 x92 -x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 x78 -x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66
106.15/106.23 v x65 -x64 x63 -x62 x61 x60 -x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 x46 -x45 -x44 x43 -x42 x41 -x40 x39 -x38
106.15/106.23 v x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 x28 -x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 -x12 x11
106.15/106.23 v -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
106.15/106.23 c SCIP Status : problem is solved [optimal solution found]
106.15/106.23 c Solving Time : 106.21
106.15/106.23 c Original Problem :
106.15/106.23 c Problem name : HOME/instance-2703799-1278553632.opb
106.15/106.23 c Variables : 360 (360 binary, 0 integer, 0 implicit integer, 0 continuous)
106.15/106.23 c Constraints : 980 initial, 980 maximal
106.15/106.23 c Presolved Problem :
106.15/106.23 c Problem name : t_HOME/instance-2703799-1278553632.opb
106.15/106.23 c Variables : 360 (360 binary, 0 integer, 0 implicit integer, 0 continuous)
106.15/106.23 c Constraints : 974 initial, 1033 maximal
106.15/106.23 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
106.15/106.23 c trivial : 0.00 0 0 0 0 0 0 0 0
106.15/106.23 c dualfix : 0.00 0 0 0 0 0 0 0 0
106.15/106.23 c boundshift : 0.00 0 0 0 0 0 0 0 0
106.15/106.23 c inttobinary : 0.00 0 0 0 0 0 0 0 0
106.15/106.23 c implics : 0.00 0 0 0 0 0 0 0 0
106.15/106.23 c probing : 0.01 0 0 0 0 0 0 0 0
106.15/106.23 c setppc : 0.01 0 0 0 0 0 0 0 0
106.15/106.23 c linear : 0.02 0 0 0 0 0 6 0 0
106.15/106.23 c logicor : 0.00 0 0 0 0 0 0 0 0
106.15/106.23 c root node : - 4 - - 4 - - - -
106.15/106.23 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
106.15/106.23 c integral : 0 0 0 6100 0 41 542 0 0 11666
106.15/106.23 c setppc : 900 13 38547 3 0 9 137862 0 0 0
106.15/106.23 c linear : 0+ 13 38338 0 0 6 193 15 0 0
106.15/106.23 c logicor : 74+ 13 19151 3 0 12 6535 0 0 0
106.15/106.23 c countsols : 0 0 0 3 0 0 0 0 0 0
106.15/106.23 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
106.15/106.23 c integral : 32.50 0.00 0.00 32.50 0.00
106.15/106.23 c setppc : 1.23 0.00 1.23 0.00 0.00
106.15/106.23 c linear : 0.12 0.00 0.12 0.00 0.00
106.15/106.23 c logicor : 0.12 0.00 0.12 0.00 0.00
106.15/106.23 c countsols : 0.00 0.00 0.00 0.00 0.00
106.15/106.23 c Propagators : Time Calls Cutoffs DomReds
106.15/106.23 c vbounds : 0.01 2 0 0
106.15/106.23 c rootredcost : 0.01 11 0 0
106.15/106.23 c pseudoobj : 0.73 38499 1 0
106.15/106.23 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
106.15/106.23 c propagation : 0.00 27 27 49 4.4 2 6.0 -
106.15/106.23 c infeasible LP : 0.00 1 1 2 13.5 0 0.0 0
106.15/106.23 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
106.15/106.23 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
106.15/106.23 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
106.15/106.23 c applied globally : - - - 48 4.7 - - -
106.15/106.23 c applied locally : - - - 0 0.0 - - -
106.15/106.23 c Separators : Time Calls Cutoffs DomReds Cuts Conss
106.15/106.23 c cut pool : 0.00 12 - - 99 - (maximal pool size: 1100)
106.15/106.23 c redcost : 0.09 6700 0 1393 0 0
106.15/106.23 c impliedbounds : 0.01 13 0 0 0 0
106.15/106.23 c intobj : 0.00 0 0 0 0 0
106.15/106.23 c cgmip : 0.00 0 0 0 0 0
106.15/106.23 c gomory : 0.50 13 0 0 5008 0
106.15/106.23 c strongcg : 0.43 13 0 0 5751 0
106.15/106.23 c cmir : 0.08 10 0 0 0 0
106.15/106.23 c flowcover : 0.07 10 0 0 0 0
106.15/106.23 c clique : 0.00 1 0 0 0 0
106.15/106.23 c zerohalf : 0.00 0 0 0 0 0
106.15/106.23 c mcf : 0.00 1 0 0 0 0
106.15/106.23 c rapidlearning : 0.10 1 0 0 0 22
106.15/106.23 c Pricers : Time Calls Vars
106.15/106.23 c problem variables: 0.00 0 0
106.15/106.23 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
106.15/106.23 c relpscost : 32.49 6097 41 542 0 0 11666
106.15/106.23 c pscost : 0.00 0 0 0 0 0 0
106.15/106.23 c inference : 0.00 0 0 0 0 0 0
106.15/106.23 c mostinf : 0.00 0 0 0 0 0 0
106.15/106.23 c leastinf : 0.00 0 0 0 0 0 0
106.15/106.23 c fullstrong : 0.00 0 0 0 0 0 0
106.15/106.23 c allfullstrong : 0.00 0 0 0 0 0 0
106.15/106.23 c random : 0.00 0 0 0 0 0 0
106.15/106.23 c Primal Heuristics : Time Calls Found
106.15/106.23 c LP solutions : 0.00 - 3
106.15/106.23 c pseudo solutions : 0.00 - 0
106.15/106.23 c oneopt : 0.01 13 3
106.15/106.23 c feaspump : 0.03 1 0
106.15/106.23 c coefdiving : 0.23 8 1
106.15/106.23 c veclendiving : 0.48 8 1
106.15/106.23 c linesearchdiving : 0.33 8 0
106.15/106.23 c guideddiving : 0.27 8 0
106.15/106.23 c fracdiving : 0.31 9 0
106.15/106.23 c pscostdiving : 0.16 9 0
106.15/106.23 c rootsoldiving : 0.39 5 5
106.15/106.23 c objpscostdiving : 0.48 5 5
106.15/106.23 c crossover : 0.21 5 1
106.15/106.23 c trivial : 0.00 2 0
106.15/106.23 c simplerounding : 0.01 0 0
106.15/106.23 c zirounding : 0.09 1000 0
106.15/106.23 c rounding : 1.23 5346 4
106.15/106.23 c shifting : 0.49 431 2
106.15/106.23 c intshifting : 0.00 0 0
106.15/106.23 c twoopt : 0.00 0 0
106.15/106.23 c fixandinfer : 0.00 0 0
106.15/106.23 c intdiving : 0.00 0 0
106.15/106.23 c actconsdiving : 0.00 0 0
106.15/106.23 c octane : 0.00 0 0
106.15/106.23 c rens : 0.01 0 0
106.15/106.23 c rins : 0.00 0 0
106.15/106.23 c localbranching : 0.00 0 0
106.15/106.23 c mutation : 0.00 0 0
106.15/106.23 c dins : 0.00 0 0
106.15/106.23 c undercover : 0.00 0 0
106.15/106.23 c nlp : 0.01 0 0
106.15/106.23 c trysol : 0.01 0 0
106.15/106.23 c LP : Time Calls Iterations Iter/call Iter/sec
106.15/106.23 c primal LP : 0.00 0 0 0.00 -
106.15/106.23 c dual LP : 60.91 11803 325660 27.59 5346.84
106.15/106.23 c lex dual LP : 0.00 0 0 0.00 -
106.15/106.23 c barrier LP : 0.00 0 0 0.00 -
106.15/106.23 c diving/probing LP: 2.40 827 12722 15.38 5307.37
106.15/106.23 c strong branching : 31.86 2671 154178 57.72 4839.92
106.15/106.23 c (at root node) : - 16 1698 106.12 -
106.15/106.23 c conflict analysis: 0.00 0 0 0.00 -
106.15/106.23 c B&B Tree :
106.15/106.23 c number of runs : 1
106.15/106.23 c nodes : 11588
106.15/106.23 c nodes (total) : 11588
106.15/106.23 c nodes left : 0
106.15/106.23 c max depth : 47
106.15/106.23 c max depth (total): 47
106.15/106.23 c backtracks : 1775 (15.3%)
106.15/106.23 c delayed cutoffs : 0
106.15/106.23 c repropagations : 198 (193 domain reductions, 0 cutoffs)
106.15/106.23 c avg switch length: 4.45
106.15/106.23 c switching time : 1.11
106.15/106.23 c Solution :
106.15/106.23 c Solutions found : 26 (13 improvements)
106.15/106.23 c First Solution : +1.54000000000000e+02 (in run 1, after 1 nodes, 0.25 seconds, depth 0, found by <trysol>)
106.15/106.23 c Primal Bound : +1.39000000000000e+02 (in run 1, after 433 nodes, 25.43 seconds, depth 21, found by <oneopt>)
106.15/106.23 c Dual Bound : +1.39000000000000e+02
106.15/106.23 c Gap : 0.00 %
106.15/106.23 c Root Dual Bound : +1.27000000000000e+02
106.15/106.23 c Root Iterations : 2029
106.15/106.25 c Time complete: 106.2.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703799-1278553632/watcher-2703799-1278553632 -o /tmp/evaluation-result-2703799-1278553632/solver-2703799-1278553632 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703799-1278553632.opb -t 1800 -m 1800
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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 28870
/proc/meminfo: memFree=1628612/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=7904 CPUtime=0
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 1040 0 0 0 0 0 0 0 18 0 1 0 23576320 8093696 952 1992294400 4194304 8395647 140735234640544 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28870/statm: 1976 959 365 1026 0 946 0
[startup+0.025613 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 28870
/proc/meminfo: memFree=1628612/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=10840 CPUtime=0.01
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 2022 0 0 0 1 0 0 0 20 0 1 0 23576320 11100160 1934 1992294400 4194304 8395647 140735234640544 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28870/statm: 2710 1934 393 1026 0 1680 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10840
[startup+0.10063 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 28870
/proc/meminfo: memFree=1628612/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=17728 CPUtime=0.09
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 3937 0 0 0 8 1 0 0 20 0 1 0 23576320 18153472 3495 1992294400 4194304 8395647 140735234640544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 4432 3495 561 1026 0 3402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17728
[startup+0.300671 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 28870
/proc/meminfo: memFree=1628612/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=30140 CPUtime=0.29
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 6808 0 0 0 26 3 0 0 20 0 1 0 23576320 30863360 6349 1992294400 4194304 8395647 140735234640544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7535 6349 615 1026 0 6505 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30140
[startup+0.700757 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 28870
/proc/meminfo: memFree=1628612/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=30140 CPUtime=0.69
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 6877 0 0 0 66 3 0 0 21 0 1 0 23576320 30863360 6418 1992294400 4194304 8395647 140735234640544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7535 6418 617 1026 0 6505 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30140
[startup+1.50093 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28871
/proc/meminfo: memFree=1604300/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=30140 CPUtime=1.49
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 7129 0 0 0 144 5 0 0 23 0 1 0 23576320 30863360 6652 1992294400 4194304 8395647 140735234640544 18446744073709551615 6198254 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7535 6652 619 1026 0 6505 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30140
[startup+3.10027 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28871
/proc/meminfo: memFree=1603680/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=30140 CPUtime=3.08
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 7213 0 0 0 299 9 0 0 25 0 1 0 23576320 30863360 6734 1992294400 4194304 8395647 140735234640544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7535 6734 620 1026 0 6505 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30140
[startup+6.30095 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28871
/proc/meminfo: memFree=1603308/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=30140 CPUtime=6.29
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 7213 0 0 0 614 15 0 0 25 0 1 0 23576320 30863360 6734 1992294400 4194304 8395647 140735234640544 18446744073709551615 6587083 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7535 6734 620 1026 0 6505 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30140
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28871
/proc/meminfo: memFree=1603308/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=30140 CPUtime=12.69
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 7213 0 0 0 1245 24 0 0 25 0 1 0 23576320 30863360 6734 1992294400 4194304 8395647 140735234640544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7535 6734 620 1026 0 6505 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30140
[startup+25.501 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28871
/proc/meminfo: memFree=1603308/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=30140 CPUtime=25.48
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 7214 0 0 0 2504 44 0 0 25 0 1 0 23576320 30863360 6735 1992294400 4194304 8395647 140735234640544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7535 6735 621 1026 0 6505 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30140
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28873
/proc/meminfo: memFree=1600952/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=31748 CPUtime=51.08
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 10251 0 0 0 5022 86 0 0 25 0 1 0 23576320 32509952 7169 1992294400 4194304 8395647 140735234640544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7937 7169 637 1026 0 6907 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31748
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28873
/proc/meminfo: memFree=1602564/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=30148 CPUtime=102.26
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 10704 0 0 0 10060 166 0 0 25 0 1 0 23576320 30871552 6769 1992294400 4194304 8395647 140735234640544 18446744073709551615 6697037 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7537 6769 637 1026 0 6507 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 30148
Solver just ended. Dumping a history of the last processes samples
[startup+103.902 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28873
/proc/meminfo: memFree=1602564/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=30148 CPUtime=103.85
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 10704 0 0 0 10217 168 0 0 25 0 1 0 23576320 30871552 6769 1992294400 4194304 8395647 140735234640544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7537 6769 637 1026 0 6507 0
Current children cumulated CPU time (s) 103.85
Current children cumulated vsize (KiB) 30148
[startup+105.501 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28873
/proc/meminfo: memFree=1602564/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=30148 CPUtime=105.46
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 10704 0 0 0 10375 171 0 0 25 0 1 0 23576320 30871552 6769 1992294400 4194304 8395647 140735234640544 18446744073709551615 6728621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7537 6769 637 1026 0 6507 0
Current children cumulated CPU time (s) 105.46
Current children cumulated vsize (KiB) 30148
[startup+105.901 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28873
/proc/meminfo: memFree=1602564/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=30148 CPUtime=105.85
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 10704 0 0 0 10414 171 0 0 25 0 1 0 23576320 30871552 6769 1992294400 4194304 8395647 140735234640544 18446744073709551615 6587090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7537 6769 637 1026 0 6507 0
Current children cumulated CPU time (s) 105.85
Current children cumulated vsize (KiB) 30148
[startup+106.101 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28873
/proc/meminfo: memFree=1602564/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=30148 CPUtime=106.05
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 10704 0 0 0 10433 172 0 0 25 0 1 0 23576320 30871552 6769 1992294400 4194304 8395647 140735234640544 18446744073709551615 6723948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7537 6769 637 1026 0 6507 0
Current children cumulated CPU time (s) 106.05
Current children cumulated vsize (KiB) 30148
[startup+106.201 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28873
/proc/meminfo: memFree=1602564/2059040 swapFree=4192956/4192956
[pid=28870] ppid=28868 vsize=30148 CPUtime=106.15
/proc/28870/stat : 28870 (pbscip.linux.x8) R 28868 28870 28080 0 -1 4202496 10704 0 0 0 10443 172 0 0 25 0 1 0 23576320 30871552 6769 1992294400 4194304 8395647 140735234640544 18446744073709551615 6699148 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28870/statm: 7537 6769 637 1026 0 6507 0
Current children cumulated CPU time (s) 106.15
Current children cumulated vsize (KiB) 30148
Child status: 0
Real time (s): 106.252
CPU time (s): 106.211
CPU user time (s): 104.482
CPU system time (s): 1.72874
CPU usage (%): 99.9613
Max. virtual memory (cumulated for all children) (KiB): 34024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 104.482
system time used= 1.72874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10709
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= 4
involuntary context switches= 1333
runsolver used 0.182972 second user time and 0.506922 second system time
The end