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-2704387-1278554120.opb>
0.09/0.14 c original problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 7493 constraints
0.09/0.14 c problem read
0.09/0.14 c presolving settings loaded
0.09/0.18 c presolving:
0.29/0.31 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7298 upgd conss, 51462 impls, 0 clqs
0.29/0.33 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7493 upgd conss, 51462 impls, 0 clqs
0.39/0.49 c (0.3s) probing: 101/774 (13.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.49 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.49 c presolving (3 rounds):
0.39/0.49 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.49 c 51462 implications, 0 cliques
0.39/0.49 c presolved problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 7493 constraints
0.39/0.49 c 6723 constraints of type <setppc>
0.39/0.49 c 770 constraints of type <logicor>
0.39/0.49 c transformed objective value is always integral (scale: 1)
0.39/0.49 c Presolving Time: 0.31
0.39/0.49 c - non default parameters ----------------------------------------------------------------------
0.39/0.49 c # SCIP version 1.2.1.3
0.39/0.49 c
0.39/0.49 c # frequency for displaying node information lines
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.49 c display/freq = 10000
0.39/0.49 c
0.39/0.49 c # maximal time in seconds to run
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/time = 1789.86
0.39/0.49 c
0.39/0.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/memory = 1620
0.39/0.49 c
0.39/0.49 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.49 c # [type: int, range: [1,2], default: 1]
0.39/0.49 c timing/clocktype = 2
0.39/0.49 c
0.39/0.49 c # should presolving try to simplify inequalities
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/linear/simplifyinequalities = TRUE
0.39/0.49 c
0.39/0.49 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/indicator/addCouplingCons = TRUE
0.39/0.49 c
0.39/0.49 c # should presolving try to simplify knapsacks
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.49 c
0.39/0.49 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c separating/rapidlearning/freq = 0
0.39/0.49 c
0.39/0.49 c -----------------------------------------------------------------------------------------------
0.39/0.49 c start solving
0.39/0.49 c
1.19/1.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.28 c 1.1s| 1 | 0 | 1569 | - | 13M| 0 | 709 | 774 |7493 | 774 |7493 | 0 | 0 | 0 | 2.630938e+02 | -- | Inf
11.79/11.89 o 368
11.79/11.89 c y11.7s| 1 | 0 | 6657 | - | 13M| 0 | 709 | 774 |7493 | 774 |7493 | 0 | 0 | 0 | 2.630938e+02 | 3.680000e+02 | 39.87%
12.29/12.38 c 12.2s| 1 | 0 | 7105 | - | 13M| 0 | 668 | 774 |7559 | 774 |7447 | 6 | 0 | 0 | 2.633952e+02 | 3.680000e+02 | 39.71%
13.20/13.25 c 13.1s| 1 | 0 | 7442 | - | 14M| 0 | 662 | 774 |7559 | 774 |7451 | 10 | 0 | 0 | 2.635181e+02 | 3.680000e+02 | 39.65%
14.19/14.25 c 14.1s| 1 | 0 | 7875 | - | 15M| 0 | 674 | 774 |7559 | 774 |7454 | 13 | 0 | 0 | 2.636454e+02 | 3.680000e+02 | 39.58%
15.40/15.43 c 15.3s| 1 | 0 | 8387 | - | 16M| 0 | 667 | 774 |7559 | 774 |7457 | 16 | 0 | 0 | 2.637005e+02 | 3.680000e+02 | 39.55%
16.39/16.43 c 16.3s| 1 | 0 | 8742 | - | 16M| 0 | 664 | 774 |7559 | 774 |7461 | 20 | 0 | 0 | 2.637206e+02 | 3.680000e+02 | 39.54%
17.39/17.45 c 17.3s| 1 | 0 | 9006 | - | 16M| 0 | 657 | 774 |7559 | 774 |7464 | 23 | 0 | 0 | 2.637267e+02 | 3.680000e+02 | 39.54%
18.70/18.71 c 18.6s| 1 | 0 | 9390 | - | 17M| 0 | 660 | 774 |7559 | 774 |7467 | 26 | 0 | 0 | 2.637365e+02 | 3.680000e+02 | 39.53%
19.48/19.60 c 19.4s| 1 | 0 | 9517 | - | 17M| 0 | 665 | 774 |7559 | 774 |7469 | 28 | 0 | 0 | 2.637422e+02 | 3.680000e+02 | 39.53%
20.49/20.56 c 20.4s| 1 | 0 | 9704 | - | 17M| 0 | 667 | 774 |7559 | 774 |7470 | 29 | 0 | 0 | 2.637472e+02 | 3.680000e+02 | 39.53%
32.17/32.26 c 32.1s| 1 | 2 | 9704 | - | 17M| 0 | 667 | 774 |7559 | 774 |7470 | 29 | 0 | 20 | 2.637472e+02 | 3.680000e+02 | 39.53%
233.02/233.12 o 367
233.02/233.12 c R 233s| 432 | 155 | 69457 | 138.6 | 19M| 27 | 88 | 774 |8000 | 774 |7464 | 29 | 508 | 362 | 2.714520e+02 | 3.670000e+02 | 35.20%
233.02/233.12 o 365
233.02/233.12 c b 233s| 433 | 156 | 69457 | 138.3 | 19M| 27 | - | 774 |8000 | 774 |7464 | 29 | 508 | 362 | 2.714520e+02 | 3.650000e+02 | 34.46%
233.31/233.42 o 364
233.31/233.42 c * 233s| 441 | 158 | 69784 | 136.5 | 19M| 27 | - | 774 |8003 | 774 |7464 | 29 | 512 | 362 | 2.714520e+02 | 3.640000e+02 | 34.09%
530.25/530.64 c
530.25/530.64 c SCIP Status : problem is solved [optimal solution found]
530.25/530.64 c Solving Time (sec) : 530.49
530.25/530.64 c Solving Nodes : 3362
530.25/530.64 c Primal Bound : +3.64000000000000e+02 (74 solutions)
530.25/530.64 c Dual Bound : +3.64000000000000e+02
530.25/530.64 c Gap : 0.00 %
530.25/530.65 s OPTIMUM FOUND
530.25/530.65 v x774 -x773 -x772 x771 x770 -x769 x768 -x767 x766 -x765 -x764 x763 x762 -x761 -x760 x759 x758 -x757 x756 -x755 -x754 x753 x752 -x751
530.25/530.65 v x750 -x749 -x748 -x747 -x746 x745 x744 -x743 x742 -x741 -x740 x739 x738 -x737 -x736 x735 x734 -x733 x732 -x731 -x730 x729
530.25/530.65 v x728 -x727 x726 -x725 x724 -x723 -x722 x721 x720 -x719 x718 -x717 -x716 x715 x714 -x713 -x712 x711 x710 -x709 x708 -x707 x706
530.25/530.65 v -x705 -x704 x703 x702 -x701 -x700 -x699 -x698 x697 x696 -x695 -x694 x693 x692 -x691 x690 -x689 -x688 x687 x686 -x685 x684
530.25/530.65 v -x683 -x682 -x681 -x680 x679 x678 -x677 x676 -x675 -x674 x673 x672 -x671 -x670 x669 x668 -x667 x666 -x665 x664 -x663 -x662 x661
530.25/530.65 v x660 -x659 x658 -x657 -x656 x655 x654 -x653 x652 -x651 -x650 x649 x648 -x647 x646 -x645 -x644 x643 x642 -x641 x640 -x639 -x638
530.25/530.65 v x637 x636 -x635 -x634 -x633 -x632 x631 x630 -x629 x628 -x627 -x626 x625 x624 -x623 x622 -x621 -x620 x619 x618 -x617 -x616
530.25/530.65 v -x615 -x614 x613 x612 -x611 x610 -x609 -x608 x607 x606 -x605 x604 -x603 -x602 x601 x600 -x599 -x598 x597 x596 -x595 x594 -x593
530.25/530.65 v -x592 x591 x590 -x589 x588 -x587 -x586 x585 x584 -x583 -x582 x581 x580 -x579 x578 -x577 x576 -x575 -x574 x573 x572 -x571
530.25/530.65 v x570 -x569 -x568 x567 x566 -x565 -x564 x563 x562 -x561 x560 -x559 x558 -x557 -x556 x555 x554 -x553 x552 -x551 x550 -x549 -x548
530.25/530.65 v x547 x546 -x545 x544 -x543 -x542 x541 x540 -x539 -x538 x537 x536 -x535 x534 -x533 -x532 x531 x530 -x529 x528 -x527 x526 -x525
530.25/530.65 v -x524 x523 x522 -x521 x520 -x519 -x518 x517 x516 -x515 x514 -x513 -x512 x511 x510 -x509 -x508 -x507 -x506 x505 x504 -x503
530.25/530.65 v -x502 x501 x500 -x499 x498 -x497 x496 -x495 -x494 x493 x492 -x491 -x490 x489 x488 -x487 x486 -x485 -x484 x483 x482 -x481 x480
530.25/530.65 v -x479 -x478 x477 x476 -x475 x474 -x473 -x472 x471 x470 -x469 x468 -x467 -x466 x465 x464 -x463 x462 -x461 -x460 x459 x458 -x457
530.25/530.65 v x456 -x455 x454 -x453 -x452 x451 x450 -x449 -x448 x447 x446 -x445 x444 -x443 x442 -x441 -x440 x439 x438 -x437 x436 -x435 -x434
530.25/530.65 v x433 x432 -x431 x430 -x429 -x428 x427 x426 -x425 x424 -x423 -x422 x421 x420 -x419 x418 -x417 -x416 x415 x414 -x413 -x412
530.25/530.65 v -x411 -x410 x409 x408 -x407 x406 -x405 -x404 x403 x402 -x401 -x400 x399 x398 -x397 x396 -x395 x394 -x393 -x392 x391 x390 -x389
530.25/530.65 v x388 -x387 -x386 x385 -x384 -x383 -x382 x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367
530.25/530.65 v -x366 x365 -x364 x363 -x362 x361 x360 -x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 -x349 -x348 x347 -x346 x345 -x344
530.25/530.65 v x343 -x342 x341 x340 -x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 x330 -x329 -x328 x327 -x326 x325 -x324 x323 -x322
530.25/530.65 v -x321 -x320 x319 -x318 -x317 -x316 x315 x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 x305 -x304 x303 -x302 -x301 -x300
530.25/530.65 v x299 -x298 x297 -x296 -x295 -x294 x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 x281 -x280 x279 -x278
530.25/530.65 v -x277 -x276 x275 -x274 x273 x272 -x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 x257 -x256
530.25/530.65 v x255 -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233
530.25/530.65 v -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 x218 -x217 -x216 x215 -x214 x213 -x212 x211 -x210
530.25/530.65 v x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188
530.25/530.65 v x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 x166 -x165
530.25/530.65 v -x164 x163 x162 -x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142
530.25/530.65 v x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119
530.25/530.65 v -x118 x117 -x116 x115 x114 -x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96
530.25/530.65 v x95 -x94 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
530.25/530.65 v x67 -x66 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
530.25/530.65 v x39 -x38 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
530.25/530.65 v -x12 x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 x1
530.25/530.65 c SCIP Status : problem is solved [optimal solution found]
530.25/530.65 c Solving Time : 530.49
530.25/530.65 c Original Problem :
530.25/530.65 c Problem name : HOME/instance-2704387-1278554120.opb
530.25/530.65 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
530.25/530.65 c Constraints : 7493 initial, 7493 maximal
530.25/530.65 c Presolved Problem :
530.25/530.65 c Problem name : t_HOME/instance-2704387-1278554120.opb
530.25/530.65 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
530.25/530.65 c Constraints : 7493 initial, 8324 maximal
530.25/530.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
530.25/530.65 c trivial : 0.00 0 0 0 0 0 0 0 0
530.25/530.65 c dualfix : 0.00 0 0 0 0 0 0 0 0
530.25/530.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
530.25/530.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
530.25/530.65 c implics : 0.00 0 0 0 0 0 0 0 0
530.25/530.65 c probing : 0.15 0 0 0 0 0 0 0 0
530.25/530.65 c setppc : 0.02 0 0 0 0 0 0 0 0
530.25/530.65 c linear : 0.10 0 0 0 0 0 0 0 0
530.25/530.65 c logicor : 0.03 0 0 0 0 0 0 0 0
530.25/530.65 c root node : - 4 - - 4 - - - -
530.25/530.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
530.25/530.65 c integral : 0 0 0 1943 0 19 392 0 0 3656
530.25/530.65 c setppc : 6723 11 21066 1 0 338 191363 0 0 0
530.25/530.65 c linear : 0+ 10 17785 0 0 36 689 62 0 0
530.25/530.65 c logicor : 770+ 11 13706 1 0 435 31768 0 0 0
530.25/530.65 c countsols : 0 0 0 1 0 0 0 0 0 0
530.25/530.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
530.25/530.65 c integral : 236.82 0.00 0.00 236.82 0.00
530.25/530.65 c setppc : 3.30 0.01 3.28 0.00 0.00
530.25/530.65 c linear : 0.57 0.01 0.56 0.00 0.00
530.25/530.65 c logicor : 1.47 0.00 1.46 0.00 0.00
530.25/530.65 c countsols : 0.00 0.00 0.00 0.00 0.00
530.25/530.65 c Propagators : Time Calls Cutoffs DomReds
530.25/530.65 c vbounds : 0.01 2 0 0
530.25/530.65 c rootredcost : 0.02 2 0 0
530.25/530.65 c pseudoobj : 0.97 20985 54 153
530.25/530.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
530.25/530.65 c propagation : 0.20 809 801 3451 39.4 230 25.9 -
530.25/530.65 c infeasible LP : 0.02 14 14 67 37.1 4 20.5 0
530.25/530.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
530.25/530.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
530.25/530.65 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
530.25/530.65 c applied globally : - - - 2455 25.7 - - -
530.25/530.65 c applied locally : - - - 1 107.0 - - -
530.25/530.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
530.25/530.65 c cut pool : 0.01 9 - - 55 - (maximal pool size: 977)
530.25/530.65 c redcost : 0.16 2046 0 133 0 0
530.25/530.65 c impliedbounds : 0.02 10 0 0 0 0
530.25/530.65 c intobj : 0.00 0 0 0 0 0
530.25/530.65 c cgmip : 0.00 0 0 0 0 0
530.25/530.65 c gomory : 2.92 10 0 0 258 0
530.25/530.65 c strongcg : 2.75 10 0 0 2340 0
530.25/530.65 c cmir : 0.49 10 0 0 0 0
530.25/530.65 c flowcover : 0.41 10 0 0 0 0
530.25/530.65 c clique : 0.03 1 0 0 0 0
530.25/530.65 c zerohalf : 0.00 0 0 0 0 0
530.25/530.65 c mcf : 0.01 1 0 0 0 0
530.25/530.65 c rapidlearning : 2.35 1 0 2 0 119
530.25/530.65 c Pricers : Time Calls Vars
530.25/530.65 c problem variables: 0.00 0 0
530.25/530.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
530.25/530.65 c relpscost : 236.81 1942 19 392 0 0 3656
530.25/530.65 c pscost : 0.00 0 0 0 0 0 0
530.25/530.65 c inference : 0.00 0 0 0 0 0 0
530.25/530.65 c mostinf : 0.00 0 0 0 0 0 0
530.25/530.65 c leastinf : 0.00 0 0 0 0 0 0
530.25/530.65 c fullstrong : 0.00 0 0 0 0 0 0
530.25/530.65 c allfullstrong : 0.00 0 0 0 0 0 0
530.25/530.65 c random : 0.00 0 0 0 0 0 0
530.25/530.65 c Primal Heuristics : Time Calls Found
530.25/530.65 c LP solutions : 0.00 - 1
530.25/530.65 c pseudo solutions : 0.00 - 0
530.25/530.65 c oneopt : 0.02 4 1
530.25/530.65 c crossover : 0.27 2 2
530.25/530.65 c pscostdiving : 2.39 13 0
530.25/530.65 c fracdiving : 6.35 13 0
530.25/530.65 c veclendiving : 6.08 13 0
530.25/530.65 c linesearchdiving : 1.72 13 0
530.25/530.65 c guideddiving : 4.76 13 0
530.25/530.65 c rootsoldiving : 1.58 7 5
530.25/530.65 c objpscostdiving : 5.82 7 2
530.25/530.65 c trivial : 0.01 2 0
530.25/530.65 c simplerounding : 0.00 0 0
530.25/530.65 c zirounding : 1.60 1847 61
530.25/530.65 c rounding : 2.37 1519 1
530.25/530.65 c shifting : 0.61 146 0
530.25/530.65 c intshifting : 0.00 0 0
530.25/530.65 c twoopt : 0.00 0 0
530.25/530.65 c fixandinfer : 0.00 0 0
530.25/530.65 c feaspump : 7.92 1 0
530.25/530.65 c coefdiving : 8.82 14 0
530.25/530.65 c intdiving : 0.00 0 0
530.25/530.65 c actconsdiving : 0.00 0 0
530.25/530.65 c octane : 0.00 0 0
530.25/530.65 c rens : 0.01 0 0
530.25/530.65 c rins : 0.00 0 0
530.25/530.65 c localbranching : 0.00 0 0
530.25/530.65 c mutation : 0.00 0 0
530.25/530.65 c dins : 0.00 0 0
530.25/530.65 c undercover : 0.00 0 0
530.25/530.65 c nlp : 0.00 0 0
530.25/530.65 c trysol : 0.01 0 0
530.25/530.65 c LP : Time Calls Iterations Iter/call Iter/sec
530.25/530.65 c primal LP : 0.01 0 0 0.00 0.00
530.25/530.65 c dual LP : 218.50 2867 249791 87.13 1143.21
530.25/530.65 c lex dual LP : 0.00 0 0 0.00 -
530.25/530.65 c barrier LP : 0.00 0 0 0.00 -
530.25/530.65 c diving/probing LP: 42.14 1233 41974 34.04 996.11
530.25/530.65 c strong branching : 236.54 1051 237649 226.12 1004.70
530.25/530.65 c (at root node) : - 20 9924 496.20 -
530.25/530.65 c conflict analysis: 0.00 0 0 0.00 -
530.25/530.65 c B&B Tree :
530.25/530.65 c number of runs : 1
530.25/530.65 c nodes : 3362
530.25/530.65 c nodes (total) : 3362
530.25/530.65 c nodes left : 0
530.25/530.65 c max depth : 39
530.25/530.65 c max depth (total): 39
530.25/530.65 c backtracks : 854 (25.4%)
530.25/530.65 c delayed cutoffs : 293
530.25/530.65 c repropagations : 2152 (36597 domain reductions, 162 cutoffs)
530.25/530.65 c avg switch length: 6.31
530.25/530.65 c switching time : 3.51
530.25/530.65 c Solution :
530.25/530.65 c Solutions found : 74 (4 improvements)
530.25/530.65 c First Solution : +3.68000000000000e+02 (in run 1, after 1 nodes, 11.74 seconds, depth 0, found by <trysol>)
530.25/530.65 c Primal Bound : +3.64000000000000e+02 (in run 1, after 441 nodes, 233.27 seconds, depth 24, found by <relaxation>)
530.25/530.65 c Dual Bound : +3.64000000000000e+02
530.25/530.65 c Gap : 0.00 %
530.25/530.65 c Root Dual Bound : +2.63747248712149e+02
530.25/530.65 c Root Iterations : 9704
530.35/530.70 c Time complete: 530.35.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704387-1278554120/watcher-2704387-1278554120 -o /tmp/evaluation-result-2704387-1278554120/solver-2704387-1278554120 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704387-1278554120.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.04 1.03 1.00 3/106 27737
/proc/meminfo: memFree=1710116/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=7904 CPUtime=0
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 1079 0 0 0 0 0 0 0 18 0 1 0 23619453 8093696 992 1992294400 4194304 8395647 140735417880896 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27737/statm: 1976 1000 365 1026 0 946 0
[startup+0.052462 s]
/proc/loadavg: 1.04 1.03 1.00 3/106 27737
/proc/meminfo: memFree=1710116/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=11780 CPUtime=0.04
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 2226 0 0 0 4 0 0 0 20 0 1 0 23619453 12062720 2138 1992294400 4194304 8395647 140735417880896 18446744073709551615 4222948 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27737/statm: 2945 2138 393 1026 0 1915 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11780
[startup+0.101467 s]
/proc/loadavg: 1.04 1.03 1.00 3/106 27737
/proc/meminfo: memFree=1710116/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=13036 CPUtime=0.09
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 2555 0 0 0 9 0 0 0 20 0 1 0 23619453 13348864 2467 1992294400 4194304 8395647 140735417880896 18446744073709551615 4327586 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27737/statm: 3259 2467 393 1026 0 2229 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13036
[startup+0.301488 s]
/proc/loadavg: 1.04 1.03 1.00 3/106 27737
/proc/meminfo: memFree=1710116/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=32388 CPUtime=0.29
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 7473 0 0 0 27 2 0 0 20 0 1 0 23619453 33165312 7031 1992294400 4194304 8395647 140735417880896 18446744073709551615 5093790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 8097 7031 474 1026 0 7067 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32388
[startup+0.701534 s]
/proc/loadavg: 1.04 1.03 1.00 3/106 27737
/proc/meminfo: memFree=1710116/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=44840 CPUtime=0.69
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 10414 0 0 0 66 3 0 0 20 0 1 0 23619453 45916160 9795 1992294400 4194304 8395647 140735417880896 18446744073709551615 6696936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 11210 9795 616 1026 0 10180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44840
[startup+1.50162 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 27738
/proc/meminfo: memFree=1670304/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=48960 CPUtime=1.49
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 11631 0 0 0 145 4 0 0 23 0 1 0 23619453 50135040 10803 1992294400 4194304 8395647 140735417880896 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 12240 10803 579 1026 0 11210 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48960
[startup+3.10179 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 27738
/proc/meminfo: memFree=1668568/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=48960 CPUtime=3.09
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 11674 0 0 0 305 4 0 0 25 0 1 0 23619453 50135040 10844 1992294400 4194304 8395647 140735417880896 18446744073709551615 6758171 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 12240 10844 577 1026 0 11210 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48960
[startup+6.30115 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 27738
/proc/meminfo: memFree=1668444/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=48960 CPUtime=6.29
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 11690 0 0 0 624 5 0 0 25 0 1 0 23619453 50135040 10860 1992294400 4194304 8395647 140735417880896 18446744073709551615 6709381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 12240 10860 577 1026 0 11210 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48960
[startup+12.7018 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 27738
/proc/meminfo: memFree=1643644/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=74388 CPUtime=12.69
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 18599 0 0 0 1252 17 0 0 25 0 1 0 23619453 76173312 17219 1992294400 4194304 8395647 140735417880896 18446744073709551615 6123249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 18597 17219 622 1026 0 17567 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 74388
[startup+25.5013 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 27738
/proc/meminfo: memFree=1640792/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=74388 CPUtime=25.48
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 19389 0 0 0 2526 22 0 0 25 0 1 0 23619453 76173312 17847 1992294400 4194304 8395647 140735417880896 18446744073709551615 6697069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 18597 17847 635 1026 0 17567 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 74388
[startup+51.1011 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 27738
/proc/meminfo: memFree=1640668/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=74388 CPUtime=51.07
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 19393 0 0 0 5074 33 0 0 25 0 1 0 23619453 76173312 17848 1992294400 4194304 8395647 140735417880896 18446744073709551615 6698297 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 18597 17848 633 1026 0 17567 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74388
[startup+102.309 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 27740
/proc/meminfo: memFree=1640544/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=74388 CPUtime=102.26
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 19396 0 0 0 10171 55 0 0 25 0 1 0 23619453 76173312 17848 1992294400 4194304 8395647 140735417880896 18446744073709551615 6585873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 18597 17848 630 1026 0 17567 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 74388
[startup+162.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 27742
/proc/meminfo: memFree=1640544/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=74388 CPUtime=162.23
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 19402 0 0 0 16141 82 0 0 25 0 1 0 23619453 76173312 17850 1992294400 4194304 8395647 140735417880896 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 18597 17850 627 1026 0 17567 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 74388
[startup+222.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 27744
/proc/meminfo: memFree=1640544/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=74388 CPUtime=222.21
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 19402 0 0 0 22113 108 0 0 25 0 1 0 23619453 76173312 17850 1992294400 4194304 8395647 140735417880896 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 18597 17850 627 1026 0 17567 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 74388
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27744
/proc/meminfo: memFree=1640544/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=74388 CPUtime=282.2
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 19402 0 0 0 28085 135 0 0 25 0 1 0 23619453 76173312 17850 1992294400 4194304 8395647 140735417880896 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 18597 17850 627 1026 0 17567 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 74388
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27755
/proc/meminfo: memFree=1638932/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=75244 CPUtime=342.17
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 22041 0 0 0 34053 164 0 0 25 0 1 0 23619453 77049856 18077 1992294400 4194304 8395647 140735417880896 18446744073709551615 6698220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 18811 18077 629 1026 0 17781 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 75244
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/111 27765
/proc/meminfo: memFree=1632452/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=76760 CPUtime=402.09
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 24646 0 0 0 40014 195 0 0 25 0 1 0 23619453 78602240 18459 1992294400 4194304 8395647 140735417880896 18446744073709551615 6698176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 19190 18459 632 1026 0 18160 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 76760
[startup+462.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 28225
/proc/meminfo: memFree=1636692/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=76760 CPUtime=461.97
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 24646 0 0 0 45973 224 0 0 25 0 1 0 23619453 78602240 18459 1992294400 4194304 8395647 140735417880896 18446744073709551615 4228812 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 19190 18459 632 1026 0 18160 0
Current children cumulated CPU time (s) 461.97
Current children cumulated vsize (KiB) 76760
[startup+522.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28227
/proc/meminfo: memFree=1636816/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=76760 CPUtime=521.95
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 24646 0 0 0 51943 252 0 0 25 0 1 0 23619453 78602240 18459 1992294400 4194304 8395647 140735417880896 18446744073709551615 6697266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 19190 18459 632 1026 0 18160 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 76760
Solver just ended. Dumping a history of the last processes samples
[startup+524.709 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28227
/proc/meminfo: memFree=1636816/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=76760 CPUtime=524.35
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 24646 0 0 0 52183 252 0 0 25 0 1 0 23619453 78602240 18459 1992294400 4194304 8395647 140735417880896 18446744073709551615 6587090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 19190 18459 632 1026 0 18160 0
Current children cumulated CPU time (s) 524.35
Current children cumulated vsize (KiB) 76760
[startup+527.9 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28227
/proc/meminfo: memFree=1636816/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=76760 CPUtime=527.56
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 24646 0 0 0 52502 254 0 0 25 0 1 0 23619453 78602240 18459 1992294400 4194304 8395647 140735417880896 18446744073709551615 6723314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 19190 18459 632 1026 0 18160 0
Current children cumulated CPU time (s) 527.56
Current children cumulated vsize (KiB) 76760
[startup+529.501 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28227
/proc/meminfo: memFree=1636816/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=76760 CPUtime=529.15
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 24646 0 0 0 52661 254 0 0 25 0 1 0 23619453 78602240 18459 1992294400 4194304 8395647 140735417880896 18446744073709551615 6696997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 19190 18459 632 1026 0 18160 0
Current children cumulated CPU time (s) 529.15
Current children cumulated vsize (KiB) 76760
[startup+530.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28227
/proc/meminfo: memFree=1636816/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=76760 CPUtime=529.95
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 24646 0 0 0 52740 255 0 0 25 0 1 0 23619453 78602240 18459 1992294400 4194304 8395647 140735417880896 18446744073709551615 6697139 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27737/statm: 19190 18459 632 1026 0 18160 0
Current children cumulated CPU time (s) 529.95
Current children cumulated vsize (KiB) 76760
[startup+530.701 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28227
/proc/meminfo: memFree=1636816/2059040 swapFree=4139756/4192956
[pid=27737] ppid=27735 vsize=8604 CPUtime=530.35
/proc/27737/stat : 27737 (pbscip.linux.x8) R 27735 27737 26473 0 -1 4202496 24648 0 0 0 52779 256 0 0 25 0 1 0 23619453 8810496 1706 1992294400 4194304 8395647 140735417880896 18446744073709551615 6058842 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27737/statm: 2151 1706 634 1026 0 1121 0
Current children cumulated CPU time (s) 530.35
Current children cumulated vsize (KiB) 8604
Child status: 0
Real time (s): 530.701
CPU time (s): 530.359
CPU user time (s): 527.798
CPU system time (s): 2.56161
CPU usage (%): 99.9356
Max. virtual memory (cumulated for all children) (KiB): 86820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 527.798
system time used= 2.56161
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24651
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= 3
involuntary context switches= 9855
runsolver used 0.887865 second user time and 2.51862 second system time
The end