0.00/0.05 c SCIP version 1.1.0.7
0.00/0.05 c LP-Solver SoPlex 1.4.1
0.00/0.05 c user parameter file <scip.set> not found - using default parameters
0.00/0.05 c read problem <HOME/instance-1869126-1245159896.opb>
0.00/0.05 c original problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 3194 constraints
0.00/0.07 c start presolving problem
0.00/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.10
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.39/0.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.40 c 0.3s| 1 | 0 | 1215 |6226k| 0 | 592 | 792 |3134 |3134 | 792 |3134 | 0 | 0 | 0 | 1.835000e+02 | -- | Inf
2.09/2.16 c 2.0s| 1 | 0 | 6241 |6286k| 0 | 587 | 792 |3134 |3134 | 792 |3140 | 6 | 0 | 0 | 1.886250e+02 | -- | Inf
2.29/2.37 c 2.2s| 1 | 0 | 6373 |6318k| 0 | 585 | 792 |3134 |3134 | 792 |3148 | 14 | 0 | 0 | 1.930000e+02 | -- | Inf
2.59/2.61 c 2.5s| 1 | 0 | 6581 |6436k| 0 | 581 | 792 |3134 |3134 | 792 |3156 | 22 | 0 | 0 | 1.958095e+02 | -- | Inf
2.79/2.87 c 2.8s| 1 | 0 | 6804 |6522k| 0 | 579 | 792 |3134 |3134 | 792 |3165 | 31 | 0 | 0 | 1.983452e+02 | -- | Inf
3.09/3.13 c 3.0s| 1 | 0 | 7045 |6642k| 0 | 576 | 792 |3134 |3134 | 792 |3174 | 40 | 0 | 0 | 2.014025e+02 | -- | Inf
3.39/3.45 c 3.3s| 1 | 0 | 7380 |6780k| 0 | 574 | 792 |3134 |3134 | 792 |3185 | 51 | 0 | 0 | 2.045493e+02 | -- | Inf
3.69/3.74 c 3.6s| 1 | 0 | 7628 |7063k| 0 | 581 | 792 |3134 |3134 | 792 |3202 | 68 | 0 | 0 | 2.066213e+02 | -- | Inf
4.09/4.17 c 4.0s| 1 | 0 | 7998 |7299k| 0 | 580 | 792 |3134 |3134 | 792 |3212 | 78 | 0 | 0 | 2.079407e+02 | -- | Inf
4.49/4.56 c 4.4s| 1 | 0 | 8304 |7723k| 0 | 580 | 792 |3134 |3134 | 792 |3222 | 88 | 0 | 0 | 2.091275e+02 | -- | Inf
4.99/5.00 c 4.8s| 1 | 0 | 8662 |7991k| 0 | 581 | 792 |3134 |3134 | 792 |3233 | 99 | 0 | 0 | 2.106255e+02 | -- | Inf
5.29/5.39 c 5.2s| 1 | 0 | 8931 |8268k| 0 | 575 | 792 |3134 |3134 | 792 |3247 | 113 | 0 | 0 | 2.114909e+02 | -- | Inf
5.79/5.83 c 5.7s| 1 | 0 | 9305 |8552k| 0 | 579 | 792 |3134 |3134 | 792 |3255 | 121 | 0 | 0 | 2.121746e+02 | -- | Inf
6.39/6.42 c 6.3s| 1 | 0 | 9716 |8891k| 0 | 574 | 792 |3134 |3134 | 792 |3264 | 130 | 0 | 0 | 2.134748e+02 | -- | Inf
6.89/6.97 c 6.8s| 1 | 0 | 10000 |9219k| 0 | 584 | 792 |3134 |3134 | 792 |3265 | 136 | 0 | 0 | 2.137017e+02 | -- | Inf
7.59/7.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.59/7.67 c 7.5s| 1 | 0 | 10269 |9485k| 0 | 581 | 792 |3134 |3134 | 792 |3272 | 143 | 0 | 0 | 2.138513e+02 | -- | Inf
8.29/8.39 c 8.2s| 1 | 0 | 10582 |9632k| 0 | 582 | 792 |3134 |3134 | 792 |3278 | 149 | 0 | 0 | 2.139304e+02 | -- | Inf
8.99/9.08 c 8.9s| 1 | 0 | 10826 |9780k| 0 | 576 | 792 |3134 |3134 | 792 |3284 | 155 | 0 | 0 | 2.140613e+02 | -- | Inf
9.69/9.73 c 9.5s| 1 | 0 | 11019 |9831k| 0 | 585 | 792 |3134 |3134 | 792 |3289 | 160 | 0 | 0 | 2.141459e+02 | -- | Inf
10.39/10.44 c 10.2s| 1 | 0 | 11200 |9926k| 0 | 579 | 792 |3134 |3134 | 792 |3292 | 163 | 0 | 0 | 2.141788e+02 | -- | Inf
11.00/11.07 c 10.8s| 1 | 0 | 11313 |9940k| 0 | 581 | 792 |3134 |3134 | 792 |3275 | 166 | 0 | 0 | 2.142006e+02 | -- | Inf
11.39/11.42 c 11.2s| 1 | 0 | 11392 |9944k| 0 | 582 | 792 |3134 |3134 | 792 |3279 | 170 | 0 | 0 | 2.142128e+02 | -- | Inf
11.69/11.74 c 11.5s| 1 | 0 | 11394 |9947k| 0 | 583 | 792 |3134 |3134 | 792 |3280 | 171 | 0 | 0 | 2.142128e+02 | -- | Inf
14.39/14.40 c 14.2s| 1 | 2 | 11394 |9948k| 0 | 583 | 792 |3134 |3134 | 792 |3280 | 171 | 0 | 22 | 2.142128e+02 | -- | Inf
46.38/46.40 o 338
46.38/46.40 c R46.0s| 11 | 10 | 12677 | 10M| 8 | 80 | 792 |3134 |2626 | 792 |3235 | 171 | 0 | 390 | 2.145395e+02 | 3.380000e+02 | 57.55%
46.78/46.84 o 331
46.78/46.84 c k46.4s| 11 | 12 | 12677 | 10M| 8 | 80 | 792 |3134 |2626 | 792 |3235 | 171 | 0 | 412 | 2.145395e+02 | 3.310000e+02 | 54.28%
47.58/47.64 o 327
47.58/47.64 c *47.2s| 14 | 11 | 12820 | 10M| 10 | - | 792 |3134 |2379 | 792 |3235 | 171 | 0 | 453 | 2.145395e+02 | 3.270000e+02 | 52.42%
48.18/48.30 o 319
48.18/48.30 c *47.9s| 15 | 10 | 12859 | 10M| 10 | - | 792 |3134 |2384 | 792 |3235 | 171 | 0 | 492 | 2.145395e+02 | 3.190000e+02 | 48.69%
48.18/48.30 o 318
48.18/48.30 c k47.9s| 15 | 10 | 12859 | 10M| 10 | - | 792 |3134 |2384 | 792 |3235 | 171 | 0 | 492 | 2.145395e+02 | 3.180000e+02 | 48.22%
73.27/73.30 o 316
73.27/73.30 c *72.8s| 41 | 10 | 15273 | 10M| 17 | - | 792 |3134 |2054 | 792 |3235 | 171 | 0 | 746 | 2.145395e+02 | 3.160000e+02 | 47.29%
73.27/73.30 o 314
73.27/73.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.27/73.30 c k72.8s| 41 | 10 | 15273 | 10M| 17 | - | 792 |3134 |2054 | 792 |3235 | 171 | 0 | 746 | 2.145395e+02 | 3.140000e+02 | 46.36%
74.87/74.92 o 313
74.87/74.92 c R74.4s| 114 | 11 | 17169 | 10M| 26 | 78 | 792 |3148 |2162 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 3.130000e+02 | 45.89%
74.87/74.92 o 305
74.87/74.92 c k74.4s| 114 | 13 | 17169 | 10M| 26 | 78 | 792 |3148 |2162 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 3.050000e+02 | 42.16%
74.97/75.04 o 304
74.97/75.04 c R74.5s| 124 | 11 | 17402 | 10M| 26 | 71 | 792 |3148 |2067 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 3.040000e+02 | 41.70%
74.97/75.04 o 302
74.97/75.04 c k74.5s| 124 | 13 | 17402 | 10M| 26 | 71 | 792 |3148 |2067 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 3.020000e+02 | 40.77%
74.97/75.09 o 298
74.97/75.09 c *74.5s| 129 | 12 | 17508 | 10M| 26 | - | 792 |3148 |2002 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 2.980000e+02 | 38.90%
74.97/75.09 o 297
74.97/75.09 c k74.5s| 129 | 12 | 17508 | 10M| 26 | - | 792 |3148 |2002 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 2.970000e+02 | 38.44%
75.07/75.14 o 296
75.07/75.14 c *74.6s| 136 | 11 | 17558 | 10M| 26 | - | 792 |3148 |1951 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 2.960000e+02 | 37.97%
75.07/75.14 o 295
75.07/75.14 c k74.6s| 136 | 11 | 17558 | 10M| 26 | - | 792 |3148 |1951 | 792 |3235 | 171 | 14 | 755 | 2.145395e+02 | 2.950000e+02 | 37.50%
133.75/133.84 o 294
133.75/133.84 c f 133s| 1574 | 97 | 97699 | 10M| 35 | - | 792 |3207 |2809 | 792 |3235 | 171 | 95 |1159 | 2.203271e+02 | 2.940000e+02 | 33.44%
133.85/133.90 o 293
133.85/133.90 c k 133s| 1575 | 98 | 97810 | 10M| 35 | 224 | 792 |3207 |2168 | 792 |3235 | 171 | 95 |1159 | 2.203271e+02 | 2.930000e+02 | 32.98%
137.16/137.22 o 284
137.16/137.22 c * 136s| 1626 | 101 |102449 | 10M| 35 | - | 792 |3211 |2346 | 792 |3235 | 171 | 100 |1180 | 2.203271e+02 | 2.840000e+02 | 28.90%
137.16/137.22 o 283
137.16/137.22 c k 136s| 1626 | 101 |102449 | 10M| 35 | - | 792 |3211 |2346 | 792 |3235 | 171 | 100 |1180 | 2.203271e+02 | 2.830000e+02 | 28.45%
441.89/442.04 c 439s| 10000 | 323 |579945 | 12M| 40 | 271 | 792 |3259 |2209 | 792 |3235 | 171 | 236 |2945 | 2.362038e+02 | 2.830000e+02 | 19.81%
779.10/779.36 c 774s| 20000 | 353 | 1109k| 12M| 42 | 243 | 792 |3256 |2290 | 792 |3235 | 171 | 318 |4727 | 2.510556e+02 | 2.830000e+02 | 12.72%
1008.35/1008.68 c
1008.35/1008.68 c SCIP Status : problem is solved [optimal solution found]
1008.35/1008.68 c Solving Time (sec) : 1002.27
1008.35/1008.68 c Solving Nodes : 27938
1008.35/1008.68 c Primal Bound : +2.83000000000000e+02 (80 solutions)
1008.35/1008.68 c Dual Bound : +2.83000000000000e+02
1008.35/1008.68 c Gap : 0.00 %
1008.35/1008.68 c NODE 27938
1008.35/1008.68 c DUAL BOUND 283
1008.35/1008.68 c PRIMAL BOUND 283
1008.35/1008.68 c GAP 0
1008.35/1008.68 s OPTIMUM FOUND
1008.35/1008.68 v x792 -x791 -x790 x789 x788 -x787 x786 -x785 x784 -x783 x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 x771 x770
1008.35/1008.68 v -x769 -x768 -x767 x766 -x765 -x764 -x763 -x762 -x761 -x760 x759 x758 -x757 x756 -x755 -x754 x753 x752 -x751 x750 -x749 x748
1008.35/1008.68 v -x747 x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 x730 -x729 -x728 -x727 -x726
1008.35/1008.68 v -x725 -x724 x723 x722 -x721 x720 -x719 x718 -x717 x716 -x715 x714 -x713 x712 -x711 -x710 x709 -x708 -x707 x706 -x705 -x704
1008.35/1008.68 v x703 -x702 -x701 -x700 -x699 x698 -x697 x696 -x695 x694 -x693 x692 -x691 x690 -x689 x688 -x687 -x686 x685 -x684 -x683 x682
1008.35/1008.68 v -x681 -x680 -x679 -x678 -x677 -x676 x675 x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 x663 x662 -x661 -x660
1008.35/1008.68 v -x659 x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639
1008.35/1008.68 v -x638 x637 x636 -x635 -x634 x633 x632 -x631 x630 -x629 x628 -x627 x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616
1008.35/1008.68 v x615 x614 -x613 x612 -x611 x610 -x609 x608 -x607 x606 -x605 x604 -x603 -x602 x601 -x600 -x599 x598 -x597 -x596 -x595 -x594
1008.35/1008.68 v -x593 -x592 x591 x590 -x589 x588 -x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 -x578 x577 x576 -x575 -x574 -x573 x572
1008.35/1008.68 v -x571 x570 -x569 x568 -x567 -x566 x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 x554 -x553 -x552 -x551 x550
1008.35/1008.68 v -x549 -x548 -x547 -x546 -x545 -x544 x543 x542 -x541 x540 -x539 x538 -x537 x536 -x535 x534 -x533 x532 -x531 -x530 x529 x528 -x527
1008.35/1008.68 v x526 -x525 x524 -x523 x522 -x521 x520 -x519 -x518 x517 x516 -x515 x514 -x513 x512 -x511 x510 -x509 x508 -x507 -x506 x505
1008.35/1008.68 v x504 -x503 -x502 x501 x500 -x499 x498 -x497 x496 -x495 x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 x482
1008.35/1008.68 v -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461
1008.35/1008.68 v -x460 x459 x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 x446 -x445 x444 -x443 x442 -x441 x440 -x439
1008.35/1008.68 v x438 -x437 x436 -x435 -x434 x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 x418 -x417
1008.35/1008.68 v -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 x396 -x395
1008.35/1008.68 v x394 -x393 x392 -x391 x390 -x389 x388 -x387 -x386 x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374
1008.35/1008.68 v x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352
1008.35/1008.68 v x351 x350 -x349 x348 -x347 -x346 x345 x344 -x343 x342 -x341 x340 -x339 x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330
1008.35/1008.68 v -x329 -x328 -x327 -x326 x325 x324 -x323 x322 -x321 x320 -x319 x318 -x317 x316 -x315 -x314 x313 -x312 -x311 x310 -x309 -x308
1008.35/1008.68 v -x307 -x306 -x305 -x304 x303 x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 x290 -x289 -x288 -x287 x286
1008.35/1008.68 v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 x264
1008.35/1008.68 v -x263 x262 -x261 x260 -x259 x258 -x257 x256 -x255 -x254 x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
1008.35/1008.68 v x241 x240 -x239 -x238 x237 x236 -x235 x234 -x233 x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
1008.35/1008.68 v -x219 -x218 x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 x206 -x205 -x204 -x203 x202 -x201 -x200 -x199
1008.35/1008.68 v -x198 -x197 -x196 x195 -x194 -x193 -x192 x191 -x190 x189 x188 -x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176
1008.35/1008.68 v x175 x174 -x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154
1008.35/1008.68 v x153 x152 -x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132 x131
1008.35/1008.68 v x130 -x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 x110 -x109 -x108
1008.35/1008.68 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
1008.35/1008.68 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
1008.35/1008.68 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
1008.35/1008.68 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
1008.35/1008.68 c SCIP Status : problem is solved [optimal solution found]
1008.35/1008.68 c Solving Time : 1002.27
1008.35/1008.68 c Original Problem :
1008.35/1008.68 c Problem name : HOME/instance-1869126-1245159896.opb
1008.35/1008.68 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
1008.35/1008.68 c Constraints : 3194 initial, 3194 maximal
1008.35/1008.68 c Presolved Problem :
1008.35/1008.68 c Problem name : t_HOME/instance-1869126-1245159896.opb
1008.35/1008.68 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
1008.35/1008.68 c Constraints : 3134 initial, 3301 maximal
1008.35/1008.68 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1008.35/1008.68 c trivial : 0.00 0 0 0 0 0 0 0 0
1008.35/1008.68 c dualfix : 0.00 0 0 0 0 0 0 0 0
1008.35/1008.68 c boundshift : 0.00 0 0 0 0 0 0 0 0
1008.35/1008.68 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1008.35/1008.68 c implics : 0.00 0 0 0 0 0 0 0 0
1008.35/1008.68 c probing : 0.03 0 0 0 0 0 0 0 0
1008.35/1008.68 c linear : 0.03 0 0 0 0 0 60 0 0
1008.35/1008.68 c logicor : 0.03 0 0 0 0 0 0 0 0
1008.35/1008.68 c root node : - 23 - - 23 - - - -
1008.35/1008.68 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1008.35/1008.68 c integral : 0 0 0 14594 0 57 1885 0 0 27954
1008.35/1008.68 c logicor : 3134+ 23 123536 6 0 193 916541 0 0 0
1008.35/1008.68 c countsols : 0 0 0 6 0 0 0 0 0 0
1008.35/1008.68 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1008.35/1008.68 c integral : 265.26 0.00 0.00 265.26 0.00
1008.35/1008.68 c logicor : 5.50 0.00 5.50 0.00 0.00
1008.35/1008.68 c countsols : 0.00 0.00 0.00 0.00 0.00
1008.35/1008.68 c Propagators : Time Calls Cutoffs DomReds
1008.35/1008.68 c rootredcost : 0.14 11 0 0
1008.35/1008.68 c pseudoobj : 5.54 134396 3 29
1008.35/1008.68 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1008.35/1008.68 c propagation : 0.00 193 193 348 15.8 20 6.0 -
1008.35/1008.68 c infeasible LP : 0.00 24 24 85 22.8 1 2.0 0
1008.35/1008.68 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1008.35/1008.68 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1008.35/1008.68 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1008.35/1008.68 c applied globally : - - - 391 9.7 - - -
1008.35/1008.68 c applied locally : - - - 0 0.0 - - -
1008.35/1008.68 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1008.35/1008.68 c cut pool : 0.03 22 - - 435 - (maximal pool size: 1870)
1008.35/1008.68 c redcost : 0.57 15827 0 3573 0 0
1008.35/1008.68 c impliedbounds : 0.00 23 0 0 0 0
1008.35/1008.68 c intobj : 0.00 0 0 0 0 0
1008.35/1008.68 c gomory : 4.18 23 0 0 7410 0
1008.35/1008.68 c strongcg : 2.61 20 0 0 8454 0
1008.35/1008.68 c cmir : 0.25 10 0 0 0 0
1008.35/1008.68 c flowcover : 0.18 10 0 0 0 0
1008.35/1008.68 c clique : 0.01 1 0 0 0 0
1008.35/1008.68 c zerohalf : 0.00 0 0 0 0 0
1008.35/1008.68 c mcf : 0.01 1 0 0 0 0
1008.35/1008.68 c Pricers : Time Calls Vars
1008.35/1008.68 c problem variables: 0.00 0 0
1008.35/1008.68 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1008.35/1008.68 c relpscost : 265.21 14588 57 1885 0 0 27954
1008.35/1008.68 c pscost : 0.00 0 0 0 0 0 0
1008.35/1008.68 c inference : 0.00 0 0 0 0 0 0
1008.35/1008.68 c mostinf : 0.00 0 0 0 0 0 0
1008.35/1008.68 c leastinf : 0.00 0 0 0 0 0 0
1008.35/1008.68 c fullstrong : 0.00 0 0 0 0 0 0
1008.35/1008.68 c allfullstrong : 0.00 0 0 0 0 0 0
1008.35/1008.68 c random : 0.00 0 0 0 0 0 0
1008.35/1008.68 c Primal Heuristics : Time Calls Found
1008.35/1008.68 c LP solutions : 0.00 - 6
1008.35/1008.68 c pseudo solutions : 0.00 - 0
1008.35/1008.68 c oneopt : 0.05 11 9
1008.35/1008.68 c feaspump : 1.51 1 0
1008.35/1008.68 c fracdiving : 4.42 17 1
1008.35/1008.68 c coefdiving : 2.55 17 0
1008.35/1008.68 c veclendiving : 2.86 17 0
1008.35/1008.68 c linesearchdiving : 5.50 17 0
1008.35/1008.68 c guideddiving : 3.85 17 0
1008.35/1008.68 c objpscostdiving : 6.87 9 7
1008.35/1008.68 c rootsoldiving : 4.04 9 7
1008.35/1008.68 c crossover : 0.41 6 0
1008.35/1008.68 c pscostdiving : 4.85 18 0
1008.35/1008.68 c simplerounding : 0.03 0 0
1008.35/1008.68 c rounding : 5.38 8341 3
1008.35/1008.68 c shifting : 3.08 1478 47
1008.35/1008.68 c intshifting : 0.01 0 0
1008.35/1008.68 c fixandinfer : 0.00 0 0
1008.35/1008.68 c intdiving : 0.00 0 0
1008.35/1008.68 c actconsdiving : 0.00 0 0
1008.35/1008.68 c octane : 0.00 0 0
1008.35/1008.68 c rens : 0.01 0 0
1008.35/1008.68 c rins : 0.00 0 0
1008.35/1008.68 c localbranching : 0.00 0 0
1008.35/1008.68 c mutation : 0.00 0 0
1008.35/1008.68 c dins : 0.00 0 0
1008.35/1008.68 c LP : Time Calls Iterations Iter/call Iter/sec
1008.35/1008.68 c primal LP : 0.02 0 0 0.00 0.00
1008.35/1008.68 c dual LP : 638.41 28344 1418986 50.06 2222.69
1008.35/1008.68 c barrier LP : 0.00 0 0 0.00 -
1008.35/1008.68 c diving/probing LP: 33.99 2056 72752 35.39 2140.39
1008.35/1008.68 c strong branching : 262.42 5824 520756 89.42 1984.44
1008.35/1008.68 c (at root node) : - 22 4001 181.86 -
1008.35/1008.68 c conflict analysis: 0.00 0 0 0.00 -
1008.35/1008.68 c B&B Tree :
1008.35/1008.68 c number of runs : 1
1008.35/1008.68 c nodes : 27938
1008.35/1008.68 c nodes (total) : 27938
1008.35/1008.68 c nodes left : 0
1008.35/1008.68 c max depth : 43
1008.35/1008.68 c max depth (total): 43
1008.35/1008.68 c backtracks : 3500 (12.5%)
1008.35/1008.68 c delayed cutoffs : 10
1008.35/1008.68 c repropagations : 1157 (3366 domain reductions, 1 cutoffs)
1008.35/1008.68 c avg switch length: 3.45
1008.35/1008.68 c switching time : 6.14
1008.35/1008.68 c Solution :
1008.35/1008.68 c Solutions found : 80 (19 improvements)
1008.35/1008.68 c Primal Bound : +2.83000000000000e+02 (in run 1, after 1626 nodes, 136.26 seconds, depth 16, found by <oneopt>)
1008.35/1008.68 c Dual Bound : +2.83000000000000e+02
1008.35/1008.68 c Gap : 0.00 %
1008.35/1008.68 c Root Dual Bound : +2.14212816608916e+02
1008.45/1008.71 c Time complete: 1008.45.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869126-1245159896/watcher-1869126-1245159896 -o /tmp/evaluation-result-1869126-1245159896/solver-1869126-1245159896 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869126-1245159896.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 30830
/proc/meminfo: memFree=1912584/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=4648 CPUtime=0
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 490 0 0 0 0 0 0 0 18 0 1 0 183589319 4759552 475 1992294400 4194304 7823515 548682068736 18446744073709551615 6884513 0 0 4096 0 0 0 0 17 1 0 0
/proc/30830/statm: 1162 485 318 886 0 272 0
[startup+0.0777389 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 30830
/proc/meminfo: memFree=1912584/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=16160 CPUtime=0.07
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 3447 0 0 0 6 1 0 0 18 0 1 0 183589319 16547840 3075 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 4040 3075 418 886 0 3150 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16160
[startup+0.101741 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 30830
/proc/meminfo: memFree=1912584/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=18436 CPUtime=0.09
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 4014 0 0 0 7 2 0 0 18 0 1 0 183589319 18878464 3642 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 4609 3642 421 886 0 3719 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18436
[startup+0.301759 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 30830
/proc/meminfo: memFree=1912584/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=24408 CPUtime=0.29
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 5620 0 0 0 26 3 0 0 19 0 1 0 183589319 24993792 5189 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 6102 5189 507 886 0 5212 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24408
[startup+0.701794 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 30830
/proc/meminfo: memFree=1912584/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=24968 CPUtime=0.69
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 5833 0 0 0 65 4 0 0 22 0 1 0 183589319 25567232 5387 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 6242 5387 521 886 0 5352 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24968
[startup+1.50187 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30831
/proc/meminfo: memFree=1893056/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=24968 CPUtime=1.49
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 5834 0 0 0 145 4 0 0 25 0 1 0 183589319 25567232 5388 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 6242 5388 521 886 0 5352 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24968
[startup+3.10201 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30831
/proc/meminfo: memFree=1891136/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=30092 CPUtime=3.09
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 7172 0 0 0 301 8 0 0 25 0 1 0 183589319 30814208 6668 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 7523 6668 547 886 0 6633 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30092
[startup+6.30131 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30831
/proc/meminfo: memFree=1883328/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=37128 CPUtime=6.29
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 9082 0 0 0 617 12 0 0 25 0 1 0 183589319 38019072 8530 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 9282 8530 548 886 0 8392 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37128
[startup+12.7019 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30831
/proc/meminfo: memFree=1879232/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=40340 CPUtime=12.69
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 9880 0 0 0 1250 19 0 0 25 0 1 0 183589319 41308160 9328 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10085 9328 552 886 0 9195 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40340
[startup+25.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30831
/proc/meminfo: memFree=1877248/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=40340 CPUtime=25.48
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 9881 0 0 0 2524 24 0 0 25 0 1 0 183589319 41308160 9329 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10085 9329 553 886 0 9195 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40340
[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30831
/proc/meminfo: memFree=1877440/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=40340 CPUtime=51.07
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 9883 0 0 0 5071 36 0 0 25 0 1 0 183589319 41308160 9331 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10085 9331 555 886 0 9195 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40340
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30831
/proc/meminfo: memFree=1879040/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=38292 CPUtime=102.27
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 14319 0 0 0 10159 68 0 0 25 0 1 0 183589319 39211008 8865 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 9573 8865 569 886 0 8683 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 38292
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30831
/proc/meminfo: memFree=1876864/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=40768 CPUtime=162.25
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 17462 0 0 0 16124 101 0 0 25 0 1 0 183589319 41746432 9452 1992294400 4194304 7823515 548682068736 18446744073709551615 6237130 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10192 9452 569 886 0 9302 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 40768
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30831
/proc/meminfo: memFree=1878464/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=39148 CPUtime=222.23
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 20056 0 0 0 22083 140 0 0 25 0 1 0 183589319 40087552 9058 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 9787 9058 579 886 0 8897 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 39148
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30831
/proc/meminfo: memFree=1877952/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=39576 CPUtime=282.22
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 23305 0 0 0 28045 177 0 0 25 0 1 0 183589319 40525824 9166 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 9894 9166 579 886 0 9004 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 39576
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30831
/proc/meminfo: memFree=1877568/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=39908 CPUtime=342.2
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 23399 0 0 0 34010 210 0 0 25 0 1 0 183589319 40865792 9260 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 9977 9260 579 886 0 9087 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 39908
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30833
/proc/meminfo: memFree=1876920/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=40176 CPUtime=402.2
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 24301 0 0 0 39973 247 0 0 25 0 1 0 183589319 41140224 9314 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10044 9314 579 886 0 9154 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 40176
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30833
/proc/meminfo: memFree=1876992/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=40312 CPUtime=462.17
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 24340 0 0 0 45935 282 0 0 25 0 1 0 183589319 41279488 9353 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10078 9353 579 886 0 9188 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 40312
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30833
/proc/meminfo: memFree=1877056/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=40452 CPUtime=522.16
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 24344 0 0 0 51897 319 0 0 25 0 1 0 183589319 41422848 9357 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10113 9357 579 886 0 9223 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 40452
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30833
/proc/meminfo: memFree=1876736/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=40688 CPUtime=582.15
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 24415 0 0 0 57860 355 0 0 25 0 1 0 183589319 41664512 9428 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10172 9428 579 886 0 9282 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 40688
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30833
/proc/meminfo: memFree=1876096/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=41420 CPUtime=642.13
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 27692 0 0 0 63822 391 0 0 25 0 1 0 183589319 42414080 9580 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10355 9580 579 886 0 9465 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 41420
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30833
/proc/meminfo: memFree=1876032/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=41420 CPUtime=702.12
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 27704 0 0 0 69785 427 0 0 25 0 1 0 183589319 42414080 9592 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10355 9592 579 886 0 9465 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 41420
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30833
/proc/meminfo: memFree=1875968/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=41420 CPUtime=762.11
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 27712 0 0 0 75748 463 0 0 25 0 1 0 183589319 42414080 9600 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10355 9600 579 886 0 9465 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 41420
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30833
/proc/meminfo: memFree=1875904/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=41420 CPUtime=822.09
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 27716 0 0 0 81711 498 0 0 25 0 1 0 183589319 42414080 9604 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10355 9604 579 886 0 9465 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 41420
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30833
/proc/meminfo: memFree=1875840/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=41420 CPUtime=882.07
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 27729 0 0 0 87674 533 0 0 25 0 1 0 183589319 42414080 9617 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10355 9617 579 886 0 9465 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 41420
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30833
/proc/meminfo: memFree=1875456/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=41616 CPUtime=942.06
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 27815 0 0 0 93637 569 0 0 25 0 1 0 183589319 42614784 9703 1992294400 4194304 7823515 548682068736 18446744073709551615 6234864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10404 9703 579 886 0 9514 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 41616
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30839
/proc/meminfo: memFree=1875712/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=41320 CPUtime=1002.04
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 28422 0 0 0 99598 606 0 0 25 0 1 0 183589319 42311680 9605 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10330 9605 579 886 0 9440 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 41320
Solver just ended. Dumping a history of the last processes samples
[startup+1004.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30839
/proc/meminfo: memFree=1875712/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=41320 CPUtime=1004.44
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 28422 0 0 0 99836 608 0 0 25 0 1 0 183589319 42311680 9605 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10330 9605 579 886 0 9440 0
Current children cumulated CPU time (s) 1004.44
Current children cumulated vsize (KiB) 41320
[startup+1006.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30839
/proc/meminfo: memFree=1875712/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=41556 CPUtime=1006.04
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 28423 0 0 0 99994 610 0 0 25 0 1 0 183589319 42553344 9606 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10389 9606 579 886 0 9499 0
Current children cumulated CPU time (s) 1006.04
Current children cumulated vsize (KiB) 41556
[startup+1007.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30839
/proc/meminfo: memFree=1875712/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=41556 CPUtime=1007.64
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 28424 0 0 0 100153 611 0 0 25 0 1 0 183589319 42553344 9607 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10389 9607 579 886 0 9499 0
Current children cumulated CPU time (s) 1007.64
Current children cumulated vsize (KiB) 41556
[startup+1008.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30839
/proc/meminfo: memFree=1875712/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=41556 CPUtime=1008.04
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 28425 0 0 0 100193 611 0 0 25 0 1 0 183589319 42553344 9608 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30830/statm: 10389 9608 579 886 0 9499 0
Current children cumulated CPU time (s) 1008.04
Current children cumulated vsize (KiB) 41556
[startup+1008.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 30839
/proc/meminfo: memFree=1875712/2055920 swapFree=4181496/4192956
[pid=30830] ppid=30828 vsize=41556 CPUtime=1008.45
/proc/30830/stat : 30830 (pbscip.linux.x8) R 30828 30830 30649 0 -1 4194304 28428 0 0 0 100233 612 0 0 17 0 1 0 183589319 42553344 9611 1992294400 4194304 7823515 548682068736 18446744073709551615 4401518 0 0 4096 0 0 0 0 17 1 0 0
/proc/30830/statm: 10389 9611 581 886 0 9499 0
Current children cumulated CPU time (s) 1008.45
Current children cumulated vsize (KiB) 41556
Child status: 0
Real time (s): 1008.72
CPU time (s): 1008.46
CPU user time (s): 1002.34
CPU system time (s): 6.12607
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 52188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1002.34
system time used= 6.12607
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28431
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1778
runsolver used 0.71989 second user time and 2.17767 second system time
The end