0.00/0.02 c SCIP version 1.1.0.7
0.00/0.02 c LP-Solver SoPlex 1.4.1
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c read problem <HOME/instance-1869176-1245162357.opb>
0.00/0.02 c original problem has 776 variables (776 bin, 0 int, 0 impl, 0 cont) and 867 constraints
0.00/0.03 c start presolving problem
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3214 impls, 17 clqs
0.00/0.06 c (round 2) 1 del vars, 2 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 847 upgd conss, 3214 impls, 17 clqs
0.06/0.07 c (round 3) 1 del vars, 4 del conss, 1 chg bounds, 2 chg sides, 4 chg coeffs, 865 upgd conss, 3214 impls, 17 clqs
0.06/0.07 c (round 4) 1 del vars, 6 del conss, 1 chg bounds, 2 chg sides, 4 chg coeffs, 865 upgd conss, 3214 impls, 17 clqs
0.09/0.10 c (0.1s) probing: 223/775 (28.8%) - 0 fixings, 0 aggregations, 157 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (5 rounds):
0.09/0.10 c 1 deleted vars, 6 deleted constraints, 1 tightened bounds, 0 added holes, 2 changed sides, 4 changed coefficients
0.09/0.10 c 3712 implications, 17 cliques
0.09/0.10 c presolved problem has 775 variables (775 bin, 0 int, 0 impl, 0 cont) and 863 constraints
0.09/0.10 c 146 constraints of type <knapsack>
0.09/0.10 c 17 constraints of type <setppc>
0.09/0.10 c 700 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.06
0.09/0.10 c OPT-LIN
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = c 1620
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = c 1791
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = c 10000
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving problem
0.09/0.10 c
0.29/0.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.31 c 0.3s| 1 | 0 | 1284 |3586k| 0 | 271 | 775 | 863 | 863 | 775 | 863 | 0 | 0 | 0 |-1.705303e-13 | -- | Inf
0.29/0.32 o 315
0.29/0.32 c R 0.3s| 1 | 0 | 1284 |3605k| 0 | 271 | 775 | 863 | 863 | 775 | 863 | 0 | 0 | 0 |-1.705303e-13 | 3.150000e+02 | Inf
0.29/0.32 o 312
0.29/0.32 c s 0.3s| 1 | 0 | 1284 |3624k| 0 | 271 | 775 | 863 | 863 | 775 | 863 | 0 | 0 | 0 |-1.705303e-13 | 3.120000e+02 | Inf
0.59/0.60 c 0.6s| 1 | 0 | 1341 |4915k| 0 | 330 | 775 | 863 | 863 | 775 | 866 | 3 | 0 | 0 |-1.136868e-13 | 3.120000e+02 | Inf
1.00/1.07 c 1.0s| 1 | 0 | 1397 |7264k| 0 | 338 | 775 | 863 | 863 | 775 | 868 | 5 | 0 | 0 | 0.000000e+00 | 3.120000e+02 | Inf
1.49/1.59 c 1.5s| 1 | 0 | 1455 |9851k| 0 | 338 | 775 | 863 | 863 | 775 | 869 | 6 | 0 | 0 | 1.136868e-13 | 3.120000e+02 | Inf
2.09/2.14 c 2.1s| 1 | 0 | 1480 | 12M| 0 | 335 | 775 | 863 | 863 | 775 | 871 | 8 | 0 | 0 | 1.136868e-13 | 3.120000e+02 | Inf
2.09/2.15 o 312
2.09/2.15 c s 2.1s| 1 | 0 | 1480 | 12M| 0 | 335 | 775 | 863 | 863 | 775 | 871 | 8 | 0 | 0 | 1.136868e-13 | 3.120000e+02 | Inf
2.59/2.69 c 2.6s| 1 | 0 | 1549 | 13M| 0 | 337 | 775 | 863 | 863 | 775 | 872 | 9 | 0 | 0 | 1.136868e-13 | 3.120000e+02 | Inf
3.19/3.22 c 3.1s| 1 | 0 | 1675 | 13M| 0 | 315 | 775 | 863 | 863 | 775 | 873 | 10 | 0 | 0 | 1.136868e-13 | 3.120000e+02 | Inf
3.19/3.23 o 123
3.19/3.23 c k 3.1s| 1 | 0 | 1675 | 13M| 0 | 315 | 775 | 863 | 863 | 775 | 873 | 10 | 0 | 0 | 1.136868e-13 | 1.230000e+02 | Inf
6.59/6.66 o 0
6.59/6.66 c E 6.5s| 1 | 0 | 1675 | 13M| 0 | - | 775 | 863 | 863 | 775 | 873 | 10 | 0 | 0 | 1.136868e-13 | 0.000000e+00 | 0.00%
6.59/6.67 c 6.5s| 1 | 0 | 1675 | 13M| 0 | - | 775 | 863 | 863 | 775 | 873 | 10 | 0 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%
6.59/6.67 c
6.59/6.67 c SCIP Status : problem is solved [optimal solution found]
6.59/6.67 c Solving Time (sec) : 6.47
6.59/6.67 c Solving Nodes : 1
6.59/6.67 c Primal Bound : +0.00000000000000e+00 (6 solutions)
6.59/6.67 c Dual Bound : +0.00000000000000e+00
6.59/6.67 c Gap : 0.00 %
6.59/6.67 c NODE 1
6.59/6.67 c DUAL BOUND 0
6.59/6.67 c PRIMAL BOUND 0
6.59/6.67 c GAP 0
6.59/6.67 s OPTIMUM FOUND
6.59/6.67 v x1 x776 x585 x672 x579 -x580 x775 x340 x545 -x315 x509 x544 x339 x586 -x311 x676 x310 -x584 x671 x552 x669 x553 -x581 x316 x506
6.59/6.67 v -x113 x314 x508 x549 -x112 x341 x505 x542 x342 x543 x587 x679 x551 x312 x550 -x582 x675 -x723 x313 x317 -x507 x670 x298 x548
6.59/6.67 v -x726 -x114 x504 -x727 x115 x338 -x130 x611 -x234 x607 -x541 x537 -x357 x692 -x358 x532 -x680 -x533 x684 -x483 -x583 x673 -x722
6.59/6.67 v x309 x724 x297 x546 -x728 -x295 x335 x337 x502 x111 -x129 -x610 x233 -x479 x606 x360 -x540 x689 -x359 -x478 x536 -x572 x691
6.59/6.67 v -x134 x237 -x238 -x688 x484 -x211 x482 x683 -x575 -x576 x774 x677 x773 -x306 x308 -x674 x214 x215 x305 x725 -x772 x301 -x336
6.59/6.67 v -x547 x709 -x108 x708 x110 -x296 x503 -x131 -x326 -x608 -x80 x235 -x604 -x662 -x690 -x135 x240 -x538 x641 -x133 x239 x346
6.59/6.67 v -x378 -x480 x534 -x571 -x642 x345 -x481 x485 -x573 -x687 -x746 -x84 x464 -x578 -x665 -x210 -x577 -x666 x681 -x381 -x529 x212
6.59/6.67 v -x307 -x382 x678 x217 -x292 -x749 x216 -x750 -x190 x720 x304 x721 x717 -x109 x299 x713 -x458 -x706 x260 -x707 -x63 x107 x333
6.59/6.67 v -x769 -x132 -x325 x356 -x609 x644 -x79 -x136 x236 x355 -x525 -x605 x643 -x661 -x119 x222 x354 -x539 -x31 x221 -x288 -x350 -x377
6.59/6.67 v -x524 x535 x663 -x85 x220 -x330 -x477 x668 -x83 x186 -x287 x343 -x379 x465 -x574 -x667 -x685 -x745 -x344 -x384 -x469 -x530
6.59/6.67 v x558 x185 -x383 -x414 x463 -x528 x557 -x682 -x747 -x34 -x102 -x293 -x461 x556 -x752 -x35 x213 -x291 -x454 -x751 -x152 -x191
6.59/6.67 v x197 x719 -x189 x196 x256 -x453 x718 -x195 -x417 -x436 x255 x302 -x418 -x765 -x459 -x627 x716 x270 -x300 -x457 x712 -x764 x261
6.59/6.67 v x259 x269 -x770 -x62 x105 -x334 -x601 -x703 -x768 -x128 -x232 -x327 x634 -x81 -x98 x120 -x231 -x633 -x82 -x124 -x230 -x331
6.59/6.67 v x353 -x474 -x632 -x30 -x86 x97 -x118 -x148 -x164 x226 -x329 -x349 -x476 -x526 x664 -x69 -x116 -x527 -x569 x649 -x32 x147 -x218
6.59/6.67 v -x289 -x380 -x394 -x432 -x473 -x531 x570 -x648 -x686 -x37 x103 -x219 -x290 -x365 x513 -x566 -x647 -x11 -x36 -x101 x187 -x294
6.59/6.67 v -x364 -x413 -x431 -x468 -x562 -x623 x748 -x153 -x167 x188 -x208 -x276 -x363 x733 -x151 -x168 -x192 -x209 -x415 -x462 x554 -x622
6.59/6.67 v x732 x174 -x205 -x397 -x420 -x437 x555 -x731 x201 -x398 -x419 -x435 x455 -x495 -x14 x456 -x628 -x15 -x46 -x193 x257 -x303
6.59/6.67 v x460 -x597 -x626 -x194 x258 x442 -x714 -x59 x262 -x596 -x699 -x710 -x766 x244 x498 -x767 -x58 x271 -x499 -x771 -x49 x272 x602
6.59/6.67 v -x753 -x50 -x64 -x106 x600 -x702 -x328 x639 -x127 -x332 -x475 x638 x78 -x229 -x321 -x351 -x568 x659 x70 x99 -x123 -x163 -x225
6.59/6.67 v -x347 -x567 -x630 x660 x73 x100 -x375 -x523 -x631 x656 -x33 -x68 x104 -x117 x149 -x165 -x376 -x393 -x472 x514 -x653 x22 -x66
6.59/6.67 v -x90 x150 x170 -x207 -x286 -x372 -x517 -x565 -x743 -x10 x21 -x154 -x169 -x206 x277 -x369 -x395 -x433 -x466 x512 -x561 -x645
6.59/6.67 v -x744 -x20 -x140 -x184 -x280 -x400 -x434 x510 -x646 x740 -x12 x175 -x275 -x361 -x399 -x416 -x438 -x624 -x737 x17 x178 -x204
6.59/6.67 v -x273 -x362 x405 -x424 -x625 x16 x173 -x200 x404 -x494 -x629 -x729 x171 x403 -x452 -x615 -x730 -x45 x443 -x496 -x254 x446 x501
6.59/6.67 v -x715 -x47 x245 x441 x500 -x598 -x698 -x711 -x52 -x248 x439 x599 -x763 -x51 -x60 x243 x603 -x700 x755 -x61 x241 -x268 -x588
6.59/6.67 v x705 -x756 -x65 -x704 -x754 x77 -x126 -x228 -x324 x640 x658 x76 -x94 -x125 x322 -x521 -x637 x657 -x27 x75 x93 -x162 -x227
6.59/6.67 v -x323 -x352 -x374 -x520 x655 -x26 x74 x95 -x121 -x144 -x161 -x223 -x284 -x320 -x348 -x373 -x522 -x635 -x28 x96 -x143 -x160 -x283
6.59/6.67 v -x318 -x371 -x392 -x471 -x519 -x564 -x636 x654 -x742 -x29 x71 x91 -x122 -x145 -x166 -x182 -x224 -x285 -x319 -x391 -x428 -x470
6.59/6.67 v x518 -x652 -x741 -x9 -x25 -x72 -x92 -x146 x159 -x181 -x282 -x370 x390 -x410 -x427 -x563 x739 -x8 -x23 -x67 -x89 x141 x158
6.59/6.67 v -x183 -x281 -x368 -x396 -x409 -x429 -x467 -x515 -x559 -x619 -x650 -x7 -x24 -x87 -x142 x157 -x180 -x203 x389 -x411 -x430 -x516
6.59/6.67 v -x618 -x651 x738 -x13 -x18 -x88 -x139 x155 -x179 -x278 -x366 -x388 -x412 x425 -x450 x511 -x560 -x620 -x736 x6 -x19 -x137 -x156
6.59/6.67 v -x202 -x279 -x367 -x387 -x408 x426 -x449 -x493 -x621 x5 -x138 x176 -x198 -x252 -x274 -x385 -x406 -x423 -x451 -x492 x616
6.59/6.67 v -x734 x4 -x44 -x177 -x251 -x386 -x407 -x421 -x448 x491 x617 -x735 -x2 -x43 -x172 -x199 -x253 x401 -x422 -x447 x497 x593 -x614
6.59/6.67 v -x761 -x3 -x42 -x250 -x402 x490 x592 -x612 -x697 -x760 -x48 -x54 -x249 -x266 x444 x489 x594 -x613 -x696 -x762 x41 x53 -x265
6.59/6.67 v -x445 -x488 x595 -x695 -x759 x40 x55 -x246 -x267 -x440 -x486 x590 -x701 -x758 x38 x56 -x247 -x264 -x487 -x591 x693 x39 x57 x242
6.59/6.67 v -x263 -x589 -x694 -x757
6.59/6.67 c SCIP Status : problem is solved [optimal solution found]
6.59/6.67 c Solving Time : 6.47
6.59/6.67 c Original Problem :
6.59/6.67 c Problem name : HOME/instance-1869176-1245162357.opb
6.59/6.67 c Variables : 776 (776 binary, 0 integer, 0 implicit integer, 0 continuous)
6.59/6.67 c Constraints : 867 initial, 867 maximal
6.59/6.67 c Presolved Problem :
6.59/6.67 c Problem name : t_HOME/instance-1869176-1245162357.opb
6.59/6.67 c Variables : 775 (775 binary, 0 integer, 0 implicit integer, 0 continuous)
6.59/6.67 c Constraints : 863 initial, 863 maximal
6.59/6.67 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
6.59/6.67 c trivial : 0.00 0 0 0 0 0 0 0 0
6.59/6.67 c dualfix : 0.00 0 0 0 0 0 0 0 0
6.59/6.67 c boundshift : 0.00 0 0 0 0 0 0 0 0
6.59/6.67 c inttobinary : 0.00 0 0 0 0 0 0 0 0
6.59/6.67 c implics : 0.00 0 0 0 0 0 0 0 0
6.59/6.67 c probing : 0.02 0 0 0 0 0 0 0 0
6.59/6.67 c knapsack : 0.00 0 0 0 0 0 1 2 4
6.59/6.67 c setppc : 0.01 0 0 0 0 0 2 0 0
6.59/6.67 c linear : 0.02 1 0 0 1 0 2 0 0
6.59/6.67 c logicor : 0.01 0 0 0 0 0 1 0 0
6.59/6.67 c root node : - 0 - - 0 - - - -
6.59/6.67 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
6.59/6.67 c integral : 0 0 0 0 0 0 0 0 0 0
6.59/6.67 c knapsack : 146 6 517 0 0 0 0 0 0 0
6.59/6.67 c setppc : 17 6 517 0 0 0 0 0 0 0
6.59/6.67 c logicor : 700 6 485 0 0 0 0 0 0 0
6.59/6.67 c countsols : 0 0 0 0 0 0 0 0 0 0
6.59/6.67 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
6.59/6.67 c integral : 0.00 0.00 0.00 0.00 0.00
6.59/6.67 c knapsack : 0.00 0.00 0.00 0.00 0.00
6.59/6.67 c setppc : 0.00 0.00 0.00 0.00 0.00
6.59/6.67 c logicor : 0.00 0.00 0.00 0.00 0.00
6.59/6.67 c countsols : 0.00 0.00 0.00 0.00 0.00
6.59/6.67 c Propagators : Time Calls Cutoffs DomReds
6.59/6.67 c rootredcost : 0.00 0 0 0
6.59/6.67 c pseudoobj : 0.00 2 0 0
6.59/6.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
6.59/6.67 c propagation : 0.00 0 0 0 0.0 0 0.0 -
6.59/6.67 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
6.59/6.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
6.59/6.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
6.59/6.67 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
6.59/6.67 c applied globally : - - - 0 0.0 - - -
6.59/6.67 c applied locally : - - - 0 0.0 - - -
6.59/6.67 c Separators : Time Calls Cutoffs DomReds Cuts Conss
6.59/6.67 c cut pool : 0.00 5 - - 96 - (maximal pool size: 660)
6.59/6.67 c redcost : 0.00 6 0 0 0 0
6.59/6.67 c impliedbounds : 0.00 6 0 0 0 0
6.59/6.67 c intobj : 0.00 0 0 0 0 0
6.59/6.67 c gomory : 1.19 6 0 0 424 0
6.59/6.67 c strongcg : 1.26 6 0 0 1857 0
6.59/6.67 c cmir : 0.07 6 0 0 0 0
6.59/6.67 c flowcover : 0.08 6 0 0 0 0
6.59/6.67 c clique : 0.00 6 0 0 1 0
6.59/6.67 c zerohalf : 0.00 0 0 0 0 0
6.59/6.67 c mcf : 0.00 1 0 0 0 0
6.59/6.67 c Pricers : Time Calls Vars
6.59/6.67 c problem variables: 0.00 0 0
6.59/6.67 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
6.59/6.67 c pscost : 0.00 0 0 0 0 0 0
6.59/6.67 c inference : 0.00 0 0 0 0 0 0
6.59/6.67 c mostinf : 0.00 0 0 0 0 0 0
6.59/6.67 c leastinf : 0.00 0 0 0 0 0 0
6.59/6.67 c fullstrong : 0.00 0 0 0 0 0 0
6.59/6.67 c allfullstrong : 0.00 0 0 0 0 0 0
6.59/6.67 c random : 0.00 0 0 0 0 0 0
6.59/6.67 c relpscost : 0.00 0 0 0 0 0 0
6.59/6.67 c Primal Heuristics : Time Calls Found
6.59/6.67 c LP solutions : 0.00 - 0
6.59/6.67 c pseudo solutions : 0.00 - 0
6.59/6.67 c simplerounding : 0.00 0 0
6.59/6.67 c rounding : 0.05 7 1
6.59/6.67 c shifting : 0.04 7 3
6.59/6.67 c intshifting : 0.00 0 0
6.59/6.67 c oneopt : 0.00 1 1
6.59/6.67 c fixandinfer : 0.00 0 0
6.59/6.67 c feaspump : 0.00 0 0
6.59/6.67 c coefdiving : 0.00 0 0
6.59/6.67 c pscostdiving : 0.00 0 0
6.59/6.67 c fracdiving : 0.00 0 0
6.59/6.67 c veclendiving : 0.00 0 0
6.59/6.67 c intdiving : 0.00 0 0
6.59/6.67 c actconsdiving : 0.00 0 0
6.59/6.67 c objpscostdiving : 0.00 0 0
6.59/6.67 c rootsoldiving : 0.00 0 0
6.59/6.67 c linesearchdiving : 0.00 0 0
6.59/6.67 c guideddiving : 0.00 0 0
6.59/6.67 c octane : 0.00 0 0
6.59/6.67 c rens : 3.32 1 1
6.59/6.67 c rins : 0.00 0 0
6.59/6.67 c localbranching : 0.00 0 0
6.59/6.67 c mutation : 0.00 0 0
6.59/6.67 c crossover : 0.00 0 0
6.59/6.67 c dins : 0.00 0 0
6.59/6.67 c LP : Time Calls Iterations Iter/call Iter/sec
6.59/6.67 c primal LP : 0.00 0 0 0.00 -
6.59/6.67 c dual LP : 0.36 7 1675 239.29 4652.78
6.59/6.67 c barrier LP : 0.00 0 0 0.00 -
6.59/6.67 c diving/probing LP: 0.00 0 0 0.00 -
6.59/6.67 c strong branching : 0.00 0 0 0.00 -
6.59/6.67 c (at root node) : - 0 0 0.00 -
6.59/6.67 c conflict analysis: 0.00 0 0 0.00 -
6.59/6.67 c B&B Tree :
6.59/6.67 c number of runs : 1
6.59/6.67 c nodes : 1
6.59/6.67 c nodes (total) : 1
6.59/6.67 c nodes left : 0
6.59/6.67 c max depth : 0
6.59/6.67 c max depth (total): 0
6.59/6.67 c backtracks : 0 (0.0%)
6.59/6.67 c delayed cutoffs : 0
6.59/6.67 c repropagations : 0 (0 domain reductions, 0 cutoffs)
6.59/6.67 c avg switch length: 2.00
6.59/6.67 c switching time : 0.00
6.59/6.67 c Solution :
6.59/6.67 c Solutions found : 6 (5 improvements)
6.59/6.67 c Primal Bound : +0.00000000000000e+00 (in run 1, after 1 nodes, 6.46 seconds, depth 0, found by <rens>)
6.59/6.67 c Dual Bound : +0.00000000000000e+00
6.59/6.67 c Gap : 0.00 %
6.59/6.67 c Root Dual Bound : +0.00000000000000e+00
6.59/6.69 c Time complete: 6.68.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869176-1245162357/watcher-1869176-1245162357 -o /tmp/evaluation-result-1869176-1245162357/solver-1869176-1245162357 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869176-1245162357.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: 0.99 0.98 0.99 3/64 2733
/proc/meminfo: memFree=1919344/2055920 swapFree=4181652/4192956
[pid=2733] ppid=2731 vsize=4648 CPUtime=0
/proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2588 0 -1 4194304 493 0 0 0 0 0 0 0 18 0 1 0 183835868 4759552 477 1992294400 4194304 7823515 548682068736 18446744073709551615 5898624 0 0 4096 0 0 0 0 17 1 0 0
/proc/2733/statm: 1162 485 319 886 0 272 0
[startup+0.0759909 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 2733
/proc/meminfo: memFree=1919344/2055920 swapFree=4181652/4192956
[pid=2733] ppid=2731 vsize=15612 CPUtime=0.06
/proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2588 0 -1 4194304 3344 0 0 0 5 1 0 0 18 0 1 0 183835868 15986688 2972 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2733/statm: 3903 2972 444 886 0 3013 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15612
[startup+0.101994 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 2733
/proc/meminfo: memFree=1919344/2055920 swapFree=4181652/4192956
[pid=2733] ppid=2731 vsize=15612 CPUtime=0.09
/proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2588 0 -1 4194304 3361 0 0 0 8 1 0 0 18 0 1 0 183835868 15986688 2989 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2733/statm: 3903 2989 457 886 0 3013 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15612
[startup+0.302013 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 2733
/proc/meminfo: memFree=1919344/2055920 swapFree=4181652/4192956
[pid=2733] ppid=2731 vsize=17864 CPUtime=0.29
/proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2588 0 -1 4194304 4016 0 0 0 27 2 0 0 19 0 1 0 183835868 18292736 3633 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2733/statm: 4466 3633 528 886 0 3576 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17864
[startup+0.701051 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 2733
/proc/meminfo: memFree=1919344/2055920 swapFree=4181652/4192956
[pid=2733] ppid=2731 vsize=27268 CPUtime=0.69
/proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2588 0 -1 4194304 6392 0 0 0 66 3 0 0 22 0 1 0 183835868 27922432 6009 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2733/statm: 6817 6009 566 886 0 5927 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27268
[startup+1.50113 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2734
/proc/meminfo: memFree=1891112/2055920 swapFree=4181652/4192956
[pid=2733] ppid=2731 vsize=37128 CPUtime=1.49
/proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2588 0 -1 4194304 8843 0 0 0 144 5 0 0 25 0 1 0 183835868 38019072 8454 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2733/statm: 9282 8454 566 886 0 8392 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37128
[startup+3.10128 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2734
/proc/meminfo: memFree=1883624/2055920 swapFree=4181652/4192956
[pid=2733] ppid=2731 vsize=42664 CPUtime=3.09
/proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2588 0 -1 4194304 10091 0 0 0 303 6 0 0 25 0 1 0 183835868 43687936 9666 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2733/statm: 10666 9666 566 886 0 9776 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42664
[startup+6.30259 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2734
/proc/meminfo: memFree=1871080/2055920 swapFree=4181652/4192956
[pid=2733] ppid=2731 vsize=54704 CPUtime=6.29
/proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2588 0 -1 4194304 12974 0 0 0 613 16 0 0 25 0 1 0 183835868 56016896 12536 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2733/statm: 13676 12536 573 886 0 12786 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54704
Solver just ended. Dumping a history of the last processes samples
[startup+6.50262 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2734
/proc/meminfo: memFree=1871080/2055920 swapFree=4181652/4192956
[pid=2733] ppid=2731 vsize=54704 CPUtime=6.49
/proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2588 0 -1 4194304 12974 0 0 0 632 17 0 0 25 0 1 0 183835868 56016896 12536 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2733/statm: 13676 12536 573 886 0 12786 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 54704
[startup+6.60562 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2734
/proc/meminfo: memFree=1871080/2055920 swapFree=4181652/4192956
[pid=2733] ppid=2731 vsize=54704 CPUtime=6.59
/proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2588 0 -1 4194304 12974 0 0 0 642 17 0 0 25 0 1 0 183835868 56016896 12536 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2733/statm: 13676 12536 573 886 0 12786 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 54704
Child status: 0
Real time (s): 6.6955
CPU time (s): 6.69298
CPU user time (s): 6.50301
CPU system time (s): 0.189971
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (KiB): 54704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.50301
system time used= 0.189971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12983
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 7
runsolver used 0.014997 second user time and 0.017997 second system time
The end