0.09/0.16 c SCIP version 1.1.0.7
0.09/0.16 c LP-Solver Clp 1.8.2
0.09/0.16 c user parameter file <scip.set> not found - using default parameters
0.09/0.16 c read problem <HOME/instance-1869087-1245157636.opb>
0.09/0.16 c original problem has 918 variables (918 bin, 0 int, 0 impl, 0 cont) and 9671 constraints
0.09/0.19 c start presolving problem
0.09/0.19 c presolving:
0.29/0.35 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 9404 upgd conss, 70038 impls, 0 clqs
0.29/0.38 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 9671 upgd conss, 70038 impls, 0 clqs
0.39/0.50 c (0.3s) probing: 101/918 (11.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.50 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.50 c presolving (3 rounds):
0.39/0.50 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.50 c 70038 implications, 0 cliques
0.39/0.50 c presolved problem has 918 variables (918 bin, 0 int, 0 impl, 0 cont) and 9671 constraints
0.49/0.50 c 9671 constraints of type <logicor>
0.49/0.50 c transformed objective value is always integral (scale: 1)
0.49/0.50 c Presolving Time: 0.27
0.49/0.50 c strange?!, PURESAT with obj
0.49/0.50 c -----------------------------------------------------------------------------------------------
0.49/0.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/memory = c 1620
0.49/0.50 c # maximal time in seconds to run
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/time = c 1791
0.49/0.50 c # frequency for displaying node information lines
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.50 c display/freq = c 10000
0.49/0.50 c -----------------------------------------------------------------------------------------------
0.49/0.50 c start solving problem
0.49/0.50 c
0.89/0.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.96 c 0.7s| 1 | 0 | 1247 | 15M| 0 | 829 | 918 |9671 |9671 | 918 |9671 | 0 | 0 | 0 | 2.893438e+02 | -- | Inf
7.89/7.94 c 7.6s| 1 | 0 | 6892 | 15M| 0 | 823 | 918 |9671 |9671 | 918 |9674 | 3 | 0 | 0 | 2.899634e+02 | -- | Inf
9.29/9.32 c 9.0s| 1 | 0 | 7668 | 16M| 0 | 806 | 918 |9671 |9671 | 918 |9677 | 6 | 0 | 0 | 2.910228e+02 | -- | Inf
10.48/10.53 c 10.2s| 1 | 0 | 8138 | 18M| 0 | 808 | 918 |9671 |9671 | 918 |9680 | 9 | 0 | 0 | 2.915365e+02 | -- | Inf
11.99/12.02 c 11.7s| 1 | 0 | 8845 | 19M| 0 | 812 | 918 |9671 |9671 | 918 |9683 | 12 | 0 | 0 | 2.919966e+02 | -- | Inf
12.98/13.09 c 12.8s| 1 | 0 | 9023 | 19M| 0 | 814 | 918 |9671 |9671 | 918 |9685 | 14 | 0 | 0 | 2.920410e+02 | -- | Inf
14.19/14.21 c 13.9s| 1 | 0 | 9207 | 20M| 0 | 806 | 918 |9671 |9671 | 918 |9688 | 17 | 0 | 0 | 2.920963e+02 | -- | Inf
15.39/15.43 c 15.1s| 1 | 0 | 9357 | 20M| 0 | 809 | 918 |9671 |9671 | 918 |9689 | 18 | 0 | 0 | 2.921269e+02 | -- | Inf
16.39/16.48 c 16.1s| 1 | 0 | 9433 | 20M| 0 | 806 | 918 |9671 |9671 | 918 |9690 | 19 | 0 | 0 | 2.921502e+02 | -- | Inf
24.58/24.66 c 24.2s| 1 | 2 | 9433 | 20M| 0 | 806 | 918 |9671 |9671 | 918 |9690 | 19 | 0 | 33 | 2.921502e+02 | -- | Inf
432.16/432.36 o 444
432.16/432.36 c * 429s| 484 | 237 |356904 | 21M| 24 | - | 918 | 10k|4150 | 918 |9684 | 19 | 770 | 809 | 2.988137e+02 | 4.440000e+02 | 48.59%
933.72/934.04 c
933.72/934.04 c SCIP Status : problem is solved [optimal solution found]
933.72/934.04 c Solving Time (sec) : 925.29
933.72/934.04 c Solving Nodes : 1647
933.72/934.04 c Primal Bound : +4.44000000000000e+02 (1 solutions)
933.72/934.04 c Dual Bound : +4.44000000000000e+02
933.72/934.04 c Gap : 0.00 %
933.72/934.05 c NODE 1647
933.72/934.05 c DUAL BOUND 444
933.72/934.05 c PRIMAL BOUND 444
933.72/934.05 c GAP 0
933.72/934.05 s OPTIMUM FOUND
933.72/934.05 v x918 -x917 -x916 x915 x914 -x913 -x912 x911 x910 -x909 x908 -x907 -x906 x905 x904 -x903 x902 -x901 x900 -x899 -x898 x897 x896 -x895
933.72/934.05 v -x894 -x893 x892 -x891 -x890 x889 x888 -x887 -x886 x885 x884 -x883 -x882 x881 -x880 -x879 x878 -x877 -x876 x875 x874 -x873
933.72/934.05 v x872 -x871 x870 -x869 -x868 x867 x866 -x865 x864 -x863 -x862 x861 x860 -x859 x858 -x857 -x856 x855 x854 -x853 -x852 x851 x850
933.72/934.05 v -x849 x848 -x847 -x846 x845 x844 -x843 x842 -x841 x840 -x839 -x838 x837 x836 -x835 -x834 -x833 x832 -x831 -x830 x829 x828
933.72/934.05 v -x827 -x826 x825 x824 -x823 x822 -x821 -x820 x819 x818 -x817 -x816 x815 x814 -x813 x812 -x811 x810 -x809 x808 -x807 -x806 x805
933.72/934.05 v x804 -x803 -x802 x801 x800 -x799 -x798 x797 -x796 -x795 x794 -x793 -x792 x791 x790 -x789 x788 -x787 -x786 -x785 x784 -x783
933.72/934.05 v -x782 x781 x780 -x779 x778 -x777 -x776 x775 -x774 x773 x772 -x771 x770 -x769 -x768 x767 x766 -x765 x764 -x763 x762 -x761 x760
933.72/934.05 v -x759 -x758 x757 x756 -x755 -x754 x753 x752 -x751 -x750 x749 x748 -x747 x746 -x745 -x744 x743 x742 -x741 x740 -x739 x738 -x737
933.72/934.05 v x736 -x735 -x734 x733 x732 -x731 x730 -x729 -x728 x727 -x726 x725 x724 -x723 x722 -x721 x720 -x719 -x718 x717 x716 -x715
933.72/934.05 v x714 -x713 x712 -x711 -x710 x709 -x708 x707 x706 -x705 x704 -x703 -x702 x701 x700 -x699 x698 -x697 -x696 x695 x694 -x693 x692
933.72/934.05 v -x691 -x690 x689 x688 -x687 x686 -x685 x684 -x683 x682 -x681 -x680 x679 x678 -x677 -x676 x675 x674 -x673 -x672 x671 x670 -x669
933.72/934.05 v x668 -x667 x666 -x665 -x664 x663 x662 -x661 -x660 -x659 x658 -x657 -x656 x655 x654 -x653 -x652 x651 x650 -x649 x648 -x647
933.72/934.05 v x646 -x645 -x644 x643 x642 -x641 x640 -x639 -x638 x637 -x636 -x635 -x634 x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624
933.72/934.05 v x623 x622 -x621 x620 -x619 -x618 x617 x616 -x615 x614 -x613 -x612 x611 -x610 -x609 x608 -x607 -x606 x605 -x604 -x603 x602
933.72/934.05 v -x601 -x600 x599 x598 -x597 x596 -x595 x594 -x593 -x592 x591 x590 -x589 x588 -x587 x586 -x585 -x584 x583 x582 -x581 -x580 x579
933.72/934.05 v x578 -x577 -x576 -x575 x574 -x573 -x572 x571 x570 -x569 x568 -x567 -x566 x565 x564 -x563 -x562 x561 x560 -x559 -x558 x557
933.72/934.05 v x556 -x555 x554 -x553 -x552 x551 x550 -x549 x548 -x547 x546 -x545 x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 x535 x534
933.72/934.05 v -x533 x532 -x531 -x530 x529 -x528 x527 x526 -x525 x524 -x523 x522 -x521 x520 -x519 -x518 x517 -x516 x515 x514 -x513 x512
933.72/934.05 v -x511 -x510 x509 x508 -x507 x506 -x505 x504 -x503 -x502 x501 x500 -x499 x498 -x497 -x496 x495 x494 -x493 -x492 x491 x490 -x489
933.72/934.05 v x488 -x487 x486 -x485 -x484 x483 x482 -x481 -x480 x479 x478 -x477 x476 -x475 x474 -x473 x472 -x471 -x470 x469 -x468 x467 x466
933.72/934.05 v -x465 x464 -x463 -x462 x461 x460 -x459 x458 -x457 -x456 x455 x454 -x453 x452 -x451 -x450 x449 x448 -x447 x446 -x445 -x444
933.72/934.05 v x443 x442 -x441 x440 -x439 x438 -x437 -x436 x435 x434 -x433 -x432 x431 x430 -x429 x428 -x427 -x426 x425 x424 -x423 x422 -x421
933.72/934.05 v -x420 -x419 x418 -x417 -x416 x415 x414 -x413 x412 -x411 -x410 x409 -x408 x407 x406 -x405 x404 -x403 -x402 x401 x400 -x399 x398
933.72/934.05 v -x397 x396 -x395 x394 -x393 -x392 x391 -x390 x389 x388 -x387 x386 -x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377 -x376
933.72/934.05 v x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353
933.72/934.05 v -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 -x330
933.72/934.05 v x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307
933.72/934.05 v -x306 x305 x304 -x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285
933.72/934.05 v -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262
933.72/934.05 v x261 -x260 x259 x258 -x257 -x256 x255 -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239
933.72/934.05 v -x238 x237 -x236 x235 -x234 x233 -x232 x231 x230 -x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 x220 -x219 -x218 x217 -x216
933.72/934.05 v x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 x202 -x201 -x200 x199 -x198 x197 -x196 x195 -x194
933.72/934.05 v x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171
933.72/934.05 v -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148
933.72/934.05 v x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128 x127 x126 -x125
933.72/934.05 v -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103
933.72/934.05 v -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 -x76
933.72/934.05 v x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48
933.72/934.05 v x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 x20
933.72/934.05 v -x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 x1
933.72/934.05 c SCIP Status : problem is solved [optimal solution found]
933.72/934.05 c Solving Time : 925.29
933.72/934.05 c Original Problem :
933.72/934.05 c Problem name : HOME/instance-1869087-1245157636.opb
933.72/934.05 c Variables : 918 (918 binary, 0 integer, 0 implicit integer, 0 continuous)
933.72/934.05 c Constraints : 9671 initial, 9671 maximal
933.72/934.05 c Presolved Problem :
933.72/934.05 c Problem name : t_HOME/instance-1869087-1245157636.opb
933.72/934.05 c Variables : 918 (918 binary, 0 integer, 0 implicit integer, 0 continuous)
933.72/934.05 c Constraints : 9671 initial, 10324 maximal
933.72/934.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
933.72/934.05 c trivial : 0.00 0 0 0 0 0 0 0 0
933.72/934.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
933.72/934.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
933.72/934.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
933.72/934.05 c implics : 0.00 0 0 0 0 0 0 0 0
933.72/934.05 c probing : 0.09 0 0 0 0 0 0 0 0
933.72/934.05 c logicor : 0.06 0 0 0 0 0 0 0 0
933.72/934.05 c root node : - 0 - - 0 - - - -
933.72/934.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
933.72/934.05 c integral : 0 0 0 1137 0 15 231 0 0 2088
933.72/934.05 c logicor : 9671+ 9 18284 1 0 1068 209338 0 0 0
933.72/934.05 c countsols : 0 0 0 1 0 0 0 0 0 0
933.72/934.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
933.72/934.05 c integral : 326.78 0.00 0.00 326.78 0.00
933.72/934.05 c logicor : 3.18 0.03 3.15 0.00 0.00
933.72/934.05 c countsols : 0.00 0.00 0.00 0.00 0.00
933.72/934.05 c Propagators : Time Calls Cutoffs DomReds
933.72/934.05 c rootredcost : 0.01 1 0 0
933.72/934.05 c pseudoobj : 1.19 19793 2 0
933.72/934.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
933.72/934.05 c propagation : 0.14 1068 1037 3749 27.0 228 23.5 -
933.72/934.05 c infeasible LP : 0.00 22 0 0 0.0 0 0.0 0
933.72/934.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
933.72/934.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
933.72/934.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
933.72/934.05 c applied globally : - - - 2991 23.2 - - -
933.72/934.05 c applied locally : - - - 0 0.0 - - -
933.72/934.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
933.72/934.05 c cut pool : 0.01 8 - - 154 - (maximal pool size: 970)
933.72/934.05 c redcost : 0.10 1145 0 0 0 0
933.72/934.05 c impliedbounds : 0.01 9 0 0 0 0
933.72/934.05 c intobj : 0.00 0 0 0 0 0
933.72/934.05 c gomory : 2.62 9 0 0 665 0
933.72/934.05 c strongcg : 2.52 9 0 0 1799 0
933.72/934.05 c cmir : 1.24 9 0 0 0 0
933.72/934.05 c flowcover : 1.05 9 0 0 0 0
933.72/934.05 c clique : 0.03 1 0 0 0 0
933.72/934.05 c zerohalf : 0.00 0 0 0 0 0
933.72/934.05 c mcf : 0.02 1 0 0 0 0
933.72/934.05 c Pricers : Time Calls Vars
933.72/934.05 c problem variables: 0.00 0 0
933.72/934.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
933.72/934.05 c relpscost : 326.77 1136 15 231 0 0 2088
933.72/934.05 c pscost : 0.00 0 0 0 0 0 0
933.72/934.05 c inference : 0.00 0 0 0 0 0 0
933.72/934.05 c mostinf : 0.00 0 0 0 0 0 0
933.72/934.05 c leastinf : 0.00 0 0 0 0 0 0
933.72/934.05 c fullstrong : 0.00 0 0 0 0 0 0
933.72/934.05 c allfullstrong : 0.00 0 0 0 0 0 0
933.72/934.05 c random : 0.00 0 0 0 0 0 0
933.72/934.05 c Primal Heuristics : Time Calls Found
933.72/934.05 c LP solutions : 0.00 - 1
933.72/934.05 c pseudo solutions : 0.00 - 0
933.72/934.05 c crossover : 0.01 0 0
933.72/934.05 c oneopt : 0.00 1 0
933.72/934.05 c fracdiving : 8.48 11 0
933.72/934.05 c veclendiving : 14.84 11 0
933.72/934.05 c guideddiving : 14.86 11 0
933.72/934.05 c linesearchdiving : 8.30 12 0
933.72/934.05 c feaspump : 13.45 6 0
933.72/934.05 c objpscostdiving : 8.50 6 0
933.72/934.05 c rootsoldiving : 22.24 6 0
933.72/934.05 c pscostdiving : 17.07 12 0
933.72/934.05 c coefdiving : 14.52 14 0
933.72/934.05 c simplerounding : 0.00 0 0
933.72/934.05 c rounding : 1.38 432 0
933.72/934.05 c shifting : 0.96 117 0
933.72/934.05 c intshifting : 0.00 0 0
933.72/934.05 c fixandinfer : 0.00 0 0
933.72/934.05 c intdiving : 0.00 0 0
933.72/934.05 c actconsdiving : 0.00 0 0
933.72/934.05 c octane : 0.00 0 0
933.72/934.05 c rens : 0.00 0 0
933.72/934.05 c rins : 0.00 0 0
933.72/934.05 c localbranching : 0.00 0 0
933.72/934.05 c mutation : 0.00 0 0
933.72/934.05 c dins : 0.00 0 0
933.72/934.05 c LP : Time Calls Iterations Iter/call Iter/sec
933.72/934.05 c primal LP : 0.17 0 0 0.00 0.00
933.72/934.05 c dual LP : 456.29 1152 740158 642.50 1622.12
933.72/934.05 c barrier LP : 0.00 0 0 0.00 -
933.72/934.05 c diving/probing LP: 117.94 1643 148180 90.19 1256.40
933.72/934.05 c strong branching : 326.31 1660 481480 290.05 1475.53
933.72/934.05 c (at root node) : - 33 7411 224.58 -
933.72/934.05 c conflict analysis: 0.00 0 0 0.00 -
933.72/934.05 c B&B Tree :
933.72/934.05 c number of runs : 1
933.72/934.05 c nodes : 1647
933.72/934.05 c nodes (total) : 1647
933.72/934.05 c nodes left : 0
933.72/934.05 c max depth : 27
933.72/934.05 c max depth (total): 27
933.72/934.05 c backtracks : 596 (36.2%)
933.72/934.05 c delayed cutoffs : 442
933.72/934.05 c repropagations : 1838 (72014 domain reductions, 336 cutoffs)
933.72/934.05 c avg switch length: 5.53
933.72/934.05 c switching time : 1.61
933.72/934.05 c Solution :
933.72/934.05 c Solutions found : 1 (1 improvements)
933.72/934.05 c Primal Bound : +4.44000000000000e+02 (in run 1, after 484 nodes, 428.66 seconds, depth 14, found by <relaxation>)
933.72/934.05 c Dual Bound : +4.44000000000000e+02
933.72/934.05 c Gap : 0.00 %
933.72/934.05 c Root Dual Bound : +2.92150205387199e+02
933.82/934.10 c Time complete: 933.82.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869087-1245157636/watcher-1869087-1245157636 -o /tmp/evaluation-result-1869087-1245157636/solver-1869087-1245157636 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869087-1245157636.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.00 1.00 1.00 3/64 3365
/proc/meminfo: memFree=1854848/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=5812 CPUtime=0
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 183364192 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/3365/statm: 1453 501 332 1256 0 192 0
[startup+0.077907 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3365
/proc/meminfo: memFree=1854848/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=12832 CPUtime=0.07
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 2180 0 0 0 6 1 0 0 18 0 1 0 183364192 13139968 2164 1992294400 4194304 9342243 548682068736 18446744073709551615 8251431 0 0 4096 0 0 0 0 17 1 0 0
/proc/3365/statm: 3208 2164 378 1256 0 1947 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12832
[startup+0.101908 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3365
/proc/meminfo: memFree=1854848/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=14400 CPUtime=0.09
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 2574 0 0 0 8 1 0 0 18 0 1 0 183364192 14745600 2558 1992294400 4194304 9342243 548682068736 18446744073709551615 8142497 0 0 4096 0 0 0 0 17 1 0 0
/proc/3365/statm: 3600 2558 378 1256 0 2339 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14400
[startup+0.301931 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3365
/proc/meminfo: memFree=1854848/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=30824 CPUtime=0.29
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 6886 0 0 0 25 4 0 0 19 0 1 0 183364192 31563776 6516 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 7706 6516 464 1256 0 6445 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30824
[startup+0.701978 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3365
/proc/meminfo: memFree=1854848/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=49936 CPUtime=0.69
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 10492 0 0 0 62 7 0 0 22 0 1 0 183364192 51134464 10089 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 12484 10089 607 1256 0 11223 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49936
[startup+1.50107 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1816056/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=53296 CPUtime=1.49
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 11915 0 0 0 141 8 0 0 25 0 1 0 183364192 54575104 10776 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 13324 10776 634 1256 0 12063 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53296
[startup+3.10126 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1813944/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=53264 CPUtime=3.09
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 12152 0 0 0 301 8 0 0 25 0 1 0 183364192 54542336 10817 1992294400 4194304 9342243 548682068736 18446744073709551615 6952376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 13316 10817 634 1256 0 12055 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53264
[startup+6.30163 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1813240/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=52712 CPUtime=6.29
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 12401 0 0 0 621 8 0 0 25 0 1 0 183364192 53977088 10944 1992294400 4194304 9342243 548682068736 18446744073709551615 6224428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 13178 10944 634 1256 0 11917 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52712
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1799160/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=68068 CPUtime=12.68
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 16557 0 0 0 1249 19 0 0 25 0 1 0 183364192 69701632 14543 1992294400 4194304 9342243 548682068736 18446744073709551615 5575805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 17017 14543 663 1256 0 15756 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 68068
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1797368/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=76760 CPUtime=25.48
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 18568 0 0 0 2522 26 0 0 25 0 1 0 183364192 78602240 14950 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 19190 14950 673 1256 0 17929 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76760
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1797304/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=74780 CPUtime=51.06
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 48049 0 0 0 5061 45 0 0 25 0 1 0 183364192 76574720 15060 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 18695 15060 674 1256 0 17434 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 74780
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1797304/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=73520 CPUtime=102.25
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 81438 0 0 0 10158 67 0 0 25 0 1 0 183364192 75284480 14976 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 18380 14976 679 1256 0 17119 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 73520
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1796280/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=76600 CPUtime=162.23
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 109357 0 0 0 16133 90 0 0 25 0 1 0 183364192 78438400 15235 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 19150 15235 679 1256 0 17889 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 76600
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1796664/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=70344 CPUtime=222.21
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 203837 0 0 0 22074 147 0 0 25 0 1 0 183364192 72032256 15105 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 17586 15105 682 1256 0 16325 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 70344
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1795448/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=69316 CPUtime=282.2
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 301736 0 0 0 28014 206 0 0 25 0 1 0 183364192 70979584 15054 1992294400 4194304 9342243 548682068736 18446744073709551615 6897099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 17329 15054 682 1256 0 16068 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 69316
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1796408/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=72164 CPUtime=342.19
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 388424 0 0 0 33958 261 0 0 25 0 1 0 183364192 73895936 15221 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 18041 15221 682 1256 0 16780 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 72164
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1796536/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=71832 CPUtime=402.17
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 478963 0 0 0 39904 313 0 0 25 0 1 0 183364192 73555968 15141 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 17958 15141 682 1256 0 16697 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 71832
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1795768/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=81172 CPUtime=462.15
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 569832 0 0 0 45845 370 0 0 25 0 1 0 183364192 83120128 15450 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 20293 15450 682 1256 0 19032 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 81172
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1796600/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=75540 CPUtime=522.14
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 676758 0 0 0 51778 436 0 0 25 0 1 0 183364192 77352960 15248 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 18885 15248 682 1256 0 17624 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 75540
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1796728/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=71564 CPUtime=582.12
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 759527 0 0 0 57727 485 0 0 25 0 1 0 183364192 73281536 15160 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 17891 15160 682 1256 0 16630 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 71564
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1796344/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=73020 CPUtime=642.11
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 849398 0 0 0 63672 539 0 0 25 0 1 0 183364192 74772480 15136 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 18255 15136 682 1256 0 16994 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 73020
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1796280/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=72508 CPUtime=702.09
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 942573 0 0 0 69612 597 0 0 25 0 1 0 183364192 74248192 15111 1992294400 4194304 9342243 548682068736 18446744073709551615 6952387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 18127 15111 682 1256 0 16866 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 72508
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1794680/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=73584 CPUtime=762.07
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 1042685 0 0 0 75552 655 0 0 25 0 1 0 183364192 75350016 15247 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 18396 15247 682 1256 0 17135 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 73584
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1796152/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=80192 CPUtime=822.06
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 1139166 0 0 0 81488 718 0 0 25 0 1 0 183364192 82116608 15283 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 20048 15283 682 1256 0 18787 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 80192
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1794552/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=81160 CPUtime=882.03
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 1242686 0 0 0 87424 779 0 0 25 0 1 0 183364192 83107840 15570 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 20290 15570 682 1256 0 19029 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 81160
Solver just ended. Dumping a history of the last processes samples
[startup+895.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1795064/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=80328 CPUtime=895.63
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 1265194 0 0 0 88771 792 0 0 25 0 1 0 183364192 82255872 15467 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 20082 15467 682 1256 0 18821 0
Current children cumulated CPU time (s) 895.63
Current children cumulated vsize (KiB) 80328
[startup+921.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1794744/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=82228 CPUtime=921.22
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 1314169 0 0 0 91303 819 0 0 25 0 1 0 183364192 84201472 15531 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 20557 15531 682 1256 0 19296 0
Current children cumulated CPU time (s) 921.22
Current children cumulated vsize (KiB) 82228
[startup+927.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1796280/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=72012 CPUtime=927.63
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 1327106 0 0 0 91937 826 0 0 25 0 1 0 183364192 73740288 15182 1992294400 4194304 9342243 548682068736 18446744073709551615 6978062 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 18003 15182 682 1256 0 16742 0
Current children cumulated CPU time (s) 927.63
Current children cumulated vsize (KiB) 72012
[startup+931.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1796152/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=72088 CPUtime=930.82
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 1333538 0 0 0 92252 830 0 0 25 0 1 0 183364192 73818112 15095 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 18022 15095 682 1256 0 16761 0
Current children cumulated CPU time (s) 930.82
Current children cumulated vsize (KiB) 72088
[startup+932.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1795960/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=69864 CPUtime=932.43
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 1336604 0 0 0 92411 832 0 0 25 0 1 0 183364192 71540736 15054 1992294400 4194304 9342243 548682068736 18446744073709551615 6897099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 17466 15054 682 1256 0 16205 0
Current children cumulated CPU time (s) 932.43
Current children cumulated vsize (KiB) 69864
[startup+933.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1795960/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=78600 CPUtime=933.22
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 1338845 0 0 0 92489 833 0 0 25 0 1 0 183364192 80486400 15367 1992294400 4194304 9342243 548682068736 18446744073709551615 6018146 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 19650 15373 682 1256 0 18389 0
Current children cumulated CPU time (s) 933.22
Current children cumulated vsize (KiB) 78600
[startup+933.906 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1794488/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=72408 CPUtime=933.62
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 1339591 0 0 0 92529 833 0 0 25 0 1 0 183364192 74145792 15130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3365/statm: 18102 15130 682 1256 0 16841 0
Current children cumulated CPU time (s) 933.62
Current children cumulated vsize (KiB) 72408
[startup+934.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3366
/proc/meminfo: memFree=1794488/2055920 swapFree=4192812/4192956
[pid=3365] ppid=3363 vsize=8844 CPUtime=933.82
/proc/3365/stat : 3365 (pbscip.linux.x8) R 3363 3365 2765 0 -1 4194304 1339794 0 0 0 92548 834 0 0 17 0 1 0 183364192 9056256 1606 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/3365/statm: 2211 1606 687 1256 0 950 0
Current children cumulated CPU time (s) 933.82
Current children cumulated vsize (KiB) 8844
Child status: 0
Real time (s): 934.103
CPU time (s): 933.834
CPU user time (s): 925.483
CPU system time (s): 8.35073
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 83216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 925.483
system time used= 8.35073
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1339797
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= 8
involuntary context switches= 1489
runsolver used 0.791879 second user time and 1.81672 second system time
The end