0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4512801-1751216655.opb>
0.00/0.02 c original problem has 4288 variables (4288 bin, 0 int, 0 cont) and 9488 constraints
0.00/0.02 c problem read in 0.025 seconds
0.00/0.02 c problem without objective
0.00/0.04 c presolving:
0.00/0.06 c (round 1, fast) 574 del vars, 988 del conss, 681 add conss, 504 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 340 clqs
0.00/0.06 c (round 2, fast) 850 del vars, 1622 del conss, 775 add conss, 650 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 415 clqs
0.00/0.07 c (round 3, fast) 853 del vars, 1627 del conss, 797 add conss, 652 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 436 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.09/0.10 c (0.1s) MILP presolver (4 rounds): 49 aggregations, 2 fixings, 0 bound changes
0.09/0.10 c (round 4, medium) 904 del vars, 1627 del conss, 797 add conss, 652 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 335 clqs
0.09/0.10 c (round 5, fast) 904 del vars, 1687 del conss, 838 add conss, 652 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 360 clqs
0.09/0.11 c (round 6, exhaustive) 904 del vars, 2400 del conss, 838 add conss, 652 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 360 clqs
0.09/0.14 c (round 7, exhaustive) 904 del vars, 2400 del conss, 838 add conss, 652 chg bounds, 4 chg sides, 0 chg coeffs, 6493 upgd conss, 0 impls, 360 clqs
0.09/0.15 c (round 8, exhaustive) 904 del vars, 2496 del conss, 870 add conss, 652 chg bounds, 4 chg sides, 0 chg coeffs, 6493 upgd conss, 0 impls, 360 clqs
0.09/0.18 c (round 9, exhaustive) 904 del vars, 2496 del conss, 870 add conss, 652 chg bounds, 65 chg sides, 0 chg coeffs, 6493 upgd conss, 0 impls, 360 clqs
0.09/0.18 c (round 10, exhaustive) 904 del vars, 2496 del conss, 870 add conss, 652 chg bounds, 65 chg sides, 0 chg coeffs, 6554 upgd conss, 0 impls, 360 clqs
0.19/0.28 c (0.3s) probing: 818/3436 (23.8%) - 0 fixings, 1 aggregations, 260 implications, 0 bound changes
0.19/0.28 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.19/0.28 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.19/0.30 c (0.3s) no symmetry present (symcode time: 0.00)
0.30/0.31 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.30/0.31 c 905 deleted vars, 2496 deleted constraints, 870 added constraints, 652 tightened bounds, 0 added holes, 65 changed sides, 34 changed coefficients
0.30/0.31 c 0 implications, 614 cliques
0.30/0.31 c presolved problem has 3435 variables (3435 bin, 0 int, 0 cont) and 7862 constraints
0.30/0.31 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.30/0.31 c 32 constraints of type <and>
0.30/0.31 c 1372 constraints of type <linear>
0.30/0.31 c 6458 constraints of type <logicor>
0.30/0.31 c transformed objective value is always integral (scale: 1)
0.30/0.31 c Presolving Time: 0.26
0.30/0.31 c
0.30/0.31 c - non default parameters ----------------------------------------------------------------------
0.30/0.31 c
0.30/0.31 c # SCIP version 10.0.0
0.30/0.31 c
0.30/0.31 c # maximal time in seconds to run
0.30/0.31 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.30/0.31 c limits/time = 3596.99804
0.30/0.31 c
0.30/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.30/0.31 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.30/0.31 c limits/memory = 27900
0.30/0.31 c
0.30/0.31 c # belongs reading time to solving time?
0.30/0.31 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.30/0.31 c timing/reading = TRUE
0.30/0.31 c
0.30/0.31 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.30/0.31 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.30/0.31 c reading/opbreader/maxintsize = 47
0.30/0.31 c
0.30/0.31 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.30/0.31 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.30/0.31 c propagating/genvbounds/timingmask = 0
0.30/0.31 c
0.30/0.31 c -----------------------------------------------------------------------------------------------
0.30/0.31 c
0.40/0.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.40/0.41 c 0.4s| 1 | 0 | 935 | - | 58M | 0 |3435 |7886 |7894 | 0 | 0 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.87 c 0.9s| 1 | 0 | 2685 | - | 63M | 0 |3435 |7886 |8185 | 291 | 1 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
2.57/2.64 c 2.6s| 1 | 0 | 6107 | - | 66M | 0 |3435 |7885 |8494 | 600 | 2 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
4.56/4.62 c 4.6s| 1 | 0 | 9248 | - | 69M | 0 |3435 |7885 |8811 | 917 | 3 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
7.65/7.71 c 7.7s| 1 | 0 | 14231 | - | 71M | 0 |3435 |7885 |9100 |1206 | 4 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
10.34/10.43 c 10.4s| 1 | 0 | 18477 | - | 74M | 0 |3435 |7885 |9375 |1481 | 5 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
13.33/13.41 c 13.4s| 1 | 0 | 22897 | - | 76M | 0 |3435 |7885 |9639 |1745 | 6 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
16.92/17.01 c 17.0s| 1 | 0 | 28253 | - | 78M | 0 |3435 |7885 |9912 |2018 | 7 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
20.10/20.26 c 20.3s| 1 | 0 | 32803 | - | 79M | 0 |3435 |7885 | 10k|2179 | 8 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
23.09/23.20 c 23.2s| 1 | 0 | 36241 | - | 80M | 0 |3435 |7885 | 10k|2296 | 9 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
26.28/26.47 c 26.5s| 1 | 0 | 40550 | - | 83M | 0 |3435 |7885 | 10k|2383 | 10 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
28.67/28.83 c 28.8s| 1 | 0 | 45084 | - | 84M | 0 |3435 |7883 |9544 |2477 | 11 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
41.92/42.17 c 42.2s| 1 | 2 | 54398 | - | 85M | 0 |3435 |7877 |9544 |2477 | 11 | 23 | 13 | 0.000000e+00 | -- | Inf | unknown
333.22/334.55 c 335s| 100 | 101 |257228 |2142.9 | 87M | 13 |3435 |7911 |8006 |4300 | 1 | 69 | 13 | 0.000000e+00 | -- | Inf | unknown
379.14/380.65 c 381s| 200 | 201 |355320 |1559.0 | 88M | 22 |3435 |7946 |8262 |6518 | 1 | 106 | 13 | 0.000000e+00 | -- | Inf | unknown
420.28/421.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
420.28/421.97 c 422s| 300 | 301 |431251 |1291.5 | 88M | 22 |3435 |7944 |8174 | 10k| 1 | 113 | 13 | 0.000000e+00 | -- | Inf | unknown
464.70/466.53 c 467s| 400 | 401 |504064 |1150.3 | 89M | 25 |3435 |7933 |8163 | 11k| 1 | 120 | 13 | 0.000000e+00 | -- | Inf | unknown
478.35/480.21 c 480s| 500 | 501 |530050 | 971.9 | 90M | 25 |3435 |7923 |8172 | 13k| 1 | 120 | 13 | 0.000000e+00 | -- | Inf | unknown
507.04/509.08 c 509s| 600 | 601 |575004 | 884.7 | 91M | 26 |3435 |7920 |8298 | 14k| 2 | 128 | 13 | 0.000000e+00 | -- | Inf | unknown
533.73/535.85 c 536s| 700 | 701 |623515 | 827.5 | 91M | 26 |3435 |7915 |8256 | 16k| 2 | 128 | 13 | 0.000000e+00 | -- | Inf | unknown
573.57/575.86 c 576s| 800 | 801 |711135 | 833.6 | 92M | 26 |3435 |7911 |8270 | 18k| 2 | 135 | 13 | 0.000000e+00 | -- | Inf | unknown
602.26/604.69 c 605s| 900 | 901 |765598 | 801.5 | 92M | 26 |3435 |7928 |8161 | 21k| 1 | 154 | 13 | 0.000000e+00 | -- | Inf | unknown
630.65/633.13 c 633s| 1000 | 1001 |814144 | 769.8 | 93M | 26 |3435 |7952 |8097 | 22k| 1 | 179 | 13 | 0.000000e+00 | -- | Inf | unknown
638.62/641.17 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
638.62/641.17 c (run 1, node 1049) performing user restart
638.62/641.17 c
638.62/641.17 c (restart) converted 833 cuts from the global cut pool into linear constraints
638.62/641.17 c
638.62/641.19 c presolving:
638.62/641.20 c (round 1, fast) 0 del vars, 4 del conss, 623 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 624 clqs
638.71/641.21 c (round 2, exhaustive) 0 del vars, 42 del conss, 623 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 624 clqs
638.71/641.23 c (round 3, exhaustive) 0 del vars, 42 del conss, 623 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1366 upgd conss, 0 impls, 624 clqs
638.71/641.23 c (round 4, fast) 0 del vars, 574 del conss, 623 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1366 upgd conss, 0 impls, 624 clqs
638.71/641.24 c (round 5, exhaustive) 0 del vars, 574 del conss, 623 add conss, 0 chg bounds, 52 chg sides, 0 chg coeffs, 1366 upgd conss, 0 impls, 624 clqs
638.71/641.25 c (round 6, exhaustive) 0 del vars, 574 del conss, 623 add conss, 0 chg bounds, 52 chg sides, 0 chg coeffs, 1418 upgd conss, 0 impls, 624 clqs
638.71/641.26 c (round 7, fast) 0 del vars, 626 del conss, 623 add conss, 0 chg bounds, 52 chg sides, 0 chg coeffs, 1418 upgd conss, 0 impls, 624 clqs
638.71/641.29 c presolving (8 rounds: 8 fast, 5 medium, 5 exhaustive):
638.71/641.29 c 0 deleted vars, 627 deleted constraints, 623 added constraints, 0 tightened bounds, 0 added holes, 52 changed sides, 20 changed coefficients
638.71/641.29 c 0 implications, 624 cliques
638.71/641.29 c presolved problem has 3435 variables (3435 bin, 0 int, 0 cont) and 8781 constraints
638.71/641.29 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
638.71/641.29 c 48 constraints of type <knapsack>
638.71/641.29 c 114 constraints of type <setppc>
638.71/641.29 c 32 constraints of type <and>
638.71/641.29 c 1372 constraints of type <linear>
638.71/641.29 c 7215 constraints of type <logicor>
638.71/641.29 c transformed objective value is always integral (scale: 1)
638.71/641.29 c Presolving Time: 0.37
638.71/641.29 c
638.91/641.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
638.91/641.48 c 641s| 1 | 0 |829985 | - | 92M | 0 |3435 |8781 |8727 | 0 | 0 | 179 | 13 | 0.000000e+00 | -- | Inf | unknown
640.90/643.46 c 643s| 1 | 0 |833124 | - | 94M | 0 |3435 |8781 |9029 | 302 | 1 | 179 | 13 | 0.000000e+00 | -- | Inf | unknown
643.99/646.56 c 647s| 1 | 0 |837519 | - | 94M | 0 |3435 |8782 |9323 | 596 | 2 | 180 | 13 | 0.000000e+00 | -- | Inf | unknown
646.59/649.10 c 649s| 1 | 0 |840801 | - | 96M | 0 |3435 |8782 |9598 | 871 | 3 | 180 | 13 | 0.000000e+00 | -- | Inf | unknown
649.27/651.86 c 652s| 1 | 0 |844543 | - | 97M | 0 |3435 |8782 |9776 |1049 | 4 | 180 | 13 | 0.000000e+00 | -- | Inf | unknown
652.47/655.01 c 655s| 1 | 0 |849027 | - | 98M | 0 |3435 |8782 | 10k|1321 | 5 | 180 | 13 | 0.000000e+00 | -- | Inf | unknown
656.34/658.90 c 659s| 1 | 0 |854617 | - | 99M | 0 |3435 |8782 | 10k|1581 | 6 | 180 | 13 | 0.000000e+00 | -- | Inf | unknown
659.73/662.31 c 662s| 1 | 0 |859194 | - | 100M | 0 |3435 |8782 | 10k|1729 | 7 | 180 | 13 | 0.000000e+00 | -- | Inf | unknown
663.71/666.37 c 666s| 1 | 0 |864414 | - | 101M | 0 |3435 |8782 | 10k|1921 | 8 | 180 | 13 | 0.000000e+00 | -- | Inf | unknown
668.09/670.70 c 671s| 1 | 0 |869816 | - | 102M | 0 |3435 |8782 | 10k|2052 | 9 | 180 | 13 | 0.000000e+00 | -- | Inf | unknown
672.88/675.51 c 676s| 1 | 0 |875862 | - | 103M | 0 |3435 |8782 | 10k|2162 | 10 | 180 | 13 | 0.000000e+00 | -- | Inf | unknown
675.56/678.23 c 678s| 1 | 0 |880360 | - | 105M | 0 |3435 |8782 |9488 |2253 | 11 | 180 | 13 | 0.000000e+00 | -- | Inf | unknown
696.17/698.95 c 699s| 1 | 2 |891892 | - | 105M | 0 |3435 |8802 |9488 |2253 | 11 | 200 | 31 | 0.000000e+00 | -- | Inf | unknown
759.22/762.28 c 762s| 100 | 101 | 1008k| 794.0 | 106M | 33 |3435 |8815 |8606 |4388 | 1 | 225 | 31 | 0.000000e+00 | -- | Inf | unknown
815.30/818.59 c 819s| 200 | 201 | 1110k| 811.8 | 107M | 34 |3435 |8847 |8658 |6582 | 2 | 261 | 31 | 0.000000e+00 | -- | Inf | unknown
1093.78/1098.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1093.78/1098.02 c 1098s| 300 | 301 | 1434k| 992.0 | 108M | 34 |3435 |8849 |8616 |9125 | 1 | 287 | 31 | 0.000000e+00 | -- | Inf | unknown
1126.55/1130.90 c 1131s| 400 | 401 | 1498k| 967.8 | 108M | 34 |3435 |8861 |8638 | 11k| 2 | 306 | 31 | 0.000000e+00 | -- | Inf | unknown
1178.05/1182.62 c 1183s| 500 | 501 | 1589k| 963.9 | 109M | 34 |3435 |8871 |8615 | 15k| 1 | 321 | 31 | 0.000000e+00 | -- | Inf | unknown
1209.13/1213.80 c 1214s| 600 | 601 | 1647k| 940.9 | 111M | 38 |3435 |8868 |8479 | 17k| 1 | 322 | 31 | 0.000000e+00 | -- | Inf | unknown
1241.10/1246.00 c 1246s| 700 | 701 | 1701k| 918.0 | 112M | 38 |3435 |8860 |8643 | 19k| 2 | 328 | 31 | 0.000000e+00 | -- | Inf | unknown
1278.95/1283.93 c 1284s| 800 | 801 | 1792k| 917.7 | 112M | 38 |3435 |8853 |8606 | 20k| 1 | 332 | 31 | 0.000000e+00 | -- | Inf | unknown
1329.06/1334.29 c 1334s| 900 | 901 | 1889k| 920.1 | 112M | 38 |3435 |8843 |8615 | 23k| 1 | 338 | 31 | 0.000000e+00 | -- | Inf | unknown
1356.56/1361.87 c 1362s| 1000 | 1001 | 1940k| 900.0 | 113M | 38 |3435 |8870 |8487 | 24k| 1 | 367 | 31 | 0.000000e+00 | -- | Inf | unknown
1392.12/1397.51 c 1398s| 1100 | 1101 | 2002k| 887.1 | 113M | 38 |3435 |8875 |8598 | 25k| 1 | 388 | 31 | 0.000000e+00 | -- | Inf | unknown
1413.84/1419.33 c 1419s| 1200 | 1201 | 2048k| 868.0 | 114M | 38 |3435 |8875 |8485 | 27k| 1 | 394 | 31 | 0.000000e+00 | -- | Inf | unknown
1443.82/1449.45 c 1449s| 1300 | 1301 | 2104k| 854.9 | 115M | 38 |3435 |8886 |8489 | 29k| 1 | 410 | 31 | 0.000000e+00 | -- | Inf | unknown
1472.51/1478.28 c 1478s| 1400 | 1401 | 2158k| 842.2 | 115M | 38 |3435 |8901 |8611 | 31k| 1 | 435 | 31 | 0.000000e+00 | -- | Inf | unknown
1492.24/1498.07 c 1498s| 1500 | 1501 | 2197k| 824.3 | 116M | 38 |3435 |8904 |8652 | 33k| 2 | 440 | 31 | 0.000000e+00 | -- | Inf | unknown
1528.90/1534.84 c 1535s| 1600 | 1601 | 2258k| 816.3 | 116M | 38 |3435 |8894 |8603 | 34k| 1 | 458 | 31 | 0.000000e+00 | -- | Inf | unknown
1550.71/1556.72 c 1557s| 1700 | 1701 | 2299k| 801.7 | 116M | 38 |3435 |8904 |8600 | 35k| 1 | 479 | 31 | 0.000000e+00 | -- | Inf | unknown
1565.15/1571.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1565.15/1571.26 c 1571s| 1800 | 1801 | 2326k| 782.7 | 117M | 38 |3435 |8887 |8607 | 36k| 1 | 481 | 31 | 0.000000e+00 | -- | Inf | unknown
1572.13/1578.24 c 1578s| 1900 | 1901 | 2341k| 761.4 | 117M | 38 |3435 |8879 |8178 | 36k| 2 | 481 | 31 | 0.000000e+00 | -- | Inf | unknown
1586.97/1593.19 c 1593s| 2000 | 2001 | 2369k| 745.4 | 118M | 38 |3435 |8871 |8606 | 36k| 1 | 481 | 31 | 0.000000e+00 | -- | Inf | unknown
1602.31/1608.52 c 1609s| 2100 | 2101 | 2397k| 730.8 | 119M | 38 |3435 |8879 |8333 | 37k| 1 | 505 | 31 | 0.000000e+00 | -- | Inf | unknown
1626.02/1632.34 c 1632s| 2200 | 2201 | 2446k| 723.5 | 125M | 42 |3435 |8867 |8609 | 39k| 1 | 505 | 31 | 0.000000e+00 | -- | Inf | unknown
1657.89/1664.39 c 1664s| 2300 | 2301 | 2504k| 719.1 | 125M | 42 |3435 |8883 |8615 | 40k| 1 | 535 | 31 | 0.000000e+00 | -- | Inf | unknown
1684.78/1691.35 c 1691s| 2400 | 2401 | 2556k| 713.4 | 126M | 42 |3435 |8885 |8611 | 42k| 1 | 546 | 31 | 0.000000e+00 | -- | Inf | unknown
1696.73/1703.37 c 1703s| 2500 | 2501 | 2579k| 699.6 | 126M | 42 |3435 |8880 |8178 | 43k| 2 | 546 | 31 | 0.000000e+00 | -- | Inf | unknown
1726.54/1733.23 c 1733s| 2600 | 2601 | 2641k| 697.6 | 128M | 42 |3435 |8877 |8605 | 44k| 1 | 551 | 31 | 0.000000e+00 | -- | Inf | unknown
1750.67/1757.46 c 1757s| 2700 | 2701 | 2687k| 691.1 | 130M | 42 |3435 |8873 |8608 | 45k| 1 | 564 | 31 | 0.000000e+00 | -- | Inf | unknown
1779.20/1786.03 c 1786s| 2800 | 2799 | 2742k| 687.5 | 131M | 42 |3435 |8882 |8627 | 47k| 1 | 587 | 31 | 0.000000e+00 | -- | Inf | unknown
1804.73/1811.67 c 1812s| 2900 | 2899 | 2797k| 684.1 | 132M | 42 |3435 |8888 |8604 | 49k| 1 | 602 | 31 | 0.000000e+00 | -- | Inf | unknown
1839.24/1846.22 c 1846s| 3000 | 2999 | 2867k| 684.3 | 133M | 42 |3435 |8881 |8588 | 51k| 1 | 610 | 31 | 0.000000e+00 | -- | Inf | unknown
1856.70/1863.75 c 1864s| 3100 | 3099 | 2904k| 676.8 | 133M | 42 |3435 |8874 |8605 | 52k| 1 | 610 | 31 | 0.000000e+00 | -- | Inf | unknown
1893.51/1900.67 c 1901s| 3200 | 3197 | 2978k| 678.4 | 135M | 43 |3435 |8891 |8612 | 54k| 1 | 634 | 31 | 0.000000e+00 | -- | Inf | unknown
1911.26/1918.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1911.26/1918.42 c 1918s| 3300 | 3297 | 3015k| 671.2 | 136M | 43 |3435 |8905 |8616 | 55k| 2 | 653 | 31 | 0.000000e+00 | -- | Inf | unknown
1940.09/1947.32 c 1947s| 3400 | 3397 | 3074k| 669.4 | 137M | 43 |3435 |8914 |8781 | 57k| 1 | 670 | 31 | 0.000000e+00 | -- | Inf | unknown
1966.83/1974.14 c 1974s| 3500 | 3497 | 3134k| 667.9 | 139M | 44 |3435 |8907 |8616 | 59k| 1 | 670 | 31 | 0.000000e+00 | -- | Inf | unknown
1997.05/2004.42 c 2004s| 3600 | 3597 | 3197k| 667.2 | 139M | 44 |3435 |8911 |8800 | 62k| 2 | 682 | 31 | 0.000000e+00 | -- | Inf | unknown
2044.43/2052.00 c 2052s| 3700 | 3697 | 3281k| 670.8 | 141M | 44 |3435 |8908 |8639 | 64k| 1 | 701 | 31 | 0.000000e+00 | -- | Inf | unknown
2062.49/2070.10 c 2070s| 3800 | 3797 | 3326k| 666.1 | 141M | 44 |3435 |8902 |8479 | 66k| 1 | 701 | 31 | 0.000000e+00 | -- | Inf | unknown
2092.51/2100.15 c 2100s| 3900 | 3897 | 3386k| 664.8 | 142M | 44 |3435 |8930 |8753 | 67k| 1 | 740 | 31 | 0.000000e+00 | -- | Inf | unknown
2131.31/2139.05 c 2139s| 4000 | 3997 | 3486k| 671.5 | 143M | 44 |3435 |8921 |8751 | 70k| 1 | 749 | 31 | 0.000000e+00 | -- | Inf | unknown
2158.64/2166.47 c 2166s| 4100 | 4097 | 3539k| 668.7 | 144M | 44 |3435 |8905 |8619 | 72k| 1 | 753 | 31 | 0.000000e+00 | -- | Inf | unknown
2192.26/2200.12 c 2200s| 4200 | 4197 | 3601k| 667.8 | 145M | 44 |3435 |8897 |8771 | 73k| 1 | 756 | 31 | 0.000000e+00 | -- | Inf | unknown
2226.76/2234.75 c 2235s| 4300 | 4297 | 3670k| 668.2 | 145M | 44 |3435 |8917 |8786 | 75k| 1 | 793 | 31 | 0.000000e+00 | -- | Inf | unknown
2253.50/2261.50 c 2262s| 4400 | 4397 | 3721k| 665.4 | 145M | 44 |3435 |8917 |8600 | 77k| 1 | 804 | 31 | 0.000000e+00 | -- | Inf | unknown
2279.03/2287.13 c 2287s| 4500 | 4497 | 3776k| 663.2 | 145M | 44 |3435 |8911 |8636 | 79k| 1 | 807 | 31 | 0.000000e+00 | -- | Inf | unknown
2320.12/2328.38 c 2328s| 4600 | 4597 | 3849k| 664.5 | 146M | 44 |3435 |8891 |8640 | 81k| 1 | 816 | 31 | 0.000000e+00 | -- | Inf | unknown
2347.65/2355.98 c 2356s| 4700 | 4697 | 3909k| 663.2 | 147M | 44 |3435 |8906 |8614 | 83k| 1 | 834 | 31 | 0.000000e+00 | -- | Inf | unknown
2384.05/2392.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2384.05/2392.41 c 2392s| 4800 | 4797 | 3981k| 664.3 | 147M | 44 |3435 |8902 |8603 | 86k| 1 | 844 | 31 | 0.000000e+00 | -- | Inf | unknown
2416.86/2425.31 c 2425s| 4900 | 4897 | 4043k| 663.6 | 147M | 44 |3435 |8903 |8761 | 87k| 1 | 850 | 31 | 0.000000e+00 | -- | Inf | unknown
2441.20/2449.72 c 2450s| 5000 | 4997 | 4093k| 660.8 | 149M | 44 |3435 |8900 |8612 | 89k| 1 | 861 | 31 | 0.000000e+00 | -- | Inf | unknown
2477.51/2486.19 c 2486s| 5100 | 5097 | 4167k| 662.1 | 149M | 44 |3435 |8896 |8756 | 92k| 1 | 869 | 31 | 0.000000e+00 | -- | Inf | unknown
2527.77/2536.54 c 2537s| 5200 | 5197 | 4259k| 666.3 | 150M | 44 |3435 |8899 |8634 | 95k| 1 | 890 | 31 | 0.000000e+00 | -- | Inf | unknown
2548.62/2557.41 c 2557s| 5300 | 5297 | 4305k| 662.9 | 150M | 44 |3435 |8889 |8627 | 97k| 1 | 890 | 31 | 0.000000e+00 | -- | Inf | unknown
2585.42/2594.39 c 2594s| 5400 | 5397 | 4378k| 664.1 | 151M | 44 |3435 |8883 |8601 | 99k| 1 | 893 | 31 | 0.000000e+00 | -- | Inf | unknown
2628.41/2637.46 c 2637s| 5500 | 5497 | 4473k| 668.3 | 152M | 44 |3435 |8883 |8610 | 102k| 1 | 906 | 31 | 0.000000e+00 | -- | Inf | unknown
2660.72/2669.82 c 2670s| 5600 | 5597 | 4543k| 668.9 | 152M | 44 |3435 |8888 |8606 | 105k| 1 | 920 | 31 | 0.000000e+00 | -- | Inf | unknown
2698.92/2708.19 c 2708s| 5700 | 5697 | 4614k| 669.4 | 153M | 44 |3435 |8916 |8758 | 107k| 1 | 958 | 31 | 0.000000e+00 | -- | Inf | unknown
2733.53/2742.84 c 2743s| 5800 | 5797 | 4688k| 670.5 | 155M | 44 |3435 |8920 |8752 | 110k| 1 | 969 | 31 | 0.000000e+00 | -- | Inf | unknown
2771.12/2780.59 c 2781s| 5900 | 5897 | 4768k| 672.4 | 155M | 44 |3435 |8913 |8759 | 113k| 1 | 995 | 31 | 0.000000e+00 | -- | Inf | unknown
2807.13/2816.60 c 2817s| 6000 | 5997 | 4838k| 672.7 | 155M | 47 |3435 |8927 |8774 | 115k| 1 |1019 | 31 | 0.000000e+00 | -- | Inf | unknown
2835.75/2845.36 c 2845s| 6100 | 6097 | 4897k| 671.6 | 157M | 47 |3435 |8921 |8609 | 117k| 2 |1029 | 31 | 0.000000e+00 | -- | Inf | unknown
2874.25/2883.98 c 2884s| 6200 | 6197 | 4980k| 673.7 | 157M | 47 |3435 |8918 |8796 | 120k| 2 |1043 | 31 | 0.000000e+00 | -- | Inf | unknown
2910.75/2920.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2910.75/2920.56 c 2921s| 6300 | 6297 | 5057k| 675.1 | 157M | 47 |3435 |8938 |8768 | 124k| 1 |1075 | 31 | 0.000000e+00 | -- | Inf | unknown
2969.30/2979.27 c 2979s| 6400 | 6397 | 5188k| 683.6 | 159M | 47 |3435 |8939 |8771 | 127k| 1 |1090 | 31 | 0.000000e+00 | -- | Inf | unknown
3005.11/3015.13 c 3015s| 6500 | 6497 | 5261k| 684.2 | 159M | 47 |3435 |8933 |8614 | 129k| 1 |1102 | 31 | 0.000000e+00 | -- | Inf | unknown
3046.09/3056.29 c 3056s| 6600 | 6597 | 5349k| 686.7 | 160M | 47 |3435 |8917 |8614 | 132k| 1 |1120 | 31 | 0.000000e+00 | -- | Inf | unknown
3071.53/3081.70 c 3082s| 6700 | 6697 | 5405k| 685.1 | 160M | 47 |3435 |8922 |8480 | 134k| 1 |1134 | 31 | 0.000000e+00 | -- | Inf | unknown
3115.91/3126.25 c 3126s| 6800 | 6797 | 5488k| 687.0 | 161M | 47 |3435 |8932 |8625 | 137k| 1 |1150 | 31 | 0.000000e+00 | -- | Inf | unknown
3139.76/3150.13 c 3150s| 6900 | 6897 | 5541k| 685.0 | 163M | 47 |3435 |8966 |8768 | 139k| 2 |1193 | 31 | 0.000000e+00 | -- | Inf | unknown
3186.83/3197.35 c 3197s| 7000 | 6997 | 5634k| 688.1 | 163M | 47 |3435 |8955 |8765 | 142k| 1 |1202 | 31 | 0.000000e+00 | -- | Inf | unknown
3219.94/3230.55 c 3231s| 7100 | 7097 | 5702k| 688.0 | 163M | 47 |3435 |8961 |8501 | 144k| 1 |1236 | 31 | 0.000000e+00 | -- | Inf | unknown
3249.06/3259.75 c 3260s| 7200 | 7197 | 5758k| 686.5 | 163M | 47 |3435 |8950 |8613 | 146k| 1 |1237 | 31 | 0.000000e+00 | -- | Inf | unknown
3281.38/3292.13 c 3292s| 7300 | 7297 | 5824k| 686.1 | 163M | 47 |3435 |8941 |8639 | 148k| 1 |1238 | 31 | 0.000000e+00 | -- | Inf | unknown
3315.58/3326.49 c 3326s| 7400 | 7397 | 5890k| 685.8 | 164M | 48 |3435 |8950 |8765 | 150k| 1 |1263 | 31 | 0.000000e+00 | -- | Inf | unknown
3345.21/3356.14 c 3356s| 7500 | 7497 | 5954k| 685.2 | 164M | 48 |3435 |8952 |8782 | 153k| 1 |1279 | 31 | 0.000000e+00 | -- | Inf | unknown
3368.44/3379.40 c 3379s| 7600 | 7597 | 6000k| 682.6 | 164M | 48 |3435 |8936 |8627 | 154k| 2 |1279 | 31 | 0.000000e+00 | -- | Inf | unknown
3411.53/3422.61 c 3423s| 7700 | 7697 | 6081k| 684.1 | 164M | 48 |3435 |8922 |8612 | 156k| 1 |1283 | 31 | 0.000000e+00 | -- | Inf | unknown
3442.15/3453.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3442.15/3453.39 c 3453s| 7800 | 7797 | 6144k| 683.5 | 164M | 48 |3435 |8936 |8623 | 158k| 1 |1309 | 31 | 0.000000e+00 | -- | Inf | unknown
3457.21/3468.43 c 3468s| 7900 | 7897 | 6181k| 680.0 | 165M | 56 |3435 |8937 |8853 | 160k| 1 |1316 | 31 | 0.000000e+00 | -- | Inf | unknown
3478.05/3489.36 c 3489s| 8000 | 7997 | 6228k| 677.6 | 165M | 56 |3435 |8939 |8862 | 162k| 1 |1326 | 31 | 0.000000e+00 | -- | Inf | unknown
3491.11/3502.41 c 3502s| 8100 | 8085 | 6255k| 673.2 | 166M | 88 |3435 |8945 |8934 | 162k| 1 |1335 | 31 | 0.000000e+00 | -- | Inf | unknown
3498.89/3510.29 c 3510s| 8200 | 8185 | 6270k| 667.5 | 166M | 120 |3435 |8947 |8954 | 162k| 2 |1339 | 31 | 0.000000e+00 | -- | Inf | unknown
3501.89/3513.20 c 3513s| 8300 | 8283 | 6280k| 661.5 | 171M | 201 |3435 |8945 |9107 | 162k| 1 |1339 | 31 | 0.000000e+00 | -- | Inf | unknown
3502.58/3513.92 c 3514s| 8400 | 8372 | 6282k| 654.7 | 172M | 288 |3435 |8953 | 0 | 162k| 0 |1347 | 31 | 0.000000e+00 | -- | Inf | unknown
3512.06/3523.48 c 3523s| 8500 | 8436 | 6300k| 649.8 | 174M | 288 |3435 |8952 |8865 | 163k| 1 |1347 | 31 | 0.000000e+00 | -- | Inf | unknown
3513.35/3524.73 c 3525s| 8600 | 8486 | 6303k| 643.3 | 174M | 288 |3435 |8950 |9118 | 163k| 1 |1347 | 31 | 0.000000e+00 | -- | Inf | unknown
3514.15/3525.57 c 3526s| 8700 | 8514 | 6305k| 636.9 | 174M | 288 |3435 |8948 | 0 | 163k| 0 |1347 | 31 | 0.000000e+00 | -- | Inf | unknown
3514.55/3525.95 c 3526s| 8800 | 8540 | 6306k| 630.6 | 174M | 308 |3435 |8948 |9121 | 163k| 1 |1347 | 31 | 0.000000e+00 | -- | Inf | unknown
3517.44/3528.87 c 3529s| 8900 | 8588 | 6311k| 624.7 | 176M | 320 |3435 |9177 |9122 | 163k| 1 |1613 | 31 | 0.000000e+00 | -- | Inf | unknown
3519.43/3530.81 c 3531s| 9000 | 8616 | 6314k| 618.8 | 176M | 333 |3435 |9184 |9125 | 163k| 1 |1853 | 31 | 0.000000e+00 | -- | Inf | unknown
3519.83/3531.23 c 3531s| 9100 | 8624 | 6315k| 612.8 | 177M | 348 |3435 |9084 |9125 | 163k| 1 |1893 | 31 | 0.000000e+00 | -- | Inf | unknown
3520.23/3531.62 c 3532s| 9200 | 8590 | 6317k| 607.0 | 177M | 348 |3435 |9050 | 0 | 163k| 0 |1898 | 31 | 0.000000e+00 | -- | Inf | unknown
3521.83/3533.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3521.83/3533.25 c 3533s| 9300 | 8633 | 6322k| 601.7 | 178M | 348 |3435 |9068 |9018 | 163k| 1 |1918 | 31 | 0.000000e+00 | -- | Inf | unknown
3525.81/3537.24 c 3537s| 9400 | 8677 | 6332k| 596.9 | 178M | 348 |3435 |9081 | 0 | 163k| 0 |1938 | 31 | 0.000000e+00 | -- | Inf | unknown
3527.41/3538.85 c 3539s| 9500 | 8726 | 6338k| 591.7 | 179M | 348 |3435 |9100 |9037 | 163k| 1 |1958 | 31 | 0.000000e+00 | -- | Inf | unknown
3528.41/3539.86 c 3540s| 9600 | 8794 | 6342k| 586.5 | 179M | 348 |3435 |9098 |9047 | 163k| 1 |1958 | 31 | 0.000000e+00 | -- | Inf | unknown
3528.91/3540.39 c 3540s| 9700 | 8854 | 6344k| 581.3 | 182M | 390 |3435 |9148 |9048 | 163k| 1 |2008 | 31 | 0.000000e+00 | -- | Inf | unknown
3529.90/3541.39 c 3541s| 9800 | 8898 | 6348k| 576.3 | 183M | 390 |3435 |9179 |9042 | 163k| 1 |2118 | 31 | 0.000000e+00 | -- | Inf | unknown
3530.50/3541.92 c 3542s| 9900 | 8895 | 6351k| 571.3 | 183M | 390 |3435 |9208 |9048 | 163k| 1 |2188 | 31 | 0.000000e+00 | -- | Inf | unknown
3531.00/3542.40 c 3542s| 10000 | 8918 | 6352k| 566.2 | 187M | 390 |3435 |9264 |9048 | 163k| 1 |2288 | 31 | 0.000000e+00 | -- | Inf | unknown
3531.50/3542.98 c 3543s| 10100 | 8900 | 6354k| 561.3 | 193M | 390 |3435 |9370 | 0 | 163k| 0 |2443 | 31 | 0.000000e+00 | -- | Inf | unknown
3532.20/3543.60 c 3544s| 10200 | 8901 | 6356k| 556.5 | 196M | 390 |3435 |9431 |9048 | 163k| 1 |2600 | 31 | 0.000000e+00 | -- | Inf | unknown
3532.79/3544.27 c 3544s| 10300 | 8892 | 6359k| 551.8 | 199M | 390 |3435 |9484 | 0 | 163k| 0 |2767 | 31 | 0.000000e+00 | -- | Inf | unknown
3533.49/3544.95 c 3545s| 10400 | 8897 | 6362k| 547.3 | 203M | 390 |3435 |9416 |9048 | 163k| 1 |2912 | 31 | 0.000000e+00 | -- | Inf | unknown
3534.29/3545.75 c 3546s| 10500 | 8890 | 6364k| 542.8 | 206M | 390 |3435 |9534 | 0 | 163k| 0 |3121 | 31 | 0.000000e+00 | -- | Inf | unknown
3534.79/3546.24 c 3546s| 10600 | 8884 | 6366k| 538.3 | 206M | 390 |3435 |9406 |9048 | 163k| 1 |3192 | 31 | 0.000000e+00 | -- | Inf | unknown
3535.29/3546.73 c 3547s| 10700 | 8950 | 6368k| 533.8 | 207M | 390 |3435 |9393 |9048 | 163k| 1 |3222 | 31 | 0.000000e+00 | -- | Inf | unknown
3535.79/3547.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3535.79/3547.22 c 3547s| 10800 | 8969 | 6370k| 529.5 | 207M | 391 |3435 |9435 |9048 | 163k| 1 |3314 | 31 | 0.000000e+00 | -- | Inf | unknown
3536.28/3547.76 c 3548s| 10900 | 8949 | 6372k| 525.2 | 207M | 391 |3435 |9497 | 0 | 163k| 0 |3411 | 31 | 0.000000e+00 | -- | Inf | unknown
3536.69/3548.19 c 3548s| 11000 | 8940 | 6373k| 521.0 | 207M | 391 |3435 |9471 |9048 | 163k| 1 |3476 | 31 | 0.000000e+00 | -- | Inf | unknown
3537.28/3548.71 c 3549s| 11100 | 8899 | 6375k| 516.8 | 208M | 391 |3435 |9500 |9048 | 163k| 1 |3565 | 31 | 0.000000e+00 | -- | Inf | unknown
3537.69/3549.16 c 3549s| 11200 | 8889 | 6377k| 512.8 | 208M | 391 |3435 |9507 | 0 | 163k| 0 |3635 | 31 | 0.000000e+00 | -- | Inf | unknown
3538.28/3549.73 c 3550s| 11300 | 8895 | 6379k| 508.8 | 208M | 391 |3435 |9525 | 0 | 163k| 0 |3718 | 31 | 0.000000e+00 | -- | Inf | unknown
3539.08/3550.59 c 3551s| 11400 | 8891 | 6382k| 505.0 | 211M | 391 |3435 |9605 |9048 | 163k| 1 |3904 | 31 | 0.000000e+00 | -- | Inf | unknown
3539.69/3551.13 c 3551s| 11500 | 8896 | 6384k| 501.1 | 212M | 391 |3435 |9584 | 0 | 163k| 0 |3946 | 31 | 0.000000e+00 | -- | Inf | unknown
3540.18/3551.61 c 3552s| 11600 | 8892 | 6385k| 497.2 | 213M | 391 |3435 |9615 | 0 | 163k| 0 |4045 | 31 | 0.000000e+00 | -- | Inf | unknown
3540.68/3552.13 c 3552s| 11700 | 8893 | 6387k| 493.5 | 213M | 391 |3435 |9633 | 0 | 163k| 0 |4144 | 31 | 0.000000e+00 | -- | Inf | unknown
3541.08/3552.57 c 3553s| 11800 | 8895 | 6389k| 489.8 | 213M | 391 |3435 |9643 |9048 | 163k| 1 |4187 | 31 | 0.000000e+00 | -- | Inf | unknown
3541.48/3552.92 c 3553s| 11900 | 8896 | 6390k| 486.1 | 213M | 391 |3435 |9619 | 0 | 163k| 0 |4221 | 31 | 0.000000e+00 | -- | Inf | unknown
3542.17/3553.62 c 3554s| 12000 | 8893 | 6393k| 482.6 | 213M | 391 |3435 |9644 |9048 | 163k| 1 |4289 | 31 | 0.000000e+00 | -- | Inf | unknown
3542.77/3554.23 c 3554s| 12100 | 8900 | 6396k| 479.1 | 214M | 391 |3435 |9690 |9048 | 163k| 1 |4411 | 31 | 0.000000e+00 | -- | Inf | unknown
3543.57/3555.02 c 3555s| 12200 | 8896 | 6399k| 475.7 | 216M | 391 |3435 |9766 | 0 | 163k| 0 |4531 | 31 | 0.000000e+00 | -- | Inf | unknown
3544.07/3555.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3544.07/3555.58 c 3556s| 12300 | 8929 | 6400k| 472.3 | 216M | 391 |3435 |9774 |9048 | 163k| 1 |4611 | 31 | 0.000000e+00 | -- | Inf | unknown
3544.76/3556.20 c 3556s| 12400 | 8881 | 6403k| 469.0 | 217M | 391 |3435 |9757 | 0 | 163k| 0 |4704 | 31 | 0.000000e+00 | -- | Inf | unknown
3545.76/3557.26 c 3557s| 12500 | 8961 | 6407k| 465.8 | 217M | 391 |3435 |9711 |9043 | 163k| 1 |4738 | 31 | 0.000000e+00 | -- | Inf | unknown
3546.76/3558.20 c 3558s| 12600 | 8970 | 6411k| 462.7 | 217M | 391 |3435 |9807 |9048 | 163k| 1 |4893 | 31 | 0.000000e+00 | -- | Inf | unknown
3547.66/3559.10 c 3559s| 12700 | 8973 | 6414k| 459.5 | 218M | 391 |3435 |9923 | 0 | 163k| 0 |5078 | 31 | 0.000000e+00 | -- | Inf | unknown
3548.25/3559.77 c 3560s| 12800 | 8969 | 6417k| 456.4 | 219M | 391 |3435 |9907 | 0 | 163k| 0 |5221 | 31 | 0.000000e+00 | -- | Inf | unknown
3549.05/3560.53 c 3561s| 12900 | 8998 | 6420k| 453.4 | 219M | 398 |3435 |9846 | 0 | 163k| 0 |5292 | 31 | 0.000000e+00 | -- | Inf | unknown
3549.84/3561.30 c 3561s| 13000 | 8996 | 6423k| 450.4 | 219M | 398 |3435 |9940 | 0 | 163k| 0 |5462 | 31 | 0.000000e+00 | -- | Inf | unknown
3550.55/3562.08 c 3562s| 13100 | 9009 | 6426k| 447.4 | 220M | 410 |3435 |9937 |9043 | 163k| 1 |5565 | 31 | 0.000000e+00 | -- | Inf | unknown
3551.14/3562.63 c 3563s| 13200 | 9043 | 6428k| 444.4 | 220M | 410 |3435 |9845 | 0 | 163k| 0 |5620 | 31 | 0.000000e+00 | -- | Inf | unknown
3551.94/3563.48 c 3563s| 13300 | 9022 | 6431k| 441.5 | 221M | 410 |3435 |9940 |9047 | 163k| 1 |5798 | 31 | 0.000000e+00 | -- | Inf | unknown
3552.84/3564.34 c 3564s| 13400 | 9025 | 6435k| 438.7 | 221M | 410 |3435 | 10k| 0 | 163k| 0 |5996 | 31 | 0.000000e+00 | -- | Inf | unknown
3553.64/3565.12 c 3565s| 13500 | 9025 | 6438k| 435.9 | 221M | 410 |3435 | 10k|9047 | 163k| 1 |6135 | 31 | 0.000000e+00 | -- | Inf | unknown
3554.33/3565.86 c 3566s| 13600 | 9025 | 6440k| 433.1 | 222M | 410 |3435 | 10k|9047 | 163k| 1 |6298 | 31 | 0.000000e+00 | -- | Inf | unknown
3555.13/3566.66 c 3567s| 13700 | 9030 | 6443k| 430.3 | 222M | 410 |3435 | 10k|9047 | 163k| 1 |6533 | 31 | 0.000000e+00 | -- | Inf | unknown
3556.03/3567.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3556.03/3567.53 c 3568s| 13800 | 9034 | 6446k| 427.6 | 223M | 410 |3435 | 10k| 0 | 163k| 0 |6784 | 31 | 0.000000e+00 | -- | Inf | unknown
3556.72/3568.28 c 3568s| 13900 | 9041 | 6449k| 425.0 | 223M | 410 |3435 | 10k| 0 | 163k| 0 |6886 | 31 | 0.000000e+00 | -- | Inf | unknown
3557.42/3568.90 c 3569s| 14000 | 9029 | 6452k| 422.3 | 223M | 410 |3435 | 10k|9047 | 163k| 1 |7032 | 31 | 0.000000e+00 | -- | Inf | unknown
3558.32/3569.82 c 3570s| 14100 | 9038 | 6455k| 419.8 | 224M | 410 |3435 | 10k| 0 | 163k| 0 |7197 | 31 | 0.000000e+00 | -- | Inf | unknown
3559.42/3570.90 c 3571s| 14200 | 9037 | 6460k| 417.3 | 224M | 410 |3435 | 10k|9047 | 163k| 1 |7332 | 31 | 0.000000e+00 | -- | Inf | unknown
3560.31/3571.80 c 3572s| 14300 | 9039 | 6464k| 414.9 | 224M | 410 |3435 | 10k| 0 | 163k| 0 |7474 | 31 | 0.000000e+00 | -- | Inf | unknown
3561.32/3572.83 c 3573s| 14400 | 9029 | 6468k| 412.5 | 225M | 410 |3435 | 10k| 0 | 163k| 0 |7633 | 31 | 0.000000e+00 | -- | Inf | unknown
3562.32/3573.84 c 3574s| 14500 | 9034 | 6472k| 410.1 | 226M | 410 |3435 | 10k|9047 | 163k| 1 |7784 | 31 | 0.000000e+00 | -- | Inf | unknown
3563.01/3574.55 c 3575s| 14600 | 9037 | 6475k| 407.6 | 226M | 410 |3435 | 10k| 0 | 163k| 0 |7937 | 31 | 0.000000e+00 | -- | Inf | unknown
3564.01/3575.51 c 3576s| 14700 | 9033 | 6478k| 405.3 | 226M | 410 |3435 | 10k|9047 | 163k| 1 |8162 | 31 | 0.000000e+00 | -- | Inf | unknown
3564.71/3576.24 c 3576s| 14800 | 9037 | 6481k| 402.9 | 226M | 410 |3435 | 10k|9047 | 163k| 1 |8257 | 31 | 0.000000e+00 | -- | Inf | unknown
3565.31/3576.88 c 3577s| 14900 | 9049 | 6484k| 400.5 | 226M | 410 |3435 | 10k|9047 | 163k| 1 |8361 | 31 | 0.000000e+00 | -- | Inf | unknown
3566.20/3577.70 c 3578s| 15000 | 9050 | 6487k| 398.2 | 227M | 410 |3435 | 10k|9047 | 163k| 1 |8517 | 31 | 0.000000e+00 | -- | Inf | unknown
3567.89/3579.46 c 3579s| 15100 | 9051 | 6489k| 395.9 | 228M | 410 |3435 | 10k|9047 | 163k| 1 |8619 | 31 | 0.000000e+00 | -- | Inf | unknown
3568.69/3580.29 c 3580s| 15200 | 9045 | 6493k| 393.7 | 228M | 410 |3435 | 10k| 0 | 163k| 0 |8723 | 31 | 0.000000e+00 | -- | Inf | unknown
3569.69/3581.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3569.69/3581.27 c 3581s| 15300 | 9044 | 6496k| 391.5 | 228M | 410 |3435 | 10k| 0 | 163k| 0 |8973 | 31 | 0.000000e+00 | -- | Inf | unknown
3570.49/3582.06 c 3582s| 15400 | 9046 | 6499k| 389.3 | 228M | 410 |3435 | 10k| 0 | 163k| 0 |9124 | 31 | 0.000000e+00 | -- | Inf | unknown
3571.18/3582.76 c 3583s| 15500 | 9046 | 6502k| 387.1 | 229M | 410 |3435 | 10k|9047 | 163k| 1 |9211 | 31 | 0.000000e+00 | -- | Inf | unknown
3571.78/3583.39 c 3583s| 15600 | 9049 | 6504k| 384.9 | 229M | 410 |3435 | 10k|9047 | 163k| 0 |9317 | 31 | 0.000000e+00 | -- | Inf | unknown
3572.59/3584.14 c 3584s| 15700 | 9046 | 6507k| 382.8 | 229M | 410 |3435 | 10k| 0 | 163k| 0 |9445 | 31 | 0.000000e+00 | -- | Inf | unknown
3573.38/3585.00 c 3585s| 15800 | 9052 | 6511k| 380.7 | 229M | 410 |3435 | 10k| 0 | 163k| 0 |9618 | 31 | 0.000000e+00 | -- | Inf | unknown
3574.48/3586.03 c 3586s| 15900 | 9049 | 6515k| 378.7 | 231M | 410 |3435 | 10k| 0 | 163k| 0 |9765 | 31 | 0.000000e+00 | -- | Inf | unknown
3575.37/3586.93 c 3587s| 16000 | 9052 | 6519k| 376.7 | 231M | 410 |3435 | 10k| 0 | 163k| 0 |9834 | 31 | 0.000000e+00 | -- | Inf | unknown
3576.27/3587.85 c 3588s| 16100 | 9046 | 6522k| 374.7 | 231M | 410 |3435 | 10k|9047 | 163k| 1 |9950 | 31 | 0.000000e+00 | -- | Inf | unknown
3577.07/3588.62 c 3589s| 16200 | 9049 | 6525k| 372.7 | 231M | 410 |3435 | 10k| 0 | 163k| 0 | 10k| 31 | 0.000000e+00 | -- | Inf | unknown
3577.96/3589.57 c 3590s| 16300 | 9047 | 6529k| 370.8 | 231M | 410 |3435 | 10k|9047 | 163k| 1 | 10k| 31 | 0.000000e+00 | -- | Inf | unknown
3578.66/3590.24 c 3590s| 16400 | 9050 | 6531k| 368.8 | 231M | 410 |3435 | 10k| 0 | 163k| 0 | 10k| 31 | 0.000000e+00 | -- | Inf | unknown
3579.47/3591.03 c 3591s| 16500 | 9052 | 6535k| 366.9 | 232M | 410 |3435 | 10k|9047 | 163k| 1 | 10k| 31 | 0.000000e+00 | -- | Inf | unknown
3580.16/3591.72 c 3592s| 16600 | 9046 | 6537k| 365.0 | 232M | 410 |3435 | 10k| 0 | 163k| 0 | 10k| 31 | 0.000000e+00 | -- | Inf | unknown
3581.06/3592.62 c 3593s| 16700 | 9053 | 6541k| 363.1 | 233M | 410 |3435 | 10k|9047 | 163k| 1 | 10k| 31 | 0.000000e+00 | -- | Inf | unknown
3581.65/3593.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3581.65/3593.24 c 3593s| 16800 | 9050 | 6543k| 361.2 | 233M | 410 |3435 | 10k|9047 | 163k| 1 | 10k| 31 | 0.000000e+00 | -- | Inf | unknown
3582.25/3593.82 c 3594s| 16900 | 9048 | 6545k| 359.3 | 233M | 410 |3435 | 10k|9047 | 163k| 1 | 11k| 31 | 0.000000e+00 | -- | Inf | unknown
3583.05/3594.65 c 3595s| 17000 | 9048 | 6548k| 357.5 | 233M | 410 |3435 | 10k|9047 | 163k| 1 | 11k| 31 | 0.000000e+00 | -- | Inf | unknown
3583.75/3595.38 c 3595s| 17100 | 9044 | 6551k| 355.7 | 234M | 410 |3435 | 11k| 0 | 163k| 0 | 11k| 31 | 0.000000e+00 | -- | Inf | unknown
3584.45/3596.09 c 3596s| 17200 | 9041 | 6553k| 353.8 | 234M | 410 |3435 | 10k|9047 | 163k| 1 | 11k| 31 | 0.000000e+00 | -- | Inf | unknown
3585.34/3596.97 c 3597s| 17300 | 9032 | 6557k| 352.1 | 234M | 410 |3435 | 10k|9047 | 163k| 1 | 11k| 31 | 0.000000e+00 | -- | Inf | unknown
3585.45/3597.00 c
3585.45/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.45/3597.00 c Solving Time (sec) : 3597.00
3585.45/3597.00 c Solving Nodes : 17303 (total of 18352 nodes in 2 runs)
3585.45/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.45/3597.00 c Dual Bound : +0.00000000000000e+00
3585.45/3597.00 c Gap : infinite
3585.45/3597.00 s UNKNOWN
3585.45/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.45/3597.00 c Total Time : 3597.00
3585.45/3597.00 c solving : 3597.00
3585.45/3597.00 c presolving : 0.37 (included in solving)
3585.45/3597.00 c reading : 0.02 (included in solving)
3585.45/3597.00 c copying : 1.51 (105 #copies) (minimal 0.01, maximal 0.03, average 0.01)
3585.45/3597.00 c Original Problem :
3585.45/3597.00 c Problem name : HOME/instance-4512801-1751216655.opb
3585.45/3597.00 c Variables : 4288 (4288 binary, 0 integer, 0 continuous)
3585.45/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.45/3597.00 c Constraints : 9488 initial, 9488 maximal
3585.45/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.45/3597.00 c Presolved Problem :
3585.45/3597.00 c Problem name : t_HOME/instance-4512801-1751216655.opb
3585.45/3597.00 c Variables : 3435 (3435 binary, 0 integer, 0 continuous)
3585.45/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.45/3597.00 c Constraints : 8781 initial, 11046 maximal
3585.45/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.45/3597.00 c Nonzeros : 42040 constraint, 1253 clique table
3585.45/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.45/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c gateextraction : 0.02 0.00 6 0 0 0 0 0 96 32 0 0
3585.45/3597.00 c implics : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c milp : 0.04 0.00 1 2 49 0 0 0 0 0 0 0
3585.45/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c trivial : 0.00 0.00 19 52 0 0 0 0 0 0 0 0
3585.45/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c dualfix : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c probing : 0.09 0.00 1 0 1 0 0 0 0 0 0 0
3585.45/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c knapsack : 0.00 0.00 18 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c setppc : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c and : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c linear : 0.11 0.01 29 652 97 0 652 0 2438 1461 117 0
3585.45/3597.00 c logicor : 0.07 0.01 23 0 0 0 0 0 589 0 0 54
3585.45/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c root node : - - - 0 - - 0 - - - - -
3585.45/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.45/3597.00 c integral : 0 0 0 0 14745 0 0 2036 0 0 0 0 0 0 29490
3585.45/3597.00 c knapsack : 48+ 100 11 325417 0 0 0 0 7131 25 1341 168 26 0 0
3585.45/3597.00 c setppc : 114+ 232 11 334210 0 0 0 0 25988 19 1586 1 0 0 0
3585.45/3597.00 c and : 32 32 10000 301919 0 0 0 2031 14296 3 886 553 507 0 0
3585.45/3597.00 c linear : 1372+ 1383 22 358374 0 0 0 434 1619136 5379 276712 0 0 0 0
3585.45/3597.00 c logicor : 7215+ 9315 22 224213 0 0 0 0 496005 723 91397 5 1 0 0
3585.45/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.45/3597.00 c integral : 25.33 0.00 0.00 0.00 25.33 0.00 0.00 0.00 0.00 0.00
3585.45/3597.00 c knapsack : 0.32 0.00 0.00 0.29 0.00 0.00 0.00 0.00 0.02 0.00
3585.45/3597.00 c setppc : 0.05 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.01 0.00
3585.45/3597.00 c and : 0.18 0.00 0.08 0.09 0.00 0.00 0.00 0.01 0.01 0.00
3585.45/3597.00 c linear : 8.26 0.01 0.01 7.25 0.00 0.00 0.00 0.00 1.00 0.00
3585.45/3597.00 c logicor : 7.32 0.01 0.02 6.82 0.00 0.00 0.00 0.00 0.45 0.00
3585.45/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.45/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.45/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.45/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.45/3597.00 c dualfix : 2 0 0 0
3585.45/3597.00 c genvbounds : 0 0 0 0
3585.45/3597.00 c nlobbt : 0 0 0 0
3585.45/3597.00 c obbt : 0 0 0 0
3585.45/3597.00 c probing : 0 0 0 0
3585.45/3597.00 c pseudoobj : 0 0 0 0
3585.45/3597.00 c redcost : 0 0 0 0
3585.45/3597.00 c rootredcost : 0 0 0 0
3585.45/3597.00 c symmetry : 0 0 0 0
3585.45/3597.00 c vbounds : 76723 0 0 0
3585.45/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.45/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.45/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.45/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.45/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.45/3597.00 c probing : 0.09 0.00 0.09 0.00 0.00 0.00
3585.45/3597.00 c pseudoobj : 0.04 0.00 0.00 0.04 0.00 0.00
3585.45/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3585.45/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3585.45/3597.00 c symmetry : 0.05 0.00 0.01 0.03 0.00 0.00
3585.45/3597.00 c vbounds : 0.31 0.00 0.00 0.31 0.00 0.00
3585.45/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.45/3597.00 c propagation : 11.40 1409 1409 - 225114 540.6 1337 20.6 - - -
3585.45/3597.00 c infeasible LP : 1.36 182 165 - 21695 606.5 99 6.5 106 127.5 0
3585.45/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.45/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.45/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.45/3597.00 c applied globally : 0.07 - - 0 11592 183.9 - - 106 - -
3585.45/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.45/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.45/3597.00 c cut pool : 0.85 - 2661 42 - - 11912 664939 - - - - - (maximal pool size: 4725)
3585.45/3597.00 c aggregation : 0.45 0.00 67 22 0 0 7767 303321 25 106371 106354 17 0
3585.45/3597.00 c > cmir : - - - - - - - 92145 0 15122 15122 0 -
3585.45/3597.00 c > flowcover : - - - - - - - 108642 0 43708 43708 0 -
3585.45/3597.00 c > knapsackcover : - - - - - - - 102534 25 47541 47524 17 -
3585.45/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c clique : 0.03 0.00 22 22 0 0 13 33 0 7 7 0 0
3585.45/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c gomory : 23.11 0.00 65 20 0 0 2759 227759 14 11979 11977 2 0
3585.45/3597.00 c > gomorymi : - - - - - - - 100185 7 5285 5283 2 -
3585.45/3597.00 c > strongcg : - - - - - - - 127574 7 6694 6694 0 -
3585.45/3597.00 c impliedbounds : 0.01 0.00 67 22 0 0 884 61900 0 33507 33507 0 0
3585.45/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c multilinear : 0.00 0.00 154 22 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c rapidlearning : 9.12 0.00 100 2 0 1714 0 0 0 0 0 0 20
3585.45/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3585.45/3597.00 c zerohalf : 2.30 0.00 67 22 0 0 696 71926 168 34563 34416 147 0
3585.45/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.45/3597.00 c hybrid : 1.26 0.00 2514 22 186963 0 478852 4730 0 6816
3585.45/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3585.45/3597.00 c problem variables: 0.00 - 0 0
3585.45/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.45/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c relpscost : 25.31 0.00 14745 0 0 0 0 0 0 29490
3585.45/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.45/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.45/3597.00 c LP solutions : 0.00 - - 0 0
3585.45/3597.00 c relax solutions : 0.00 - - 0 0
3585.45/3597.00 c pseudo solutions : 0.00 - - 0 0
3585.45/3597.00 c strong branching : 0.00 - - 0 0
3585.45/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3585.45/3597.00 c adaptivediving : 33.46 0.00 9 0 0
3585.45/3597.00 c alns : 1.34 0.00 5 0 0
3585.45/3597.00 c bound : 0.00 0.00 0 0 0
3585.45/3597.00 c clique : 0.02 0.00 1 0 0
3585.45/3597.00 c coefdiving : 0.00 0.00 0 0 0
3585.45/3597.00 c completesol : 0.00 0.00 0 0 0
3585.45/3597.00 c conflictdiving : 508.47 0.00 169 0 0
3585.45/3597.00 c crossover : 0.00 0.00 0 0 0
3585.45/3597.00 c dins : 0.00 0.00 0 0 0
3585.45/3597.00 c distributiondivin: 188.67 0.00 52 0 0
3585.45/3597.00 c dks : 0.00 0.00 0 0 0
3585.45/3597.00 c dps : 0.00 0.00 0 0 0
3585.45/3597.00 c dualval : 0.00 0.00 0 0 0
3585.45/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3585.45/3597.00 c feaspump : 42.69 0.00 6 0 0
3585.45/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3585.45/3597.00 c fracdiving : 197.08 0.00 42 0 0
3585.45/3597.00 c gins : 0.00 0.00 0 0 0
3585.45/3597.00 c guideddiving : 0.00 0.00 0 0 0
3585.45/3597.00 c indicator : 0.00 0.00 0 0 0
3585.45/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3585.45/3597.00 c intdiving : 0.00 0.00 0 0 0
3585.45/3597.00 c intshifting : 0.00 0.00 0 0 0
3585.45/3597.00 c linesearchdiving : 186.70 0.00 42 0 0
3585.45/3597.00 c localbranching : 0.00 0.00 0 0 0
3585.45/3597.00 c locks : 0.04 0.00 1 0 0
3585.45/3597.00 c lpface : 0.08 0.00 0 0 0
3585.45/3597.00 c mpec : 0.00 0.00 0 0 0
3585.45/3597.00 c multistart : 0.00 0.00 0 0 0
3585.45/3597.00 c mutation : 0.00 0.00 0 0 0
3585.45/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3585.45/3597.00 c objpscostdiving : 430.32 0.00 2 0 0
3585.45/3597.00 c octane : 0.00 0.00 0 0 0
3585.45/3597.00 c ofins : 0.00 0.00 0 0 0
3585.45/3597.00 c oneopt : 0.01 0.00 0 0 0
3585.45/3597.00 c padm : 0.00 0.00 0 0 0
3585.45/3597.00 c proximity : 0.00 0.00 0 0 0
3585.45/3597.00 c pscostdiving : 210.19 0.00 29 0 0
3585.45/3597.00 c randrounding : 0.62 0.00 2046 0 0
3585.45/3597.00 c rens : 0.00 0.00 0 0 0
3585.45/3597.00 c reoptsols : 0.00 0.00 0 0 0
3585.45/3597.00 c repair : 0.00 0.00 0 0 0
3585.45/3597.00 c rins : 0.01 0.00 0 0 0
3585.45/3597.00 c rootsoldiving : 25.88 0.00 9 0 0
3585.45/3597.00 c rounding : 0.53 0.00 1783 0 0
3585.45/3597.00 c scheduler : 0.00 0.00 0 0 0
3585.45/3597.00 c shiftandpropagate: 0.05 0.00 2 0 0
3585.45/3597.00 c shifting : 1.42 0.00 770 0 0
3585.45/3597.00 c simplerounding : 0.01 0.00 0 0 0
3585.45/3597.00 c subnlp : 0.00 0.00 0 0 0
3585.45/3597.00 c trivial : 0.00 0.00 4 0 0
3585.45/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3585.45/3597.00 c trustregion : 0.00 0.00 0 0 0
3585.45/3597.00 c trysol : 0.00 0.00 0 0 0
3585.45/3597.00 c twoopt : 0.00 0.00 0 0 0
3585.45/3597.00 c undercover : 0.00 0.00 1 0 0
3585.45/3597.00 c vbounds : 0.00 0.00 0 0 0
3585.45/3597.00 c veclendiving : 179.09 0.00 72 0 0
3585.45/3597.00 c zeroobj : 0.00 0.00 0 0 0
3585.45/3597.00 c zirounding : 0.30 0.00 1000 0 0
3585.45/3597.00 c other solutions : - - - 0 -
3585.45/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
3585.45/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
3585.45/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
3585.45/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
3585.45/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
3585.45/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
3585.45/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
3585.45/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
3585.45/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
3585.45/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
3585.45/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.45/3597.00 c primal LP : 1.29 992 0 0.00 0.00 1.29 992
3585.45/3597.00 c dual LP : 1484.69 17474 4027844 231.03 2712.93 0.05 40
3585.45/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3585.45/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.45/3597.00 c resolve instable : 0.00 0 0 0.00 -
3585.45/3597.00 c diving/probing LP: 1984.90 3776 2529308 669.84 1274.27
3585.45/3597.00 c strong branching : 18.04 31 29844 962.71 1653.90 - - 56
3585.45/3597.00 c (at root node) : - 31 29844 962.71 -
3585.45/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3585.45/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3585.45/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3585.45/3597.00 c B&B Tree :
3585.45/3597.00 c number of runs : 2
3585.45/3597.00 c nodes : 17303 (13696 internal, 3607 leaves)
3585.45/3597.00 c feasible leaves : 0
3585.45/3597.00 c infeas. leaves : 3607
3585.45/3597.00 c objective leaves : 0
3585.45/3597.00 c nodes (total) : 18352 (14745 internal, 3607 leaves)
3585.45/3597.00 c nodes left : 9031
3585.45/3597.00 c max depth : 410
3585.45/3597.00 c max depth (total): 410
3585.45/3597.00 c backtracks : 3766 (21.8%)
3585.45/3597.00 c early backtracks : 0 (0.0%)
3585.45/3597.00 c nodes exc. ref. : 0 (0.0%)
3585.45/3597.00 c delayed cutoffs : 1059
3585.45/3597.00 c repropagations : 2245 (40614 domain reductions, 518 cutoffs)
3585.45/3597.00 c avg switch length: 5.58
3585.45/3597.00 c switching time : 3.93
3585.45/3597.00 c Root Node :
3585.45/3597.00 c First LP value : +0.00000000000000e+00
3585.45/3597.00 c First LP Iters : 935 (32383.20 Iter/sec)
3585.45/3597.00 c First LP Time : 0.03
3585.45/3597.00 c Final Dual Bound : +0.00000000000000e+00
3585.45/3597.00 c Final Root Iters : 96945
3585.45/3597.00 c Root LP Estimate : +3.40446288871054e-01
3585.45/3597.00 c Solution :
3585.45/3597.00 c Solutions found : 0 (0 improvements)
3585.45/3597.00 c Primal Bound : -
3585.45/3597.00 c Dual Bound : +0.00000000000000e+00
3585.45/3597.00 c Gap : infinite
3585.45/3597.00 c Integrals : Total Avg%
3585.45/3597.00 c primal-dual : 359700.36 100.00
3585.45/3597.00 c primal-ref : - - (not evaluated)
3585.45/3597.00 c dual-ref : - - (not evaluated)
3585.45/3597.05 c Time complete (sec): 3585.514
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: 63665 MiB (58347 MiB free)
memory of node 1: 64507 MiB (55320 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512801-1751216655/watcher-4512801-1751216655 -o /tmp/evaluation-result-4512801-1751216655/solver-4512801-1751216655 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751214767-27321 --watchdog 3760 pbsolver -f HOME/instance-4512801-1751216655.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27612, runsolver pid=27609
[startup+0.100068 s]*
/proc/loadavg: 4.15 4.10 3.78 5/263 27613
/proc/meminfo: memFree=116359960/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=54080 memory=44564 CPUtime=0.09 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 9950 0 0 0 8 1 0 0 20 0 1 0 37344376 55377920 11141 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 13520 11141 2528 2575 0 10427 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54080 KiB
Current children cumulated memory: 44564 KiB
[startup+0.205798 s]*
/proc/loadavg: 4.15 4.10 3.78 5/263 27613
/proc/meminfo: memFree=116358448/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=57204 memory=47848 CPUtime=0.19 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 11050 0 0 0 18 1 0 0 20 0 1 0 37344376 58576896 11962 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 14301 11962 2560 2575 0 11208 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57204 KiB
Current children cumulated memory: 47848 KiB
[startup+0.305678 s]*
/proc/loadavg: 4.15 4.10 3.78 5/263 27613
/proc/meminfo: memFree=116352400/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=67128 memory=52956 CPUtime=0.3 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 12785 0 0 0 28 2 0 0 20 0 1 0 37344376 68739072 13239 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 16782 13239 2592 2575 0 13689 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67128 KiB
Current children cumulated memory: 52956 KiB
[startup+0.700169 s]
/proc/loadavg: 4.15 4.10 3.78 5/263 27613
/proc/meminfo: memFree=116328208/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=123132 memory=106716 CPUtime=0.68 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 26138 0 0 0 64 4 0 0 20 0 1 0 37344376 126087168 26679 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 30783 26679 2688 2575 0 27690 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123132 KiB
Current children cumulated memory: 106716 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.10 3.78 5/263 27613
/proc/meminfo: memFree=116295952/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=119252 memory=103296 CPUtime=1.48 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 26344 0 0 0 144 4 0 0 20 0 1 0 37344376 122114048 25824 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 29813 25824 2688 2575 0 26720 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 119252 KiB
Current children cumulated memory: 103296 KiB
[startup+3.10556 s]
/proc/loadavg: 4.14 4.10 3.78 5/263 27613
/proc/meminfo: memFree=116287888/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=119252 memory=103296 CPUtime=3.08 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 26357 0 0 0 304 4 0 0 20 0 1 0 37344376 122114048 25824 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 29813 25824 2688 2575 0 26720 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 119252 KiB
Current children cumulated memory: 103296 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.10 3.78 5/263 27613
/proc/meminfo: memFree=116293876/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=119252 memory=103424 CPUtime=6.26 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 26364 0 0 0 622 4 0 0 20 0 1 0 37344376 122114048 25856 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 29813 25856 2688 2575 0 26720 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 119252 KiB
Current children cumulated memory: 103424 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 3.79 5/263 27614
/proc/meminfo: memFree=116290728/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=119252 memory=103552 CPUtime=12.63 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 26426 0 0 0 1259 4 0 0 20 0 1 0 37344376 122114048 25888 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 29813 25888 2688 2575 0 26720 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 119252 KiB
Current children cumulated memory: 103552 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 3.79 5/263 27614
/proc/meminfo: memFree=116270312/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=119252 memory=104576 CPUtime=25.38 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 26669 0 0 0 2534 4 0 0 20 0 1 0 37344376 122114048 26144 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 29813 26144 2688 2575 0 26720 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 119252 KiB
Current children cumulated memory: 104576 KiB
[startup+51.1056 s]
/proc/loadavg: 4.06 4.08 3.80 5/263 27614
/proc/meminfo: memFree=116235620/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=145808 memory=130400 CPUtime=50.89 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 35821 0 0 0 5083 6 0 0 20 0 1 0 37344376 149307392 32600 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 36452 32600 2688 2575 0 33359 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 145808 KiB
Current children cumulated memory: 130400 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 3.82 5/263 27616
/proc/meminfo: memFree=116250260/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=145808 memory=130400 CPUtime=101.89 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 35821 0 0 0 10182 7 0 0 20 0 1 0 37344376 149307392 32600 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 36452 32600 2688 2575 0 33359 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 145808 KiB
Current children cumulated memory: 130400 KiB
[startup+162.3 s]
/proc/loadavg: 4.31 4.17 3.87 5/262 27618
/proc/meminfo: memFree=116218044/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=145808 memory=130400 CPUtime=161.67 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 35821 0 0 0 16160 7 0 0 20 0 1 0 37344376 149307392 32600 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 36452 32600 2688 2575 0 33359 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 145808 KiB
Current children cumulated memory: 130400 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.17 3.89 5/262 27620
/proc/meminfo: memFree=116206484/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=145808 memory=130400 CPUtime=221.44 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 35821 0 0 0 22137 7 0 0 20 0 1 0 37344376 149307392 32600 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 36452 32600 2688 2575 0 33359 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 145808 KiB
Current children cumulated memory: 130400 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.15 3.91 5/262 27622
/proc/meminfo: memFree=116201196/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=147484 memory=132892 CPUtime=281.22 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 38482 0 0 0 28114 8 0 0 20 0 1 0 37344376 151023616 33223 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 36871 33223 2688 2575 0 33778 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 147484 KiB
Current children cumulated memory: 132892 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.15 3.92 5/263 27627
/proc/meminfo: memFree=116189520/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=153172 memory=138012 CPUtime=340.99 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 39779 0 0 0 34091 8 0 0 20 0 1 0 37344376 156848128 34503 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 38293 34503 2688 2575 0 35200 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 153172 KiB
Current children cumulated memory: 138012 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.14 3.93 5/263 27630
/proc/meminfo: memFree=116176232/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=147936 memory=133352 CPUtime=400.75 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 41754 0 0 0 40066 9 0 0 20 0 1 0 37344376 151486464 33338 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 36984 33338 2688 2575 0 33891 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 147936 KiB
Current children cumulated memory: 133352 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.12 3.95 5/263 27632
/proc/meminfo: memFree=116161692/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=147936 memory=133480 CPUtime=460.52 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 41787 0 0 0 46043 9 0 0 20 0 1 0 37344376 151486464 33370 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 36984 33370 2688 2575 0 33891 0
################
# More data... #
################
/proc/loadavg: 4.07 4.11 4.11 5/263 27900
/proc/meminfo: memFree=129087096/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=196676 memory=187792 CPUtime=3151.92 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 76075 0 0 0 315172 20 0 0 20 0 1 0 37344376 201396224 46948 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 49169 46948 2688 2575 0 46076 0
Current children cumulated CPU time: 3151.92 s
Current children cumulated vsize: 196676 KiB
Current children cumulated memory: 187792 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/262 27902
/proc/meminfo: memFree=129047364/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=196888 memory=188048 CPUtime=3211.76 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 76128 0 0 0 321156 20 0 0 20 0 1 0 37344376 201613312 47012 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 49222 47012 2688 2575 0 46129 0
Current children cumulated CPU time: 3211.76 s
Current children cumulated vsize: 196888 KiB
Current children cumulated memory: 188048 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/263 27905
/proc/meminfo: memFree=129046952/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=197232 memory=188432 CPUtime=3271.6 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 76220 0 0 0 327140 20 0 0 20 0 1 0 37344376 201965568 47108 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 49308 47108 2688 2575 0 46215 0
Current children cumulated CPU time: 3271.6 s
Current children cumulated vsize: 197232 KiB
Current children cumulated memory: 188432 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/264 27910
/proc/meminfo: memFree=129028888/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=197232 memory=188560 CPUtime=3331.44 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 76244 0 0 0 333124 20 0 0 20 0 1 0 37344376 201965568 47140 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 49308 47140 2688 2575 0 46215 0
Current children cumulated CPU time: 3331.44 s
Current children cumulated vsize: 197232 KiB
Current children cumulated memory: 188560 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 27912
/proc/meminfo: memFree=129029096/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=197396 memory=188560 CPUtime=3391.28 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 76256 0 0 0 339108 20 0 0 20 0 1 0 37344376 202133504 47140 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 49349 47140 2688 2575 0 46256 0
Current children cumulated CPU time: 3391.28 s
Current children cumulated vsize: 197396 KiB
Current children cumulated memory: 188560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 27925
/proc/meminfo: memFree=129021520/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=197928 memory=189072 CPUtime=3451.12 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 76391 0 0 0 345092 20 0 0 20 0 1 0 37344376 202678272 47268 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 49482 47268 2688 2575 0 46389 0
Current children cumulated CPU time: 3451.12 s
Current children cumulated vsize: 197928 KiB
Current children cumulated memory: 189072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 27932
/proc/meminfo: memFree=128977060/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=234924 memory=224840 CPUtime=3510.96 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 92001 0 0 0 351074 22 0 0 20 0 1 0 37344376 240562176 56210 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 58731 56210 2688 2575 0 55638 0
Current children cumulated CPU time: 3510.96 s
Current children cumulated vsize: 234924 KiB
Current children cumulated memory: 224840 KiB
[startup+3582.3 s]
/proc/loadavg: 4.34 4.18 4.12 5/265 27934
/proc/meminfo: memFree=128912364/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=295660 memory=284632 CPUtime=3570.79 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 108404 0 0 0 357054 25 0 0 20 0 1 0 37344376 302755840 71158 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 73915 71158 2688 2575 0 70822 0
Current children cumulated CPU time: 3570.79 s
Current children cumulated vsize: 295660 KiB
Current children cumulated memory: 284632 KiB
[startup+3597.06 s]
# the end of solver process 27612 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.25 s, system=0.265328 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.34 4.18 4.12 5/265 27934
/proc/meminfo: memFree=128903984/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=295660 memory=284632 CPUtime=3572.49 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 108404 0 0 0 357224 25 0 0 20 0 1 0 37344376 302755840 71158 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 73915 71158 2688 2575 0 70822 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 295660 KiB
Current children cumulated memory: 284632 KiB
[startup+3590.4 s]
/proc/loadavg: 4.32 4.17 4.12 5/265 27934
/proc/meminfo: memFree=128896188/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=295660 memory=284888 CPUtime=3578.86 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 108474 0 0 0 357861 25 0 0 20 0 1 0 37344376 302755840 71222 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 73915 71222 2688 2575 0 70822 0
Current children cumulated CPU time: 3578.86 s
Current children cumulated vsize: 295660 KiB
Current children cumulated memory: 284888 KiB
[startup+3593.6 s]
/proc/loadavg: 4.29 4.17 4.11 5/265 27934
/proc/meminfo: memFree=128896204/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=295660 memory=285016 CPUtime=3582.05 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 108478 0 0 0 358180 25 0 0 20 0 1 0 37344376 302755840 71254 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 73915 71254 2688 2575 0 70822 0
Current children cumulated CPU time: 3582.05 s
Current children cumulated vsize: 295660 KiB
Current children cumulated memory: 285016 KiB
[startup+3595.2 s]
/proc/loadavg: 4.29 4.17 4.11 5/265 27934
/proc/meminfo: memFree=128884616/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=295660 memory=285016 CPUtime=3583.65 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 108478 0 0 0 358340 25 0 0 20 0 1 0 37344376 302755840 71254 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 73915 71254 2688 2575 0 70822 0
Current children cumulated CPU time: 3583.65 s
Current children cumulated vsize: 295660 KiB
Current children cumulated memory: 285016 KiB
[startup+3596 s]*
/proc/loadavg: 4.29 4.17 4.11 5/265 27934
/proc/meminfo: memFree=128884624/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=295660 memory=285016 CPUtime=3584.45 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 108478 0 0 0 358420 25 0 0 20 0 1 0 37344376 302755840 71254 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 73915 71254 2688 2575 0 70822 0
Current children cumulated CPU time: 3584.45 s
Current children cumulated vsize: 295660 KiB
Current children cumulated memory: 285016 KiB
[startup+3596.8 s]
/proc/loadavg: 4.29 4.17 4.11 5/265 27934
/proc/meminfo: memFree=128884624/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=295660 memory=285016 CPUtime=3585.24 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 108478 0 0 0 358499 25 0 0 20 0 1 0 37344376 302755840 71254 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 73915 71254 2688 2575 0 70822 0
Current children cumulated CPU time: 3585.24 s
Current children cumulated vsize: 295660 KiB
Current children cumulated memory: 285016 KiB
[startup+3597 s]*
/proc/loadavg: 4.27 4.17 4.11 5/265 27934
/proc/meminfo: memFree=128884624/131249988 swapFree=33010684/33010684
[pid=27612] ppid=27609 vsize=295660 memory=285016 CPUtime=3585.45 cores=0,2
/proc/27612/stat : 27612 (pbsolver) R 27609 27612 27311 0 -1 4194304 108479 0 0 0 358520 25 0 0 20 0 1 0 37344376 302755840 71254 18446744073709551615 4198400 14743177 140726528097024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37011456 140726528104842 140726528104938 140726528104938 140726528110540 0
/proc/27612/statm: 73915 71254 2688 2575 0 70822 0
Current children cumulated CPU time: 3585.45 s
Current children cumulated vsize: 295660 KiB
Current children cumulated memory: 285016 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3585.52
CPU user time (s): 3585.25
CPU system time (s): 0.265328
CPU usage (%): 99.6791
Max. virtual memory (cumulated for all children) (KiB): 295660
Max. memory (cumulated for all children) (KiB): 285016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.25
system time used= 0.265328
maximum resident set size= 285016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108479
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= 23
involuntary context switches= 7930
# summary of solver processes directly reported to runsolver:
# pid: 27612
# total CPU time (s): 3585.52
# total CPU user time (s): 3585.25
# total CPU system time (s): 0.265328
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76776 second user time and 16.4124 second system time
The end