0.00/0.05 c SCIP version 1.1.0.7
0.00/0.05 c LP-Solver Clp 1.8.2
0.00/0.05 c user parameter file <scip.set> not found - using default parameters
0.00/0.05 c read problem <HOME/instance-1869127-1245159902.opb>
0.00/0.05 c original problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 3194 constraints
0.06/0.07 c start presolving problem
0.06/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2834 upgd conss, 20376 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3134 upgd conss, 20376 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/792 (12.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 60 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 20376 implications, 0 cliques
0.09/0.18 c presolved problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 3134 constraints
0.09/0.18 c 3134 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.11
0.09/0.18 c strange?!, PURESAT with obj
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = c 1620
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = c 1791
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = c 10000
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving problem
0.09/0.18 c
0.19/0.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.27 c 0.2s| 1 | 0 | 787 |6226k| 0 | 592 | 792 |3134 |3134 | 792 |3134 | 0 | 0 | 0 | 1.835000e+02 | -- | Inf
1.59/1.61 o 389
1.59/1.61 c F 1.5s| 1 | 0 | 5046 |6294k| 0 | 0 | 792 |3134 |3134 | 792 |3134 | 0 | 0 | 0 | 1.835000e+02 | 3.890000e+02 | 111.99%
1.69/1.78 c 1.7s| 1 | 0 | 5178 |6291k| 0 | 589 | 792 |3134 |3134 | 792 |3140 | 6 | 0 | 0 | 1.886250e+02 | 3.890000e+02 | 106.23%
1.89/1.94 c 1.8s| 1 | 0 | 5296 |6336k| 0 | 584 | 792 |3134 |3134 | 792 |3149 | 15 | 0 | 0 | 1.925625e+02 | 3.890000e+02 | 102.01%
2.09/2.12 c 2.0s| 1 | 0 | 5457 |6382k| 0 | 581 | 792 |3134 |3134 | 792 |3157 | 23 | 0 | 0 | 1.962768e+02 | 3.890000e+02 | 98.19%
2.29/2.31 c 2.2s| 1 | 0 | 5695 |6449k| 0 | 578 | 792 |3134 |3134 | 792 |3165 | 31 | 0 | 0 | 2.007625e+02 | 3.890000e+02 | 93.76%
2.50/2.51 c 2.4s| 1 | 0 | 5953 |6507k| 0 | 576 | 792 |3134 |3134 | 792 |3174 | 40 | 0 | 0 | 2.035871e+02 | 3.890000e+02 | 91.07%
2.69/2.72 c 2.6s| 1 | 0 | 6253 |6556k| 0 | 581 | 792 |3134 |3134 | 792 |3184 | 50 | 0 | 0 | 2.059132e+02 | 3.890000e+02 | 88.91%
2.89/2.97 c 2.9s| 1 | 0 | 6653 |6716k| 0 | 579 | 792 |3134 |3134 | 792 |3195 | 61 | 0 | 0 | 2.078115e+02 | 3.890000e+02 | 87.19%
3.19/3.23 c 3.1s| 1 | 0 | 6980 |6855k| 0 | 581 | 792 |3134 |3134 | 792 |3206 | 72 | 0 | 0 | 2.093760e+02 | 3.890000e+02 | 85.79%
3.49/3.55 c 3.4s| 1 | 0 | 7328 |7111k| 0 | 583 | 792 |3134 |3134 | 792 |3220 | 86 | 0 | 0 | 2.105127e+02 | 3.890000e+02 | 84.79%
3.79/3.89 c 3.8s| 1 | 0 | 7790 |7279k| 0 | 582 | 792 |3134 |3134 | 792 |3230 | 96 | 0 | 0 | 2.110979e+02 | 3.890000e+02 | 84.27%
4.09/4.19 c 4.1s| 1 | 0 | 8190 |7550k| 0 | 577 | 792 |3134 |3134 | 792 |3241 | 107 | 0 | 0 | 2.119450e+02 | 3.890000e+02 | 83.54%
4.49/4.52 c 4.4s| 1 | 0 | 8591 |7819k| 0 | 582 | 792 |3134 |3134 | 792 |3244 | 114 | 0 | 0 | 2.124723e+02 | 3.890000e+02 | 83.08%
4.79/4.87 c 4.7s| 1 | 0 | 8952 |8069k| 0 | 584 | 792 |3134 |3134 | 792 |3251 | 121 | 0 | 0 | 2.130169e+02 | 3.890000e+02 | 82.61%
5.29/5.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.29/5.31 c 5.2s| 1 | 0 | 9332 |8285k| 0 | 587 | 792 |3134 |3134 | 792 |3260 | 130 | 0 | 0 | 2.132726e+02 | 3.890000e+02 | 82.40%
5.79/5.83 c 5.7s| 1 | 0 | 9680 |8593k| 0 | 580 | 792 |3134 |3134 | 792 |3270 | 140 | 0 | 0 | 2.134619e+02 | 3.890000e+02 | 82.23%
6.30/6.34 c 6.2s| 1 | 0 | 10112 |9052k| 0 | 585 | 792 |3134 |3134 | 792 |3277 | 147 | 0 | 0 | 2.136903e+02 | 3.890000e+02 | 82.04%
6.89/6.96 c 6.8s| 1 | 0 | 10418 |9172k| 0 | 586 | 792 |3134 |3134 | 792 |3286 | 156 | 0 | 0 | 2.137862e+02 | 3.890000e+02 | 81.96%
7.59/7.63 c 7.5s| 1 | 0 | 10651 |9339k| 0 | 586 | 792 |3134 |3134 | 792 |3284 | 161 | 0 | 0 | 2.139237e+02 | 3.890000e+02 | 81.84%
8.19/8.25 c 8.1s| 1 | 0 | 10837 |9566k| 0 | 592 | 792 |3134 |3134 | 792 |3289 | 166 | 0 | 0 | 2.139445e+02 | 3.890000e+02 | 81.82%
8.79/8.86 c 8.7s| 1 | 0 | 11115 |9720k| 0 | 583 | 792 |3134 |3134 | 792 |3294 | 171 | 0 | 0 | 2.139820e+02 | 3.890000e+02 | 81.79%
9.19/9.20 c 9.0s| 1 | 0 | 11308 |9726k| 0 | 586 | 792 |3134 |3134 | 792 |3297 | 174 | 0 | 0 | 2.140006e+02 | 3.890000e+02 | 81.78%
9.59/9.61 c 9.4s| 1 | 0 | 11614 |9730k| 0 | 583 | 792 |3134 |3134 | 792 |3300 | 177 | 0 | 0 | 2.140138e+02 | 3.890000e+02 | 81.76%
9.89/9.94 c 9.8s| 1 | 0 | 11639 |9730k| 0 | 583 | 792 |3134 |3134 | 792 |3301 | 178 | 0 | 0 | 2.140151e+02 | 3.890000e+02 | 81.76%
10.19/10.24 o 308
10.19/10.24 c k10.1s| 1 | 0 | 11639 |9749k| 0 | 583 | 792 |3134 |3134 | 792 |3301 | 178 | 0 | 0 | 2.140151e+02 | 3.080000e+02 | 43.92%
10.19/10.25 c 10.1s| 1 | 0 | 11639 |9740k| 0 | 583 | 792 |3134 |3134 | 792 |3301 | 178 | 0 | 0 | 2.140151e+02 | 3.080000e+02 | 43.92%
11.99/12.05 c 11.9s| 1 | 2 | 11639 |9740k| 0 | 583 | 792 |3134 |3134 | 792 |3301 | 178 | 0 | 26 | 2.140151e+02 | 3.080000e+02 | 43.92%
44.37/44.41 o 307
44.37/44.41 c *44.0s| 76 | 22 | 22926 |9884k| 22 | - | 792 |3158 |2548 | 792 |3223 | 178 | 24 | 819 | 2.151982e+02 | 3.070000e+02 | 42.66%
54.16/54.20 o 301
54.16/54.20 c *53.7s| 440 | 55 | 45452 | 10M| 28 | - | 792 |3193 |1948 | 792 |3223 | 178 | 60 | 936 | 2.152928e+02 | 3.010000e+02 | 39.81%
54.16/54.21 o 300
54.16/54.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.16/54.21 c k53.7s| 440 | 55 | 45452 | 10M| 28 | - | 792 |3193 |1948 | 792 |3223 | 178 | 60 | 936 | 2.152928e+02 | 3.000000e+02 | 39.35%
60.76/60.88 o 297
60.76/60.88 c C60.4s| 640 | 75 | 61608 | 10M| 28 | 408 | 792 |3213 |2746 | 792 |3223 | 178 | 80 |1014 | 2.265160e+02 | 2.970000e+02 | 31.12%
60.76/60.89 o 288
60.76/60.89 c k60.4s| 640 | 64 | 61608 | 10M| 28 | 408 | 792 |3213 |2746 | 792 |3223 | 178 | 80 |1014 | 2.265160e+02 | 2.880000e+02 | 27.14%
67.26/67.35 o 283
67.26/67.35 c *66.8s| 835 | 80 | 77610 | 10M| 32 | - | 792 |3213 |2489 | 792 |3223 | 178 | 80 |1084 | 2.265160e+02 | 2.830000e+02 | 24.94%
387.86/388.05 c 386s| 10000 | 310 |925049 | 11M| 46 | 319 | 792 |3221 |2752 | 792 |3223 | 178 | 183 |3355 | 2.522179e+02 | 2.830000e+02 | 12.20%
612.10/612.34 c
612.10/612.34 c SCIP Status : problem is solved [optimal solution found]
612.10/612.34 c Solving Time (sec) : 609.84
612.10/612.34 c Solving Nodes : 17320
612.10/612.34 c Primal Bound : +2.83000000000000e+02 (21 solutions)
612.10/612.34 c Dual Bound : +2.83000000000000e+02
612.10/612.34 c Gap : 0.00 %
612.10/612.35 c NODE 17320
612.10/612.35 c DUAL BOUND 283
612.10/612.35 c PRIMAL BOUND 283
612.10/612.35 c GAP 0
612.10/612.35 s OPTIMUM FOUND
612.10/612.35 v x792 -x791 x790 -x789 -x788 x787 x786 -x785 x784 -x783 x782 -x781 -x780 -x779 -x778 -x777 x776 -x775 x774 -x773 -x772 -x771 -x770
612.10/612.35 v x769 -x768 -x767 -x766 x765 x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 x756 -x755 x754 -x753 -x752 x751 x750 -x749 x748
612.10/612.35 v -x747 x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727 x726
612.10/612.35 v -x725 -x724 -x723 -x722 x721 x720 -x719 x718 -x717 x716 -x715 -x714 x713 x712 -x711 x710 -x709 -x708 x707 -x706 -x705 x704
612.10/612.35 v -x703 x702 -x701 -x700 -x699 -x698 -x697 x696 -x695 x694 -x693 x692 -x691 -x690 x689 x688 -x687 x686 -x685 -x684 -x683 -x682
612.10/612.35 v -x681 x680 -x679 x678 -x677 -x676 -x675 -x674 x673 -x672 x671 -x670 -x669 x668 -x667 x666 -x665 -x664 -x663 -x662 -x661 -x660
612.10/612.35 v x659 -x658 -x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 -x641 -x640 x639 -x638
612.10/612.35 v -x637 x636 -x635 x634 -x633 -x632 x631 x630 -x629 x628 -x627 x626 -x625 -x624 -x623 -x622 x621 x620 -x619 x618 -x617 -x616
612.10/612.35 v -x615 -x614 -x613 x612 -x611 x610 -x609 x608 -x607 -x606 x605 x604 -x603 x602 -x601 -x600 x599 -x598 -x597 x596 -x595 x594
612.10/612.35 v -x593 -x592 -x591 -x590 -x589 x588 -x587 x586 -x585 x584 -x583 -x582 x581 x580 -x579 x578 -x577 x576 -x575 x574 -x573 -x572
612.10/612.35 v -x571 -x570 x569 x568 -x567 x566 -x565 -x564 x563 -x562 -x561 x560 -x559 x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550
612.10/612.35 v -x549 x548 -x547 x546 -x545 -x544 -x543 -x542 x541 x540 -x539 x538 -x537 x536 -x535 -x534 x533 x532 -x531 x530 -x529 x528 -x527
612.10/612.35 v x526 -x525 x524 -x523 -x522 x521 x520 -x519 x518 -x517 x516 -x515 x514 -x513 x512 -x511 -x510 x509 x508 -x507 x506 -x505
612.10/612.35 v x504 -x503 x502 -x501 -x500 x499 x498 -x497 x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 x486 -x485 -x484 -x483 -x482
612.10/612.35 v x481 -x480 -x479 -x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 x464 -x463 x462 -x461
612.10/612.35 v -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 x452 -x451 x450 -x449 -x448 -x447 -x446 x445 x444 -x443 x442 -x441 x440 -x439
612.10/612.35 v -x438 x437 x436 -x435 x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417
612.10/612.35 v x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 x396 -x395
612.10/612.35 v x394 -x393 x392 -x391 -x390 x389 x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374
612.10/612.35 v x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 x356 -x355 x354 -x353 -x352
612.10/612.35 v -x351 -x350 x349 x348 -x347 x346 -x345 -x344 x343 x342 -x341 x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 x332 -x331 -x330
612.10/612.35 v -x329 -x328 -x327 -x326 x325 x324 -x323 x322 -x321 x320 -x319 -x318 x317 x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 x308
612.10/612.35 v -x307 x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 x296 -x295 x294 -x293 -x292 -x291 -x290 x289 -x288 x287 -x286
612.10/612.35 v -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 x264
612.10/612.35 v -x263 x262 -x261 x260 -x259 -x258 x257 x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 x243 -x242
612.10/612.35 v -x241 x240 -x239 x238 -x237 -x236 x235 x234 -x233 x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220
612.10/612.35 v -x219 -x218 -x217 -x216 x215 -x214 -x213 x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199
612.10/612.35 v -x198 -x197 -x196 -x195 -x194 x193 -x192 x191 -x190 x189 x188 -x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176
612.10/612.35 v x175 x174 -x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 x156 -x155 -x154
612.10/612.35 v x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 x142 -x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131
612.10/612.35 v -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 x120 -x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108
612.10/612.35 v x107 -x106 x105 -x104 x103 x102 -x101 -x100 x99 x98 -x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82
612.10/612.35 v x81 -x80 x79 x78 -x77 x76 -x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 x60 -x59 -x58 x57 -x56 x55
612.10/612.35 v -x54 x53 -x52 x51 -x50 x49 -x48 x47 x46 -x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 x28 -x27
612.10/612.35 v -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
612.10/612.35 c SCIP Status : problem is solved [optimal solution found]
612.10/612.35 c Solving Time : 609.84
612.10/612.35 c Original Problem :
612.10/612.35 c Problem name : HOME/instance-1869127-1245159902.opb
612.10/612.35 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
612.10/612.35 c Constraints : 3194 initial, 3194 maximal
612.10/612.35 c Presolved Problem :
612.10/612.35 c Problem name : t_HOME/instance-1869127-1245159902.opb
612.10/612.35 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
612.10/612.35 c Constraints : 3134 initial, 3242 maximal
612.10/612.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
612.10/612.35 c trivial : 0.00 0 0 0 0 0 0 0 0
612.10/612.35 c dualfix : 0.00 0 0 0 0 0 0 0 0
612.10/612.35 c boundshift : 0.00 0 0 0 0 0 0 0 0
612.10/612.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0
612.10/612.35 c implics : 0.00 0 0 0 0 0 0 0 0
612.10/612.35 c probing : 0.03 0 0 0 0 0 0 0 0
612.10/612.35 c linear : 0.04 0 0 0 0 0 60 0 0
612.10/612.35 c logicor : 0.03 0 0 0 0 0 0 0 0
612.10/612.35 c root node : - 77 - - 77 - - - -
612.10/612.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
612.10/612.35 c integral : 0 0 0 9184 0 69 1520 0 0 17364
612.10/612.35 c logicor : 3134+ 24 59517 3 0 147 459818 0 0 0
612.10/612.35 c countsols : 0 0 0 3 0 0 0 0 0 0
612.10/612.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
612.10/612.35 c integral : 145.47 0.00 0.00 145.47 0.00
612.10/612.35 c logicor : 2.68 0.03 2.65 0.00 0.00
612.10/612.35 c countsols : 0.00 0.00 0.00 0.00 0.00
612.10/612.35 c Propagators : Time Calls Cutoffs DomReds
612.10/612.35 c rootredcost : 0.05 4 0 0
612.10/612.35 c pseudoobj : 2.45 66027 0 0
612.10/612.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
612.10/612.35 c propagation : 0.00 147 147 197 4.7 15 7.9 -
612.10/612.35 c infeasible LP : 1.43 8701 0 0 0.0 0 0.0 0
612.10/612.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
612.10/612.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
612.10/612.35 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
612.10/612.35 c applied globally : - - - 209 5.0 - - -
612.10/612.35 c applied locally : - - - 0 0.0 - - -
612.10/612.35 c Separators : Time Calls Cutoffs DomReds Cuts Conss
612.10/612.35 c cut pool : 0.02 23 - - 527 - (maximal pool size: 1769)
612.10/612.35 c redcost : 0.25 10252 0 3203 0 0
612.10/612.35 c impliedbounds : 0.03 25 0 0 0 0
612.10/612.35 c intobj : 0.00 0 0 0 0 0
612.10/612.35 c gomory : 4.35 25 0 0 8006 0
612.10/612.35 c strongcg : 2.20 20 0 0 8911 0
612.10/612.35 c cmir : 0.26 10 0 0 0 0
612.10/612.35 c flowcover : 0.20 10 0 0 0 0
612.10/612.35 c clique : 0.01 1 0 0 0 0
612.10/612.35 c zerohalf : 0.00 0 0 0 0 0
612.10/612.35 c mcf : 0.00 1 0 0 0 0
612.10/612.35 c Pricers : Time Calls Vars
612.10/612.35 c problem variables: 0.00 0 0
612.10/612.35 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
612.10/612.35 c relpscost : 145.43 9181 69 1520 0 0 17364
612.10/612.35 c pscost : 0.00 0 0 0 0 0 0
612.10/612.35 c inference : 0.00 0 0 0 0 0 0
612.10/612.35 c mostinf : 0.00 0 0 0 0 0 0
612.10/612.35 c leastinf : 0.00 0 0 0 0 0 0
612.10/612.35 c fullstrong : 0.00 0 0 0 0 0 0
612.10/612.35 c allfullstrong : 0.00 0 0 0 0 0 0
612.10/612.35 c random : 0.00 0 0 0 0 0 0
612.10/612.35 c Primal Heuristics : Time Calls Found
612.10/612.35 c LP solutions : 0.00 - 3
612.10/612.35 c pseudo solutions : 0.00 - 0
612.10/612.35 c oneopt : 0.05 5 3
612.10/612.35 c feaspump : 1.33 1 1
612.10/612.35 c crossover : 0.27 4 1
612.10/612.35 c rootsoldiving : 1.69 7 2
612.10/612.35 c coefdiving : 3.39 14 0
612.10/612.35 c pscostdiving : 1.77 14 0
612.10/612.35 c fracdiving : 5.46 14 0
612.10/612.35 c veclendiving : 2.10 14 0
612.10/612.35 c linesearchdiving : 7.95 14 0
612.10/612.35 c guideddiving : 3.82 14 0
612.10/612.35 c objpscostdiving : 6.62 8 4
612.10/612.35 c simplerounding : 0.03 0 0
612.10/612.35 c rounding : 1.20 1310 0
612.10/612.35 c shifting : 1.99 820 7
612.10/612.35 c intshifting : 0.00 0 0
612.10/612.35 c fixandinfer : 0.00 0 0
612.10/612.35 c intdiving : 0.00 0 0
612.10/612.35 c actconsdiving : 0.00 0 0
612.10/612.35 c octane : 0.00 0 0
612.10/612.35 c rens : 0.01 0 0
612.10/612.35 c rins : 0.00 0 0
612.10/612.35 c localbranching : 0.00 0 0
612.10/612.35 c mutation : 0.00 0 0
612.10/612.35 c dins : 0.00 0 0
612.10/612.35 c LP : Time Calls Iterations Iter/call Iter/sec
612.10/612.35 c primal LP : 0.08 0 0 0.00 0.00
612.10/612.35 c dual LP : 397.76 17698 1478101 83.52 3716.06
612.10/612.35 c barrier LP : 0.00 0 0 0.00 -
612.10/612.35 c diving/probing LP: 32.56 1753 92129 52.56 2829.51
612.10/612.35 c strong branching : 143.36 4695 592713 126.24 4134.44
612.10/612.35 c (at root node) : - 26 5111 196.58 -
612.10/612.35 c conflict analysis: 0.00 0 0 0.00 -
612.10/612.35 c B&B Tree :
612.10/612.35 c number of runs : 1
612.10/612.35 c nodes : 17320
612.10/612.35 c nodes (total) : 17320
612.10/612.35 c nodes left : 0
612.10/612.35 c max depth : 46
612.10/612.35 c max depth (total): 46
612.10/612.35 c backtracks : 2086 (12.0%)
612.10/612.35 c delayed cutoffs : 9
612.10/612.35 c repropagations : 992 (2133 domain reductions, 4 cutoffs)
612.10/612.35 c avg switch length: 3.61
612.10/612.35 c switching time : 3.39
612.10/612.35 c Solution :
612.10/612.35 c Solutions found : 21 (8 improvements)
612.10/612.35 c Primal Bound : +2.83000000000000e+02 (in run 1, after 835 nodes, 66.79 seconds, depth 22, found by <relaxation>)
612.10/612.35 c Dual Bound : +2.83000000000000e+02
612.10/612.35 c Gap : 0.00 %
612.10/612.35 c Root Dual Bound : +2.14015141522788e+02
612.10/612.37 c Time complete: 612.17.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869127-1245159902/watcher-1869127-1245159902 -o /tmp/evaluation-result-1869127-1245159902/solver-1869127-1245159902 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869127-1245159902.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 0.91 3/66 13532
/proc/meminfo: memFree=1692864/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=6204 CPUtime=0
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 547 0 0 0 0 0 0 0 18 0 1 0 68713720 6352896 531 1992294400 4194304 9342243 548682068736 18446744073709551615 8312570 0 0 4096 0 0 0 0 17 1 0 0
/proc/13532/statm: 1904 541 353 1256 0 643 0
[startup+0.0672121 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 13532
/proc/meminfo: memFree=1692864/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=15624 CPUtime=0.06
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 3281 0 0 0 5 1 0 0 18 0 1 0 68713720 15998976 2911 1992294400 4194304 9342243 548682068736 18446744073709551615 4210732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 3906 2912 411 1256 0 2645 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15624
[startup+0.101216 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 13532
/proc/meminfo: memFree=1692864/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=19640 CPUtime=0.09
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 4063 0 0 0 8 1 0 0 18 0 1 0 68713720 20111360 3693 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 4910 3693 463 1256 0 3649 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19640
[startup+0.301241 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 13532
/proc/meminfo: memFree=1692864/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=28284 CPUtime=0.29
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 5845 0 0 0 27 2 0 0 19 0 1 0 68713720 28962816 5473 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 7071 5473 634 1256 0 5810 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28284
[startup+0.701293 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 13532
/proc/meminfo: memFree=1692864/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=28744 CPUtime=0.69
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 5977 0 0 0 67 2 0 0 22 0 1 0 68713720 29433856 5605 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 7186 5605 634 1256 0 5925 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28744
[startup+1.5024 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1672696/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=28744 CPUtime=1.5
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 6052 0 0 0 147 3 0 0 25 0 1 0 68713720 29433856 5680 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 7186 5680 634 1256 0 5925 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 28744
[startup+3.1016 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1670584/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=34244 CPUtime=3.09
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 7262 0 0 0 303 6 0 0 25 0 1 0 68713720 35065856 6684 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 8561 6684 663 1256 0 7300 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34244
[startup+6.30201 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1665208/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=39248 CPUtime=6.3
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 8734 0 0 0 621 9 0 0 25 0 1 0 68713720 40189952 7935 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 9812 7935 666 1256 0 8551 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 39248
[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1659640/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=41700 CPUtime=12.69
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 10327 0 0 0 1257 12 0 0 25 0 1 0 68713720 42700800 8259 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 10425 8259 675 1256 0 9164 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41700
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1662136/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=41064 CPUtime=25.49
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 20983 0 0 0 2527 22 0 0 25 0 1 0 68713720 42049536 8328 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 10266 8328 675 1256 0 9005 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41064
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1661880/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=40120 CPUtime=51.07
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 35131 0 0 0 5069 38 0 0 25 0 1 0 68713720 41082880 8824 1992294400 4194304 9342243 548682068736 18446744073709551615 6064736 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 10030 8824 682 1256 0 8769 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40120
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1649912/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=52324 CPUtime=102.26
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42443 0 0 0 10166 60 0 0 25 0 1 0 68713720 53579776 11414 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13081 11414 703 1256 0 11820 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 52324
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1648376/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=52744 CPUtime=162.23
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42820 0 0 0 16144 79 0 0 25 0 1 0 68713720 54009856 11791 1992294400 4194304 9342243 548682068736 18446744073709551615 6895424 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13186 11791 703 1256 0 11925 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 52744
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647608/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=222.22
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42993 0 0 0 22124 98 0 0 25 0 1 0 68713720 54480896 11964 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11964 703 1256 0 12040 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 53204
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647608/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=282.2
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42994 0 0 0 28103 117 0 0 25 0 1 0 68713720 54480896 11965 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11965 703 1256 0 12040 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 53204
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647608/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=342.18
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42994 0 0 0 34082 136 0 0 25 0 1 0 68713720 54480896 11965 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11965 703 1256 0 12040 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 53204
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647544/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=402.16
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42994 0 0 0 40062 154 0 0 25 0 1 0 68713720 54480896 11965 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11965 703 1256 0 12040 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 53204
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647608/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=462.14
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42994 0 0 0 46040 174 0 0 25 0 1 0 68713720 54480896 11965 1992294400 4194304 9342243 548682068736 18446744073709551615 6890707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11965 703 1256 0 12040 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 53204
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647544/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=522.13
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42994 0 0 0 52017 196 0 0 25 0 1 0 68713720 54480896 11965 1992294400 4194304 9342243 548682068736 18446744073709551615 6059531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11965 703 1256 0 12040 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 53204
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647544/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=582.1
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42994 0 0 0 57995 215 0 0 25 0 1 0 68713720 54480896 11965 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11965 703 1256 0 12040 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 53204
Solver just ended. Dumping a history of the last processes samples
[startup+588.701 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647544/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=588.5
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42994 0 0 0 58632 218 0 0 25 0 1 0 68713720 54480896 11965 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11965 703 1256 0 12040 0
Current children cumulated CPU time (s) 588.5
Current children cumulated vsize (KiB) 53204
[startup+601.502 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647544/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=601.3
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42994 0 0 0 59908 222 0 0 25 0 1 0 68713720 54480896 11965 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11965 703 1256 0 12040 0
Current children cumulated CPU time (s) 601.3
Current children cumulated vsize (KiB) 53204
[startup+607.902 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647544/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=607.7
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42994 0 0 0 60546 224 0 0 25 0 1 0 68713720 54480896 11965 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11965 703 1256 0 12040 0
Current children cumulated CPU time (s) 607.7
Current children cumulated vsize (KiB) 53204
[startup+609.502 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647544/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=609.29
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42994 0 0 0 60705 224 0 0 25 0 1 0 68713720 54480896 11965 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11965 703 1256 0 12040 0
Current children cumulated CPU time (s) 609.29
Current children cumulated vsize (KiB) 53204
[startup+611.101 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647544/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=610.9
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42994 0 0 0 60865 225 0 0 25 0 1 0 68713720 54480896 11965 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11965 703 1256 0 12040 0
Current children cumulated CPU time (s) 610.9
Current children cumulated vsize (KiB) 53204
[startup+611.901 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647544/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=611.7
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42994 0 0 0 60944 226 0 0 25 0 1 0 68713720 54480896 11965 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11965 703 1256 0 12040 0
Current children cumulated CPU time (s) 611.7
Current children cumulated vsize (KiB) 53204
[startup+612.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13533
/proc/meminfo: memFree=1647544/2055920 swapFree=4192956/4192956
[pid=13532] ppid=13530 vsize=53204 CPUtime=612.1
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13379 0 -1 4194304 42994 0 0 0 60984 226 0 0 25 0 1 0 68713720 54480896 11965 1992294400 4194304 9342243 548682068736 18446744073709551615 6976807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13532/statm: 13301 11965 703 1256 0 12040 0
Current children cumulated CPU time (s) 612.1
Current children cumulated vsize (KiB) 53204
Child status: 0
Real time (s): 612.376
CPU time (s): 612.18
CPU user time (s): 609.912
CPU system time (s): 2.26766
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 53204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 609.912
system time used= 2.26765
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42998
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= 7
involuntary context switches= 1887
runsolver used 0.939857 second user time and 1.2888 second system time
The end