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-2703805-1278555010.opb>
0.02/0.04 c original problem has 528 variables (528 bin, 0 int, 0 impl, 0 cont) and 1816 constraints
0.02/0.04 c problem read
0.02/0.04 c presolving settings loaded
0.02/0.05 c presolving:
0.02/0.08 c (round 1) 0 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1636 upgd conss, 11664 impls, 0 clqs
0.02/0.09 c (round 2) 0 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1804 upgd conss, 11664 impls, 0 clqs
0.09/0.12 c (0.1s) probing: 101/528 (19.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12 c presolving (3 rounds):
0.09/0.12 c 0 deleted vars, 12 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.12 c 11664 implications, 0 cliques
0.09/0.12 c presolved problem has 528 variables (528 bin, 0 int, 0 impl, 0 cont) and 1804 constraints
0.09/0.12 c 1656 constraints of type <setppc>
0.09/0.12 c 148 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.07
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 1.2.1.3
0.09/0.12 c
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = 10000
0.09/0.12 c
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = 1789.97
0.09/0.12 c
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = 1620
0.09/0.12 c
0.09/0.12 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.12 c # [type: int, range: [1,2], default: 1]
0.09/0.12 c timing/clocktype = 2
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/indicator/addCouplingCons = TRUE
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c separating/rapidlearning/freq = 0
0.09/0.12 c
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving
0.09/0.12 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c 0.2s| 1 | 0 | 790 | - |3706k| 0 | 416 | 528 |1804 | 528 |1804 | 0 | 0 | 0 | 1.450000e+02 | -- | Inf
1.39/1.40 o 236
1.39/1.40 c y 1.4s| 1 | 0 | 3837 | - |4661k| 0 | 416 | 528 |1804 | 528 |1804 | 0 | 0 | 0 | 1.450000e+02 | 2.360000e+02 | 62.76%
1.39/1.47 c 1.4s| 1 | 0 | 4060 | - |3828k| 0 | 408 | 528 |1848 | 528 |1825 | 21 | 0 | 0 | 1.521685e+02 | 2.360000e+02 | 55.09%
1.59/1.64 c 1.6s| 1 | 0 | 4306 | - |3987k| 0 | 395 | 528 |1848 | 528 |1838 | 34 | 0 | 0 | 1.556252e+02 | 2.360000e+02 | 51.65%
1.79/1.81 c 1.8s| 1 | 0 | 4535 | - |4152k| 0 | 405 | 528 |1848 | 528 |1850 | 46 | 0 | 0 | 1.583055e+02 | 2.360000e+02 | 49.08%
1.99/2.00 c 2.0s| 1 | 0 | 4780 | - |4460k| 0 | 394 | 528 |1848 | 528 |1863 | 59 | 0 | 0 | 1.593437e+02 | 2.360000e+02 | 48.11%
2.20/2.24 c 2.2s| 1 | 0 | 5045 | - |4867k| 0 | 403 | 528 |1848 | 528 |1873 | 69 | 0 | 0 | 1.602608e+02 | 2.360000e+02 | 47.26%
2.49/2.51 c 2.5s| 1 | 0 | 5279 | - |5284k| 0 | 402 | 528 |1848 | 528 |1882 | 78 | 0 | 0 | 1.609638e+02 | 2.360000e+02 | 46.62%
2.79/2.81 c 2.8s| 1 | 0 | 5482 | - |5572k| 0 | 399 | 528 |1848 | 528 |1893 | 89 | 0 | 0 | 1.614333e+02 | 2.360000e+02 | 46.19%
3.09/3.12 c 3.1s| 1 | 0 | 5663 | - |5773k| 0 | 401 | 528 |1848 | 528 |1901 | 97 | 0 | 0 | 1.622683e+02 | 2.360000e+02 | 45.44%
3.49/3.52 c 3.5s| 1 | 0 | 5878 | - |5989k| 0 | 404 | 528 |1848 | 528 |1910 | 106 | 0 | 0 | 1.625688e+02 | 2.360000e+02 | 45.17%
3.79/3.89 c 3.9s| 1 | 0 | 6160 | - |6154k| 0 | 398 | 528 |1848 | 528 |1916 | 112 | 0 | 0 | 1.628361e+02 | 2.360000e+02 | 44.93%
4.09/4.19 c 4.2s| 1 | 0 | 6342 | - |6269k| 0 | 400 | 528 |1848 | 528 |1922 | 118 | 0 | 0 | 1.629344e+02 | 2.360000e+02 | 44.84%
4.39/4.49 c 4.5s| 1 | 0 | 6507 | - |6347k| 0 | 399 | 528 |1848 | 528 |1928 | 124 | 0 | 0 | 1.630066e+02 | 2.360000e+02 | 44.78%
4.79/4.81 c 4.8s| 1 | 0 | 6702 | - |6372k| 0 | 398 | 528 |1848 | 528 |1929 | 129 | 0 | 0 | 1.630727e+02 | 2.360000e+02 | 44.72%
5.09/5.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.09/5.11 c 5.1s| 1 | 0 | 6789 | - |6402k| 0 | 402 | 528 |1848 | 528 |1932 | 132 | 0 | 0 | 1.630814e+02 | 2.360000e+02 | 44.71%
5.29/5.38 c 5.3s| 1 | 0 | 6827 | - |6408k| 0 | 404 | 528 |1848 | 528 |1935 | 135 | 0 | 0 | 1.630893e+02 | 2.360000e+02 | 44.71%
5.59/5.67 c 5.6s| 1 | 0 | 6883 | - |6420k| 0 | 409 | 528 |1848 | 528 |1938 | 138 | 0 | 0 | 1.631028e+02 | 2.360000e+02 | 44.69%
5.89/5.94 c 5.9s| 1 | 0 | 6919 | - |6435k| 0 | 403 | 528 |1848 | 528 |1939 | 139 | 0 | 0 | 1.631253e+02 | 2.360000e+02 | 44.67%
6.79/6.87 c 6.8s| 1 | 2 | 6919 | - |6435k| 0 | 403 | 528 |1848 | 528 |1939 | 139 | 0 | 11 | 1.631253e+02 | 2.360000e+02 | 44.67%
17.39/17.43 o 227
17.39/17.43 c p17.4s| 19 | 18 | 9132 | 122.9 |6534k| 13 | - | 528 |1850 | 528 |1881 | 139 | 2 | 329 | 1.636586e+02 | 2.270000e+02 | 38.70%
46.67/46.78 o 222
46.67/46.78 c l46.7s| 105 | 79 | 15573 | 83.2 |6738k| 17 | - | 528 |1850 | 528 |1881 | 139 | 2 |1258 | 1.639633e+02 | 2.220000e+02 | 35.40%
46.67/46.78 o 221
46.67/46.78 c b46.7s| 105 | 76 | 15573 | 83.2 |6743k| 17 | 19 | 528 |1850 | 528 |1881 | 139 | 2 |1258 | 1.639633e+02 | 2.210000e+02 | 34.79%
50.48/50.58 o 220
50.48/50.58 c c50.5s| 242 | 151 | 23696 | 69.6 |7006k| 17 | - | 528 |1864 | 528 |1881 | 139 | 16 |1293 | 1.639633e+02 | 2.200000e+02 | 34.18%
50.58/50.61 o 219
50.58/50.61 c b50.6s| 243 | 151 | 23767 | 69.6 |7004k| 17 | 377 | 528 |1864 | 528 |1881 | 139 | 16 |1293 | 1.639633e+02 | 2.190000e+02 | 33.57%
51.97/52.03 o 209
51.97/52.03 c R52.0s| 282 | 120 | 26194 | 68.6 |6950k| 18 | 5 | 528 |1869 | 528 |1881 | 139 | 21 |1311 | 1.639633e+02 | 2.090000e+02 | 27.47%
51.97/52.03 o 206
51.97/52.03 c b52.0s| 282 | 103 | 26194 | 68.6 |6911k| 18 | - | 528 |1869 | 528 |1881 | 139 | 21 |1311 | 1.639633e+02 | 2.060000e+02 | 25.64%
56.47/56.53 o 205
56.47/56.53 c R56.5s| 416 | 137 | 34282 | 65.9 |7050k| 27 | 178 | 528 |1881 | 528 |1881 | 139 | 33 |1337 | 1.639633e+02 | 2.050000e+02 | 25.03%
56.47/56.53 o 204
56.47/56.53 c s56.5s| 416 | 129 | 34282 | 65.9 |7028k| 27 | 178 | 528 |1881 | 528 |1881 | 139 | 33 |1337 | 1.639633e+02 | 2.040000e+02 | 24.42%
56.47/56.53 o 199
56.47/56.53 c b56.5s| 416 | 108 | 34282 | 65.9 |6963k| 27 | 178 | 528 |1881 | 528 |1881 | 139 | 33 |1337 | 1.639633e+02 | 1.990000e+02 | 21.37%
56.47/56.56 o 198
56.47/56.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.47/56.56 c *56.5s| 420 | 102 | 34360 | 65.5 |6955k| 27 | - | 528 |1888 | 528 |1881 | 139 | 40 |1337 | 1.639633e+02 | 1.980000e+02 | 20.76%
56.86/56.96 o 197
56.86/56.96 c *56.9s| 447 | 104 | 35477 | 64.0 |6974k| 28 | - | 528 |1888 | 528 |1881 | 139 | 40 |1337 | 1.639633e+02 | 1.970000e+02 | 20.15%
57.27/57.33 o 192
57.27/57.33 c *57.3s| 471 | 79 | 36536 | 63.0 |6895k| 28 | - | 528 |1888 | 528 |1881 | 139 | 40 |1337 | 1.639633e+02 | 1.920000e+02 | 17.10%
63.78/63.85 o 191
63.78/63.85 c *63.8s| 792 | 124 | 49265 | 53.5 |7082k| 36 | - | 528 |1905 | 528 |1881 | 139 | 57 |1427 | 1.645940e+02 | 1.910000e+02 | 16.04%
228.30/228.44 c 228s| 10000 | 426 |447874 | 44.1 |8377k| 48 | - | 528 |1901 | 528 |1881 | 139 | 135 |2849 | 1.758626e+02 | 1.910000e+02 | 8.61%
387.44/387.68 c 388s| 20000 | 274 |842884 | 41.8 |7985k| 48 | 341 | 528 |1892 | 528 |1881 | 139 | 184 |4210 | 1.790949e+02 | 1.910000e+02 | 6.65%
476.41/476.61 c
476.41/476.61 c SCIP Status : problem is solved [optimal solution found]
476.41/476.61 c Solving Time (sec) : 476.57
476.41/476.61 c Solving Nodes : 25760
476.41/476.61 c Primal Bound : +1.91000000000000e+02 (41 solutions)
476.41/476.61 c Dual Bound : +1.91000000000000e+02
476.41/476.61 c Gap : 0.00 %
476.41/476.61 s OPTIMUM FOUND
476.41/476.61 v x528 -x527 -x526 x525 x524 -x523 x522 -x521 x520 -x519 x518 -x517 x516 -x515 -x514 x513 x512 -x511 x510 -x509 x508 -x507 x506 -x505
476.41/476.61 v -x504 x503 x502 -x501 x500 -x499 x498 -x497 x496 -x495 x494 -x493 x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483
476.41/476.61 v -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 x468 -x467 x466 -x465 -x464 -x463 -x462
476.41/476.61 v -x461 -x460 -x459 -x458 x457 x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 x444 -x443 -x442 x441 x440
476.41/476.61 v -x439 x438 -x437 x436 -x435 x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418
476.41/476.61 v -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397
476.41/476.61 v x396 -x395 -x394 x393 x392 -x391 x390 -x389 x388 -x387 x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
476.41/476.61 v -x374 x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 x360 -x359 x358 -x357 -x356 -x355 -x354 -x353
476.41/476.61 v -x352 -x351 -x350 x349 -x348 x347 x346 -x345 x344 -x343 x342 -x341 x340 -x339 x338 -x337 x336 -x335 -x334 -x333 -x332 -x331
476.41/476.61 v -x330 -x329 -x328 -x327 -x326 x325 x324 -x323 -x322 x321 x320 -x319 x318 -x317 x316 -x315 x314 -x313 x312 -x311 x310 -x309
476.41/476.61 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 x288 -x287
476.41/476.61 v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266
476.41/476.61 v x265 x264 -x263 -x262 x261 x260 -x259 x258 -x257 x256 -x255 x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244
476.41/476.61 v -x243 -x242 x241 -x240 x239 x238 -x237 x236 -x235 x234 -x233 x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
476.41/476.61 v -x221 -x220 -x219 -x218 x217 x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 x204 -x203 -x202 x201 -x200
476.41/476.61 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178
476.41/476.61 v x177 -x176 x175 -x174 x173 -x172 -x171 -x170 x169 -x168 x167 x166 -x165 -x164 x163 x162 -x161 -x160 x159 -x158 x157 -x156 x155
476.41/476.61 v -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 x142 -x141 x140 -x139 -x138 x137 -x136 x135 -x134 x133 -x132
476.41/476.61 v x131 -x130 x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 x110
476.41/476.61 v -x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 x92 -x91 -x90 x89 -x88 x87 -x86 x85 -x84
476.41/476.61 v x83 -x82 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 -x56
476.41/476.61 v 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 -x30 x29
476.41/476.61 v x28 -x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
476.41/476.61 c SCIP Status : problem is solved [optimal solution found]
476.41/476.61 c Solving Time : 476.57
476.41/476.61 c Original Problem :
476.41/476.61 c Problem name : HOME/instance-2703805-1278555010.opb
476.41/476.61 c Variables : 528 (528 binary, 0 integer, 0 implicit integer, 0 continuous)
476.41/476.61 c Constraints : 1816 initial, 1816 maximal
476.41/476.61 c Presolved Problem :
476.41/476.61 c Problem name : t_HOME/instance-2703805-1278555010.opb
476.41/476.61 c Variables : 528 (528 binary, 0 integer, 0 implicit integer, 0 continuous)
476.41/476.61 c Constraints : 1804 initial, 1923 maximal
476.41/476.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
476.41/476.61 c trivial : 0.00 0 0 0 0 0 0 0 0
476.41/476.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
476.41/476.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
476.41/476.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
476.41/476.61 c implics : 0.00 0 0 0 0 0 0 0 0
476.41/476.61 c probing : 0.02 0 0 0 0 0 0 0 0
476.41/476.61 c setppc : 0.01 0 0 0 0 0 0 0 0
476.41/476.61 c linear : 0.03 0 0 0 0 0 12 0 0
476.41/476.61 c logicor : 0.00 0 0 0 0 0 0 0 0
476.41/476.61 c root node : - 1 - - 1 - - - -
476.41/476.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
476.41/476.61 c integral : 0 0 0 13527 0 78 1628 0 0 25950
476.41/476.61 c setppc : 1656 18 91023 4 0 37 479786 0 0 0
476.41/476.61 c linear : 0+ 18 90786 0 0 5 5553 42 0 0
476.41/476.61 c logicor : 148+ 18 47944 4 0 53 22332 0 0 0
476.41/476.61 c countsols : 0 0 0 4 0 0 0 0 0 0
476.41/476.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
476.41/476.61 c integral : 108.02 0.00 0.00 108.02 0.00
476.41/476.61 c setppc : 6.70 0.01 6.69 0.00 0.00
476.41/476.61 c linear : 0.35 0.01 0.35 0.00 0.00
476.41/476.61 c logicor : 0.50 0.00 0.50 0.00 0.00
476.41/476.61 c countsols : 0.00 0.00 0.00 0.00 0.00
476.41/476.61 c Propagators : Time Calls Cutoffs DomReds
476.41/476.61 c vbounds : 0.04 2 0 0
476.41/476.61 c rootredcost : 0.05 10 0 0
476.41/476.61 c pseudoobj : 2.44 91184 1 0
476.41/476.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
476.41/476.61 c propagation : 0.00 95 95 174 5.9 16 5.3 -
476.41/476.61 c infeasible LP : 0.00 5 5 13 16.1 0 0.0 0
476.41/476.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
476.41/476.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
476.41/476.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
476.41/476.61 c applied globally : - - - 198 6.5 - - -
476.41/476.61 c applied locally : - - - 0 0.0 - - -
476.41/476.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
476.41/476.61 c cut pool : 0.01 17 - - 482 - (maximal pool size: 1486)
476.41/476.61 c redcost : 0.29 15275 0 3428 0 0
476.41/476.61 c impliedbounds : 0.01 18 0 0 0 0
476.41/476.61 c intobj : 0.00 0 0 0 0 0
476.41/476.61 c cgmip : 0.00 0 0 0 0 0
476.41/476.61 c gomory : 1.92 18 0 0 3891 0
476.41/476.61 c strongcg : 1.63 18 0 0 5261 0
476.41/476.61 c cmir : 0.17 10 0 0 1 0
476.41/476.61 c flowcover : 0.16 10 0 0 2 0
476.41/476.61 c clique : 0.01 1 0 0 0 0
476.41/476.61 c zerohalf : 0.00 0 0 0 0 0
476.41/476.61 c mcf : 0.00 1 0 0 0 0
476.41/476.61 c rapidlearning : 0.48 1 0 0 0 44
476.41/476.61 c Pricers : Time Calls Vars
476.41/476.61 c problem variables: 0.00 0 0
476.41/476.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
476.41/476.61 c relpscost : 107.99 13523 78 1628 0 0 25950
476.41/476.61 c pscost : 0.00 0 0 0 0 0 0
476.41/476.61 c inference : 0.00 0 0 0 0 0 0
476.41/476.61 c mostinf : 0.00 0 0 0 0 0 0
476.41/476.61 c leastinf : 0.00 0 0 0 0 0 0
476.41/476.61 c fullstrong : 0.00 0 0 0 0 0 0
476.41/476.61 c allfullstrong : 0.00 0 0 0 0 0 0
476.41/476.61 c random : 0.00 0 0 0 0 0 0
476.41/476.61 c Primal Heuristics : Time Calls Found
476.41/476.61 c LP solutions : 0.00 - 4
476.41/476.61 c pseudo solutions : 0.00 - 0
476.41/476.61 c oneopt : 0.04 14 4
476.41/476.61 c feaspump : 0.61 1 0
476.41/476.61 c crossover : 0.30 5 0
476.41/476.61 c linesearchdiving : 2.02 25 1
476.41/476.61 c veclendiving : 2.57 25 0
476.41/476.61 c guideddiving : 2.75 25 0
476.41/476.61 c objpscostdiving : 4.36 13 12
476.41/476.61 c rootsoldiving : 1.88 13 12
476.41/476.61 c coefdiving : 3.26 26 1
476.41/476.61 c pscostdiving : 2.53 26 1
476.41/476.61 c fracdiving : 2.70 26 0
476.41/476.61 c trivial : 0.00 2 0
476.41/476.61 c simplerounding : 0.01 0 0
476.41/476.61 c zirounding : 0.16 1000 0
476.41/476.61 c rounding : 2.53 6859 2
476.41/476.61 c shifting : 1.86 1401 3
476.41/476.61 c intshifting : 0.00 0 0
476.41/476.61 c twoopt : 0.00 0 0
476.41/476.61 c fixandinfer : 0.00 0 0
476.41/476.61 c intdiving : 0.00 0 0
476.41/476.61 c actconsdiving : 0.00 0 0
476.41/476.61 c octane : 0.00 0 0
476.41/476.61 c rens : 0.01 0 0
476.41/476.61 c rins : 0.00 0 0
476.41/476.61 c localbranching : 0.00 0 0
476.41/476.61 c mutation : 0.00 0 0
476.41/476.61 c dins : 0.00 0 0
476.41/476.61 c undercover : 0.00 0 0
476.41/476.61 c nlp : 0.01 0 0
476.41/476.61 c trysol : 0.01 0 0
476.41/476.61 c LP : Time Calls Iterations Iter/call Iter/sec
476.41/476.61 c primal LP : 0.00 0 0 0.00 -
476.41/476.61 c dual LP : 308.44 26283 999758 38.04 3241.29
476.41/476.61 c lex dual LP : 0.00 0 0 0.00 -
476.41/476.61 c barrier LP : 0.00 0 0 0.00 -
476.41/476.61 c diving/probing LP: 20.49 3141 69873 22.25 3409.60
476.41/476.61 c strong branching : 106.02 4923 324800 65.98 3063.57
476.41/476.61 c (at root node) : - 11 1731 157.36 -
476.41/476.61 c conflict analysis: 0.00 0 0 0.00 -
476.41/476.61 c B&B Tree :
476.41/476.61 c number of runs : 1
476.41/476.61 c nodes : 25760
476.41/476.61 c nodes (total) : 25760
476.41/476.61 c nodes left : 0
476.41/476.61 c max depth : 48
476.41/476.61 c max depth (total): 48
476.41/476.61 c backtracks : 3675 (14.3%)
476.41/476.61 c delayed cutoffs : 2
476.41/476.61 c repropagations : 622 (1171 domain reductions, 2 cutoffs)
476.41/476.61 c avg switch length: 4.71
476.41/476.61 c switching time : 4.36
476.41/476.61 c Solution :
476.41/476.61 c Solutions found : 41 (15 improvements)
476.41/476.61 c First Solution : +2.36000000000000e+02 (in run 1, after 1 nodes, 1.36 seconds, depth 0, found by <trysol>)
476.41/476.61 c Primal Bound : +1.91000000000000e+02 (in run 1, after 792 nodes, 63.81 seconds, depth 20, found by <relaxation>)
476.41/476.61 c Dual Bound : +1.91000000000000e+02
476.41/476.61 c Gap : 0.00 %
476.41/476.61 c Root Dual Bound : +1.63125312084938e+02
476.41/476.61 c Root Iterations : 6919
476.41/476.63 c Time complete: 476.44.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703805-1278555010/watcher-2703805-1278555010 -o /tmp/evaluation-result-2703805-1278555010/solver-2703805-1278555010 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703805-1278555010.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.02 1.00 3/106 31201
/proc/meminfo: memFree=1549544/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=7904 CPUtime=0
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 1189 0 0 0 0 0 0 0 18 0 1 0 23712270 8093696 1101 1992294400 4194304 8395647 140736927623120 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31201/statm: 1976 1110 365 1026 0 946 0
[startup+0.03077 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 31201
/proc/meminfo: memFree=1549544/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=11340 CPUtime=0.02
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 2147 0 0 0 2 0 0 0 20 0 1 0 23712270 11612160 2058 1992294400 4194304 8395647 140736927623120 18446744073709551615 4473549 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31201/statm: 2869 2061 393 1026 0 1839 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11340
[startup+0.101784 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 31201
/proc/meminfo: memFree=1549544/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=18788 CPUtime=0.09
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 4105 0 0 0 8 1 0 0 20 0 1 0 23712270 19238912 3662 1992294400 4194304 8395647 140736927623120 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 4697 3662 490 1026 0 3667 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18788
[startup+0.301824 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 31201
/proc/meminfo: memFree=1549544/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=21324 CPUtime=0.29
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 4896 0 0 0 28 1 0 0 18 0 1 0 23712270 21835776 4410 1992294400 4194304 8395647 140736927623120 18446744073709551615 6723818 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 5331 4410 573 1026 0 4301 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21324
[startup+0.701903 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 31201
/proc/meminfo: memFree=1549544/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=21324 CPUtime=0.69
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 4900 0 0 0 67 2 0 0 18 0 1 0 23712270 21835776 4414 1992294400 4194304 8395647 140736927623120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 5331 4414 573 1026 0 4301 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21324
[startup+1.50106 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31202
/proc/meminfo: memFree=1521636/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=35420 CPUtime=1.49
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 8209 0 0 0 141 8 0 0 19 0 1 0 23712270 36270080 7720 1992294400 4194304 8395647 140736927623120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 8855 7720 621 1026 0 7825 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35420
[startup+3.10138 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31202
/proc/meminfo: memFree=1520768/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=35420 CPUtime=3.09
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 8503 0 0 0 299 10 0 0 23 0 1 0 23712270 36270080 7999 1992294400 4194304 8395647 140736927623120 18446744073709551615 6696693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 8855 7999 622 1026 0 7825 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35420
[startup+6.30201 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31202
/proc/meminfo: memFree=1511840/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=42708 CPUtime=6.29
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 10384 0 0 0 614 15 0 0 25 0 1 0 23712270 43732992 9880 1992294400 4194304 8395647 140736927623120 18446744073709551615 6696801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 10677 9880 626 1026 0 9647 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42708
[startup+12.7013 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31202
/proc/meminfo: memFree=1511840/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=42708 CPUtime=12.69
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 10385 0 0 0 1247 22 0 0 25 0 1 0 23712270 43732992 9881 1992294400 4194304 8395647 140736927623120 18446744073709551615 6742227 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 10677 9881 627 1026 0 9647 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42708
[startup+25.5018 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31202
/proc/meminfo: memFree=1511840/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=42708 CPUtime=25.48
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 10385 0 0 0 2513 35 0 0 25 0 1 0 23712270 43732992 9881 1992294400 4194304 8395647 140736927623120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 10677 9881 627 1026 0 9647 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42708
[startup+51.1019 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31202
/proc/meminfo: memFree=1511840/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=42708 CPUtime=51.07
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 10386 0 0 0 5043 64 0 0 25 0 1 0 23712270 43732992 9882 1992294400 4194304 8395647 140736927623120 18446744073709551615 6696653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 10677 9882 628 1026 0 9647 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42708
[startup+102.309 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31204
/proc/meminfo: memFree=1511096/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=42824 CPUtime=102.26
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 14765 0 0 0 10107 119 0 0 25 0 1 0 23712270 43851776 9929 1992294400 4194304 8395647 140736927623120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 10706 9929 642 1026 0 9676 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 42824
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31206
/proc/meminfo: memFree=1510600/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=43408 CPUtime=162.23
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 16420 0 0 0 16039 184 0 0 25 0 1 0 23712270 44449792 10049 1992294400 4194304 8395647 140736927623120 18446744073709551615 6693789 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 10852 10049 642 1026 0 9822 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 43408
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31208
/proc/meminfo: memFree=1509856/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=44116 CPUtime=222.21
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 18076 0 0 0 21978 243 0 0 25 0 1 0 23712270 45174784 10224 1992294400 4194304 8395647 140736927623120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 11029 10224 642 1026 0 9999 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 44116
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31208
/proc/meminfo: memFree=1509856/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=44116 CPUtime=282.18
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 18076 0 0 0 27911 307 0 0 25 0 1 0 23712270 45174784 10224 1992294400 4194304 8395647 140736927623120 18446744073709551615 6692843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 11029 10224 642 1026 0 9999 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 44116
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31210
/proc/meminfo: memFree=1509856/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=44116 CPUtime=342.16
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 18076 0 0 0 33844 372 0 0 25 0 1 0 23712270 45174784 10224 1992294400 4194304 8395647 140736927623120 18446744073709551615 6652355 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 11029 10224 642 1026 0 9999 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 44116
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31212
/proc/meminfo: memFree=1509856/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=44116 CPUtime=402.13
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 18076 0 0 0 39781 432 0 0 25 0 1 0 23712270 45174784 10224 1992294400 4194304 8395647 140736927623120 18446744073709551615 6594368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 11029 10224 642 1026 0 9999 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 44116
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31214
/proc/meminfo: memFree=1509856/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=44116 CPUtime=462.11
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 18076 0 0 0 45715 496 0 0 25 0 1 0 23712270 45174784 10224 1992294400 4194304 8395647 140736927623120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 11029 10224 642 1026 0 9999 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 44116
Solver just ended. Dumping a history of the last processes samples
[startup+467.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31214
/proc/meminfo: memFree=1509856/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=44116 CPUtime=466.91
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 18076 0 0 0 46190 501 0 0 25 0 1 0 23712270 45174784 10224 1992294400 4194304 8395647 140736927623120 18446744073709551615 6698248 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 11029 10224 642 1026 0 9999 0
Current children cumulated CPU time (s) 466.91
Current children cumulated vsize (KiB) 44116
[startup+473.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31214
/proc/meminfo: memFree=1509856/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=44116 CPUtime=473.3
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 18076 0 0 0 46823 507 0 0 25 0 1 0 23712270 45174784 10224 1992294400 4194304 8395647 140736927623120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 11029 10224 642 1026 0 9999 0
Current children cumulated CPU time (s) 473.3
Current children cumulated vsize (KiB) 44116
[startup+475.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31214
/proc/meminfo: memFree=1509856/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=44116 CPUtime=474.91
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 18076 0 0 0 46982 509 0 0 25 0 1 0 23712270 45174784 10224 1992294400 4194304 8395647 140736927623120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 11029 10224 642 1026 0 9999 0
Current children cumulated CPU time (s) 474.91
Current children cumulated vsize (KiB) 44116
[startup+475.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31214
/proc/meminfo: memFree=1509856/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=44116 CPUtime=475.71
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 18076 0 0 0 47061 510 0 0 25 0 1 0 23712270 45174784 10224 1992294400 4194304 8395647 140736927623120 18446744073709551615 6697254 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 11029 10224 642 1026 0 9999 0
Current children cumulated CPU time (s) 475.71
Current children cumulated vsize (KiB) 44116
[startup+476.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31214
/proc/meminfo: memFree=1509856/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=44116 CPUtime=476.12
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 18076 0 0 0 47101 511 0 0 25 0 1 0 23712270 45174784 10224 1992294400 4194304 8395647 140736927623120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 11029 10224 642 1026 0 9999 0
Current children cumulated CPU time (s) 476.12
Current children cumulated vsize (KiB) 44116
[startup+476.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31214
/proc/meminfo: memFree=1509856/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=44116 CPUtime=476.31
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 18076 0 0 0 47120 511 0 0 25 0 1 0 23712270 45174784 10224 1992294400 4194304 8395647 140736927623120 18446744073709551615 6697003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 11029 10224 642 1026 0 9999 0
Current children cumulated CPU time (s) 476.31
Current children cumulated vsize (KiB) 44116
[startup+476.601 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31214
/proc/meminfo: memFree=1509856/2059040 swapFree=4162460/4192956
[pid=31201] ppid=31199 vsize=44116 CPUtime=476.41
/proc/31201/stat : 31201 (pbscip.linux.x8) R 31199 31201 27946 0 -1 4202496 18076 0 0 0 47130 511 0 0 25 0 1 0 23712270 45174784 10224 1992294400 4194304 8395647 140736927623120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31201/statm: 11029 10224 642 1026 0 9999 0
Current children cumulated CPU time (s) 476.41
Current children cumulated vsize (KiB) 44116
Child status: 0
Real time (s): 476.639
CPU time (s): 476.455
CPU user time (s): 471.333
CPU system time (s): 5.12122
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (KiB): 50852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 471.333
system time used= 5.12122
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18081
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= 754
runsolver used 0.869867 second user time and 2.17967 second system time
The end