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-4498992-1751406010.opb>
0.00/0.04 c original problem has 8424 variables (8424 bin, 0 int, 0 impl, 0 cont) and 9089 constraints
0.00/0.04 c problem read in 0.03
0.00/0.07 c presolving:
0.00/0.10 c (round 1, fast) 9 del vars, 1 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2293 clqs
0.09/0.11 c (round 2, fast) 9 del vars, 8416 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2293 clqs
0.09/0.13 c (0.1s) running MILP presolver
0.09/0.15 c (0.1s) MILP presolver found nothing
0.09/0.17 c (round 3, exhaustive) 9 del vars, 8416 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 2293 clqs
0.19/0.31 c (0.3s) probing: 51/8415 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.31 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.30/0.32 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.38/3.41 c (3.4s) symmetry computation finished: 651 generators found (max: 1500, log10 of symmetry group size: 220.0) (symcode time: 3.08)
3.38/3.47 c dynamic symmetry handling statistics:
3.38/3.47 c orbitopal reduction: no components
3.38/3.47 c orbital reduction: no components
3.38/3.47 c lexicographic reduction: no permutations
3.38/3.47 c handled 1 out of 1 symmetry components
3.38/3.47 c (round 4, exhaustive) 594 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1886 clqs
3.38/3.48 c (round 5, medium) 831 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1864 clqs
3.48/3.50 c (round 6, medium) 900 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1842 clqs
3.48/3.50 c (round 7, medium) 991 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1793 clqs
3.48/3.51 c (round 8, medium) 1078 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1789 clqs
3.48/3.52 c (round 9, medium) 1117 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1784 clqs
3.48/3.52 c (round 10, medium) 1133 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1784 clqs
3.48/3.52 c (round 11, medium) 1139 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1784 clqs
4.47/4.57 c (4.6s) probing: 1000/8415 (11.9%) - 0 fixings, 0 aggregations, 40992 implications, 0 bound changes
4.77/4.84 c (4.8s) probing: 1247/8415 (14.8%) - 0 fixings, 0 aggregations, 50374 implications, 0 bound changes
4.77/4.84 c (4.8s) probing aborted: 1000/1000 successive useless probings
4.77/4.86 c presolving (12 rounds: 12 fast, 10 medium, 3 exhaustive):
4.77/4.86 c 1139 deleted vars, 8416 deleted constraints, 575 added constraints, 9 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.77/4.86 c 0 implications, 52158 cliques
4.77/4.86 c presolved problem has 7285 variables (7285 bin, 0 int, 0 impl, 0 cont) and 1248 constraints
4.77/4.86 c 576 constraints of type <knapsack>
4.77/4.86 c 97 constraints of type <setppc>
4.77/4.86 c 575 constraints of type <orbitope>
4.77/4.86 c transformed objective value is always integral (scale: 1)
4.77/4.86 c Presolving Time: 4.79
4.77/4.86 c - non default parameters ----------------------------------------------------------------------
4.77/4.86 c # SCIP version 10.0.0
4.77/4.86 c
4.77/4.86 c # maximal time in seconds to run
4.77/4.86 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.77/4.86 c limits/time = 3596.99801
4.77/4.86 c
4.77/4.86 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.77/4.86 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.77/4.86 c limits/memory = 27900
4.77/4.86 c
4.77/4.86 c # belongs reading time to solving time?
4.77/4.86 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.77/4.86 c timing/reading = TRUE
4.77/4.86 c
4.77/4.86 c -----------------------------------------------------------------------------------------------
4.77/4.86 c start solving
4.77/4.86 c
5.57/5.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.57/5.68 c 5.7s| 1 | 0 | 1350 | - | 184M | 0 |7285 |1304 | 673 | 0 | 0 | 55 | 0 | 9.000000e+00 | -- | Inf | unknown
6.17/6.22 c 6.2s| 1 | 0 | 2774 | - | 190M | 0 |7285 |1305 | 697 | 24 | 1 | 56 | 0 | 9.000000e+00 | -- | Inf | unknown
6.27/6.32 c 6.3s| 1 | 0 | 3073 | - | 193M | 0 |7285 |1306 | 724 | 51 | 2 | 57 | 0 | 9.000000e+00 | -- | Inf | unknown
6.47/6.51 c 6.5s| 1 | 0 | 3693 | - | 197M | 0 |7285 |1306 | 755 | 82 | 3 | 57 | 0 | 9.000000e+00 | -- | Inf | unknown
6.57/6.69 c 6.7s| 1 | 0 | 4137 | - | 202M | 0 |7285 |1306 | 784 | 111 | 4 | 57 | 0 | 9.000000e+00 | -- | Inf | unknown
6.97/7.02 c 7.0s| 1 | 0 | 5787 | - | 204M | 0 |7285 |1306 | 816 | 143 | 5 | 57 | 0 | 9.000000e+00 | -- | Inf | unknown
7.07/7.19 c 7.2s| 1 | 0 | 6215 | - | 206M | 0 |7285 |1307 | 843 | 170 | 6 | 58 | 0 | 9.000000e+00 | -- | Inf | unknown
7.46/7.54 c 7.5s| 1 | 0 | 8080 | - | 209M | 0 |7285 |1309 | 875 | 202 | 7 | 60 | 0 | 9.000000e+00 | -- | Inf | unknown
7.76/7.88 c 7.9s| 1 | 0 | 9394 | - | 214M | 0 |7285 |1319 | 905 | 232 | 8 | 70 | 0 | 9.000000e+00 | -- | Inf | unknown
8.06/8.16 c 8.2s| 1 | 0 | 10428 | - | 219M | 0 |7285 |1321 | 932 | 259 | 9 | 72 | 0 | 9.000000e+00 | -- | Inf | unknown
8.46/8.55 c 8.5s| 1 | 0 | 12314 | - | 220M | 0 |7285 |1322 | 965 | 292 | 10 | 73 | 0 | 9.000000e+00 | -- | Inf | unknown
8.96/9.09 c 9.1s| 1 | 0 | 15406 | - | 223M | 0 |7285 |1322 | 981 | 327 | 11 | 73 | 0 | 9.000000e+00 | -- | Inf | unknown
9.85/9.99 c 10.0s| 1 | 2 | 18439 | - | 223M | 0 |7285 |1340 | 981 | 327 | 11 | 91 | 11 | 9.000000e+00 | -- | Inf | unknown
30.49/30.61 c 30.6s| 100 | 91 |129393 |1151.4 | 244M | 26 |7285 |1865 | 757 | 519 | 1 | 626 | 11 | 9.000000e+00 | -- | Inf | unknown
40.46/40.62 c 40.6s| 200 | 163 |201196 | 933.6 | 256M | 44 |7285 |2161 | 786 | 786 | 1 | 929 | 11 | 9.000000e+00 | -- | Inf | unknown
48.44/48.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
48.44/48.66 c 48.7s| 300 | 203 |261425 | 822.8 | 261M | 50 |7285 |2358 | 781 | 994 | 0 |1149 | 11 | 9.000000e+00 | -- | Inf | unknown
56.71/56.96 c 57.0s| 400 | 225 |317060 | 756.0 | 267M | 60 |7285 |2573 | 783 |1121 | 1 |1411 | 11 | 9.000000e+00 | -- | Inf | unknown
65.59/65.87 c 65.9s| 500 | 223 |377422 | 725.5 | 272M | 60 |7285 |2754 | 786 |1190 | 0 |1707 | 11 | 9.000000e+00 | -- | Inf | unknown
78.05/78.30 c 78.3s| 600 | 243 |461556 | 744.8 | 276M | 60 |7285 |2787 | 793 |1492 | 1 |1959 | 11 | 9.000000e+00 | -- | Inf | unknown
87.73/88.06 c 88.1s| 700 | 257 |527288 | 732.3 | 279M | 60 |7285 |2778 | 790 |1724 | 0 |2207 | 11 | 9.000000e+00 | -- | Inf | unknown
98.99/99.34 c 99.3s| 800 | 246 |602017 | 734.2 | 282M | 60 |7285 |2900 | 790 |1862 | 1 |2561 | 11 | 9.000000e+00 | -- | Inf | unknown
108.06/108.42 c 108s| 900 | 245 |663397 | 720.8 | 284M | 60 |7285 |2996 | 785 |1949 | 0 |2835 | 11 | 9.000000e+00 | -- | Inf | unknown
115.14/115.58 c 116s| 1000 | 236 |711277 | 696.6 | 285M | 60 |7285 |2860 | 760 |2057 | 1 |3143 | 11 | 9.000000e+00 | -- | Inf | unknown
121.82/122.25 c 122s| 1100 | 259 |758171 | 675.9 | 287M | 60 |7285 |2878 | 773 |2209 | 1 |3439 | 11 | 9.000000e+00 | -- | Inf | unknown
131.50/131.99 c 132s| 1200 | 266 |834511 | 683.2 | 288M | 60 |7285 |2775 | 784 |2452 | 1 |3695 | 11 | 9.000000e+00 | -- | Inf | unknown
139.07/139.53 c 140s| 1300 | 269 |883739 | 668.5 | 289M | 60 |7285 |2852 | 787 |2630 | 0 |3918 | 11 | 9.000000e+00 | -- | Inf | unknown
149.95/150.46 c 150s| 1400 | 288 |957611 | 673.5 | 289M | 60 |7285 |2726 | 794 |2822 | 2 |4163 | 11 | 9.000000e+00 | -- | Inf | unknown
159.92/160.41 c 160s| 1500 | 288 | 1024k| 673.3 | 290M | 60 |7285 |2808 | 789 |2971 | 1 |4443 | 11 | 9.000000e+00 | -- | Inf | unknown
167.70/168.28 c 168s| 1600 | 303 | 1077k| 664.5 | 292M | 60 |7285 |2673 | 757 |3157 | 1 |4627 | 11 | 9.000000e+00 | -- | Inf | unknown
178.96/179.55 c 180s| 1700 | 328 | 1154k| 670.5 | 293M | 60 |7285 |2614 | 785 |3298 | 1 |4842 | 11 | 9.000000e+00 | -- | Inf | unknown
187.94/188.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
187.94/188.52 c 189s| 1800 | 355 | 1214k| 666.5 | 294M | 60 |7285 |2664 | 780 |3466 | 1 |5008 | 11 | 9.000000e+00 | -- | Inf | unknown
197.81/198.48 c 198s| 1900 | 375 | 1282k| 667.2 | 295M | 60 |7285 |2707 | 787 |3554 | 1 |5213 | 11 | 9.000000e+00 | -- | Inf | unknown
206.58/207.28 c 207s| 2000 | 403 | 1341k| 663.6 | 296M | 60 |7285 |2793 | 786 |3721 | 1 |5440 | 11 | 9.000000e+00 | -- | Inf | unknown
218.75/219.42 c 219s| 2100 | 441 | 1423k| 670.8 | 297M | 60 |7285 |2670 | 790 |3973 | 2 |5729 | 11 | 9.000000e+00 | -- | Inf | unknown
228.02/228.73 c 229s| 2200 | 464 | 1487k| 669.2 | 298M | 60 |7285 |2828 | 789 |4151 | 2 |5973 | 11 | 9.000000e+00 | -- | Inf | unknown
238.40/239.12 c 239s| 2300 | 489 | 1560k| 672.0 | 300M | 60 |7285 |2899 | 770 |4325 | 1 |6225 | 11 | 9.000000e+00 | -- | Inf | unknown
250.17/250.95 c 251s| 2400 | 523 | 1643k| 678.7 | 302M | 60 |7285 |2938 | 790 |4483 | 0 |6453 | 11 | 9.000000e+00 | -- | Inf | unknown
263.62/264.47 c 264s| 2500 | 568 | 1738k| 689.4 | 303M | 60 |7285 |2850 | 785 |4749 | 1 |6738 | 11 | 9.000000e+00 | -- | Inf | unknown
273.00/273.80 c 274s| 2600 | 605 | 1809k| 690.2 | 303M | 60 |7285 |2859 | 758 |4908 | 1 |6911 | 11 | 9.000000e+00 | -- | Inf | unknown
288.26/289.19 c 289s| 2700 | 628 | 1919k| 705.6 | 304M | 60 |7285 |2747 | 759 |5291 | 2 |7283 | 11 | 9.000000e+00 | -- | Inf | unknown
302.71/303.66 c 304s| 2800 | 654 | 2019k| 716.2 | 305M | 60 |7285 |2602 | 768 |5596 | 1 |7472 | 11 | 9.000000e+00 | -- | Inf | unknown
316.67/317.61 c 318s| 2900 | 687 | 2116k| 724.8 | 306M | 60 |7285 |2640 | 741 |5848 | 1 |7831 | 11 | 9.000000e+00 | -- | Inf | unknown
328.83/329.89 c 330s| 3000 | 727 | 2202k| 729.3 | 307M | 60 |7285 |2571 | 781 |6119 | 1 |8087 | 11 | 9.000000e+00 | -- | Inf | unknown
342.00/343.07 c 343s| 3100 | 773 | 2296k| 736.1 | 308M | 60 |7285 |2631 | 797 |6377 | 2 |8348 | 11 | 9.000000e+00 | -- | Inf | unknown
356.85/357.98 c 358s| 3200 | 806 | 2399k| 745.2 | 309M | 60 |7285 |2647 | 785 |6553 | 2 |8659 | 11 | 9.000000e+00 | -- | Inf | unknown
368.52/369.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
368.52/369.63 c 370s| 3300 | 846 | 2480k| 747.2 | 310M | 60 |7285 |2819 | 778 |6775 | 1 |8956 | 11 | 9.000000e+00 | -- | Inf | unknown
381.88/383.08 c 383s| 3400 | 877 | 2575k| 753.2 | 312M | 60 |7285 |2851 | 785 |7017 | 2 |9174 | 11 | 9.000000e+00 | -- | Inf | unknown
397.43/398.70 c 399s| 3500 | 916 | 2682k| 762.3 | 313M | 60 |7285 |2948 | 786 |7267 | 1 |9564 | 11 | 9.000000e+00 | -- | Inf | unknown
410.10/411.36 c 411s| 3600 | 938 | 2758k| 762.2 | 313M | 60 |7285 |2879 | 794 |7428 | 0 |9840 | 11 | 9.000000e+00 | -- | Inf | unknown
420.27/421.59 c 422s| 3700 | 977 | 2820k| 758.2 | 315M | 60 |7285 |3041 | 757 |7622 | 1 | 10k| 11 | 9.000000e+00 | -- | Inf | unknown
430.04/431.37 c 431s| 3800 | 1015 | 2881k| 754.5 | 315M | 60 |7285 |3027 | 772 |7795 | 1 | 10k| 11 | 9.000000e+00 | -- | Inf | unknown
442.90/444.22 c 444s| 3900 | 1057 | 2968k| 757.4 | 316M | 60 |7285 |2824 | 779 |8049 | 1 | 10k| 11 | 9.000000e+00 | -- | Inf | unknown
453.68/455.08 c 455s| 4000 | 1099 | 3032k| 754.4 | 318M | 60 |7285 |2792 | 765 |8230 | 1 | 10k| 11 | 9.000000e+00 | -- | Inf | unknown
465.04/466.41 c 466s| 4100 | 1155 | 3103k| 753.3 | 318M | 60 |7285 |2721 | 762 |8483 | 1 | 11k| 11 | 9.000000e+00 | -- | Inf | unknown
476.31/477.70 c 478s| 4200 | 1186 | 3170k| 751.5 | 319M | 60 |7285 |2774 | 755 |8763 | 1 | 11k| 11 | 9.000000e+00 | -- | Inf | unknown
488.58/490.02 c 490s| 4300 | 1222 | 3246k| 751.6 | 319M | 60 |7285 |2701 | 785 |8914 | 1 | 11k| 11 | 9.000000e+00 | -- | Inf | unknown
498.35/499.82 c 500s| 4400 | 1243 | 3303k| 747.4 | 319M | 60 |7285 |2717 | 779 |9193 | 1 | 11k| 11 | 9.000000e+00 | -- | Inf | unknown
508.02/509.58 c 510s| 4500 | 1282 | 3368k| 745.3 | 320M | 60 |7285 |2543 | 0 |9387 | 0 | 12k| 11 | 9.000000e+00 | -- | Inf | unknown
519.39/520.91 c 521s| 4600 | 1330 | 3438k| 744.3 | 321M | 60 |7285 |2486 | 808 |9582 | 1 | 12k| 11 | 9.000000e+00 | -- | Inf | unknown
531.95/533.50 c 533s| 4700 | 1364 | 3515k| 745.0 | 322M | 60 |7285 |2516 | 744 |9877 | 1 | 12k| 11 | 9.000000e+00 | -- | Inf | unknown
545.43/547.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
545.43/547.05 c 547s| 4800 | 1399 | 3591k| 745.3 | 322M | 60 |7285 |2427 | 768 | 10k| 1 | 12k| 11 | 9.000000e+00 | -- | Inf | unknown
557.09/558.77 c 559s| 4900 | 1443 | 3663k| 744.7 | 323M | 60 |7285 |2477 | 747 | 10k| 0 | 13k| 11 | 9.000000e+00 | -- | Inf | unknown
568.06/569.72 c 570s| 5000 | 1485 | 3727k| 742.6 | 323M | 60 |7285 |2503 | 752 | 10k| 1 | 13k| 11 | 9.000000e+00 | -- | Inf | unknown
579.83/581.53 c 582s| 5100 | 1509 | 3797k| 741.8 | 324M | 60 |7285 |2583 | 758 | 10k| 0 | 13k| 11 | 9.000000e+00 | -- | Inf | unknown
593.48/595.21 c 595s| 5200 | 1535 | 3877k| 742.8 | 324M | 60 |7285 |2545 | 762 | 10k| 1 | 13k| 11 | 9.000000e+00 | -- | Inf | unknown
604.45/606.21 c 606s| 5300 | 1595 | 3944k| 741.6 | 325M | 60 |7285 |2524 | 785 | 11k| 1 | 14k| 11 | 9.000000e+00 | -- | Inf | unknown
616.62/618.45 c 618s| 5400 | 1633 | 4018k| 741.5 | 326M | 60 |7285 |2645 | 775 | 11k| 1 | 14k| 11 | 9.000000e+00 | -- | Inf | unknown
632.67/634.59 c 635s| 5500 | 1673 | 4114k| 745.4 | 327M | 60 |7285 |2613 | 784 | 11k| 1 | 14k| 11 | 9.000000e+00 | -- | Inf | unknown
643.65/645.57 c 646s| 5600 | 1716 | 4175k| 743.1 | 329M | 60 |7285 |2591 | 777 | 11k| 1 | 14k| 11 | 9.000000e+00 | -- | Inf | unknown
657.12/659.08 c 659s| 5700 | 1762 | 4271k| 746.8 | 329M | 60 |7285 |2586 | 764 | 12k| 1 | 15k| 11 | 9.000000e+00 | -- | Inf | unknown
673.67/675.61 c 676s| 5800 | 1816 | 4376k| 752.1 | 329M | 60 |7285 |2588 | 0 | 12k| 0 | 15k| 11 | 9.000000e+00 | -- | Inf | unknown
690.13/692.11 c 692s| 5900 | 1883 | 4477k| 756.4 | 330M | 60 |7285 |2506 | 737 | 12k| 1 | 15k| 11 | 9.000000e+00 | -- | Inf | unknown
701.29/703.37 c 703s| 6000 | 1915 | 4541k| 754.5 | 330M | 60 |7285 |2618 | 760 | 12k| 1 | 15k| 11 | 9.000000e+00 | -- | Inf | unknown
711.07/713.18 c 713s| 6100 | 1948 | 4599k| 751.6 | 331M | 60 |7285 |2776 | 762 | 12k| 1 | 16k| 11 | 9.000000e+00 | -- | Inf | unknown
722.43/724.52 c 725s| 6200 | 1985 | 4670k| 751.0 | 331M | 60 |7285 |2769 | 771 | 13k| 1 | 16k| 11 | 9.000000e+00 | -- | Inf | unknown
736.39/738.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
736.39/738.53 c 739s| 6300 | 2015 | 4766k| 754.2 | 332M | 60 |7285 |2840 | 768 | 13k| 1 | 16k| 11 | 9.000000e+00 | -- | Inf | unknown
747.26/749.44 c 749s| 6400 | 2052 | 4840k| 754.0 | 332M | 60 |7285 |2967 | 745 | 13k| 0 | 16k| 11 | 9.000000e+00 | -- | Inf | unknown
757.84/760.02 c 760s| 6500 | 2103 | 4910k| 753.3 | 333M | 60 |7285 |2918 | 786 | 13k| 1 | 17k| 11 | 9.000000e+00 | -- | Inf | unknown
769.81/772.07 c 772s| 6600 | 2129 | 4987k| 753.4 | 333M | 60 |7285 |2833 | 777 | 14k| 2 | 17k| 11 | 9.000000e+00 | -- | Inf | unknown
778.88/781.11 c 781s| 6700 | 2170 | 5038k| 749.9 | 334M | 60 |7285 |2867 | 788 | 14k| 1 | 17k| 11 | 9.000000e+00 | -- | Inf | unknown
791.24/793.50 c 793s| 6800 | 2217 | 5110k| 749.5 | 335M | 60 |7285 |2809 | 790 | 14k| 1 | 17k| 11 | 9.000000e+00 | -- | Inf | unknown
805.50/807.86 c 808s| 6900 | 2268 | 5206k| 752.4 | 335M | 60 |7285 |2792 | 762 | 14k| 1 | 18k| 11 | 9.000000e+00 | -- | Inf | unknown
818.27/820.60 c 821s| 7000 | 2302 | 5291k| 753.8 | 337M | 60 |7285 |2694 | 793 | 14k| 1 | 18k| 11 | 9.000000e+00 | -- | Inf | unknown
831.83/834.27 c 834s| 7100 | 2333 | 5387k| 756.8 | 337M | 60 |7285 |2731 | 767 | 15k| 1 | 18k| 11 | 9.000000e+00 | -- | Inf | unknown
847.99/850.49 c 850s| 7200 | 2377 | 5502k| 762.2 | 338M | 60 |7285 |2820 | 773 | 15k| 0 | 18k| 11 | 9.000000e+00 | -- | Inf | unknown
862.65/865.12 c 865s| 7300 | 2410 | 5601k| 765.3 | 338M | 60 |7285 |2718 | 755 | 15k| 1 | 19k| 11 | 9.000000e+00 | -- | Inf | unknown
872.32/874.85 c 875s| 7400 | 2467 | 5670k| 764.4 | 339M | 60 |7285 |2778 | 754 | 16k| 1 | 19k| 11 | 9.000000e+00 | -- | Inf | unknown
887.28/889.84 c 890s| 7500 | 2529 | 5776k| 768.3 | 339M | 60 |7285 |2858 | 758 | 16k| 1 | 19k| 11 | 9.000000e+00 | -- | Inf | unknown
894.16/896.78 c 897s| 7600 | 2600 | 5816k| 763.4 | 340M | 60 |7285 |3006 | 758 | 16k| 1 | 19k| 11 | 9.000000e+00 | -- | Inf | unknown
907.82/910.43 c 910s| 7700 | 2647 | 5896k| 763.8 | 340M | 60 |7285 |3070 | 773 | 16k| 1 | 20k| 11 | 9.000000e+00 | -- | Inf | unknown
917.58/920.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
917.58/920.26 c 920s| 7800 | 2702 | 5952k| 761.2 | 341M | 60 |7285 |3064 | 758 | 16k| 0 | 20k| 11 | 9.000000e+00 | -- | Inf | unknown
931.14/933.80 c 934s| 7900 | 2757 | 6036k| 762.2 | 341M | 60 |7285 |3051 | 749 | 17k| 1 | 20k| 11 | 9.000000e+00 | -- | Inf | unknown
938.22/940.99 c 941s| 8000 | 2811 | 6074k| 757.5 | 341M | 60 |7285 |2998 | 761 | 17k| 0 | 20k| 11 | 9.000000e+00 | -- | Inf | unknown
950.28/953.06 c 953s| 8100 | 2844 | 6147k| 757.2 | 342M | 60 |7285 |2959 | 757 | 17k| 2 | 20k| 11 | 9.000000e+00 | -- | Inf | unknown
960.94/963.70 c 964s| 8200 | 2893 | 6207k| 755.2 | 342M | 60 |7285 |2764 | 771 | 17k| 0 | 20k| 11 | 9.000000e+00 | -- | Inf | unknown
975.69/978.57 c 979s| 8300 | 2938 | 6292k| 756.4 | 344M | 60 |7285 |2757 | 757 | 18k| 1 | 21k| 11 | 9.000000e+00 | -- | Inf | 0.79%
989.95/992.88 c 993s| 8400 | 2972 | 6378k| 757.6 | 344M | 60 |7285 |2595 | 755 | 18k| 1 | 21k| 11 | 9.000000e+00 | -- | Inf | 0.79%
1002.41/1005.38 c 1005s| 8500 | 3041 | 6451k| 757.3 | 344M | 60 |7285 |2564 | 737 | 18k| 1 | 21k| 11 | 9.000000e+00 | -- | Inf | 0.79%
1015.36/1018.36 c 1018s| 8600 | 3091 | 6525k| 757.1 | 345M | 60 |7285 |2601 | 761 | 19k| 1 | 21k| 11 | 9.000000e+00 | -- | Inf | 0.79%
1023.44/1026.47 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1023.44/1026.47 c (run 1, node 8664) performing user restart
1023.44/1026.47 c
1023.44/1026.48 c (restart) converted 57 cuts from the global cut pool into linear constraints
1023.44/1026.48 c
1023.54/1026.51 c presolving:
1023.54/1026.53 c (round 1, fast) 0 del vars, 33 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 52178 clqs
1023.54/1026.57 c (round 2, exhaustive) 0 del vars, 33 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 57 upgd conss, 0 impls, 52178 clqs
1023.84/1026.80 c (round 3, exhaustive) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 387 chg coeffs, 57 upgd conss, 0 impls, 52178 clqs
1024.04/1027.07 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
1024.04/1027.07 c 0 deleted vars, 143 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 397 changed coefficients
1024.04/1027.07 c 0 implications, 52178 cliques
1024.04/1027.07 c presolved problem has 7285 variables (7285 bin, 0 int, 0 impl, 0 cont) and 2495 constraints
1024.04/1027.07 c 627 constraints of type <knapsack>
1024.04/1027.07 c 120 constraints of type <setppc>
1024.04/1027.07 c 10 constraints of type <linear>
1024.04/1027.07 c 575 constraints of type <orbitope>
1024.04/1027.07 c 1163 constraints of type <logicor>
1024.04/1027.07 c transformed objective value is always integral (scale: 1)
1024.04/1027.07 c Presolving Time: 5.36
1024.04/1027.07 c
1024.43/1027.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1024.43/1027.45 c 1027s| 1 | 0 | 6577k| - | 353M | 0 |7285 |2501 | 730 | 0 | 0 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1024.93/1027.97 c 1028s| 1 | 0 | 6577k| - | 353M | 0 |7285 |2450 | 756 | 26 | 1 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1025.13/1028.13 c 1028s| 1 | 0 | 6577k| - | 354M | 0 |7285 |2396 | 783 | 53 | 2 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1027.13/1030.18 c 1030s| 1 | 0 | 6588k| - | 355M | 0 |7285 |2378 | 815 | 85 | 3 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1028.82/1031.82 c 1032s| 1 | 0 | 6597k| - | 355M | 0 |7285 |2359 | 848 | 118 | 4 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1028.92/1031.99 c 1032s| 1 | 0 | 6597k| - | 356M | 0 |7285 |2348 | 878 | 148 | 5 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1031.51/1034.50 c 1034s| 1 | 0 | 6609k| - | 356M | 0 |7285 |2329 | 909 | 179 | 6 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1033.80/1036.89 c 1037s| 1 | 0 | 6620k| - | 358M | 0 |7285 |2323 | 936 | 206 | 7 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1034.20/1037.27 c 1037s| 1 | 0 | 6621k| - | 360M | 0 |7285 |2320 | 971 | 241 | 8 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1037.00/1040.09 c 1040s| 1 | 0 | 6633k| - | 361M | 0 |7285 |2309 |1006 | 276 | 9 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1039.68/1042.79 c 1043s| 1 | 0 | 6644k| - | 362M | 0 |7285 |2302 |1041 | 311 | 10 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1042.47/1045.56 c 1046s| 1 | 0 | 6656k| - | 363M | 0 |7285 |2301 |1028 | 342 | 11 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1047.36/1050.41 c 1050s| 1 | 2 | 6667k| - | 363M | 0 |7285 |2283 |1028 | 342 | 11 | 21k| 34 | 9.000000e+00 | -- | Inf | unknown
1079.66/1082.80 c 1083s| 100 | 75 | 6848k| 770.6 | 363M | 30 |7285 |2352 | 854 | 599 | 0 | 22k| 34 | 9.000000e+00 | -- | Inf | unknown
1103.98/1107.25 c 1107s| 200 | 109 | 6983k| 777.1 | 363M | 32 |7285 |2387 | 841 | 848 | 1 | 22k| 34 | 9.000000e+00 | -- | Inf | unknown
1129.20/1132.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1129.20/1132.54 c 1133s| 300 | 84 | 7120k| 783.7 | 363M | 32 |7285 |2363 | 845 |1055 | 1 | 22k| 34 | 9.000000e+00 | -- | Inf | unknown
1155.51/1158.94 c 1159s| 400 | 107 | 7278k| 792.5 | 364M | 35 |7285 |2449 | 863 |1310 | 1 | 22k| 34 | 9.000000e+00 | -- | Inf | unknown
1172.26/1175.72 c 1176s| 500 | 114 | 7384k| 795.4 | 364M | 40 |7285 |2561 | 872 |1570 | 2 | 23k| 34 | 9.000000e+00 | -- | Inf | unknown
1188.01/1191.57 c 1192s| 600 | 131 | 7481k| 797.3 | 364M | 40 |7285 |2756 | 882 |1791 | 1 | 23k| 34 | 9.000000e+00 | -- | Inf | unknown
1204.05/1207.64 c 1208s| 700 | 137 | 7580k| 799.3 | 364M | 40 |7285 |2736 | 855 |2100 | 1 | 23k| 34 | 9.000000e+00 | -- | Inf | unknown
1226.39/1230.02 c 1230s| 800 | 138 | 7712k| 804.9 | 364M | 40 |7285 |2734 | 848 |2433 | 1 | 24k| 34 | 9.000000e+00 | -- | Inf | unknown
1245.72/1249.46 c 1249s| 900 | 145 | 7842k| 810.0 | 364M | 40 |7285 |2756 | 877 |2759 | 0 | 24k| 34 | 9.000000e+00 | -- | Inf | unknown
1260.17/1263.97 c 1264s| 1000 | 158 | 7942k| 812.0 | 364M | 40 |7285 |2822 | 867 |2991 | 1 | 24k| 34 | 9.000000e+00 | -- | Inf | unknown
1279.91/1283.70 c 1284s| 1100 | 170 | 8081k| 817.9 | 364M | 40 |7285 |2878 | 903 |3384 | 2 | 24k| 34 | 9.000000e+00 | -- | Inf | unknown
1302.94/1306.87 c 1307s| 1200 | 149 | 8244k| 826.1 | 364M | 40 |7285 |2862 | 877 |3816 | 1 | 25k| 34 | 9.000000e+00 | -- | Inf | unknown
1320.98/1324.98 c 1325s| 1300 | 150 | 8371k| 830.6 | 364M | 40 |7285 |2870 | 906 |4031 | 0 | 25k| 34 | 9.000000e+00 | -- | Inf | unknown
1339.82/1343.89 c 1344s| 1400 | 154 | 8499k| 835.1 | 364M | 40 |7285 |2910 | 880 |4203 | 1 | 25k| 34 | 9.000000e+00 | -- | Inf | unknown
1362.54/1366.60 c 1367s| 1500 | 153 | 8649k| 841.6 | 364M | 40 |7285 |2782 | 851 |4441 | 1 | 25k| 34 | 9.000000e+00 | -- | Inf | unknown
1383.88/1388.01 c 1388s| 1600 | 154 | 8799k| 848.0 | 364M | 40 |7285 |2774 | 903 |4762 | 0 | 25k| 34 | 9.000000e+00 | -- | Inf | unknown
1407.10/1411.31 c 1411s| 1700 | 141 | 8960k| 855.4 | 365M | 40 |7285 |2767 | 887 |5095 | 0 | 26k| 34 | 9.000000e+00 | -- | Inf | unknown
1437.10/1441.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1437.10/1441.45 c 1441s| 1800 | 145 | 9150k| 865.3 | 365M | 40 |7285 |2854 | 949 |5346 | 0 | 26k| 34 | 9.000000e+00 | -- | Inf | unknown
1458.54/1462.95 c 1463s| 1900 | 173 | 9280k| 869.5 | 365M | 40 |7285 |2880 | 948 |5545 | 1 | 26k| 34 | 9.000000e+00 | -- | Inf | unknown
1485.07/1489.56 c 1490s| 2000 | 185 | 9427k| 875.1 | 365M | 40 |7285 |2924 | 960 |5614 | 1 | 27k| 34 | 9.000000e+00 | -- | Inf | unknown
1508.51/1513.01 c 1513s| 2100 | 184 | 9555k| 878.9 | 365M | 40 |7285 |2864 | 947 |5838 | 1 | 27k| 34 | 9.000000e+00 | -- | Inf | unknown
1532.84/1537.47 c 1537s| 2200 | 202 | 9681k| 882.4 | 365M | 40 |7285 |2825 | 932 |6067 | 1 | 27k| 34 | 9.000000e+00 | -- | Inf | unknown
1564.05/1568.73 c 1569s| 2300 | 190 | 9850k| 889.7 | 365M | 40 |7285 |2724 | 923 |6280 | 0 | 27k| 34 | 9.000000e+00 | -- | Inf | unknown
1595.66/1600.48 c 1600s| 2400 | 191 | 10020k| 897.1 | 365M | 40 |7285 |2608 | 844 |6549 | 1 | 28k| 34 | 9.000000e+00 | -- | Inf | unknown
1617.70/1622.52 c 1623s| 2500 | 226 | 10152k| 900.9 | 365M | 40 |7285 |2758 | 879 |6785 | 1 | 28k| 34 | 9.000000e+00 | -- | Inf | unknown
1650.81/1655.72 c 1656s| 2600 | 266 | 10359k| 911.3 | 365M | 40 |7285 |2813 | 889 |7111 | 2 | 28k| 34 | 9.000000e+00 | -- | Inf | unknown
1681.42/1686.46 c 1686s| 2700 | 281 | 10544k| 919.5 | 366M | 43 |7285 |2740 | 0 |7479 | 0 | 29k| 34 | 9.000000e+00 | -- | Inf | unknown
1699.77/1704.86 c 1705s| 2800 | 231 | 10675k| 922.9 | 366M | 43 |7285 |2692 | 895 |7684 | 1 | 29k| 34 | 9.000000e+00 | -- | Inf | unknown
1715.13/1720.22 c 1720s| 2900 | 263 | 10784k| 924.3 | 366M | 43 |7285 |2749 | 877 |8094 | 1 | 29k| 34 | 9.000000e+00 | -- | Inf | unknown
1735.57/1740.71 c 1741s| 3000 | 206 | 10928k| 928.8 | 366M | 43 |7285 |2711 | 848 |8289 | 1 | 29k| 34 | 9.000000e+00 | -- | Inf | unknown
1753.83/1759.05 c 1759s| 3100 | 223 | 11062k| 932.3 | 366M | 50 |7285 |2766 | 892 |8719 | 1 | 30k| 34 | 9.000000e+00 | -- | Inf | unknown
1767.89/1773.15 c 1773s| 3200 | 214 | 11161k| 932.8 | 366M | 50 |7285 |2707 | 928 |8904 | 0 | 30k| 34 | 9.000000e+00 | -- | Inf | unknown
1791.22/1796.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1791.22/1796.54 c 1797s| 3300 | 254 | 11316k| 937.9 | 366M | 50 |7285 |2588 | 861 |9189 | 1 | 30k| 34 | 9.000000e+00 | -- | Inf | unknown
1808.78/1814.14 c 1814s| 3400 | 297 | 11435k| 940.0 | 366M | 50 |7285 |2616 | 0 |9496 | 0 | 30k| 34 | 9.000000e+00 | -- | Inf | unknown
1829.72/1835.13 c 1835s| 3500 | 314 | 11579k| 944.2 | 366M | 50 |7285 |2682 | 896 |9894 | 1 | 31k| 34 | 9.000000e+00 | -- | Inf | unknown
1855.55/1861.05 c 1861s| 3600 | 323 | 11757k| 950.9 | 366M | 50 |7285 |2607 | 0 | 10k| 0 | 31k| 34 | 9.000000e+00 | -- | Inf | unknown
1878.28/1883.88 c 1884s| 3700 | 358 | 11913k| 955.9 | 366M | 50 |7285 |2796 | 878 | 10k| 0 | 31k| 34 | 9.000000e+00 | -- | Inf | unknown
1910.40/1916.10 c 1916s| 3800 | 196 | 12128k| 965.4 | 366M | 50 |7285 |2592 |1065 | 10k| 0 | 32k| 34 | 9.000000e+00 | -- | Inf | unknown
1956.37/1962.14 c 1962s| 3900 | 252 | 12385k| 978.2 | 367M | 50 |7285 |2655 |1014 | 11k| 1 | 32k| 34 | 9.000000e+00 | -- | Inf | unknown
1998.55/2004.45 c 2004s| 4000 | 280 | 12628k| 989.7 | 367M | 50 |7285 |2586 | 882 | 11k| 1 | 32k| 34 | 9.000000e+00 | -- | Inf | unknown
2024.78/2030.71 c 2031s| 4100 | 317 | 12815k| 996.6 | 367M | 50 |7285 |2779 | 889 | 11k| 1 | 32k| 34 | 9.000000e+00 | -- | Inf | unknown
2048.22/2054.21 c 2054s| 4200 | 365 | 12956k| 999.8 | 367M | 50 |7285 |2835 | 872 | 11k| 1 | 33k| 34 | 9.000000e+00 | -- | Inf | unknown
2087.31/2093.46 c 2093s| 4300 | 314 | 13199k|1010.9 | 367M | 50 |7285 |2669 | 994 | 12k| 0 | 33k| 34 | 9.000000e+00 | -- | Inf | unknown
2110.95/2117.12 c 2117s| 4400 | 346 | 13350k|1014.7 | 367M | 50 |7285 |2678 | 857 | 12k| 1 | 33k| 34 | 9.000000e+00 | -- | Inf | unknown
2129.19/2135.48 c 2135s| 4500 | 365 | 13473k|1016.3 | 367M | 50 |7285 |2654 | 842 | 12k| 1 | 33k| 34 | 9.000000e+00 | -- | Inf | unknown
2153.03/2159.33 c 2159s| 4600 | 405 | 13624k|1020.0 | 367M | 50 |7285 |2716 | 858 | 13k| 1 | 34k| 34 | 9.000000e+00 | -- | Inf | unknown
2186.14/2192.56 c 2193s| 4700 | 448 | 13835k|1028.2 | 367M | 50 |7285 |2795 | 881 | 13k| 1 | 34k| 34 | 9.000000e+00 | -- | Inf | unknown
2218.05/2224.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2218.05/2224.54 c 2225s| 4800 | 468 | 14036k|1035.5 | 367M | 50 |7285 |2730 | 912 | 14k| 1 | 34k| 34 | 9.000000e+00 | -- | Inf | unknown
2247.17/2253.76 c 2254s| 4900 | 478 | 14231k|1042.2 | 368M | 50 |7285 |2839 | 860 | 14k| 0 | 35k| 34 | 9.000000e+00 | -- | Inf | unknown
2267.71/2274.35 c 2274s| 5000 | 522 | 14365k|1044.4 | 368M | 50 |7285 |2757 | 844 | 14k| 1 | 35k| 34 | 9.000000e+00 | -- | Inf | unknown
2290.15/2296.87 c 2297s| 5100 | 562 | 14497k|1046.4 | 368M | 50 |7285 |2842 | 854 | 14k| 1 | 35k| 34 | 9.000000e+00 | -- | Inf | unknown
2319.38/2326.15 c 2326s| 5200 | 590 | 14662k|1050.7 | 368M | 50 |7285 |2759 | 858 | 15k| 1 | 35k| 34 | 9.000000e+00 | -- | Inf | unknown
2337.82/2344.62 c 2345s| 5300 | 605 | 14785k|1052.0 | 368M | 50 |7285 |2773 | 864 | 15k| 1 | 36k| 34 | 9.000000e+00 | -- | Inf | unknown
2359.56/2366.44 c 2366s| 5400 | 651 | 14917k|1053.9 | 368M | 50 |7285 |2841 | 880 | 15k| 1 | 36k| 34 | 9.000000e+00 | -- | Inf | unknown
2382.30/2389.23 c 2389s| 5500 | 688 | 15052k|1056.0 | 368M | 50 |7285 |2846 | 896 | 16k| 1 | 36k| 34 | 9.000000e+00 | -- | Inf | unknown
2408.23/2415.24 c 2415s| 5600 | 719 | 15210k|1059.7 | 368M | 50 |7285 |2803 | 888 | 16k| 1 | 36k| 34 | 9.000000e+00 | -- | Inf | unknown
2439.05/2446.11 c 2446s| 5700 | 700 | 15383k|1064.4 | 368M | 50 |7285 |2802 | 921 | 16k| 0 | 37k| 34 | 9.000000e+00 | -- | Inf | unknown
2458.00/2465.17 c 2465s| 5800 | 720 | 15500k|1065.1 | 368M | 50 |7285 |2818 | 875 | 16k| 1 | 37k| 34 | 9.000000e+00 | -- | Inf | unknown
2486.11/2493.37 c 2493s| 5900 | 706 | 15666k|1069.2 | 368M | 50 |7285 |2817 | 850 | 17k| 1 | 37k| 34 | 9.000000e+00 | -- | Inf | unknown
2521.22/2528.52 c 2529s| 6000 | 729 | 15854k|1074.7 | 368M | 50 |7285 |2851 | 850 | 17k| 1 | 37k| 34 | 9.000000e+00 | -- | Inf | unknown
2545.76/2553.12 c 2553s| 6100 | 736 | 15990k|1076.7 | 368M | 50 |7285 |2749 | 904 | 17k| 0 | 38k| 34 | 9.000000e+00 | -- | Inf | unknown
2573.77/2581.21 c 2581s| 6200 | 758 | 16142k|1079.6 | 368M | 50 |7285 |2735 | 896 | 18k| 1 | 38k| 34 | 9.000000e+00 | -- | Inf | unknown
2601.60/2609.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2601.60/2609.18 c 2609s| 6300 | 762 | 16304k|1083.2 | 368M | 50 |7285 |2706 | 875 | 18k| 1 | 38k| 34 | 9.000000e+00 | -- | Inf | unknown
2623.54/2631.14 c 2631s| 6400 | 766 | 16438k|1085.0 | 368M | 50 |7285 |2724 | 878 | 18k| 1 | 38k| 34 | 9.000000e+00 | -- | Inf | unknown
2660.74/2668.47 c 2668s| 6500 | 737 | 16656k|1092.1 | 369M | 50 |7285 |2665 |1032 | 19k| 0 | 39k| 34 | 9.000000e+00 | -- | Inf | unknown
2691.36/2699.16 c 2699s| 6600 | 744 | 16831k|1096.4 | 369M | 50 |7285 |2742 | 859 | 19k| 1 | 39k| 34 | 9.000000e+00 | -- | Inf | unknown
2721.87/2729.77 c 2730s| 6700 | 767 | 17005k|1100.7 | 369M | 50 |7285 |2863 | 848 | 19k| 1 | 39k| 34 | 9.000000e+00 | -- | Inf | unknown
2749.70/2757.65 c 2758s| 6800 | 790 | 17159k|1103.5 | 369M | 50 |7285 |2856 | 879 | 20k| 1 | 39k| 34 | 9.000000e+00 | -- | Inf | unknown
2775.53/2783.51 c 2784s| 6900 | 822 | 17292k|1105.0 | 369M | 50 |7285 |2769 | 867 | 20k| 0 | 39k| 34 | 9.000000e+00 | -- | Inf | unknown
2805.35/2813.48 c 2813s| 7000 | 818 | 17467k|1109.1 | 369M | 50 |7285 |2814 | 0 | 20k| 0 | 39k| 34 | 9.000000e+00 | -- | Inf | unknown
2834.47/2842.70 c 2843s| 7100 | 858 | 17651k|1113.7 | 369M | 50 |7285 |2966 | 865 | 20k| 1 | 40k| 34 | 9.000000e+00 | -- | Inf | unknown
2855.81/2864.02 c 2864s| 7200 | 894 | 17793k|1115.6 | 369M | 50 |7285 |2991 | 870 | 20k| 1 | 40k| 34 | 9.000000e+00 | -- | Inf | unknown
2880.34/2888.61 c 2889s| 7300 | 904 | 17951k|1118.5 | 369M | 50 |7285 |3055 | 868 | 21k| 1 | 40k| 34 | 9.000000e+00 | -- | Inf | unknown
2912.45/2920.85 c 2921s| 7400 | 929 | 18142k|1123.5 | 369M | 50 |7285 |2949 | 884 | 21k| 1 | 41k| 34 | 9.000000e+00 | -- | Inf | unknown
2940.68/2949.10 c 2949s| 7500 | 957 | 18312k|1127.0 | 369M | 50 |7285 |2951 | 878 | 21k| 1 | 41k| 34 | 9.000000e+00 | -- | Inf | unknown
2972.19/2980.70 c 2981s| 7600 | 983 | 18490k|1131.1 | 370M | 50 |7285 |2953 | 899 | 22k| 0 | 41k| 34 | 9.000000e+00 | -- | Inf | unknown
3012.08/3020.76 c 3021s| 7700 | 926 | 18723k|1138.4 | 370M | 50 |7285 |2900 | 899 | 22k| 1 | 41k| 34 | 9.000000e+00 | -- | Inf | unknown
3051.96/3060.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3051.96/3060.73 c 3061s| 7800 | 923 | 18942k|1144.7 | 370M | 50 |7285 |2846 | 893 | 22k| 1 | 42k| 34 | 9.000000e+00 | -- | Inf | unknown
3091.16/3100.01 c 3100s| 7900 | 890 | 19150k|1150.4 | 370M | 50 |7285 |2804 | 981 | 23k| 1 | 42k| 34 | 9.000000e+00 | -- | Inf | unknown
3125.76/3134.73 c 3135s| 8000 | 886 | 19334k|1154.5 | 370M | 50 |7285 |2599 | 915 | 23k| 1 | 42k| 34 | 9.000000e+00 | -- | Inf | unknown
3152.79/3161.86 c 3162s| 8100 | 880 | 19486k|1156.7 | 370M | 50 |7285 |2351 | 792 | 23k| 1 | 42k| 34 | 9.000000e+00 | -- | Inf | unknown
3171.73/3180.80 c 3181s| 8200 | 943 | 19612k|1157.3 | 370M | 50 |7285 |2436 | 819 | 24k| 1 | 43k| 34 | 9.000000e+00 | -- | Inf | unknown
3191.88/3201.02 c 3201s| 8300 | 1027 | 19745k|1158.4 | 371M | 50 |7285 |2538 | 865 | 24k| 2 | 43k| 34 | 9.000000e+00 | -- | Inf | unknown
3214.31/3223.52 c 3224s| 8400 | 1087 | 19901k|1160.7 | 371M | 50 |7285 |2641 | 836 | 24k| 1 | 43k| 34 | 9.000000e+00 | -- | Inf | unknown
3236.25/3245.57 c 3246s| 8500 | 1135 | 20058k|1163.1 | 372M | 50 |7285 |2719 | 853 | 25k| 0 | 44k| 34 | 9.000000e+00 | -- | Inf | unknown
3261.58/3270.93 c 3271s| 8600 | 1219 | 20216k|1165.5 | 372M | 50 |7285 |2724 | 836 | 25k| 1 | 44k| 34 | 9.000000e+00 | -- | Inf | unknown
3285.81/3295.27 c 3295s| 8700 | 1279 | 20367k|1167.5 | 372M | 50 |7285 |2637 | 837 | 25k| 1 | 45k| 34 | 9.000000e+00 | -- | Inf | unknown
3310.44/3319.96 c 3320s| 8800 | 1345 | 20521k|1169.6 | 372M | 50 |7285 |2595 | 864 | 26k| 1 | 45k| 34 | 9.000000e+00 | -- | Inf | unknown
3330.49/3340.09 c 3340s| 8900 | 1429 | 20662k|1171.0 | 372M | 50 |7285 |2587 | 823 | 26k| 1 | 45k| 34 | 9.000000e+00 | -- | Inf | unknown
3352.33/3361.91 c 3362s| 9000 | 1485 | 20811k|1172.8 | 373M | 50 |7285 |2593 | 850 | 27k| 1 | 46k| 34 | 9.000000e+00 | -- | Inf | unknown
3372.77/3382.47 c 3382s| 9100 | 1540 | 20957k|1174.4 | 373M | 50 |7285 |2688 | 0 | 27k| 0 | 46k| 34 | 9.000000e+00 | -- | Inf | unknown
3401.19/3410.91 c 3411s| 9200 | 1425 | 21130k|1177.5 | 373M | 50 |7285 |2470 | 839 | 27k| 1 | 46k| 34 | 9.000000e+00 | -- | Inf | unknown
3426.33/3436.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3426.33/3436.17 c 3436s| 9300 | 1404 | 21286k|1179.7 | 373M | 50 |7285 |2585 | 845 | 28k| 1 | 47k| 34 | 9.000000e+00 | -- | Inf | unknown
3452.53/3462.45 c 3462s| 9400 | 1399 | 21439k|1181.6 | 373M | 50 |7285 |2641 | 860 | 28k| 2 | 47k| 34 | 9.000000e+00 | -- | Inf | unknown
3480.54/3490.50 c 3490s| 9500 | 1401 | 21603k|1184.1 | 374M | 50 |7285 |2651 | 847 | 29k| 1 | 48k| 34 | 9.000000e+00 | -- | Inf | unknown
3516.92/3527.09 c 3527s| 9600 | 1389 | 21826k|1189.9 | 374M | 50 |7285 |2623 | 850 | 29k| 1 | 48k| 34 | 9.000000e+00 | -- | Inf | unknown
3544.03/3554.24 c 3554s| 9700 | 1423 | 21981k|1191.8 | 374M | 50 |7285 |2611 | 824 | 30k| 1 | 48k| 34 | 9.000000e+00 | -- | Inf | unknown
3568.94/3579.23 c 3579s| 9800 | 1462 | 22120k|1192.9 | 374M | 50 |7285 |2404 | 870 | 30k| 1 | 48k| 34 | 9.000000e+00 | -- | Inf | unknown
3586.69/3597.00 c
3586.69/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.69/3597.00 c Solving Time (sec) : 3597.00
3586.69/3597.00 c Solving Nodes : 9859 (total of 18523 nodes in 2 runs)
3586.69/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.69/3597.00 c Dual Bound : +9.00000000000000e+00
3586.69/3597.00 c Gap : infinite
3586.69/3597.00 s UNKNOWN
3586.69/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.69/3597.00 c Total Time : 3597.00
3586.69/3597.00 c solving : 3597.00
3586.69/3597.00 c presolving : 5.36 (included in solving)
3586.69/3597.00 c reading : 0.03 (included in solving)
3586.69/3597.00 c copying : 1.51 (65 #copies) (minimal 0.01, maximal 0.03, average 0.02)
3586.69/3597.00 c Original Problem :
3586.69/3597.00 c Problem name : HOME/instance-4498992-1751406010.opb
3586.69/3597.00 c Variables : 8424 (8424 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.69/3597.00 c Constraints : 9089 initial, 9089 maximal
3586.69/3597.00 c Objective : minimize, 9 non-zeros (abs.min = 1, abs.max = 1)
3586.69/3597.00 c Presolved Problem :
3586.69/3597.00 c Problem name : t_HOME/instance-4498992-1751406010.opb
3586.69/3597.00 c Variables : 7285 (7285 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.69/3597.00 c Constraints : 2495 initial, 3081 maximal
3586.69/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.69/3597.00 c Nonzeros : 287215 constraint, 120135 clique table
3586.69/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.69/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c domcol : 0.02 0.00 3 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c gateextraction : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c milp : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c trivial : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c dualfix : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c probing : 1.34 0.00 2 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c symmetry : 3.14 0.00 1 585 0 0 0 0 0 575 0 0
3586.69/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c knapsack : 0.14 0.00 30 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c setppc : 0.01 0.00 30 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c linear : 0.05 0.01 11 9 0 0 9 0 8416 0 0 0
3586.69/3597.00 c orbitope : 0.01 0.00 11 545 0 0 0 0 0 0 0 0
3586.69/3597.00 c logicor : 0.46 0.03 9 0 0 0 0 0 143 0 0 397
3586.69/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c components : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.69/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.69/3597.00 c benderslp : 0 0 0 0 12927 0 0 1869 0 0 0 0 0 0 0
3586.69/3597.00 c integral : 0 0 0 0 12927 0 0 1869 0 0 0 0 0 0 25854
3586.69/3597.00 c knapsack : 627+ 629 22 110876 0 0 0 1864 4661156 107 1360730 4416 53 0 0
3586.69/3597.00 c setppc : 120+ 143 22 110769 0 0 0 3 1095613 122 235476 4 0 0 0
3586.69/3597.00 c linear : 10 10 0 97194 0 0 0 3 30094 210 36651 0 0 0 0
3586.69/3597.00 c orbitope : 575 575 0 110337 0 0 0 0 593713 1103 389352 0 0 0 0
3586.69/3597.00 c logicor : 1163+ 1744 22 31818 0 0 0 0 19748 1136 6282 2 0 0 0
3586.69/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.69/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3586.69/3597.00 c integral : 4.74 0.00 0.00 0.00 4.74 0.00 0.00 0.00 0.00 0.00
3586.69/3597.00 c knapsack : 5.90 0.00 0.06 3.98 0.00 0.00 0.00 0.08 1.78 0.00
3586.69/3597.00 c setppc : 1.67 0.00 0.00 1.44 0.00 0.00 0.00 0.00 0.22 0.00
3586.69/3597.00 c linear : 0.67 0.01 0.00 0.36 0.00 0.00 0.00 0.00 0.31 0.00
3586.69/3597.00 c orbitope : 38.24 0.00 0.00 38.15 0.00 0.00 0.00 0.00 0.04 0.05
3586.69/3597.00 c logicor : 1.33 0.03 0.01 1.21 0.00 0.00 0.00 0.00 0.09 0.00
3586.69/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.69/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.69/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.69/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.69/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.69/3597.00 c dualfix : 2 0 0 0
3586.69/3597.00 c genvbounds : 0 0 0 0
3586.69/3597.00 c nlobbt : 0 0 0 0
3586.69/3597.00 c obbt : 0 0 0 0
3586.69/3597.00 c probing : 0 0 0 0
3586.69/3597.00 c pseudoobj : 0 0 0 0
3586.69/3597.00 c redcost : 0 0 0 0
3586.69/3597.00 c rootredcost : 0 0 0 0
3586.69/3597.00 c symmetry : 0 0 0 0
3586.69/3597.00 c vbounds : 57007 0 0 0
3586.69/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.69/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.69/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3586.69/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.69/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.69/3597.00 c probing : 1.34 0.00 1.34 0.00 0.00 0.00
3586.69/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3586.69/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.69/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.69/3597.00 c symmetry : 3.17 0.00 3.14 0.03 0.00 0.00
3586.69/3597.00 c vbounds : 0.92 0.00 0.00 0.91 0.00 0.00
3586.69/3597.00 c Symmetry :
3586.69/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.69/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.69/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.69/3597.00 c shadow tree time : 0.00 s
3586.69/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.69/3597.00 c propagation : 0.45 2467 1919 - 12099 254.6 3 35.0 - - -
3586.69/3597.00 c infeasible LP : 24.67 6722 6546 - 142162 542.5 8 135.4 221 454.2 0
3586.69/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.69/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.69/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.69/3597.00 c applied globally : 2.03 - - 0 48758 441.5 - - 221 - -
3586.69/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.69/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.69/3597.00 c cut pool : 3.24 - 3754 42 - - 17247 1294041 - - - - - (maximal pool size: 6691)
3586.69/3597.00 c aggregation : 0.92 0.00 57 22 0 0 14071 1090205 96 34801 34791 10 0
3586.69/3597.00 c > cmir : - - - - - - - 1081173 0 33925 33925 0 -
3586.69/3597.00 c > flowcover : - - - - - - - 3361 0 385 385 0 -
3586.69/3597.00 c > knapsackcover : - - - - - - - 5671 96 491 481 10 -
3586.69/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c clique : 0.25 0.00 22 22 0 0 54 150 0 89 89 0 0
3586.69/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c gomory : 1.06 0.00 55 20 0 0 3028 200747 0 13653 13653 0 0
3586.69/3597.00 c > gomorymi : - - - - - - - 85103 0 6458 6458 0 -
3586.69/3597.00 c > strongcg : - - - - - - - 115644 0 7195 7195 0 -
3586.69/3597.00 c impliedbounds : 0.07 0.00 57 22 0 0 122 570 0 514 514 0 0
3586.69/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c multilinear : 0.00 0.00 142 22 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c rapidlearning : 15.77 0.00 59 2 0 1 0 0 0 0 0 0 0
3586.69/3597.00 c rlt : 0.00 0.00 54 20 0 0 0 0 0 0 0 0 0
3586.69/3597.00 c zerohalf : 0.21 0.00 55 22 0 0 156 2369 88 631 586 45 0
3586.69/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.69/3597.00 c hybrid : 2.46 0.00 3704 22 49741 0 1248906 669 0 30527
3586.69/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.69/3597.00 c problem variables: 0.00 - 0 0
3586.69/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.69/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c relpscost : 4.73 0.00 12927 0 0 0 0 0 0 25854
3586.69/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.69/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.69/3597.00 c LP solutions : 0.00 - - 0 0
3586.69/3597.00 c relax solutions : 0.00 - - 0 0
3586.69/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.69/3597.00 c strong branching : 0.00 - - 0 0
3586.69/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.69/3597.00 c adaptivediving : 11.79 0.00 26 0 0
3586.69/3597.00 c alns : 4.64 0.00 4 0 0
3586.69/3597.00 c bound : 0.00 0.00 0 0 0
3586.69/3597.00 c clique : 0.05 0.00 1 0 0
3586.69/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.69/3597.00 c completesol : 0.00 0.00 0 0 0
3586.69/3597.00 c conflictdiving : 79.86 0.00 119 0 0
3586.69/3597.00 c crossover : 0.00 0.00 0 0 0
3586.69/3597.00 c dins : 0.00 0.00 0 0 0
3586.69/3597.00 c distributiondivin: 74.60 0.00 118 0 0
3586.69/3597.00 c dps : 0.00 0.00 0 0 0
3586.69/3597.00 c dualval : 0.00 0.00 0 0 0
3586.69/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.69/3597.00 c feasjump : 0.35 0.00 2 0 0
3586.69/3597.00 c feaspump : 17.81 0.00 59 0 0
3586.69/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.69/3597.00 c fracdiving : 84.10 0.00 119 0 0
3586.69/3597.00 c gins : 0.00 0.00 0 0 0
3586.69/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.69/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3586.69/3597.00 c indicator : 0.01 0.00 0 0 0
3586.69/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.69/3597.00 c indoneopt : 0.01 0.00 0 0 0
3586.69/3597.00 c indrounding : 0.00 0.00 0 0 0
3586.69/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3586.69/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.69/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.69/3597.00 c linesearchdiving : 88.53 0.00 118 0 0
3586.69/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.69/3597.00 c locks : 0.05 0.00 1 0 0
3586.69/3597.00 c lpface : 0.17 0.00 0 0 0
3586.69/3597.00 c mpec : 0.00 0.00 0 0 0
3586.69/3597.00 c multistart : 0.00 0.00 0 0 0
3586.69/3597.00 c mutation : 0.00 0.00 0 0 0
3586.69/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.69/3597.00 c objpscostdiving : 21.87 0.00 23 0 0
3586.69/3597.00 c octane : 0.00 0.00 0 0 0
3586.69/3597.00 c ofins : 0.00 0.00 0 0 0
3586.69/3597.00 c oneopt : 0.01 0.00 0 0 0
3586.69/3597.00 c padm : 0.00 0.00 0 0 0
3586.69/3597.00 c proximity : 0.00 0.00 0 0 0
3586.69/3597.00 c pscostdiving : 59.92 0.00 119 0 0
3586.69/3597.00 c randrounding : 1.14 0.00 1879 0 0
3586.69/3597.00 c rens : 0.07 0.00 2 0 0
3586.69/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.69/3597.00 c repair : 0.00 0.00 0 0 0
3586.69/3597.00 c rins : 0.00 0.00 0 0 0
3586.69/3597.00 c rootsoldiving : 33.03 0.00 25 0 0
3586.69/3597.00 c rounding : 0.17 0.00 1780 0 0
3586.69/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.69/3597.00 c shiftandpropagate: 0.17 0.00 2 0 0
3586.69/3597.00 c shifting : 2.20 0.00 982 0 0
3586.69/3597.00 c simplerounding : 0.01 0.00 0 0 0
3586.69/3597.00 c smallcard : 0.00 0.00 0 0 0
3586.69/3597.00 c subnlp : 0.01 0.00 0 0 0
3586.69/3597.00 c trivial : 0.01 0.00 4 0 0
3586.69/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.69/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.69/3597.00 c trysol : 0.01 0.00 0 0 0
3586.69/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.69/3597.00 c undercover : 0.00 0.00 0 0 0
3586.69/3597.00 c vbounds : 0.37 0.00 2 0 0
3586.69/3597.00 c veclendiving : 72.52 0.00 118 0 0
3586.69/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.69/3597.00 c zirounding : 0.05 0.00 1000 0 0
3586.69/3597.00 c other solutions : - - - 0 -
3586.69/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.69/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.69/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.69/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.69/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.69/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.69/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.69/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.69/3597.00 c zeroobjective : 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
3586.69/3597.00 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
3586.69/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.69/3597.00 c primal LP : 3.00 1940 0 0.00 0.00 3.00 1940
3586.69/3597.00 c dual LP : 2937.64 21476 18265298 851.93 6217.69 0.05 36
3586.69/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.69/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.69/3597.00 c resolve instable : 4.92 29 40834 1408.07 8296.15
3586.69/3597.00 c diving/probing LP: 499.39 8291 3965604 478.30 7940.94
3586.69/3597.00 c strong branching : 3.17 34 14559 428.21 4594.14 - - 15
3586.69/3597.00 c (at root node) : - 34 14559 428.21 -
3586.69/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.69/3597.00 c B&B Tree :
3586.69/3597.00 c number of runs : 2
3586.69/3597.00 c nodes : 9859 (6729 internal, 3130 leaves)
3586.69/3597.00 c feasible leaves : 0
3586.69/3597.00 c infeas. leaves : 3129
3586.69/3597.00 c objective leaves : 0
3586.69/3597.00 c nodes (total) : 18523 (12927 internal, 5596 leaves)
3586.69/3597.00 c nodes left : 1474
3586.69/3597.00 c max depth : 50
3586.69/3597.00 c max depth (total): 60
3586.69/3597.00 c backtracks : 2186 (22.2%)
3586.69/3597.01 c early backtracks : 0 (0.0%)
3586.69/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.69/3597.01 c delayed cutoffs : 2127
3586.69/3597.01 c repropagations : 4976 (18581 domain reductions, 425 cutoffs)
3586.69/3597.01 c avg switch length: 4.06
3586.69/3597.01 c switching time : 8.50
3586.69/3597.01 c Root Node :
3586.69/3597.01 c First LP value : +9.00000000000000e+00
3586.69/3597.01 c First LP Iters : 1350 (16609.46 Iter/sec)
3586.69/3597.01 c First LP Time : 0.08
3586.69/3597.01 c Final Dual Bound : +9.00000000000000e+00
3586.69/3597.01 c Final Root Iters : 96155
3586.69/3597.01 c Root LP Estimate : +9.02859457086897e+00
3586.69/3597.01 c Solution :
3586.69/3597.01 c Solutions found : 0 (0 improvements)
3586.69/3597.01 c Primal Bound : -
3586.69/3597.01 c Dual Bound : +9.00000000000000e+00
3586.69/3597.01 c Gap : infinite
3586.69/3597.01 c Integrals : Total Avg%
3586.69/3597.01 c primal-dual : 359699.83 100.00
3586.69/3597.01 c primal-ref : - - (not evaluated)
3586.69/3597.01 c dual-ref : - - (not evaluated)
3586.69/3597.08 c Time complete: 3586.78.
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: 63708 MiB (61194 MiB free)
memory of node 1: 64465 MiB (44987 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498992-1751406010/watcher-4498992-1751406010 -o /tmp/evaluation-result-4498992-1751406010/solver-4498992-1751406010 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751405845-56554 --watchdog 3760 pbscip -f HOME/instance-4498992-1751406010.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=57032, runsolver pid=57029
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 3.96 2.70 2.99 5/268 57033
/proc/meminfo: memFree=108690552/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=85520 memory=58496 CPUtime=0.09 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 11361 0 0 0 8 1 0 0 20 0 1 0 56279649 87572480 14624 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 21380 14624 3616 3530 0 12831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85520 KiB
Current children cumulated memory: 58496 KiB
[startup+0.205791 s]*
/proc/loadavg: 3.96 2.70 2.99 5/268 57033
/proc/meminfo: memFree=108674424/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=102444 memory=75440 CPUtime=0.19 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 17684 0 0 0 17 2 0 0 20 0 1 0 56279649 104902656 18860 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 25611 18860 3776 3530 0 17062 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 102444 KiB
Current children cumulated memory: 75440 KiB
[startup+0.305667 s]*
/proc/loadavg: 3.96 2.70 2.99 5/268 57033
/proc/meminfo: memFree=108675684/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=114176 memory=85572 CPUtime=0.3 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 19822 0 0 0 27 3 0 0 20 0 1 0 56279649 116916224 21393 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 28544 21393 3776 3530 0 19995 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114176 KiB
Current children cumulated memory: 85572 KiB
[startup+0.700118 s]
/proc/loadavg: 3.96 2.70 2.99 5/268 57033
/proc/meminfo: memFree=108655524/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=143620 memory=103548 CPUtime=0.68 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 23806 0 0 0 65 3 0 0 20 0 1 0 56279649 147066880 25887 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 35905 25887 3776 3530 0 27356 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 143620 KiB
Current children cumulated memory: 103548 KiB
[startup+1.50014 s]
/proc/loadavg: 3.96 2.70 2.99 5/267 57033
/proc/meminfo: memFree=108671652/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=148716 memory=109180 CPUtime=1.48 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 25224 0 0 0 145 3 0 0 20 0 1 0 56279649 152285184 27295 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 37179 27295 3776 3530 0 28630 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 148716 KiB
Current children cumulated memory: 109180 KiB
[startup+3.10544 s]
/proc/loadavg: 3.97 2.72 3.00 5/267 57033
/proc/meminfo: memFree=108688428/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=156872 memory=116732 CPUtime=3.08 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 27115 0 0 0 305 3 0 0 20 0 1 0 56279649 160636928 29183 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 39218 29183 3776 3530 0 30669 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 156872 KiB
Current children cumulated memory: 116732 KiB
[startup+6.30014 s]
/proc/loadavg: 3.97 2.72 3.00 5/267 57034
/proc/meminfo: memFree=108584112/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=284556 memory=241064 CPUtime=6.27 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 60142 0 0 0 617 10 0 0 20 0 1 0 56279649 291385344 60266 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 71139 60266 3968 3530 0 62590 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 284556 KiB
Current children cumulated memory: 241064 KiB
[startup+12.7002 s]
/proc/loadavg: 3.97 2.76 3.01 5/267 57034
/proc/meminfo: memFree=108616996/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=315912 memory=273640 CPUtime=12.65 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 75931 0 0 0 1252 13 0 0 20 0 1 0 56279649 323493888 68410 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 78978 68410 3968 3530 0 70429 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 315912 KiB
Current children cumulated memory: 273640 KiB
[startup+25.5001 s]
/proc/loadavg: 3.98 2.81 3.02 5/267 57034
/proc/meminfo: memFree=108754880/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=324228 memory=283100 CPUtime=25.4 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 91805 0 0 0 2525 15 0 0 20 0 1 0 56279649 332009472 70775 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 81057 70775 3968 3530 0 72508 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 324228 KiB
Current children cumulated memory: 283100 KiB
[startup+51.1059 s]
/proc/loadavg: 4.05 2.92 3.05 5/268 57089
/proc/meminfo: memFree=126090108/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=324228 memory=283100 CPUtime=50.94 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 91821 0 0 0 5079 15 0 0 20 0 1 0 56279649 332009472 70775 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 81057 70775 3968 3530 0 72508 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 324228 KiB
Current children cumulated memory: 283100 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.12 3.11 5/269 57138
/proc/meminfo: memFree=126848932/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=337792 memory=296540 CPUtime=101.98 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 95172 0 0 0 10181 17 0 0 20 0 1 0 56279649 345899008 74135 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 84448 74135 3968 3530 0 75899 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 337792 KiB
Current children cumulated memory: 296540 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 3.31 3.18 5/270 57143
/proc/meminfo: memFree=127045040/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=345836 memory=304604 CPUtime=161.82 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 97201 0 0 0 16164 18 0 0 20 0 1 0 56279649 354136064 76151 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 86459 76151 3968 3530 0 77910 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 345836 KiB
Current children cumulated memory: 304604 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.46 3.24 5/270 57145
/proc/meminfo: memFree=127039112/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=352252 memory=310876 CPUtime=221.64 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 98780 0 0 0 22146 18 0 0 20 0 1 0 56279649 360706048 77719 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 88063 77719 3968 3530 0 79514 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 352252 KiB
Current children cumulated memory: 310876 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.57 3.30 5/269 57147
/proc/meminfo: memFree=127033312/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=358828 memory=318044 CPUtime=281.47 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 100361 0 0 0 28128 19 0 0 20 0 1 0 56279649 367439872 79511 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 89707 79511 3968 3530 0 81158 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 358828 KiB
Current children cumulated memory: 318044 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.67 3.35 5/266 57149
/proc/meminfo: memFree=126970316/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=401136 memory=359788 CPUtime=341.3 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 114379 0 0 0 34109 21 0 0 20 0 1 0 56279649 410763264 89947 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 100284 89947 3968 3530 0 91735 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 401136 KiB
Current children cumulated memory: 359788 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.75 3.40 5/265 57151
/proc/meminfo: memFree=126968988/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=401136 memory=362988 CPUtime=401.12 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 114483 0 0 0 40091 21 0 0 20 0 1 0 56279649 410763264 90747 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 100284 90747 4128 3530 0 91735 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 401136 KiB
Current children cumulated memory: 362988 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.81 3.44 5/264 57153
/proc/meminfo: memFree=126955384/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=401136 memory=365548 CPUtime=460.95 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 114498 0 0 0 46074 21 0 0 20 0 1 0 56279649 410763264 91387 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 100284 91387 4128 3530 0 91735 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
/proc/loadavg: 4.10 4.11 4.07 5/264 57352
/proc/meminfo: memFree=126117436/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3153.28 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176508 0 0 0 315295 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/264 57354
/proc/meminfo: memFree=126116332/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3213.12 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176508 0 0 0 321279 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.13 4.08 5/263 57356
/proc/meminfo: memFree=126026376/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3272.95 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176508 0 0 0 327262 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.26 4.17 4.10 5/263 57358
/proc/meminfo: memFree=126002324/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3332.78 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176508 0 0 0 333245 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.10 5/263 57360
/proc/meminfo: memFree=125959880/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3392.62 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176508 0 0 0 339229 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/262 57451
/proc/meminfo: memFree=127025016/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3452.43 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176508 0 0 0 345210 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3452.43 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/262 57453
/proc/meminfo: memFree=126986880/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3512.23 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176508 0 0 0 351190 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/262 57455
/proc/meminfo: memFree=126956552/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3572.03 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176508 0 0 0 357170 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3597.09 s]
# the end of solver process 57032 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.45 s, system=0.336014 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.14 4.09 5/262 57455
/proc/meminfo: memFree=126956552/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3573.73 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176508 0 0 0 357340 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3573.73 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.14 4.09 5/262 57455
/proc/meminfo: memFree=126956568/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3580.11 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176600 0 0 0 357978 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3580.11 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.14 4.09 5/262 57455
/proc/meminfo: memFree=126956568/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3583.3 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176602 0 0 0 358297 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3583.3 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.14 4.09 5/262 57455
/proc/meminfo: memFree=126956568/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3584.89 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176602 0 0 0 358456 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3584.89 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.14 4.09 5/262 57455
/proc/meminfo: memFree=126956568/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3585.69 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176602 0 0 0 358536 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3585.69 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.14 4.09 5/262 57455
/proc/meminfo: memFree=126956568/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3586.49 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176602 0 0 0 358616 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3586.49 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
[startup+3597 s]*
/proc/loadavg: 4.09 4.13 4.09 5/262 57455
/proc/meminfo: memFree=126956568/131250000 swapFree=33010684/33010684
[pid=57032] ppid=57029 vsize=487704 memory=458068 CPUtime=3586.69 cores=0,2
/proc/57032/stat : 57032 (pbscip) R 57029 57032 56544 0 -1 4194304 176602 0 0 0 358636 33 0 0 20 0 1 0 56279649 499408896 114517 18446744073709551615 4235264 18693293 140728636288992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50024448 140728636295561 140728636295660 140728636295660 140728636301262 0
/proc/57032/statm: 121926 114517 4128 3530 0 113377 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 487704 KiB
Current children cumulated memory: 458068 KiB
Child status: 0
Real time (s): 3597.09
CPU time (s): 3586.78
CPU user time (s): 3586.45
CPU system time (s): 0.336014
CPU usage (%): 99.7134
Max. virtual memory (cumulated for all children) (KiB): 490460
Max. memory (cumulated for all children) (KiB): 460776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.45
system time used= 0.336014
maximum resident set size= 460776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176644
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= 119
involuntary context switches= 7854
# summary of solver processes directly reported to runsolver:
# pid: 57032
# total CPU time (s): 3586.78
# total CPU user time (s): 3586.45
# total CPU system time (s): 0.336014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90327 second user time and 15.17 second system time
The end