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-3732706-1338696175.opb>
0.00/0.02 c original problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 3194 constraints
0.00/0.03 c start presolving problem
0.00/0.03 c presolving:
0.00/0.05 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.00/0.06 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.00/0.08 c (0.1s) probing: 101/792 (12.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.08 c presolving (3 rounds):
0.00/0.08 c 0 deleted vars, 60 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 20376 implications, 0 cliques
0.00/0.08 c presolved problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 3134 constraints
0.00/0.08 c 3134 constraints of type <logicor>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.04
0.00/0.08 c strange?!, PURESAT with obj
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/memory = c 13950
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/time = c 1791
0.00/0.08 c # frequency for displaying node information lines
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.08 c display/freq = c 10000
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving problem
0.00/0.08 c
0.08/0.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.16 c 0.1s| 1 | 0 | 1215 |6226k| 0 | 592 | 792 |3134 |3134 | 792 |3134 | 0 | 0 | 0 | 1.835000e+02 | -- | Inf
0.89/0.92 c 0.9s| 1 | 0 | 6241 |6286k| 0 | 587 | 792 |3134 |3134 | 792 |3140 | 6 | 0 | 0 | 1.886250e+02 | -- | Inf
0.99/1.00 c 1.0s| 1 | 0 | 6373 |6318k| 0 | 585 | 792 |3134 |3134 | 792 |3148 | 14 | 0 | 0 | 1.930000e+02 | -- | Inf
1.10/1.10 c 1.1s| 1 | 0 | 6581 |6436k| 0 | 581 | 792 |3134 |3134 | 792 |3156 | 22 | 0 | 0 | 1.958095e+02 | -- | Inf
1.19/1.21 c 1.2s| 1 | 0 | 6804 |6522k| 0 | 579 | 792 |3134 |3134 | 792 |3165 | 31 | 0 | 0 | 1.983452e+02 | -- | Inf
1.29/1.32 c 1.3s| 1 | 0 | 7045 |6642k| 0 | 576 | 792 |3134 |3134 | 792 |3174 | 40 | 0 | 0 | 2.014025e+02 | -- | Inf
1.39/1.46 c 1.4s| 1 | 0 | 7380 |6780k| 0 | 574 | 792 |3134 |3134 | 792 |3185 | 51 | 0 | 0 | 2.045493e+02 | -- | Inf
1.49/1.58 c 1.5s| 1 | 0 | 7628 |7063k| 0 | 581 | 792 |3134 |3134 | 792 |3202 | 68 | 0 | 0 | 2.066213e+02 | -- | Inf
1.69/1.76 c 1.7s| 1 | 0 | 7998 |7299k| 0 | 580 | 792 |3134 |3134 | 792 |3212 | 78 | 0 | 0 | 2.079407e+02 | -- | Inf
1.89/1.92 c 1.9s| 1 | 0 | 8304 |7723k| 0 | 580 | 792 |3134 |3134 | 792 |3222 | 88 | 0 | 0 | 2.091275e+02 | -- | Inf
1.98/2.10 c 2.0s| 1 | 0 | 8662 |7991k| 0 | 581 | 792 |3134 |3134 | 792 |3233 | 99 | 0 | 0 | 2.106255e+02 | -- | Inf
2.19/2.26 c 2.2s| 1 | 0 | 8931 |8268k| 0 | 575 | 792 |3134 |3134 | 792 |3247 | 113 | 0 | 0 | 2.114909e+02 | -- | Inf
2.39/2.44 c 2.4s| 1 | 0 | 9305 |8552k| 0 | 579 | 792 |3134 |3134 | 792 |3255 | 121 | 0 | 0 | 2.121746e+02 | -- | Inf
2.59/2.68 c 2.6s| 1 | 0 | 9716 |8891k| 0 | 574 | 792 |3134 |3134 | 792 |3264 | 130 | 0 | 0 | 2.134748e+02 | -- | Inf
2.89/2.90 c 2.8s| 1 | 0 | 10000 |9219k| 0 | 584 | 792 |3134 |3134 | 792 |3265 | 136 | 0 | 0 | 2.137017e+02 | -- | Inf
3.09/3.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.18 c 3.1s| 1 | 0 | 10269 |9485k| 0 | 581 | 792 |3134 |3134 | 792 |3272 | 143 | 0 | 0 | 2.138513e+02 | -- | Inf
3.39/3.46 c 3.4s| 1 | 0 | 10582 |9632k| 0 | 582 | 792 |3134 |3134 | 792 |3278 | 149 | 0 | 0 | 2.139304e+02 | -- | Inf
3.69/3.74 c 3.6s| 1 | 0 | 10826 |9780k| 0 | 576 | 792 |3134 |3134 | 792 |3284 | 155 | 0 | 0 | 2.140613e+02 | -- | Inf
3.89/3.99 c 3.9s| 1 | 0 | 11019 |9831k| 0 | 585 | 792 |3134 |3134 | 792 |3289 | 160 | 0 | 0 | 2.141459e+02 | -- | Inf
4.18/4.26 c 4.2s| 1 | 0 | 11200 |9926k| 0 | 579 | 792 |3134 |3134 | 792 |3292 | 163 | 0 | 0 | 2.141788e+02 | -- | Inf
4.49/4.50 c 4.4s| 1 | 0 | 11313 |9940k| 0 | 581 | 792 |3134 |3134 | 792 |3275 | 166 | 0 | 0 | 2.142006e+02 | -- | Inf
4.59/4.64 c 4.5s| 1 | 0 | 11392 |9944k| 0 | 582 | 792 |3134 |3134 | 792 |3279 | 170 | 0 | 0 | 2.142128e+02 | -- | Inf
4.69/4.76 c 4.6s| 1 | 0 | 11394 |9947k| 0 | 583 | 792 |3134 |3134 | 792 |3280 | 171 | 0 | 0 | 2.142128e+02 | -- | Inf
5.89/5.90 c 5.8s| 1 | 2 | 11394 |9948k| 0 | 583 | 792 |3134 |3134 | 792 |3280 | 171 | 0 | 22 | 2.142128e+02 | -- | Inf
19.88/19.94 o 338
19.88/19.94 c R19.7s| 11 | 10 | 12677 | 10M| 8 | 80 | 792 |3134 |2626 | 792 |3235 | 171 | 0 | 390 | 2.145395e+02 | 3.380000e+02 | 57.55%
20.08/20.14 o 331
20.08/20.14 c k19.9s| 11 | 12 | 12677 | 10M| 8 | 80 | 792 |3134 |2626 | 792 |3235 | 171 | 0 | 412 | 2.145395e+02 | 3.310000e+02 | 54.28%
20.38/20.49 o 327
20.38/20.49 c *20.3s| 14 | 11 | 12820 | 10M| 10 | - | 792 |3134 |2379 | 792 |3235 | 171 | 0 | 453 | 2.145395e+02 | 3.270000e+02 | 52.42%
20.69/20.77 o 319
20.69/20.77 c *20.6s| 15 | 10 | 12859 | 10M| 10 | - | 792 |3134 |2384 | 792 |3235 | 171 | 0 | 492 | 2.145395e+02 | 3.190000e+02 | 48.69%
20.69/20.77 o 318
20.69/20.77 c k20.6s| 15 | 10 | 12859 | 10M| 10 | - | 792 |3134 |2384 | 792 |3235 | 171 | 0 | 492 | 2.145395e+02 | 3.180000e+02 | 48.22%
31.68/31.70 o 316
31.68/31.70 c *31.4s| 41 | 10 | 15273 | 10M| 17 | - | 792 |3134 |2054 | 792 |3235 | 171 | 0 | 746 | 2.145395e+02 | 3.160000e+02 | 47.29%
31.68/31.70 o 314
31.68/31.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.68/31.70 c k31.4s| 41 | 10 | 15273 | 10M| 17 | - | 792 |3134 |2054 | 792 |3235 | 171 | 0 | 746 | 2.145395e+02 | 3.140000e+02 | 46.36%
32.28/32.37 o 313
32.28/32.37 c R32.1s| 114 | 11 | 17169 | 10M| 26 | 78 | 792 |3148 |2162 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 3.130000e+02 | 45.89%
32.28/32.37 o 305
32.28/32.37 c k32.1s| 114 | 13 | 17169 | 10M| 26 | 78 | 792 |3148 |2162 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 3.050000e+02 | 42.16%
32.39/32.42 o 304
32.39/32.42 c R32.2s| 124 | 11 | 17402 | 10M| 26 | 71 | 792 |3148 |2067 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 3.040000e+02 | 41.70%
32.39/32.42 o 302
32.39/32.42 c k32.2s| 124 | 13 | 17402 | 10M| 26 | 71 | 792 |3148 |2067 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 3.020000e+02 | 40.77%
32.39/32.44 o 298
32.39/32.44 c *32.2s| 129 | 12 | 17508 | 10M| 26 | - | 792 |3148 |2002 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 2.980000e+02 | 38.90%
32.39/32.44 o 297
32.39/32.44 c k32.2s| 129 | 12 | 17508 | 10M| 26 | - | 792 |3148 |2002 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 2.970000e+02 | 38.44%
32.39/32.46 o 296
32.39/32.46 c *32.2s| 136 | 11 | 17558 | 10M| 26 | - | 792 |3148 |1951 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 2.960000e+02 | 37.97%
32.39/32.46 o 295
32.39/32.46 c k32.2s| 136 | 11 | 17558 | 10M| 26 | - | 792 |3148 |1951 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 2.950000e+02 | 37.50%
57.27/57.36 o 294
57.27/57.36 c f56.9s| 1574 | 97 | 97699 | 10M| 35 | - | 792 |3207 |2809 | 792 |3235 | 171 | 95 |1159 | 2.203271e+02 | 2.940000e+02 | 33.44%
57.27/57.39 o 293
57.27/57.39 c k57.0s| 1575 | 98 | 97810 | 10M| 35 | 224 | 792 |3207 |2168 | 792 |3235 | 171 | 95 |1159 | 2.203271e+02 | 2.930000e+02 | 32.98%
58.78/58.81 o 284
58.78/58.81 c *58.4s| 1626 | 101 |102449 | 10M| 35 | - | 792 |3211 |2346 | 792 |3235 | 171 | 100 |1180 | 2.203271e+02 | 2.840000e+02 | 28.90%
58.78/58.81 o 283
58.78/58.81 c k58.4s| 1626 | 101 |102449 | 10M| 35 | - | 792 |3211 |2346 | 792 |3235 | 171 | 100 |1180 | 2.203271e+02 | 2.830000e+02 | 28.45%
188.26/188.37 c 187s| 10000 | 323 |579945 | 12M| 40 | 271 | 792 |3259 |2209 | 792 |3235 | 171 | 236 |2945 | 2.362038e+02 | 2.830000e+02 | 19.81%
331.54/331.63 c 329s| 20000 | 353 | 1109k| 12M| 42 | 243 | 792 |3256 |2290 | 792 |3235 | 171 | 318 |4727 | 2.510556e+02 | 2.830000e+02 | 12.72%
428.52/428.61 c
428.52/428.61 c SCIP Status : problem is solved [optimal solution found]
428.52/428.61 c Solving Time (sec) : 425.70
428.52/428.61 c Solving Nodes : 27938
428.52/428.61 c Primal Bound : +2.83000000000000e+02 (80 solutions)
428.52/428.61 c Dual Bound : +2.83000000000000e+02
428.52/428.61 c Gap : 0.00 %
428.52/428.61 c NODE 27938
428.52/428.61 c DUAL BOUND 283
428.52/428.61 c PRIMAL BOUND 283
428.52/428.61 c GAP 0
428.52/428.61 s OPTIMUM FOUND
428.52/428.61 v x792 -x791 -x790 x789 x788 -x787 x786 -x785 x784 -x783 x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 x771 x770
428.52/428.61 v -x769 -x768 -x767 x766 -x765 -x764 -x763 -x762 -x761 -x760 x759 x758 -x757 x756 -x755 -x754 x753 x752 -x751 x750 -x749 x748
428.52/428.61 v -x747 x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 x730 -x729 -x728 -x727 -x726
428.52/428.61 v -x725 -x724 x723 x722 -x721 x720 -x719 x718 -x717 x716 -x715 x714 -x713 x712 -x711 -x710 x709 -x708 -x707 x706 -x705 -x704
428.52/428.61 v x703 -x702 -x701 -x700 -x699 x698 -x697 x696 -x695 x694 -x693 x692 -x691 x690 -x689 x688 -x687 -x686 x685 -x684 -x683 x682
428.52/428.61 v -x681 -x680 -x679 -x678 -x677 -x676 x675 x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 x663 x662 -x661 -x660
428.52/428.61 v -x659 x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639
428.52/428.61 v -x638 x637 x636 -x635 -x634 x633 x632 -x631 x630 -x629 x628 -x627 x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616
428.52/428.61 v x615 x614 -x613 x612 -x611 x610 -x609 x608 -x607 x606 -x605 x604 -x603 -x602 x601 -x600 -x599 x598 -x597 -x596 -x595 -x594
428.52/428.61 v -x593 -x592 x591 x590 -x589 x588 -x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 -x578 x577 x576 -x575 -x574 -x573 x572
428.52/428.61 v -x571 x570 -x569 x568 -x567 -x566 x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 x554 -x553 -x552 -x551 x550
428.52/428.61 v -x549 -x548 -x547 -x546 -x545 -x544 x543 x542 -x541 x540 -x539 x538 -x537 x536 -x535 x534 -x533 x532 -x531 -x530 x529 x528 -x527
428.52/428.61 v x526 -x525 x524 -x523 x522 -x521 x520 -x519 -x518 x517 x516 -x515 x514 -x513 x512 -x511 x510 -x509 x508 -x507 -x506 x505
428.52/428.61 v x504 -x503 -x502 x501 x500 -x499 x498 -x497 x496 -x495 x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 x482
428.52/428.61 v -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461
428.52/428.61 v -x460 x459 x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 x446 -x445 x444 -x443 x442 -x441 x440 -x439
428.52/428.61 v x438 -x437 x436 -x435 -x434 x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 x418 -x417
428.52/428.61 v -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 x396 -x395
428.52/428.61 v x394 -x393 x392 -x391 x390 -x389 x388 -x387 -x386 x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374
428.52/428.61 v x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352
428.52/428.61 v x351 x350 -x349 x348 -x347 -x346 x345 x344 -x343 x342 -x341 x340 -x339 x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330
428.52/428.61 v -x329 -x328 -x327 -x326 x325 x324 -x323 x322 -x321 x320 -x319 x318 -x317 x316 -x315 -x314 x313 -x312 -x311 x310 -x309 -x308
428.52/428.61 v -x307 -x306 -x305 -x304 x303 x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 x290 -x289 -x288 -x287 x286
428.52/428.61 v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 x264
428.52/428.61 v -x263 x262 -x261 x260 -x259 x258 -x257 x256 -x255 -x254 x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
428.52/428.61 v x241 x240 -x239 -x238 x237 x236 -x235 x234 -x233 x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
428.52/428.61 v -x219 -x218 x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 x206 -x205 -x204 -x203 x202 -x201 -x200 -x199
428.52/428.61 v -x198 -x197 -x196 x195 -x194 -x193 -x192 x191 -x190 x189 x188 -x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176
428.52/428.61 v x175 x174 -x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154
428.52/428.61 v x153 x152 -x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132 x131
428.52/428.61 v x130 -x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 x110 -x109 -x108
428.52/428.61 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
428.52/428.61 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
428.52/428.61 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
428.52/428.61 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
428.52/428.61 c SCIP Status : problem is solved [optimal solution found]
428.52/428.61 c Solving Time : 425.70
428.52/428.61 c Original Problem :
428.52/428.61 c Problem name : HOME/instance-3732706-1338696175.opb
428.52/428.61 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
428.52/428.61 c Constraints : 3194 initial, 3194 maximal
428.52/428.61 c Presolved Problem :
428.52/428.61 c Problem name : t_HOME/instance-3732706-1338696175.opb
428.52/428.61 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
428.52/428.61 c Constraints : 3134 initial, 3301 maximal
428.52/428.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
428.52/428.61 c trivial : 0.00 0 0 0 0 0 0 0 0
428.52/428.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
428.52/428.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
428.52/428.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
428.52/428.61 c implics : 0.00 0 0 0 0 0 0 0 0
428.52/428.61 c probing : 0.01 0 0 0 0 0 0 0 0
428.52/428.61 c linear : 0.01 0 0 0 0 0 60 0 0
428.52/428.61 c logicor : 0.01 0 0 0 0 0 0 0 0
428.52/428.61 c root node : - 23 - - 23 - - - -
428.52/428.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
428.52/428.61 c integral : 0 0 0 14594 0 57 1885 0 0 27954
428.52/428.61 c logicor : 3134+ 23 123536 6 0 193 916541 0 0 0
428.52/428.61 c countsols : 0 0 0 6 0 0 0 0 0 0
428.52/428.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
428.52/428.61 c integral : 115.10 0.00 0.00 115.10 0.00
428.52/428.61 c logicor : 1.51 0.00 1.51 0.00 0.00
428.52/428.61 c countsols : 0.00 0.00 0.00 0.00 0.00
428.52/428.61 c Propagators : Time Calls Cutoffs DomReds
428.52/428.61 c rootredcost : 0.02 11 0 0
428.52/428.61 c pseudoobj : 1.58 134396 3 29
428.52/428.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
428.52/428.61 c propagation : 0.00 193 193 348 15.8 20 6.0 -
428.52/428.61 c infeasible LP : 0.00 24 24 85 22.8 1 2.0 0
428.52/428.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
428.52/428.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
428.52/428.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
428.52/428.61 c applied globally : - - - 391 9.7 - - -
428.52/428.61 c applied locally : - - - 0 0.0 - - -
428.52/428.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
428.52/428.61 c cut pool : 0.01 22 - - 435 - (maximal pool size: 1870)
428.52/428.61 c redcost : 0.24 15827 0 3573 0 0
428.52/428.61 c impliedbounds : 0.00 23 0 0 0 0
428.52/428.61 c intobj : 0.00 0 0 0 0 0
428.52/428.61 c gomory : 1.62 23 0 0 7410 0
428.52/428.61 c strongcg : 0.95 20 0 0 8454 0
428.52/428.61 c cmir : 0.11 10 0 0 0 0
428.52/428.61 c flowcover : 0.10 10 0 0 0 0
428.52/428.61 c clique : 0.00 1 0 0 0 0
428.52/428.61 c zerohalf : 0.00 0 0 0 0 0
428.52/428.61 c mcf : 0.01 1 0 0 0 0
428.52/428.61 c Pricers : Time Calls Vars
428.52/428.61 c problem variables: 0.00 0 0
428.52/428.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
428.52/428.61 c relpscost : 115.10 14588 57 1885 0 0 27954
428.52/428.61 c pscost : 0.00 0 0 0 0 0 0
428.52/428.61 c inference : 0.00 0 0 0 0 0 0
428.52/428.61 c mostinf : 0.00 0 0 0 0 0 0
428.52/428.61 c leastinf : 0.00 0 0 0 0 0 0
428.52/428.61 c fullstrong : 0.00 0 0 0 0 0 0
428.52/428.61 c allfullstrong : 0.00 0 0 0 0 0 0
428.52/428.61 c random : 0.00 0 0 0 0 0 0
428.52/428.61 c Primal Heuristics : Time Calls Found
428.52/428.61 c LP solutions : 0.00 - 6
428.52/428.61 c pseudo solutions : 0.00 - 0
428.52/428.61 c oneopt : 0.02 11 9
428.52/428.61 c feaspump : 0.65 1 0
428.52/428.61 c fracdiving : 1.83 17 1
428.52/428.61 c coefdiving : 1.03 17 0
428.52/428.61 c veclendiving : 1.18 17 0
428.52/428.61 c linesearchdiving : 2.33 17 0
428.52/428.61 c guideddiving : 1.59 17 0
428.52/428.61 c objpscostdiving : 2.91 9 7
428.52/428.61 c rootsoldiving : 1.72 9 7
428.52/428.61 c crossover : 0.16 6 0
428.52/428.61 c pscostdiving : 1.94 18 0
428.52/428.61 c simplerounding : 0.03 0 0
428.52/428.61 c rounding : 1.74 8341 3
428.52/428.61 c shifting : 0.94 1478 47
428.52/428.61 c intshifting : 0.00 0 0
428.52/428.61 c fixandinfer : 0.00 0 0
428.52/428.61 c intdiving : 0.00 0 0
428.52/428.61 c actconsdiving : 0.00 0 0
428.52/428.61 c octane : 0.00 0 0
428.52/428.61 c rens : 0.00 0 0
428.52/428.61 c rins : 0.00 0 0
428.52/428.61 c localbranching : 0.00 0 0
428.52/428.61 c mutation : 0.00 0 0
428.52/428.61 c dins : 0.00 0 0
428.52/428.61 c LP : Time Calls Iterations Iter/call Iter/sec
428.52/428.61 c primal LP : 0.01 0 0 0.00 0.00
428.52/428.61 c dual LP : 277.03 28344 1418986 50.06 5122.14
428.52/428.61 c barrier LP : 0.00 0 0 0.00 -
428.52/428.61 c diving/probing LP: 14.45 2056 72752 35.39 5034.74
428.52/428.61 c strong branching : 114.17 5824 520756 89.42 4561.23
428.52/428.61 c (at root node) : - 22 4001 181.86 -
428.52/428.61 c conflict analysis: 0.00 0 0 0.00 -
428.52/428.61 c B&B Tree :
428.52/428.61 c number of runs : 1
428.52/428.61 c nodes : 27938
428.52/428.61 c nodes (total) : 27938
428.52/428.61 c nodes left : 0
428.52/428.61 c max depth : 43
428.52/428.61 c max depth (total): 43
428.52/428.61 c backtracks : 3500 (12.5%)
428.52/428.61 c delayed cutoffs : 10
428.52/428.61 c repropagations : 1157 (3366 domain reductions, 1 cutoffs)
428.52/428.61 c avg switch length: 3.45
428.52/428.61 c switching time : 1.97
428.52/428.61 c Solution :
428.52/428.61 c Solutions found : 80 (19 improvements)
428.52/428.61 c Primal Bound : +2.83000000000000e+02 (in run 1, after 1626 nodes, 58.36 seconds, depth 16, found by <oneopt>)
428.52/428.61 c Dual Bound : +2.83000000000000e+02
428.52/428.61 c Gap : 0.00 %
428.52/428.61 c Root Dual Bound : +2.14212816608916e+02
428.52/428.62 c Time complete: 428.54.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732706-1338696175/watcher-3732706-1338696175 -o /tmp/evaluation-result-3732706-1338696175/solver-3732706-1338696175 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3732706-1338696175.opb
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 21717
/proc/meminfo: memFree=27282028/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=8236 CPUtime=0 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 1444 0 0 0 0 0 0 0 20 0 1 0 335742562 8433664 1397 33554432000 4194304 7823515 140734035264272 140736943268488 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 2059 1397 337 887 0 1169 0
[startup+0.081289 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 21717
/proc/meminfo: memFree=27282028/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=21220 CPUtime=0.07 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 4759 0 0 0 7 0 0 0 20 0 1 0 335742562 21729280 4358 33554432000 4194304 7823515 140734035264272 140734035260456 5878822 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 5305 4389 476 887 0 4415 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21220
[startup+0.100304 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 21717
/proc/meminfo: memFree=27282028/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=23568 CPUtime=0.08 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 5433 0 0 0 8 0 0 0 20 0 1 0 335742562 24133632 5018 33554432000 4194304 7823515 140734035264272 140734035260456 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 5892 5018 506 887 0 5002 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23568
[startup+0.300245 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 21717
/proc/meminfo: memFree=27282028/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=24980 CPUtime=0.29 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 5862 0 0 0 28 1 0 0 20 0 1 0 335742562 25579520 5387 33554432000 4194304 7823515 140734035264272 140734035260456 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 6245 5387 521 887 0 5355 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24980
[startup+0.700236 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 21717
/proc/meminfo: memFree=27282028/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=24980 CPUtime=0.69 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 5863 0 0 0 68 1 0 0 20 0 1 0 335742562 25579520 5388 33554432000 4194304 7823515 140734035264272 140734035260456 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 6245 5388 521 887 0 5355 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24980
[startup+1.50026 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21718
/proc/meminfo: memFree=27260080/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=30300 CPUtime=1.49 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 7283 0 0 0 146 3 0 0 20 0 1 0 335742562 31027200 6751 33554432000 4194304 7823515 140734035264272 140734035260072 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 7575 6751 547 887 0 6685 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30300
[startup+3.10026 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21718
/proc/meminfo: memFree=27253012/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=37620 CPUtime=3.09 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 9244 0 0 0 302 7 0 0 20 0 1 0 335742562 38522880 8664 33554432000 4194304 7823515 140734035264272 140734035259464 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 9405 8664 548 887 0 8515 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37620
[startup+6.30024 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21718
/proc/meminfo: memFree=27246316/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=40352 CPUtime=6.29 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 9912 0 0 0 618 11 0 0 20 0 1 0 335742562 41320448 9368 33554432000 4194304 7823515 140734035264272 140734035258968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10088 9368 553 887 0 9198 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40352
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21718
/proc/meminfo: memFree=27245840/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=40352 CPUtime=12.69 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 9912 0 0 0 1255 14 0 0 20 0 1 0 335742562 41320448 9368 33554432000 4194304 7823515 140734035264272 140734035259320 6234801 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10088 9368 553 887 0 9198 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40352
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21718
/proc/meminfo: memFree=27245080/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=40352 CPUtime=25.49 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 9918 0 0 0 2529 20 0 0 20 0 1 0 335742562 41320448 9623 33554432000 4194304 7823515 140734035264272 140734035258968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10088 9623 555 887 0 9198 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40352
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21718
/proc/meminfo: memFree=27246308/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=38688 CPUtime=51.08 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 14439 0 0 0 5071 37 0 0 20 0 1 0 335742562 39616512 9283 33554432000 4194304 7823515 140734035264272 140734035259960 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 9672 9283 569 887 0 8782 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38688
[startup+102.306 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 21718
/proc/meminfo: memFree=27245440/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=39604 CPUtime=102.27 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 20209 0 0 0 10159 68 0 0 20 0 1 0 335742562 40554496 9507 33554432000 4194304 7823515 140734035264272 140734035259608 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 9901 9507 579 887 0 9011 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39604
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21719
/proc/meminfo: memFree=27243576/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=40128 CPUtime=162.26 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 23491 0 0 0 16120 106 0 0 20 0 1 0 335742562 41091072 9644 33554432000 4194304 7823515 140734035264272 140734035259432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10032 9644 579 887 0 9142 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 40128
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21719
/proc/meminfo: memFree=27243080/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=40464 CPUtime=222.25 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 24390 0 0 0 22078 147 0 0 20 0 1 0 335742562 41435136 9696 33554432000 4194304 7823515 140734035264272 140734035259320 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10116 9696 579 887 0 9226 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 40464
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21719
/proc/meminfo: memFree=27240348/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=41428 CPUtime=282.25 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 27743 0 0 0 28038 187 0 0 20 0 1 0 335742562 42422272 9923 33554432000 4194304 7823515 140734035264272 140734035259320 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10357 9923 579 887 0 9467 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 41428
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21719
/proc/meminfo: memFree=27239356/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=41428 CPUtime=342.23 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 27762 0 0 0 33998 225 0 0 20 0 1 0 335742562 42422272 9942 33554432000 4194304 7823515 140734035264272 140734035259608 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10357 9942 579 887 0 9467 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 41428
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 21719
/proc/meminfo: memFree=27238548/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=41628 CPUtime=402.23 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 27861 0 0 0 39957 266 0 0 20 0 1 0 335742562 42627072 10041 33554432000 4194304 7823515 140734035264272 140734035259432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10407 10041 579 887 0 9517 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 41628
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 21795
/proc/meminfo: memFree=27290176/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=41628 CPUtime=409.42 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 27861 0 0 0 40671 271 0 0 20 0 1 0 335742562 42627072 10041 33554432000 4194304 7823515 140734035264272 140734035258968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10407 10041 579 887 0 9517 0
Current children cumulated CPU time (s) 409.42
Current children cumulated vsize (KiB) 41628
[startup+422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 21833
/proc/meminfo: memFree=27235508/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=41120 CPUtime=422.23 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 28420 0 0 0 41945 278 0 0 20 0 1 0 335742562 42106880 9895 33554432000 4194304 7823515 140734035264272 140734035259320 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10280 9895 579 887 0 9390 0
Current children cumulated CPU time (s) 422.23
Current children cumulated vsize (KiB) 41120
[startup+425.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21834
/proc/meminfo: memFree=27230912/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=41332 CPUtime=425.42 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 28468 0 0 0 42262 280 0 0 20 0 1 0 335742562 42323968 9943 33554432000 4194304 7823515 140734035264272 140734035259384 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10333 9943 579 887 0 9443 0
Current children cumulated CPU time (s) 425.42
Current children cumulated vsize (KiB) 41332
[startup+427.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 21837
/proc/meminfo: memFree=27217592/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=41332 CPUtime=427.02 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 28470 0 0 0 42421 281 0 0 20 0 1 0 335742562 42323968 9943 33554432000 4194304 7823515 140734035264272 140734035258968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10333 9943 579 887 0 9443 0
Current children cumulated CPU time (s) 427.02
Current children cumulated vsize (KiB) 41332
[startup+427.906 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 21837
/proc/meminfo: memFree=27213376/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=41568 CPUtime=427.83 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 28472 0 0 0 42502 281 0 0 20 0 1 0 335742562 42565632 9945 33554432000 4194304 7823515 140734035264272 140734035258968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10392 9945 579 887 0 9502 0
Current children cumulated CPU time (s) 427.83
Current children cumulated vsize (KiB) 41568
[startup+428.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 21837
/proc/meminfo: memFree=27213376/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=41568 CPUtime=428.22 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 28472 0 0 0 42541 281 0 0 20 0 1 0 335742562 42565632 9945 33554432000 4194304 7823515 140734035264272 140734035258968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10392 9945 579 887 0 9502 0
Current children cumulated CPU time (s) 428.22
Current children cumulated vsize (KiB) 41568
[startup+428.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 21837
/proc/meminfo: memFree=27213376/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=41568 CPUtime=428.43 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 28473 0 0 0 42561 282 0 0 20 0 1 0 335742562 42565632 9946 33554432000 4194304 7823515 140734035264272 140734035258968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10392 9946 579 887 0 9502 0
Current children cumulated CPU time (s) 428.43
Current children cumulated vsize (KiB) 41568
[startup+428.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 21837
/proc/meminfo: memFree=27213376/32873844 swapFree=7116/7116
[pid=21717] ppid=21715 vsize=41568 CPUtime=428.52 cores=0,2,4,6
/proc/21717/stat : 21717 (pbscip.linux.x8) R 21715 21717 10620 0 -1 4202496 28474 0 0 0 42570 282 0 0 20 0 1 0 335742562 42565632 9947 33554432000 4194304 7823515 140734035264272 140734035258968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21717/statm: 10392 9947 579 887 0 9502 0
Current children cumulated CPU time (s) 428.52
Current children cumulated vsize (KiB) 41568
Child status: 0
Real time (s): 428.622
CPU time (s): 428.553
CPU user time (s): 425.727
CPU system time (s): 2.82557
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 41628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 425.727
system time used= 2.82557
maximum resident set size= 51120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28479
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= 15
involuntary context switches= 514
runsolver used 0.612906 second user time and 1.72974 second system time
The end