0.00/0.04 c SCIP version 1.1.0.7
0.00/0.04 c LP-Solver Clp 1.8.2
0.00/0.04 c user parameter file <scip.set> not found - using default parameters
0.00/0.04 c read problem <HOME/instance-1869193-1245162963.opb>
0.00/0.04 c original problem has 934 variables (934 bin, 0 int, 0 impl, 0 cont) and 1063 constraints
0.00/0.04 c start presolving problem
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4212 impls, 1 clqs
0.05/0.08 c (round 2) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 1043 upgd conss, 4212 impls, 1 clqs
0.05/0.09 c (round 3) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 1062 upgd conss, 4212 impls, 1 clqs
0.09/0.11 c (0.1s) probing: 143/933 (15.3%) - 0 fixings, 0 aggregations, 78 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11 c presolving (4 rounds):
0.09/0.11 c 1 deleted vars, 1 deleted constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 4416 implications, 1 cliques
0.09/0.11 c presolved problem has 933 variables (933 bin, 0 int, 0 impl, 0 cont) and 1062 constraints
0.09/0.11 c 182 constraints of type <knapsack>
0.09/0.11 c 1 constraints of type <setppc>
0.09/0.11 c 879 constraints of type <logicor>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.06
0.09/0.11 c OPT-LIN
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = c 1620
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = c 1791
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = c 10000
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving problem
0.09/0.11 c
0.28/0.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.28/0.31 c 0.3s| 1 | 0 | 1002 |4298k| 0 | 378 | 933 |1062 |1062 | 933 |1062 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
0.28/0.32 o 441
0.28/0.32 c R 0.3s| 1 | 0 | 1002 |4321k| 0 | 378 | 933 |1062 |1062 | 933 |1062 | 0 | 0 | 0 | 1.000000e+00 | 4.410000e+02 | Large
0.28/0.33 o 439
0.28/0.33 c s 0.3s| 1 | 0 | 1002 |4344k| 0 | 378 | 933 |1062 |1062 | 933 |1062 | 0 | 0 | 0 | 1.000000e+00 | 4.390000e+02 | Large
0.89/0.98 c 0.9s| 1 | 0 | 1101 |8327k| 0 | 396 | 933 |1062 |1062 | 933 |1063 | 1 | 0 | 0 | 1.000000e+00 | 4.390000e+02 | Large
1.59/1.69 c 1.6s| 1 | 0 | 1176 | 12M| 0 | 396 | 933 |1062 |1062 | 933 |1064 | 2 | 0 | 0 | 1.000000e+00 | 4.390000e+02 | Large
2.38/2.42 c 2.3s| 1 | 0 | 1244 | 16M| 0 | 400 | 933 |1062 |1062 | 933 |1066 | 4 | 0 | 0 | 1.000000e+00 | 4.390000e+02 | Large
3.08/3.17 c 3.1s| 1 | 0 | 1287 | 20M| 0 | 393 | 933 |1062 |1062 | 933 |1067 | 5 | 0 | 0 | 1.000000e+00 | 4.390000e+02 | Large
3.89/3.96 c 3.9s| 1 | 0 | 1399 | 24M| 0 | 390 | 933 |1062 |1062 | 933 |1068 | 6 | 0 | 0 | 1.000000e+00 | 4.390000e+02 | Large
4.58/4.65 c 4.5s| 1 | 0 | 1468 | 28M| 0 | 394 | 933 |1062 |1062 | 933 |1069 | 7 | 0 | 0 | 1.000000e+00 | 4.390000e+02 | Large
4.58/4.67 o 129
4.58/4.67 c k 4.6s| 1 | 0 | 1468 | 28M| 0 | 394 | 933 |1062 |1062 | 933 |1069 | 7 | 0 | 0 | 1.000000e+00 | 1.290000e+02 | Large
5.17/5.24 o 1
5.17/5.24 c E 5.1s| 1 | 0 | 1468 | 28M| 0 | - | 933 |1062 |1062 | 933 |1069 | 7 | 0 | 0 | 1.000000e+00 | 1.000000e+00 | 0.00%
5.17/5.25 c 5.1s| 1 | 0 | 1468 | 28M| 0 | - | 933 |1062 |1062 | 933 |1069 | 7 | 0 | 0 | 1.000000e+00 | 1.000000e+00 | 0.00%
5.17/5.25 c
5.17/5.25 c SCIP Status : problem is solved [optimal solution found]
5.17/5.25 c Solving Time (sec) : 5.13
5.17/5.25 c Solving Nodes : 1
5.17/5.25 c Primal Bound : +1.00000000000000e+00 (4 solutions)
5.17/5.25 c Dual Bound : +1.00000000000000e+00
5.17/5.25 c Gap : 0.00 %
5.17/5.25 c NODE 1
5.17/5.25 c DUAL BOUND 1
5.17/5.25 c PRIMAL BOUND 1
5.17/5.25 c GAP 0
5.17/5.25 s OPTIMUM FOUND
5.17/5.25 v x1 x571 -x360 x934 x572 x419 x370 x407 -x845 x926 x369 -x411 x404 -x844 x363 x405 -x722 x364 -x761 -x760 x848 -x929 -x235 -x699
5.17/5.25 v -x762 x849 -x930 x686 -x746 x186 x459 -x675 x685 x458 -x684 x185 x435 x460 -x238 -x314 x444 -x239 x189 -x678 x190 x439 -x679
5.17/5.25 v -x718 -x416 -x359 x418 -x560 -x717 x933 -x378 -x559 x361 x374 -x415 x925 x366 -x723 x365 -x367 -x410 -x721 x846 x927 -x368 x847
5.17/5.25 v x932 x310 x406 x850 -x931 x697 -x759 x830 -x234 x309 x698 -x747 x694 -x751 -x236 -x501 -x674 x690 -x745 -x241 -x315 x457
5.17/5.25 v -x743 -x824 x187 -x240 -x313 x434 x445 -x676 -x682 x188 -x449 -x681 -x683 x191 x436 x443 -x680 x170 x440 x441 -x504 x438 -x481
5.17/5.25 v -x505 x570 -x417 x569 -x889 x568 x564 x719 -x377 x720 x362 x373 -x414 -x557 -x724 x346 -x558 x703 -x893 -x345 -x408 -x651 -x820
5.17/5.25 v x928 -x344 -x696 -x756 x843 x912 -x695 -x758 -x819 x831 x911 x835 -x910 x311 -x755 -x829 x312 -x339 x454 -x654 x693 -x825
5.17/5.25 v -x827 -x237 -x316 x456 -x477 -x500 -x550 -x655 x689 -x750 -x823 -x221 x295 -x220 -x453 -x476 -x502 -x677 -x744 x184 -x219 x507
5.17/5.25 v -x661 x172 x437 -x448 x506 -x660 x176 x420 -x482 -x553 -x658 -x117 x171 x421 x442 -x480 -x554 -x736 x888 x899 -x99 x567 x898
5.17/5.25 v -x100 x563 -x357 -x375 -x716 x894 -x335 -x358 -x371 -x412 x704 -x892 -x354 -x708 -x840 x923 -x334 -x350 -x409 -x650 x702
5.17/5.25 v -x757 x842 x924 -x610 x700 x920 -x342 -x652 -x821 x839 x916 -x142 -x340 -x343 x657 -x822 -x338 x455 -x656 -x754 -x826 -x834 -x908
5.17/5.25 v -x232 x308 x691 x805 -x909 -x233 x296 -x549 -x687 -x748 -x828 x181 -x229 -x264 x300 -x672 x183 -x225 x294 -x452 -x478 -x503
5.17/5.25 v -x551 -x673 -x292 x432 -x479 x487 -x556 -x669 x180 -x217 x433 -x446 -x483 -x486 -x555 -x665 -x218 -x289 x429 -x461 -x484
5.17/5.25 v x116 x175 x425 -x659 -x799 -x869 x102 x907 -x101 -x606 -x735 x890 x903 -x356 x565 -x713 x891 -x138 -x355 -x561 -x605 -x715 x895
5.17/5.25 v x896 -x376 -x739 -x875 -x897 x922 -x137 -x372 -x413 x712 -x740 -x841 x921 -x353 x611 -x260 -x336 -x349 x609 -x707 x143 -x337
5.17/5.25 v -x919 -x141 -x259 -x341 -x653 -x701 x838 x915 -x231 x305 -x320 -x530 x637 -x818 -x230 -x285 x307 -x397 -x636 -x752 x806 -x832
5.17/5.26 v -x167 x265 -x635 -x671 -x692 x810 x182 -x263 -x284 x304 -x670 -x688 -x749 -x795 x804 -x228 -x431 -x498 x802 x113 -x224 x299
5.17/5.26 v -x430 -x450 -x499 -x552 -x794 -x865 -x290 -x400 -x475 -x495 x536 -x668 x112 -x179 -x288 -x293 -x401 -x447 x463 x491 -x535
5.17/5.26 v -x664 -x214 -x428 -x467 -x533 -x800 x118 x173 x424 -x462 -x485 -x798 -x868 -x906 x98 -x581 -x714 x737 -x902 x97 -x566 -x742 x887
5.17/5.26 v -x526 -x562 -x607 -x741 x876 -x608 -x880 -x139 -x163 x525 x612 x711 -x874 -x140 -x351 -x585 x591 -x872 x144 -x162 -x347 -x705
5.17/5.26 v -x123 -x333 -x531 x648 -x815 -x917 -x88 x261 x306 -x321 -x529 x649 -x817 -x836 -x913 -x168 x262 -x325 x645 -x166 -x210 x266
5.17/5.26 v -x319 -x396 x641 -x753 -x814 -x833 -x245 -x317 -x497 -x32 -x209 -x286 x303 -x398 -x496 -x633 x809 -x91 -x226 -x287 x403 -x472
5.17/5.26 v -x547 -x634 -x92 -x222 -x291 x297 x402 -x451 -x474 -x548 -x796 x803 -x864 -x215 -x270 -x494 x544 -x666 x797 x114 -x177 -x213
5.17/5.26 v -x471 x490 x540 -x662 -x801 -x866 -x35 x115 -x426 -x779 -x871 -x36 x119 -x174 x422 -x466 -x534 -x870 x886 -x904 -x580 x738
5.17/5.26 v x885 -x900 x95 -x728 -x884 x96 -x586 -x604 -x727 x527 -x584 x592 -x626 x709 -x879 -x136 -x330 -x352 x528 x596 x647 x124 -x164
5.17/5.26 v -x332 -x348 -x532 x590 x646 -x706 -x816 -x873 -x128 -x165 x511 x588 -x918 -x87 -x122 -x169 -x329 -x837 -x914 -x120 -x148
5.17/5.26 v -x258 -x629 x644 x89 x246 -x324 -x630 -x640 -x813 x94 -x250 -x546 -x31 x93 -x211 -x244 x301 -x318 -x399 -x473 -x545 -x807 x212
5.17/5.26 v -x227 -x242 -x283 x383 -x33 -x216 -x223 -x271 -x298 x382 -x38 -x195 -x275 x381 -x492 x543 -x667 x793 -x37 -x178 -x269 -x470
5.17/5.26 v x488 x539 -x663 x781 -x867 -x111 -x267 -x427 x785 x851 x107 x423 -x464 -x780 -x852 x734 -x905 x582 x733 -x901 x583 -x601 -x587
5.17/5.26 v -x603 x732 -x883 -x133 -x576 -x48 -x135 -x331 x600 -x625 x710 -x725 -x877 x524 -x726 -x132 x512 -x595 x627 -x772 x161 -x255
5.17/5.26 v -x516 x632 -x64 -x127 x149 -x257 -x328 x510 -x589 -x631 x51 x153 -x508 -x642 x52 x90 -x121 -x147 x254 -x322 -x638 -x811 x75
5.17/5.26 v -x145 -x280 x394 -x775 -x10 -x74 -x249 -x282 x302 x395 -x776 -x808 -x67 -x73 -x208 x391 x790 -x34 -x68 x196 -x243 -x279 x387
5.17/5.26 v x792 x20 -x108 x200 -x493 -x541 -x862 -x19 -x110 -x194 -x274 -x379 -x468 x489 -x537 x789 x863 -x13 -x17 -x192 -x380 x859 -x14
5.17/5.26 v x106 -x268 -x465 x784 x855 -x602 -x134 x731 -x881 x521 x579 x47 x523 -x575 -x599 -x878 -x158 -x573 x49 -x131 -x160 -x256 x520
5.17/5.26 v -x593 x628 -x771 x54 x617 x53 -x63 -x125 x157 -x326 -x515 -x616 -x773 -x85 -x393 -x615 -x643 -x778 -x65 x86 x152 x253 -x281
5.17/5.26 v -x323 -x392 -x509 -x639 -x777 -x812 x70 -x82 -x205 -x9 x69 -x79 -x146 -x207 -x247 x791 -x29 -x390 -x861 x11 x30 -x71 -x109
5.17/5.26 v -x204 -x278 -x386 -x860 -x16 -x26 -x72 -x542 -x15 x23 x199 -x272 -x469 -x538 -x788 x858 -x18 x105 -x193 -x782 x853 x522 x729
5.17/5.26 v -x882 -x46 x518 -x598 -x622 -x45 -x159 x577 -x597 -x621 x730 -x44 -x130 x155 x517 x578 -x623 -x770 x50 -x129 x519 -x574 -x594
5.17/5.26 v -x624 -x769 x43 -x62 -x84 x154 -x620 x768 x42 -x61 -x83 -x126 x156 -x327 -x513 -x618 x774 x41 x60 -x81 -x252 -x619 x767 -x39
5.17/5.26 v x66 -x150 -x206 x251 -x514 -x613 x766 x8 -x28 -x40 x59 -x80 -x202 -x389 -x614 x765 x7 -x27 x58 -x78 -x151 -x248 x763 x6 -x25
5.17/5.26 v x57 -x201 -x277 -x388 x764 x12 x55 -x76 -x203 -x276 -x384 x5 -x24 x56 -x77 -x787 x857 x4 x21 -x197 -x273 -x385 -x786 x2 -x104
5.17/5.26 v x856 x3 x22 -x103 -x198 -x783 x854
5.17/5.26 c SCIP Status : problem is solved [optimal solution found]
5.17/5.26 c Solving Time : 5.13
5.17/5.26 c Original Problem :
5.17/5.26 c Problem name : HOME/instance-1869193-1245162963.opb
5.17/5.26 c Variables : 934 (934 binary, 0 integer, 0 implicit integer, 0 continuous)
5.17/5.26 c Constraints : 1063 initial, 1063 maximal
5.17/5.26 c Presolved Problem :
5.17/5.26 c Problem name : t_HOME/instance-1869193-1245162963.opb
5.17/5.26 c Variables : 933 (933 binary, 0 integer, 0 implicit integer, 0 continuous)
5.17/5.26 c Constraints : 1062 initial, 1062 maximal
5.17/5.26 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
5.17/5.26 c trivial : 0.00 0 0 0 0 0 0 0 0
5.17/5.26 c dualfix : 0.00 0 0 0 0 0 0 0 0
5.17/5.26 c boundshift : 0.00 0 0 0 0 0 0 0 0
5.17/5.26 c inttobinary : 0.00 0 0 0 0 0 0 0 0
5.17/5.26 c implics : 0.00 0 0 0 0 0 0 0 0
5.17/5.26 c probing : 0.01 0 0 0 0 0 0 0 0
5.17/5.26 c knapsack : 0.00 0 0 0 0 0 0 0 0
5.17/5.26 c setppc : 0.00 0 0 0 0 0 0 0 0
5.17/5.26 c linear : 0.03 1 0 0 1 0 1 0 0
5.17/5.26 c logicor : 0.02 0 0 0 0 0 0 0 0
5.17/5.26 c root node : - 0 - - 0 - - - -
5.17/5.26 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
5.17/5.26 c integral : 0 0 0 0 0 0 0 0 0 0
5.17/5.26 c knapsack : 182 6 312 0 0 0 0 0 0 0
5.17/5.26 c setppc : 1 6 285 0 0 0 0 0 0 0
5.17/5.26 c logicor : 879 6 308 0 0 0 0 0 0 0
5.17/5.26 c countsols : 0 0 0 0 0 0 0 0 0 0
5.17/5.26 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
5.17/5.26 c integral : 0.00 0.00 0.00 0.00 0.00
5.17/5.26 c knapsack : 0.01 0.01 0.00 0.00 0.00
5.17/5.26 c setppc : 0.00 0.00 0.00 0.00 0.00
5.17/5.26 c logicor : 0.00 0.00 0.00 0.00 0.00
5.17/5.26 c countsols : 0.00 0.00 0.00 0.00 0.00
5.17/5.26 c Propagators : Time Calls Cutoffs DomReds
5.17/5.26 c rootredcost : 0.00 0 0 0
5.17/5.26 c pseudoobj : 0.00 2 0 0
5.17/5.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
5.17/5.26 c propagation : 0.00 0 0 0 0.0 0 0.0 -
5.17/5.26 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
5.17/5.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
5.17/5.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
5.17/5.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
5.17/5.26 c applied globally : - - - 0 0.0 - - -
5.17/5.26 c applied locally : - - - 0 0.0 - - -
5.17/5.26 c Separators : Time Calls Cutoffs DomReds Cuts Conss
5.17/5.26 c cut pool : 0.02 5 - - 14 - (maximal pool size: 1217)
5.17/5.26 c redcost : 0.00 6 0 0 0 0
5.17/5.26 c impliedbounds : 0.00 6 0 0 0 0
5.17/5.26 c intobj : 0.00 0 0 0 0 0
5.17/5.26 c gomory : 1.72 6 0 0 3 0
5.17/5.26 c strongcg : 2.04 6 0 0 2996 0
5.17/5.26 c cmir : 0.07 6 0 0 0 0
5.17/5.26 c flowcover : 0.10 6 0 0 0 0
5.17/5.26 c clique : 0.00 6 0 0 0 0
5.17/5.26 c zerohalf : 0.00 0 0 0 0 0
5.17/5.26 c mcf : 0.00 1 0 0 0 0
5.17/5.26 c Pricers : Time Calls Vars
5.17/5.26 c problem variables: 0.00 0 0
5.17/5.26 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
5.17/5.26 c pscost : 0.00 0 0 0 0 0 0
5.17/5.26 c inference : 0.00 0 0 0 0 0 0
5.17/5.26 c mostinf : 0.00 0 0 0 0 0 0
5.17/5.26 c leastinf : 0.00 0 0 0 0 0 0
5.17/5.26 c fullstrong : 0.00 0 0 0 0 0 0
5.17/5.26 c allfullstrong : 0.00 0 0 0 0 0 0
5.17/5.26 c random : 0.00 0 0 0 0 0 0
5.17/5.26 c relpscost : 0.00 0 0 0 0 0 0
5.17/5.26 c Primal Heuristics : Time Calls Found
5.17/5.26 c LP solutions : 0.00 - 0
5.17/5.26 c pseudo solutions : 0.00 - 0
5.17/5.26 c simplerounding : 0.00 0 0
5.17/5.26 c rounding : 0.05 7 1
5.17/5.26 c shifting : 0.05 7 1
5.17/5.26 c intshifting : 0.00 0 0
5.17/5.26 c oneopt : 0.00 1 1
5.17/5.26 c fixandinfer : 0.00 0 0
5.17/5.26 c feaspump : 0.00 0 0
5.17/5.26 c coefdiving : 0.00 0 0
5.17/5.26 c pscostdiving : 0.00 0 0
5.17/5.26 c fracdiving : 0.00 0 0
5.17/5.26 c veclendiving : 0.00 0 0
5.17/5.26 c intdiving : 0.00 0 0
5.17/5.26 c actconsdiving : 0.00 0 0
5.17/5.26 c objpscostdiving : 0.00 0 0
5.17/5.26 c rootsoldiving : 0.00 0 0
5.17/5.26 c linesearchdiving : 0.00 0 0
5.17/5.26 c guideddiving : 0.00 0 0
5.17/5.26 c octane : 0.00 0 0
5.17/5.26 c rens : 0.57 1 1
5.17/5.26 c rins : 0.00 0 0
5.17/5.26 c localbranching : 0.00 0 0
5.17/5.26 c mutation : 0.00 0 0
5.17/5.26 c crossover : 0.00 0 0
5.17/5.26 c dins : 0.00 0 0
5.17/5.26 c LP : Time Calls Iterations Iter/call Iter/sec
5.17/5.26 c primal LP : 0.00 0 0 0.00 -
5.17/5.26 c dual LP : 0.39 7 1468 209.71 3764.10
5.17/5.26 c barrier LP : 0.00 0 0 0.00 -
5.17/5.26 c diving/probing LP: 0.00 0 0 0.00 -
5.17/5.26 c strong branching : 0.00 0 0 0.00 -
5.17/5.26 c (at root node) : - 0 0 0.00 -
5.17/5.26 c conflict analysis: 0.00 0 0 0.00 -
5.17/5.26 c B&B Tree :
5.17/5.26 c number of runs : 1
5.17/5.26 c nodes : 1
5.17/5.26 c nodes (total) : 1
5.17/5.26 c nodes left : 0
5.17/5.26 c max depth : 0
5.17/5.26 c max depth (total): 0
5.17/5.26 c backtracks : 0 (0.0%)
5.17/5.26 c delayed cutoffs : 0
5.17/5.26 c repropagations : 0 (0 domain reductions, 0 cutoffs)
5.17/5.26 c avg switch length: 2.00
5.17/5.26 c switching time : 0.00
5.17/5.26 c Solution :
5.17/5.26 c Solutions found : 4 (4 improvements)
5.17/5.26 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1 nodes, 5.12 seconds, depth 0, found by <rens>)
5.17/5.26 c Dual Bound : +1.00000000000000e+00
5.17/5.26 c Gap : 0.00 %
5.17/5.26 c Root Dual Bound : +1.00000000000000e+00
5.26/5.30 c Time complete: 5.26.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869193-1245162963/watcher-1869193-1245162963 -o /tmp/evaluation-result-1869193-1245162963/solver-1869193-1245162963 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869193-1245162963.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: 2.30 2.18 2.10 3/73 10132
/proc/meminfo: memFree=1830576/2055920 swapFree=4180892/4192956
[pid=10132] ppid=10130 vsize=9676 CPUtime=0
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9510 0 -1 4194304 1325 0 0 0 0 0 0 0 18 0 1 0 183894264 9908224 1309 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/10132/statm: 2419 1316 362 1256 0 1158 0
[startup+0.070869 s]
/proc/loadavg: 2.30 2.18 2.10 3/73 10132
/proc/meminfo: memFree=1830576/2055920 swapFree=4180892/4192956
[pid=10132] ppid=10130 vsize=17648 CPUtime=0.05
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9510 0 -1 4194304 3385 0 0 0 4 1 0 0 18 0 1 0 183894264 18071552 3016 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 4412 3184 480 1256 0 3151 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17648
[startup+0.105997 s]
/proc/loadavg: 2.30 2.18 2.10 3/73 10132
/proc/meminfo: memFree=1830576/2055920 swapFree=4180892/4192956
[pid=10132] ppid=10130 vsize=17648 CPUtime=0.09
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9510 0 -1 4194304 3618 0 0 0 7 2 0 0 18 0 1 0 183894264 18071552 3248 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 4412 3248 498 1256 0 3151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17648
[startup+0.301347 s]
/proc/loadavg: 2.30 2.18 2.10 3/73 10132
/proc/meminfo: memFree=1830576/2055920 swapFree=4180892/4192956
[pid=10132] ppid=10130 vsize=21928 CPUtime=0.28
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9510 0 -1 4194304 4557 0 0 0 26 2 0 0 19 0 1 0 183894264 22454272 4187 1992294400 4194304 9342243 548682068736 18446744073709551615 6879954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 5482 4187 625 1256 0 4221 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 21928
[startup+0.70828 s]
/proc/loadavg: 2.30 2.18 2.10 3/73 10132
/proc/meminfo: memFree=1830576/2055920 swapFree=4180892/4192956
[pid=10132] ppid=10130 vsize=26280 CPUtime=0.69
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9510 0 -1 4194304 5703 0 0 0 66 3 0 0 23 0 1 0 183894264 26910720 5333 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 6570 5335 647 1256 0 5309 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26280
[startup+1.50147 s]
/proc/loadavg: 2.35 2.19 2.10 3/74 10133
/proc/meminfo: memFree=1804584/2055920 swapFree=4180892/4192956
[pid=10132] ppid=10130 vsize=34128 CPUtime=1.49
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9510 0 -1 4194304 7560 0 0 0 145 4 0 0 25 0 1 0 183894264 34947072 7190 1992294400 4194304 9342243 548682068736 18446744073709551615 4298277 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 8532 7190 667 1256 0 7271 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34128
[startup+3.10266 s]
/proc/loadavg: 2.35 2.19 2.10 3/74 10133
/proc/meminfo: memFree=1800168/2055920 swapFree=4180892/4192956
[pid=10132] ppid=10130 vsize=47500 CPUtime=3.08
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9510 0 -1 4194304 10975 0 0 0 303 5 0 0 25 0 1 0 183894264 48640000 10602 1992294400 4194304 9342243 548682068736 18446744073709551615 4298268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 11875 10602 667 1256 0 10614 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 47500
Solver just ended. Dumping a history of the last processes samples
[startup+4.70289 s]
/proc/loadavg: 2.35 2.19 2.10 3/74 10133
/proc/meminfo: memFree=1785064/2055920 swapFree=4180892/4192956
[pid=10132] ppid=10130 vsize=67472 CPUtime=4.68
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9510 0 -1 4194304 15696 0 0 0 460 8 0 0 25 0 1 0 183894264 69091328 15319 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 16868 15319 672 1256 0 15607 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 67472
[startup+5.11988 s]
/proc/loadavg: 2.35 2.19 2.10 3/74 10133
/proc/meminfo: memFree=1785064/2055920 swapFree=4180892/4192956
[pid=10132] ppid=10130 vsize=71000 CPUtime=5.09
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9510 0 -1 4194304 16391 0 0 0 501 8 0 0 25 0 1 0 183894264 72704000 16013 1992294400 4194304 9342243 548682068736 18446744073709551615 6037747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 17750 16013 692 1256 0 16489 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 71000
[startup+5.30191 s]
/proc/loadavg: 2.35 2.19 2.10 3/74 10133
/proc/meminfo: memFree=1785064/2055920 swapFree=4180892/4192956
[pid=10132] ppid=10130 vsize=19452 CPUtime=5.26
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9510 0 -1 4194304 16398 0 0 0 516 10 0 0 25 0 1 0 183894264 19918848 3914 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/10132/statm: 4863 3914 1711 1256 0 3602 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 19452
Child status: 0
Real time (s): 5.30529
CPU time (s): 5.2702
CPU user time (s): 5.16521
CPU system time (s): 0.104984
CPU usage (%): 99.3386
Max. virtual memory (cumulated for all children) (KiB): 71000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.16521
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16401
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= 278
runsolver used 0.012998 second user time and 0.034994 second system time
The end