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-4432784-1721103750.opb>
0.10/0.12 c original problem has 8424 variables (8424 bin, 0 int, 0 impl, 0 cont) and 9089 constraints
0.10/0.12 c problem read in 0.12
0.10/0.19 c presolving:
0.21/0.27 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.21/0.29 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.31/0.35 c (0.3s) running MILP presolver
0.31/0.41 c (0.4s) MILP presolver found nothing
0.41/0.46 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.68/0.78 c (0.8s) probing: 51/8415 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.68/0.78 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.78/0.82 c (0.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.28/4.39 c (4.4s) symmetry computation finished: 651 generators found (max: 1500, log10 of symmetry group size: 220.0) (symcode time: 3.55)
4.38/4.44 c dynamic symmetry handling statistics:
4.38/4.44 c orbitopal reduction: no components
4.38/4.44 c orbital reduction: no components
4.38/4.44 c lexicographic reduction: no permutations
4.38/4.44 c handled 1 out of 1 symmetry components
4.38/4.45 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
4.38/4.46 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
4.38/4.47 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
4.38/4.48 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
4.38/4.49 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
4.38/4.49 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
4.38/4.49 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
4.48/4.50 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
5.47/5.50 c (5.5s) probing: 1000/8415 (11.9%) - 0 fixings, 0 aggregations, 40992 implications, 0 bound changes
5.67/5.75 c (5.7s) probing: 1247/8415 (14.8%) - 0 fixings, 0 aggregations, 50374 implications, 0 bound changes
5.67/5.75 c (5.7s) probing aborted: 1000/1000 successive useless probings
5.67/5.77 c presolving (12 rounds: 12 fast, 10 medium, 3 exhaustive):
5.67/5.77 c 1139 deleted vars, 8416 deleted constraints, 575 added constraints, 9 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.67/5.77 c 0 implications, 52158 cliques
5.67/5.77 c presolved problem has 7285 variables (7285 bin, 0 int, 0 impl, 0 cont) and 1248 constraints
5.67/5.77 c 576 constraints of type <knapsack>
5.67/5.77 c 97 constraints of type <setppc>
5.67/5.77 c 575 constraints of type <orbitope>
5.67/5.77 c transformed objective value is always integral (scale: 1)
5.67/5.77 c Presolving Time: 5.58
5.67/5.77 c - non default parameters ----------------------------------------------------------------------
5.67/5.77 c # SCIP version 10.0.0
5.67/5.77 c
5.67/5.77 c # maximal time in seconds to run
5.67/5.77 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
5.67/5.77 c limits/time = 3596.994156
5.67/5.77 c
5.67/5.77 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.67/5.77 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
5.67/5.77 c limits/memory = 27900
5.67/5.77 c
5.67/5.77 c # belongs reading time to solving time?
5.67/5.77 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
5.67/5.77 c timing/reading = TRUE
5.67/5.77 c
5.67/5.77 c -----------------------------------------------------------------------------------------------
5.67/5.77 c start solving
5.67/5.77 c
6.47/6.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.47/6.57 c 6.6s| 1 | 0 | 1350 | - | 184M | 0 |7285 |1304 | 673 | 0 | 0 | 55 | 0 | 9.000000e+00 | -- | Inf | unknown
6.98/7.09 c 7.1s| 1 | 0 | 2774 | - | 190M | 0 |7285 |1305 | 697 | 24 | 1 | 56 | 0 | 9.000000e+00 | -- | Inf | unknown
7.08/7.19 c 7.2s| 1 | 0 | 3073 | - | 193M | 0 |7285 |1306 | 724 | 51 | 2 | 57 | 0 | 9.000000e+00 | -- | Inf | unknown
7.27/7.38 c 7.4s| 1 | 0 | 3693 | - | 197M | 0 |7285 |1306 | 755 | 82 | 3 | 57 | 0 | 9.000000e+00 | -- | Inf | unknown
7.47/7.55 c 7.5s| 1 | 0 | 4137 | - | 202M | 0 |7285 |1306 | 784 | 111 | 4 | 57 | 0 | 9.000000e+00 | -- | Inf | unknown
7.77/7.88 c 7.9s| 1 | 0 | 5787 | - | 204M | 0 |7285 |1306 | 816 | 143 | 5 | 57 | 0 | 9.000000e+00 | -- | Inf | unknown
7.98/8.05 c 8.0s| 1 | 0 | 6215 | - | 206M | 0 |7285 |1307 | 843 | 170 | 6 | 58 | 0 | 9.000000e+00 | -- | Inf | unknown
8.27/8.39 c 8.4s| 1 | 0 | 8080 | - | 209M | 0 |7285 |1309 | 875 | 202 | 7 | 60 | 0 | 9.000000e+00 | -- | Inf | unknown
8.67/8.74 c 8.7s| 1 | 0 | 9394 | - | 214M | 0 |7285 |1319 | 905 | 232 | 8 | 70 | 0 | 9.000000e+00 | -- | Inf | unknown
8.98/9.02 c 9.0s| 1 | 0 | 10428 | - | 219M | 0 |7285 |1321 | 932 | 259 | 9 | 72 | 0 | 9.000000e+00 | -- | Inf | unknown
9.36/9.41 c 9.4s| 1 | 0 | 12314 | - | 220M | 0 |7285 |1322 | 965 | 292 | 10 | 73 | 0 | 9.000000e+00 | -- | Inf | unknown
9.86/9.96 c 9.9s| 1 | 0 | 15406 | - | 223M | 0 |7285 |1322 | 981 | 327 | 11 | 73 | 0 | 9.000000e+00 | -- | Inf | unknown
10.76/10.86 c 10.8s| 1 | 2 | 18439 | - | 223M | 0 |7285 |1340 | 981 | 327 | 11 | 91 | 11 | 9.000000e+00 | -- | Inf | unknown
31.37/31.58 c 31.6s| 100 | 91 |129393 |1151.4 | 244M | 26 |7285 |1865 | 757 | 519 | 1 | 626 | 11 | 9.000000e+00 | -- | Inf | unknown
41.34/41.58 c 41.6s| 200 | 163 |201196 | 933.6 | 256M | 44 |7285 |2161 | 786 | 786 | 1 | 929 | 11 | 9.000000e+00 | -- | Inf | unknown
49.43/49.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
49.43/49.60 c 49.6s| 300 | 203 |261425 | 822.8 | 261M | 50 |7285 |2358 | 781 | 994 | 0 |1149 | 11 | 9.000000e+00 | -- | Inf | unknown
57.71/57.91 c 57.9s| 400 | 225 |317060 | 756.0 | 267M | 60 |7285 |2573 | 783 |1121 | 1 |1411 | 11 | 9.000000e+00 | -- | Inf | unknown
66.57/66.88 c 66.9s| 500 | 223 |377422 | 725.5 | 272M | 60 |7285 |2754 | 786 |1190 | 0 |1707 | 11 | 9.000000e+00 | -- | Inf | unknown
79.04/79.30 c 79.3s| 600 | 243 |461556 | 744.8 | 276M | 60 |7285 |2787 | 793 |1492 | 1 |1959 | 11 | 9.000000e+00 | -- | Inf | unknown
88.71/89.07 c 89.1s| 700 | 257 |527288 | 732.3 | 279M | 60 |7285 |2778 | 790 |1724 | 0 |2207 | 11 | 9.000000e+00 | -- | Inf | unknown
99.96/100.34 c 100s| 800 | 246 |602017 | 734.2 | 282M | 60 |7285 |2900 | 790 |1862 | 1 |2561 | 11 | 9.000000e+00 | -- | Inf | unknown
108.93/109.39 c 109s| 900 | 245 |663397 | 720.8 | 284M | 60 |7285 |2996 | 785 |1949 | 0 |2835 | 11 | 9.000000e+00 | -- | Inf | unknown
116.12/116.53 c 117s| 1000 | 236 |711277 | 696.6 | 285M | 60 |7285 |2860 | 760 |2057 | 1 |3143 | 11 | 9.000000e+00 | -- | Inf | unknown
122.71/123.19 c 123s| 1100 | 259 |758171 | 675.9 | 287M | 60 |7285 |2878 | 773 |2209 | 1 |3439 | 11 | 9.000000e+00 | -- | Inf | unknown
132.37/132.89 c 133s| 1200 | 266 |834511 | 683.2 | 288M | 60 |7285 |2775 | 784 |2452 | 1 |3695 | 11 | 9.000000e+00 | -- | Inf | unknown
139.95/140.44 c 140s| 1300 | 269 |883739 | 668.5 | 289M | 60 |7285 |2852 | 787 |2630 | 0 |3918 | 11 | 9.000000e+00 | -- | Inf | unknown
150.81/151.34 c 151s| 1400 | 288 |957611 | 673.5 | 289M | 60 |7285 |2726 | 794 |2822 | 2 |4163 | 11 | 9.000000e+00 | -- | Inf | unknown
160.68/161.24 c 161s| 1500 | 288 | 1024k| 673.3 | 290M | 60 |7285 |2808 | 789 |2971 | 1 |4443 | 11 | 9.000000e+00 | -- | Inf | unknown
168.47/169.07 c 169s| 1600 | 303 | 1077k| 664.5 | 292M | 60 |7285 |2673 | 757 |3157 | 1 |4627 | 11 | 9.000000e+00 | -- | Inf | unknown
179.73/180.31 c 180s| 1700 | 328 | 1154k| 670.5 | 293M | 60 |7285 |2614 | 785 |3298 | 1 |4842 | 11 | 9.000000e+00 | -- | Inf | unknown
188.60/189.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
188.60/189.26 c 189s| 1800 | 355 | 1214k| 666.5 | 294M | 60 |7285 |2664 | 780 |3466 | 1 |5008 | 11 | 9.000000e+00 | -- | Inf | unknown
198.48/199.18 c 199s| 1900 | 375 | 1282k| 667.2 | 295M | 60 |7285 |2707 | 787 |3554 | 1 |5213 | 11 | 9.000000e+00 | -- | Inf | unknown
207.24/207.93 c 208s| 2000 | 403 | 1341k| 663.6 | 296M | 60 |7285 |2793 | 786 |3721 | 1 |5440 | 11 | 9.000000e+00 | -- | Inf | unknown
219.20/220.00 c 220s| 2100 | 441 | 1423k| 670.8 | 297M | 60 |7285 |2670 | 790 |3973 | 2 |5729 | 11 | 9.000000e+00 | -- | Inf | unknown
228.48/229.26 c 229s| 2200 | 464 | 1487k| 669.2 | 298M | 60 |7285 |2828 | 789 |4151 | 2 |5973 | 11 | 9.000000e+00 | -- | Inf | unknown
238.76/239.57 c 240s| 2300 | 489 | 1560k| 672.0 | 300M | 60 |7285 |2899 | 770 |4325 | 1 |6225 | 11 | 9.000000e+00 | -- | Inf | unknown
250.53/251.36 c 251s| 2400 | 523 | 1643k| 678.7 | 302M | 60 |7285 |2938 | 790 |4483 | 0 |6453 | 11 | 9.000000e+00 | -- | Inf | unknown
263.89/264.76 c 265s| 2500 | 568 | 1738k| 689.4 | 303M | 60 |7285 |2850 | 785 |4749 | 1 |6738 | 11 | 9.000000e+00 | -- | Inf | unknown
273.07/274.00 c 274s| 2600 | 605 | 1809k| 690.2 | 303M | 60 |7285 |2859 | 758 |4908 | 1 |6911 | 11 | 9.000000e+00 | -- | Inf | unknown
288.33/289.23 c 289s| 2700 | 628 | 1919k| 705.6 | 304M | 60 |7285 |2747 | 759 |5291 | 2 |7283 | 11 | 9.000000e+00 | -- | Inf | unknown
302.69/303.60 c 304s| 2800 | 654 | 2019k| 716.2 | 305M | 60 |7285 |2602 | 768 |5596 | 1 |7472 | 11 | 9.000000e+00 | -- | Inf | unknown
316.45/317.44 c 317s| 2900 | 687 | 2116k| 724.8 | 306M | 60 |7285 |2640 | 741 |5848 | 1 |7831 | 11 | 9.000000e+00 | -- | Inf | unknown
328.62/329.61 c 330s| 3000 | 727 | 2202k| 729.3 | 307M | 60 |7285 |2571 | 781 |6119 | 1 |8087 | 11 | 9.000000e+00 | -- | Inf | unknown
341.59/342.68 c 343s| 3100 | 773 | 2296k| 736.1 | 308M | 60 |7285 |2631 | 797 |6377 | 2 |8348 | 11 | 9.000000e+00 | -- | Inf | unknown
356.35/357.46 c 357s| 3200 | 806 | 2399k| 745.2 | 309M | 60 |7285 |2647 | 785 |6553 | 2 |8659 | 11 | 9.000000e+00 | -- | Inf | unknown
367.93/369.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
367.93/369.07 c 369s| 3300 | 846 | 2480k| 747.2 | 310M | 60 |7285 |2819 | 778 |6775 | 1 |8956 | 11 | 9.000000e+00 | -- | Inf | unknown
381.28/382.46 c 382s| 3400 | 877 | 2575k| 753.2 | 312M | 60 |7285 |2851 | 785 |7017 | 2 |9174 | 11 | 9.000000e+00 | -- | Inf | unknown
396.85/398.03 c 398s| 3500 | 916 | 2682k| 762.3 | 313M | 60 |7285 |2948 | 786 |7267 | 1 |9564 | 11 | 9.000000e+00 | -- | Inf | unknown
409.40/410.68 c 411s| 3600 | 938 | 2758k| 762.2 | 313M | 60 |7285 |2879 | 794 |7428 | 0 |9840 | 11 | 9.000000e+00 | -- | Inf | unknown
419.67/420.90 c 421s| 3700 | 977 | 2820k| 758.2 | 315M | 60 |7285 |3041 | 757 |7622 | 1 | 10k| 11 | 9.000000e+00 | -- | Inf | unknown
429.34/430.65 c 431s| 3800 | 1015 | 2881k| 754.5 | 315M | 60 |7285 |3027 | 772 |7795 | 1 | 10k| 11 | 9.000000e+00 | -- | Inf | unknown
442.10/443.48 c 443s| 3900 | 1057 | 2968k| 757.4 | 316M | 60 |7285 |2824 | 779 |8049 | 1 | 10k| 11 | 9.000000e+00 | -- | Inf | unknown
452.96/454.34 c 454s| 4000 | 1099 | 3032k| 754.4 | 318M | 60 |7285 |2792 | 765 |8230 | 1 | 10k| 11 | 9.000000e+00 | -- | Inf | unknown
464.23/465.65 c 466s| 4100 | 1155 | 3103k| 753.3 | 318M | 60 |7285 |2721 | 762 |8483 | 1 | 11k| 11 | 9.000000e+00 | -- | Inf | unknown
475.49/476.91 c 477s| 4200 | 1186 | 3170k| 751.5 | 319M | 60 |7285 |2774 | 755 |8763 | 1 | 11k| 11 | 9.000000e+00 | -- | Inf | unknown
487.67/489.19 c 489s| 4300 | 1222 | 3246k| 751.6 | 319M | 60 |7285 |2701 | 785 |8914 | 1 | 11k| 11 | 9.000000e+00 | -- | Inf | unknown
497.43/499.00 c 499s| 4400 | 1243 | 3303k| 747.4 | 319M | 60 |7285 |2717 | 779 |9193 | 1 | 11k| 11 | 9.000000e+00 | -- | Inf | unknown
507.20/508.71 c 509s| 4500 | 1282 | 3368k| 745.3 | 320M | 60 |7285 |2543 | 0 |9387 | 0 | 12k| 11 | 9.000000e+00 | -- | Inf | unknown
518.47/520.04 c 520s| 4600 | 1330 | 3438k| 744.3 | 321M | 60 |7285 |2486 | 808 |9582 | 1 | 12k| 11 | 9.000000e+00 | -- | Inf | unknown
530.92/532.59 c 533s| 4700 | 1364 | 3515k| 745.0 | 322M | 60 |7285 |2516 | 744 |9877 | 1 | 12k| 11 | 9.000000e+00 | -- | Inf | unknown
544.50/546.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
544.50/546.12 c 546s| 4800 | 1399 | 3591k| 745.3 | 322M | 60 |7285 |2427 | 768 | 10k| 1 | 12k| 11 | 9.000000e+00 | -- | Inf | unknown
556.15/557.82 c 558s| 4900 | 1443 | 3663k| 744.7 | 323M | 60 |7285 |2477 | 747 | 10k| 0 | 13k| 11 | 9.000000e+00 | -- | Inf | unknown
567.02/568.75 c 569s| 5000 | 1485 | 3727k| 742.6 | 323M | 60 |7285 |2503 | 752 | 10k| 1 | 13k| 11 | 9.000000e+00 | -- | Inf | unknown
578.78/580.52 c 581s| 5100 | 1509 | 3797k| 741.8 | 324M | 60 |7285 |2583 | 758 | 10k| 0 | 13k| 11 | 9.000000e+00 | -- | Inf | unknown
592.43/594.20 c 594s| 5200 | 1535 | 3877k| 742.8 | 324M | 60 |7285 |2545 | 762 | 10k| 1 | 13k| 11 | 9.000000e+00 | -- | Inf | unknown
603.31/605.19 c 605s| 5300 | 1595 | 3944k| 741.6 | 325M | 60 |7285 |2524 | 785 | 11k| 1 | 14k| 11 | 9.000000e+00 | -- | Inf | unknown
615.46/617.38 c 617s| 5400 | 1633 | 4018k| 741.5 | 326M | 60 |7285 |2645 | 775 | 11k| 1 | 14k| 11 | 9.000000e+00 | -- | Inf | unknown
631.61/633.55 c 634s| 5500 | 1673 | 4114k| 745.4 | 327M | 60 |7285 |2613 | 784 | 11k| 1 | 14k| 11 | 9.000000e+00 | -- | Inf | unknown
642.59/644.55 c 645s| 5600 | 1716 | 4175k| 743.1 | 329M | 60 |7285 |2591 | 777 | 11k| 1 | 14k| 11 | 9.000000e+00 | -- | Inf | unknown
655.95/658.00 c 658s| 5700 | 1762 | 4271k| 746.8 | 329M | 60 |7285 |2586 | 764 | 12k| 1 | 15k| 11 | 9.000000e+00 | -- | Inf | unknown
672.40/674.47 c 674s| 5800 | 1816 | 4376k| 752.1 | 329M | 60 |7285 |2588 | 0 | 12k| 0 | 15k| 11 | 9.000000e+00 | -- | Inf | unknown
688.85/690.93 c 691s| 5900 | 1883 | 4477k| 756.4 | 330M | 60 |7285 |2506 | 737 | 12k| 1 | 15k| 11 | 9.000000e+00 | -- | Inf | unknown
700.02/702.16 c 702s| 6000 | 1915 | 4541k| 754.5 | 330M | 60 |7285 |2618 | 760 | 12k| 1 | 15k| 11 | 9.000000e+00 | -- | Inf | unknown
709.78/711.93 c 712s| 6100 | 1948 | 4599k| 751.6 | 331M | 60 |7285 |2776 | 762 | 12k| 1 | 16k| 11 | 9.000000e+00 | -- | Inf | unknown
721.05/723.22 c 723s| 6200 | 1985 | 4670k| 751.0 | 331M | 60 |7285 |2769 | 771 | 13k| 1 | 16k| 11 | 9.000000e+00 | -- | Inf | unknown
734.92/737.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
734.92/737.15 c 737s| 6300 | 2015 | 4766k| 754.2 | 332M | 60 |7285 |2840 | 768 | 13k| 1 | 16k| 11 | 9.000000e+00 | -- | Inf | unknown
745.78/748.02 c 748s| 6400 | 2052 | 4840k| 754.0 | 332M | 60 |7285 |2967 | 745 | 13k| 0 | 16k| 11 | 9.000000e+00 | -- | Inf | unknown
756.24/758.56 c 759s| 6500 | 2103 | 4910k| 753.3 | 333M | 60 |7285 |2918 | 786 | 13k| 1 | 17k| 11 | 9.000000e+00 | -- | Inf | unknown
768.20/770.57 c 771s| 6600 | 2129 | 4987k| 753.4 | 333M | 60 |7285 |2833 | 777 | 14k| 2 | 17k| 11 | 9.000000e+00 | -- | Inf | unknown
777.27/779.62 c 780s| 6700 | 2170 | 5038k| 749.9 | 334M | 60 |7285 |2867 | 788 | 14k| 1 | 17k| 11 | 9.000000e+00 | -- | Inf | unknown
789.54/791.96 c 792s| 6800 | 2217 | 5110k| 749.5 | 335M | 60 |7285 |2809 | 790 | 14k| 1 | 17k| 11 | 9.000000e+00 | -- | Inf | unknown
803.79/806.29 c 806s| 6900 | 2268 | 5206k| 752.4 | 335M | 60 |7285 |2792 | 762 | 14k| 1 | 18k| 11 | 9.000000e+00 | -- | Inf | unknown
816.45/818.99 c 819s| 7000 | 2302 | 5291k| 753.8 | 337M | 60 |7285 |2694 | 793 | 14k| 1 | 18k| 11 | 9.000000e+00 | -- | Inf | unknown
830.11/832.60 c 833s| 7100 | 2333 | 5387k| 756.8 | 337M | 60 |7285 |2731 | 767 | 15k| 1 | 18k| 11 | 9.000000e+00 | -- | Inf | unknown
846.16/848.76 c 849s| 7200 | 2377 | 5502k| 762.2 | 338M | 60 |7285 |2820 | 773 | 15k| 0 | 18k| 11 | 9.000000e+00 | -- | Inf | unknown
860.72/863.35 c 863s| 7300 | 2410 | 5601k| 765.3 | 338M | 60 |7285 |2718 | 755 | 15k| 1 | 19k| 11 | 9.000000e+00 | -- | Inf | unknown
870.40/873.04 c 873s| 7400 | 2467 | 5670k| 764.4 | 339M | 60 |7285 |2778 | 754 | 16k| 1 | 19k| 11 | 9.000000e+00 | -- | Inf | unknown
885.25/887.94 c 888s| 7500 | 2529 | 5776k| 768.3 | 339M | 60 |7285 |2858 | 758 | 16k| 1 | 19k| 11 | 9.000000e+00 | -- | Inf | unknown
892.12/894.85 c 895s| 7600 | 2600 | 5816k| 763.4 | 340M | 60 |7285 |3006 | 758 | 16k| 1 | 19k| 11 | 9.000000e+00 | -- | Inf | unknown
905.68/908.45 c 908s| 7700 | 2647 | 5896k| 763.8 | 340M | 60 |7285 |3070 | 773 | 16k| 1 | 20k| 11 | 9.000000e+00 | -- | Inf | unknown
915.45/918.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
915.45/918.23 c 918s| 7800 | 2702 | 5952k| 761.2 | 341M | 60 |7285 |3064 | 758 | 16k| 0 | 20k| 11 | 9.000000e+00 | -- | Inf | unknown
928.91/931.70 c 932s| 7900 | 2757 | 6036k| 762.2 | 341M | 60 |7285 |3051 | 749 | 17k| 1 | 20k| 11 | 9.000000e+00 | -- | Inf | unknown
935.99/938.87 c 939s| 8000 | 2811 | 6074k| 757.5 | 341M | 60 |7285 |2998 | 761 | 17k| 0 | 20k| 11 | 9.000000e+00 | -- | Inf | unknown
948.05/950.90 c 951s| 8100 | 2844 | 6147k| 757.2 | 342M | 60 |7285 |2959 | 757 | 17k| 2 | 20k| 11 | 9.000000e+00 | -- | Inf | unknown
958.62/961.52 c 962s| 8200 | 2893 | 6207k| 755.2 | 342M | 60 |7285 |2764 | 771 | 17k| 0 | 20k| 11 | 9.000000e+00 | -- | Inf | unknown
973.38/976.36 c 976s| 8300 | 2938 | 6292k| 756.4 | 344M | 60 |7285 |2757 | 757 | 18k| 1 | 21k| 11 | 9.000000e+00 | -- | Inf | 0.79%
987.63/990.62 c 991s| 8400 | 2972 | 6378k| 757.6 | 344M | 60 |7285 |2595 | 755 | 18k| 1 | 21k| 11 | 9.000000e+00 | -- | Inf | 0.79%
1000.01/1003.07 c 1003s| 8500 | 3041 | 6451k| 757.3 | 344M | 60 |7285 |2564 | 737 | 18k| 1 | 21k| 11 | 9.000000e+00 | -- | Inf | 0.79%
1012.97/1016.03 c 1016s| 8600 | 3091 | 6525k| 757.1 | 345M | 60 |7285 |2601 | 761 | 19k| 1 | 21k| 11 | 9.000000e+00 | -- | Inf | 0.79%
1020.95/1024.11 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1020.95/1024.11 c (run 1, node 8664) performing user restart
1020.95/1024.11 c
1021.05/1024.11 c (restart) converted 57 cuts from the global cut pool into linear constraints
1021.05/1024.11 c
1021.05/1024.15 c presolving:
1021.05/1024.16 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
1021.14/1024.20 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
1021.34/1024.43 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
1021.64/1024.71 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
1021.64/1024.71 c 0 deleted vars, 143 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 397 changed coefficients
1021.64/1024.71 c 0 implications, 52178 cliques
1021.64/1024.71 c presolved problem has 7285 variables (7285 bin, 0 int, 0 impl, 0 cont) and 2495 constraints
1021.64/1024.71 c 627 constraints of type <knapsack>
1021.64/1024.71 c 120 constraints of type <setppc>
1021.64/1024.71 c 10 constraints of type <linear>
1021.64/1024.71 c 575 constraints of type <orbitope>
1021.64/1024.71 c 1163 constraints of type <logicor>
1021.64/1024.71 c transformed objective value is always integral (scale: 1)
1021.64/1024.71 c Presolving Time: 6.16
1021.64/1024.71 c
1021.95/1025.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1021.95/1025.09 c 1025s| 1 | 0 | 6577k| - | 353M | 0 |7285 |2501 | 730 | 0 | 0 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1022.54/1025.62 c 1026s| 1 | 0 | 6577k| - | 353M | 0 |7285 |2450 | 756 | 26 | 1 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1022.64/1025.77 c 1026s| 1 | 0 | 6577k| - | 354M | 0 |7285 |2396 | 783 | 53 | 2 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1024.73/1027.83 c 1028s| 1 | 0 | 6588k| - | 355M | 0 |7285 |2378 | 815 | 85 | 3 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1026.32/1029.47 c 1029s| 1 | 0 | 6597k| - | 355M | 0 |7285 |2359 | 848 | 118 | 4 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1026.52/1029.65 c 1030s| 1 | 0 | 6597k| - | 356M | 0 |7285 |2348 | 878 | 148 | 5 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1029.03/1032.16 c 1032s| 1 | 0 | 6609k| - | 356M | 0 |7285 |2329 | 909 | 179 | 6 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1031.41/1034.55 c 1035s| 1 | 0 | 6620k| - | 358M | 0 |7285 |2323 | 936 | 206 | 7 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1031.81/1034.93 c 1035s| 1 | 0 | 6621k| - | 360M | 0 |7285 |2320 | 971 | 241 | 8 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1034.60/1037.74 c 1038s| 1 | 0 | 6633k| - | 361M | 0 |7285 |2309 |1006 | 276 | 9 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1037.30/1040.43 c 1040s| 1 | 0 | 6644k| - | 362M | 0 |7285 |2302 |1041 | 311 | 10 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1040.00/1043.19 c 1043s| 1 | 0 | 6656k| - | 363M | 0 |7285 |2301 |1028 | 342 | 11 | 21k| 11 | 9.000000e+00 | -- | Inf | unknown
1044.89/1048.05 c 1048s| 1 | 2 | 6667k| - | 363M | 0 |7285 |2283 |1028 | 342 | 11 | 21k| 34 | 9.000000e+00 | -- | Inf | unknown
1077.29/1080.50 c 1080s| 100 | 75 | 6848k| 770.6 | 363M | 30 |7285 |2352 | 854 | 599 | 0 | 22k| 34 | 9.000000e+00 | -- | Inf | unknown
1101.74/1105.05 c 1105s| 200 | 109 | 6983k| 777.1 | 363M | 32 |7285 |2387 | 841 | 848 | 1 | 22k| 34 | 9.000000e+00 | -- | Inf | unknown
1127.07/1130.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1127.07/1130.43 c 1130s| 300 | 84 | 7120k| 783.7 | 363M | 32 |7285 |2363 | 845 |1055 | 1 | 22k| 34 | 9.000000e+00 | -- | Inf | unknown
1153.50/1156.97 c 1157s| 400 | 107 | 7278k| 792.5 | 364M | 35 |7285 |2449 | 863 |1310 | 1 | 22k| 34 | 9.000000e+00 | -- | Inf | unknown
1170.36/1173.89 c 1174s| 500 | 114 | 7384k| 795.4 | 364M | 40 |7285 |2561 | 872 |1570 | 2 | 23k| 34 | 9.000000e+00 | -- | Inf | unknown
1186.32/1189.85 c 1190s| 600 | 131 | 7481k| 797.3 | 364M | 40 |7285 |2756 | 882 |1791 | 1 | 23k| 34 | 9.000000e+00 | -- | Inf | unknown
1202.50/1206.05 c 1206s| 700 | 137 | 7580k| 799.3 | 364M | 40 |7285 |2736 | 855 |2100 | 1 | 23k| 34 | 9.000000e+00 | -- | Inf | unknown
1224.93/1228.57 c 1229s| 800 | 138 | 7712k| 804.9 | 364M | 40 |7285 |2734 | 848 |2433 | 1 | 24k| 34 | 9.000000e+00 | -- | Inf | unknown
1244.49/1248.17 c 1248s| 900 | 145 | 7842k| 810.0 | 364M | 40 |7285 |2756 | 877 |2759 | 0 | 24k| 34 | 9.000000e+00 | -- | Inf | unknown
1259.15/1262.82 c 1263s| 1000 | 158 | 7942k| 812.0 | 364M | 40 |7285 |2822 | 867 |2991 | 1 | 24k| 34 | 9.000000e+00 | -- | Inf | unknown
1279.00/1282.78 c 1283s| 1100 | 170 | 8081k| 817.9 | 364M | 40 |7285 |2878 | 903 |3384 | 2 | 24k| 34 | 9.000000e+00 | -- | Inf | unknown
1302.35/1306.18 c 1306s| 1200 | 149 | 8244k| 826.1 | 364M | 40 |7285 |2862 | 877 |3816 | 1 | 25k| 34 | 9.000000e+00 | -- | Inf | unknown
1320.60/1324.45 c 1324s| 1300 | 150 | 8371k| 830.6 | 364M | 40 |7285 |2870 | 906 |4031 | 0 | 25k| 34 | 9.000000e+00 | -- | Inf | unknown
1339.65/1343.51 c 1344s| 1400 | 154 | 8499k| 835.1 | 364M | 40 |7285 |2910 | 880 |4203 | 1 | 25k| 34 | 9.000000e+00 | -- | Inf | unknown
1362.49/1366.40 c 1366s| 1500 | 153 | 8649k| 841.6 | 364M | 40 |7285 |2782 | 851 |4441 | 1 | 25k| 34 | 9.000000e+00 | -- | Inf | unknown
1383.94/1387.99 c 1388s| 1600 | 154 | 8799k| 848.0 | 364M | 40 |7285 |2774 | 903 |4762 | 0 | 25k| 34 | 9.000000e+00 | -- | Inf | unknown
1407.38/1411.49 c 1411s| 1700 | 141 | 8960k| 855.4 | 365M | 40 |7285 |2767 | 887 |5095 | 0 | 26k| 34 | 9.000000e+00 | -- | Inf | unknown
1437.61/1441.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1437.61/1441.78 c 1442s| 1800 | 145 | 9150k| 865.3 | 365M | 40 |7285 |2854 | 949 |5346 | 0 | 26k| 34 | 9.000000e+00 | -- | Inf | unknown
1458.97/1463.17 c 1463s| 1900 | 173 | 9280k| 869.5 | 365M | 40 |7285 |2880 | 948 |5545 | 1 | 26k| 34 | 9.000000e+00 | -- | Inf | unknown
1485.49/1489.76 c 1490s| 2000 | 185 | 9427k| 875.1 | 365M | 40 |7285 |2924 | 960 |5614 | 1 | 27k| 34 | 9.000000e+00 | -- | Inf | unknown
1508.85/1513.15 c 1513s| 2100 | 184 | 9555k| 878.9 | 365M | 40 |7285 |2864 | 947 |5838 | 1 | 27k| 34 | 9.000000e+00 | -- | Inf | unknown
1533.18/1537.57 c 1538s| 2200 | 202 | 9681k| 882.4 | 365M | 40 |7285 |2825 | 932 |6067 | 1 | 27k| 34 | 9.000000e+00 | -- | Inf | unknown
1564.30/1568.79 c 1569s| 2300 | 190 | 9850k| 889.7 | 365M | 40 |7285 |2724 | 923 |6280 | 0 | 27k| 34 | 9.000000e+00 | -- | Inf | unknown
1595.94/1600.47 c 1600s| 2400 | 191 | 10020k| 897.1 | 365M | 40 |7285 |2608 | 844 |6549 | 1 | 28k| 34 | 9.000000e+00 | -- | Inf | unknown
1617.88/1622.44 c 1622s| 2500 | 226 | 10152k| 900.9 | 365M | 40 |7285 |2758 | 879 |6785 | 1 | 28k| 34 | 9.000000e+00 | -- | Inf | unknown
1650.90/1655.52 c 1656s| 2600 | 266 | 10359k| 911.3 | 365M | 40 |7285 |2813 | 889 |7111 | 2 | 28k| 34 | 9.000000e+00 | -- | Inf | unknown
1681.44/1686.15 c 1686s| 2700 | 281 | 10544k| 919.5 | 366M | 43 |7285 |2740 | 0 |7479 | 0 | 29k| 34 | 9.000000e+00 | -- | Inf | unknown
1699.68/1704.46 c 1704s| 2800 | 231 | 10675k| 922.9 | 366M | 43 |7285 |2692 | 895 |7684 | 1 | 29k| 34 | 9.000000e+00 | -- | Inf | unknown
1714.95/1719.78 c 1720s| 2900 | 263 | 10784k| 924.3 | 366M | 43 |7285 |2749 | 877 |8094 | 1 | 29k| 34 | 9.000000e+00 | -- | Inf | unknown
1735.31/1740.19 c 1740s| 3000 | 206 | 10928k| 928.8 | 366M | 43 |7285 |2711 | 848 |8289 | 1 | 29k| 34 | 9.000000e+00 | -- | Inf | unknown
1753.55/1758.45 c 1758s| 3100 | 223 | 11062k| 932.3 | 366M | 50 |7285 |2766 | 892 |8719 | 1 | 30k| 34 | 9.000000e+00 | -- | Inf | unknown
1767.62/1772.50 c 1772s| 3200 | 214 | 11161k| 932.8 | 366M | 50 |7285 |2707 | 928 |8904 | 0 | 30k| 34 | 9.000000e+00 | -- | Inf | unknown
1790.86/1795.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1790.86/1795.83 c 1796s| 3300 | 254 | 11316k| 937.9 | 366M | 50 |7285 |2588 | 861 |9189 | 1 | 30k| 34 | 9.000000e+00 | -- | Inf | unknown
1808.42/1813.40 c 1813s| 3400 | 297 | 11435k| 940.0 | 366M | 50 |7285 |2616 | 0 |9496 | 0 | 30k| 34 | 9.000000e+00 | -- | Inf | unknown
1829.27/1834.33 c 1834s| 3500 | 314 | 11579k| 944.2 | 366M | 50 |7285 |2682 | 896 |9894 | 1 | 31k| 34 | 9.000000e+00 | -- | Inf | unknown
1855.02/1860.17 c 1860s| 3600 | 323 | 11757k| 950.9 | 366M | 50 |7285 |2607 | 0 | 10k| 0 | 31k| 34 | 9.000000e+00 | -- | Inf | unknown
1877.75/1882.90 c 1883s| 3700 | 358 | 11913k| 955.9 | 366M | 50 |7285 |2796 | 878 | 10k| 0 | 31k| 34 | 9.000000e+00 | -- | Inf | unknown
1909.68/1914.98 c 1915s| 3800 | 196 | 12128k| 965.4 | 366M | 50 |7285 |2592 |1065 | 10k| 0 | 32k| 34 | 9.000000e+00 | -- | Inf | unknown
1955.57/1960.96 c 1961s| 3900 | 252 | 12385k| 978.2 | 367M | 50 |7285 |2655 |1014 | 11k| 1 | 32k| 34 | 9.000000e+00 | -- | Inf | unknown
1997.76/2003.20 c 2003s| 4000 | 280 | 12628k| 989.7 | 367M | 50 |7285 |2586 | 882 | 11k| 1 | 32k| 34 | 9.000000e+00 | -- | Inf | unknown
2023.80/2029.39 c 2029s| 4100 | 317 | 12815k| 996.6 | 367M | 50 |7285 |2779 | 889 | 11k| 1 | 32k| 34 | 9.000000e+00 | -- | Inf | unknown
2047.25/2052.87 c 2053s| 4200 | 365 | 12956k| 999.8 | 367M | 50 |7285 |2835 | 872 | 11k| 1 | 33k| 34 | 9.000000e+00 | -- | Inf | unknown
2086.25/2092.00 c 2092s| 4300 | 314 | 13199k|1010.9 | 367M | 50 |7285 |2669 | 994 | 12k| 0 | 33k| 34 | 9.000000e+00 | -- | Inf | unknown
2109.89/2115.61 c 2116s| 4400 | 346 | 13350k|1014.7 | 367M | 50 |7285 |2678 | 857 | 12k| 1 | 33k| 34 | 9.000000e+00 | -- | Inf | unknown
2128.05/2133.89 c 2134s| 4500 | 365 | 13473k|1016.3 | 367M | 50 |7285 |2654 | 842 | 12k| 1 | 33k| 34 | 9.000000e+00 | -- | Inf | unknown
2151.79/2157.66 c 2158s| 4600 | 405 | 13624k|1020.0 | 367M | 50 |7285 |2716 | 858 | 13k| 1 | 34k| 34 | 9.000000e+00 | -- | Inf | unknown
2184.91/2190.85 c 2191s| 4700 | 448 | 13835k|1028.2 | 367M | 50 |7285 |2795 | 881 | 13k| 1 | 34k| 34 | 9.000000e+00 | -- | Inf | unknown
2216.74/2222.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2216.74/2222.74 c 2223s| 4800 | 468 | 14036k|1035.5 | 367M | 50 |7285 |2730 | 912 | 14k| 1 | 34k| 34 | 9.000000e+00 | -- | Inf | unknown
2245.77/2251.85 c 2252s| 4900 | 478 | 14231k|1042.2 | 368M | 50 |7285 |2839 | 860 | 14k| 0 | 35k| 34 | 9.000000e+00 | -- | Inf | unknown
2266.22/2272.39 c 2272s| 5000 | 522 | 14365k|1044.4 | 368M | 50 |7285 |2757 | 844 | 14k| 1 | 35k| 34 | 9.000000e+00 | -- | Inf | unknown
2288.76/2294.91 c 2295s| 5100 | 562 | 14497k|1046.4 | 368M | 50 |7285 |2842 | 854 | 14k| 1 | 35k| 34 | 9.000000e+00 | -- | Inf | unknown
2317.90/2324.17 c 2324s| 5200 | 590 | 14662k|1050.7 | 368M | 50 |7285 |2759 | 858 | 15k| 1 | 35k| 34 | 9.000000e+00 | -- | Inf | unknown
2336.25/2342.57 c 2343s| 5300 | 605 | 14785k|1052.0 | 368M | 50 |7285 |2773 | 864 | 15k| 1 | 36k| 34 | 9.000000e+00 | -- | Inf | unknown
2357.99/2364.38 c 2364s| 5400 | 651 | 14917k|1053.9 | 368M | 50 |7285 |2841 | 880 | 15k| 1 | 36k| 34 | 9.000000e+00 | -- | Inf | unknown
2380.75/2387.14 c 2387s| 5500 | 688 | 15052k|1056.0 | 368M | 50 |7285 |2846 | 896 | 16k| 1 | 36k| 34 | 9.000000e+00 | -- | Inf | unknown
2406.59/2413.04 c 2413s| 5600 | 719 | 15210k|1059.7 | 368M | 50 |7285 |2803 | 888 | 16k| 1 | 36k| 34 | 9.000000e+00 | -- | Inf | unknown
2437.40/2443.91 c 2444s| 5700 | 700 | 15383k|1064.4 | 368M | 50 |7285 |2802 | 921 | 16k| 0 | 37k| 34 | 9.000000e+00 | -- | Inf | unknown
2456.36/2462.95 c 2463s| 5800 | 720 | 15500k|1065.1 | 368M | 50 |7285 |2818 | 875 | 16k| 1 | 37k| 34 | 9.000000e+00 | -- | Inf | unknown
2484.50/2491.14 c 2491s| 5900 | 706 | 15666k|1069.2 | 368M | 50 |7285 |2817 | 850 | 17k| 1 | 37k| 34 | 9.000000e+00 | -- | Inf | unknown
2519.51/2526.28 c 2526s| 6000 | 729 | 15854k|1074.7 | 368M | 50 |7285 |2851 | 850 | 17k| 1 | 37k| 34 | 9.000000e+00 | -- | Inf | unknown
2544.14/2550.92 c 2551s| 6100 | 736 | 15990k|1076.7 | 368M | 50 |7285 |2749 | 904 | 17k| 0 | 38k| 34 | 9.000000e+00 | -- | Inf | unknown
2572.18/2579.06 c 2579s| 6200 | 758 | 16142k|1079.6 | 368M | 50 |7285 |2735 | 896 | 18k| 1 | 38k| 34 | 9.000000e+00 | -- | Inf | unknown
2600.30/2607.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2600.30/2607.20 c 2607s| 6300 | 762 | 16304k|1083.2 | 368M | 50 |7285 |2706 | 875 | 18k| 1 | 38k| 34 | 9.000000e+00 | -- | Inf | unknown
2622.16/2629.12 c 2629s| 6400 | 766 | 16438k|1085.0 | 368M | 50 |7285 |2724 | 878 | 18k| 1 | 38k| 34 | 9.000000e+00 | -- | Inf | unknown
2659.45/2666.52 c 2667s| 6500 | 737 | 16656k|1092.1 | 369M | 50 |7285 |2665 |1032 | 19k| 0 | 39k| 34 | 9.000000e+00 | -- | Inf | unknown
2690.17/2697.33 c 2697s| 6600 | 744 | 16831k|1096.4 | 369M | 50 |7285 |2742 | 859 | 19k| 1 | 39k| 34 | 9.000000e+00 | -- | Inf | unknown
2720.81/2728.01 c 2728s| 6700 | 767 | 17005k|1100.7 | 369M | 50 |7285 |2863 | 848 | 19k| 1 | 39k| 34 | 9.000000e+00 | -- | Inf | unknown
2748.63/2756.01 c 2756s| 6800 | 790 | 17159k|1103.5 | 369M | 50 |7285 |2856 | 879 | 20k| 1 | 39k| 34 | 9.000000e+00 | -- | Inf | unknown
2774.57/2781.93 c 2782s| 6900 | 822 | 17292k|1105.0 | 369M | 50 |7285 |2769 | 867 | 20k| 0 | 39k| 34 | 9.000000e+00 | -- | Inf | unknown
2804.49/2812.00 c 2812s| 7000 | 818 | 17467k|1109.1 | 369M | 50 |7285 |2814 | 0 | 20k| 0 | 39k| 34 | 9.000000e+00 | -- | Inf | unknown
2833.72/2841.29 c 2841s| 7100 | 858 | 17651k|1113.7 | 369M | 50 |7285 |2966 | 865 | 20k| 1 | 40k| 34 | 9.000000e+00 | -- | Inf | unknown
2855.07/2862.61 c 2863s| 7200 | 894 | 17793k|1115.6 | 369M | 50 |7285 |2991 | 870 | 20k| 1 | 40k| 34 | 9.000000e+00 | -- | Inf | unknown
2879.61/2887.24 c 2887s| 7300 | 904 | 17951k|1118.5 | 369M | 50 |7285 |3055 | 868 | 21k| 1 | 40k| 34 | 9.000000e+00 | -- | Inf | unknown
2911.73/2919.44 c 2919s| 7400 | 929 | 18142k|1123.5 | 369M | 50 |7285 |2949 | 884 | 21k| 1 | 41k| 34 | 9.000000e+00 | -- | Inf | unknown
2939.96/2947.77 c 2948s| 7500 | 957 | 18312k|1127.0 | 369M | 50 |7285 |2951 | 878 | 21k| 1 | 41k| 34 | 9.000000e+00 | -- | Inf | unknown
2971.48/2979.38 c 2979s| 7600 | 983 | 18490k|1131.1 | 370M | 50 |7285 |2953 | 899 | 22k| 0 | 41k| 34 | 9.000000e+00 | -- | Inf | unknown
3011.38/3019.39 c 3019s| 7700 | 926 | 18723k|1138.4 | 370M | 50 |7285 |2900 | 899 | 22k| 1 | 41k| 34 | 9.000000e+00 | -- | Inf | unknown
3051.38/3059.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3051.38/3059.47 c 3059s| 7800 | 923 | 18942k|1144.7 | 370M | 50 |7285 |2846 | 893 | 22k| 1 | 42k| 34 | 9.000000e+00 | -- | Inf | unknown
3090.78/3098.93 c 3099s| 7900 | 890 | 19150k|1150.4 | 370M | 50 |7285 |2804 | 981 | 23k| 1 | 42k| 34 | 9.000000e+00 | -- | Inf | unknown
3125.49/3133.72 c 3134s| 8000 | 886 | 19334k|1154.5 | 370M | 50 |7285 |2599 | 915 | 23k| 1 | 42k| 34 | 9.000000e+00 | -- | Inf | unknown
3152.63/3160.90 c 3161s| 8100 | 880 | 19486k|1156.7 | 370M | 50 |7285 |2351 | 792 | 23k| 1 | 42k| 34 | 9.000000e+00 | -- | Inf | unknown
3171.48/3179.88 c 3180s| 8200 | 943 | 19612k|1157.3 | 370M | 50 |7285 |2436 | 819 | 24k| 1 | 43k| 34 | 9.000000e+00 | -- | Inf | unknown
3191.74/3200.15 c 3200s| 8300 | 1027 | 19745k|1158.4 | 371M | 50 |7285 |2538 | 865 | 24k| 2 | 43k| 34 | 9.000000e+00 | -- | Inf | unknown
3214.08/3222.59 c 3223s| 8400 | 1087 | 19901k|1160.7 | 371M | 50 |7285 |2641 | 836 | 24k| 1 | 43k| 34 | 9.000000e+00 | -- | Inf | unknown
3236.13/3244.67 c 3245s| 8500 | 1135 | 20058k|1163.1 | 372M | 50 |7285 |2719 | 853 | 25k| 0 | 44k| 34 | 9.000000e+00 | -- | Inf | unknown
3261.58/3270.11 c 3270s| 8600 | 1219 | 20216k|1165.5 | 372M | 50 |7285 |2724 | 836 | 25k| 1 | 44k| 34 | 9.000000e+00 | -- | Inf | unknown
3285.90/3294.59 c 3295s| 8700 | 1279 | 20367k|1167.5 | 372M | 50 |7285 |2637 | 837 | 25k| 1 | 45k| 34 | 9.000000e+00 | -- | Inf | unknown
3310.74/3319.40 c 3319s| 8800 | 1345 | 20521k|1169.6 | 372M | 50 |7285 |2595 | 864 | 26k| 1 | 45k| 34 | 9.000000e+00 | -- | Inf | unknown
3330.79/3339.56 c 3340s| 8900 | 1429 | 20662k|1171.0 | 372M | 50 |7285 |2587 | 823 | 26k| 1 | 45k| 34 | 9.000000e+00 | -- | Inf | unknown
3352.63/3361.44 c 3361s| 9000 | 1485 | 20811k|1172.8 | 373M | 50 |7285 |2593 | 850 | 27k| 1 | 46k| 34 | 9.000000e+00 | -- | Inf | unknown
3373.19/3382.07 c 3382s| 9100 | 1540 | 20957k|1174.4 | 373M | 50 |7285 |2688 | 0 | 27k| 0 | 46k| 34 | 9.000000e+00 | -- | Inf | unknown
3401.71/3410.60 c 3411s| 9200 | 1425 | 21130k|1177.5 | 373M | 50 |7285 |2470 | 839 | 27k| 1 | 46k| 34 | 9.000000e+00 | -- | Inf | unknown
3426.94/3435.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3426.94/3435.93 c 3436s| 9300 | 1404 | 21286k|1179.7 | 373M | 50 |7285 |2585 | 845 | 28k| 1 | 47k| 34 | 9.000000e+00 | -- | Inf | unknown
3453.09/3462.15 c 3462s| 9400 | 1399 | 21439k|1181.6 | 373M | 50 |7285 |2641 | 860 | 28k| 2 | 47k| 34 | 9.000000e+00 | -- | Inf | unknown
3481.02/3490.15 c 3490s| 9500 | 1401 | 21603k|1184.1 | 374M | 50 |7285 |2651 | 847 | 29k| 1 | 48k| 34 | 9.000000e+00 | -- | Inf | unknown
3517.32/3526.51 c 3527s| 9600 | 1389 | 21826k|1189.9 | 374M | 50 |7285 |2623 | 850 | 29k| 1 | 48k| 34 | 9.000000e+00 | -- | Inf | unknown
3544.35/3553.69 c 3554s| 9700 | 1423 | 21981k|1191.8 | 374M | 50 |7285 |2611 | 824 | 30k| 1 | 48k| 34 | 9.000000e+00 | -- | Inf | unknown
3569.29/3578.66 c 3579s| 9800 | 1462 | 22120k|1192.9 | 374M | 50 |7285 |2404 | 870 | 30k| 1 | 48k| 34 | 9.000000e+00 | -- | Inf | unknown
3587.55/3597.00 c
3587.55/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.55/3597.00 c Solving Time (sec) : 3596.99
3587.55/3597.00 c Solving Nodes : 9861 (total of 18525 nodes in 2 runs)
3587.55/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.55/3597.00 c Dual Bound : +9.00000000000000e+00
3587.55/3597.00 c Gap : infinite
3587.55/3597.00 s UNKNOWN
3587.55/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.55/3597.00 c Total Time : 3596.99
3587.55/3597.00 c solving : 3596.99
3587.55/3597.00 c presolving : 6.16 (included in solving)
3587.55/3597.00 c reading : 0.12 (included in solving)
3587.55/3597.00 c copying : 1.57 (65 #copies) (minimal 0.01, maximal 0.04, average 0.02)
3587.55/3597.00 c Original Problem :
3587.55/3597.00 c Problem name : HOME/instance-4432784-1721103750.opb
3587.55/3597.00 c Variables : 8424 (8424 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.55/3597.00 c Constraints : 9089 initial, 9089 maximal
3587.55/3597.00 c Objective : minimize, 9 non-zeros (abs.min = 1, abs.max = 1)
3587.55/3597.00 c Presolved Problem :
3587.55/3597.00 c Problem name : t_HOME/instance-4432784-1721103750.opb
3587.55/3597.00 c Variables : 7285 (7285 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.55/3597.00 c Constraints : 2495 initial, 3081 maximal
3587.55/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.55/3597.00 c Nonzeros : 287215 constraint, 120135 clique table
3587.55/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.55/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c domcol : 0.07 0.00 3 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c gateextraction : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c milp : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c sparsify : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c trivial : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c dualfix : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c probing : 1.29 0.00 2 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c symmetry : 3.63 0.00 1 585 0 0 0 0 0 575 0 0
3587.55/3597.00 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c knapsack : 0.22 0.00 30 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c setppc : 0.01 0.00 30 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c linear : 0.13 0.02 11 9 0 0 9 0 8416 0 0 0
3587.55/3597.00 c orbitope : 0.01 0.00 11 545 0 0 0 0 0 0 0 0
3587.55/3597.00 c logicor : 0.46 0.03 9 0 0 0 0 0 143 0 0 397
3587.55/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c components : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.55/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.55/3597.00 c benderslp : 0 0 0 0 12929 0 0 1869 0 0 0 0 0 0 0
3587.55/3597.00 c integral : 0 0 0 0 12929 0 0 1869 0 0 0 0 0 0 25858
3587.55/3597.00 c knapsack : 627+ 629 22 110880 0 0 0 1864 4661156 107 1360829 4416 53 0 0
3587.55/3597.00 c setppc : 120+ 143 22 110773 0 0 0 3 1095613 122 235521 4 0 0 0
3587.55/3597.00 c linear : 10 10 0 97198 0 0 0 3 30094 210 36651 0 0 0 0
3587.55/3597.00 c orbitope : 575 575 0 110341 0 0 0 0 593713 1103 389372 0 0 0 0
3587.55/3597.00 c logicor : 1163+ 1744 22 31821 0 0 0 0 19748 1136 6282 2 0 0 0
3587.55/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.55/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.55/3597.00 c integral : 4.80 0.00 0.00 0.00 4.80 0.00 0.00 0.00 0.00 0.00
3587.55/3597.00 c knapsack : 6.14 0.00 0.06 4.22 0.00 0.00 0.00 0.08 1.78 0.00
3587.55/3597.00 c setppc : 1.76 0.00 0.00 1.53 0.00 0.00 0.00 0.00 0.22 0.00
3587.55/3597.00 c linear : 0.68 0.02 0.00 0.36 0.00 0.00 0.00 0.00 0.30 0.00
3587.55/3597.00 c orbitope : 38.98 0.00 0.00 38.89 0.00 0.00 0.00 0.00 0.04 0.05
3587.55/3597.00 c logicor : 1.35 0.03 0.01 1.24 0.00 0.00 0.00 0.00 0.08 0.00
3587.55/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.55/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.55/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.55/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.55/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.55/3597.00 c dualfix : 2 0 0 0
3587.55/3597.00 c genvbounds : 0 0 0 0
3587.55/3597.00 c nlobbt : 0 0 0 0
3587.55/3597.00 c obbt : 0 0 0 0
3587.55/3597.00 c probing : 0 0 0 0
3587.55/3597.00 c pseudoobj : 0 0 0 0
3587.55/3597.00 c redcost : 0 0 0 0
3587.55/3597.00 c rootredcost : 0 0 0 0
3587.55/3597.00 c symmetry : 0 0 0 0
3587.55/3597.00 c vbounds : 57011 0 0 0
3587.55/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.55/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.55/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.55/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.55/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.55/3597.00 c probing : 1.29 0.00 1.29 0.00 0.00 0.00
3587.55/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.55/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.55/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.55/3597.00 c symmetry : 3.66 0.00 3.63 0.03 0.00 0.00
3587.55/3597.00 c vbounds : 0.95 0.00 0.01 0.94 0.00 0.00
3587.55/3597.00 c Symmetry :
3587.55/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.55/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.55/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.55/3597.00 c shadow tree time : 0.00 s
3587.55/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.55/3597.00 c propagation : 0.46 2467 1919 - 12099 254.6 3 35.0 - - -
3587.55/3597.00 c infeasible LP : 25.26 6722 6546 - 142162 542.5 8 135.4 221 454.2 0
3587.55/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.55/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.55/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.55/3597.00 c applied globally : 2.04 - - 0 48758 441.5 - - 221 - -
3587.55/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.55/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.55/3597.00 c cut pool : 3.38 - 3755 42 - - 17247 1294382 - - - - - (maximal pool size: 6691)
3587.55/3597.00 c aggregation : 0.93 0.00 57 22 0 0 14071 1090479 96 34812 34802 10 0
3587.55/3597.00 c > cmir : - - - - - - - 1081447 0 33936 33936 0 -
3587.55/3597.00 c > flowcover : - - - - - - - 3361 0 385 385 0 -
3587.55/3597.00 c > knapsackcover : - - - - - - - 5671 96 491 481 10 -
3587.55/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c clique : 0.24 0.00 22 22 0 0 54 150 0 89 89 0 0
3587.55/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c gomory : 1.07 0.00 55 20 0 0 3028 200813 0 13661 13661 0 0
3587.55/3597.00 c > gomorymi : - - - - - - - 85129 0 6463 6463 0 -
3587.55/3597.00 c > strongcg : - - - - - - - 115684 0 7198 7198 0 -
3587.55/3597.00 c impliedbounds : 0.07 0.00 57 22 0 0 122 570 0 514 514 0 0
3587.55/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.55/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c multilinear : 0.00 0.00 142 22 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c rapidlearning : 16.28 0.00 59 2 0 1 0 0 0 0 0 0 0
3587.66/3597.01 c rlt : 0.00 0.00 54 20 0 0 0 0 0 0 0 0 0
3587.66/3597.01 c zerohalf : 0.22 0.00 55 22 0 0 156 2370 88 632 587 45 0
3587.66/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.66/3597.01 c hybrid : 2.50 0.00 3705 22 49761 0 1249227 669 0 30527
3587.66/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.66/3597.01 c problem variables: 0.00 - 0 0
3587.66/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.66/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c relpscost : 4.79 0.00 12929 0 0 0 0 0 0 25858
3587.66/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.66/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.66/3597.01 c LP solutions : 0.00 - - 0 0
3587.66/3597.01 c relax solutions : 0.00 - - 0 0
3587.66/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.66/3597.01 c strong branching : 0.00 - - 0 0
3587.66/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.66/3597.01 c adaptivediving : 11.77 0.00 26 0 0
3587.66/3597.01 c alns : 4.64 0.00 4 0 0
3587.66/3597.01 c bound : 0.00 0.00 0 0 0
3587.66/3597.01 c clique : 0.05 0.00 1 0 0
3587.66/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.66/3597.01 c completesol : 0.00 0.00 0 0 0
3587.66/3597.01 c conflictdiving : 79.67 0.00 119 0 0
3587.66/3597.01 c crossover : 0.01 0.00 0 0 0
3587.66/3597.01 c dins : 0.00 0.00 0 0 0
3587.66/3597.01 c distributiondivin: 74.49 0.00 118 0 0
3587.66/3597.01 c dps : 0.00 0.00 0 0 0
3587.66/3597.01 c dualval : 0.00 0.00 0 0 0
3587.66/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.66/3597.01 c feasjump : 0.35 0.00 2 0 0
3587.66/3597.01 c feaspump : 17.78 0.00 59 0 0
3587.66/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.66/3597.01 c fracdiving : 84.16 0.00 119 0 0
3587.66/3597.01 c gins : 0.00 0.00 0 0 0
3587.66/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.66/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.66/3597.01 c indicator : 0.01 0.00 0 0 0
3587.66/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.66/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.66/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.66/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.66/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.66/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.66/3597.01 c linesearchdiving : 88.64 0.00 118 0 0
3587.66/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.66/3597.01 c locks : 0.05 0.00 1 0 0
3587.66/3597.01 c lpface : 0.17 0.00 0 0 0
3587.66/3597.01 c mpec : 0.00 0.00 0 0 0
3587.66/3597.01 c multistart : 0.00 0.00 0 0 0
3587.66/3597.01 c mutation : 0.00 0.00 0 0 0
3587.66/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.66/3597.01 c objpscostdiving : 21.55 0.00 23 0 0
3587.66/3597.01 c octane : 0.00 0.00 0 0 0
3587.66/3597.01 c ofins : 0.01 0.00 0 0 0
3587.66/3597.01 c oneopt : 0.01 0.00 0 0 0
3587.66/3597.01 c padm : 0.00 0.00 0 0 0
3587.66/3597.01 c proximity : 0.00 0.00 0 0 0
3587.66/3597.01 c pscostdiving : 59.67 0.00 119 0 0
3587.66/3597.01 c randrounding : 1.16 0.00 1879 0 0
3587.66/3597.01 c rens : 0.07 0.00 2 0 0
3587.66/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.66/3597.01 c repair : 0.00 0.00 0 0 0
3587.66/3597.01 c rins : 0.01 0.00 0 0 0
3587.66/3597.01 c rootsoldiving : 32.90 0.00 25 0 0
3587.66/3597.01 c rounding : 0.17 0.00 1780 0 0
3587.66/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.66/3597.01 c shiftandpropagate: 0.17 0.00 2 0 0
3587.66/3597.01 c shifting : 2.22 0.00 982 0 0
3587.66/3597.01 c simplerounding : 0.01 0.00 0 0 0
3587.66/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.66/3597.01 c subnlp : 0.01 0.00 0 0 0
3587.66/3597.01 c trivial : 0.01 0.00 4 0 0
3587.66/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.66/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.66/3597.01 c trysol : 0.01 0.00 0 0 0
3587.66/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.66/3597.01 c undercover : 0.00 0.00 0 0 0
3587.66/3597.01 c vbounds : 0.35 0.00 2 0 0
3587.66/3597.01 c veclendiving : 72.38 0.00 118 0 0
3587.66/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.66/3597.01 c zirounding : 0.05 0.00 1000 0 0
3587.66/3597.01 c other solutions : - - - 0 -
3587.66/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.66/3597.01 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
3587.66/3597.01 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
3587.66/3597.01 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
3587.66/3597.01 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
3587.66/3597.01 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
3587.66/3597.01 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
3587.66/3597.01 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
3587.66/3597.01 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
3587.66/3597.01 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
3587.66/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.66/3597.01 c primal LP : 3.10 1940 0 0.00 0.00 3.10 1940
3587.66/3597.01 c dual LP : 2934.43 21479 18268600 851.96 6225.60 0.05 36
3587.66/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.66/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.66/3597.01 c resolve instable : 4.90 29 40834 1408.07 8325.39
3587.66/3597.01 c diving/probing LP: 497.18 8291 3965604 478.30 7976.22
3587.66/3597.01 c strong branching : 3.17 34 14559 428.21 4591.41 - - 15
3587.66/3597.01 c (at root node) : - 34 14559 428.21 -
3587.66/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.66/3597.01 c B&B Tree :
3587.66/3597.01 c number of runs : 2
3587.66/3597.01 c nodes : 9861 (6731 internal, 3130 leaves)
3587.66/3597.01 c feasible leaves : 0
3587.66/3597.01 c infeas. leaves : 3129
3587.66/3597.01 c objective leaves : 0
3587.66/3597.01 c nodes (total) : 18525 (12929 internal, 5596 leaves)
3587.66/3597.01 c nodes left : 1476
3587.66/3597.01 c max depth : 50
3587.66/3597.01 c max depth (total): 60
3587.66/3597.01 c backtracks : 2186 (22.2%)
3587.66/3597.01 c early backtracks : 0 (0.0%)
3587.66/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.66/3597.01 c delayed cutoffs : 2127
3587.66/3597.01 c repropagations : 4976 (18581 domain reductions, 425 cutoffs)
3587.66/3597.01 c avg switch length: 4.06
3587.66/3597.01 c switching time : 8.87
3587.66/3597.01 c Root Node :
3587.66/3597.01 c First LP value : +9.00000000000000e+00
3587.66/3597.01 c First LP Iters : 1350 (16840.48 Iter/sec)
3587.66/3597.01 c First LP Time : 0.08
3587.66/3597.01 c Final Dual Bound : +9.00000000000000e+00
3587.66/3597.01 c Final Root Iters : 96155
3587.66/3597.01 c Root LP Estimate : +9.02859457086897e+00
3587.66/3597.01 c Solution :
3587.66/3597.01 c Solutions found : 0 (0 improvements)
3587.66/3597.01 c Primal Bound : -
3587.66/3597.01 c Dual Bound : +9.00000000000000e+00
3587.66/3597.01 c Gap : infinite
3587.66/3597.01 c Integrals : Total Avg%
3587.66/3597.01 c primal-dual : 359699.45 100.00
3587.66/3597.01 c primal-ref : - - (not evaluated)
3587.66/3597.01 c dual-ref : - - (not evaluated)
3587.66/3597.08 c Time complete: 3587.74.
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 (59999 MiB free)
memory of node 1: 64473 MiB (55676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432784-1721103750/watcher-4432784-1721103750 -o /tmp/evaluation-result-4432784-1721103750/solver-4432784-1721103750 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721096551-826781 --watchdog 3760 pbscip -f HOME/instance-4432784-1721103750.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=831234, runsolver pid=831231
[startup+0.100217 s]*
/proc/loadavg: 4.04 4.11 4.12 5/243 831235
/proc/meminfo: memFree=118345520/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=69432 memory=28912 CPUtime=0.1 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 4316 0 0 0 9 1 0 0 20 0 1 0 162532160 71098368 7228 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 17358 7228 3245 3540 0 5615 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 69432 KiB
Current children cumulated memory: 28912 KiB
[startup+0.212814 s]*
/proc/loadavg: 4.04 4.11 4.12 5/243 831235
/proc/meminfo: memFree=118218148/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=97788 memory=57872 CPUtime=0.21 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 11203 0 0 0 18 3 0 0 20 0 1 0 162532160 100134912 14468 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 24447 14468 3597 3540 0 12704 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 97788 KiB
Current children cumulated memory: 57872 KiB
[startup+0.312907 s]*
/proc/loadavg: 4.04 4.11 4.12 5/243 831235
/proc/meminfo: memFree=118124936/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=102764 memory=61884 CPUtime=0.31 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 12170 0 0 0 28 3 0 0 20 0 1 0 162532160 105230336 15471 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 25691 15471 3629 3540 0 13948 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 102764 KiB
Current children cumulated memory: 61884 KiB
[startup+0.700325 s]
/proc/loadavg: 4.04 4.11 4.12 5/243 831235
/proc/meminfo: memFree=117904632/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=123428 memory=82120 CPUtime=0.68 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 18937 0 0 0 63 5 0 0 20 0 1 0 162532160 126390272 20530 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 30857 20530 3788 3540 0 19114 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123428 KiB
Current children cumulated memory: 82120 KiB
[startup+1.50034 s]
/proc/loadavg: 4.04 4.11 4.12 5/243 831235
/proc/meminfo: memFree=117564736/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=156376 memory=101972 CPUtime=1.48 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 23899 0 0 0 142 6 0 0 20 0 1 0 162532160 160129024 25493 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 39094 25493 3804 3540 0 27351 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 156376 KiB
Current children cumulated memory: 101972 KiB
[startup+3.11161 s]
/proc/loadavg: 4.04 4.11 4.12 6/240 831239
/proc/meminfo: memFree=117312852/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=164532 memory=110684 CPUtime=3.09 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 26104 0 0 0 302 7 0 0 20 0 1 0 162532160 168480768 27671 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 41133 27671 3804 3540 0 29390 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 164532 KiB
Current children cumulated memory: 110684 KiB
[startup+6.30028 s]
/proc/loadavg: 4.04 4.10 4.11 5/243 831283
/proc/meminfo: memFree=117073184/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=241432 memory=186416 CPUtime=6.27 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 44970 0 0 0 617 10 0 0 20 0 1 0 162532160 247226368 46604 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 60391 46604 3868 3540 0 48648 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 241432 KiB
Current children cumulated memory: 186416 KiB
[startup+12.7003 s]
/proc/loadavg: 4.03 4.10 4.11 5/243 831283
/proc/meminfo: memFree=114746992/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=328660 memory=272956 CPUtime=12.65 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 76241 0 0 0 1250 15 0 0 20 0 1 0 162532160 336547840 68239 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 82165 68239 4000 3540 0 70422 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 328660 KiB
Current children cumulated memory: 272956 KiB
[startup+25.5004 s]
/proc/loadavg: 4.19 4.13 4.12 5/243 831332
/proc/meminfo: memFree=110550752/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=340688 memory=284924 CPUtime=25.4 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 92896 0 0 0 2519 21 0 0 20 0 1 0 162532160 348864512 71231 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 85172 71231 4000 3540 0 73429 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 340688 KiB
Current children cumulated memory: 284924 KiB
[startup+51.1124 s]
/proc/loadavg: 4.12 4.12 4.12 5/243 831381
/proc/meminfo: memFree=103034284/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=340688 memory=284924 CPUtime=50.93 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 92915 0 0 0 5071 22 0 0 20 0 1 0 162532160 348864512 71231 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 85172 71231 4000 3540 0 73429 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 340688 KiB
Current children cumulated memory: 284924 KiB
[startup+102.3 s]
/proc/loadavg: 4.37 4.18 4.14 5/246 831491
/proc/meminfo: memFree=124366476/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=350388 memory=296072 CPUtime=101.96 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 95420 0 0 0 10171 25 0 0 20 0 1 0 162532160 358797312 74018 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 87597 74018 4000 3540 0 75854 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 350388 KiB
Current children cumulated memory: 296072 KiB
[startup+162.3 s]
/proc/loadavg: 4.28 4.18 4.14 5/246 831502
/proc/meminfo: memFree=124292128/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=358488 memory=307480 CPUtime=161.78 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 97516 0 0 0 16152 26 0 0 20 0 1 0 162532160 367091712 76870 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 89622 76870 4000 3540 0 77879 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 358488 KiB
Current children cumulated memory: 307480 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.17 4.14 5/245 831896
/proc/meminfo: memFree=124274508/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=365044 memory=314980 CPUtime=221.6 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 99296 0 0 0 22134 26 0 0 20 0 1 0 162532160 373805056 78745 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 91261 78745 4000 3540 0 79518 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 365044 KiB
Current children cumulated memory: 314980 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.17 4.14 5/245 831906
/proc/meminfo: memFree=124205184/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=371688 memory=326388 CPUtime=281.45 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 101025 0 0 0 28118 27 0 0 20 0 1 0 162532160 380608512 81597 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 92922 81597 4000 3540 0 81179 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 371688 KiB
Current children cumulated memory: 326388 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.17 4.14 5/245 831916
/proc/meminfo: memFree=124138904/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=418556 memory=371064 CPUtime=341.29 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 113937 0 0 0 34100 29 0 0 20 0 1 0 162532160 428601344 92766 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 104639 92766 4000 3540 0 92896 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 418556 KiB
Current children cumulated memory: 371064 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/244 832141
/proc/meminfo: memFree=124443520/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=418556 memory=372036 CPUtime=401.13 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 114177 0 0 0 40084 29 0 0 20 0 1 0 162532160 428601344 93009 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 104639 93009 4179 3540 0 92896 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 418556 KiB
Current children cumulated memory: 372036 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 4.18 4.14 5/244 832196
/proc/meminfo: memFree=124349292/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=418556 memory=373868 CPUtime=460.94 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 114990 0 0 0 46065 29 0 0 20 0 1 0 162532160 428601344 93467 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 104639 93467 4179 3540 0 92896 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
/proc/loadavg: 4.36 4.27 4.20 5/244 833399
/proc/meminfo: memFree=123976632/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=500456 memory=455880 CPUtime=3154.02 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 195402 0 0 0 315357 45 0 0 20 0 1 0 162532160 512466944 113970 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 125114 113970 4195 3540 0 113371 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 500456 KiB
Current children cumulated memory: 455880 KiB
[startup+3222.3 s]
/proc/loadavg: 4.87 4.44 4.26 5/242 833410
/proc/meminfo: memFree=123977960/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=494324 memory=449484 CPUtime=3213.88 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 197276 0 0 0 321342 46 0 0 20 0 1 0 162532160 506187776 112371 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 123581 112371 4195 3540 0 111838 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 494324 KiB
Current children cumulated memory: 449484 KiB
[startup+3282.3 s]
/proc/loadavg: 4.43 4.40 4.26 5/242 833420
/proc/meminfo: memFree=123977060/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=494324 memory=449908 CPUtime=3273.73 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 197543 0 0 0 327327 46 0 0 20 0 1 0 162532160 506187776 112477 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 123581 112477 4195 3540 0 111838 0
Current children cumulated CPU time: 3273.73 s
Current children cumulated vsize: 494324 KiB
Current children cumulated memory: 449908 KiB
[startup+3342.3 s]
/proc/loadavg: 4.31 4.37 4.26 5/242 833430
/proc/meminfo: memFree=123976080/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=494460 memory=450100 CPUtime=3333.58 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 197758 0 0 0 333312 46 0 0 20 0 1 0 162532160 506327040 112525 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 123615 112525 4195 3540 0 111872 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 494460 KiB
Current children cumulated memory: 450100 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.30 4.24 5/242 833441
/proc/meminfo: memFree=123973064/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=496548 memory=452128 CPUtime=3393.43 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 198431 0 0 0 339297 46 0 0 20 0 1 0 162532160 508465152 113032 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124137 113032 4195 3540 0 112394 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 496548 KiB
Current children cumulated memory: 452128 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.27 4.24 5/242 833451
/proc/meminfo: memFree=123963500/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=496992 memory=452364 CPUtime=3453.28 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 198714 0 0 0 345282 46 0 0 20 0 1 0 162532160 508919808 113091 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124248 113091 4195 3540 0 112505 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 496992 KiB
Current children cumulated memory: 452364 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.25 4.23 5/245 833467
/proc/meminfo: memFree=123955340/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3513.13 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199077 0 0 0 351267 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.24 4.22 6/245 833479
/proc/meminfo: memFree=123953960/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3572.98 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 357252 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB
[startup+3597.09 s]
# the end of solver process 831234 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.28 s, system=0.472782 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.24 4.22 5/245 833479
/proc/meminfo: memFree=123953260/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3574.69 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 357423 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3574.69 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.23 4.22 5/245 833480
/proc/meminfo: memFree=123952508/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3581.06 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 358060 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3581.06 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.23 4.22 5/245 833480
/proc/meminfo: memFree=123951824/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3584.26 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 358380 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3584.26 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.22 4.22 5/245 833482
/proc/meminfo: memFree=123950940/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3585.85 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 358539 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3585.85 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.22 4.22 5/245 833482
/proc/meminfo: memFree=123950688/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3586.66 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 358620 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3586.66 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.22 4.22 5/245 833482
/proc/meminfo: memFree=123950688/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3587.45 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 358699 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3587.45 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB
[startup+3597 s]*
/proc/loadavg: 4.14 4.22 4.22 5/245 833482
/proc/meminfo: memFree=123950716/131655788 swapFree=131071996/131071996
[pid=831234] ppid=831231 vsize=497756 memory=453372 CPUtime=3587.66 cores=4,6
/proc/831234/stat : 831234 (pbscip) R 831231 831234 826770 0 -1 4194304 199244 0 0 0 358720 46 0 0 20 0 1 0 162532160 509702144 113343 134679101440 4194304 18693293 140728090211168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59023360 140728090215428 140728090215527 140728090215527 140728090222542 0
/proc/831234/statm: 124439 113343 4195 3540 0 112696 0
Current children cumulated CPU time: 3587.66 s
Current children cumulated vsize: 497756 KiB
Current children cumulated memory: 453372 KiB
Child status: 0
Real time (s): 3597.09
CPU time (s): 3587.75
CPU user time (s): 3587.28
CPU system time (s): 0.472782
CPU usage (%): 99.7404
Max. virtual memory (cumulated for all children) (KiB): 502608
Max. memory (cumulated for all children) (KiB): 455956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.28
system time used= 0.472782
maximum resident set size= 456200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199286
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= 51
involuntary context switches= 2598
# summary of solver processes directly reported to runsolver:
# pid: 831234
# total CPU time (s): 3587.75
# total CPU user time (s): 3587.28
# total CPU system time (s): 0.472782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9993 second user time and 33.7069 second system time
The end