0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4432588-1721073286.opb>
0.00/0.02 c original problem has 558 variables (558 bin, 0 int, 0 impl, 0 cont) and 3551 constraints
0.00/0.02 c problem read in 0.01
0.00/0.02 c presolving:
0.00/0.03 c (round 1, fast) 6 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3153 clqs
0.00/0.04 c (0.0s) running MILP presolver
0.00/0.05 c (0.0s) MILP presolver found nothing
0.00/0.07 c (round 2, exhaustive) 6 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3460 upgd conss, 0 impls, 3153 clqs
0.00/0.08 c (round 3, exhaustive) 6 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3545 upgd conss, 0 impls, 3153 clqs
0.31/0.40 c (0.4s) probing: 507/552 (91.8%) - 0 fixings, 0 aggregations, 8457 implications, 0 bound changes
0.31/0.40 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.31/0.42 c (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.41/0.43 c (0.4s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.41/0.44 c dynamic symmetry handling statistics:
0.41/0.44 c orbitopal reduction: 1 components: 184x3
0.41/0.44 c orbital reduction: no components
0.41/0.44 c lexicographic reduction: no permutations
0.41/0.44 c handled 1 out of 1 symmetry components
0.41/0.44 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
0.41/0.44 c 6 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.41/0.44 c 0 implications, 11610 cliques
0.41/0.44 c presolved problem has 552 variables (552 bin, 0 int, 0 impl, 0 cont) and 3545 constraints
0.41/0.44 c 3153 constraints of type <setppc>
0.41/0.44 c 392 constraints of type <logicor>
0.41/0.44 c transformed objective value is always integral (scale: 1)
0.41/0.44 c Presolving Time: 0.41
0.41/0.44 c - non default parameters ----------------------------------------------------------------------
0.41/0.44 c # SCIP version 10.0.0
0.41/0.44 c
0.41/0.44 c # maximal time in seconds to run
0.41/0.44 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.41/0.44 c limits/time = 3596.996018
0.41/0.44 c
0.41/0.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.41/0.44 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.41/0.44 c limits/memory = 27900
0.41/0.44 c
0.41/0.44 c # belongs reading time to solving time?
0.41/0.44 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.41/0.44 c timing/reading = TRUE
0.41/0.44 c
0.41/0.44 c -----------------------------------------------------------------------------------------------
0.41/0.44 c start solving
0.41/0.44 c
0.51/0.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.51/0.55 c 0.5s| 1 | 0 | 659 | - | 33M | 0 | 552 |3625 |3545 | 0 | 0 | 79 | 0 | 1.745000e+02 | -- | Inf | unknown
0.88/0.97 o 272
0.88/0.97 c * 1.0s| 1 | 0 | 4309 | - | LP | 0 | 552 |3626 |3545 | 0 | 0 | 80 | 0 | 1.745000e+02 | 2.720000e+02 | 55.87%| unknown
0.88/1.00 c 1.0s| 1 | 0 | 4566 | - | 35M | 0 | 552 |3648 |3554 | 9 | 1 | 80 | 0 | 1.771202e+02 | 2.720000e+02 | 53.57%| unknown
0.99/1.07 c 1.1s| 1 | 0 | 4755 | - | 38M | 0 | 552 |3656 |3566 | 21 | 2 | 88 | 0 | 1.805000e+02 | 2.720000e+02 | 50.69%| unknown
1.09/1.13 c 1.1s| 1 | 0 | 4862 | - | 41M | 0 | 552 |3663 |3580 | 35 | 3 | 95 | 0 | 1.825000e+02 | 2.720000e+02 | 49.04%| unknown
1.18/1.20 c 1.2s| 1 | 0 | 5067 | - | 43M | 0 | 552 |3665 |3591 | 46 | 4 | 97 | 0 | 1.847500e+02 | 2.720000e+02 | 47.23%| unknown
1.18/1.29 c 1.3s| 1 | 0 | 5448 | - | 45M | 0 | 552 |3675 |3605 | 60 | 5 | 107 | 0 | 1.867500e+02 | 2.720000e+02 | 45.65%| unknown
1.28/1.40 c 1.4s| 1 | 0 | 5704 | - | 48M | 0 | 552 |3676 |3616 | 71 | 6 | 108 | 0 | 1.880000e+02 | 2.720000e+02 | 44.68%| unknown
1.49/1.53 c 1.5s| 1 | 0 | 6596 | - | 50M | 0 | 552 |3684 |3631 | 86 | 7 | 116 | 0 | 1.892285e+02 | 2.720000e+02 | 43.74%| unknown
1.59/1.68 c 1.7s| 1 | 0 | 6955 | - | 52M | 0 | 552 |3691 |3639 | 94 | 8 | 123 | 0 | 1.897319e+02 | 2.720000e+02 | 43.36%| unknown
1.78/1.81 c 1.8s| 1 | 0 | 7103 | - | 57M | 0 | 552 |3697 |3645 | 100 | 9 | 129 | 0 | 1.899550e+02 | 2.720000e+02 | 43.19%| unknown
1.88/1.96 c 2.0s| 1 | 0 | 7759 | - | 61M | 0 | 552 |3698 |3651 | 106 | 10 | 130 | 0 | 1.902563e+02 | 2.720000e+02 | 42.97%| unknown
1.99/2.02 c 2.0s| 1 | 0 | 8148 | - | 62M | 0 | 552 |3705 |3656 | 111 | 11 | 137 | 0 | 1.904408e+02 | 2.720000e+02 | 42.83%| unknown
1.99/2.07 c 2.1s| 1 | 0 | 8390 | - | 63M | 0 | 552 |3709 |3660 | 115 | 12 | 141 | 0 | 1.904981e+02 | 2.720000e+02 | 42.78%| unknown
1.99/2.10 c 2.1s| 1 | 0 | 8489 | - | 63M | 0 | 552 |3710 |3664 | 119 | 13 | 142 | 0 | 1.905024e+02 | 2.720000e+02 | 42.78%| unknown
2.09/2.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.09/2.13 c 2.1s| 1 | 0 | 8505 | - | 63M | 0 | 552 |3712 |3655 | 121 | 14 | 144 | 0 | 1.905024e+02 | 2.720000e+02 | 42.78%| unknown
2.09/2.17 c 2.2s| 1 | 0 | 8697 | - | 64M | 0 | 552 |3722 |3658 | 124 | 15 | 154 | 0 | 1.906124e+02 | 2.720000e+02 | 42.70%| unknown
2.18/2.20 c 2.2s| 1 | 0 | 8738 | - | 64M | 0 | 552 |3728 |3662 | 128 | 16 | 160 | 0 | 1.906136e+02 | 2.720000e+02 | 42.70%| unknown
2.18/2.22 c 2.2s| 1 | 0 | 8747 | - | 64M | 0 | 552 |3729 |3664 | 130 | 17 | 161 | 0 | 1.906136e+02 | 2.720000e+02 | 42.70%| unknown
2.18/2.26 c 2.3s| 1 | 0 | 8899 | - | 64M | 0 | 552 |3730 |3665 | 131 | 18 | 162 | 0 | 1.906405e+02 | 2.720000e+02 | 42.68%| unknown
2.18/2.29 c 2.3s| 1 | 0 | 8924 | - | 65M | 0 | 552 |3731 |3667 | 133 | 19 | 163 | 0 | 1.906409e+02 | 2.720000e+02 | 42.68%| unknown
2.28/2.32 c 2.3s| 1 | 0 | 9025 | - | 65M | 0 | 552 |3732 |3652 | 136 | 20 | 164 | 0 | 1.906616e+02 | 2.720000e+02 | 42.66%| unknown
2.28/2.34 c 2.3s| 1 | 0 | 9031 | - | 65M | 0 | 552 |3733 |3653 | 137 | 21 | 165 | 0 | 1.906619e+02 | 2.720000e+02 | 42.66%| unknown
4.37/4.40 c 4.4s| 1 | 2 | 10439 | - | 65M | 0 | 552 |3737 |3653 | 137 | 22 | 169 | 26 | 1.913153e+02 | 2.720000e+02 | 42.17%| unknown
13.43/13.52 o 271
13.43/13.52 c *13.5s| 95 | 14 | 24297 | 162.4 | LP | 19 | 552 |4156 |3649 | 183 | 1 | 678 | 595 | 2.020167e+02 | 2.710000e+02 | 34.15%| 35.98%
13.43/13.52 o 270
13.43/13.52 c i13.5s| 96 | 13 | 24297 | 160.7 | oneopt| 19 | 552 |4155 |3637 | 183 | 0 | 678 | 595 | 2.020167e+02 | 2.700000e+02 | 33.65%| 35.98%
13.43/13.54 c 13.5s| 100 | 16 | 24728 | 158.6 | 75M | 19 | 552 |4161 |3627 | 183 | 1 | 685 | 595 | 2.020167e+02 | 2.700000e+02 | 33.65%| 38.80%
17.13/17.30 c 17.3s| 200 | 24 | 37170 | 141.4 | 87M | 19 | 552 |4273 |3650 | 414 | 1 | 921 | 656 | 2.031310e+02 | 2.700000e+02 | 32.92%| 46.70%
17.23/17.34 o 269
17.23/17.34 c r17.3s| 204 | 22 | 37456 | 140.0 |rounding| 19 | 552 |4277 |3637 | 416 | 1 | 926 | 656 | 2.031310e+02 | 2.690000e+02 | 32.43%| 47.37%
17.23/17.35 o 268
17.23/17.35 c r17.3s| 204 | 22 | 37466 | 140.1 |rounding| 19 | 552 |4277 |3638 | 417 | 2 | 926 | 656 | 2.031310e+02 | 2.680000e+02 | 31.93%| 47.37%
17.23/17.35 o 267
17.23/17.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.23/17.35 c r17.3s| 204 | 22 | 37466 | 140.1 |shifting| 19 | 552 |4277 |3638 | 417 | 2 | 926 | 656 | 2.031310e+02 | 2.670000e+02 | 31.44%| 47.37%
17.23/17.36 o 266
17.23/17.36 c r17.4s| 204 | 22 | 37471 | 140.1 |rounding| 19 | 552 |4277 |3639 | 418 | 3 | 926 | 656 | 2.031310e+02 | 2.660000e+02 | 30.95%| 47.37%
17.23/17.36 o 265
17.23/17.36 c r17.4s| 204 | 22 | 37471 | 140.1 |shifting| 19 | 552 |4277 |3639 | 418 | 3 | 926 | 656 | 2.031310e+02 | 2.650000e+02 | 30.46%| 47.37%
18.52/18.64 c 18.6s| 300 | 28 | 42157 | 110.8 | 91M | 24 | 552 |4271 |3650 | 501 | 1 | 975 | 671 | 2.135077e+02 | 2.650000e+02 | 24.12%| 49.35%
19.92/20.08 o 264
19.92/20.08 c *20.1s| 386 | 24 | 48691 | 103.0 | LP | 28 | 552 |4469 |3637 | 663 | 1 |1208 | 715 | 2.135077e+02 | 2.640000e+02 | 23.65%| 51.63%
20.02/20.11 c 20.1s| 400 | 26 | 48917 | 100.0 | 98M | 28 | 552 |4487 |3637 | 663 | 0 |1226 | 718 | 2.135077e+02 | 2.640000e+02 | 23.65%| 51.76%
20.81/20.91 c 20.9s| 500 | 24 | 52356 | 86.8 | 98M | 28 | 552 |4598 |3644 | 690 | 1 |1367 | 762 | 2.140405e+02 | 2.640000e+02 | 23.34%| 54.31%
24.30/24.43 c 24.4s| 600 | 20 | 62463 | 89.2 | 102M | 28 | 552 |4738 | 0 | 863 | 0 |1668 | 832 | 2.141573e+02 | 2.640000e+02 | 23.27%| 71.86%
25.10/25.29 c 25.3s| 700 | 19 | 70064 | 87.3 | 102M | 28 | 552 |4831 | 0 | 923 | 0 |1881 | 881 | 2.156220e+02 | 2.640000e+02 | 22.44%| 75.41%
26.29/26.43 c 26.4s| 800 | 22 | 77877 | 86.2 | 103M | 29 | 552 |4982 | 0 | 990 | 0 |2141 | 965 | 2.170060e+02 | 2.640000e+02 | 21.66%| 76.43%
27.69/27.87 c 27.9s| 900 | 9 | 87523 | 87.3 | 103M | 29 | 552 |5240 |3648 |1093 | 0 |2489 |1056 | 2.170060e+02 | 2.640000e+02 | 21.66%| 82.13%
28.78/28.98 c 29.0s| 1000 | 27 | 92911 | 84.0 | 103M | 29 | 552 |5288 |3640 |1187 | 0 |2642 |1099 | 2.247780e+02 | 2.640000e+02 | 17.45%| 88.84%
29.38/29.50 c r29.5s| 1060 | 27 | 95341 | 81.5 |ziroundi| 29 | 552 |5294 |3640 |1223 | 1 |2703 |1126 | 2.298331e+02 | 2.640000e+02 | 14.87%| 90.96%
30.18/30.32 c 30.3s| 1100 | 37 | 99324 | 82.2 | 106M | 29 | 552 |5305 |3642 |1295 | 0 |2743 |1142 | 2.325040e+02 | 2.640000e+02 | 13.55%| 91.19%
30.38/30.56 c 30.6s| 1200 | 33 |100622 | 76.4 | 114M | 29 | 552 |5302 |3641 |1322 | 1 |2765 |1144 | 2.355619e+02 | 2.640000e+02 | 12.07%| 91.54%
30.88/31.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.88/31.07 c 31.1s| 1300 | 39 |102460 | 71.9 | 114M | 29 | 552 |5301 |3642 |1364 | 0 |2785 |1153 | 2.362294e+02 | 2.640000e+02 | 11.76%| 91.66%
31.27/31.47 c 31.5s| 1400 | 24 |104884 | 68.5 | 114M | 29 | 552 |5300 |3647 |1388 | 1 |2816 |1162 | 2.393011e+02 | 2.640000e+02 | 10.32%| 94.73%
31.47/31.68 c 31.7s| 1500 | 26 |106090 | 64.7 | 114M | 40 | 552 |5324 |3651 |1402 | 0 |2847 |1162 | 2.396526e+02 | 2.640000e+02 | 10.16%| 94.76%
31.47/31.69 o 263
31.47/31.69 c r31.7s| 1502 | 25 |106273 | 64.8 |rounding| 40 | 552 |5322 |3647 |1402 | 0 |2847 |1162 | 2.402977e+02 | 2.630000e+02 | 9.45%| 94.80%
31.47/31.69 c r31.7s| 1504 | 29 |106309 | 64.7 |ziroundi| 40 | 552 |5322 |3647 |1402 | 1 |2847 |1162 | 2.402977e+02 | 2.630000e+02 | 9.45%| 94.80%
31.57/31.71 o 262
31.57/31.71 c *31.7s| 1514 | 26 |106367 | 64.3 | LP | 40 | 552 |5322 |3647 |1402 | 1 |2847 |1162 | 2.402977e+02 | 2.620000e+02 | 9.03%| 94.81%
32.26/32.40 c 32.4s| 1600 | 20 |108644 | 62.3 | 114M | 40 | 552 |5319 |3646 |1442 | 1 |2873 |1165 | 2.407997e+02 | 2.620000e+02 | 8.80%| 95.59%
32.36/32.57 c 32.6s| 1700 | 20 |110372 | 59.6 | 115M | 40 | 552 |5343 |3650 |1449 | 1 |2914 |1165 | 2.423394e+02 | 2.620000e+02 | 8.11%| 95.81%
32.87/33.04 c 33.0s| 1800 | 13 |113094 | 57.8 | 115M | 40 | 552 |5388 |3646 |1462 | 1 |2983 |1173 | 2.475666e+02 | 2.620000e+02 | 5.83%| 97.41%
32.97/33.17 c r33.2s| 1872 | 13 |114459 | 56.3 |ziroundi| 40 | 552 |5376 |3645 |1462 | 1 |2983 |1177 | 2.475666e+02 | 2.620000e+02 | 5.83%| 97.91%
33.06/33.20 c 33.2s| 1900 | 9 |114561 | 55.6 | 115M | 40 | 552 |5371 |3645 |1462 | 0 |2987 |1177 | 2.496650e+02 | 2.620000e+02 | 4.94%| 98.11%
33.06/33.23 o 261
33.06/33.23 c *33.2s| 1911 | 7 |114816 | 55.4 | LP | 40 | 552 |5375 |3645 |1462 | 1 |2991 |1177 | 2.511747e+02 | 2.610000e+02 | 3.91%| 98.16%
33.06/33.26 c
33.06/33.26 c SCIP Status : problem is solved [optimal solution found]
33.06/33.26 c Solving Time (sec) : 33.26
33.06/33.26 c Solving Nodes : 1927
33.06/33.26 c Primal Bound : +2.61000000000000e+02 (242 solutions)
33.06/33.26 c Dual Bound : +2.61000000000000e+02
33.06/33.26 c Gap : 0.00 %
33.06/33.26 s OPTIMUM FOUND
33.06/33.26 v x558 -x557 -x556 x555 x554 -x553 -x552 x551 x550 -x549 x548 -x547 x546 -x545 -x544 x543 x542 -x541 x540 -x539 -x538 x537 x536 -x535
33.06/33.26 v -x534 x533 x532 -x531 x530 -x529 x528 -x527 -x526 x525 x524 -x523 x522 -x521 x520 -x519 -x518 x517 x516 -x515 -x514 x513
33.06/33.26 v x512 -x511 x510 -x509 -x508 x507 x506 -x505 x504 -x503 -x502 x501 x500 -x499 x498 -x497 -x496 x495 x494 -x493 x492 -x491 -x490
33.06/33.26 v x489 x488 -x487 x486 -x485 x484 -x483 -x482 x481 x480 -x479 -x478 x477 x476 -x475 x474 -x473 -x472 x471 x470 -x469 x468 -x467
33.06/33.26 v -x466 x465 x464 -x463 -x462 x461 x460 -x459 x458 -x457 x456 -x455 -x454 x453 x452 -x451 x450 -x449 -x448 x447 x446 -x445
33.06/33.26 v x444 -x443 -x442 x441 x440 -x439 x438 -x437 -x436 x435 x434 -x433 -x432 x431 x430 -x429 x428 -x427 -x426 x425 x424 -x423 x422
33.06/33.26 v -x421 x420 -x419 -x418 x417 x416 -x415 x414 -x413 -x412 x411 x410 -x409 x408 -x407 -x406 x405 x404 -x403 x402 -x401 -x400 x399
33.06/33.26 v x398 -x397 x396 -x395 -x394 x393 x392 -x391 x390 -x389 -x388 x387 x386 -x385 -x384 x383 -x382 x381 -x380 x379 x378 -x377 -x376
33.06/33.26 v -x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354
33.06/33.26 v x353 x352 -x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 -x333 -x332 x331
33.06/33.26 v x330 -x329 -x328 x327 -x326 -x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 x314 -x313 -x312 x311 -x310 x309
33.06/33.26 v -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286
33.06/33.26 v x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 x266 -x265 -x264 x263
33.06/33.26 v x262 -x261 -x260 x259 -x258 x257 -x256 x255 x254 -x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241
33.06/33.26 v -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218
33.06/33.26 v x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 x208 -x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195
33.06/33.26 v -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172
33.06/33.26 v x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150
33.06/33.26 v x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 x127
33.06/33.26 v x126 -x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 -x109 -x108 x107 -x106 x105 -x104
33.06/33.26 v x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 x81 -x80 x79
33.06/33.26 v -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 x65 x64 -x63 -x62 x61 -x60 -x59 -x58 x57 -x56 x55 -x54 x53 -x52
33.06/33.26 v 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 -x26 -x25
33.06/33.26 v -x24 x23 -x22 -x21 -x20 x19 -x18 x17 x16 -x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 -x1
33.06/33.26 c SCIP Status : problem is solved [optimal solution found]
33.06/33.26 c Total Time : 33.26
33.06/33.26 c solving : 33.26
33.06/33.26 c presolving : 0.41 (included in solving)
33.06/33.26 c reading : 0.01 (included in solving)
33.06/33.26 c copying : 0.15 (18 #copies) (minimal 0.01, maximal 0.01, average 0.01)
33.06/33.26 c Original Problem :
33.06/33.26 c Problem name : HOME/instance-4432588-1721073286.opb
33.06/33.26 c Variables : 558 (558 binary, 0 integer, 0 implicit integer, 0 continuous)
33.06/33.26 c Constraints : 3551 initial, 3551 maximal
33.06/33.26 c Objective : minimize, 558 non-zeros (abs.min = 1, abs.max = 1)
33.06/33.26 c Presolved Problem :
33.06/33.26 c Problem name : t_HOME/instance-4432588-1721073286.opb
33.06/33.26 c Variables : 552 (552 binary, 0 integer, 0 implicit integer, 0 continuous)
33.06/33.26 c Constraints : 3545 initial, 5388 maximal
33.06/33.26 c Objective : minimize, 552 non-zeros (abs.min = 1, abs.max = 1)
33.06/33.26 c Nonzeros : 18009 constraint, 23224 clique table
33.06/33.26 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
33.06/33.26 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
33.06/33.26 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
33.06/33.26 c gateextraction : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
33.06/33.26 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
33.06/33.26 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
33.06/33.26 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
33.06/33.26 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
33.06/33.26 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
33.06/33.26 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c probing : 0.29 0.00 1 0 0 0 0 0 0 0 0 0
33.06/33.26 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
33.06/33.26 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
33.06/33.26 c setppc : 0.01 0.00 6 0 0 0 0 0 0 0 0 0
33.06/33.26 c linear : 0.02 0.00 5 0 6 0 0 0 6 0 0 0
33.06/33.26 c logicor : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
33.06/33.26 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
33.06/33.26 c root node : - - - 323 - - 323 - - - - -
33.06/33.26 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
33.06/33.26 c benderslp : 0 0 0 0 1257 0 0 372 0 0 0 0 0 0 0
33.06/33.26 c integral : 0 0 0 0 1257 0 0 372 0 0 2175 0 0 1399 1982
33.06/33.26 c setppc : 3153+ 3168 22 23303 4 0 0 366 70983 313 51292 1 0 0 0
33.06/33.26 c linear : 0+ 22 22 17895 0 0 0 3 43 35 171 2 1 0 0
33.06/33.26 c logicor : 392+ 2204 22 14938 4 0 0 300 7142 519 13014 5 2 0 0
33.06/33.26 c benders : 0 0 0 0 4 0 0 242 0 0 0 0 0 0 0
33.06/33.26 c fixedvar : 0 0 0 0 4 0 0 242 0 0 0 0 0 0 0
33.06/33.26 c countsols : 0 0 0 0 4 0 0 242 0 0 0 0 0 0 0
33.06/33.26 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
33.06/33.26 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
33.06/33.26 c integral : 11.83 0.00 0.00 0.00 11.83 0.00 0.00 0.00 0.00 0.00
33.06/33.26 c setppc : 0.38 0.00 0.00 0.19 0.00 0.00 0.00 0.03 0.01 0.15
33.06/33.26 c linear : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
33.06/33.26 c logicor : 0.21 0.00 0.00 0.12 0.00 0.00 0.00 0.00 0.01 0.08
33.06/33.26 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
33.06/33.26 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
33.06/33.26 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
33.06/33.26 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
33.06/33.26 c Propagators : #Propagate #ResProp Cutoffs DomReds
33.06/33.26 c dualfix : 1 0 0 0
33.06/33.26 c genvbounds : 0 0 0 0
33.06/33.26 c nlobbt : 0 0 0 0
33.06/33.26 c obbt : 0 0 0 0
33.06/33.26 c probing : 0 0 0 0
33.06/33.26 c pseudoobj : 12800 16 33 367
33.06/33.26 c redcost : 1190 0 0 246
33.06/33.26 c rootredcost : 8 0 0 0
33.06/33.26 c symmetry : 11196 0 50 114
33.06/33.26 c vbounds : 18796 0 0 0
33.06/33.26 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
33.06/33.26 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
33.06/33.26 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
33.06/33.26 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
33.06/33.26 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
33.06/33.26 c probing : 0.29 0.00 0.29 0.00 0.00 0.00
33.06/33.26 c pseudoobj : 0.06 0.00 0.00 0.06 0.00 0.00
33.06/33.26 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
33.06/33.26 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
33.06/33.26 c symmetry : 0.04 0.00 0.01 0.03 0.00 0.00
33.06/33.26 c vbounds : 0.04 0.00 0.00 0.04 0.00 0.01
33.06/33.26 c Symmetry :
33.06/33.26 c orbitopal red. : 114 reductions applied, 50 cutoffs
33.06/33.26 c orbital reduction: 0 reductions applied, 0 cutoffs
33.06/33.26 c lexicographic red: 0 reductions applied, 0 cutoffs
33.06/33.26 c shadow tree time : 0.00 s
33.06/33.26 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
33.06/33.26 c propagation : 0.05 864 846 - 3222 33.1 562 6.2 - - -
33.06/33.26 c infeasible LP : 0.00 1 1 - 8 62.0 1 3.0 0 0.0 0
33.06/33.26 c bound exceed. LP : 0.06 101 0 - 0 0.0 0 0.0 0 0.0 618
33.06/33.26 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
33.06/33.26 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
33.06/33.26 c applied globally : 0.05 - - 0 2991 12.9 - - 0 - -
33.06/33.26 c applied locally : - - - 0 0 0.0 - - 0 - -
33.06/33.26 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
33.06/33.26 c cut pool : 0.72 - 856 42 - - 13308 58321 - - - - - (maximal pool size: 3444)
33.06/33.26 c aggregation : 0.54 0.00 432 22 0 0 0 0 0 0 0 0 0
33.06/33.26 c > cmir : - - - - - - - 0 0 0 0 0 -
33.06/33.26 c > flowcover : - - - - - - - 0 0 0 0 0 -
33.06/33.26 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
33.06/33.26 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c clique : 0.09 0.00 22 22 0 0 0 0 0 0 0 0 0
33.06/33.26 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c gomory : 9.58 0.00 241 10 0 0 12791 55513 0 913 913 0 0
33.06/33.26 c > gomorymi : - - - - - - - 26349 0 460 460 0 -
33.06/33.26 c > strongcg : - - - - - - - 29164 0 453 453 0 -
33.06/33.26 c impliedbounds : 0.08 0.00 432 22 0 0 2 4 0 4 4 0 0
33.06/33.26 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
33.06/33.26 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c multilinear : 0.00 0.00 96 22 0 0 0 0 0 0 0 0 0
33.06/33.26 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
33.06/33.26 c rapidlearning : 0.11 0.00 1 1 0 0 0 0 0 0 0 0 22
33.06/33.26 c rlt : 0.00 0.00 62 10 0 0 0 0 0 0 0 0 0
33.06/33.26 c zerohalf : 0.58 0.00 251 20 0 0 515 2804 0 542 542 0 0
33.06/33.26 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
33.06/33.26 c hybrid : 0.05 0.00 552 21 1462 0 56867 137 0 2257
33.06/33.26 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c Pricers : ExecTime SetupTime Calls Vars
33.06/33.26 c problem variables: 0.00 - 0 0
33.06/33.26 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
33.06/33.26 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c random : 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c relpscost : 11.83 0.00 1253 0 0 0 2175 0 1729 1982
33.06/33.26 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
33.06/33.26 c Primal Heuristics : ExecTime SetupTime Calls Found Best
33.06/33.26 c LP solutions : 0.00 - - 4 4
33.06/33.26 c relax solutions : 0.00 - - 0 0
33.06/33.26 c pseudo solutions : 0.00 - - 0 0
33.06/33.26 c strong branching : 0.00 - - 0 0
33.06/33.26 c actconsdiving : 0.00 0.00 0 0 0
33.06/33.26 c adaptivediving : 0.01 0.00 3 0 0
33.06/33.26 c alns : 0.09 0.00 5 0 0
33.06/33.26 c bound : 0.00 0.00 0 0 0
33.06/33.26 c clique : 0.01 0.00 1 0 0
33.06/33.26 c coefdiving : 0.00 0.00 0 0 0
33.06/33.26 c completesol : 0.00 0.00 0 0 0
33.06/33.26 c conflictdiving : 0.14 0.00 2 0 0
33.06/33.26 c crossover : 0.11 0.00 4 4 0
33.06/33.26 c dins : 0.00 0.00 0 0 0
33.06/33.26 c distributiondivin: 0.06 0.00 2 0 0
33.06/33.26 c dps : 0.00 0.00 0 0 0
33.06/33.26 c dualval : 0.00 0.00 0 0 0
33.06/33.26 c farkasdiving : 0.00 0.00 0 0 0
33.06/33.26 c feasjump : 0.04 0.00 1 0 0
33.06/33.26 c feaspump : 0.26 0.00 1 0 0
33.06/33.26 c fixandinfer : 0.00 0.00 0 0 0
33.06/33.26 c fracdiving : 0.01 0.00 2 0 0
33.06/33.26 c gins : 0.05 0.00 3 0 0
33.06/33.26 c guideddiving : 0.01 0.00 2 0 0
33.06/33.26 c indcoefdiving : 0.00 0.00 0 0 0
33.06/33.26 c indicator : 0.00 0.00 0 0 0
33.06/33.26 c indicatordiving : 0.00 0.00 0 0 0
33.06/33.26 c indoneopt : 0.00 0.00 0 0 0
33.06/33.26 c indrounding : 0.00 0.00 0 0 0
33.06/33.26 c indtwoopt : 0.00 0.00 0 0 0
33.06/33.26 c intdiving : 0.00 0.00 0 0 0
33.06/33.26 c intshifting : 0.00 0.00 0 0 0
33.06/33.26 c linesearchdiving : 0.01 0.00 2 0 0
33.06/33.26 c localbranching : 0.00 0.00 0 0 0
33.06/33.26 c locks : 0.00 0.00 1 0 0
33.06/33.26 c lpface : 0.00 0.00 0 0 0
33.06/33.26 c mpec : 0.00 0.00 0 0 0
33.06/33.26 c multistart : 0.00 0.00 0 0 0
33.06/33.26 c mutation : 0.00 0.00 0 0 0
33.06/33.26 c nlpdiving : 0.00 0.00 0 0 0
33.06/33.26 c objpscostdiving : 0.01 0.00 1 1 0
33.06/33.26 c octane : 0.00 0.00 0 0 0
33.06/33.26 c ofins : 0.00 0.00 0 0 0
33.06/33.26 c oneopt : 0.00 0.00 10 1 1
33.06/33.26 c padm : 0.00 0.00 0 0 0
33.06/33.26 c proximity : 0.00 0.00 0 0 0
33.06/33.26 c pscostdiving : 0.01 0.00 2 0 0
33.06/33.26 c randrounding : 0.05 0.00 152 5 0
33.06/33.26 c rens : 0.00 0.00 0 0 0
33.06/33.26 c reoptsols : 0.00 0.00 0 0 0
33.06/33.26 c repair : 0.00 0.00 0 0 0
33.06/33.26 c rins : 0.19 0.00 5 5 0
33.06/33.26 c rootsoldiving : 0.06 0.00 1 1 0
33.06/33.26 c rounding : 0.16 0.00 1665 4 4
33.06/33.26 c scheduler : 0.00 0.00 0 0 0
33.06/33.26 c shiftandpropagate: 0.01 0.00 1 0 0
33.06/33.26 c shifting : 0.21 0.00 696 8 2
33.06/33.26 c simplerounding : 0.00 0.00 0 0 0
33.06/33.26 c smallcard : 0.00 0.00 0 0 0
33.06/33.26 c subnlp : 0.00 0.00 0 0 0
33.06/33.26 c trivial : 0.00 0.00 2 0 0
33.06/33.26 c trivialnegation : 0.00 0.00 0 0 0
33.06/33.26 c trustregion : 0.00 0.00 0 0 0
33.06/33.26 c trysol : 0.00 0.00 0 0 0
33.06/33.26 c twoopt : 0.00 0.00 0 0 0
33.06/33.26 c undercover : 0.00 0.00 0 0 0
33.06/33.26 c vbounds : 0.01 0.00 1 0 0
33.06/33.26 c veclendiving : 0.00 0.00 2 0 0
33.06/33.26 c zeroobj : 0.00 0.00 0 0 0
33.06/33.26 c zirounding : 0.11 0.00 989 208 0
33.06/33.26 c other solutions : - - - 0 -
33.06/33.26 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
33.06/33.26 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
33.06/33.26 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
33.06/33.26 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
33.06/33.26 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
33.06/33.26 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
33.06/33.26 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
33.06/33.26 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
33.06/33.26 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
33.06/33.26 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
33.06/33.26 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
33.06/33.26 c primal LP : 0.08 155 0 0.00 0.00 0.08 155
33.06/33.26 c dual LP : 6.35 2569 106598 44.40 16782.78 0.09 168
33.06/33.26 c lex dual LP : 0.00 0 0 0.00 -
33.06/33.26 c barrier LP : 0.00 0 0 0.00 - 0.00 0
33.06/33.26 c resolve instable : 0.00 0 0 0.00 -
33.06/33.26 c diving/probing LP: 0.94 288 8635 29.98 9159.87
33.06/33.26 c strong branching : 10.44 1177 169163 143.72 16196.34 - - 88
33.06/33.26 c (at root node) : - 26 19655 755.96 -
33.06/33.26 c conflict analysis: 0.04 68 618 9.09 15653.10
33.06/33.26 c B&B Tree :
33.06/33.26 c number of runs : 1
33.06/33.26 c nodes : 1927 (991 internal, 936 leaves)
33.06/33.26 c feasible leaves : 4
33.06/33.26 c infeas. leaves : 335
33.06/33.26 c objective leaves : 597
33.06/33.26 c nodes (total) : 1927 (991 internal, 936 leaves)
33.06/33.26 c nodes left : 0
33.06/33.26 c max depth : 40
33.06/33.26 c max depth (total): 40
33.06/33.26 c backtracks : 374 (19.4%)
33.06/33.26 c early backtracks : 0 (0.0%)
33.06/33.26 c nodes exc. ref. : 0 (0.0%)
33.06/33.26 c delayed cutoffs : 46
33.06/33.26 c repropagations : 906 (6677 domain reductions, 38 cutoffs)
33.06/33.26 c avg switch length: 3.54
33.06/33.26 c switching time : 0.24
33.06/33.26 c Root Node :
33.06/33.26 c First LP value : +1.74500000000000e+02
33.06/33.26 c First LP Iters : 659 (20685.54 Iter/sec)
33.06/33.26 c First LP Time : 0.03
33.06/33.26 c Final Dual Bound : +1.91315326498622e+02
33.06/33.26 c Final Root Iters : 9031
33.06/33.26 c Root LP Estimate : +4.09067725929722e+02
33.06/33.26 c Solution :
33.06/33.26 c Solutions found : 242 (12 improvements)
33.06/33.26 c First Solution : +2.72000000000000e+02 (in run 1, after 1 nodes, 0.97 seconds, depth 0, found by <relaxation>)
33.06/33.26 c Gap First Sol. : 55.87 %
33.06/33.26 c Gap Last Sol. : 3.91 %
33.06/33.26 c Primal Bound : +2.61000000000000e+02 (in run 1, after 1911 nodes, 33.22 seconds, depth 23, found by <relaxation>)
33.06/33.26 c Dual Bound : +2.61000000000000e+02
33.06/33.26 c Gap : 0.00 %
33.06/33.26 c Integrals : Total Avg%
33.06/33.26 c primal-dual : 792.76 23.84
33.06/33.26 c primal-ref : - - (not evaluated)
33.06/33.26 c dual-ref : - - (not evaluated)
33.06/33.28 c Time complete: 33.1577.
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 (62694 MiB free)
memory of node 1: 64473 MiB (63522 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432588-1721073286/watcher-4432588-1721073286 -o /tmp/evaluation-result-4432588-1721073286/solver-4432588-1721073286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721073296-810247 --watchdog 3760 pbscip -f HOME/instance-4432588-1721073286.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=810418, runsolver pid=810415
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 1.34 1.64 2.50 4/243 810419
/proc/meminfo: memFree=129235412/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=70308 memory=31716 CPUtime=0.1 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 5002 0 0 0 9 1 0 0 20 0 1 0 159484465 71995392 7929 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 17577 7929 3733 3540 0 5834 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 70308 KiB
Current children cumulated memory: 31716 KiB
[startup+0.214019 s]*
/proc/loadavg: 1.34 1.64 2.50 5/241 810437
/proc/meminfo: memFree=129254304/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=70712 memory=31980 CPUtime=0.22 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 5119 0 0 0 21 1 0 0 20 0 1 0 159484465 72409088 7995 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 17678 7995 3733 3540 0 5935 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 70712 KiB
Current children cumulated memory: 31980 KiB
[startup+0.313234 s]*
/proc/loadavg: 1.34 1.64 2.50 5/240 810441
/proc/meminfo: memFree=129234940/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=71100 memory=32508 CPUtime=0.31 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 5208 0 0 0 30 1 0 0 20 0 1 0 159484465 72806400 8127 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 17775 8127 3733 3540 0 6032 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 71100 KiB
Current children cumulated memory: 32508 KiB
[startup+0.700301 s]
/proc/loadavg: 1.34 1.64 2.50 5/246 810451
/proc/meminfo: memFree=129204592/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=90804 memory=49948 CPUtime=0.69 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 9384 0 0 0 67 2 0 0 20 0 1 0 159484465 92983296 12487 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 22701 12487 3941 3540 0 10958 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90804 KiB
Current children cumulated memory: 49948 KiB
[startup+1.50033 s]
/proc/loadavg: 1.34 1.64 2.50 5/246 810451
/proc/meminfo: memFree=129134032/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=109684 memory=67544 CPUtime=1.49 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 14539 0 0 0 146 3 0 0 20 0 1 0 159484465 112316416 16886 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 27421 16886 3979 3540 0 15678 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 109684 KiB
Current children cumulated memory: 67544 KiB
[startup+3.11298 s]
/proc/loadavg: 1.34 1.64 2.50 5/246 810499
/proc/meminfo: memFree=129003572/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=130288 memory=84056 CPUtime=3.09 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 19070 0 0 0 306 3 0 0 20 0 1 0 159484465 133414912 21014 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 32572 21014 3979 3540 0 20829 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 130288 KiB
Current children cumulated memory: 84056 KiB
[startup+6.30029 s]
/proc/loadavg: 1.55 1.68 2.51 5/243 810605
/proc/meminfo: memFree=129076704/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=130288 memory=84056 CPUtime=6.26 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 19072 0 0 0 623 3 0 0 20 0 1 0 159484465 133414912 21014 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 32572 21014 3979 3540 0 20829 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 130288 KiB
Current children cumulated memory: 84056 KiB
[startup+12.7003 s]
/proc/loadavg: 1.75 1.72 2.52 5/241 810953
/proc/meminfo: memFree=129062184/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=130288 memory=84056 CPUtime=12.64 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 19078 0 0 0 1261 3 0 0 20 0 1 0 159484465 133414912 21014 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 32572 21014 3979 3540 0 20829 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 130288 KiB
Current children cumulated memory: 84056 KiB
[startup+25.5003 s]
/proc/loadavg: 2.33 1.85 2.55 5/244 811100
/proc/meminfo: memFree=128844768/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=172040 memory=122508 CPUtime=25.4 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 28940 0 0 0 2535 5 0 0 20 0 1 0 159484465 176168960 30627 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 43010 30627 3979 3540 0 31267 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 172040 KiB
Current children cumulated memory: 122508 KiB
[startup+33.2925 s]
# the end of solver process 810418 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=33.1019 s, system=0.064691 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=128844768/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=172312 memory=123036 CPUtime=25.5 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 29079 0 0 0 2545 5 0 0 20 0 1 0 159484465 176447488 30759 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 43078 30759 3979 3540 0 31335 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 172312 KiB
Current children cumulated memory: 123036 KiB
[startup+28.8003 s]
/proc/loadavg: 2.33 1.85 2.55 5/244 811100
/proc/meminfo: memFree=128836360/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=174872 memory=125412 CPUtime=28.68 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 29714 0 0 0 2863 5 0 0 20 0 1 0 159484465 179068928 31353 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 43718 31353 3979 3540 0 31975 0
Current children cumulated CPU time: 28.68 s
Current children cumulated vsize: 174872 KiB
Current children cumulated memory: 125412 KiB
[startup+30.4003 s]
/proc/loadavg: 2.46 1.89 2.56 5/241 811160
/proc/meminfo: memFree=128979524/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=174872 memory=125676 CPUtime=30.28 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 29765 0 0 0 3023 5 0 0 20 0 1 0 159484465 179068928 31419 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 43718 31419 3979 3540 0 31975 0
Current children cumulated CPU time: 30.28 s
Current children cumulated vsize: 174872 KiB
Current children cumulated memory: 125676 KiB
[startup+32.0003 s]*
/proc/loadavg: 2.46 1.89 2.56 4/241 811298
/proc/meminfo: memFree=128970520/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=184396 memory=134296 CPUtime=31.88 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 31407 0 0 0 3183 5 0 0 20 0 1 0 159484465 188821504 33574 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 46099 33574 3979 3540 0 34356 0
Current children cumulated CPU time: 31.88 s
Current children cumulated vsize: 184396 KiB
Current children cumulated memory: 134296 KiB
[startup+32.8003 s]
/proc/loadavg: 2.46 1.89 2.56 4/241 811298
/proc/meminfo: memFree=128970520/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=184396 memory=134296 CPUtime=32.66 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 31408 0 0 0 3261 5 0 0 20 0 1 0 159484465 188821504 33574 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 46099 33574 3979 3540 0 34356 0
Current children cumulated CPU time: 32.66 s
Current children cumulated vsize: 184396 KiB
Current children cumulated memory: 134296 KiB
[startup+33.2003 s]
/proc/loadavg: 2.46 1.89 2.56 5/244 811378
/proc/meminfo: memFree=128965024/131655788 swapFree=131071996/131071996
[pid=810418] ppid=810415 vsize=184396 memory=134296 CPUtime=33.06 cores=0,2
/proc/810418/stat : 810418 (pbscip) R 810415 810418 810237 0 -1 4194304 31408 0 0 0 3301 5 0 0 20 0 1 0 159484465 188821504 33574 134679101440 4194304 18693293 140736897808400 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41598976 140736897815556 140736897815655 140736897815655 140736897822670 0
/proc/810418/statm: 46099 33574 3979 3540 0 34356 0
Current children cumulated CPU time: 33.06 s
Current children cumulated vsize: 184396 KiB
Current children cumulated memory: 134296 KiB
Child status: 0
Real time (s): 33.2926
CPU time (s): 33.1666
CPU user time (s): 33.1019
CPU system time (s): 0.064691
CPU usage (%): 99.6216
Max. virtual memory (cumulated for all children) (KiB): 184396
Max. memory (cumulated for all children) (KiB): 134296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.1019
system time used= 0.064691
maximum resident set size= 134440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31545
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= 241
# summary of solver processes directly reported to runsolver:
# pid: 810418
# total CPU time (s): 33.1666
# total CPU user time (s): 33.1019
# total CPU system time (s): 0.064691
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.211743 second user time and 0.371198 second system time
The end