0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4432589-1721073285.opb>
0.00/0.05 c original problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 7493 constraints
0.00/0.05 c problem read in 0.05
0.00/0.08 c presolving:
0.10/0.14 c (0.1s) running MILP presolver
0.10/0.18 c (0.2s) MILP presolver found nothing
0.21/0.23 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7298 upgd conss, 0 impls, 6723 clqs
0.21/0.27 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7493 upgd conss, 0 impls, 6723 clqs
1.18/1.28 c (1.3s) probing: 729/774 (94.2%) - 0 fixings, 0 aggregations, 19008 implications, 0 bound changes
1.18/1.28 c (1.3s) probing aborted: 50/50 successive totally useless probings
1.28/1.39 c (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.39/1.40 c (1.4s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
1.39/1.40 c dynamic symmetry handling statistics:
1.39/1.40 c orbitopal reduction: 1 components: 258x3
1.39/1.40 c orbital reduction: no components
1.39/1.40 c lexicographic reduction: no permutations
1.39/1.40 c handled 1 out of 1 symmetry components
1.39/1.41 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
1.39/1.41 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.41 c 0 implications, 25731 cliques
1.39/1.41 c presolved problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 7493 constraints
1.39/1.41 c 6723 constraints of type <setppc>
1.39/1.41 c 770 constraints of type <logicor>
1.39/1.41 c transformed objective value is always integral (scale: 1)
1.39/1.41 c Presolving Time: 1.33
1.39/1.41 c - non default parameters ----------------------------------------------------------------------
1.39/1.41 c # SCIP version 10.0.0
1.39/1.41 c
1.39/1.41 c # maximal time in seconds to run
1.39/1.41 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.39/1.41 c limits/time = 3596.993107
1.39/1.41 c
1.39/1.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.41 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.39/1.41 c limits/memory = 27900
1.39/1.41 c
1.39/1.41 c # belongs reading time to solving time?
1.39/1.41 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.39/1.41 c timing/reading = TRUE
1.39/1.41 c
1.39/1.41 c -----------------------------------------------------------------------------------------------
1.39/1.41 c start solving
1.39/1.41 c
1.39/1.48 o 387
1.39/1.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.39/1.48 c p 1.5s| 1 | 0 | 93 | - |shiftand| 0 | 774 |7540 |7493 | 0 | 0 | 46 | 0 | 0.000000e+00 | 3.870000e+02 | Inf | unknown
1.39/1.48 o 365
1.39/1.48 c i 1.5s| 1 | 0 | 93 | - | oneopt| 0 | 774 |7540 |7493 | 0 | 0 | 46 | 0 | 0.000000e+00 | 3.650000e+02 | Inf | unknown
1.49/1.56 c 1.6s| 1 | 0 | 1497 | - | 70M | 0 | 774 |7540 |7493 | 0 | 0 | 46 | 0 | 2.630938e+02 | 3.650000e+02 | 38.73%| unknown
1.78/1.86 c 1.9s| 1 | 0 | 1946 | - | 76M | 0 | 774 |7544 |7497 | 4 | 1 | 50 | 0 | 2.638508e+02 | 3.650000e+02 | 38.34%| unknown
1.88/1.97 c 2.0s| 1 | 0 | 2097 | - | 79M | 0 | 774 |7554 |7503 | 10 | 2 | 60 | 0 | 2.646429e+02 | 3.650000e+02 | 37.92%| unknown
1.99/2.09 c 2.1s| 1 | 0 | 2379 | - | 82M | 0 | 774 |7562 |7512 | 19 | 3 | 68 | 0 | 2.660044e+02 | 3.650000e+02 | 37.22%| unknown
2.28/2.30 c 2.3s| 1 | 0 | 2635 | - | 85M | 0 | 774 |7568 |7519 | 26 | 4 | 74 | 0 | 2.661054e+02 | 3.650000e+02 | 37.16%| unknown
2.38/2.47 c 2.5s| 1 | 0 | 2810 | - | 88M | 0 | 774 |7573 |7525 | 32 | 5 | 79 | 0 | 2.662500e+02 | 3.650000e+02 | 37.09%| unknown
2.58/2.63 c 2.6s| 1 | 0 | 2895 | - | 90M | 0 | 774 |7583 |7530 | 37 | 6 | 89 | 0 | 2.670000e+02 | 3.650000e+02 | 36.70%| unknown
2.78/2.83 c 2.8s| 1 | 0 | 2994 | - | 93M | 0 | 774 |7587 |7535 | 42 | 7 | 93 | 0 | 2.670000e+02 | 3.650000e+02 | 36.70%| unknown
2.99/3.05 c 3.0s| 1 | 0 | 3257 | - | 98M | 0 | 774 |7596 |7540 | 47 | 8 | 102 | 0 | 2.670153e+02 | 3.650000e+02 | 36.70%| unknown
3.18/3.21 c 3.2s| 1 | 0 | 3657 | - | 103M | 0 | 774 |7602 |7547 | 54 | 9 | 108 | 0 | 2.671216e+02 | 3.650000e+02 | 36.64%| unknown
3.38/3.43 c 3.4s| 1 | 0 | 3988 | - | 108M | 0 | 774 |7606 |7553 | 60 | 10 | 112 | 0 | 2.673051e+02 | 3.650000e+02 | 36.55%| unknown
3.48/3.52 c 3.5s| 1 | 0 | 4524 | - | 108M | 0 | 774 |7612 |7564 | 71 | 11 | 118 | 0 | 2.679200e+02 | 3.650000e+02 | 36.23%| unknown
3.48/3.59 c 3.6s| 1 | 0 | 4880 | - | 109M | 0 | 774 |7617 |7570 | 77 | 12 | 123 | 0 | 2.681837e+02 | 3.650000e+02 | 36.10%| unknown
3.58/3.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.58/3.66 c 3.7s| 1 | 0 | 5322 | - | 110M | 0 | 774 |7627 |7575 | 82 | 13 | 133 | 0 | 2.683529e+02 | 3.650000e+02 | 36.01%| unknown
3.67/3.71 c 3.7s| 1 | 0 | 5433 | - | 111M | 0 | 774 |7629 |7580 | 87 | 14 | 135 | 0 | 2.685052e+02 | 3.650000e+02 | 35.94%| unknown
3.67/3.76 c 3.7s| 1 | 0 | 5511 | - | 112M | 0 | 774 |7630 |7585 | 92 | 15 | 136 | 0 | 2.687562e+02 | 3.650000e+02 | 35.81%| unknown
3.77/3.80 c 3.8s| 1 | 0 | 5568 | - | 112M | 0 | 774 |7635 |7580 | 97 | 16 | 141 | 0 | 2.687801e+02 | 3.650000e+02 | 35.80%| unknown
3.77/3.85 c 3.8s| 1 | 0 | 5689 | - | 114M | 0 | 774 |7641 |7584 | 101 | 17 | 147 | 0 | 2.688238e+02 | 3.650000e+02 | 35.78%| unknown
3.77/3.89 c 3.9s| 1 | 0 | 5758 | - | 114M | 0 | 774 |7647 |7588 | 105 | 18 | 153 | 0 | 2.688313e+02 | 3.650000e+02 | 35.77%| unknown
3.87/3.93 c 3.9s| 1 | 0 | 5892 | - | 116M | 0 | 774 |7652 |7590 | 107 | 19 | 158 | 0 | 2.688901e+02 | 3.650000e+02 | 35.74%| unknown
3.87/3.97 c 4.0s| 1 | 0 | 5932 | - | 116M | 0 | 774 |7656 |7591 | 108 | 20 | 162 | 0 | 2.688930e+02 | 3.650000e+02 | 35.74%| unknown
3.87/4.00 c 4.0s| 1 | 0 | 6044 | - | 116M | 0 | 774 |7662 |7594 | 111 | 21 | 168 | 0 | 2.689295e+02 | 3.650000e+02 | 35.72%| unknown
3.99/4.03 c 4.0s| 1 | 0 | 6089 | - | 116M | 0 | 774 |7663 |7579 | 112 | 22 | 169 | 0 | 2.689332e+02 | 3.650000e+02 | 35.72%| unknown
3.99/4.06 c 4.0s| 1 | 0 | 6180 | - | 116M | 0 | 774 |7668 |7581 | 114 | 23 | 174 | 0 | 2.689597e+02 | 3.650000e+02 | 35.71%| unknown
3.99/4.08 c 4.1s| 1 | 0 | 6184 | - | 117M | 0 | 774 |7678 |7582 | 115 | 24 | 184 | 0 | 2.689600e+02 | 3.650000e+02 | 35.71%| unknown
7.87/7.93 c 7.9s| 1 | 2 | 16918 | - | 117M | 0 | 774 |7694 |7582 | 115 | 25 | 200 | 65 | 2.696091e+02 | 3.650000e+02 | 35.38%| unknown
21.73/21.83 c 21.8s| 100 | 15 | 38199 | 324.3 | 136M | 15 | 774 |7663 |7559 | 271 | 1 | 382 | 380 | 2.762457e+02 | 3.650000e+02 | 32.13%| 63.09%
21.73/21.88 o 364
21.73/21.88 c *21.9s| 111 | 12 | 38274 | 292.6 | LP | 18 | 774 |7663 |7559 | 271 | 1 | 382 | 380 | 2.762457e+02 | 3.640000e+02 | 31.77%| 63.09%
22.23/22.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.23/22.38 c 22.4s| 200 | 13 | 39899 | 169.9 | 138M | 24 | 774 |7723 |7564 | 278 | 0 | 453 | 380 | 2.762457e+02 | 3.640000e+02 | 31.77%| 64.18%
22.83/23.00 c 23.0s| 300 | 13 | 41683 | 119.0 | 138M | 30 | 774 |7784 |7567 | 288 | 4 | 540 | 393 | 2.762457e+02 | 3.640000e+02 | 31.77%| 64.65%
28.61/28.74 c 28.7s| 400 | 5 | 61934 | 140.0 | 153M | 30 | 774 |7946 |7588 | 560 | 2 | 842 | 465 | 3.140833e+02 | 3.640000e+02 | 15.89%| 94.14%
29.10/29.23 c
29.10/29.23 c SCIP Status : problem is solved [optimal solution found]
29.10/29.23 c Solving Time (sec) : 29.22
29.10/29.23 c Solving Nodes : 415
29.10/29.23 c Primal Bound : +3.64000000000000e+02 (32 solutions)
29.10/29.23 c Dual Bound : +3.64000000000000e+02
29.10/29.23 c Gap : 0.00 %
29.10/29.23 s OPTIMUM FOUND
29.10/29.23 v -x774 x773 x772 -x771 x770 -x769 x768 -x767 -x766 x765 x764 -x763 -x762 x761 x760 -x759 x758 -x757 -x756 x755 x754 -x753 x752 -x751
29.10/29.23 v -x750 x749 -x748 -x747 x746 -x745 x744 -x743 -x742 x741 x740 -x739 -x738 x737 x736 -x735 x734 -x733 -x732 x731 x730 -x729
29.10/29.23 v x728 -x727 x726 -x725 -x724 x723 x722 -x721 x720 -x719 -x718 x717 x716 -x715 -x714 x713 x712 -x711 x710 -x709 x708 -x707 -x706
29.10/29.23 v x705 x704 -x703 -x702 x701 -x700 -x699 x698 -x697 -x696 x695 x694 -x693 x692 -x691 -x690 x689 x688 -x687 x686 -x685 -x684
29.10/29.23 v x683 -x682 -x681 x680 -x679 x678 -x677 -x676 x675 x674 -x673 -x672 x671 x670 -x669 x668 -x667 x666 -x665 -x664 x663 x662 -x661
29.10/29.23 v x660 -x659 -x658 x657 x656 -x655 x654 -x653 -x652 x651 x650 -x649 x648 -x647 -x646 x645 x644 -x643 x642 -x641 -x640 x639 x638
29.10/29.23 v -x637 -x636 -x635 -x634 x633 x632 -x631 x630 -x629 -x628 x627 x626 -x625 x624 -x623 -x622 x621 x620 -x619 -x618 x617 -x616
29.10/29.23 v -x615 x614 -x613 x612 -x611 -x610 x609 x608 -x607 x606 -x605 -x604 x603 x602 -x601 -x600 x599 x598 -x597 x596 -x595 -x594 x593
29.10/29.23 v x592 -x591 x590 -x589 -x588 x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 -x578 x577 -x576 x575 x574 -x573 x572 -x571
29.10/29.23 v -x570 x569 x568 -x567 x566 -x565 x564 -x563 x562 -x561 -x560 x559 -x558 x557 x556 -x555 x554 -x553 x552 -x551 -x550 x549 x548
29.10/29.23 v -x547 x546 -x545 -x544 x543 x542 -x541 -x540 x539 x538 -x537 x536 -x535 -x534 x533 x532 -x531 x530 -x529 x528 -x527 -x526 x525
29.10/29.23 v x524 -x523 x522 -x521 -x520 x519 x518 -x517 x516 -x515 -x514 x513 x512 -x511 -x510 x509 -x508 -x507 x506 -x505 -x504 x503
29.10/29.23 v x502 -x501 x500 -x499 x498 -x497 -x496 x495 x494 -x493 -x492 x491 x490 -x489 x488 -x487 -x486 x485 x484 -x483 x482 -x481 -x480
29.10/29.23 v x479 x478 -x477 x476 -x475 -x474 x473 x472 -x471 x470 -x469 -x468 x467 x466 -x465 x464 -x463 -x462 x461 x460 -x459 x458 -x457
29.10/29.23 v x456 -x455 -x454 x453 x452 -x451 -x450 x449 x448 -x447 x446 -x445 x444 -x443 -x442 x441 x440 -x439 x438 -x437 -x436 x435 x434
29.10/29.23 v -x433 x432 -x431 -x430 x429 x428 -x427 x426 -x425 -x424 x423 x422 -x421 x420 -x419 -x418 x417 x416 -x415 -x414 x413 -x412
29.10/29.23 v -x411 x410 -x409 x408 -x407 -x406 x405 x404 -x403 -x402 x401 x400 -x399 x398 -x397 x396 -x395 -x394 x393 x392 -x391 x390 -x389
29.10/29.23 v -x388 x387 x386 -x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366
29.10/29.23 v x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 x346 -x345 -x344
29.10/29.23 v x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321
29.10/29.23 v -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298
29.10/29.23 v x297 -x296 x295 x294 -x293 -x292 x291 x290 -x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276
29.10/29.23 v x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253
29.10/29.23 v x252 -x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 x242 -x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230
29.10/29.23 v x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207
29.10/29.23 v -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185
29.10/29.23 v -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162
29.10/29.23 v x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139
29.10/29.23 v -x138 x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 -x127 -x126 x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 x117
29.10/29.23 v -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 -x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 -x93
29.10/29.23 v -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 -x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74 -x73 -x72 x71 -x70 x69 -x68 x67 -x66
29.10/29.23 v -x65 -x64 x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 x53 x52 -x51 -x50 x49 -x48 x47 -x46 -x45 -x44 x43 -x42 x41 -x40
29.10/29.23 v -x39 -x38 x37 -x36 -x35 -x34 x33 x32 -x31 -x30 x29 x28 -x27 -x26 x25 -x24 x23 x22 -x21 -x20 x19 -x18 x17 -x16 -x15 -x14 x13 -x12
29.10/29.23 v x11 -x10 x9 -x8 x7 x6 -x5 -x4 -x3 -x2 x1
29.10/29.23 c SCIP Status : problem is solved [optimal solution found]
29.10/29.23 c Total Time : 29.22
29.10/29.23 c solving : 29.22
29.10/29.23 c presolving : 1.33 (included in solving)
29.10/29.23 c reading : 0.05 (included in solving)
29.10/29.23 c copying : 0.08 (7 #copies) (minimal 0.01, maximal 0.01, average 0.01)
29.10/29.23 c Original Problem :
29.10/29.23 c Problem name : HOME/instance-4432589-1721073285.opb
29.10/29.23 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
29.10/29.23 c Constraints : 7493 initial, 7493 maximal
29.10/29.23 c Objective : minimize, 774 non-zeros (abs.min = 1, abs.max = 1)
29.10/29.23 c Presolved Problem :
29.10/29.23 c Problem name : t_HOME/instance-4432589-1721073285.opb
29.10/29.23 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
29.10/29.23 c Constraints : 7493 initial, 7975 maximal
29.10/29.23 c Objective : minimize, 774 non-zeros (abs.min = 1, abs.max = 1)
29.10/29.23 c Nonzeros : 36201 constraint, 50068 clique table
29.10/29.23 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
29.10/29.23 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
29.10/29.23 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c dualsparsify : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
29.10/29.23 c gateextraction : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
29.10/29.23 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
29.10/29.23 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c milp : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
29.10/29.23 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c sparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
29.10/29.23 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c trivial : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
29.10/29.23 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c dualfix : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
29.10/29.23 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c probing : 0.93 0.00 1 0 0 0 0 0 0 0 0 0
29.10/29.23 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
29.10/29.23 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.10/29.23 c setppc : 0.03 0.00 6 0 0 0 0 0 0 0 0 0
29.10/29.23 c linear : 0.07 0.01 4 0 0 0 0 0 0 0 0 0
29.10/29.23 c logicor : 0.02 0.00 5 0 0 0 0 0 0 0 0 0
29.10/29.23 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.10/29.23 c root node : - - - 424 - - 424 - - - - -
29.10/29.23 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
29.10/29.23 c benderslp : 0 0 0 0 257 0 0 47 0 0 0 0 0 0 0
29.10/29.23 c integral : 0 0 0 0 257 0 0 47 0 0 517 0 0 220 432
29.10/29.23 c setppc : 6723+ 6741 25 8832 1 0 0 41 24795 89 21440 0 0 0 0
29.10/29.23 c logicor : 770+ 1405 25 4938 1 0 0 32 1707 175 3661 96 38 0 0
29.10/29.23 c benders : 0 0 0 0 1 0 0 33 0 0 0 0 0 0 0
29.10/29.23 c fixedvar : 0 0 0 0 1 0 0 33 0 0 0 0 0 0 0
29.10/29.23 c countsols : 0 0 0 0 1 0 0 33 0 0 0 0 0 0 0
29.10/29.23 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
29.10/29.23 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.10/29.23 c integral : 14.90 0.00 0.00 0.00 14.90 0.00 0.00 0.00 0.00 0.00
29.10/29.23 c setppc : 0.45 0.00 0.01 0.33 0.00 0.00 0.00 0.00 0.01 0.11
29.10/29.23 c logicor : 0.14 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.04
29.10/29.23 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.10/29.23 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.10/29.23 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.10/29.23 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.10/29.23 c Propagators : #Propagate #ResProp Cutoffs DomReds
29.10/29.23 c dualfix : 2 0 0 0
29.10/29.23 c genvbounds : 0 0 0 0
29.10/29.23 c nlobbt : 0 0 0 0
29.10/29.23 c obbt : 0 0 0 0
29.10/29.23 c probing : 0 0 0 0
29.10/29.23 c pseudoobj : 2801 2 5 124
29.10/29.23 c redcost : 146 0 0 22
29.10/29.23 c rootredcost : 2 0 0 0
29.10/29.23 c symmetry : 2395 0 2 59
29.10/29.23 c vbounds : 5216 0 0 0
29.10/29.23 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
29.10/29.23 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
29.10/29.23 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
29.10/29.23 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
29.10/29.23 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
29.10/29.23 c probing : 0.93 0.00 0.93 0.00 0.00 0.00
29.10/29.23 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
29.10/29.23 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
29.10/29.23 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
29.10/29.23 c symmetry : 0.03 0.00 0.02 0.01 0.00 0.00
29.10/29.23 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
29.10/29.23 c Symmetry :
29.10/29.23 c orbitopal red. : 59 reductions applied, 2 cutoffs
29.10/29.23 c orbital reduction: 0 reductions applied, 0 cutoffs
29.10/29.23 c lexicographic red: 0 reductions applied, 0 cutoffs
29.10/29.23 c shadow tree time : 0.00 s
29.10/29.23 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
29.10/29.23 c propagation : 0.02 253 248 - 954 31.9 123 8.6 - - -
29.10/29.23 c infeasible LP : 0.00 2 2 - 11 37.1 1 3.0 3 50.7 0
29.10/29.23 c bound exceed. LP : 0.01 21 1 - 3 21.3 0 0.0 0 0.0 86
29.10/29.23 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
29.10/29.23 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
29.10/29.23 c applied globally : 0.03 - - 0 884 13.1 - - 3 - -
29.10/29.23 c applied locally : - - - 0 0 0.0 - - 0 - -
29.10/29.23 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
29.10/29.23 c cut pool : 0.26 - 305 44 - - 5992 31846 - - - - - (maximal pool size: 3161)
29.10/29.23 c aggregation : 0.29 0.00 161 25 0 0 0 0 0 0 0 0 0
29.10/29.23 c > cmir : - - - - - - - 0 0 0 0 0 -
29.10/29.23 c > flowcover : - - - - - - - 0 0 0 0 0 -
29.10/29.23 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
29.10/29.23 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c clique : 0.21 0.00 25 25 0 0 0 0 0 0 0 0 0
29.10/29.23 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c gomory : 4.54 0.00 88 10 0 0 5940 30945 156 299 296 3 0
29.10/29.23 c > gomorymi : - - - - - - - 14220 78 90 90 0 -
29.10/29.23 c > strongcg : - - - - - - - 16725 78 209 206 3 -
29.10/29.23 c impliedbounds : 0.07 0.00 161 25 0 0 1 2 0 2 2 0 0
29.10/29.23 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
29.10/29.23 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c multilinear : 0.00 0.00 39 25 0 0 0 0 0 0 0 0 0
29.10/29.23 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.10/29.23 c rlt : 0.00 0.00 28 10 0 0 0 0 0 0 0 0 0
29.10/29.23 c zerohalf : 0.70 0.00 98 20 0 0 216 899 9 248 244 4 0
29.10/29.23 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
29.10/29.23 c hybrid : 0.03 0.00 200 24 587 5 31520 115 0 3845
29.10/29.23 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c Pricers : ExecTime SetupTime Calls Vars
29.10/29.23 c problem variables: 0.00 - 0 0
29.10/29.23 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
29.10/29.23 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c random : 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c relpscost : 14.90 0.00 256 0 0 0 517 0 268 432
29.10/29.23 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
29.10/29.23 c Primal Heuristics : ExecTime SetupTime Calls Found Best
29.10/29.23 c LP solutions : 0.00 - - 1 1
29.10/29.23 c relax solutions : 0.00 - - 0 0
29.10/29.23 c pseudo solutions : 0.00 - - 0 0
29.10/29.23 c strong branching : 0.00 - - 0 0
29.10/29.23 c actconsdiving : 0.00 0.00 0 0 0
29.10/29.23 c adaptivediving : 0.00 0.00 0 0 0
29.10/29.23 c alns : 0.11 0.00 5 0 0
29.10/29.23 c bound : 0.00 0.00 0 0 0
29.10/29.23 c clique : 0.04 0.00 1 0 0
29.10/29.23 c coefdiving : 0.00 0.00 0 0 0
29.10/29.23 c completesol : 0.00 0.00 0 0 0
29.10/29.23 c conflictdiving : 0.12 0.00 1 0 0
29.10/29.23 c crossover : 0.00 0.00 0 0 0
29.10/29.23 c dins : 0.00 0.00 0 0 0
29.10/29.23 c distributiondivin: 0.00 0.00 0 0 0
29.10/29.23 c dps : 0.00 0.00 0 0 0
29.10/29.23 c dualval : 0.00 0.00 0 0 0
29.10/29.23 c farkasdiving : 0.00 0.00 0 0 0
29.10/29.23 c feasjump : 0.00 0.00 0 0 0
29.10/29.23 c feaspump : 0.79 0.00 1 0 0
29.10/29.23 c fixandinfer : 0.00 0.00 0 0 0
29.10/29.23 c fracdiving : 0.00 0.00 0 0 0
29.10/29.23 c gins : 0.02 0.00 1 0 0
29.10/29.23 c guideddiving : 0.00 0.00 0 0 0
29.10/29.23 c indcoefdiving : 0.00 0.00 0 0 0
29.10/29.23 c indicator : 0.00 0.00 0 0 0
29.10/29.23 c indicatordiving : 0.00 0.00 0 0 0
29.10/29.23 c indoneopt : 0.00 0.00 0 0 0
29.10/29.23 c indrounding : 0.00 0.00 0 0 0
29.10/29.23 c indtwoopt : 0.00 0.00 0 0 0
29.10/29.23 c intdiving : 0.00 0.00 0 0 0
29.10/29.23 c intshifting : 0.00 0.00 0 0 0
29.10/29.23 c linesearchdiving : 0.00 0.00 0 0 0
29.10/29.23 c localbranching : 0.00 0.00 0 0 0
29.10/29.23 c locks : 0.00 0.00 1 0 0
29.10/29.23 c lpface : 0.00 0.00 0 0 0
29.10/29.23 c mpec : 0.00 0.00 0 0 0
29.10/29.23 c multistart : 0.00 0.00 0 0 0
29.10/29.23 c mutation : 0.00 0.00 0 0 0
29.10/29.23 c nlpdiving : 0.00 0.00 0 0 0
29.10/29.23 c objpscostdiving : 0.00 0.00 0 0 0
29.10/29.23 c octane : 0.00 0.00 0 0 0
29.10/29.23 c ofins : 0.00 0.00 0 0 0
29.10/29.23 c oneopt : 0.00 0.00 2 1 1
29.10/29.23 c padm : 0.00 0.00 0 0 0
29.10/29.23 c proximity : 0.00 0.00 0 0 0
29.10/29.23 c pscostdiving : 0.00 0.00 0 0 0
29.10/29.23 c randrounding : 0.07 0.00 32 0 0
29.10/29.23 c rens : 0.00 0.00 0 0 0
29.10/29.23 c reoptsols : 0.00 0.00 0 0 0
29.10/29.23 c repair : 0.00 0.00 0 0 0
29.10/29.23 c rins : 0.15 0.00 1 1 0
29.10/29.23 c rootsoldiving : 0.00 0.00 0 0 0
29.10/29.23 c rounding : 0.05 0.00 221 0 0
29.10/29.23 c scheduler : 0.00 0.00 0 0 0
29.10/29.23 c shiftandpropagate: 0.01 0.00 1 1 1
29.10/29.23 c shifting : 0.16 0.00 208 1 0
29.10/29.23 c simplerounding : 0.00 0.00 0 0 0
29.10/29.23 c smallcard : 0.00 0.00 0 0 0
29.10/29.23 c subnlp : 0.00 0.00 0 0 0
29.10/29.23 c trivial : 0.00 0.00 2 0 0
29.10/29.23 c trivialnegation : 0.00 0.00 0 0 0
29.10/29.23 c trustregion : 0.00 0.00 0 0 0
29.10/29.23 c trysol : 0.00 0.00 0 0 0
29.10/29.23 c twoopt : 0.00 0.00 0 0 0
29.10/29.23 c undercover : 0.00 0.00 0 0 0
29.10/29.23 c vbounds : 0.01 0.00 1 0 0
29.10/29.23 c veclendiving : 0.00 0.00 0 0 0
29.10/29.23 c zeroobj : 0.00 0.00 0 0 0
29.10/29.23 c zirounding : 0.06 0.00 216 27 0
29.10/29.23 c other solutions : - - - 0 -
29.10/29.23 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
29.10/29.23 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.10/29.23 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.10/29.23 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.10/29.23 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.10/29.23 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.10/29.23 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.10/29.23 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.10/29.23 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.10/29.23 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
29.10/29.23 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
29.10/29.23 c primal LP : 0.03 31 0 0.00 0.00 0.03 31
29.10/29.23 c dual LP : 4.62 569 52825 96.05 11444.23 0.02 19
29.10/29.23 c lex dual LP : 0.00 0 0 0.00 -
29.10/29.23 c barrier LP : 0.00 0 0 0.00 - 0.00 0
29.10/29.23 c resolve instable : 0.00 0 0 0.00 -
29.10/29.23 c diving/probing LP: 1.06 69 11282 163.51 10668.64
29.10/29.23 c strong branching : 14.02 475 155100 326.53 11064.65 - - 40
29.10/29.23 c (at root node) : - 65 29357 451.65 -
29.10/29.23 c conflict analysis: 0.01 10 86 8.60 -
29.10/29.23 c B&B Tree :
29.10/29.23 c number of runs : 1
29.10/29.23 c nodes : 415 (216 internal, 199 leaves)
29.10/29.23 c feasible leaves : 1
29.10/29.23 c infeas. leaves : 107
29.10/29.23 c objective leaves : 91
29.10/29.23 c nodes (total) : 415 (216 internal, 199 leaves)
29.10/29.23 c nodes left : 0
29.10/29.23 c max depth : 30
29.10/29.23 c max depth (total): 30
29.10/29.23 c backtracks : 69 (16.6%)
29.10/29.23 c early backtracks : 0 (0.0%)
29.10/29.23 c nodes exc. ref. : 0 (0.0%)
29.10/29.23 c delayed cutoffs : 16
29.10/29.23 c repropagations : 290 (2413 domain reductions, 14 cutoffs)
29.10/29.23 c avg switch length: 3.21
29.10/29.23 c switching time : 0.09
29.10/29.23 c Root Node :
29.10/29.23 c First LP value : +2.63093750000000e+02
29.10/29.23 c First LP Iters : 1404 (17321.57 Iter/sec)
29.10/29.23 c First LP Time : 0.08
29.10/29.23 c Final Dual Bound : +2.69609053693180e+02
29.10/29.23 c Final Root Iters : 6091
29.10/29.23 c Root LP Estimate : +4.91833036196977e+02
29.10/29.23 c Solution :
29.10/29.23 c Solutions found : 32 (3 improvements)
29.10/29.23 c First Solution : +3.87000000000000e+02 (in run 1, after 1 nodes, 1.47 seconds, depth 38, found by <shiftandpropagate>)
29.10/29.23 c Gap First Sol. : infinite
29.10/29.23 c Gap Last Sol. : 31.77 %
29.10/29.23 c Primal Bound : +3.64000000000000e+02 (in run 1, after 111 nodes, 21.87 seconds, depth 18, found by <relaxation>)
29.10/29.23 c Dual Bound : +3.64000000000000e+02
29.10/29.23 c Gap : 0.00 %
29.10/29.23 c Integrals : Total Avg%
29.10/29.23 c primal-dual : 839.71 28.74
29.10/29.23 c primal-ref : - - (not evaluated)
29.10/29.23 c dual-ref : - - (not evaluated)
29.10/29.26 c Time complete: 29.1807.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62712 MiB free)
memory of node 1: 64473 MiB (63516 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432589-1721073285/watcher-4432589-1721073285 -o /tmp/evaluation-result-4432589-1721073285/solver-4432589-1721073285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721073296-810250 --watchdog 3760 pbscip -f HOME/instance-4432589-1721073285.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=810358, runsolver pid=810355
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 1.34 1.64 2.50 5/246 810359
/proc/meminfo: memFree=129222548/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=73708 memory=32912 CPUtime=0.1 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 5007 0 0 0 9 1 0 0 20 0 1 0 159484392 75476992 8228 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 18427 8228 3590 3540 0 6684 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 73708 KiB
Current children cumulated memory: 32912 KiB
[startup+0.213895 s]*
/proc/loadavg: 1.34 1.64 2.50 4/244 810359
/proc/meminfo: memFree=129219968/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=80476 memory=41356 CPUtime=0.21 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 9011 0 0 0 19 2 0 0 20 0 1 0 159484392 82407424 10339 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 20119 10339 3701 3540 0 8376 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 80476 KiB
Current children cumulated memory: 41356 KiB
[startup+0.313615 s]*
/proc/loadavg: 1.34 1.64 2.50 5/241 810364
/proc/meminfo: memFree=129216156/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=81112 memory=42148 CPUtime=0.31 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 9164 0 0 0 29 2 0 0 20 0 1 0 159484392 83058688 10537 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 20278 10537 3701 3540 0 8535 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 81112 KiB
Current children cumulated memory: 42148 KiB
[startup+0.70032 s]
/proc/loadavg: 1.34 1.64 2.50 5/240 810388
/proc/meminfo: memFree=129214020/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=81608 memory=42796 CPUtime=0.68 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 9288 0 0 0 66 2 0 0 20 0 1 0 159484392 83566592 10699 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 20402 10699 3733 3540 0 8659 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81608 KiB
Current children cumulated memory: 42796 KiB
[startup+1.50036 s]
/proc/loadavg: 1.34 1.64 2.50 5/240 810441
/proc/meminfo: memFree=129234704/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=129192 memory=84888 CPUtime=1.49 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 18209 0 0 0 144 5 0 0 20 0 1 0 159484392 132292608 21222 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 32298 21222 3925 3540 0 20555 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 129192 KiB
Current children cumulated memory: 84888 KiB
[startup+3.11307 s]
/proc/loadavg: 1.34 1.64 2.50 5/246 810497
/proc/meminfo: memFree=129079844/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=161524 memory=110536 CPUtime=3.09 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 24594 0 0 0 303 6 0 0 20 0 1 0 159484392 165400576 27634 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 40381 27634 3941 3540 0 28638 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 161524 KiB
Current children cumulated memory: 110536 KiB
[startup+6.30029 s]
/proc/loadavg: 1.55 1.68 2.51 5/244 810559
/proc/meminfo: memFree=129076432/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=188808 memory=129444 CPUtime=6.27 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 29441 0 0 0 620 7 0 0 20 0 1 0 159484392 193339392 32361 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 47202 32361 3957 3540 0 35459 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 188808 KiB
Current children cumulated memory: 129444 KiB
[startup+12.7003 s]
/proc/loadavg: 1.75 1.72 2.52 5/246 810913
/proc/meminfo: memFree=129043416/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=188808 memory=129444 CPUtime=12.66 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 29450 0 0 0 1259 7 0 0 20 0 1 0 159484392 193339392 32361 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 47202 32361 3957 3540 0 35459 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 188808 KiB
Current children cumulated memory: 129444 KiB
[startup+25.5003 s]
/proc/loadavg: 2.33 1.85 2.55 5/244 811100
/proc/meminfo: memFree=128864928/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=224972 memory=158436 CPUtime=25.42 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 38813 0 0 0 2534 8 0 0 20 0 1 0 159484392 230371328 39609 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 56243 39609 3979 3540 0 44500 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 224972 KiB
Current children cumulated memory: 158436 KiB
[startup+29.2735 s]
# the end of solver process 810358 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=29.0948 s, system=0.095637 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 2.33 1.85 2.55 5/244 811100
/proc/meminfo: memFree=128864928/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=224972 memory=158436 CPUtime=25.52 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 38813 0 0 0 2544 8 0 0 20 0 1 0 159484392 230371328 39609 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 56243 39609 3979 3540 0 44500 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 224972 KiB
Current children cumulated memory: 158436 KiB
[startup+27.2003 s]
/proc/loadavg: 2.33 1.85 2.55 5/244 811100
/proc/meminfo: memFree=128844068/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=224972 memory=158436 CPUtime=27.11 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 38856 0 0 0 2703 8 0 0 20 0 1 0 159484392 230371328 39609 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 56243 39609 3979 3540 0 44500 0
Current children cumulated CPU time: 27.11 s
Current children cumulated vsize: 224972 KiB
Current children cumulated memory: 158436 KiB
[startup+28.0003 s]*
/proc/loadavg: 2.33 1.85 2.55 6/244 811100
/proc/meminfo: memFree=128841064/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=224972 memory=158436 CPUtime=27.92 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 38857 0 0 0 2784 8 0 0 20 0 1 0 159484392 230371328 39609 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 56243 39609 3979 3540 0 44500 0
Current children cumulated CPU time: 27.92 s
Current children cumulated vsize: 224972 KiB
Current children cumulated memory: 158436 KiB
[startup+28.8003 s]
/proc/loadavg: 2.33 1.85 2.55 6/244 811100
/proc/meminfo: memFree=128841064/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=224972 memory=158436 CPUtime=28.71 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 38860 0 0 0 2863 8 0 0 20 0 1 0 159484392 230371328 39609 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 56243 39609 3979 3540 0 44500 0
Current children cumulated CPU time: 28.71 s
Current children cumulated vsize: 224972 KiB
Current children cumulated memory: 158436 KiB
[startup+29.2003 s]
/proc/loadavg: 2.33 1.85 2.55 5/244 811100
/proc/meminfo: memFree=128836104/131655788 swapFree=131071996/131071996
[pid=810358] ppid=810355 vsize=224972 memory=158436 CPUtime=29.1 cores=5,7
/proc/810358/stat : 810358 (pbscip) R 810355 810358 810237 0 -1 4194304 38860 0 0 0 2902 8 0 0 20 0 1 0 159484392 230371328 39609 134679101440 4194304 18693293 140732003730112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56963072 140732003738628 140732003738727 140732003738727 140732003745742 0
/proc/810358/statm: 56243 39609 3979 3540 0 44500 0
Current children cumulated CPU time: 29.1 s
Current children cumulated vsize: 224972 KiB
Current children cumulated memory: 158436 KiB
Child status: 0
Real time (s): 29.2789
CPU time (s): 29.1904
CPU user time (s): 29.0948
CPU system time (s): 0.095637
CPU usage (%): 99.6978
Max. virtual memory (cumulated for all children) (KiB): 224972
Max. memory (cumulated for all children) (KiB): 158436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.0948
system time used= 0.095637
maximum resident set size= 158448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38871
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= 39
# summary of solver processes directly reported to runsolver:
# pid: 810358
# total CPU time (s): 29.1904
# total CPU user time (s): 29.0948
# total CPU system time (s): 0.095637
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.175444 second user time and 0.341766 second system time
The end