0.03/0.07 c SCIP version 1.1.0.7
0.03/0.07 c LP-Solver SoPlex 1.4.1
0.03/0.07 c user parameter file <scip.set> not found - using default parameters
0.03/0.07 c read problem <HOME/instance-1868952-1245151821.opb>
0.03/0.07 c original problem has 558 variables (558 bin, 0 int, 0 impl, 0 cont) and 3551 constraints
0.03/0.09 c start presolving problem
0.03/0.09 c presolving:
0.09/0.12 c (round 1) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23412 impls, 0 clqs
0.09/0.16 c (round 2) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3460 upgd conss, 23412 impls, 0 clqs
0.09/0.18 c (round 3) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3545 upgd conss, 23412 impls, 0 clqs
0.19/0.23 c (0.1s) probing: 101/552 (18.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (4 rounds):
0.19/0.23 c 6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.23 c 23412 implications, 0 cliques
0.19/0.23 c presolved problem has 552 variables (552 bin, 0 int, 0 impl, 0 cont) and 3545 constraints
0.19/0.23 c 3545 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 1)
0.19/0.23 c Presolving Time: 0.12
0.19/0.23 c strange?!, PURESAT with obj
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = c 1620
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = c 1791
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = c 10000
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving problem
0.19/0.23 c
0.28/0.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.28/0.38 c 0.3s| 1 | 0 | 843 |6882k| 0 | 343 | 552 |3545 |3545 | 552 |3545 | 0 | 0 | 0 | 1.745000e+02 | -- | Inf
2.09/2.19 c 2.0s| 1 | 0 | 3995 |7146k| 0 | 336 | 552 |3545 |3545 | 552 |3555 | 10 | 0 | 0 | 1.780000e+02 | -- | Inf
2.28/2.38 c 2.2s| 1 | 0 | 4062 |7312k| 0 | 333 | 552 |3545 |3545 | 552 |3561 | 16 | 0 | 0 | 1.795000e+02 | -- | Inf
2.49/2.57 c 2.4s| 1 | 0 | 4091 |7425k| 0 | 330 | 552 |3545 |3545 | 552 |3567 | 22 | 0 | 0 | 1.810000e+02 | -- | Inf
2.69/2.78 c 2.6s| 1 | 0 | 4156 |7489k| 0 | 329 | 552 |3545 |3545 | 552 |3572 | 27 | 0 | 0 | 1.815000e+02 | -- | Inf
2.88/2.99 c 2.8s| 1 | 0 | 4172 |7556k| 0 | 328 | 552 |3545 |3545 | 552 |3577 | 32 | 0 | 0 | 1.820000e+02 | -- | Inf
3.20/3.23 c 3.1s| 1 | 0 | 4252 |7592k| 0 | 327 | 552 |3545 |3545 | 552 |3581 | 36 | 0 | 0 | 1.825000e+02 | -- | Inf
3.38/3.50 c 3.3s| 1 | 0 | 4350 |7628k| 0 | 325 | 552 |3545 |3545 | 552 |3587 | 42 | 0 | 0 | 1.835000e+02 | -- | Inf
3.78/3.86 c 3.7s| 1 | 0 | 4479 |7791k| 0 | 325 | 552 |3545 |3545 | 552 |3592 | 47 | 0 | 0 | 1.840000e+02 | -- | Inf
4.17/4.28 c 4.1s| 1 | 0 | 4539 |7815k| 0 | 325 | 552 |3545 |3545 | 552 |3594 | 49 | 0 | 0 | 1.840000e+02 | -- | Inf
4.57/4.66 c 4.4s| 1 | 0 | 4667 |7866k| 0 | 324 | 552 |3545 |3545 | 552 |3600 | 55 | 0 | 0 | 1.845000e+02 | -- | Inf
5.17/5.23 c 5.0s| 1 | 0 | 4965 |7909k| 0 | 327 | 552 |3545 |3545 | 552 |3607 | 62 | 0 | 0 | 1.850000e+02 | -- | Inf
5.57/5.63 c 5.4s| 1 | 0 | 5208 |7946k| 0 | 322 | 552 |3545 |3545 | 552 |3613 | 68 | 0 | 0 | 1.850000e+02 | -- | Inf
6.18/6.24 c 6.0s| 1 | 0 | 5508 |7965k| 0 | 326 | 552 |3545 |3545 | 552 |3614 | 72 | 0 | 0 | 1.860000e+02 | -- | Inf
6.97/7.03 c 6.8s| 1 | 0 | 5705 |7988k| 0 | 323 | 552 |3545 |3545 | 552 |3618 | 76 | 0 | 0 | 1.870000e+02 | -- | Inf
7.48/7.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.48/7.53 c 7.3s| 1 | 0 | 5813 |8022k| 0 | 323 | 552 |3545 |3545 | 552 |3621 | 79 | 0 | 0 | 1.870000e+02 | -- | Inf
8.07/8.13 c 7.9s| 1 | 0 | 6086 |8073k| 0 | 330 | 552 |3545 |3545 | 552 |3626 | 84 | 0 | 0 | 1.872500e+02 | -- | Inf
8.78/8.85 c 8.6s| 1 | 0 | 6485 |8125k| 0 | 334 | 552 |3545 |3545 | 552 |3633 | 91 | 0 | 0 | 1.880000e+02 | -- | Inf
9.47/9.52 c 9.3s| 1 | 0 | 6685 |8181k| 0 | 333 | 552 |3545 |3545 | 552 |3637 | 95 | 0 | 0 | 1.880000e+02 | -- | Inf
10.17/10.21 c 9.9s| 1 | 0 | 6895 |8249k| 0 | 324 | 552 |3545 |3545 | 552 |3632 | 100 | 0 | 0 | 1.880000e+02 | -- | Inf
10.77/10.84 c 10.6s| 1 | 0 | 7096 |8296k| 0 | 331 | 552 |3545 |3545 | 552 |3635 | 103 | 0 | 0 | 1.882500e+02 | -- | Inf
11.78/11.85 c 11.6s| 1 | 0 | 7817 |8300k| 0 | 322 | 552 |3545 |3545 | 552 |3638 | 106 | 0 | 0 | 1.890000e+02 | -- | Inf
12.27/12.34 c 12.1s| 1 | 0 | 8035 |8302k| 0 | 325 | 552 |3545 |3545 | 552 |3640 | 108 | 0 | 0 | 1.890000e+02 | -- | Inf
12.88/12.95 c 12.7s| 1 | 0 | 8365 |8303k| 0 | 326 | 552 |3545 |3545 | 552 |3641 | 109 | 0 | 0 | 1.890000e+02 | -- | Inf
26.46/26.51 c 26.2s| 1 | 2 | 8365 |8303k| 0 | 326 | 552 |3545 |3545 | 552 |3641 | 109 | 0 | 23 | 1.890000e+02 | -- | Inf
109.85/109.94 o 273
109.85/109.94 c R 109s| 8 | 7 | 10533 |8383k| 7 | 42 | 552 |3545 |2621 | 552 |3594 | 109 | 0 | 295 | 1.890000e+02 | 2.730000e+02 | 44.44%
109.85/109.94 o 270
109.85/109.94 c k 109s| 8 | 9 | 10533 |8400k| 7 | 42 | 552 |3545 |2621 | 552 |3594 | 109 | 0 | 295 | 1.890000e+02 | 2.700000e+02 | 42.86%
118.23/118.30 o 269
118.23/118.30 c * 118s| 95 | 26 | 17216 |8524k| 17 | - | 552 |3594 | 493 | 552 |3594 | 109 | 49 | 307 | 1.979474e+02 | 2.690000e+02 | 35.89%
118.53/118.64 o 268
118.53/118.64 c * 118s| 144 | 25 | 17873 |8553k| 20 | - | 552 |3633 | 430 | 552 |3594 | 109 | 88 | 307 | 1.979474e+02 | 2.680000e+02 | 35.39%
120.13/120.21 o 267
120.13/120.21 c R 120s| 210 | 28 | 21162 |8591k| 20 | 13 | 552 |3668 | 433 | 552 |3594 | 109 | 129 | 307 | 1.979474e+02 | 2.670000e+02 | 34.88%
120.13/120.22 o 264
120.13/120.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.13/120.22 c k 120s| 210 | 30 | 21162 |8608k| 20 | 13 | 552 |3668 | 433 | 552 |3594 | 109 | 129 | 307 | 1.979474e+02 | 2.640000e+02 | 33.37%
124.83/124.99 o 263
124.83/124.99 c R 124s| 292 | 39 | 25728 |8659k| 22 | 13 | 552 |3674 | 918 | 552 |3594 | 109 | 143 | 319 | 1.989474e+02 | 2.630000e+02 | 32.20%
124.93/125.05 o 262
124.93/125.05 c * 124s| 305 | 39 | 25778 |8671k| 22 | - | 552 |3674 | 847 | 552 |3594 | 109 | 143 | 319 | 1.989474e+02 | 2.620000e+02 | 31.69%
144.42/144.59 o 261
144.42/144.59 c R 144s| 1004 | 62 | 49909 |8917k| 40 | - | 552 |3984 | 586 | 552 |3594 | 109 | 673 | 398 | 1.999474e+02 | 2.610000e+02 | 30.53%
468.71/468.96 c
468.71/468.96 c SCIP Status : problem is solved [optimal solution found]
468.71/468.96 c Solving Time (sec) : 465.98
468.71/468.96 c Solving Nodes : 9138
468.71/468.96 c Primal Bound : +2.61000000000000e+02 (15 solutions)
468.71/468.96 c Dual Bound : +2.61000000000000e+02
468.71/468.96 c Gap : 0.00 %
468.71/468.96 c NODE 9138
468.71/468.96 c DUAL BOUND 261
468.71/468.96 c PRIMAL BOUND 261
468.71/468.96 c GAP 0
468.71/468.96 s OPTIMUM FOUND
468.71/468.96 v -x558 x557 x556 -x555 x554 -x553 x552 -x551 -x550 x549 x548 -x547 -x546 x545 x544 -x543 x542 -x541 -x540 x539 x538 -x537 x536 -x535
468.71/468.96 v x534 -x533 -x532 x531 x530 -x529 -x528 x527 x526 -x525 x524 -x523 x522 -x521 x520 -x519 -x518 x517 -x516 x515 x514 -x513
468.71/468.96 v x512 -x511 -x510 x509 x508 -x507 x506 -x505 -x504 x503 x502 -x501 x500 -x499 -x498 x497 x496 -x495 x494 -x493 -x492 x491 x490
468.71/468.96 v -x489 x488 -x487 x486 -x485 x484 -x483 -x482 x481 -x480 x479 x478 -x477 x476 -x475 -x474 x473 x472 -x471 x470 -x469 -x468 x467
468.71/468.96 v x466 -x465 x464 -x463 x462 -x461 -x460 x459 x458 -x457 -x456 x455 x454 -x453 x452 -x451 -x450 x449 x448 -x447 x446 -x445
468.71/468.96 v -x444 x443 x442 -x441 x440 -x439 -x438 x437 x436 -x435 x434 -x433 x432 -x431 -x430 x429 x428 -x427 x426 -x425 -x424 x423 x422
468.71/468.96 v -x421 -x420 x419 x418 -x417 x416 -x415 -x414 x413 x412 -x411 x410 -x409 -x408 x407 x406 -x405 x404 -x403 -x402 x401 x400 -x399
468.71/468.96 v x398 -x397 -x396 x395 x394 -x393 x392 -x391 -x390 x389 x388 -x387 x386 -x385 -x384 x383 x382 -x381 -x380 x379 -x378 x377 -x376
468.71/468.96 v x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354
468.71/468.96 v x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337 x336 -x335 -x334 x333 -x332 x331
468.71/468.96 v -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308
468.71/468.96 v x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286
468.71/468.96 v x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263
468.71/468.96 v x262 -x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251 x250 -x249 -x248 -x247 -x246 x245 -x244 x243 -x242 x241 -x240
468.71/468.96 v x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 x224 -x223 -x222 x221 -x220 x219 -x218
468.71/468.96 v x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 -x205 -x204 x203 x202 -x201 -x200 x199 -x198 -x197 -x196 x195
468.71/468.96 v -x194 x193 -x192 x191 -x190 x189 -x188 x187 x186 -x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172
468.71/468.96 v x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150
468.71/468.96 v x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 x138 -x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 x127
468.71/468.96 v x126 -x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 -x109 -x108 x107 -x106 x105 -x104
468.71/468.96 v x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 x81 -x80 x79
468.71/468.96 v -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
468.71/468.96 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
468.71/468.96 v -x24 x23 -x22 -x21 -x20 x19 -x18 x17 x16 -x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 -x1
468.71/468.96 c SCIP Status : problem is solved [optimal solution found]
468.71/468.96 c Solving Time : 465.98
468.71/468.96 c Original Problem :
468.71/468.96 c Problem name : HOME/instance-1868952-1245151821.opb
468.71/468.96 c Variables : 558 (558 binary, 0 integer, 0 implicit integer, 0 continuous)
468.71/468.96 c Constraints : 3551 initial, 3551 maximal
468.71/468.96 c Presolved Problem :
468.71/468.96 c Problem name : t_HOME/instance-1868952-1245151821.opb
468.71/468.96 c Variables : 552 (552 binary, 0 integer, 0 implicit integer, 0 continuous)
468.71/468.96 c Constraints : 3545 initial, 4497 maximal
468.71/468.96 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
468.71/468.96 c trivial : 0.00 0 0 0 0 0 0 0 0
468.71/468.96 c dualfix : 0.00 0 0 0 0 0 0 0 0
468.71/468.96 c boundshift : 0.00 0 0 0 0 0 0 0 0
468.71/468.96 c inttobinary : 0.00 0 0 0 0 0 0 0 0
468.71/468.96 c implics : 0.00 0 0 0 0 0 0 0 0
468.71/468.96 c probing : 0.03 0 0 0 0 0 0 0 0
468.71/468.96 c linear : 0.04 0 6 0 0 0 6 0 0
468.71/468.96 c logicor : 0.05 0 0 0 0 0 0 0 0
468.71/468.96 c root node : - 0 - - 0 - - - -
468.71/468.96 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
468.71/468.96 c integral : 0 0 0 5122 0 31 555 0 0 9858
468.71/468.96 c logicor : 3545+ 24 74512 3 0 2842 464270 0 0 0
468.71/468.96 c countsols : 0 0 0 3 0 0 0 0 0 0
468.71/468.96 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
468.71/468.96 c integral : 191.37 0.00 0.00 191.37 0.00
468.71/468.96 c logicor : 5.48 0.03 5.45 0.00 0.00
468.71/468.96 c countsols : 0.00 0.00 0.00 0.00 0.00
468.71/468.96 c Propagators : Time Calls Cutoffs DomReds
468.71/468.96 c rootredcost : 0.03 7 0 0
468.71/468.96 c pseudoobj : 2.01 79959 154 269
468.71/468.96 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
468.71/468.96 c propagation : 0.44 2842 2835 13866 38.8 518 27.1 -
468.71/468.96 c infeasible LP : 0.01 24 24 133 43.9 0 0.0 0
468.71/468.96 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
468.71/468.96 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
468.71/468.96 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
468.71/468.96 c applied globally : - - - 7854 21.9 - - -
468.71/468.96 c applied locally : - - - 4 84.8 - - -
468.71/468.96 c Separators : Time Calls Cutoffs DomReds Cuts Conss
468.71/468.96 c cut pool : 0.00 23 - - 4 - (maximal pool size: 532)
468.71/468.96 c redcost : 0.25 5333 0 306 0 0
468.71/468.96 c impliedbounds : 0.03 24 0 0 0 0
468.71/468.96 c intobj : 0.00 0 0 0 0 0
468.71/468.96 c gomory : 3.58 24 0 0 8796 0
468.71/468.96 c strongcg : 2.33 20 0 0 8395 0
468.71/468.96 c cmir : 0.25 10 0 0 0 0
468.71/468.96 c flowcover : 0.19 10 0 0 0 0
468.71/468.96 c clique : 0.01 1 0 0 0 0
468.71/468.96 c zerohalf : 0.00 0 0 0 0 0
468.71/468.96 c mcf : 0.00 1 0 0 0 0
468.71/468.96 c Pricers : Time Calls Vars
468.71/468.96 c problem variables: 0.00 0 0
468.71/468.96 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
468.71/468.96 c relpscost : 191.37 5119 31 555 0 0 9858
468.71/468.96 c pscost : 0.00 0 0 0 0 0 0
468.71/468.96 c inference : 0.00 0 0 0 0 0 0
468.71/468.96 c mostinf : 0.00 0 0 0 0 0 0
468.71/468.96 c leastinf : 0.00 0 0 0 0 0 0
468.71/468.96 c fullstrong : 0.00 0 0 0 0 0 0
468.71/468.96 c allfullstrong : 0.00 0 0 0 0 0 0
468.71/468.97 c random : 0.00 0 0 0 0 0 0
468.71/468.97 c Primal Heuristics : Time Calls Found
468.71/468.97 c LP solutions : 0.00 - 3
468.71/468.97 c pseudo solutions : 0.00 - 0
468.71/468.97 c oneopt : 0.02 7 2
468.71/468.97 c feaspump : 1.59 1 0
468.71/468.97 c pscostdiving : 0.60 12 0
468.71/468.97 c fracdiving : 0.89 12 0
468.71/468.97 c veclendiving : 0.80 12 0
468.71/468.97 c linesearchdiving : 0.80 12 0
468.71/468.97 c guideddiving : 0.58 12 0
468.71/468.97 c coefdiving : 0.74 12 0
468.71/468.97 c objpscostdiving : 1.25 7 1
468.71/468.97 c crossover : 0.43 7 4
468.71/468.97 c simplerounding : 0.01 0 0
468.71/468.97 c rounding : 3.58 4810 4
468.71/468.97 c shifting : 0.65 374 1
468.71/468.97 c intshifting : 0.00 0 0
468.71/468.97 c fixandinfer : 0.00 0 0
468.71/468.97 c intdiving : 0.00 0 0
468.71/468.97 c actconsdiving : 0.00 0 0
468.71/468.97 c rootsoldiving : 1.11 6 0
468.71/468.97 c octane : 0.00 0 0
468.71/468.97 c rens : 0.00 0 0
468.71/468.97 c rins : 0.00 0 0
468.71/468.97 c localbranching : 0.00 0 0
468.71/468.97 c mutation : 0.00 0 0
468.71/468.97 c dins : 0.00 0 0
468.71/468.97 c LP : Time Calls Iterations Iter/call Iter/sec
468.71/468.97 c primal LP : 0.02 0 0 0.00 0.00
468.71/468.97 c dual LP : 235.90 7064 501835 71.04 2127.32
468.71/468.97 c barrier LP : 0.00 0 0 0.00 -
468.71/468.97 c diving/probing LP: 7.40 632 14495 22.94 1958.78
468.71/468.97 c strong branching : 190.77 1973 319735 162.06 1676.02
468.71/468.97 c (at root node) : - 23 12440 540.87 -
468.71/468.97 c conflict analysis: 0.00 0 0 0.00 -
468.71/468.97 c B&B Tree :
468.71/468.97 c number of runs : 1
468.71/468.97 c nodes : 9138
468.71/468.97 c nodes (total) : 9138
468.71/468.97 c nodes left : 0
468.71/468.97 c max depth : 40
468.71/468.97 c max depth (total): 40
468.71/468.97 c backtracks : 1964 (21.5%)
468.71/468.97 c delayed cutoffs : 717
468.71/468.97 c repropagations : 5362 (89601 domain reductions, 603 cutoffs)
468.71/468.97 c avg switch length: 4.45
468.71/468.97 c switching time : 3.08
468.71/468.97 c Solution :
468.71/468.97 c Solutions found : 15 (9 improvements)
468.71/468.97 c Primal Bound : +2.61000000000000e+02 (in run 1, after 1004 nodes, 143.72 seconds, depth 34, found by <rounding>)
468.71/468.97 c Dual Bound : +2.61000000000000e+02
468.71/468.97 c Gap : 0.00 %
468.71/468.97 c Root Dual Bound : +1.89000000000000e+02
468.71/469.00 c Time complete: 468.79.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868952-1245151821/watcher-1868952-1245151821 -o /tmp/evaluation-result-1868952-1245151821/solver-1868952-1245151821 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868952-1245151821.opb
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.77 2.02 2.06 4/73 14917
/proc/meminfo: memFree=425416/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=3796 CPUtime=0
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 214 0 0 0 0 0 0 0 18 0 1 0 182781135 3887104 198 1992294400 4194304 7823515 548682068736 18446744073709551615 6897552 0 0 4096 0 0 0 0 17 0 0 0
/proc/14917/statm: 949 198 161 886 0 59 0
[startup+0.0529679 s]
/proc/loadavg: 1.77 2.02 2.06 4/73 14917
/proc/meminfo: memFree=425416/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=10176 CPUtime=0.03
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 1867 0 0 0 3 0 0 0 18 0 1 0 182781135 10420224 1849 1992294400 4194304 7823515 548682068736 18446744073709551615 6908089 0 0 4096 0 0 0 0 17 1 0 0
/proc/14917/statm: 2544 1849 354 886 0 1654 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10176
[startup+0.105149 s]
/proc/loadavg: 1.77 2.02 2.06 4/73 14917
/proc/meminfo: memFree=425416/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=17736 CPUtime=0.09
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 3856 0 0 0 8 1 0 0 18 0 1 0 182781135 18161664 3484 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 4434 3484 426 886 0 3544 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17736
[startup+0.301304 s]
/proc/loadavg: 1.77 2.02 2.06 4/73 14917
/proc/meminfo: memFree=425416/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=28240 CPUtime=0.28
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 6548 0 0 0 25 3 0 0 19 0 1 0 182781135 28917760 6098 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 7060 6098 513 886 0 6170 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 28240
[startup+0.705366 s]
/proc/loadavg: 1.77 2.02 2.06 4/73 14917
/proc/meminfo: memFree=425416/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=30468 CPUtime=0.69
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 7337 0 0 0 65 4 0 0 23 0 1 0 182781135 31199232 6760 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 7617 6760 527 886 0 6727 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30468
[startup+1.50151 s]
/proc/loadavg: 1.77 2.02 2.06 2/74 14918
/proc/meminfo: memFree=400320/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=30748 CPUtime=1.48
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 7422 0 0 0 144 4 0 0 25 0 1 0 182781135 31485952 6845 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 7687 6845 527 886 0 6797 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30748
[startup+3.10443 s]
/proc/loadavg: 1.77 2.02 2.06 3/74 14918
/proc/meminfo: memFree=399296/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=34972 CPUtime=3.09
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 8589 0 0 0 299 10 0 0 25 0 1 0 182781135 35811328 7853 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 8743 7853 553 886 0 7853 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34972
[startup+6.30241 s]
/proc/loadavg: 1.71 2.01 2.05 2/74 14918
/proc/meminfo: memFree=392256/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=38032 CPUtime=6.27
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 9575 0 0 0 612 15 0 0 25 0 1 0 182781135 38944768 8799 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 9508 8799 553 886 0 8618 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 38032
[startup+12.7016 s]
/proc/loadavg: 1.81 2.02 2.06 3/74 14918
/proc/meminfo: memFree=388872/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=41388 CPUtime=12.67
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 10371 0 0 0 1247 20 0 0 25 0 1 0 182781135 42381312 9595 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 10347 9595 554 886 0 9457 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 41388
[startup+25.507 s]
/proc/loadavg: 1.71 1.99 2.05 2/74 14918
/proc/meminfo: memFree=387912/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=42496 CPUtime=25.47
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 10631 0 0 0 2525 22 0 0 25 0 1 0 182781135 43515904 9855 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 10624 9855 558 886 0 9734 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 42496
[startup+51.1018 s]
/proc/loadavg: 1.65 1.95 2.03 3/74 14918
/proc/meminfo: memFree=387912/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=42496 CPUtime=51.05
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 10632 0 0 0 5075 30 0 0 25 0 1 0 182781135 43515904 9856 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 10624 9856 559 886 0 9734 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 42496
[startup+102.306 s]
/proc/loadavg: 1.72 1.93 2.02 5/74 14918
/proc/meminfo: memFree=387976/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=42496 CPUtime=102.24
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 10632 0 0 0 10175 49 0 0 25 0 1 0 182781135 43515904 9856 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 10624 9856 559 886 0 9734 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 42496
[startup+162.302 s]
/proc/loadavg: 1.74 1.89 2.00 3/74 14918
/proc/meminfo: memFree=387272/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=42976 CPUtime=162.21
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 15901 0 0 0 16138 83 0 0 25 0 1 0 182781135 44007424 9997 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 10744 9997 577 886 0 9854 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 42976
[startup+222.306 s]
/proc/loadavg: 1.72 1.86 1.98 3/74 14918
/proc/meminfo: memFree=386888/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=43208 CPUtime=222.19
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 18171 0 0 0 22101 118 0 0 25 0 1 0 182781135 44244992 10061 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 10802 10061 579 886 0 9912 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 43208
[startup+282.304 s]
/proc/loadavg: 2.03 1.92 1.99 4/74 14918
/proc/meminfo: memFree=377608/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=54000 CPUtime=282.17
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 20553 0 0 0 28063 154 0 0 25 0 1 0 182781135 55296000 12427 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 13500 12427 579 886 0 12610 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 54000
[startup+342.301 s]
/proc/loadavg: 1.85 1.90 1.98 3/74 14918
/proc/meminfo: memFree=375624/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=54956 CPUtime=342.15
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 21045 0 0 0 34024 191 0 0 25 0 1 0 182781135 56274944 12919 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 13739 12919 579 886 0 12849 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 54956
[startup+402.301 s]
/proc/loadavg: 1.88 1.90 1.97 2/74 14918
/proc/meminfo: memFree=375624/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=54956 CPUtime=402.13
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 21045 0 0 0 39985 228 0 0 25 0 1 0 182781135 56274944 12919 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 13739 12919 579 886 0 12849 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 54956
[startup+462.302 s]
/proc/loadavg: 1.91 1.89 1.96 3/74 14918
/proc/meminfo: memFree=375624/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=54956 CPUtime=462.1
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 21045 0 0 0 45944 266 0 0 25 0 1 0 182781135 56274944 12919 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 13739 12919 579 886 0 12849 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 54956
Solver just ended. Dumping a history of the last processes samples
[startup+463.902 s]
/proc/loadavg: 1.91 1.89 1.96 3/74 14918
/proc/meminfo: memFree=375624/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=54956 CPUtime=463.7
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 21045 0 0 0 46103 267 0 0 25 0 1 0 182781135 56274944 12919 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 13739 12919 579 886 0 12849 0
Current children cumulated CPU time (s) 463.7
Current children cumulated vsize (KiB) 54956
[startup+467.102 s]
/proc/loadavg: 1.91 1.89 1.96 3/74 14918
/proc/meminfo: memFree=375624/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=54956 CPUtime=466.9
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 21045 0 0 0 46420 270 0 0 25 0 1 0 182781135 56274944 12919 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 13739 12919 579 886 0 12849 0
Current children cumulated CPU time (s) 466.9
Current children cumulated vsize (KiB) 54956
[startup+467.902 s]
/proc/loadavg: 1.91 1.89 1.96 3/74 14918
/proc/meminfo: memFree=375624/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=54956 CPUtime=467.7
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 21045 0 0 0 46499 271 0 0 25 0 1 0 182781135 56274944 12919 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 13739 12919 579 886 0 12849 0
Current children cumulated CPU time (s) 467.7
Current children cumulated vsize (KiB) 54956
[startup+468.702 s]
/proc/loadavg: 1.91 1.89 1.96 3/74 14918
/proc/meminfo: memFree=375624/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=54956 CPUtime=468.5
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 21045 0 0 0 46578 272 0 0 25 0 1 0 182781135 56274944 12919 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 13739 12919 579 886 0 12849 0
Current children cumulated CPU time (s) 468.5
Current children cumulated vsize (KiB) 54956
[startup+468.909 s]
/proc/loadavg: 1.91 1.89 1.96 3/74 14918
/proc/meminfo: memFree=375624/2055920 swapFree=4192812/4192956
[pid=14917] ppid=14915 vsize=54956 CPUtime=468.71
/proc/14917/stat : 14917 (pbscip.linux.x8) R 14915 14917 14711 0 -1 4194304 21045 0 0 0 46599 272 0 0 25 0 1 0 182781135 56274944 12919 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14917/statm: 13739 12919 579 886 0 12849 0
Current children cumulated CPU time (s) 468.71
Current children cumulated vsize (KiB) 54956
Child status: 0
Real time (s): 469.001
CPU time (s): 468.805
CPU user time (s): 466.074
CPU system time (s): 2.73058
CPU usage (%): 99.9581
Max. virtual memory (cumulated for all children) (KiB): 54956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 466.074
system time used= 2.73058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21050
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= 2
involuntary context switches= 817
runsolver used 0.694894 second user time and 1.68674 second system time
The end