0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4450655-1721416764.opb>
0.00/0.02 c original problem has 4128 variables (4128 bin, 0 int, 0 impl, 0 cont) and 8688 constraints
0.00/0.02 c problem read in 0.02
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 572 del vars, 988 del conss, 649 add conss, 504 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 337 clqs
0.00/0.05 c (round 2, fast) 837 del vars, 1508 del conss, 740 add conss, 614 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 430 clqs
0.00/0.05 c (round 3, fast) 839 del vars, 1536 del conss, 769 add conss, 616 chg bounds, 6 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 451 clqs
0.00/0.07 c (0.1s) running MILP presolver
0.00/0.09 c (0.1s) MILP presolver (4 rounds): 61 aggregations, 2 fixings, 0 bound changes
0.00/0.09 c (round 4, medium) 902 del vars, 1536 del conss, 769 add conss, 616 chg bounds, 6 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 326 clqs
0.00/0.09 c (round 5, fast) 902 del vars, 1656 del conss, 825 add conss, 616 chg bounds, 6 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 348 clqs
0.00/0.09 c (round 6, exhaustive) 902 del vars, 2339 del conss, 825 add conss, 616 chg bounds, 6 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 348 clqs
0.09/0.12 c (round 7, exhaustive) 902 del vars, 2339 del conss, 825 add conss, 616 chg bounds, 6 chg sides, 0 chg coeffs, 5830 upgd conss, 0 impls, 348 clqs
0.09/0.12 c (round 8, exhaustive) 902 del vars, 2435 del conss, 857 add conss, 616 chg bounds, 6 chg sides, 0 chg coeffs, 5830 upgd conss, 0 impls, 348 clqs
0.09/0.15 c (round 9, exhaustive) 902 del vars, 2435 del conss, 857 add conss, 616 chg bounds, 60 chg sides, 0 chg coeffs, 5830 upgd conss, 0 impls, 348 clqs
0.09/0.15 c (round 10, exhaustive) 902 del vars, 2435 del conss, 857 add conss, 616 chg bounds, 60 chg sides, 0 chg coeffs, 5884 upgd conss, 0 impls, 348 clqs
0.19/0.26 c (0.3s) probing: 853/3276 (26.0%) - 0 fixings, 0 aggregations, 286 implications, 0 bound changes
0.19/0.26 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.19/0.26 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.19/0.28 c (0.3s) no symmetry present (symcode time: 0.00)
0.19/0.29 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.19/0.29 c 902 deleted vars, 2435 deleted constraints, 857 added constraints, 616 tightened bounds, 0 added holes, 60 changed sides, 33 changed coefficients
0.19/0.29 c 0 implications, 634 cliques
0.19/0.29 c presolved problem has 3276 variables (3276 bin, 0 int, 0 impl, 0 cont) and 7110 constraints
0.19/0.29 c 32 constraints of type <and>
0.19/0.29 c 1290 constraints of type <linear>
0.19/0.29 c 5788 constraints of type <logicor>
0.19/0.29 c transformed objective value is always integral (scale: 1)
0.19/0.29 c Presolving Time: 0.25
0.19/0.29 c - non default parameters ----------------------------------------------------------------------
0.19/0.29 c # SCIP version 10.0.0
0.19/0.29 c
0.19/0.29 c # maximal time in seconds to run
0.19/0.29 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.19/0.29 c limits/time = 3596.99706
0.19/0.29 c
0.19/0.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.29 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.19/0.29 c limits/memory = 27900
0.19/0.29 c
0.19/0.29 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.19/0.29 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.19/0.29 c limits/solutions = 1
0.19/0.29 c
0.19/0.29 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.19/0.29 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.19/0.29 c misc/usesymmetry = 3
0.19/0.29 c
0.19/0.29 c # belongs reading time to solving time?
0.19/0.29 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.19/0.29 c timing/reading = TRUE
0.19/0.29 c
0.19/0.29 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.19/0.29 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.19/0.29 c propagating/symmetry/detectdoublelex = FALSE
0.19/0.29 c
0.19/0.29 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.19/0.29 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.19/0.29 c propagating/symmetry/detectsubgroups = FALSE
0.19/0.29 c
0.19/0.29 c # Type of symmetries that shall be computed?
0.19/0.29 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.19/0.29 c propagating/symmetry/symtype = 1
0.19/0.29 c
0.19/0.29 c # Should components consisting of a single full reflection be handled?
0.19/0.29 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.19/0.29 c propagating/symmetry/usesimplesgncomp = FALSE
0.19/0.29 c
0.19/0.29 c -----------------------------------------------------------------------------------------------
0.19/0.29 c start solving
0.19/0.29 c
0.30/0.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.30/0.37 c 0.4s| 1 | 0 | 860 | - | 52M | 0 |3276 |7121 |7142 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.86 c 0.9s| 1 | 0 | 2910 | - | 57M | 0 |3276 |7121 |7428 | 286 | 1 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
1.68/1.74 c 1.7s| 1 | 0 | 4441 | - | 59M | 0 |3276 |7121 |7735 | 593 | 2 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
4.17/4.21 c 4.2s| 1 | 0 | 8980 | - | 66M | 0 |3276 |7121 |8031 | 889 | 3 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
6.07/6.11 c 6.1s| 1 | 0 | 12061 | - | 67M | 0 |3276 |7120 |8307 |1165 | 4 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
8.06/8.15 c 8.1s| 1 | 0 | 15269 | - | 70M | 0 |3276 |7120 |8585 |1443 | 5 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
10.65/10.78 c 10.8s| 1 | 0 | 19409 | - | 73M | 0 |3276 |7120 |8868 |1726 | 6 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
13.04/13.11 c 13.1s| 1 | 0 | 22569 | - | 74M | 0 |3276 |7120 |9043 |1901 | 7 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
15.54/15.68 c 15.7s| 1 | 0 | 26298 | - | 76M | 0 |3276 |7120 |9170 |2028 | 8 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
18.13/18.29 c 18.3s| 1 | 0 | 29876 | - | 77M | 0 |3276 |7120 |9263 |2121 | 9 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
20.92/21.00 c 21.0s| 1 | 0 | 33674 | - | 78M | 0 |3276 |7121 |9471 |2329 | 10 | 11 | 0 | 0.000000e+00 | -- | Inf | unknown
22.51/22.62 c 22.6s| 1 | 0 | 37086 | - | 78M | 0 |3276 |7122 |8811 |2456 | 11 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
35.16/35.35 c 35.3s| 1 | 2 | 48659 | - | 79M | 0 |3276 |7132 |8811 |2456 | 11 | 22 | 11 | 0.000000e+00 | -- | Inf | unknown
301.74/302.80 c 303s| 100 | 101 |278734 |2440.9 | 81M | 15 |3276 |7172 |7488 |4072 | 1 | 94 | 11 | 0.000000e+00 | -- | Inf | unknown
352.63/353.94 c 354s| 200 | 201 |398414 |1815.7 | 82M | 23 |3276 |7187 |7640 |8081 | 2 | 118 | 11 | 0.000000e+00 | -- | Inf | unknown
389.08/390.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
389.08/390.58 c 391s| 300 | 301 |481860 |1487.5 | 83M | 26 |3276 |7191 |7490 | 11k| 1 | 131 | 11 | 0.000000e+00 | -- | Inf | unknown
427.23/428.81 c 429s| 400 | 401 |554729 |1297.4 | 83M | 26 |3276 |7193 |7639 | 13k| 1 | 140 | 11 | 0.000000e+00 | -- | Inf | unknown
432.42/434.01 c 434s| 500 | 501 |567262 |1062.5 | 84M | 26 |3276 |7191 |7637 | 13k| 1 | 140 | 11 | 0.000000e+00 | -- | Inf | unknown
439.59/441.24 c 441s| 600 | 601 |580019 | 906.4 | 84M | 26 |3276 |7196 |7496 | 13k| 1 | 147 | 11 | 0.000000e+00 | -- | Inf | unknown
441.77/443.41 c 443s| 700 | 701 |584608 | 783.3 | 84M | 26 |3276 |7196 |7489 | 13k| 2 | 147 | 11 | 0.000000e+00 | -- | Inf | unknown
452.33/454.07 c 454s| 800 | 801 |607168 | 713.5 | 85M | 26 |3276 |7198 |7483 | 14k| 1 | 152 | 11 | 0.000000e+00 | -- | Inf | unknown
502.85/504.79 c 505s| 900 | 901 |722928 | 762.9 | 86M | 27 |3276 |7221 |7640 | 18k| 2 | 182 | 11 | 0.000000e+00 | -- | Inf | unknown
514.31/516.21 c 516s| 1000 | 1001 |751652 | 715.3 | 86M | 30 |3276 |7219 |7643 | 19k| 1 | 182 | 11 | 0.000000e+00 | -- | Inf | unknown
528.07/530.08 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
528.07/530.08 c (run 1, node 1049) performing user restart
528.07/530.08 c
528.07/530.08 c (restart) converted 928 cuts from the global cut pool into linear constraints
528.07/530.08 c
528.07/530.09 c presolving:
528.07/530.10 c (round 1, fast) 0 del vars, 2 del conss, 597 add conss, 0 chg bounds, 1 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 653 clqs
528.17/530.11 c (round 2, exhaustive) 0 del vars, 37 del conss, 597 add conss, 0 chg bounds, 1 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 653 clqs
528.17/530.12 c (round 3, exhaustive) 0 del vars, 37 del conss, 597 add conss, 0 chg bounds, 1 chg sides, 1 chg coeffs, 1443 upgd conss, 0 impls, 653 clqs
528.17/530.13 c (round 4, fast) 0 del vars, 552 del conss, 597 add conss, 0 chg bounds, 1 chg sides, 1 chg coeffs, 1443 upgd conss, 0 impls, 653 clqs
528.17/530.14 c (round 5, exhaustive) 0 del vars, 554 del conss, 598 add conss, 0 chg bounds, 49 chg sides, 3 chg coeffs, 1443 upgd conss, 0 impls, 653 clqs
528.17/530.14 c (round 6, exhaustive) 0 del vars, 554 del conss, 598 add conss, 0 chg bounds, 49 chg sides, 3 chg coeffs, 1490 upgd conss, 0 impls, 653 clqs
528.17/530.14 c (round 7, fast) 0 del vars, 601 del conss, 598 add conss, 0 chg bounds, 49 chg sides, 3 chg coeffs, 1490 upgd conss, 0 impls, 653 clqs
528.17/530.17 c presolving (8 rounds: 8 fast, 5 medium, 5 exhaustive):
528.17/530.17 c 0 deleted vars, 602 deleted constraints, 598 added constraints, 0 tightened bounds, 0 added holes, 49 changed sides, 4 changed coefficients
528.17/530.17 c 0 implications, 653 cliques
528.17/530.17 c presolved problem has 3276 variables (3276 bin, 0 int, 0 impl, 0 cont) and 8153 constraints
528.17/530.17 c 68 constraints of type <knapsack>
528.17/530.17 c 121 constraints of type <setppc>
528.17/530.17 c 32 constraints of type <and>
528.17/530.17 c 1291 constraints of type <linear>
528.17/530.17 c 6641 constraints of type <logicor>
528.17/530.17 c transformed objective value is always integral (scale: 1)
528.17/530.17 c Presolving Time: 0.33
528.17/530.17 c
528.66/530.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
528.66/530.60 c 531s| 1 | 0 |783288 | - | 86M | 0 |3276 |8156 |8069 | 0 | 0 | 197 | 11 | 0.000000e+00 | -- | Inf | unknown
530.35/532.30 c 532s| 1 | 0 |785973 | - | 88M | 0 |3276 |8156 |8360 | 291 | 1 | 197 | 11 | 0.000000e+00 | -- | Inf | unknown
532.85/534.81 c 535s| 1 | 0 |790143 | - | 89M | 0 |3276 |8156 |8642 | 573 | 2 | 197 | 11 | 0.000000e+00 | -- | Inf | unknown
535.64/537.62 c 538s| 1 | 0 |794822 | - | 90M | 0 |3276 |8156 |8916 | 847 | 3 | 197 | 11 | 0.000000e+00 | -- | Inf | unknown
538.43/540.41 c 540s| 1 | 0 |799014 | - | 91M | 0 |3276 |8158 |9186 |1117 | 4 | 199 | 11 | 0.000000e+00 | -- | Inf | unknown
540.92/543.00 c 543s| 1 | 0 |802722 | - | 93M | 0 |3276 |8158 |9350 |1281 | 5 | 199 | 11 | 0.000000e+00 | -- | Inf | unknown
544.11/546.17 c 546s| 1 | 0 |807328 | - | 94M | 0 |3276 |8158 |9586 |1517 | 6 | 199 | 11 | 0.000000e+00 | -- | Inf | unknown
547.80/549.86 c 550s| 1 | 0 |812811 | - | 95M | 0 |3276 |8158 |9721 |1652 | 7 | 199 | 11 | 0.000000e+00 | -- | Inf | unknown
550.99/553.03 c 553s| 1 | 0 |817335 | - | 96M | 0 |3276 |8159 |9833 |1764 | 8 | 200 | 11 | 0.000000e+00 | -- | Inf | unknown
553.48/555.58 c 556s| 1 | 0 |820530 | - | 97M | 0 |3276 |8159 |9938 |1869 | 9 | 200 | 11 | 0.000000e+00 | -- | Inf | unknown
556.17/558.23 c 558s| 1 | 0 |823732 | - | 98M | 0 |3276 |8159 | 10k|1937 | 10 | 200 | 11 | 0.000000e+00 | -- | Inf | unknown
558.46/560.53 c 561s| 1 | 0 |828411 | - | 100M | 0 |3276 |8159 | 10k|2133 | 11 | 200 | 11 | 0.000000e+00 | -- | Inf | unknown
570.42/572.50 c 572s| 1 | 2 |828651 | - | 100M | 0 |3276 |8162 | 10k|2133 | 11 | 205 | 30 | 0.000000e+00 | -- | Inf | unknown
635.60/637.99 c 638s| 100 | 101 |945042 | 749.4 | 101M | 23 |3276 |8208 |7670 |6062 | 1 | 254 | 30 | 0.000000e+00 | -- | Inf | unknown
675.06/677.51 c 678s| 200 | 201 | 1031k| 758.4 | 102M | 28 |3276 |8225 |7679 |9974 | 2 | 275 | 30 | 0.000000e+00 | -- | Inf | unknown
705.57/708.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
705.57/708.17 c 708s| 300 | 299 | 1084k| 742.0 | 103M | 32 |3276 |8226 |7525 | 11k| 1 | 290 | 30 | 0.000000e+00 | -- | Inf | unknown
727.19/729.80 c 730s| 400 | 397 | 1127k| 720.3 | 105M | 46 |3276 |8231 |7894 | 13k| 2 | 295 | 30 | 0.000000e+00 | -- | Inf | unknown
737.75/740.47 c 740s| 500 | 495 | 1151k| 688.9 | 106M | 84 |3276 |8233 |8010 | 14k| 1 | 299 | 30 | 0.000000e+00 | -- | Inf | unknown
741.73/744.43 c 744s| 600 | 595 | 1157k| 651.2 | 106M | 140 |3276 |8236 |8064 | 15k| 2 | 302 | 30 | 0.000000e+00 | -- | Inf | unknown
746.12/748.88 c 749s| 700 | 695 | 1171k| 621.5 | 113M | 177 |3276 |8236 |8187 | 15k| 1 | 302 | 30 | 0.000000e+00 | -- | Inf | unknown
755.29/758.09 c 758s| 800 | 795 | 1194k| 600.7 | 113M | 177 |3276 |8238 |8245 | 16k| 1 | 304 | 30 | 0.000000e+00 | -- | Inf | unknown
763.66/766.40 c 766s| 900 | 891 | 1218k| 582.3 | 114M | 177 |3276 |8242 |8198 | 18k| 1 | 308 | 30 | 0.000000e+00 | -- | Inf | unknown
771.43/774.23 c 774s| 1000 | 991 | 1239k| 563.8 | 114M | 177 |3276 |8252 |8195 | 19k| 1 | 318 | 30 | 0.000000e+00 | -- | Inf | unknown
784.19/787.03 c 787s| 1100 | 1091 | 1272k| 552.9 | 115M | 178 |3276 |8264 |8245 | 20k| 1 | 330 | 30 | 0.000000e+00 | -- | Inf | unknown
793.75/796.60 c 797s| 1200 | 1191 | 1298k| 539.8 | 117M | 178 |3276 |8271 |8206 | 22k| 1 | 338 | 30 | 0.000000e+00 | -- | Inf | unknown
802.52/805.43 c 805s| 1300 | 1291 | 1323k| 527.7 | 121M | 178 |3276 |8289 |8064 | 23k| 1 | 361 | 30 | 0.000000e+00 | -- | Inf | unknown
815.59/818.59 c 819s| 1400 | 1391 | 1355k| 519.1 | 124M | 178 |3276 |8284 |8217 | 25k| 1 | 367 | 30 | 0.000000e+00 | -- | Inf | unknown
826.35/829.33 c 829s| 1500 | 1489 | 1382k| 509.5 | 127M | 187 |3276 |8323 |8344 | 26k| 1 | 407 | 30 | 0.000000e+00 | -- | Inf | unknown
834.52/837.56 c 838s| 1600 | 1589 | 1407k| 499.4 | 131M | 187 |3276 |8322 |8403 | 28k| 2 | 413 | 30 | 0.000000e+00 | -- | Inf | unknown
850.07/853.19 c 853s| 1700 | 1685 | 1442k| 494.3 | 132M | 195 |3276 |8334 |8419 | 29k| 1 | 429 | 30 | 0.000000e+00 | -- | Inf | unknown
859.04/862.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
859.04/862.12 c 862s| 1800 | 1781 | 1467k| 485.6 | 132M | 195 |3276 |8334 |8375 | 31k| 1 | 431 | 30 | 0.000000e+00 | -- | Inf | unknown
874.28/877.40 c 877s| 1900 | 1875 | 1503k| 481.4 | 133M | 195 |3276 |8343 | 0 | 32k| 0 | 443 | 30 | 0.000000e+00 | -- | Inf | unknown
882.75/885.90 c 886s| 2000 | 1969 | 1525k| 472.8 | 134M | 195 |3276 |8326 |8307 | 34k| 1 | 443 | 30 | 0.000000e+00 | -- | Inf | unknown
896.91/900.12 c 900s| 2100 | 2065 | 1574k| 473.3 | 134M | 196 |3276 |8320 |8370 | 35k| 1 | 455 | 30 | 0.000000e+00 | -- | Inf | unknown
909.66/912.93 c 913s| 2200 | 2159 | 1605k| 468.2 | 135M | 196 |3276 |8339 |8215 | 36k| 1 | 479 | 30 | 0.000000e+00 | -- | Inf | unknown
918.83/922.15 c 922s| 2300 | 2257 | 1630k| 461.9 | 136M | 197 |3276 |8347 |8338 | 38k| 1 | 491 | 30 | 0.000000e+00 | -- | Inf | unknown
929.99/933.34 c 933s| 2400 | 2355 | 1659k| 456.7 | 136M | 197 |3276 |8349 |8330 | 39k| 1 | 501 | 30 | 0.000000e+00 | -- | Inf | unknown
936.78/940.16 c 940s| 2500 | 2451 | 1679k| 449.4 | 137M | 197 |3276 |8348 |8215 | 40k| 1 | 512 | 30 | 0.000000e+00 | -- | Inf | unknown
947.64/951.07 c 951s| 2600 | 2549 | 1709k| 445.4 | 139M | 197 |3276 |8348 |8342 | 42k| 1 | 530 | 30 | 0.000000e+00 | -- | Inf | unknown
959.70/963.16 c 963s| 2700 | 2647 | 1738k| 441.3 | 141M | 197 |3276 |8371 |8411 | 43k| 1 | 562 | 30 | 0.000000e+00 | -- | Inf | unknown
1050.19/1053.90 c 1054s| 2800 | 2743 | 1797k| 445.1 | 142M | 197 |3276 |8364 |8406 | 45k| 1 | 568 | 30 | 0.000000e+00 | -- | Inf | unknown
1057.66/1061.46 c 1061s| 2900 | 2843 | 1820k| 439.8 | 142M | 197 |3276 |8378 |8395 | 46k| 1 | 588 | 30 | 0.000000e+00 | -- | Inf | unknown
1070.22/1074.02 c 1074s| 3000 | 2939 | 1853k| 437.0 | 143M | 197 |3276 |8397 |8331 | 48k| 1 | 623 | 30 | 0.000000e+00 | -- | Inf | unknown
1081.78/1085.69 c 1086s| 3100 | 3035 | 1885k| 434.1 | 143M | 197 |3276 |8409 |8384 | 49k| 2 | 652 | 30 | 0.000000e+00 | -- | Inf | unknown
1092.04/1095.92 c 1096s| 3200 | 3131 | 1913k| 430.5 | 144M | 197 |3276 |8459 |8305 | 51k| 1 | 725 | 30 | 0.000000e+00 | -- | Inf | unknown
1103.70/1107.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1103.70/1107.67 c 1108s| 3300 | 3225 | 1945k| 428.0 | 145M | 197 |3276 |8468 |8215 | 52k| 1 | 760 | 30 | 0.000000e+00 | -- | Inf | unknown
1113.27/1117.24 c 1117s| 3400 | 3323 | 1970k| 424.0 | 145M | 197 |3276 |8471 |8172 | 54k| 1 | 787 | 30 | 0.000000e+00 | -- | Inf | unknown
1122.14/1126.19 c 1126s| 3500 | 3411 | 1995k| 420.2 | 145M | 197 |3276 |8476 |8363 | 55k| 1 | 803 | 30 | 0.000000e+00 | -- | Inf | unknown
1133.79/1137.89 c 1138s| 3600 | 3505 | 2024k| 417.3 | 145M | 197 |3276 |8470 |8386 | 56k| 1 | 816 | 30 | 0.000000e+00 | -- | Inf | unknown
1145.65/1149.78 c 1150s| 3700 | 3601 | 2054k| 414.9 | 146M | 204 |3276 |8487 | 0 | 58k| 0 | 861 | 30 | 0.000000e+00 | -- | Inf | unknown
1158.02/1162.17 c 1162s| 3800 | 3695 | 2084k| 412.6 | 147M | 209 |3276 |8472 |8207 | 59k| 1 | 894 | 30 | 0.000000e+00 | -- | Inf | unknown
1167.09/1171.28 c 1171s| 3900 | 3793 | 2111k| 409.7 | 148M | 210 |3276 |8484 |8465 | 60k| 2 | 921 | 30 | 0.000000e+00 | -- | Inf | unknown
1179.74/1183.93 c 1184s| 4000 | 3889 | 2143k| 407.9 | 148M | 211 |3276 |8486 |8203 | 62k| 1 | 944 | 30 | 0.000000e+00 | -- | Inf | unknown
1197.28/1201.54 c 1202s| 4100 | 3989 | 2184k| 407.9 | 148M | 211 |3276 |8467 |8318 | 64k| 1 | 953 | 30 | 0.000000e+00 | -- | Inf | unknown
1210.83/1215.18 c 1215s| 4200 | 4087 | 2218k| 406.6 | 150M | 211 |3276 |8455 |8212 | 65k| 1 | 967 | 30 | 0.000000e+00 | -- | Inf | unknown
1220.00/1224.30 c 1224s| 4300 | 4187 | 2243k| 403.7 | 150M | 211 |3276 |8469 |8350 | 66k| 1 | 998 | 30 | 0.000000e+00 | -- | Inf | unknown
1232.45/1236.84 c 1237s| 4400 | 4287 | 2288k| 404.5 | 151M | 211 |3276 |8485 |8345 | 68k| 1 |1026 | 30 | 0.000000e+00 | -- | Inf | unknown
1243.12/1247.56 c 1248s| 4500 | 4385 | 2320k| 402.9 | 151M | 211 |3276 |8504 |8421 | 69k| 1 |1052 | 30 | 0.000000e+00 | -- | Inf | unknown
1255.27/1259.79 c 1260s| 4600 | 4485 | 2351k| 401.4 | 152M | 211 |3276 |8504 |8307 | 70k| 1 |1067 | 30 | 0.000000e+00 | -- | Inf | unknown
1271.63/1276.13 c 1276s| 4700 | 4585 | 2391k| 401.4 | 152M | 211 |3276 |8490 |8225 | 72k| 1 |1079 | 30 | 0.000000e+00 | -- | Inf | unknown
1281.59/1286.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1281.59/1286.11 c 1286s| 4800 | 4681 | 2419k| 399.2 | 152M | 211 |3276 |8533 |8312 | 73k| 1 |1141 | 30 | 0.000000e+00 | -- | Inf | unknown
1291.15/1295.70 c 1296s| 4900 | 4779 | 2442k| 396.4 | 153M | 211 |3276 |8530 |8375 | 74k| 1 |1163 | 30 | 0.000000e+00 | -- | Inf | unknown
1301.02/1305.69 c 1306s| 5000 | 4879 | 2466k| 393.8 | 153M | 211 |3276 |8544 |8340 | 76k| 1 |1211 | 30 | 0.000000e+00 | -- | Inf | unknown
1310.09/1314.76 c 1315s| 5100 | 4973 | 2492k| 391.6 | 155M | 211 |3276 |8533 |8319 | 77k| 1 |1231 | 30 | 0.000000e+00 | -- | Inf | unknown
1322.85/1327.56 c 1328s| 5200 | 5071 | 2521k| 390.0 | 155M | 211 |3276 |8504 |8161 | 79k| 1 |1244 | 30 | 0.000000e+00 | -- | Inf | unknown
1334.32/1339.02 c 1339s| 5300 | 5171 | 2552k| 388.7 | 156M | 211 |3276 |8489 |8407 | 80k| 1 |1264 | 30 | 0.000000e+00 | -- | Inf | unknown
1343.98/1348.79 c 1349s| 5400 | 5267 | 2578k| 386.7 | 157M | 211 |3276 |8498 |8309 | 81k| 1 |1292 | 30 | 0.000000e+00 | -- | Inf | unknown
1353.75/1358.58 c 1359s| 5500 | 5365 | 2606k| 385.1 | 158M | 211 |3276 |8481 |8350 | 83k| 1 |1295 | 30 | 0.000000e+00 | -- | Inf | unknown
1364.71/1369.59 c 1370s| 5600 | 5463 | 2636k| 383.8 | 159M | 211 |3276 |8465 |8056 | 84k| 1 |1313 | 30 | 0.000000e+00 | -- | Inf | unknown
1372.19/1377.04 c 1377s| 5700 | 5549 | 2656k| 381.2 | 159M | 211 |3276 |8466 |8351 | 85k| 1 |1325 | 30 | 0.000000e+00 | -- | Inf | unknown
1383.65/1388.51 c 1389s| 5800 | 5647 | 2684k| 379.7 | 159M | 211 |3276 |8493 |8394 | 87k| 1 |1371 | 30 | 0.000000e+00 | -- | Inf | unknown
1394.91/1399.81 c 1400s| 5900 | 5745 | 2716k| 378.7 | 160M | 211 |3276 |8481 |8216 | 88k| 1 |1383 | 30 | 0.000000e+00 | -- | Inf | unknown
1404.10/1409.05 c 1409s| 6000 | 5841 | 2740k| 376.8 | 160M | 211 |3276 |8476 |8398 | 90k| 1 |1386 | 30 | 0.000000e+00 | -- | Inf | unknown
1413.76/1418.78 c 1419s| 6100 | 5941 | 2768k| 375.4 | 160M | 211 |3276 |8497 |8354 | 91k| 1 |1419 | 30 | 0.000000e+00 | -- | Inf | unknown
1425.53/1430.59 c 1431s| 6200 | 6037 | 2796k| 374.1 | 160M | 211 |3276 |8526 | 0 | 92k| 0 |1461 | 30 | 0.000000e+00 | -- | Inf | unknown
1438.78/1443.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1438.78/1443.82 c 1444s| 6300 | 6133 | 2829k| 373.5 | 160M | 211 |3276 |8518 |8308 | 94k| 1 |1499 | 30 | 0.000000e+00 | -- | Inf | unknown
1449.06/1454.14 c 1454s| 6400 | 6231 | 2856k| 372.2 | 161M | 211 |3276 |8531 |8330 | 96k| 1 |1542 | 30 | 0.000000e+00 | -- | Inf | unknown
1460.92/1466.02 c 1466s| 6500 | 6325 | 2885k| 371.1 | 163M | 211 |3276 |8566 |8308 | 97k| 1 |1599 | 30 | 0.000000e+00 | -- | Inf | unknown
1471.38/1476.50 c 1476s| 6600 | 6421 | 2912k| 369.7 | 163M | 211 |3276 |8559 |8201 | 98k| 1 |1613 | 30 | 0.000000e+00 | -- | Inf | unknown
1481.15/1486.31 c 1486s| 6700 | 6521 | 2937k| 368.2 | 164M | 211 |3276 |8543 |8209 | 99k| 1 |1629 | 30 | 0.000000e+00 | -- | Inf | unknown
1489.12/1494.32 c 1494s| 6800 | 6621 | 2959k| 366.3 | 166M | 211 |3276 |8542 |8365 | 101k| 1 |1651 | 30 | 0.000000e+00 | -- | Inf | unknown
1500.08/1505.35 c 1505s| 6900 | 6719 | 2989k| 365.4 | 168M | 211 |3276 |8534 |8226 | 102k| 1 |1671 | 30 | 0.000000e+00 | -- | Inf | unknown
1508.86/1514.14 c 1514s| 7000 | 6817 | 3014k| 364.0 | 168M | 211 |3276 |8564 |8408 | 104k| 1 |1714 | 30 | 0.000000e+00 | -- | Inf | unknown
1523.11/1528.46 c 1528s| 7100 | 6913 | 3049k| 363.8 | 168M | 211 |3276 |8602 |8215 | 105k| 1 |1763 | 30 | 0.000000e+00 | -- | Inf | unknown
1535.27/1540.61 c 1541s| 7200 | 7011 | 3078k| 363.0 | 168M | 211 |3276 |8580 |8330 | 106k| 1 |1792 | 30 | 0.000000e+00 | -- | Inf | unknown
1546.64/1552.05 c 1552s| 7300 | 7109 | 3116k| 363.2 | 169M | 211 |3276 |8572 |8156 | 108k| 1 |1817 | 30 | 0.000000e+00 | -- | Inf | unknown
1559.49/1564.95 c 1565s| 7400 | 7207 | 3149k| 362.8 | 169M | 211 |3276 |8591 |8443 | 109k| 2 |1844 | 30 | 0.000000e+00 | -- | Inf | unknown
1568.96/1574.46 c 1574s| 7500 | 7297 | 3174k| 361.4 | 169M | 211 |3276 |8599 |8411 | 111k| 1 |1878 | 30 | 0.000000e+00 | -- | Inf | unknown
1580.02/1585.57 c 1586s| 7600 | 7397 | 3203k| 360.7 | 170M | 211 |3276 |8626 |8335 | 112k| 1 |1923 | 30 | 0.000000e+00 | -- | Inf | unknown
1587.50/1593.02 c 1593s| 7700 | 7495 | 3224k| 358.9 | 170M | 217 |3276 |8624 |8221 | 113k| 1 |1931 | 30 | 0.000000e+00 | -- | Inf | unknown
1664.94/1670.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1664.94/1670.75 c 1671s| 7800 | 7595 | 3294k| 362.8 | 172M | 217 |3276 |8600 |8446 | 114k| 1 |1935 | 30 | 0.000000e+00 | -- | Inf | unknown
1674.51/1680.35 c 1680s| 7900 | 7689 | 3320k| 361.6 | 172M | 217 |3276 |8606 |8189 | 116k| 1 |1959 | 30 | 0.000000e+00 | -- | Inf | unknown
1689.26/1695.18 c 1695s| 8000 | 7789 | 3357k| 361.7 | 172M | 217 |3276 |8609 |8387 | 117k| 1 |1977 | 30 | 0.000000e+00 | -- | Inf | unknown
1699.81/1705.73 c 1706s| 8100 | 7889 | 3384k| 360.7 | 173M | 217 |3276 |8663 |8064 | 118k| 1 |2052 | 30 | 0.000000e+00 | -- | Inf | unknown
1711.86/1717.83 c 1718s| 8200 | 7989 | 3416k| 360.3 | 174M | 217 |3276 |8687 |8408 | 120k| 1 |2097 | 30 | 0.000000e+00 | -- | Inf | unknown
1725.91/1731.97 c 1732s| 8300 | 8089 | 3450k| 360.0 | 174M | 217 |3276 |8694 |8338 | 121k| 1 |2132 | 30 | 0.000000e+00 | -- | Inf | unknown
1736.87/1742.93 c 1743s| 8400 | 8189 | 3479k| 359.4 | 174M | 217 |3276 |8705 |8359 | 123k| 1 |2177 | 30 | 0.000000e+00 | -- | Inf | unknown
1749.33/1755.42 c 1755s| 8500 | 8289 | 3511k| 358.9 | 175M | 217 |3276 |8694 |8359 | 124k| 1 |2217 | 30 | 0.000000e+00 | -- | Inf | unknown
1762.09/1768.20 c 1768s| 8600 | 8389 | 3540k| 358.2 | 175M | 217 |3276 |8656 |8423 | 125k| 1 |2230 | 30 | 0.000000e+00 | -- | Inf | unknown
1773.15/1779.35 c 1779s| 8700 | 8487 | 3570k| 357.6 | 175M | 217 |3276 |8639 |8324 | 127k| 1 |2259 | 30 | 0.000000e+00 | -- | Inf | unknown
1781.31/1787.59 c 1788s| 8800 | 8579 | 3594k| 356.4 | 176M | 217 |3276 |8622 |8416 | 129k| 1 |2272 | 30 | 0.000000e+00 | -- | Inf | unknown
1792.17/1798.49 c 1798s| 8900 | 8675 | 3623k| 355.7 | 177M | 217 |3276 |8621 |8397 | 130k| 2 |2296 | 30 | 0.000000e+00 | -- | Inf | unknown
1797.45/1803.74 c 1804s| 9000 | 8773 | 3641k| 354.0 | 179M | 217 |3276 |8604 |8433 | 131k| 1 |2300 | 30 | 0.000000e+00 | -- | Inf | unknown
1812.60/1818.93 c 1819s| 9100 | 8871 | 3679k| 354.3 | 179M | 217 |3276 |8627 | 0 | 133k| 0 |2344 | 30 | 0.000000e+00 | -- | Inf | unknown
1823.55/1829.92 c 1830s| 9200 | 8971 | 3710k| 353.8 | 181M | 217 |3276 |8620 |8389 | 134k| 1 |2364 | 30 | 0.000000e+00 | -- | Inf | unknown
1834.01/1840.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1834.01/1840.41 c 1840s| 9300 | 9069 | 3739k| 353.2 | 181M | 217 |3276 |8612 |8247 | 136k| 1 |2378 | 30 | 0.000000e+00 | -- | Inf | unknown
1845.27/1851.79 c 1852s| 9400 | 9165 | 3769k| 352.6 | 183M | 217 |3276 |8622 |8216 | 138k| 1 |2421 | 30 | 0.000000e+00 | -- | Inf | unknown
1859.22/1865.71 c 1866s| 9500 | 9265 | 3803k| 352.6 | 184M | 217 |3276 |8606 |8195 | 139k| 1 |2429 | 30 | 0.000000e+00 | -- | Inf | unknown
1870.99/1877.56 c 1878s| 9600 | 9365 | 3833k| 352.1 | 186M | 217 |3276 |8602 |8226 | 141k| 1 |2443 | 30 | 0.000000e+00 | -- | Inf | unknown
1886.54/1893.19 c 1893s| 9700 | 9463 | 3871k| 352.4 | 186M | 217 |3276 |8610 |8221 | 143k| 1 |2484 | 30 | 0.000000e+00 | -- | Inf | unknown
1897.70/1904.37 c 1904s| 9800 | 9561 | 3902k| 351.9 | 186M | 217 |3276 |8610 |8466 | 144k| 1 |2506 | 30 | 0.000000e+00 | -- | Inf | unknown
1912.25/1919.00 c 1919s| 9900 | 9661 | 3936k| 351.8 | 187M | 217 |3276 |8607 |8294 | 146k| 1 |2532 | 30 | 0.000000e+00 | -- | Inf | unknown
1922.12/1928.82 c 1929s| 10000 | 9759 | 3960k| 350.8 | 187M | 217 |3276 |8616 |8212 | 147k| 1 |2547 | 30 | 0.000000e+00 | -- | Inf | unknown
1938.47/1945.28 c 1945s| 10100 | 9857 | 4000k| 351.2 | 188M | 217 |3276 |8622 |8341 | 149k| 1 |2574 | 30 | 0.000000e+00 | -- | Inf | unknown
1949.93/1956.73 c 1957s| 10200 | 9957 | 4035k| 351.2 | 188M | 217 |3276 |8607 |8447 | 151k| 1 |2575 | 30 | 0.000000e+00 | -- | Inf | unknown
1966.37/1973.20 c 1973s| 10300 | 10057 | 4074k| 351.6 | 188M | 217 |3276 |8636 |8441 | 152k| 2 |2625 | 30 | 0.000000e+00 | -- | Inf | unknown
1980.63/1987.58 c 1988s| 10400 | 10157 | 4109k| 351.6 | 188M | 217 |3276 |8644 |8448 | 154k| 1 |2655 | 30 | 0.000000e+00 | -- | Inf | unknown
1993.58/2000.59 c 2001s| 10500 | 10257 | 4143k| 351.5 | 190M | 217 |3276 |8693 |8303 | 155k| 1 |2726 | 30 | 0.000000e+00 | -- | Inf | unknown
2008.22/2015.23 c 2015s| 10600 | 10355 | 4193k| 352.7 | 190M | 217 |3276 |8686 |8407 | 157k| 1 |2735 | 30 | 0.000000e+00 | -- | Inf | unknown
2021.97/2029.05 c 2029s| 10700 | 10455 | 4227k| 352.6 | 190M | 217 |3276 |8702 |8393 | 159k| 1 |2784 | 30 | 0.000000e+00 | -- | Inf | unknown
2031.83/2038.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2031.83/2038.93 c 2039s| 10800 | 10553 | 4254k| 351.9 | 191M | 217 |3276 |8714 |8428 | 160k| 1 |2838 | 30 | 0.000000e+00 | -- | Inf | unknown
2046.08/2053.29 c 2053s| 10900 | 10651 | 4291k| 352.1 | 192M | 217 |3276 |8703 |8361 | 162k| 1 |2857 | 30 | 0.000000e+00 | -- | Inf | unknown
2054.85/2062.03 c 2062s| 11000 | 10749 | 4316k| 351.3 | 192M | 217 |3276 |8706 |8460 | 163k| 1 |2888 | 30 | 0.000000e+00 | -- | Inf | unknown
2069.59/2076.89 c 2077s| 11100 | 10847 | 4353k| 351.4 | 192M | 217 |3276 |8687 |8234 | 165k| 1 |2922 | 30 | 0.000000e+00 | -- | Inf | unknown
2080.95/2088.24 c 2088s| 11200 | 10947 | 4385k| 351.2 | 192M | 217 |3276 |8682 |8449 | 167k| 1 |2957 | 30 | 0.000000e+00 | -- | Inf | unknown
2094.99/2102.38 c 2102s| 11300 | 11043 | 4418k| 351.0 | 193M | 217 |3276 |8680 |8199 | 168k| 1 |2982 | 30 | 0.000000e+00 | -- | Inf | unknown
2105.76/2113.16 c 2113s| 11400 | 11141 | 4450k| 350.7 | 193M | 217 |3276 |8682 |8474 | 170k| 1 |3029 | 30 | 0.000000e+00 | -- | Inf | unknown
2123.09/2130.51 c 2131s| 11500 | 11239 | 4491k| 351.2 | 193M | 217 |3276 |8669 |8331 | 171k| 1 |3059 | 30 | 0.000000e+00 | -- | Inf | unknown
2133.05/2140.53 c 2141s| 11600 | 11335 | 4519k| 350.7 | 194M | 224 |3276 |8666 |8536 | 173k| 1 |3070 | 30 | 0.000000e+00 | -- | Inf | unknown
2142.71/2150.29 c 2150s| 11700 | 11435 | 4546k| 350.0 | 194M | 233 |3276 |8717 |8451 | 174k| 1 |3144 | 30 | 0.000000e+00 | -- | Inf | unknown
2154.17/2161.73 c 2162s| 11800 | 11535 | 4576k| 349.6 | 194M | 233 |3276 |8716 |8486 | 176k| 2 |3154 | 30 | 0.000000e+00 | -- | Inf | unknown
2167.12/2174.74 c 2175s| 11900 | 11633 | 4610k| 349.6 | 195M | 233 |3276 |8719 |8395 | 177k| 2 |3197 | 30 | 0.000000e+00 | -- | Inf | unknown
2177.18/2184.86 c 2185s| 12000 | 11733 | 4637k| 348.9 | 195M | 233 |3276 |8680 |8369 | 179k| 1 |3201 | 30 | 0.000000e+00 | -- | Inf | unknown
2188.05/2195.76 c 2196s| 12100 | 11831 | 4666k| 348.5 | 195M | 233 |3276 |8680 |8364 | 180k| 1 |3237 | 30 | 0.000000e+00 | -- | Inf | unknown
2198.51/2206.23 c 2206s| 12200 | 11931 | 4696k| 348.1 | 196M | 233 |3276 |8671 |8368 | 182k| 1 |3254 | 30 | 0.000000e+00 | -- | Inf | unknown
2213.56/2221.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2213.56/2221.39 c 2221s| 12300 | 12027 | 4733k| 348.2 | 197M | 233 |3276 |8655 |8510 | 183k| 2 |3279 | 30 | 0.000000e+00 | -- | Inf | unknown
2226.41/2234.21 c 2234s| 12400 | 12127 | 4766k| 348.1 | 197M | 233 |3276 |8642 |8442 | 185k| 1 |3280 | 30 | 0.000000e+00 | -- | Inf | unknown
2236.47/2244.31 c 2244s| 12500 | 12227 | 4795k| 347.7 | 199M | 233 |3276 |8645 |8449 | 186k| 1 |3311 | 30 | 0.000000e+00 | -- | Inf | unknown
2248.82/2256.71 c 2257s| 12600 | 12327 | 4826k| 347.4 | 200M | 233 |3276 |8715 |8204 | 188k| 1 |3397 | 30 | 0.000000e+00 | -- | Inf | unknown
2256.50/2264.49 c 2264s| 12700 | 12425 | 4850k| 346.6 | 200M | 233 |3276 |8740 |8385 | 189k| 2 |3434 | 30 | 0.000000e+00 | -- | Inf | unknown
2270.54/2278.58 c 2279s| 12800 | 12525 | 4884k| 346.6 | 200M | 233 |3276 |8737 |8388 | 191k| 1 |3461 | 30 | 0.000000e+00 | -- | Inf | unknown
2282.11/2290.17 c 2290s| 12900 | 12623 | 4913k| 346.2 | 200M | 233 |3276 |8731 |8356 | 192k| 1 |3510 | 30 | 0.000000e+00 | -- | Inf | unknown
2296.25/2304.34 c 2304s| 13000 | 12723 | 4954k| 346.7 | 201M | 233 |3276 |8729 |8351 | 194k| 1 |3538 | 30 | 0.000000e+00 | -- | Inf | unknown
2308.70/2316.87 c 2317s| 13100 | 12823 | 4988k| 346.6 | 202M | 233 |3276 |8737 |8435 | 195k| 1 |3581 | 30 | 0.000000e+00 | -- | Inf | unknown
2322.05/2330.24 c 2330s| 13200 | 12917 | 5020k| 346.4 | 204M | 233 |3276 |8763 |8474 | 196k| 1 |3635 | 30 | 0.000000e+00 | -- | Inf | unknown
2334.70/2342.95 c 2343s| 13300 | 13011 | 5052k| 346.2 | 204M | 233 |3276 |8766 |8535 | 198k| 1 |3677 | 30 | 0.000000e+00 | -- | Inf | unknown
2344.36/2352.63 c 2353s| 13400 | 13109 | 5080k| 345.7 | 205M | 233 |3276 |8764 |8450 | 199k| 1 |3708 | 30 | 0.000000e+00 | -- | Inf | unknown
2353.42/2361.73 c 2362s| 13500 | 13209 | 5105k| 345.1 | 205M | 233 |3276 |8740 |8156 | 201k| 1 |3724 | 30 | 0.000000e+00 | -- | Inf | unknown
2365.68/2374.01 c 2374s| 13600 | 13309 | 5134k| 344.8 | 206M | 233 |3276 |8721 |8245 | 202k| 1 |3746 | 30 | 0.000000e+00 | -- | Inf | unknown
2375.74/2384.14 c 2384s| 13700 | 13409 | 5163k| 344.4 | 206M | 233 |3276 |8704 |8248 | 203k| 1 |3756 | 30 | 0.000000e+00 | -- | Inf | unknown
2385.50/2393.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2385.50/2393.96 c 2394s| 13800 | 13509 | 5191k| 343.9 | 206M | 233 |3276 |8678 |8436 | 205k| 1 |3756 | 30 | 0.000000e+00 | -- | Inf | unknown
2468.30/2477.10 c 2477s| 13900 | 13609 | 5249k| 345.5 | 206M | 233 |3276 |8672 |8387 | 206k| 1 |3771 | 30 | 0.000000e+00 | -- | Inf | unknown
2484.13/2492.92 c 2493s| 14000 | 13709 | 5298k| 346.5 | 206M | 233 |3276 |8682 |8455 | 208k| 1 |3798 | 30 | 0.000000e+00 | -- | Inf | unknown
2494.79/2503.61 c 2504s| 14100 | 13807 | 5326k| 346.1 | 206M | 233 |3276 |8673 |8442 | 209k| 1 |3818 | 30 | 0.000000e+00 | -- | Inf | unknown
2508.04/2516.96 c 2517s| 14200 | 13905 | 5361k| 346.0 | 206M | 233 |3276 |8650 |8195 | 210k| 1 |3835 | 30 | 0.000000e+00 | -- | Inf | unknown
2518.89/2527.81 c 2528s| 14300 | 14005 | 5388k| 345.6 | 207M | 233 |3276 |8683 |8199 | 211k| 1 |3878 | 30 | 0.000000e+00 | -- | Inf | unknown
2533.04/2542.09 c 2542s| 14400 | 14101 | 5424k| 345.6 | 207M | 233 |3276 |8695 |8245 | 213k| 1 |3916 | 30 | 0.000000e+00 | -- | Inf | unknown
2540.01/2549.08 c 2549s| 14500 | 14201 | 5445k| 344.8 | 208M | 233 |3276 |8689 |8319 | 214k| 1 |3936 | 30 | 0.000000e+00 | -- | Inf | unknown
2550.09/2559.12 c 2559s| 14600 | 14299 | 5472k| 344.3 | 208M | 233 |3276 |8673 |8353 | 216k| 1 |3950 | 30 | 0.000000e+00 | -- | Inf | unknown
2561.34/2570.48 c 2570s| 14700 | 14395 | 5502k| 344.0 | 208M | 233 |3276 |8686 |8479 | 217k| 2 |3989 | 30 | 0.000000e+00 | -- | Inf | unknown
2571.11/2580.27 c 2580s| 14800 | 14492 | 5527k| 343.4 | 209M | 233 |3276 |8715 |8449 | 218k| 1 |4048 | 30 | 0.000000e+00 | -- | Inf | unknown
2584.46/2593.67 c 2594s| 14900 | 14592 | 5559k| 343.3 | 209M | 233 |3276 |8747 |8359 | 219k| 1 |4097 | 30 | 0.000000e+00 | -- | Inf | unknown
2596.62/2605.82 c 2606s| 15000 | 14690 | 5588k| 343.0 | 210M | 233 |3276 |8750 |8204 | 221k| 1 |4129 | 30 | 0.000000e+00 | -- | Inf | unknown
2606.59/2615.81 c 2616s| 15100 | 14788 | 5614k| 342.4 | 212M | 233 |3276 |8754 |8211 | 222k| 1 |4158 | 30 | 0.000000e+00 | -- | Inf | unknown
2616.46/2625.76 c 2626s| 15200 | 14886 | 5642k| 342.0 | 212M | 233 |3276 |8738 |8372 | 223k| 1 |4179 | 30 | 0.000000e+00 | -- | Inf | unknown
2632.30/2641.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2632.30/2641.60 c 2642s| 15300 | 14984 | 5681k| 342.4 | 215M | 233 |3276 |8744 |8469 | 225k| 1 |4215 | 30 | 0.000000e+00 | -- | Inf | unknown
2644.56/2653.96 c 2654s| 15400 | 15084 | 5718k| 342.5 | 215M | 233 |3276 |8737 |8459 | 227k| 1 |4235 | 30 | 0.000000e+00 | -- | Inf | unknown
2658.11/2667.51 c 2668s| 15500 | 15180 | 5756k| 342.8 | 215M | 233 |3276 |8725 |8481 | 228k| 1 |4243 | 30 | 0.000000e+00 | -- | Inf | unknown
2674.45/2683.97 c 2684s| 15600 | 15280 | 5802k| 343.4 | 215M | 233 |3276 |8747 |8490 | 230k| 1 |4283 | 30 | 0.000000e+00 | -- | Inf | unknown
2688.69/2698.25 c 2698s| 15700 | 15378 | 5841k| 343.7 | 215M | 233 |3276 |8765 |8247 | 231k| 1 |4317 | 30 | 0.000000e+00 | -- | Inf | unknown
2700.74/2710.33 c 2710s| 15800 | 15476 | 5876k| 343.8 | 216M | 233 |3276 |8755 |8346 | 233k| 1 |4335 | 30 | 0.000000e+00 | -- | Inf | unknown
2716.88/2726.55 c 2727s| 15900 | 15576 | 5917k| 344.2 | 218M | 233 |3276 |8737 |8221 | 234k| 1 |4366 | 30 | 0.000000e+00 | -- | Inf | unknown
2730.83/2740.52 c 2741s| 16000 | 15670 | 5959k| 344.6 | 219M | 233 |3276 |8723 |8349 | 236k| 1 |4381 | 30 | 0.000000e+00 | -- | Inf | unknown
2746.17/2755.97 c 2756s| 16100 | 15768 | 6009k| 345.5 | 219M | 233 |3276 |8716 |8454 | 237k| 1 |4385 | 30 | 0.000000e+00 | -- | Inf | unknown
2762.01/2771.82 c 2772s| 16200 | 15866 | 6052k| 346.0 | 220M | 233 |3276 |8709 |8525 | 239k| 2 |4389 | 30 | 0.000000e+00 | -- | Inf | unknown
2776.75/2786.62 c 2787s| 16300 | 15964 | 6094k| 346.4 | 220M | 233 |3276 |8714 |8369 | 240k| 1 |4407 | 30 | 0.000000e+00 | -- | Inf | unknown
2795.18/2805.13 c 2805s| 16400 | 16060 | 6140k| 347.1 | 221M | 233 |3276 |8710 |8468 | 242k| 1 |4417 | 30 | 0.000000e+00 | -- | Inf | unknown
2810.82/2820.86 c 2821s| 16500 | 16156 | 6185k| 347.7 | 222M | 233 |3276 |8706 |8372 | 243k| 1 |4427 | 30 | 0.000000e+00 | -- | Inf | unknown
2826.96/2837.01 c 2837s| 16600 | 16256 | 6233k| 348.4 | 222M | 233 |3276 |8719 |8519 | 245k| 1 |4452 | 30 | 0.000000e+00 | -- | Inf | unknown
2839.02/2849.14 c 2849s| 16700 | 16356 | 6268k| 348.4 | 222M | 233 |3276 |8720 |8360 | 247k| 1 |4460 | 30 | 0.000000e+00 | -- | Inf | unknown
2852.96/2863.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2852.96/2863.11 c 2863s| 16800 | 16454 | 6308k| 348.7 | 223M | 233 |3276 |8738 |8212 | 248k| 1 |4494 | 30 | 0.000000e+00 | -- | Inf | unknown
2870.59/2880.87 c 2881s| 16900 | 16554 | 6369k| 350.1 | 223M | 233 |3276 |8765 |8313 | 250k| 1 |4536 | 30 | 0.000000e+00 | -- | Inf | unknown
2884.44/2894.73 c 2895s| 17000 | 16654 | 6411k| 350.6 | 223M | 233 |3276 |8766 |8359 | 251k| 1 |4552 | 30 | 0.000000e+00 | -- | Inf | unknown
2903.06/2913.49 c 2913s| 17100 | 16752 | 6463k| 351.5 | 223M | 233 |3276 |8737 |8452 | 253k| 1 |4557 | 30 | 0.000000e+00 | -- | Inf | unknown
2915.62/2926.08 c 2926s| 17200 | 16850 | 6501k| 351.6 | 224M | 233 |3276 |8733 |8436 | 254k| 1 |4582 | 30 | 0.000000e+00 | -- | Inf | unknown
2929.36/2939.88 c 2940s| 17300 | 16950 | 6541k| 351.9 | 226M | 233 |3276 |8799 |8440 | 256k| 1 |4663 | 30 | 0.000000e+00 | -- | Inf | unknown
2941.81/2952.38 c 2952s| 17400 | 17046 | 6577k| 352.0 | 227M | 233 |3276 |8804 |8457 | 258k| 1 |4695 | 30 | 0.000000e+00 | -- | Inf | unknown
2958.34/2968.98 c 2969s| 17500 | 17140 | 6620k| 352.4 | 227M | 233 |3276 |8787 | 0 | 259k| 0 |4720 | 30 | 0.000000e+00 | -- | Inf | unknown
2976.87/2987.55 c 2988s| 17600 | 17240 | 6674k| 353.4 | 229M | 233 |3276 |8811 |8249 | 261k| 1 |4776 | 30 | 0.000000e+00 | -- | Inf | unknown
2992.42/3003.17 c 3003s| 17700 | 17340 | 6721k| 354.0 | 229M | 233 |3276 |8827 |8411 | 263k| 1 |4811 | 30 | 0.000000e+00 | -- | Inf | unknown
3006.36/3017.19 c 3017s| 17800 | 17438 | 6763k| 354.4 | 229M | 233 |3276 |8818 |8449 | 264k| 1 |4830 | 30 | 0.000000e+00 | -- | Inf | unknown
3019.01/3029.88 c 3030s| 17900 | 17536 | 6803k| 354.6 | 229M | 233 |3276 |8867 |8404 | 265k| 1 |4897 | 30 | 0.000000e+00 | -- | Inf | unknown
3033.86/3044.77 c 3045s| 18000 | 17636 | 6847k| 355.0 | 229M | 233 |3276 |8900 |8373 | 267k| 1 |4958 | 30 | 0.000000e+00 | -- | Inf | unknown
3054.78/3065.70 c 3066s| 18100 | 17734 | 6903k| 356.1 | 229M | 233 |3276 |8888 |8479 | 269k| 1 |4987 | 30 | 0.000000e+00 | -- | Inf | unknown
3069.32/3080.31 c 3080s| 18200 | 17834 | 6942k| 356.3 | 229M | 233 |3276 |8879 |8535 | 270k| 2 |5011 | 30 | 0.000000e+00 | -- | Inf | unknown
3090.24/3101.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3090.24/3101.32 c 3101s| 18300 | 17934 | 7004k| 357.6 | 230M | 233 |3276 |8925 |8244 | 272k| 1 |5102 | 30 | 0.000000e+00 | -- | Inf | unknown
3106.58/3117.79 c 3118s| 18400 | 18030 | 7052k| 358.3 | 231M | 233 |3276 |8947 |8195 | 273k| 1 |5155 | 30 | 0.000000e+00 | -- | Inf | unknown
3119.03/3130.29 c 3130s| 18500 | 18120 | 7086k| 358.2 | 231M | 233 |3276 |8979 |8218 | 274k| 1 |5226 | 30 | 0.000000e+00 | -- | Inf | unknown
3134.77/3146.04 c 3146s| 18600 | 18220 | 7135k| 358.8 | 232M | 233 |3276 |8963 |8156 | 276k| 1 |5259 | 30 | 0.000000e+00 | -- | Inf | unknown
3151.60/3162.99 c 3163s| 18700 | 18318 | 7183k| 359.5 | 232M | 233 |3276 |8953 |8366 | 278k| 1 |5294 | 30 | 0.000000e+00 | -- | Inf | unknown
3166.05/3177.41 c 3177s| 18800 | 18416 | 7225k| 359.8 | 232M | 233 |3276 |8918 |8444 | 279k| 2 |5317 | 30 | 0.000000e+00 | -- | Inf | unknown
3183.97/3195.49 c 3195s| 18900 | 18514 | 7276k| 360.5 | 232M | 233 |3276 |8904 |8419 | 280k| 1 |5340 | 30 | 0.000000e+00 | -- | Inf | unknown
3200.71/3212.22 c 3212s| 19000 | 18614 | 7325k| 361.2 | 232M | 233 |3276 |8896 |8431 | 282k| 1 |5362 | 30 | 0.000000e+00 | -- | Inf | unknown
3217.84/3229.49 c 3229s| 19100 | 18714 | 7370k| 361.6 | 232M | 233 |3276 |8897 |8477 | 284k| 1 |5397 | 30 | 0.000000e+00 | -- | Inf | unknown
3233.40/3245.10 c 3245s| 19200 | 18812 | 7416k| 362.1 | 234M | 233 |3276 |8914 |8569 | 285k| 2 |5427 | 30 | 0.000000e+00 | -- | Inf | unknown
3249.54/3261.20 c 3261s| 19300 | 18912 | 7463k| 362.7 | 234M | 233 |3276 |8909 |8215 | 287k| 1 |5457 | 30 | 0.000000e+00 | -- | Inf | unknown
3263.30/3275.10 c 3275s| 19400 | 19012 | 7501k| 362.7 | 234M | 233 |3276 |8910 |8239 | 288k| 1 |5483 | 30 | 0.000000e+00 | -- | Inf | unknown
3387.20/3399.33 c 3399s| 19500 | 19112 | 7657k| 368.6 | 234M | 233 |3276 |8873 |8235 | 290k| 1 |5484 | 30 | 0.000000e+00 | -- | Inf | unknown
3403.34/3415.53 c 3416s| 19600 | 19208 | 7702k| 369.0 | 235M | 233 |3276 |8865 |8466 | 292k| 1 |5498 | 30 | 0.000000e+00 | -- | Inf | unknown
3420.19/3432.43 c 3432s| 19700 | 19302 | 7767k| 370.3 | 235M | 233 |3276 |8863 |8356 | 293k| 1 |5511 | 30 | 0.000000e+00 | -- | Inf | unknown
3442.51/3454.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3442.51/3454.89 c 3455s| 19800 | 19402 | 7829k| 371.5 | 235M | 233 |3276 |8844 |8367 | 295k| 1 |5537 | 30 | 0.000000e+00 | -- | Inf | unknown
3461.15/3473.56 c 3474s| 19900 | 19500 | 7883k| 372.3 | 237M | 233 |3276 |8853 |8370 | 297k| 1 |5579 | 30 | 0.000000e+00 | -- | Inf | unknown
3477.49/3489.99 c 3490s| 20000 | 19598 | 7929k| 372.7 | 237M | 233 |3276 |8888 |8452 | 299k| 1 |5625 | 30 | 0.000000e+00 | -- | Inf | unknown
3492.24/3504.74 c 3505s| 20100 | 19698 | 7972k| 373.0 | 237M | 233 |3276 |8883 |8477 | 300k| 1 |5635 | 30 | 0.000000e+00 | -- | Inf | unknown
3507.50/3520.08 c 3520s| 20200 | 19798 | 8018k| 373.4 | 239M | 236 |3276 |8874 |8586 | 302k| 1 |5635 | 30 | 0.000000e+00 | -- | Inf | unknown
3508.79/3521.36 c 3521s| 20300 | 19882 | 8022k| 371.8 | 239M | 325 |3276 |8878 |8637 | 302k| 1 |5639 | 30 | 0.000000e+00 | -- | Inf | unknown
3509.49/3522.00 c 3522s| 20400 | 19907 | 8025k| 370.2 | 248M | 362 |3276 |8913 | 0 | 302k| 0 |5699 | 30 | 0.000000e+00 | -- | Inf | unknown
3519.15/3531.79 c 3532s| 20500 | 19942 | 8044k| 369.4 | 254M | 362 |3276 |8988 |8643 | 302k| 1 |5822 | 30 | 0.000000e+00 | -- | Inf | unknown
3521.75/3534.38 c 3534s| 20600 | 19979 | 8052k| 368.0 | 257M | 362 |3276 |8985 |7947 | 303k| 1 |5852 | 30 | 0.000000e+00 | -- | Inf | unknown
3525.13/3537.78 c 3538s| 20700 | 19992 | 8059k| 366.7 | 257M | 363 |3276 |8991 |8647 | 303k| 1 |5878 | 30 | 0.000000e+00 | -- | Inf | unknown
3530.31/3542.90 c 3543s| 20800 | 20031 | 8070k| 365.5 | 258M | 363 |3276 |8987 |8649 | 303k| 1 |5924 | 30 | 0.000000e+00 | -- | Inf | unknown
3530.81/3543.40 c 3543s| 20900 | 20027 | 8072k| 363.9 | 259M | 363 |3276 |9026 |8649 | 303k| 1 |6024 | 30 | 0.000000e+00 | -- | Inf | unknown
3531.31/3543.94 c 3544s| 21000 | 20016 | 8074k| 362.4 | 261M | 363 |3276 |8986 | 0 | 303k| 0 |6074 | 30 | 0.000000e+00 | -- | Inf | unknown
3538.79/3551.42 c 3551s| 21100 | 20100 | 8090k| 361.5 | 262M | 363 |3276 |8969 |8129 | 303k| 1 |6094 | 30 | 0.000000e+00 | -- | Inf | unknown
3548.55/3561.29 c 3561s| 21200 | 20171 | 8115k| 361.0 | 265M | 363 |3276 |8968 |8296 | 303k| 1 |6144 | 30 | 0.000000e+00 | -- | Inf | unknown
3550.05/3562.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3550.05/3562.70 c 3563s| 21300 | 20205 | 8121k| 359.6 | 266M | 363 |3276 |8997 |8646 | 303k| 2 |6194 | 30 | 0.000000e+00 | -- | Inf | unknown
3550.64/3563.36 c 3563s| 21400 | 20190 | 8124k| 358.1 | 266M | 363 |3276 |9009 | 0 | 303k| 0 |6273 | 30 | 0.000000e+00 | -- | Inf | unknown
3551.74/3564.41 c 3564s| 21500 | 20212 | 8128k| 356.7 | 267M | 363 |3276 |9044 |8645 | 303k| 1 |6346 | 30 | 0.000000e+00 | -- | Inf | unknown
3552.54/3565.25 c 3565s| 21600 | 20227 | 8131k| 355.3 | 268M | 363 |3276 |9073 |8643 | 303k| 1 |6408 | 30 | 0.000000e+00 | -- | Inf | unknown
3553.14/3565.80 c 3566s| 21700 | 20222 | 8134k| 353.9 | 268M | 363 |3276 |9082 |8643 | 303k| 1 |6429 | 30 | 0.000000e+00 | -- | Inf | unknown
3553.74/3566.48 c 3566s| 21800 | 20240 | 8137k| 352.4 | 268M | 363 |3276 |9095 |8646 | 304k| 1 |6495 | 30 | 0.000000e+00 | -- | Inf | unknown
3554.35/3567.02 c 3567s| 21900 | 20237 | 8139k| 351.0 | 270M | 364 |3276 |9115 |8646 | 304k| 1 |6544 | 30 | 0.000000e+00 | -- | Inf | unknown
3555.14/3567.80 c 3568s| 22000 | 20241 | 8142k| 349.6 | 271M | 364 |3276 |9175 | 0 | 304k| 0 |6691 | 30 | 0.000000e+00 | -- | Inf | unknown
3555.54/3568.26 c 3568s| 22100 | 20247 | 8144k| 348.2 | 271M | 364 |3276 |9104 |8648 | 304k| 1 |6691 | 30 | 0.000000e+00 | -- | Inf | unknown
3556.23/3568.97 c 3569s| 22200 | 20236 | 8147k| 346.8 | 275M | 364 |3276 |9132 |8647 | 304k| 1 |6741 | 30 | 0.000000e+00 | -- | Inf | unknown
3557.23/3569.90 c 3570s| 22300 | 20235 | 8151k| 345.5 | 277M | 364 |3276 |9161 | 0 | 304k| 0 |6825 | 30 | 0.000000e+00 | -- | Inf | unknown
3558.03/3570.71 c 3571s| 22400 | 20247 | 8154k| 344.2 | 278M | 364 |3276 |9196 | 0 | 304k| 0 |6914 | 30 | 0.000000e+00 | -- | Inf | unknown
3558.62/3571.32 c 3571s| 22500 | 20241 | 8156k| 342.8 | 279M | 364 |3276 |9215 | 0 | 304k| 0 |6978 | 30 | 0.000000e+00 | -- | Inf | unknown
3559.22/3571.98 c 3572s| 22600 | 20243 | 8159k| 341.5 | 279M | 364 |3276 |9182 | 0 | 304k| 0 |6998 | 30 | 0.000000e+00 | -- | Inf | unknown
3559.72/3572.41 c 3572s| 22700 | 20248 | 8161k| 340.1 | 280M | 364 |3276 |9174 |8646 | 304k| 1 |7045 | 30 | 0.000000e+00 | -- | Inf | unknown
3560.52/3573.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3560.52/3573.22 c 3573s| 22800 | 20246 | 8165k| 338.8 | 281M | 364 |3276 |9235 |8647 | 304k| 2 |7125 | 30 | 0.000000e+00 | -- | Inf | unknown
3561.21/3573.97 c 3574s| 22900 | 20240 | 8168k| 337.5 | 282M | 364 |3276 |9308 |8647 | 304k| 2 |7238 | 30 | 0.000000e+00 | -- | Inf | unknown
3561.91/3574.68 c 3575s| 23000 | 20273 | 8170k| 336.3 | 283M | 364 |3276 |9275 |8646 | 304k| 1 |7318 | 30 | 0.000000e+00 | -- | Inf | unknown
3562.71/3575.49 c 3575s| 23100 | 20287 | 8174k| 335.0 | 284M | 364 |3276 |9301 |8647 | 304k| 1 |7385 | 30 | 0.000000e+00 | -- | Inf | unknown
3563.41/3576.17 c 3576s| 23200 | 20280 | 8176k| 333.7 | 285M | 364 |3276 |9344 | 0 | 304k| 0 |7525 | 30 | 0.000000e+00 | -- | Inf | unknown
3564.01/3576.74 c 3577s| 23300 | 20273 | 8178k| 332.4 | 285M | 364 |3276 |9387 |8648 | 304k| 2 |7626 | 30 | 0.000000e+00 | -- | Inf | unknown
3564.60/3577.30 c 3577s| 23400 | 20265 | 8181k| 331.2 | 285M | 364 |3276 |9405 | 0 | 304k| 0 |7688 | 30 | 0.000000e+00 | -- | Inf | unknown
3565.20/3577.99 c 3578s| 23500 | 20278 | 8183k| 329.9 | 286M | 364 |3276 |9412 | 0 | 304k| 0 |7778 | 30 | 0.000000e+00 | -- | Inf | unknown
3566.10/3578.83 c 3579s| 23600 | 20296 | 8186k| 328.7 | 287M | 364 |3276 |9340 | 0 | 304k| 0 |7918 | 30 | 0.000000e+00 | -- | Inf | unknown
3566.80/3579.52 c 3580s| 23700 | 20302 | 8189k| 327.5 | 287M | 364 |3276 |9333 |8647 | 304k| 2 |8001 | 30 | 0.000000e+00 | -- | Inf | unknown
3567.49/3580.24 c 3580s| 23800 | 20300 | 8192k| 326.3 | 288M | 364 |3276 |9404 | 0 | 304k| 0 |8206 | 30 | 0.000000e+00 | -- | Inf | unknown
3568.40/3581.11 c 3581s| 23900 | 20296 | 8196k| 325.1 | 288M | 364 |3276 |9422 |8646 | 304k| 1 |8325 | 30 | 0.000000e+00 | -- | Inf | unknown
3569.29/3582.01 c 3582s| 24000 | 20293 | 8200k| 324.0 | 290M | 364 |3276 |9421 | 0 | 304k| 0 |8439 | 30 | 0.000000e+00 | -- | Inf | unknown
3569.88/3582.63 c 3583s| 24100 | 20292 | 8202k| 322.8 | 290M | 364 |3276 |9543 |8644 | 304k| 1 |8639 | 30 | 0.000000e+00 | -- | Inf | unknown
3572.28/3585.08 c 3585s| 24200 | 20297 | 8206k| 321.7 | 291M | 364 |3276 |9504 | 0 | 304k| 0 |8785 | 30 | 0.000000e+00 | -- | Inf | unknown
3572.97/3585.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3572.97/3585.78 c 3586s| 24300 | 20293 | 8208k| 320.5 | 291M | 364 |3276 |9596 | 0 | 304k| 0 |8919 | 30 | 0.000000e+00 | -- | Inf | unknown
3573.77/3586.55 c 3587s| 24400 | 20290 | 8211k| 319.4 | 292M | 364 |3276 |9596 |8643 | 304k| 1 |9091 | 30 | 0.000000e+00 | -- | Inf | unknown
3574.37/3587.13 c 3587s| 24500 | 20310 | 8214k| 318.2 | 292M | 364 |3276 |9507 | 0 | 304k| 0 |9200 | 30 | 0.000000e+00 | -- | Inf | unknown
3575.06/3587.83 c 3588s| 24600 | 20309 | 8216k| 317.1 | 292M | 364 |3276 |9524 | 0 | 304k| 0 |9302 | 30 | 0.000000e+00 | -- | Inf | unknown
3575.86/3588.69 c 3589s| 24700 | 20309 | 8220k| 316.0 | 293M | 364 |3276 |9619 |8643 | 304k| 1 |9483 | 30 | 0.000000e+00 | -- | Inf | unknown
3576.66/3589.44 c 3589s| 24800 | 20306 | 8223k| 314.9 | 294M | 364 |3276 |9705 | 0 | 304k| 0 |9633 | 30 | 0.000000e+00 | -- | Inf | unknown
3577.36/3590.10 c 3590s| 24900 | 20306 | 8226k| 313.8 | 294M | 364 |3276 |9709 | 0 | 304k| 0 |9693 | 30 | 0.000000e+00 | -- | Inf | unknown
3577.85/3590.64 c 3591s| 25000 | 20305 | 8228k| 312.6 | 294M | 364 |3276 |9722 |8643 | 304k| 1 |9813 | 30 | 0.000000e+00 | -- | Inf | unknown
3578.65/3591.43 c 3591s| 25100 | 20304 | 8231k| 311.6 | 294M | 364 |3276 |9797 |8643 | 304k| 1 | 10k| 30 | 0.000000e+00 | -- | Inf | unknown
3579.35/3592.16 c 3592s| 25200 | 20304 | 8233k| 310.5 | 294M | 364 |3276 |9853 | 0 | 304k| 0 | 10k| 30 | 0.000000e+00 | -- | Inf | unknown
3580.14/3592.92 c 3593s| 25300 | 20296 | 8236k| 309.4 | 296M | 364 |3276 |9699 |8644 | 304k| 1 | 10k| 30 | 0.000000e+00 | -- | Inf | unknown
3580.84/3593.64 c 3594s| 25400 | 20294 | 8239k| 308.3 | 296M | 364 |3276 |9761 | 0 | 304k| 0 | 10k| 30 | 0.000000e+00 | -- | Inf | unknown
3581.74/3594.52 c 3595s| 25500 | 20292 | 8242k| 307.3 | 297M | 364 |3276 |9862 |8644 | 304k| 1 | 10k| 30 | 0.000000e+00 | -- | Inf | unknown
3582.63/3595.43 c 3595s| 25600 | 20296 | 8246k| 306.3 | 297M | 364 |3276 |9895 |8644 | 304k| 1 | 10k| 30 | 0.000000e+00 | -- | Inf | unknown
3583.34/3596.11 c 3596s| 25700 | 20305 | 8249k| 305.2 | 298M | 364 |3276 |9869 |8645 | 304k| 2 | 11k| 30 | 0.000000e+00 | -- | Inf | unknown
3584.13/3596.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3584.13/3596.97 c 3597s| 25800 | 20304 | 8252k| 304.2 | 298M | 364 |3276 |9939 |8642 | 304k| 1 | 11k| 30 | 0.000000e+00 | -- | Inf | unknown
3584.13/3597.00 c
3584.13/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.13/3597.00 c Solving Time (sec) : 3597.00
3584.13/3597.00 c Solving Nodes : 25803 (total of 26852 nodes in 2 runs)
3584.13/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.13/3597.00 c Dual Bound : +0.00000000000000e+00
3584.13/3597.00 c Gap : infinite
3584.13/3597.00 s UNKNOWN
3584.13/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.13/3597.00 c Total Time : 3597.00
3584.13/3597.00 c solving : 3597.00
3584.13/3597.00 c presolving : 0.33 (included in solving)
3584.13/3597.00 c reading : 0.02 (included in solving)
3584.13/3597.00 c copying : 1.45 (103 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3584.13/3597.00 c Original Problem :
3584.13/3597.00 c Problem name : HOME/instance-4450655-1721416764.opb
3584.13/3597.00 c Variables : 4128 (4128 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.13/3597.00 c Constraints : 8688 initial, 8688 maximal
3584.13/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.13/3597.00 c Presolved Problem :
3584.13/3597.00 c Problem name : t_HOME/instance-4450655-1721416764.opb
3584.13/3597.00 c Variables : 3276 (3276 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.13/3597.00 c Constraints : 8153 initial, 10003 maximal
3584.13/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.13/3597.00 c Nonzeros : 38309 constraint, 1311 clique table
3584.13/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.13/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c gateextraction : 0.02 0.00 6 0 0 0 0 0 96 32 0 0
3584.13/3597.00 c implics : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c milp : 0.03 0.00 1 2 61 0 0 0 0 0 0 0
3584.13/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c trivial : 0.00 0.00 19 50 0 0 0 0 0 0 0 0
3584.13/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c dualfix : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c probing : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c knapsack : 0.00 0.00 18 0 0 0 0 0 0 1 1 2
3584.13/3597.00 c setppc : 0.00 0.00 20 0 0 0 0 0 2 0 0 0
3584.13/3597.00 c and : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c linear : 0.09 0.00 29 616 123 0 616 0 2374 1422 108 1
3584.13/3597.00 c logicor : 0.05 0.01 23 0 0 0 0 0 565 0 0 34
3584.13/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c root node : - - - 0 - - 0 - - - - -
3584.13/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.13/3597.00 c benderslp : 0 0 0 0 24277 0 0 3360 0 0 0 0 0 0 0
3584.13/3597.00 c integral : 0 0 0 0 24277 0 0 3360 0 0 0 0 0 0 48554
3584.13/3597.00 c knapsack : 68+ 79 11 456279 0 0 0 0 3622 39 787 136 12 0 0
3584.13/3597.00 c setppc : 121+ 156 11 436145 0 0 0 0 14613 7 620 3 0 0 0
3584.13/3597.00 c and : 32 32 24940 467011 0 0 0 3355 7110 3 1222 415 364 0 0
3584.13/3597.00 c linear : 1291+ 1305 22 475606 0 0 0 530 815593 6300 285581 0 0 0 0
3584.13/3597.00 c logicor : 6641+ 8467 22 304621 0 0 0 0 222947 752 102047 8 4 0 0
3584.13/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.13/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3584.13/3597.00 c integral : 25.32 0.00 0.00 0.00 25.32 0.00 0.00 0.00 0.00 0.00
3584.13/3597.00 c knapsack : 0.10 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
3584.13/3597.00 c setppc : 0.05 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.01 0.00
3584.13/3597.00 c and : 0.21 0.00 0.10 0.09 0.00 0.00 0.00 0.02 0.00 0.00
3584.13/3597.00 c linear : 4.35 0.00 0.00 3.83 0.00 0.00 0.00 0.00 0.51 0.00
3584.13/3597.00 c logicor : 4.52 0.01 0.02 4.30 0.00 0.00 0.00 0.00 0.19 0.00
3584.13/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.13/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.13/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.13/3597.00 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3584.13/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.13/3597.00 c dualfix : 2 0 0 0
3584.13/3597.00 c genvbounds : 0 0 0 0
3584.13/3597.00 c nlobbt : 0 0 0 0
3584.13/3597.00 c obbt : 0 0 0 0
3584.13/3597.00 c probing : 0 0 0 0
3584.13/3597.00 c pseudoobj : 0 0 0 0
3584.13/3597.00 c redcost : 0 0 0 0
3584.13/3597.00 c rootredcost : 0 0 0 0
3584.13/3597.00 c symmetry : 0 0 0 0
3584.13/3597.00 c vbounds : 80818 0 0 0
3584.13/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.13/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3584.13/3597.00 c genvbounds : 0.04 0.00 0.00 0.04 0.00 0.00
3584.13/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.13/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.13/3597.00 c probing : 0.10 0.00 0.10 0.00 0.00 0.00
3584.13/3597.00 c pseudoobj : 0.04 0.00 0.00 0.04 0.00 0.00
3584.13/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3584.13/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3584.13/3597.00 c symmetry : 0.07 0.00 0.02 0.05 0.00 0.00
3584.13/3597.00 c vbounds : 0.19 0.00 0.00 0.19 0.00 0.00
3584.13/3597.00 c Symmetry :
3584.13/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.13/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.13/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3584.13/3597.00 c shadow tree time : 0.00 s
3584.13/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.13/3597.00 c propagation : 4.29 1406 1404 - 111314 419.2 1193 12.8 - - -
3584.13/3597.00 c infeasible LP : 1.23 164 155 - 19319 609.1 75 7.9 92 132.3 0
3584.13/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.13/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.13/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.13/3597.00 c applied globally : 0.06 - - 0 11064 133.0 - - 91 - -
3584.13/3597.00 c applied locally : - - - 0 55 225.0 - - 1 - -
3584.13/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.13/3597.00 c cut pool : 1.79 - 5153 42 - - 14527 1115702 - - - - - (maximal pool size: 4732)
3584.13/3597.00 c aggregation : 0.51 0.00 93 22 0 0 9317 532367 294 201958 201750 208 0
3584.13/3597.00 c > cmir : - - - - - - - 227655 0 58964 58964 0 -
3584.13/3597.00 c > flowcover : - - - - - - - 177630 0 79088 79088 0 -
3584.13/3597.00 c > knapsackcover : - - - - - - - 127082 294 63906 63698 208 -
3584.13/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c clique : 0.03 0.00 22 22 0 0 11 391 0 64 64 0 0
3584.13/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c gomory : 22.49 0.00 91 20 0 0 4105 434595 122 41409 41399 10 0
3584.13/3597.00 c > gomorymi : - - - - - - - 197379 61 26964 26956 8 -
3584.13/3597.00 c > strongcg : - - - - - - - 237216 61 14445 14443 2 -
3584.13/3597.00 c impliedbounds : 0.01 0.00 93 22 0 0 845 29672 0 17680 17680 0 0
3584.13/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c multilinear : 0.00 0.00 121 22 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.13/3597.00 c rapidlearning : 9.86 0.00 97 2 0 118 0 0 0 0 0 0 20
3584.13/3597.00 c rlt : 1.22 0.00 78 20 0 0 13 14 1 10 10 0 0
3584.13/3597.00 c zerohalf : 1.71 0.00 89 22 0 0 1047 118663 394 63366 62989 377 0
3584.13/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.13/3597.00 c hybrid : 2.21 0.00 4990 22 324878 0 792197 4589 0 6633
3584.13/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3584.13/3597.00 c problem variables: 0.00 - 0 0
3584.13/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.13/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c relpscost : 25.30 0.00 24277 0 0 0 0 0 0 48554
3584.13/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.13/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.13/3597.00 c LP solutions : 0.00 - - 0 0
3584.13/3597.00 c relax solutions : 0.00 - - 0 0
3584.13/3597.00 c pseudo solutions : 0.00 - - 0 0
3584.13/3597.00 c strong branching : 0.00 - - 0 0
3584.13/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3584.13/3597.00 c adaptivediving : 29.18 0.00 13 0 0
3584.13/3597.00 c alns : 1.79 0.00 6 0 0
3584.13/3597.00 c bound : 0.00 0.00 0 0 0
3584.13/3597.00 c clique : 0.02 0.00 1 0 0
3584.13/3597.00 c coefdiving : 0.00 0.00 0 0 0
3584.13/3597.00 c completesol : 0.00 0.00 0 0 0
3584.13/3597.00 c conflictdiving : 422.33 0.00 419 0 0
3584.13/3597.00 c crossover : 0.00 0.00 0 0 0
3584.13/3597.00 c dins : 0.00 0.00 0 0 0
3584.13/3597.00 c distributiondivin: 190.84 0.00 90 0 0
3584.13/3597.00 c dps : 0.00 0.00 0 0 0
3584.13/3597.00 c dualval : 0.00 0.00 0 0 0
3584.13/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3584.13/3597.00 c feasjump : 0.03 0.00 2 0 0
3584.13/3597.00 c feaspump : 33.19 0.00 10 0 0
3584.13/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3584.13/3597.00 c fracdiving : 189.57 0.00 90 0 0
3584.13/3597.00 c gins : 0.00 0.00 0 0 0
3584.13/3597.00 c guideddiving : 0.00 0.00 0 0 0
3584.13/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3584.13/3597.00 c indicator : 0.01 0.00 0 0 0
3584.13/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3584.13/3597.00 c indoneopt : 0.01 0.00 0 0 0
3584.13/3597.00 c indrounding : 0.00 0.00 0 0 0
3584.13/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3584.13/3597.00 c intdiving : 0.00 0.00 0 0 0
3584.13/3597.00 c intshifting : 0.00 0.00 0 0 0
3584.13/3597.00 c linesearchdiving : 186.16 0.00 96 0 0
3584.13/3597.00 c localbranching : 0.00 0.00 0 0 0
3584.13/3597.00 c locks : 0.01 0.00 1 0 0
3584.13/3597.00 c lpface : 0.09 0.00 0 0 0
3584.13/3597.00 c mpec : 0.00 0.00 0 0 0
3584.13/3597.00 c multistart : 0.00 0.00 0 0 0
3584.13/3597.00 c mutation : 0.00 0.00 0 0 0
3584.13/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3584.13/3597.00 c objpscostdiving : 488.53 0.00 5 0 0
3584.13/3597.00 c octane : 0.00 0.00 0 0 0
3584.13/3597.00 c ofins : 0.01 0.00 0 0 0
3584.13/3597.00 c oneopt : 0.01 0.00 0 0 0
3584.13/3597.00 c padm : 0.00 0.00 0 0 0
3584.13/3597.00 c proximity : 0.00 0.00 0 0 0
3584.13/3597.00 c pscostdiving : 197.88 0.00 56 0 0
3584.13/3597.00 c randrounding : 0.83 0.00 3370 0 0
3584.13/3597.00 c rens : 0.00 0.00 0 0 0
3584.13/3597.00 c reoptsols : 0.00 0.00 0 0 0
3584.13/3597.00 c repair : 0.00 0.00 0 0 0
3584.13/3597.00 c rins : 0.01 0.00 0 0 0
3584.13/3597.00 c rootsoldiving : 22.96 0.00 10 0 0
3584.13/3597.00 c rounding : 0.47 0.00 2342 0 0
3584.13/3597.00 c scheduler : 0.00 0.00 0 0 0
3584.13/3597.00 c shiftandpropagate: 0.04 0.00 2 0 0
3584.13/3597.00 c shifting : 1.31 0.00 1139 0 0
3584.13/3597.00 c simplerounding : 0.02 0.00 0 0 0
3584.13/3597.00 c smallcard : 0.00 0.00 0 0 0
3584.13/3597.00 c subnlp : 0.02 0.00 0 0 0
3584.13/3597.00 c trivial : 0.00 0.00 4 0 0
3584.13/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3584.13/3597.00 c trustregion : 0.00 0.00 0 0 0
3584.13/3597.00 c trysol : 0.01 0.00 0 0 0
3584.13/3597.00 c twoopt : 0.00 0.00 0 0 0
3584.13/3597.00 c undercover : 0.00 0.00 1 0 0
3584.13/3597.00 c vbounds : 0.00 0.00 0 0 0
3584.13/3597.00 c veclendiving : 194.95 0.00 155 0 0
3584.13/3597.00 c zeroobj : 0.00 0.00 0 0 0
3584.13/3597.00 c zirounding : 0.23 0.00 1000 0 0
3584.13/3597.00 c other solutions : - - - 0 -
3584.13/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
3584.13/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
3584.13/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
3584.13/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
3584.13/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
3584.13/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
3584.13/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
3584.13/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
3584.13/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
3584.13/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
3584.13/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.13/3597.00 c primal LP : 3.55 2215 0 0.00 0.00 3.55 2215
3584.13/3597.00 c dual LP : 1521.46 29397 5314146 181.27 3492.79 0.16 81
3584.13/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3584.13/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.13/3597.00 c resolve instable : 0.00 0 0 0.00 -
3584.13/3597.00 c diving/probing LP: 1934.28 6162 2938036 476.80 1518.93
3584.13/3597.00 c strong branching : 15.87 30 29327 977.57 1848.30 - - 57
3584.13/3597.00 c (at root node) : - 30 29327 977.57 -
3584.13/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3584.13/3597.00 c B&B Tree :
3584.13/3597.00 c number of runs : 2
3584.13/3597.00 c nodes : 25803 (23228 internal, 2575 leaves)
3584.13/3597.00 c feasible leaves : 0
3584.13/3597.00 c infeas. leaves : 2574
3584.13/3597.00 c objective leaves : 0
3584.13/3597.00 c nodes (total) : 26852 (24277 internal, 2575 leaves)
3584.13/3597.00 c nodes left : 20304
3584.13/3597.00 c max depth : 364
3584.13/3597.00 c max depth (total): 364
3584.13/3597.00 c backtracks : 2261 (8.8%)
3584.13/3597.00 c early backtracks : 0 (0.0%)
3584.13/3597.00 c nodes exc. ref. : 0 (0.0%)
3584.13/3597.00 c delayed cutoffs : 351
3584.13/3597.00 c repropagations : 1492 (21852 domain reductions, 250 cutoffs)
3584.13/3597.00 c avg switch length: 4.67
3584.13/3597.00 c switching time : 7.38
3584.13/3597.00 c Root Node :
3584.13/3597.00 c First LP value : +0.00000000000000e+00
3584.13/3597.00 c First LP Iters : 860 (33212.33 Iter/sec)
3584.13/3597.00 c First LP Time : 0.03
3584.13/3597.00 c Final Dual Bound : +0.00000000000000e+00
3584.13/3597.00 c Final Root Iters : 84678
3584.13/3597.00 c Root LP Estimate : +3.25553111080769e-01
3584.13/3597.00 c Solution :
3584.13/3597.00 c Solutions found : 0 (0 improvements)
3584.13/3597.00 c Primal Bound : -
3584.13/3597.00 c Dual Bound : +0.00000000000000e+00
3584.13/3597.00 c Gap : infinite
3584.13/3597.00 c Integrals : Total Avg%
3584.13/3597.00 c primal-dual : 359699.76 100.00
3584.13/3597.00 c primal-ref : - - (not evaluated)
3584.13/3597.00 c dual-ref : - - (not evaluated)
3584.23/3597.07 c Time complete: 3584.31.
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: 63968 MiB (61747 MiB free)
memory of node 1: 64473 MiB (61579 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450655-1721416764/watcher-4450655-1721416764 -o /tmp/evaluation-result-4450655-1721416764/solver-4450655-1721416764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721410880-1025275 --watchdog 3760 pbscip -f HOME/instance-4450655-1721416764.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1028717, runsolver pid=1028714
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.09 4.15 4.16 5/254 1028718
/proc/meminfo: memFree=126254248/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=85548 memory=46136 CPUtime=0.09 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 9409 0 0 0 8 1 0 0 20 0 1 0 193847236 87601152 11534 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 21387 11534 3742 3540 0 9644 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85548 KiB
Current children cumulated memory: 46136 KiB
[startup+0.205486 s]*
/proc/loadavg: 4.09 4.15 4.16 5/254 1028718
/proc/meminfo: memFree=126249548/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=90336 memory=51208 CPUtime=0.19 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 10628 0 0 0 18 1 0 0 20 0 1 0 193847236 92504064 12802 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 22584 12802 3758 3540 0 10841 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90336 KiB
Current children cumulated memory: 51208 KiB
[startup+0.305385 s]*
/proc/loadavg: 4.08 4.14 4.16 5/254 1028718
/proc/meminfo: memFree=126237704/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=109772 memory=66864 CPUtime=0.3 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 15287 0 0 0 28 2 0 0 20 0 1 0 193847236 112406528 16716 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 27443 16716 3854 3540 0 15700 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109772 KiB
Current children cumulated memory: 66864 KiB
[startup+0.700238 s]
/proc/loadavg: 4.08 4.14 4.16 5/254 1028718
/proc/meminfo: memFree=126228756/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=141088 memory=96676 CPUtime=0.68 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 24869 0 0 0 65 3 0 0 20 0 1 0 193847236 144474112 24169 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 35272 24169 4021 3540 0 23529 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 141088 KiB
Current children cumulated memory: 96676 KiB
[startup+1.50026 s]
/proc/loadavg: 4.08 4.14 4.16 5/254 1028718
/proc/meminfo: memFree=126204536/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=141088 memory=96676 CPUtime=1.48 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 24894 0 0 0 145 3 0 0 20 0 1 0 193847236 144474112 24169 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 35272 24169 4021 3540 0 23529 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 141088 KiB
Current children cumulated memory: 96676 KiB
[startup+3.10535 s]
/proc/loadavg: 4.08 4.14 4.16 5/254 1028718
/proc/meminfo: memFree=126204244/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=141088 memory=97188 CPUtime=3.08 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 25017 0 0 0 305 3 0 0 20 0 1 0 193847236 144474112 24297 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 35272 24297 4021 3540 0 23529 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 141088 KiB
Current children cumulated memory: 97188 KiB
[startup+6.30023 s]
/proc/loadavg: 4.08 4.14 4.16 5/254 1028720
/proc/meminfo: memFree=126203956/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=141088 memory=97188 CPUtime=6.26 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 25019 0 0 0 623 3 0 0 20 0 1 0 193847236 144474112 24297 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 35272 24297 4021 3540 0 23529 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 141088 KiB
Current children cumulated memory: 97188 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.14 4.15 5/254 1028720
/proc/meminfo: memFree=126202508/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=141404 memory=97716 CPUtime=12.64 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 25151 0 0 0 1261 3 0 0 20 0 1 0 193847236 144797696 24429 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 35351 24429 4021 3540 0 23608 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 141404 KiB
Current children cumulated memory: 97716 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.15 4.16 5/254 1028721
/proc/meminfo: memFree=126199452/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=147664 memory=100620 CPUtime=25.4 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 25874 0 0 0 2536 4 0 0 20 0 1 0 193847236 151207936 25155 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 36916 25155 4021 3540 0 25173 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 147664 KiB
Current children cumulated memory: 100620 KiB
[startup+51.1055 s]
/proc/loadavg: 4.08 4.14 4.15 5/257 1028731
/proc/meminfo: memFree=126160364/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=172768 memory=124288 CPUtime=50.92 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 35978 0 0 0 5086 6 0 0 20 0 1 0 193847236 176914432 31072 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 43192 31072 4021 3540 0 31449 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 172768 KiB
Current children cumulated memory: 124288 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/257 1028740
/proc/meminfo: memFree=126156256/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=172768 memory=124288 CPUtime=101.94 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 36010 0 0 0 10188 6 0 0 20 0 1 0 193847236 176914432 31072 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 43192 31072 4021 3540 0 31449 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 172768 KiB
Current children cumulated memory: 124288 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/257 1028751
/proc/meminfo: memFree=126151332/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=172768 memory=124288 CPUtime=161.75 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 36010 0 0 0 16168 7 0 0 20 0 1 0 193847236 176914432 31072 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 43192 31072 4021 3540 0 31449 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 172768 KiB
Current children cumulated memory: 124288 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.11 4.14 5/257 1028761
/proc/meminfo: memFree=126147700/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=172768 memory=124380 CPUtime=221.54 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 36116 0 0 0 22147 7 0 0 20 0 1 0 193847236 176914432 31095 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 43192 31095 4021 3540 0 31449 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 172768 KiB
Current children cumulated memory: 124380 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.15 4.15 5/257 1028772
/proc/meminfo: memFree=126138316/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=178108 memory=130856 CPUtime=281.32 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 37911 0 0 0 28124 8 0 0 20 0 1 0 193847236 182382592 32714 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 44527 32714 4021 3540 0 32784 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 178108 KiB
Current children cumulated memory: 130856 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/258 1029165
/proc/meminfo: memFree=126138212/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=176480 memory=129740 CPUtime=341.08 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 47085 0 0 0 34099 9 0 0 20 0 1 0 193847236 180715520 32435 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 44120 32435 4037 3540 0 32377 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 176480 KiB
Current children cumulated memory: 129740 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/257 1029176
/proc/meminfo: memFree=126124192/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=178276 memory=131548 CPUtime=400.84 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 50527 0 0 0 40074 10 0 0 20 0 1 0 193847236 182554624 32887 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 44569 32887 4037 3540 0 32826 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 178276 KiB
Current children cumulated memory: 131548 KiB
[startup+462.3 s]
/proc/loadavg: 4.26 4.15 4.14 5/257 1029186
/proc/meminfo: memFree=126113568/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=180316 memory=135228 CPUtime=460.61 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 60320 0 0 0 46049 12 0 0 20 0 1 0 193847236 184643584 33807 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 45079 33807 4037 3540 0 33336 0
################
# More data... #
################
/proc/loadavg: 4.07 4.09 4.12 5/256 1030615
/proc/meminfo: memFree=126140612/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=296844 memory=259748 CPUtime=3151 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 141248 0 0 0 315062 38 0 0 20 0 1 0 193847236 303968256 64937 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 74211 64937 4037 3540 0 62468 0
Current children cumulated CPU time: 3151 s
Current children cumulated vsize: 296844 KiB
Current children cumulated memory: 259748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/256 1030625
/proc/meminfo: memFree=126138412/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=297316 memory=260408 CPUtime=3210.77 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 141480 0 0 0 321039 38 0 0 20 0 1 0 193847236 304451584 65102 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 74329 65102 4037 3540 0 62586 0
Current children cumulated CPU time: 3210.77 s
Current children cumulated vsize: 297316 KiB
Current children cumulated memory: 260408 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.11 5/256 1030636
/proc/meminfo: memFree=126135600/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=298916 memory=261792 CPUtime=3270.57 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 141975 0 0 0 327018 39 0 0 20 0 1 0 193847236 306089984 65448 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 74729 65448 4037 3540 0 62986 0
Current children cumulated CPU time: 3270.57 s
Current children cumulated vsize: 298916 KiB
Current children cumulated memory: 261792 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.11 5/256 1030646
/proc/meminfo: memFree=126135252/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=298916 memory=261956 CPUtime=3330.38 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 142064 0 0 0 332999 39 0 0 20 0 1 0 193847236 306089984 65489 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 74729 65489 4037 3540 0 62986 0
Current children cumulated CPU time: 3330.38 s
Current children cumulated vsize: 298916 KiB
Current children cumulated memory: 261956 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/255 1030656
/proc/meminfo: memFree=126131804/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=298916 memory=261956 CPUtime=3390.19 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 142179 0 0 0 338979 40 0 0 20 0 1 0 193847236 306089984 65489 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 74729 65489 4037 3540 0 62986 0
Current children cumulated CPU time: 3390.19 s
Current children cumulated vsize: 298916 KiB
Current children cumulated memory: 261956 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/254 1030666
/proc/meminfo: memFree=126130712/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=300188 memory=262968 CPUtime=3449.99 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 142581 0 0 0 344959 40 0 0 20 0 1 0 193847236 307392512 65742 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 75047 65742 4037 3540 0 63304 0
Current children cumulated CPU time: 3449.99 s
Current children cumulated vsize: 300188 KiB
Current children cumulated memory: 262968 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/254 1030677
/proc/meminfo: memFree=126099124/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=328596 memory=289468 CPUtime=3509.78 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 149458 0 0 0 350937 41 0 0 20 0 1 0 193847236 336482304 72367 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 82149 72367 4037 3540 0 70406 0
Current children cumulated CPU time: 3509.78 s
Current children cumulated vsize: 328596 KiB
Current children cumulated memory: 289468 KiB
[startup+3582.3 s]
/proc/loadavg: 4.33 4.16 4.12 5/254 1030688
/proc/meminfo: memFree=126064216/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=355704 memory=318752 CPUtime=3569.59 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 158179 0 0 0 356916 43 0 0 20 0 1 0 193847236 364240896 79688 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 88926 79688 4037 3540 0 77183 0
Current children cumulated CPU time: 3569.59 s
Current children cumulated vsize: 355704 KiB
Current children cumulated memory: 318752 KiB
[startup+3597.08 s]
# the end of solver process 1028717 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.88 s, system=0.44303 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.33 4.16 4.12 5/254 1030688
/proc/meminfo: memFree=126037588/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=384692 memory=345412 CPUtime=3571.28 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 164869 0 0 0 357085 43 0 0 20 0 1 0 193847236 393924608 86353 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 96173 86353 4037 3540 0 84430 0
Current children cumulated CPU time: 3571.28 s
Current children cumulated vsize: 384692 KiB
Current children cumulated memory: 345412 KiB
[startup+3590.4 s]
/proc/loadavg: 4.30 4.16 4.11 5/254 1030689
/proc/meminfo: memFree=126037644/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=384892 memory=345936 CPUtime=3577.65 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 165019 0 0 0 357722 43 0 0 20 0 1 0 193847236 394129408 86484 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 96223 86484 4037 3540 0 84480 0
Current children cumulated CPU time: 3577.65 s
Current children cumulated vsize: 384892 KiB
Current children cumulated memory: 345936 KiB
[startup+3593.6 s]
/proc/loadavg: 4.27 4.15 4.11 5/254 1030689
/proc/meminfo: memFree=126037644/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=384892 memory=345936 CPUtime=3580.84 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 165023 0 0 0 358041 43 0 0 20 0 1 0 193847236 394129408 86484 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 96223 86484 4037 3540 0 84480 0
Current children cumulated CPU time: 3580.84 s
Current children cumulated vsize: 384892 KiB
Current children cumulated memory: 345936 KiB
[startup+3595.2 s]
/proc/loadavg: 4.27 4.15 4.11 5/254 1030689
/proc/meminfo: memFree=126037644/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=384892 memory=345936 CPUtime=3582.44 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 165023 0 0 0 358201 43 0 0 20 0 1 0 193847236 394129408 86484 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 96223 86484 4037 3540 0 84480 0
Current children cumulated CPU time: 3582.44 s
Current children cumulated vsize: 384892 KiB
Current children cumulated memory: 345936 KiB
[startup+3596 s]*
/proc/loadavg: 4.33 4.17 4.12 5/254 1030691
/proc/meminfo: memFree=126037532/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=384892 memory=345936 CPUtime=3583.24 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 165023 0 0 0 358281 43 0 0 20 0 1 0 193847236 394129408 86484 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 96223 86484 4037 3540 0 84480 0
Current children cumulated CPU time: 3583.24 s
Current children cumulated vsize: 384892 KiB
Current children cumulated memory: 345936 KiB
[startup+3596.8 s]
/proc/loadavg: 4.33 4.17 4.12 5/254 1030691
/proc/meminfo: memFree=126037532/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=384892 memory=345936 CPUtime=3584.03 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 165023 0 0 0 358360 43 0 0 20 0 1 0 193847236 394129408 86484 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 96223 86484 4037 3540 0 84480 0
Current children cumulated CPU time: 3584.03 s
Current children cumulated vsize: 384892 KiB
Current children cumulated memory: 345936 KiB
[startup+3597 s]*
/proc/loadavg: 4.33 4.17 4.12 5/254 1030691
/proc/meminfo: memFree=126037560/131524600 swapFree=131071996/131071996
[pid=1028717] ppid=1028714 vsize=384892 memory=345936 CPUtime=3584.23 cores=0,2
/proc/1028717/stat : 1028717 (pbscip) R 1028714 1028717 1025265 0 -1 4194304 165023 0 0 0 358380 43 0 0 20 0 1 0 193847236 394129408 86484 134679101440 4194304 18693293 140720738516240 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60059648 140720738518018 140720738518117 140720738518117 140720738525134 0
/proc/1028717/statm: 96223 86484 4037 3540 0 84480 0
Current children cumulated CPU time: 3584.23 s
Current children cumulated vsize: 384892 KiB
Current children cumulated memory: 345936 KiB
Child status: 0
Real time (s): 3597.08
CPU time (s): 3584.32
CPU user time (s): 3583.88
CPU system time (s): 0.44303
CPU usage (%): 99.6453
Max. virtual memory (cumulated for all children) (KiB): 384892
Max. memory (cumulated for all children) (KiB): 345936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.88
system time used= 0.44303
maximum resident set size= 345936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165031
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= 54
involuntary context switches= 24570
# summary of solver processes directly reported to runsolver:
# pid: 1028717
# total CPU time (s): 3584.32
# total CPU user time (s): 3583.88
# total CPU system time (s): 0.44303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.2476 second user time and 13.8789 second system time
The end