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-4488965-1751349476.opb>
0.00/0.02 c original problem has 1968 variables (1968 bin, 0 int, 0 cont) and 4000 constraints
0.00/0.02 c problem read in 0.021 seconds
0.00/0.04 o 1968
0.00/0.04 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.968000e+03
0.00/0.04 c presolving:
0.00/0.06 c (round 1, fast) 183 del vars, 183 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3816 clqs
0.00/0.06 c (round 2, fast) 363 del vars, 828 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3171 clqs
0.00/0.06 c (round 3, fast) 428 del vars, 958 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3041 clqs
0.00/0.06 c (round 4, fast) 481 del vars, 1095 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2904 clqs
0.00/0.07 c (round 5, fast) 504 del vars, 1166 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2833 clqs
0.00/0.07 c (round 6, fast) 519 del vars, 1208 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2791 clqs
0.00/0.07 c (round 7, fast) 528 del vars, 1228 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2771 clqs
0.00/0.07 c (round 8, fast) 534 del vars, 1242 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2757 clqs
0.00/0.07 c (round 9, fast) 538 del vars, 1255 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2744 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.00/0.08 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.09 c (round 10, exhaustive) 539 del vars, 1258 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2742 clqs
0.11/0.12 c (round 11, exhaustive) 539 del vars, 1258 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2742 upgd conss, 0 impls, 2742 clqs
0.11/0.15 c (0.2s) probing: 51/1429 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.11/0.15 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.11/0.16 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.11/0.16 c (0.2s) no symmetry present (symcode time: 0.00)
0.11/0.16 c presolving (12 rounds: 12 fast, 3 medium, 3 exhaustive):
0.11/0.16 c 539 deleted vars, 1258 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.11/0.16 c 0 implications, 2742 cliques
0.11/0.16 c presolved problem has 1429 variables (1429 bin, 0 int, 0 cont) and 2742 constraints
0.11/0.16 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.11/0.16 c 2742 constraints of type <setppc>
0.11/0.16 c transformed objective value is always integral (scale: 1)
0.11/0.16 c Presolving Time: 0.13
0.11/0.16 c
0.11/0.16 c - non default parameters ----------------------------------------------------------------------
0.11/0.16 c
0.11/0.16 c # SCIP version 10.0.0
0.11/0.16 c
0.11/0.16 c # maximal time in seconds to run
0.11/0.16 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.11/0.16 c limits/time = 3596.995048
0.11/0.16 c
0.11/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.11/0.16 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.11/0.16 c limits/memory = 27900
0.11/0.16 c
0.11/0.16 c # belongs reading time to solving time?
0.11/0.16 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.11/0.16 c timing/reading = TRUE
0.11/0.16 c
0.11/0.16 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.11/0.16 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.11/0.16 c reading/opbreader/maxintsize = 47
0.11/0.16 c
0.11/0.16 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.11/0.16 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.11/0.16 c propagating/genvbounds/timingmask = 0
0.11/0.16 c
0.11/0.16 c -----------------------------------------------------------------------------------------------
0.11/0.17 c
0.11/0.17 o 1692
0.11/0.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.11/0.17 c t 0.2s| 1 | 0 | 0 | - | trivial| 0 |1429 |2742 | 0 | 0 | 0 | 0 | 0 | 2.630000e+02 | 1.692000e+03 | 543.35%| unknown
0.11/0.21 o 1171
0.11/0.21 c p 0.2s| 1 | 0 | 0 | - | clique| 0 |1429 |2742 |2742 | 0 | 0 | 0 | 0 | 2.630000e+02 | 1.171000e+03 | 345.25%| unknown
0.11/0.22 o 1084
0.11/0.22 c p 0.2s| 1 | 0 | 0 | - | locks| 0 |1429 |2742 |2742 | 0 | 0 | 0 | 0 | 2.630000e+02 | 1.084000e+03 | 312.17%| unknown
0.21/0.27 o 1075
0.21/0.27 c i 0.3s| 1 | 0 | 0 | - | oneopt| 0 |1429 |2742 |2742 | 0 | 0 | 0 | 0 | 2.630000e+02 | 1.075000e+03 | 308.75%| unknown
0.31/0.35 c 0.3s| 1 | 0 | 1783 | - | 23M | 0 |1429 |2742 |2742 | 0 | 0 | 0 | 0 | 9.775000e+02 | 1.075000e+03 | 9.97%| unknown
0.79/0.82 c 0.8s| 1 | 0 | 2594 | - | 27M | 0 |1429 |2742 |2770 | 28 | 1 | 0 | 0 | 9.885000e+02 | 1.075000e+03 | 8.75%| unknown
1.10/1.19 c 1.2s| 1 | 0 | 3379 | - | 27M | 0 |1429 |2742 |2789 | 47 | 2 | 0 | 0 | 9.910000e+02 | 1.075000e+03 | 8.48%| unknown
1.58/1.62 c 1.6s| 1 | 0 | 4436 | - | 28M | 0 |1429 |2742 |2811 | 69 | 3 | 0 | 0 | 9.947500e+02 | 1.075000e+03 | 8.07%| unknown
2.17/2.29 c 2.3s| 1 | 0 | 5915 | - | 44M | 0 |1429 |2742 |2829 | 87 | 4 | 0 | 0 | 9.965744e+02 | 1.075000e+03 | 7.87%| unknown
3.17/3.22 c 3.2s| 1 | 0 | 7600 | - | 59M | 0 |1429 |2742 |2845 | 103 | 5 | 0 | 0 | 9.986119e+02 | 1.075000e+03 | 7.65%| unknown
4.18/4.20 c 4.2s| 1 | 0 | 8771 | - | 76M | 0 |1429 |2742 |2858 | 116 | 6 | 0 | 0 | 1.000464e+03 | 1.075000e+03 | 7.45%| unknown
5.46/5.59 c 5.6s| 1 | 0 | 9726 | - | 91M | 0 |1429 |2742 |2862 | 120 | 7 | 0 | 0 | 1.000979e+03 | 1.075000e+03 | 7.39%| unknown
6.66/6.78 c 6.8s| 1 | 0 | 10215 | - | 109M | 0 |1429 |2742 |2863 | 121 | 8 | 0 | 0 | 1.001257e+03 | 1.075000e+03 | 7.37%| unknown
7.76/7.80 c 7.8s| 1 | 0 | 11002 | - | 130M | 0 |1429 |2742 |2865 | 123 | 9 | 0 | 0 | 1.001441e+03 | 1.075000e+03 | 7.35%| unknown
8.97/9.04 c 9.0s| 1 | 0 | 11698 | - | 145M | 0 |1429 |2742 |2867 | 125 | 10 | 0 | 0 | 1.001607e+03 | 1.075000e+03 | 7.33%| unknown
9.15/9.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.15/9.27 c 9.3s| 1 | 0 | 12236 | - | 146M | 0 |1429 |2742 |2870 | 128 | 11 | 0 | 0 | 1.001699e+03 | 1.075000e+03 | 7.32%| unknown
9.35/9.49 c 9.5s| 1 | 0 | 12570 | - | 146M | 0 |1429 |2742 |2874 | 132 | 12 | 0 | 0 | 1.001769e+03 | 1.075000e+03 | 7.31%| unknown
9.65/9.72 c 9.7s| 1 | 0 | 12577 | - | 146M | 0 |1429 |2742 |2875 | 133 | 13 | 0 | 0 | 1.001769e+03 | 1.075000e+03 | 7.31%| unknown
9.85/9.94 c 9.9s| 1 | 0 | 12589 | - | 147M | 0 |1429 |2742 |2876 | 134 | 14 | 0 | 0 | 1.001769e+03 | 1.075000e+03 | 7.31%| unknown
10.06/10.18 o 1058
10.06/10.18 c L10.2s| 1 | 0 | 12589 | - | alns| 0 |1429 |2742 |2876 | 134 | 15 | 0 | 0 | 1.001769e+03 | 1.058000e+03 | 5.61%| unknown
10.06/10.18 c 10.2s| 1 | 0 | 12589 | - | 148M | 0 |1429 |2742 |2876 | 134 | 15 | 0 | 0 | 1.001769e+03 | 1.058000e+03 | 5.61%| unknown
10.06/10.18 o 1055
10.06/10.18 c i10.2s| 1 | 0 | 12589 | - | oneopt| 0 |1429 |2742 |2876 | 134 | 15 | 0 | 0 | 1.001769e+03 | 1.055000e+03 | 5.31%| unknown
17.63/17.77 c 17.8s| 1 | 2 | 12593 | - | 148M | 0 |1429 |2742 |2876 | 134 | 16 | 0 | 59 | 1.002165e+03 | 1.055000e+03 | 5.27%| unknown
42.65/42.88 o 1049
42.65/42.88 c d42.9s| 39 | 40 | 54072 |1091.7 |adaptive| 14 |1429 |2786 |2897 | 0 | 1 | 44 | 227 | 1.002165e+03 | 1.049000e+03 | 4.67%| unknown
46.85/47.04 c 47.0s| 100 | 75 | 63883 | 518.1 | 200M | 51 |1429 |2786 |2912 | 238 | 0 | 44 | 227 | 1.002165e+03 | 1.049000e+03 | 4.67%| unknown
64.08/64.34 o 1047
64.08/64.34 c d64.3s| 176 | 114 |115051 | 585.5 |veclendi| 51 |1429 |2816 |2905 | 0 | 1 | 74 | 265 | 1.002815e+03 | 1.047000e+03 | 4.41%| unknown
66.48/66.78 c 66.8s| 200 | 118 |117764 | 528.5 | 264M | 51 |1429 |2816 |2919 | 438 | 0 | 74 | 265 | 1.002815e+03 | 1.047000e+03 | 4.41%| unknown
84.22/84.58 c 84.6s| 300 | 160 |186785 | 582.6 | 322M | 51 |1429 |2838 |2936 | 608 | 0 | 96 | 292 | 1.003425e+03 | 1.047000e+03 | 4.34%| unknown
90.71/91.05 o 1040
90.71/91.05 c L91.0s| 376 | 158 |214432 | 538.2 |crossove| 51 |1429 |2896 |2940 | 636 | 0 | 154 | 313 | 1.004055e+03 | 1.040000e+03 | 3.58%| unknown
92.59/92.97 c 93.0s| 400 | 160 |222750 | 526.7 | 317M | 51 |1429 |2928 |2936 | 662 | 1 | 186 | 332 | 1.004055e+03 | 1.040000e+03 | 3.58%| unknown
108.66/109.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
108.66/109.09 c 109s| 500 | 252 |311643 | 599.3 | 317M | 51 |1429 |2993 |2929 | 824 | 1 | 251 | 387 | 1.005417e+03 | 1.040000e+03 | 3.44%| unknown
139.45/139.98 c 140s| 600 | 336 |421563 | 682.8 | 323M | 51 |1429 |3100 |2934 |1198 | 1 | 358 | 449 | 1.005773e+03 | 1.040000e+03 | 3.40%| unknown
160.09/160.69 c 161s| 700 | 368 |504734 | 704.1 | 333M | 51 |1429 |3111 |2942 |1488 | 0 | 375 | 479 | 1.005773e+03 | 1.040000e+03 | 3.40%| unknown
185.70/186.33 c 186s| 800 | 416 |598041 | 732.7 | 335M | 51 |1429 |3241 |2943 |1926 | 0 | 527 | 545 | 1.005930e+03 | 1.040000e+03 | 3.39%| unknown
199.66/200.35 c 200s| 900 | 458 |656438 | 716.2 | 336M | 51 |1429 |3257 |2953 |2104 | 1 | 548 | 573 | 1.006323e+03 | 1.040000e+03 | 3.35%| unknown
203.36/204.06 c 204s| 1000 | 474 |679543 | 667.6 | 336M | 51 |1429 |3287 |2939 |2112 | 1 | 580 | 587 | 1.006323e+03 | 1.040000e+03 | 3.35%| unknown
215.90/216.64 c 217s| 1100 | 516 |738600 | 660.6 | 337M | 51 |1429 |3328 |2960 |2320 | 2 | 630 | 635 | 1.006572e+03 | 1.040000e+03 | 3.32%| unknown
222.39/223.18 c 223s| 1200 | 524 |763910 | 626.6 | 338M | 51 |1429 |3328 |2959 |2432 | 1 | 630 | 648 | 1.006642e+03 | 1.040000e+03 | 3.31%| unknown
225.87/226.63 c 227s| 1300 | 528 |784658 | 594.4 | 337M | 51 |1429 |3348 |2958 |2459 | 0 | 652 | 662 | 1.006750e+03 | 1.040000e+03 | 3.30%| unknown
236.04/236.87 c 237s| 1400 | 540 |820349 | 577.4 | 338M | 51 |1429 |3375 |2962 |2650 | 0 | 682 | 690 | 1.007085e+03 | 1.040000e+03 | 3.27%| unknown
243.23/244.10 c 244s| 1500 | 550 |852005 | 560.0 | 339M | 51 |1429 |3395 |2949 |2722 | 1 | 706 | 703 | 1.007191e+03 | 1.040000e+03 | 3.26%| unknown
250.20/251.09 c 251s| 1600 | 558 |878099 | 541.3 | 339M | 51 |1429 |3415 |2952 |2842 | 1 | 730 | 729 | 1.007510e+03 | 1.040000e+03 | 3.22%| unknown
267.54/268.45 c 268s| 1700 | 582 |933679 | 542.1 | 340M | 51 |1429 |3449 |2964 |3201 | 0 | 772 | 763 | 1.007751e+03 | 1.040000e+03 | 3.20%| unknown
270.72/271.63 c 272s| 1800 | 586 |955432 | 524.1 | 340M | 51 |1429 |3463 |2947 |3231 | 0 | 789 | 772 | 1.007751e+03 | 1.040000e+03 | 3.20%| unknown
278.50/279.41 c 279s| 1900 | 590 |985318 | 512.2 | 340M | 51 |1429 |3498 |2956 |3369 | 0 | 828 | 802 | 1.007884e+03 | 1.040000e+03 | 3.19%| unknown
285.67/286.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
285.67/286.67 c 287s| 2000 | 598 | 1015k| 501.6 | 341M | 51 |1429 |3508 |2961 |3506 | 0 | 839 | 828 | 1.007910e+03 | 1.040000e+03 | 3.18%| unknown
292.16/293.16 c 293s| 2100 | 604 | 1039k| 489.1 | 341M | 51 |1429 |3508 |2963 |3613 | 1 | 839 | 841 | 1.007940e+03 | 1.040000e+03 | 3.18%| unknown
297.34/298.36 c 298s| 2200 | 608 | 1068k| 480.0 | 341M | 51 |1429 |3536 |2964 |3728 | 0 | 874 | 858 | 1.008137e+03 | 1.040000e+03 | 3.16%| unknown
306.91/307.90 c 308s| 2300 | 620 | 1107k| 476.2 | 341M | 51 |1429 |3586 |2965 |3922 | 1 | 931 | 890 | 1.008269e+03 | 1.040000e+03 | 3.15%| unknown
314.58/315.68 c 316s| 2400 | 628 | 1137k| 469.0 | 341M | 51 |1429 |3596 |2970 |4082 | 2 | 943 | 915 | 1.008324e+03 | 1.040000e+03 | 3.14%| unknown
322.16/323.27 c 323s| 2500 | 636 | 1170k| 463.3 | 342M | 51 |1429 |3615 |2966 |4209 | 0 | 965 | 934 | 1.008331e+03 | 1.040000e+03 | 3.14%| unknown
332.62/333.72 c 334s| 2600 | 644 | 1221k| 465.1 | 343M | 51 |1429 |3615 |2964 |4390 | 1 | 965 | 956 | 1.008368e+03 | 1.040000e+03 | 3.14%| unknown
340.60/341.71 c 342s| 2700 | 650 | 1254k| 460.2 | 343M | 51 |1429 |3663 |2966 |4506 | 0 |1024 | 990 | 1.008529e+03 | 1.040000e+03 | 3.12%| unknown
351.87/353.02 c 353s| 2800 | 664 | 1293k| 457.5 | 345M | 51 |1429 |3663 |2976 |4712 | 1 |1027 |1014 | 1.008589e+03 | 1.040000e+03 | 3.11%| unknown
358.85/360.03 c 360s| 2900 | 670 | 1323k| 452.2 | 345M | 51 |1429 |3747 |2975 |4850 | 1 |1126 |1045 | 1.008628e+03 | 1.040000e+03 | 3.11%| unknown
366.21/367.41 c 367s| 3000 | 676 | 1356k| 448.2 | 346M | 51 |1429 |3765 |2975 |4948 | 1 |1152 |1087 | 1.008674e+03 | 1.040000e+03 | 3.11%| unknown
373.91/375.14 c 375s| 3100 | 682 | 1386k| 443.4 | 346M | 51 |1429 |3785 |2978 |5097 | 1 |1174 |1098 | 1.008681e+03 | 1.040000e+03 | 3.10%| unknown
377.98/379.28 c 379s| 3200 | 680 | 1407k| 436.1 | 346M | 51 |1429 |3878 |2984 |5107 | 2 |1292 |1137 | 1.008681e+03 | 1.040000e+03 | 3.10%| unknown
386.55/387.89 c 388s| 3300 | 684 | 1442k| 433.5 | 347M | 51 |1429 |3986 |2963 |5308 | 1 |1419 |1174 | 1.008705e+03 | 1.040000e+03 | 3.10%| unknown
398.22/399.56 c 400s| 3400 | 696 | 1490k| 434.9 | 348M | 51 |1429 |4006 |2986 |5632 | 0 |1445 |1208 | 1.008818e+03 | 1.040000e+03 | 3.09%| unknown
409.69/411.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
409.69/411.03 c 411s| 3500 | 710 | 1537k| 435.7 | 349M | 51 |1429 |4039 |2983 |5948 | 1 |1488 |1248 | 1.008948e+03 | 1.040000e+03 | 3.08%| unknown
412.37/413.75 c 414s| 3600 | 710 | 1555k| 428.8 | 349M | 51 |1429 |4051 |2986 |6011 | 1 |1502 |1260 | 1.008948e+03 | 1.040000e+03 | 3.08%| unknown
421.44/422.85 c 423s| 3700 | 718 | 1589k| 426.3 | 350M | 51 |1429 |4097 |2985 |6202 | 1 |1556 |1298 | 1.008965e+03 | 1.040000e+03 | 3.08%| unknown
423.23/424.70 c 425s| 3800 | 720 | 1604k| 419.1 | 350M | 51 |1429 |4097 |2984 |6239 | 1 |1556 |1298 | 1.008965e+03 | 1.040000e+03 | 3.08%| unknown
429.91/431.33 c 431s| 3900 | 726 | 1632k| 415.3 | 350M | 51 |1429 |4131 |2990 |6378 | 1 |1598 |1325 | 1.008978e+03 | 1.040000e+03 | 3.07%| unknown
443.58/445.06 c 445s| 4000 | 742 | 1682k| 417.5 | 351M | 51 |1429 |4197 |2993 |6696 | 0 |1677 |1358 | 1.009190e+03 | 1.040000e+03 | 3.05%| unknown
456.13/457.64 c 458s| 4100 | 756 | 1723k| 417.3 | 354M | 51 |1429 |4260 |2996 |6951 | 1 |1752 |1388 | 1.009268e+03 | 1.040000e+03 | 3.04%| unknown
468.79/470.33 c 470s| 4200 | 764 | 1769k| 418.3 | 355M | 51 |1429 |4379 |2999 |7237 | 1 |1896 |1432 | 1.009313e+03 | 1.040000e+03 | 3.04%| unknown
484.04/485.69 c 486s| 4300 | 778 | 1838k| 424.7 | 356M | 51 |1429 |4475 |3002 |7504 | 0 |2009 |1473 | 1.009346e+03 | 1.040000e+03 | 3.04%| unknown
496.20/497.84 c 498s| 4400 | 792 | 1882k| 425.1 | 356M | 51 |1429 |4543 |3002 |7775 | 0 |2092 |1520 | 1.009547e+03 | 1.040000e+03 | 3.02%| unknown
511.15/512.85 c 513s| 4500 | 802 | 1937k| 427.9 | 359M | 51 |1429 |4623 |2981 |8144 | 0 |2196 |1562 | 1.009821e+03 | 1.040000e+03 | 2.99%| unknown
518.82/520.58 c 521s| 4600 | 814 | 1975k| 426.8 | 359M | 51 |1429 |4748 |3000 |8359 | 1 |2344 |1617 | 1.009889e+03 | 1.040000e+03 | 2.98%| unknown
532.58/534.38 c 534s| 4700 | 826 | 2028k| 429.1 | 360M | 51 |1429 |4954 |3006 |8708 | 0 |2591 |1686 | 1.009961e+03 | 1.040000e+03 | 2.97%| unknown
540.27/542.09 c 542s| 4800 | 834 | 2065k| 427.9 | 361M | 51 |1429 |5049 |3001 |8873 | 1 |2706 |1728 | 1.010003e+03 | 1.040000e+03 | 2.97%| unknown
549.34/551.12 c 551s| 4900 | 840 | 2107k| 427.7 | 362M | 51 |1429 |5367 |3001 |9048 | 1 |3089 |1810 | 1.010019e+03 | 1.040000e+03 | 2.97%| unknown
558.40/560.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
558.40/560.21 c 560s| 5000 | 842 | 2149k| 427.4 | 362M | 51 |1429 |5548 |3002 |9206 | 0 |3306 |1878 | 1.010028e+03 | 1.040000e+03 | 2.97%| unknown
571.85/573.79 c 574s| 5100 | 858 | 2208k| 430.6 | 363M | 51 |1429 |5770 |3008 |9479 | 0 |3577 |1957 | 1.010064e+03 | 1.040000e+03 | 2.96%| unknown
590.11/592.11 c 592s| 5200 | 872 | 2285k| 437.1 | 365M | 51 |1429 |6201 |3003 |9834 | 0 |4102 |2069 | 1.010115e+03 | 1.040000e+03 | 2.96%| unknown
602.07/604.08 c 604s| 5300 | 886 | 2342k| 439.6 | 365M | 51 |1429 |6407 |3004 | 10k| 0 |4353 |2114 | 1.010155e+03 | 1.040000e+03 | 2.95%| unknown
610.73/612.73 c 613s| 5400 | 898 | 2385k| 439.5 | 365M | 51 |1429 |6431 |3005 | 10k| 1 |4390 |2118 | 1.010185e+03 | 1.040000e+03 | 2.95%| unknown
620.40/622.46 c 622s| 5500 | 910 | 2435k| 440.6 | 366M | 51 |1429 |6456 |3010 | 10k| 0 |4430 |2125 | 1.010234e+03 | 1.040000e+03 | 2.95%| unknown
626.18/628.21 c 628s| 5600 | 916 | 2472k| 439.4 | 366M | 51 |1429 |6607 |3007 | 10k| 0 |4611 |2163 | 1.010240e+03 | 1.040000e+03 | 2.95%| unknown
636.35/638.46 c 638s| 5700 | 928 | 2522k| 440.5 | 367M | 51 |1429 |6660 |3008 | 11k| 1 |4682 |2189 | 1.010298e+03 | 1.040000e+03 | 2.94%| unknown
642.32/644.44 c 644s| 5800 | 934 | 2559k| 439.2 | 367M | 51 |1429 |6663 |3012 | 11k| 2 |4695 |2198 | 1.010302e+03 | 1.040000e+03 | 2.94%| unknown
660.18/662.33 c 662s| 5900 | 956 | 2652k| 447.5 | 368M | 51 |1429 |6679 |3027 | 11k| 0 |4732 |2203 | 1.010437e+03 | 1.040000e+03 | 2.93%| unknown
666.46/668.66 c 669s| 6000 | 964 | 2691k| 446.5 | 369M | 51 |1429 |6736 |3010 | 11k| 1 |4800 |2221 | 1.010447e+03 | 1.040000e+03 | 2.92%| unknown
669.65/671.84 c 672s| 6100 | 964 | 2716k| 443.3 | 369M | 51 |1429 |6840 |3010 | 11k| 2 |4928 |2242 | 1.010447e+03 | 1.040000e+03 | 2.92%| unknown
681.02/683.29 c 683s| 6200 | 974 | 2768k| 444.6 | 370M | 51 |1429 |6934 |3011 | 12k| 1 |5051 |2274 | 1.010466e+03 | 1.040000e+03 | 2.92%| unknown
692.29/694.52 c 695s| 6300 | 988 | 2827k| 446.9 | 371M | 51 |1429 |7042 |3015 | 12k| 0 |5192 |2298 | 1.010571e+03 | 1.040000e+03 | 2.91%| unknown
702.88/705.13 c 705s| 6400 | 1000 | 2880k| 448.2 | 371M | 51 |1429 |7084 |3019 | 12k| 0 |5252 |2307 | 1.010600e+03 | 1.040000e+03 | 2.91%| unknown
706.26/708.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
706.26/708.55 c 709s| 6500 | 1000 | 2906k| 445.3 | 371M | 51 |1429 |7126 |3030 | 12k| 1 |5303 |2318 | 1.010600e+03 | 1.040000e+03 | 2.91%| unknown
722.52/724.89 c 725s| 6600 | 1022 | 2981k| 450.0 | 373M | 51 |1429 |7148 |3020 | 13k| 0 |5351 |2324 | 1.010673e+03 | 1.040000e+03 | 2.90%| unknown
732.00/734.37 c 734s| 6700 | 1034 | 3028k| 450.2 | 375M | 51 |1429 |7158 |3019 | 13k| 0 |5374 |2326 | 1.010766e+03 | 1.040000e+03 | 2.89%| unknown
735.19/737.59 c 738s| 6800 | 1034 | 3057k| 447.8 | 375M | 51 |1429 |7218 |3013 | 13k| 0 |5447 |2336 | 1.010766e+03 | 1.040000e+03 | 2.89%| unknown
747.85/750.27 c 750s| 6900 | 1050 | 3115k| 449.8 | 376M | 51 |1429 |7301 |3023 | 14k| 1 |5551 |2377 | 1.010886e+03 | 1.040000e+03 | 2.88%| unknown
754.14/756.52 c 757s| 7000 | 1052 | 3148k| 448.1 | 376M | 51 |1429 |7308 |3024 | 14k| 0 |5563 |2380 | 1.010895e+03 | 1.040000e+03 | 2.88%| unknown
764.11/766.60 c 767s| 7100 | 1066 | 3201k| 449.2 | 376M | 51 |1429 |7321 |3030 | 14k| 1 |5587 |2389 | 1.010922e+03 | 1.040000e+03 | 2.88%| unknown
777.78/780.25 c 780s| 7200 | 1082 | 3275k| 453.2 | 377M | 51 |1429 |7430 |3033 | 14k| 1 |5752 |2444 | 1.010959e+03 | 1.040000e+03 | 2.87%| unknown
794.55/797.08 c 797s| 7300 | 1104 | 3345k| 456.6 | 379M | 51 |1429 |7463 |3039 | 15k| 0 |5811 |2481 | 1.011049e+03 | 1.040000e+03 | 2.86%| unknown
809.51/812.05 c 812s| 7400 | 1122 | 3407k| 458.8 | 380M | 51 |1429 |7484 |3039 | 15k| 1 |5855 |2511 | 1.011239e+03 | 1.040000e+03 | 2.84%| unknown
812.99/815.59 c 816s| 7500 | 1122 | 3433k| 456.2 | 380M | 51 |1429 |7585 |3040 | 15k| 1 |5978 |2540 | 1.011239e+03 | 1.040000e+03 | 2.84%| unknown
816.68/819.26 c 819s| 7600 | 1122 | 3455k| 453.1 | 380M | 51 |1429 |7632 |3043 | 15k| 0 |6038 |2571 | 1.011239e+03 | 1.040000e+03 | 2.84%| unknown
824.26/826.80 c 827s| 7700 | 1130 | 3489k| 451.5 | 380M | 51 |1429 |7678 |3047 | 16k| 1 |6105 |2608 | 1.011246e+03 | 1.040000e+03 | 2.84%| unknown
832.64/835.24 c 835s| 7800 | 1134 | 3530k| 451.0 | 381M | 51 |1429 |7706 |3047 | 16k| 1 |6152 |2628 | 1.011257e+03 | 1.040000e+03 | 2.84%| unknown
836.93/839.55 c 840s| 7900 | 1134 | 3560k| 449.2 | 381M | 51 |1429 |7817 |3051 | 16k| 0 |6289 |2664 | 1.011257e+03 | 1.040000e+03 | 2.84%| unknown
858.48/861.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
858.48/861.19 c 861s| 8000 | 1166 | 3650k| 454.8 | 382M | 51 |1429 |7807 |3051 | 17k| 2 |6347 |2696 | 1.011576e+03 | 1.040000e+03 | 2.81%| unknown
872.83/875.54 c 876s| 8100 | 1176 | 3705k| 456.0 | 383M | 51 |1429 |7850 |3044 | 17k| 0 |6428 |2750 | 1.011713e+03 | 1.040000e+03 | 2.80%| unknown
883.42/886.15 c 886s| 8200 | 1190 | 3769k| 458.2 | 383M | 51 |1429 |7906 |3048 | 17k| 1 |6514 |2764 | 1.011754e+03 | 1.040000e+03 | 2.79%| unknown
889.30/892.09 c 892s| 8300 | 1192 | 3805k| 457.0 | 383M | 51 |1429 |7910 |3048 | 18k| 1 |6557 |2781 | 1.011762e+03 | 1.040000e+03 | 2.79%| unknown
905.45/908.26 c 908s| 8400 | 1210 | 3895k| 462.3 | 385M | 51 |1429 |7948 |3054 | 18k| 0 |6678 |2807 | 1.011868e+03 | 1.040000e+03 | 2.78%| unknown
913.13/915.92 c 916s| 8500 | 1218 | 3936k| 461.7 | 386M | 51 |1429 |7988 |3058 | 18k| 1 |6746 |2830 | 1.011876e+03 | 1.040000e+03 | 2.78%| unknown
922.61/925.47 c 925s| 8600 | 1226 | 3987k| 462.3 | 386M | 51 |1429 |8037 |3064 | 18k| 0 |6878 |2874 | 1.011877e+03 | 1.040000e+03 | 2.78%| unknown
929.99/932.86 c 933s| 8700 | 1234 | 4031k| 462.0 | 387M | 51 |1429 |8039 |3074 | 19k| 0 |6896 |2878 | 1.011940e+03 | 1.040000e+03 | 2.77%| unknown
937.47/940.34 c 940s| 8800 | 1240 | 4070k| 461.2 | 388M | 51 |1429 |8161 |3083 | 19k| 1 |7067 |2915 | 1.011942e+03 | 1.040000e+03 | 2.77%| unknown
946.75/949.67 c 950s| 8900 | 1246 | 4113k| 460.9 | 388M | 51 |1429 |8253 |3076 | 19k| 1 |7201 |2959 | 1.011960e+03 | 1.040000e+03 | 2.77%| unknown
956.53/959.42 c 959s| 9000 | 1256 | 4157k| 460.6 | 389M | 51 |1429 |8380 |3080 | 19k| 0 |7393 |3032 | 1.011983e+03 | 1.040000e+03 | 2.77%| unknown
973.88/976.85 c 977s| 9100 | 1274 | 4227k| 463.2 | 390M | 51 |1429 |8418 |3081 | 20k| 0 |7588 |3095 | 1.012032e+03 | 1.040000e+03 | 2.76%| unknown
977.97/980.93 c 981s| 9200 | 1276 | 4255k| 461.3 | 390M | 51 |1429 |8447 |3091 | 20k| 0 |7626 |3111 | 1.012032e+03 | 1.040000e+03 | 2.76%| unknown
988.35/991.32 c 991s| 9300 | 1286 | 4309k| 462.1 | 391M | 51 |1429 |8396 |3083 | 20k| 1 |7655 |3115 | 1.012105e+03 | 1.040000e+03 | 2.76%| unknown
993.54/996.51 c 997s| 9400 | 1292 | 4345k| 461.0 | 391M | 51 |1429 |8414 |3086 | 20k| 1 |7697 |3123 | 1.012140e+03 | 1.040000e+03 | 2.75%| unknown
996.53/999.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
996.53/999.53 c 1000s| 9500 | 1290 | 4369k| 458.7 | 391M | 51 |1429 |8419 |3086 | 20k| 0 |7705 |3129 | 1.012140e+03 | 1.040000e+03 | 2.75%| unknown
1003.12/1006.16 c 1006s| 9600 | 1294 | 4406k| 457.7 | 390M | 51 |1429 |8389 |3080 | 21k| 0 |7706 |3134 | 1.012144e+03 | 1.040000e+03 | 2.75%| unknown
1014.48/1017.54 c 1018s| 9700 | 1310 | 4456k| 458.2 | 390M | 51 |1429 |8413 |3095 | 21k| 1 |7788 |3175 | 1.012187e+03 | 1.040000e+03 | 2.75%| unknown
1021.37/1024.46 c 1024s| 9800 | 1312 | 4494k| 457.3 | 390M | 51 |1429 |8407 |3091 | 21k| 1 |7817 |3183 | 1.012211e+03 | 1.040000e+03 | 2.75%| unknown
1028.15/1031.28 c 1031s| 9900 | 1320 | 4535k| 456.9 | 390M | 51 |1429 |8391 |3081 | 21k| 0 |7819 |3183 | 1.012226e+03 | 1.040000e+03 | 2.74%| unknown
1034.95/1038.06 c 1038s| 10000 | 1324 | 4574k| 456.3 | 391M | 51 |1429 |8394 |3083 | 21k| 0 |7842 |3184 | 1.012227e+03 | 1.040000e+03 | 2.74%| unknown
1040.52/1043.66 c 1044s| 10100 | 1330 | 4615k| 455.8 | 391M | 51 |1429 |8392 |3094 | 22k| 0 |7866 |3184 | 1.012228e+03 | 1.040000e+03 | 2.74%| unknown
1046.31/1049.44 c 1049s| 10200 | 1334 | 4651k| 454.8 | 391M | 51 |1429 |8370 |3082 | 22k| 0 |7867 |3185 | 1.012267e+03 | 1.040000e+03 | 2.74%| unknown
1056.48/1059.68 c 1060s| 10300 | 1342 | 4716k| 456.7 | 391M | 51 |1429 |8386 |3083 | 22k| 0 |7902 |3188 | 1.012354e+03 | 1.040000e+03 | 2.73%| unknown
1067.65/1070.88 c 1071s| 10400 | 1356 | 4775k| 458.0 | 391M | 51 |1429 |8388 |3093 | 22k| 2 |7936 |3192 | 1.012394e+03 | 1.040000e+03 | 2.73%| unknown
1080.32/1083.51 c 1084s| 10500 | 1372 | 4837k| 459.5 | 392M | 51 |1429 |8350 |3087 | 23k| 1 |7959 |3196 | 1.012420e+03 | 1.040000e+03 | 2.72%| unknown
1090.70/1093.94 c 1094s| 10600 | 1386 | 4889k| 460.1 | 393M | 51 |1429 |8347 |3097 | 23k| 2 |7971 |3197 | 1.012430e+03 | 1.040000e+03 | 2.72%| unknown
1109.45/1112.73 c 1113s| 10700 | 1408 | 4971k| 463.5 | 393M | 51 |1429 |8326 |3095 | 24k| 0 |7988 |3198 | 1.012446e+03 | 1.040000e+03 | 2.72%| unknown
1112.35/1115.62 c 1116s| 10800 | 1408 | 4998k| 461.7 | 393M | 51 |1429 |8344 |3101 | 24k| 0 |8012 |3203 | 1.012446e+03 | 1.040000e+03 | 2.72%| unknown
1119.84/1123.11 c 1123s| 10900 | 1414 | 5038k| 461.1 | 393M | 51 |1429 |8353 |3097 | 24k| 0 |8052 |3228 | 1.012459e+03 | 1.040000e+03 | 2.72%| unknown
1131.10/1134.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1131.10/1134.40 c 1134s| 11000 | 1426 | 5087k| 461.4 | 394M | 51 |1429 |8371 |3099 | 24k| 0 |8103 |3255 | 1.012471e+03 | 1.040000e+03 | 2.72%| unknown
1139.48/1142.83 c 1143s| 11100 | 1432 | 5129k| 461.1 | 394M | 51 |1429 |8409 |3095 | 24k| 0 |8210 |3299 | 1.012472e+03 | 1.040000e+03 | 2.72%| unknown
1156.04/1159.44 c 1159s| 11200 | 1448 | 5198k| 463.1 | 397M | 51 |1429 |8485 |3091 | 25k| 1 |8444 |3360 | 1.012600e+03 | 1.040000e+03 | 2.71%| unknown
1164.12/1167.52 c 1168s| 11300 | 1460 | 5243k| 463.0 | 397M | 51 |1429 |8553 |3035 | 25k| 1 |8588 |3382 | 1.012602e+03 | 1.040000e+03 | 2.71%| unknown
1171.51/1174.94 c 1175s| 11400 | 1466 | 5284k| 462.5 | 397M | 51 |1429 |8616 |3038 | 25k| 1 |8709 |3406 | 1.012612e+03 | 1.040000e+03 | 2.70%| unknown
1189.26/1192.79 c 1193s| 11500 | 1482 | 5372k| 466.1 | 397M | 51 |1429 |8712 |3039 | 26k| 1 |8879 |3437 | 1.012631e+03 | 1.040000e+03 | 2.70%| unknown
1206.02/1209.57 c 1210s| 11600 | 1506 | 5447k| 468.6 | 398M | 51 |1429 |8783 |3041 | 26k| 1 |9122 |3501 | 1.012668e+03 | 1.040000e+03 | 2.70%| unknown
1221.39/1224.91 c 1225s| 11700 | 1516 | 5504k| 469.4 | 399M | 51 |1429 |8774 |3052 | 27k| 1 |9600 |3625 | 1.012762e+03 | 1.040000e+03 | 2.69%| unknown
1231.57/1235.19 c 1235s| 11800 | 1530 | 5553k| 469.6 | 399M | 51 |1429 |8662 |3054 | 27k| 0 |9670 |3632 | 1.012763e+03 | 1.040000e+03 | 2.69%| unknown
1238.74/1242.37 c 1242s| 11900 | 1536 | 5590k| 468.8 | 399M | 51 |1429 |8707 |3055 | 27k| 1 |9787 |3666 | 1.012778e+03 | 1.040000e+03 | 2.69%| unknown
1245.93/1249.59 c 1250s| 12000 | 1540 | 5633k| 468.5 | 399M | 51 |1429 |8755 |3057 | 27k| 1 |9917 |3684 | 1.012788e+03 | 1.040000e+03 | 2.69%| unknown
1251.71/1255.31 c 1255s| 12100 | 1546 | 5667k| 467.4 | 399M | 51 |1429 |8673 |3044 | 27k| 1 |9926 |3685 | 1.012814e+03 | 1.040000e+03 | 2.68%| unknown
1254.80/1258.46 c 1258s| 12200 | 1544 | 5688k| 465.3 | 399M | 51 |1429 |8729 |3047 | 28k| 0 |9996 |3708 | 1.012814e+03 | 1.040000e+03 | 2.68%| unknown
1260.50/1264.17 c 1264s| 12300 | 1550 | 5726k| 464.6 | 399M | 51 |1429 |8694 |3041 | 28k| 1 | 10k|3711 | 1.012827e+03 | 1.040000e+03 | 2.68%| unknown
1270.87/1274.56 c 1275s| 12400 | 1562 | 5781k| 465.2 | 400M | 51 |1429 |8746 |3045 | 28k| 1 | 10k|3721 | 1.012838e+03 | 1.040000e+03 | 2.68%| unknown
1281.35/1285.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1281.35/1285.07 c 1285s| 12500 | 1570 | 5829k| 465.4 | 400M | 51 |1429 |8726 |3045 | 28k| 0 | 10k|3723 | 1.012857e+03 | 1.040000e+03 | 2.68%| unknown
1286.03/1289.70 c 1290s| 12600 | 1576 | 5865k| 464.6 | 401M | 51 |1429 |8696 |3047 | 29k| 1 | 10k|3723 | 1.012874e+03 | 1.040000e+03 | 2.68%| unknown
1293.21/1296.94 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1293.21/1296.96 c (run 1, node 12690) performing user restart
1293.21/1296.96 c
1293.21/1296.97 c (restart) converted 247 cuts from the global cut pool into linear constraints
1293.21/1296.97 c
1293.32/1297.06 c presolving:
1293.32/1297.08 c (round 1, fast) 0 del vars, 7 del conss, 0 add conss, 0 chg bounds, 4211 chg sides, 4615 chg coeffs, 0 upgd conss, 0 impls, 2743 clqs
1293.42/1297.12 c (round 2, exhaustive) 0 del vars, 7 del conss, 0 add conss, 0 chg bounds, 4211 chg sides, 4617 chg coeffs, 252 upgd conss, 0 impls, 2743 clqs
1293.51/1297.27 c (round 3, exhaustive) 0 del vars, 442 del conss, 1 add conss, 0 chg bounds, 4212 chg sides, 6905 chg coeffs, 252 upgd conss, 0 impls, 2743 clqs
1293.71/1297.40 c (round 4, exhaustive) 0 del vars, 601 del conss, 1 add conss, 0 chg bounds, 4212 chg sides, 6937 chg coeffs, 252 upgd conss, 0 impls, 2743 clqs
1293.81/1297.55 c (round 5, exhaustive) 0 del vars, 603 del conss, 1 add conss, 0 chg bounds, 4212 chg sides, 7043 chg coeffs, 252 upgd conss, 0 impls, 2743 clqs
1294.11/1297.82 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
1294.11/1297.82 c 0 deleted vars, 603 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 4212 changed sides, 7043 changed coefficients
1294.11/1297.82 c 0 implications, 2743 cliques
1294.11/1297.82 c presolved problem has 1429 variables (1429 bin, 0 int, 0 cont) and 8424 constraints
1294.11/1297.82 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1294.11/1297.82 c 242 constraints of type <knapsack>
1294.11/1297.82 c 2743 constraints of type <setppc>
1294.11/1297.82 c 68 constraints of type <linear>
1294.11/1297.82 c 5371 constraints of type <logicor>
1294.11/1297.82 c transformed objective value is always integral (scale: 1)
1294.11/1297.82 c Presolving Time: 0.92
1294.11/1297.87 c transformed 100/100 original solutions to the transformed problem space
1294.11/1297.87 c
1295.01/1298.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1295.01/1298.74 c 1299s| 1 | 0 | 5914k| - | 398M | 0 |1429 |8424 |2989 | 0 | 0 | 10k|3756 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1295.51/1299.23 c 1299s| 1 | 0 | 5915k| - | 398M | 0 |1429 |8424 |2991 | 2 | 1 | 10k|3756 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1295.90/1299.67 c 1300s| 1 | 0 | 5915k| - | 398M | 0 |1429 |8424 |2993 | 4 | 2 | 10k|3756 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1297.00/1300.77 c 1301s| 1 | 2 | 5917k| - | 398M | 0 |1429 |8427 |2993 | 4 | 3 | 10k|3759 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1318.15/1321.94 c 1322s| 100 | 35 | 5970k| 465.2 | 409M | 31 |1429 |8987 |2932 | 19 | 1 | 11k|4109 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1333.71/1337.57 c 1338s| 200 | 55 | 6024k| 465.8 | 409M | 35 |1429 |9547 |2932 | 19 | 1 | 11k|4419 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1341.09/1344.91 c 1345s| 300 | 67 | 6059k| 464.9 | 409M | 35 |1429 |9902 |2932 | 20 | 1 | 12k|4572 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1353.36/1357.20 c 1357s| 400 | 75 | 6091k| 463.8 | 414M | 39 |1429 | 10k|2932 | 27 | 0 | 12k|4863 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1361.74/1365.65 c 1366s| 500 | 75 | 6143k| 464.2 | 414M | 39 |1429 | 10k|2932 | 27 | 0 | 13k|4962 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1366.83/1370.79 c 1371s| 600 | 89 | 6173k| 463.0 | 414M | 39 |1429 | 10k|2932 | 43 | 2 | 13k|5020 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1370.13/1374.08 c 1374s| 700 | 93 | 6197k| 461.3 | 415M | 39 |1429 | 11k|2933 | 48 | 1 | 13k|5073 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1372.22/1376.19 c 1376s| 800 | 91 | 6214k| 459.1 | 391M | 39 |1429 | 11k|2934 | 54 | 1 | 13k|5108 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1375.40/1379.35 c 1379s| 900 | 101 | 6243k| 457.9 | 391M | 39 |1429 | 11k|2932 | 55 | 1 | 14k|5123 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1377.00/1380.96 c 1381s| 1000 | 99 | 6257k| 455.6 | 391M | 39 |1429 | 11k|2933 | 60 | 1 | 14k|5127 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1379.21/1383.12 c 1383s| 1100 | 99 | 6276k| 453.6 | 391M | 39 |1429 | 11k|2933 | 64 | 2 | 14k|5135 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1381.79/1385.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1381.79/1385.71 c 1386s| 1200 | 107 | 6300k| 452.1 | 391M | 39 |1429 | 11k|2933 | 65 | 0 | 14k|5140 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1384.28/1388.21 c 1388s| 1300 | 117 | 6322k| 450.4 | 391M | 39 |1429 | 11k|2933 | 67 | 0 | 14k|5150 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1389.67/1393.63 c 1394s| 1400 | 135 | 6356k| 449.7 | 397M | 39 |1429 | 11k|2934 | 83 | 1 | 14k|5160 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1391.66/1395.67 c 1396s| 1500 | 137 | 6376k| 447.9 | 397M | 39 |1429 | 11k|2933 | 83 | 0 | 14k|5176 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1395.45/1399.45 c 1399s| 1600 | 143 | 6396k| 446.2 | 409M | 39 |1429 | 11k|2935 | 111 | 1 | 14k|5184 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1397.64/1401.63 c 1402s| 1700 | 147 | 6415k| 444.4 | 409M | 39 |1429 | 11k|2935 | 112 | 1 | 14k|5192 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1401.53/1405.58 c 1406s| 1800 | 145 | 6438k| 442.9 | 409M | 39 |1429 | 11k|2935 | 143 | 0 | 14k|5217 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1411.81/1415.86 c 1416s| 1900 | 153 | 6497k| 443.9 | 414M | 39 |1429 | 11k|2936 | 191 | 1 | 14k|5236 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1417.11/1421.17 c 1421s| 2000 | 167 | 6525k| 442.8 | 414M | 39 |1429 | 11k|2938 | 248 | 1 | 14k|5245 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1422.88/1426.96 c 1427s| 2100 | 177 | 6549k| 441.5 | 414M | 39 |1429 | 10k|2939 | 302 | 0 | 14k|5266 | 1.012880e+03 | 1.040000e+03 | 2.68%| unknown
1430.36/1434.47 c 1434s| 2200 | 183 | 6583k| 440.7 | 415M | 40 |1429 | 10k|2944 | 394 | 1 | 14k|5296 | 1.013056e+03 | 1.040000e+03 | 2.66%| unknown
1438.06/1442.14 c 1442s| 2300 | 197 | 6616k| 440.0 | 415M | 40 |1429 | 10k|2944 | 489 | 1 | 15k|5325 | 1.013118e+03 | 1.040000e+03 | 2.65%| unknown
1440.35/1444.43 c 1444s| 2400 | 197 | 6634k| 438.3 | 417M | 40 |1429 | 10k|2948 | 496 | 0 | 15k|5341 | 1.013118e+03 | 1.040000e+03 | 2.65%| unknown
1443.54/1447.68 c 1448s| 2500 | 191 | 6657k| 436.9 | 418M | 41 |1429 | 10k|2942 | 557 | 0 | 15k|5345 | 1.013118e+03 | 1.040000e+03 | 2.65%| unknown
1447.43/1451.55 c 1452s| 2600 | 201 | 6684k| 435.8 | 418M | 41 |1429 | 10k|2953 | 609 | 1 | 15k|5353 | 1.013185e+03 | 1.040000e+03 | 2.65%| unknown
1452.52/1456.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1452.52/1456.68 c 1457s| 2700 | 209 | 6718k| 435.2 | 418M | 41 |1429 | 10k|2953 | 640 | 3 | 15k|5367 | 1.013261e+03 | 1.040000e+03 | 2.64%| unknown
1457.21/1461.36 c 1461s| 2800 | 215 | 6746k| 434.2 | 418M | 41 |1429 | 10k|2955 | 675 | 0 | 15k|5383 | 1.013263e+03 | 1.040000e+03 | 2.64%| unknown
1461.30/1465.45 c 1465s| 2900 | 223 | 6773k| 433.1 | 418M | 41 |1429 | 10k|2954 | 716 | 0 | 15k|5388 | 1.013269e+03 | 1.040000e+03 | 2.64%| unknown
1467.08/1471.26 c 1471s| 3000 | 235 | 6808k| 432.7 | 418M | 41 |1429 |9960 |2955 | 780 | 0 | 15k|5395 | 1.013459e+03 | 1.040000e+03 | 2.62%| unknown
1468.89/1473.09 c 1473s| 3100 | 235 | 6826k| 431.0 | 418M | 41 |1429 |9976 |2955 | 788 | 1 | 15k|5399 | 1.013459e+03 | 1.040000e+03 | 2.62%| unknown
1470.98/1475.17 c 1475s| 3200 | 241 | 6844k| 429.5 | 418M | 41 |1429 |9997 |2954 | 793 | 1 | 15k|5407 | 1.013459e+03 | 1.040000e+03 | 2.62%| unknown
1475.06/1479.26 c 1479s| 3300 | 251 | 6871k| 428.4 | 418M | 41 |1429 |9639 |2954 | 824 | 1 | 15k|5410 | 1.013655e+03 | 1.040000e+03 | 2.60%| unknown
1479.75/1483.92 c 1484s| 3400 | 265 | 6907k| 428.0 | 418M | 41 |1429 |9284 |2956 | 847 | 0 | 15k|5417 | 1.013712e+03 | 1.040000e+03 | 2.59%| unknown
1486.33/1490.59 c 1491s| 3500 | 271 | 6955k| 428.3 | 418M | 41 |1429 |9051 |2955 | 894 | 1 | 15k|5420 | 1.013744e+03 | 1.040000e+03 | 2.59%| unknown
1488.63/1492.83 c 1493s| 3600 | 271 | 6973k| 426.8 | 418M | 41 |1429 |9049 |2956 | 905 | 0 | 15k|5429 | 1.013744e+03 | 1.040000e+03 | 2.59%| unknown
1496.01/1500.25 c 1500s| 3700 | 281 | 7007k| 426.3 | 418M | 41 |1429 |8870 |2957 | 987 | 1 | 15k|5444 | 1.013845e+03 | 1.040000e+03 | 2.58%| unknown
1498.10/1502.37 c 1502s| 3800 | 283 | 7026k| 424.9 | 418M | 41 |1429 |8901 |2955 | 996 | 0 | 15k|5453 | 1.013845e+03 | 1.040000e+03 | 2.58%| unknown
1502.09/1506.32 c 1506s| 3900 | 289 | 7049k| 423.7 | 418M | 41 |1429 |8810 |2957 |1043 | 0 | 15k|5459 | 1.013883e+03 | 1.040000e+03 | 2.58%| unknown
1505.98/1510.24 c 1510s| 4000 | 295 | 7073k| 422.6 | 418M | 41 |1429 |8789 |2963 |1097 | 0 | 15k|5459 | 1.013955e+03 | 1.040000e+03 | 2.57%| unknown
1509.17/1513.41 c 1513s| 4100 | 293 | 7093k| 421.3 | 418M | 44 |1429 |8796 |2967 |1110 | 0 | 15k|5467 | 1.013955e+03 | 1.040000e+03 | 2.57%| unknown
1513.66/1518.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1513.66/1518.00 c 1518s| 4200 | 305 | 7123k| 420.5 | 418M | 44 |1429 |8640 |2964 |1168 | 1 | 15k|5468 | 1.014025e+03 | 1.040000e+03 | 2.56%| unknown
1515.46/1519.71 c 1520s| 4300 | 303 | 7140k| 419.0 | 418M | 44 |1429 |8648 |2966 |1174 | 1 | 15k|5469 | 1.014025e+03 | 1.040000e+03 | 2.56%| unknown
1524.03/1528.32 c 1528s| 4400 | 313 | 7184k| 419.2 | 420M | 44 |1429 |8513 |2968 |1302 | 0 | 16k|5506 | 1.014048e+03 | 1.040000e+03 | 2.56%| unknown
1532.11/1536.48 c 1536s| 4500 | 325 | 7228k| 419.3 | 420M | 44 |1429 |8465 |2970 |1383 | 1 | 16k|5550 | 1.014184e+03 | 1.040000e+03 | 2.55%| unknown
1537.71/1542.10 c 1542s| 4600 | 323 | 7265k| 419.0 | 420M | 44 |1429 |8428 |2967 |1461 | 0 | 16k|5572 | 1.014198e+03 | 1.040000e+03 | 2.54%| unknown
1544.79/1549.17 c 1549s| 4700 | 329 | 7308k| 419.1 | 420M | 44 |1429 |8350 |2963 |1568 | 0 | 16k|5583 | 1.014217e+03 | 1.040000e+03 | 2.54%| unknown
1549.47/1553.89 c 1554s| 4800 | 341 | 7348k| 419.0 | 420M | 44 |1429 |8301 |2968 |1653 | 0 | 16k|5598 | 1.014222e+03 | 1.040000e+03 | 2.54%| unknown
1558.55/1562.91 c 1563s| 4900 | 367 | 7399k| 419.5 | 420M | 44 |1429 |8047 |2969 |1777 | 0 | 16k|5606 | 1.014289e+03 | 1.040000e+03 | 2.53%| unknown
1563.14/1567.51 c 1568s| 5000 | 377 | 7430k| 418.9 | 420M | 44 |1429 |7894 |2975 |1845 | 0 | 16k|5629 | 1.014334e+03 | 1.040000e+03 | 2.53%| unknown
1570.73/1575.17 c 1575s| 5100 | 385 | 7466k| 418.5 | 420M | 44 |1429 |7695 |2972 |1951 | 0 | 16k|5671 | 1.014402e+03 | 1.040000e+03 | 2.52%| unknown
1576.30/1580.77 c 1581s| 5200 | 391 | 7499k| 418.1 | 420M | 44 |1429 |7614 |2974 |2029 | 0 | 17k|5696 | 1.014426e+03 | 1.040000e+03 | 2.52%| unknown
1584.78/1589.29 c 1589s| 5300 | 403 | 7544k| 418.2 | 420M | 44 |1429 |7543 |2981 |2192 | 1 | 17k|5702 | 1.014473e+03 | 1.040000e+03 | 2.52%| unknown
1592.96/1597.49 c 1597s| 5400 | 417 | 7605k| 419.3 | 421M | 44 |1429 |7347 |2972 |2291 | 1 | 17k|5706 | 1.014514e+03 | 1.040000e+03 | 2.51%| unknown
1598.25/1602.70 c 1603s| 5500 | 419 | 7636k| 418.7 | 421M | 44 |1429 |7324 |2974 |2367 | 0 | 17k|5720 | 1.014521e+03 | 1.040000e+03 | 2.51%| unknown
1601.94/1606.45 c 1606s| 5600 | 433 | 7669k| 418.2 | 421M | 44 |1429 |7130 |2976 |2400 | 0 | 17k|5725 | 1.014548e+03 | 1.040000e+03 | 2.51%| unknown
1604.43/1609.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1604.43/1609.01 c 1609s| 5700 | 433 | 7694k| 417.3 | 421M | 44 |1429 |7159 |2978 |2438 | 1 | 17k|5729 | 1.014548e+03 | 1.040000e+03 | 2.51%| unknown
1609.02/1613.54 c 1614s| 5800 | 441 | 7723k| 416.6 | 421M | 44 |1429 |7191 |2977 |2492 | 1 | 17k|5749 | 1.014565e+03 | 1.040000e+03 | 2.51%| unknown
1615.52/1620.10 c 1620s| 5900 | 443 | 7759k| 416.3 | 421M | 44 |1429 |7257 |2977 |2557 | 0 | 17k|5785 | 1.014600e+03 | 1.040000e+03 | 2.50%| unknown
1622.39/1626.97 c 1627s| 6000 | 455 | 7801k| 416.3 | 422M | 44 |1429 |7243 |2973 |2651 | 1 | 17k|5810 | 1.014697e+03 | 1.040000e+03 | 2.49%| unknown
1627.78/1632.33 c 1632s| 6100 | 459 | 7833k| 415.8 | 422M | 44 |1429 |7253 |2984 |2737 | 0 | 17k|5828 | 1.014757e+03 | 1.040000e+03 | 2.49%| unknown
1633.57/1638.16 c 1638s| 6200 | 465 | 7869k| 415.5 | 422M | 44 |1429 |7302 |2987 |2835 | 2 | 17k|5852 | 1.014764e+03 | 1.040000e+03 | 2.49%| unknown
1637.75/1642.32 c 1642s| 6300 | 471 | 7901k| 415.0 | 422M | 44 |1429 |7270 |2984 |2887 | 1 | 17k|5858 | 1.014804e+03 | 1.040000e+03 | 2.48%| unknown
1643.64/1648.28 c 1648s| 6400 | 471 | 7933k| 414.5 | 423M | 44 |1429 |7291 |2981 |2947 | 0 | 17k|5866 | 1.014852e+03 | 1.040000e+03 | 2.48%| unknown
1651.62/1656.20 c 1656s| 6500 | 483 | 7975k| 414.5 | 423M | 44 |1429 |7226 |2985 |3104 | 0 | 17k|5879 | 1.014897e+03 | 1.040000e+03 | 2.47%| unknown
1657.00/1661.68 c 1662s| 6600 | 487 | 8010k| 414.2 | 423M | 44 |1429 |7277 |2985 |3206 | 1 | 18k|5891 | 1.014905e+03 | 1.040000e+03 | 2.47%| unknown
1661.79/1666.42 c 1666s| 6700 | 493 | 8043k| 413.7 | 423M | 44 |1429 |7214 |2989 |3282 | 0 | 18k|5899 | 1.014908e+03 | 1.040000e+03 | 2.47%| unknown
1664.29/1668.99 c 1669s| 6800 | 493 | 8066k| 412.8 | 423M | 44 |1429 |7218 |2992 |3308 | 0 | 18k|5902 | 1.014908e+03 | 1.040000e+03 | 2.47%| unknown
1669.07/1673.77 c 1674s| 6900 | 493 | 8094k| 412.2 | 423M | 44 |1429 |7320 |2989 |3314 | 0 | 18k|5944 | 1.014908e+03 | 1.040000e+03 | 2.47%| unknown
1678.25/1683.00 c 1683s| 7000 | 509 | 8139k| 412.3 | 423M | 44 |1429 |7135 |2990 |3480 | 1 | 18k|5949 | 1.014966e+03 | 1.040000e+03 | 2.47%| unknown
1695.71/1700.42 c 1700s| 7100 | 529 | 8228k| 414.8 | 426M | 45 |1429 |6815 |2997 |3708 | 1 | 18k|5957 | 1.015029e+03 | 1.040000e+03 | 2.46%| unknown
1702.09/1706.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1702.09/1706.83 c 1707s| 7200 | 535 | 8264k| 414.5 | 427M | 45 |1429 |6795 |3012 |3735 | 3 | 18k|5989 | 1.015030e+03 | 1.040000e+03 | 2.46%| unknown
1712.38/1717.16 c 1717s| 7300 | 543 | 8303k| 414.3 | 429M | 48 |1429 |6681 |3014 |3839 | 0 | 18k|6029 | 1.015085e+03 | 1.040000e+03 | 2.45%| unknown
1718.45/1723.30 c 1723s| 7400 | 545 | 8344k| 414.3 | 432M | 48 |1429 |6585 |3009 |3932 | 0 | 18k|6036 | 1.015101e+03 | 1.040000e+03 | 2.45%| unknown
1724.13/1729.00 c 1729s| 7500 | 549 | 8384k| 414.3 | 432M | 48 |1429 |6494 |3002 |4045 | 0 | 18k|6043 | 1.015140e+03 | 1.040000e+03 | 2.45%| unknown
1731.33/1736.17 c 1736s| 7600 | 561 | 8432k| 414.6 | 433M | 48 |1429 |6420 |3003 |4217 | 1 | 18k|6043 | 1.015142e+03 | 1.040000e+03 | 2.45%| unknown
1735.81/1740.65 c 1741s| 7700 | 561 | 8463k| 414.1 | 435M | 48 |1429 |6450 |3005 |4286 | 0 | 18k|6055 | 1.015142e+03 | 1.040000e+03 | 2.45%| unknown
1741.49/1746.35 c 1746s| 7800 | 565 | 8502k| 413.9 | 435M | 48 |1429 |6450 |2984 |4453 | 1 | 18k|6063 | 1.015222e+03 | 1.040000e+03 | 2.44%| unknown
1744.88/1749.79 c 1750s| 7900 | 561 | 8534k| 413.5 | 435M | 48 |1429 |6465 |3004 |4517 | 0 | 18k|6065 | 1.015222e+03 | 1.040000e+03 | 2.44%| unknown
1748.87/1753.75 c 1754s| 8000 | 561 | 8568k| 413.1 | 435M | 48 |1429 |6451 |2991 |4601 | 0 | 18k|6066 | 1.015228e+03 | 1.040000e+03 | 2.44%| unknown
1757.16/1762.08 c 1762s| 8100 | 571 | 8613k| 413.3 | 435M | 48 |1429 |6303 |2975 |4823 | 0 | 18k|6067 | 1.015291e+03 | 1.040000e+03 | 2.43%| unknown
1764.33/1769.26 c 1769s| 8200 | 581 | 8661k| 413.6 | 435M | 48 |1429 |6045 |3005 |5039 | 0 | 18k|6068 | 1.015352e+03 | 1.040000e+03 | 2.43%| unknown
1772.01/1776.92 c 1777s| 8300 | 593 | 8707k| 413.9 | 435M | 48 |1429 |5855 |2992 |5263 | 0 | 18k|6068 | 1.015391e+03 | 1.040000e+03 | 2.42%| unknown
1780.10/1785.05 c 1785s| 8400 | 605 | 8774k| 415.1 | 435M | 48 |1429 |5722 |2995 |5303 | 0 | 18k|6070 | 1.015411e+03 | 1.040000e+03 | 2.42%| unknown
1784.28/1789.23 c 1789s| 8500 | 611 | 8810k| 414.8 | 434M | 48 |1429 |5590 |3006 |5412 | 0 | 18k|6070 | 1.015431e+03 | 1.040000e+03 | 2.42%| unknown
1792.46/1797.48 c 1797s| 8600 | 627 | 8857k| 415.1 | 434M | 48 |1429 |5301 |2998 |5624 | 1 | 18k|6070 | 1.015444e+03 | 1.040000e+03 | 2.42%| unknown
1795.17/1800.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1795.17/1800.18 c 1800s| 8700 | 627 | 8882k| 414.3 | 434M | 48 |1429 |5305 |2996 |5689 | 1 | 18k|6072 | 1.015444e+03 | 1.040000e+03 | 2.42%| unknown
1798.55/1803.55 c 1804s| 8800 | 631 | 8913k| 413.8 | 434M | 48 |1429 |5316 |3009 |5734 | 1 | 18k|6077 | 1.015444e+03 | 1.040000e+03 | 2.42%| unknown
1801.24/1806.28 c 1806s| 8900 | 629 | 8940k| 413.1 | 434M | 48 |1429 |5330 |3009 |5775 | 0 | 18k|6079 | 1.015444e+03 | 1.040000e+03 | 2.42%| unknown
1805.33/1810.35 c 1810s| 9000 | 637 | 8975k| 412.9 | 434M | 48 |1429 |5193 |3004 |5811 | 0 | 19k|6089 | 1.015489e+03 | 1.040000e+03 | 2.41%| unknown
1813.61/1818.68 c 1819s| 9100 | 645 | 9026k| 413.3 | 434M | 48 |1429 |5128 |3011 |6041 | 0 | 19k|6097 | 1.015515e+03 | 1.040000e+03 | 2.41%| unknown
1827.28/1832.33 c 1832s| 9200 | 663 | 9086k| 414.2 | 434M | 48 |1429 |5226 |3010 |6291 | 0 | 19k|6171 | 1.015541e+03 | 1.040000e+03 | 2.41%| unknown
1834.26/1839.38 c 1839s| 9300 | 671 | 9130k| 414.3 | 434M | 48 |1429 |5250 |2997 |6366 | 1 | 19k|6202 | 1.015600e+03 | 1.040000e+03 | 2.40%| unknown
1838.85/1843.91 c 1844s| 9400 | 675 | 9167k| 414.1 | 434M | 48 |1429 |5367 |3018 |6445 | 0 | 19k|6235 | 1.015600e+03 | 1.040000e+03 | 2.40%| unknown
1845.53/1850.61 c 1851s| 9500 | 679 | 9209k| 414.1 | 434M | 48 |1429 |5407 |3010 |6583 | 2 | 19k|6252 | 1.015603e+03 | 1.040000e+03 | 2.40%| unknown
1851.03/1856.12 c 1856s| 9600 | 685 | 9249k| 414.0 | 434M | 48 |1429 |5291 |3018 |6640 | 0 | 19k|6268 | 1.015604e+03 | 1.040000e+03 | 2.40%| unknown
1854.71/1859.81 c 1860s| 9700 | 683 | 9283k| 413.7 | 434M | 48 |1429 |5333 |3020 |6681 | 0 | 19k|6276 | 1.015604e+03 | 1.040000e+03 | 2.40%| unknown
1861.29/1866.49 c 1866s| 9800 | 693 | 9328k| 413.9 | 434M | 48 |1429 |5324 |3019 |6845 | 2 | 19k|6283 | 1.015608e+03 | 1.040000e+03 | 2.40%| unknown
1870.47/1875.67 c 1876s| 9900 | 707 | 9377k| 414.2 | 434M | 48 |1429 |5098 |3016 |7021 | 0 | 20k|6291 | 1.015658e+03 | 1.040000e+03 | 2.40%| unknown
1879.75/1884.96 c 1885s| 10000 | 713 | 9439k| 415.1 | 434M | 48 |1429 |5145 |3017 |7104 | 1 | 20k|6317 | 1.015662e+03 | 1.040000e+03 | 2.40%| unknown
1890.12/1895.32 c 1895s| 10100 | 721 | 9493k| 415.7 | 434M | 48 |1429 |5104 |3027 |7283 | 2 | 20k|6336 | 1.015738e+03 | 1.040000e+03 | 2.39%| unknown
1897.60/1902.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1897.60/1902.82 c 1903s| 10200 | 731 | 9541k| 416.0 | 434M | 48 |1429 |5129 |3021 |7425 | 0 | 20k|6348 | 1.015779e+03 | 1.040000e+03 | 2.38%| unknown
1904.69/1909.95 c 1910s| 10300 | 741 | 9587k| 416.1 | 434M | 48 |1429 |5145 |3024 |7517 | 0 | 20k|6360 | 1.015782e+03 | 1.040000e+03 | 2.38%| unknown
1909.58/1914.88 c 1915s| 10400 | 747 | 9625k| 416.0 | 435M | 48 |1429 |5125 |3025 |7568 | 0 | 20k|6363 | 1.015796e+03 | 1.040000e+03 | 2.38%| unknown
1917.65/1922.93 c 1923s| 10500 | 745 | 9662k| 415.8 | 446M | 48 |1429 |5181 |3041 |7629 | 3 | 20k|6387 | 1.015796e+03 | 1.040000e+03 | 2.38%| unknown
1929.53/1934.81 c 1935s| 10600 | 757 | 9715k| 416.3 | 473M | 48 |1429 |5212 |3038 |7858 | 1 | 20k|6400 | 1.015821e+03 | 1.040000e+03 | 2.38%| unknown
1936.02/1941.36 c 1941s| 10700 | 759 | 9755k| 416.2 | 475M | 48 |1429 |5224 |3034 |7983 | 0 | 20k|6407 | 1.015825e+03 | 1.040000e+03 | 2.38%| unknown
1942.10/1947.44 c 1947s| 10800 | 761 | 9797k| 416.2 | 475M | 48 |1429 |5218 |3036 |8119 | 0 | 20k|6410 | 1.015859e+03 | 1.040000e+03 | 2.38%| unknown
1945.49/1950.86 c 1951s| 10900 | 765 | 9829k| 415.8 | 475M | 48 |1429 |5214 |3014 |8216 | 0 | 20k|6412 | 1.015865e+03 | 1.040000e+03 | 2.38%| unknown
1953.68/1959.10 c 1959s| 11000 | 775 | 9881k| 416.2 | 472M | 48 |1429 |4992 |3017 |8467 | 1 | 20k|6415 | 1.015897e+03 | 1.040000e+03 | 2.37%| unknown
1959.36/1964.76 c 1965s| 11100 | 779 | 9923k| 416.2 | 468M | 48 |1429 |4971 |3036 |8642 | 1 | 20k|6415 | 1.015927e+03 | 1.040000e+03 | 2.37%| unknown
1965.44/1970.86 c 1971s| 11200 | 783 | 9965k| 416.3 | 454M | 48 |1429 |4908 |3018 |8776 | 1 | 20k|6415 | 1.015946e+03 | 1.040000e+03 | 2.37%| unknown
1969.93/1975.32 c 1975s| 11300 | 793 | 10007k| 416.3 | 454M | 48 |1429 |4782 |3036 |8875 | 0 | 20k|6415 | 1.015952e+03 | 1.040000e+03 | 2.37%| unknown
1973.42/1978.88 c 1979s| 11400 | 797 | 10041k| 416.0 | 454M | 48 |1429 |4775 |3044 |8981 | 1 | 20k|6416 | 1.015952e+03 | 1.040000e+03 | 2.37%| unknown
1976.81/1982.24 c 1982s| 11500 | 801 | 10072k| 415.5 | 454M | 48 |1429 |4750 |3040 |9034 | 0 | 20k|6421 | 1.015953e+03 | 1.040000e+03 | 2.37%| unknown
1981.50/1986.92 c 1987s| 11600 | 807 | 10110k| 415.4 | 454M | 48 |1429 |4664 |3043 |9169 | 0 | 20k|6424 | 1.016003e+03 | 1.040000e+03 | 2.36%| unknown
1984.30/1989.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1984.30/1989.74 c 1990s| 11700 | 807 | 10138k| 414.8 | 454M | 48 |1429 |4705 |3045 |9213 | 0 | 20k|6430 | 1.016003e+03 | 1.040000e+03 | 2.36%| unknown
1995.07/2000.55 o 1039
1995.07/2000.55 c L2001s| 11766 | 814 | 10203k| 416.4 |crossove| 48 |1429 |4618 |3067 |9384 | 1 | 20k|6437 | 1.016040e+03 | 1.039000e+03 | 2.26%| unknown
1997.26/2002.76 c 2003s| 11800 | 818 | 10225k| 416.7 | 454M | 48 |1429 |4558 |3045 |9430 | 0 | 20k|6437 | 1.016052e+03 | 1.039000e+03 | 2.26%| unknown
2006.34/2011.81 c 2012s| 11900 | 838 | 10282k| 417.3 | 454M | 48 |1429 |4343 |3042 |9618 | 1 | 20k|6439 | 1.016103e+03 | 1.039000e+03 | 2.25%| unknown
2011.83/2017.38 c 2017s| 12000 | 844 | 10319k| 417.1 | 454M | 48 |1429 |4319 |3025 |9708 | 1 | 20k|6447 | 1.016119e+03 | 1.039000e+03 | 2.25%| unknown
2015.32/2020.85 c 2021s| 12100 | 842 | 10353k| 416.8 | 454M | 48 |1429 |4328 |3041 |9831 | 0 | 20k|6450 | 1.016119e+03 | 1.039000e+03 | 2.25%| unknown
2019.71/2025.20 c 2025s| 12200 | 848 | 10391k| 416.7 | 454M | 48 |1429 |4311 |3027 |9900 | 1 | 20k|6454 | 1.016133e+03 | 1.039000e+03 | 2.25%| unknown
2023.10/2028.66 c 2029s| 12300 | 852 | 10425k| 416.4 | 454M | 48 |1429 |4251 |3046 |9991 | 0 | 20k|6455 | 1.016138e+03 | 1.039000e+03 | 2.25%| unknown
2026.29/2031.85 c 2032s| 12400 | 850 | 10454k| 415.8 | 454M | 48 |1429 |4271 |3030 |9998 | 1 | 20k|6460 | 1.016138e+03 | 1.039000e+03 | 2.25%| unknown
2031.28/2036.80 c 2037s| 12500 | 854 | 10500k| 416.0 | 454M | 48 |1429 |4332 |3040 | 10k| 1 | 21k|6475 | 1.016138e+03 | 1.039000e+03 | 2.25%| unknown
2036.87/2042.40 c 2042s| 12600 | 862 | 10549k| 416.3 | 454M | 48 |1429 |4273 |3038 | 10k| 0 | 21k|6492 | 1.016153e+03 | 1.039000e+03 | 2.25%| unknown
2041.16/2046.75 c 2047s| 12700 | 862 | 10588k| 416.2 | 454M | 48 |1429 |4292 |3047 | 10k| 1 | 21k|6500 | 1.016153e+03 | 1.039000e+03 | 2.25%| unknown
2047.04/2052.67 c 2053s| 12800 | 862 | 10624k| 416.0 | 454M | 48 |1429 |4359 |3045 | 10k| 1 | 21k|6532 | 1.016153e+03 | 1.039000e+03 | 2.25%| unknown
2056.82/2062.41 c 2062s| 12900 | 872 | 10679k| 416.5 | 457M | 48 |1429 |4266 |3030 | 10k| 0 | 21k|6536 | 1.016193e+03 | 1.039000e+03 | 2.24%| unknown
2061.52/2067.19 c 2067s| 13000 | 882 | 10716k| 416.3 | 458M | 48 |1429 |4250 |2986 | 10k| 1 | 21k|6544 | 1.016231e+03 | 1.039000e+03 | 2.24%| unknown
2065.00/2070.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2065.00/2070.63 c 2071s| 13100 | 882 | 10742k| 415.7 | 458M | 48 |1429 |4435 |2993 | 10k| 0 | 21k|6587 | 1.016231e+03 | 1.039000e+03 | 2.24%| unknown
2067.59/2073.20 c 2073s| 13200 | 882 | 10763k| 414.9 | 458M | 48 |1429 |4468 |2995 | 10k| 1 | 21k|6597 | 1.016231e+03 | 1.039000e+03 | 2.24%| unknown
2070.78/2076.42 c 2076s| 13300 | 880 | 10788k| 414.3 | 458M | 48 |1429 |4582 |2998 | 10k| 0 | 21k|6619 | 1.016231e+03 | 1.039000e+03 | 2.24%| unknown
2075.17/2080.84 c 2081s| 13400 | 888 | 10820k| 414.0 | 458M | 48 |1429 |4577 |2990 | 10k| 0 | 21k|6622 | 1.016241e+03 | 1.039000e+03 | 2.24%| unknown
2078.06/2083.71 c 2084s| 13500 | 886 | 10845k| 413.3 | 456M | 48 |1429 |4738 |2988 | 10k| 1 | 22k|6659 | 1.016241e+03 | 1.039000e+03 | 2.24%| unknown
2081.75/2087.40 c 2087s| 13600 | 894 | 10876k| 412.9 | 456M | 48 |1429 |4788 |2989 | 10k| 0 | 22k|6669 | 1.016259e+03 | 1.039000e+03 | 2.24%| unknown
2086.24/2091.98 c 2092s| 13700 | 900 | 10908k| 412.6 | 456M | 48 |1429 |4840 |2989 | 10k| 1 | 22k|6679 | 1.016291e+03 | 1.039000e+03 | 2.23%| unknown
2092.23/2097.99 c 2098s| 13800 | 910 | 10948k| 412.5 | 456M | 48 |1429 |4918 |2992 | 10k| 1 | 22k|6699 | 1.016309e+03 | 1.039000e+03 | 2.23%| unknown
2099.61/2105.34 c 2105s| 13900 | 914 | 11001k| 413.0 | 456M | 48 |1429 |5035 |2992 | 10k| 0 | 22k|6747 | 1.016309e+03 | 1.039000e+03 | 2.23%| unknown
2106.79/2112.59 c 2113s| 14000 | 928 | 11047k| 413.2 | 456M | 48 |1429 |5084 |3003 | 10k| 0 | 22k|6768 | 1.016359e+03 | 1.039000e+03 | 2.23%| unknown
2111.58/2117.35 c 2117s| 14100 | 932 | 11080k| 412.8 | 456M | 48 |1429 |5161 |2991 | 10k| 1 | 22k|6790 | 1.016389e+03 | 1.039000e+03 | 2.22%| unknown
2116.07/2121.85 c 2122s| 14200 | 942 | 11113k| 412.5 | 456M | 48 |1429 |5184 |2992 | 10k| 2 | 22k|6795 | 1.016391e+03 | 1.039000e+03 | 2.22%| unknown
2118.86/2124.69 c 2125s| 14300 | 946 | 11139k| 412.0 | 456M | 48 |1429 |5186 |2991 | 10k| 0 | 22k|6796 | 1.016395e+03 | 1.039000e+03 | 2.22%| unknown
2121.16/2126.92 c 2127s| 14400 | 946 | 11159k| 411.2 | 456M | 48 |1429 |5204 |2987 | 10k| 1 | 22k|6804 | 1.016395e+03 | 1.039000e+03 | 2.22%| unknown
2126.94/2132.73 c 2133s| 14500 | 956 | 11195k| 411.0 | 456M | 48 |1429 |5194 |2995 | 11k| 0 | 22k|6808 | 1.016398e+03 | 1.039000e+03 | 2.22%| unknown
2129.83/2135.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2129.83/2135.63 c 2136s| 14600 | 960 | 11218k| 410.3 | 456M | 48 |1429 |5232 |2993 | 11k| 1 | 22k|6822 | 1.016398e+03 | 1.039000e+03 | 2.22%| unknown
2132.53/2138.35 c 2138s| 14700 | 958 | 11241k| 409.7 | 456M | 48 |1429 |5310 |2993 | 11k| 0 | 23k|6844 | 1.016398e+03 | 1.039000e+03 | 2.22%| unknown
2139.01/2144.88 c 2145s| 14800 | 976 | 11284k| 409.8 | 456M | 48 |1429 |5367 |3001 | 11k| 1 | 23k|6858 | 1.016429e+03 | 1.039000e+03 | 2.22%| unknown
2145.31/2151.15 c 2151s| 14900 | 982 | 11315k| 409.4 | 456M | 48 |1429 |5365 |2993 | 11k| 1 | 23k|6867 | 1.016433e+03 | 1.039000e+03 | 2.22%| unknown
2149.30/2155.11 c 2155s| 15000 | 986 | 11341k| 408.8 | 456M | 48 |1429 |5345 |2998 | 11k| 0 | 23k|6868 | 1.016434e+03 | 1.039000e+03 | 2.22%| unknown
2155.57/2161.45 c 2161s| 15100 | 996 | 11378k| 408.7 | 456M | 48 |1429 |5308 |2995 | 11k| 0 | 23k|6868 | 1.016439e+03 | 1.039000e+03 | 2.22%| unknown
2158.17/2164.03 c 2164s| 15200 | 996 | 11402k| 408.1 | 456M | 48 |1429 |5341 |2995 | 11k| 0 | 23k|6874 | 1.016439e+03 | 1.039000e+03 | 2.22%| unknown
2164.95/2170.89 c 2171s| 15300 | 1008 | 11442k| 408.1 | 456M | 48 |1429 |5393 |2997 | 11k| 0 | 23k|6889 | 1.016443e+03 | 1.039000e+03 | 2.22%| unknown
2174.24/2180.19 c 2180s| 15400 | 1016 | 11507k| 408.9 | 456M | 48 |1429 |5389 |3005 | 11k| 0 | 23k|6903 | 1.016447e+03 | 1.039000e+03 | 2.22%| unknown
2181.31/2187.22 c 2187s| 15500 | 1030 | 11553k| 409.1 | 456M | 48 |1429 |5418 |2998 | 11k| 1 | 23k|6935 | 1.016454e+03 | 1.039000e+03 | 2.22%| unknown
2186.69/2192.65 c 2193s| 15600 | 1034 | 11586k| 408.8 | 456M | 48 |1429 |5463 |2996 | 11k| 0 | 23k|6955 | 1.016486e+03 | 1.039000e+03 | 2.21%| unknown
2191.88/2197.85 c 2198s| 15700 | 1042 | 11620k| 408.6 | 456M | 48 |1429 |5404 |2999 | 11k| 3 | 23k|6963 | 1.016488e+03 | 1.039000e+03 | 2.21%| unknown
2197.08/2203.10 c 2203s| 15800 | 1056 | 11658k| 408.5 | 456M | 48 |1429 |5517 |3000 | 11k| 2 | 24k|7010 | 1.016533e+03 | 1.039000e+03 | 2.21%| unknown
2200.96/2207.00 c 2207s| 15900 | 1056 | 11688k| 408.1 | 456M | 48 |1429 |5559 |3000 | 11k| 0 | 24k|7040 | 1.016545e+03 | 1.039000e+03 | 2.21%| unknown
2207.24/2213.22 c 2213s| 16000 | 1072 | 11729k| 408.1 | 456M | 48 |1429 |5573 |3002 | 11k| 1 | 24k|7081 | 1.016576e+03 | 1.039000e+03 | 2.21%| unknown
2214.62/2220.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2214.62/2220.60 c 2221s| 16100 | 1080 | 11765k| 408.0 | 456M | 48 |1429 |5457 |3001 | 12k| 1 | 24k|7101 | 1.016631e+03 | 1.039000e+03 | 2.20%| unknown
2220.12/2226.19 c 2226s| 16200 | 1088 | 11799k| 407.7 | 456M | 48 |1429 |5319 |2998 | 12k| 0 | 24k|7107 | 1.016643e+03 | 1.039000e+03 | 2.20%| unknown
2223.60/2229.63 c 2230s| 16300 | 1092 | 11828k| 407.3 | 456M | 48 |1429 |5230 |2997 | 12k| 1 | 24k|7108 | 1.016652e+03 | 1.039000e+03 | 2.20%| unknown
2226.40/2232.49 c 2232s| 16400 | 1092 | 11856k| 406.9 | 456M | 48 |1429 |5257 |3000 | 12k| 1 | 24k|7112 | 1.016652e+03 | 1.039000e+03 | 2.20%| unknown
2232.68/2238.74 c 2239s| 16500 | 1100 | 11892k| 406.7 | 456M | 48 |1429 |5149 |2997 | 12k| 0 | 24k|7112 | 1.016667e+03 | 1.039000e+03 | 2.20%| unknown
2235.57/2241.60 c 2242s| 16600 | 1100 | 11921k| 406.3 | 456M | 48 |1429 |5142 |2993 | 12k| 0 | 24k|7113 | 1.016667e+03 | 1.039000e+03 | 2.20%| unknown
2240.16/2246.25 c 2246s| 16700 | 1108 | 11954k| 406.1 | 456M | 48 |1429 |5089 |2996 | 12k| 1 | 24k|7113 | 1.016669e+03 | 1.039000e+03 | 2.20%| unknown
2242.66/2248.73 c 2249s| 16800 | 1106 | 11978k| 405.5 | 456M | 48 |1429 |5143 |2988 | 12k| 1 | 24k|7120 | 1.016669e+03 | 1.039000e+03 | 2.20%| unknown
2249.84/2255.99 c 2256s| 16900 | 1122 | 12040k| 406.2 | 456M | 48 |1429 |4975 |2995 | 12k| 0 | 24k|7120 | 1.016687e+03 | 1.039000e+03 | 2.19%| unknown
2252.33/2258.45 c 2258s| 17000 | 1122 | 12063k| 405.6 | 456M | 48 |1429 |5017 |2996 | 12k| 0 | 24k|7125 | 1.016687e+03 | 1.039000e+03 | 2.19%| unknown
2257.82/2263.97 c 2264s| 17100 | 1132 | 12103k| 405.6 | 456M | 48 |1429 |4941 |2998 | 12k| 0 | 24k|7133 | 1.016699e+03 | 1.039000e+03 | 2.19%| unknown
2264.40/2270.53 c 2271s| 17200 | 1146 | 12144k| 405.6 | 458M | 48 |1429 |4737 |2996 | 12k| 0 | 24k|7146 | 1.016750e+03 | 1.039000e+03 | 2.19%| unknown
2267.79/2273.91 c 2274s| 17300 | 1150 | 12174k| 405.3 | 458M | 48 |1429 |4716 |2996 | 12k| 0 | 25k|7160 | 1.016755e+03 | 1.039000e+03 | 2.19%| unknown
2276.77/2282.95 c 2283s| 17400 | 1162 | 12214k| 405.3 | 458M | 48 |1429 |4713 |2997 | 12k| 1 | 25k|7238 | 1.016770e+03 | 1.039000e+03 | 2.19%| unknown
2285.75/2292.00 c 2292s| 17500 | 1168 | 12253k| 405.2 | 458M | 48 |1429 |4782 |2998 | 12k| 0 | 25k|7324 | 1.016780e+03 | 1.039000e+03 | 2.19%| unknown
2288.54/2294.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2288.54/2294.77 c 2295s| 17600 | 1168 | 12275k| 404.6 | 458M | 48 |1429 |4883 |3006 | 12k| 1 | 25k|7347 | 1.016780e+03 | 1.039000e+03 | 2.19%| unknown
2292.73/2298.93 c 2299s| 17700 | 1182 | 12312k| 404.5 | 458M | 48 |1429 |4868 |3000 | 12k| 1 | 25k|7367 | 1.016804e+03 | 1.039000e+03 | 2.18%| unknown
2299.42/2305.60 c 2306s| 17800 | 1188 | 12351k| 404.4 | 458M | 48 |1429 |5113 |3006 | 12k| 2 | 26k|7447 | 1.016804e+03 | 1.039000e+03 | 2.18%| unknown
2306.50/2312.78 c 2313s| 17900 | 1198 | 12395k| 404.5 | 458M | 48 |1429 |5012 |3001 | 13k| 1 | 26k|7458 | 1.016836e+03 | 1.039000e+03 | 2.18%| unknown
2311.69/2317.91 c 2318s| 18000 | 1204 | 12432k| 404.4 | 458M | 48 |1429 |4989 |2998 | 13k| 1 | 26k|7470 | 1.016852e+03 | 1.039000e+03 | 2.18%| unknown
2316.37/2322.60 c 2323s| 18100 | 1208 | 12463k| 404.1 | 458M | 48 |1429 |5001 |3000 | 13k| 1 | 26k|7473 | 1.016876e+03 | 1.039000e+03 | 2.18%| unknown
2320.87/2327.16 c 2327s| 18200 | 1214 | 12492k| 403.8 | 458M | 48 |1429 |4980 |3000 | 13k| 1 | 26k|7478 | 1.016908e+03 | 1.039000e+03 | 2.17%| unknown
2329.85/2336.15 c 2336s| 18300 | 1224 | 12557k| 404.6 | 463M | 48 |1429 |5034 |2998 | 13k| 1 | 26k|7510 | 1.016928e+03 | 1.039000e+03 | 2.17%| unknown
2333.13/2339.47 c 2339s| 18400 | 1226 | 12582k| 404.1 | 461M | 48 |1429 |5058 |3000 | 13k| 3 | 26k|7526 | 1.016928e+03 | 1.039000e+03 | 2.17%| unknown
2336.92/2343.20 c 2343s| 18500 | 1228 | 12608k| 403.6 | 461M | 48 |1429 |5208 |3004 | 13k| 0 | 26k|7563 | 1.016928e+03 | 1.039000e+03 | 2.17%| unknown
2345.50/2351.81 c 2352s| 18600 | 1242 | 12653k| 403.7 | 461M | 48 |1429 |5379 |3003 | 13k| 1 | 27k|7652 | 1.016942e+03 | 1.039000e+03 | 2.17%| unknown
2349.59/2355.93 c 2356s| 18700 | 1240 | 12687k| 403.5 | 461M | 48 |1429 |5547 |3004 | 13k| 3 | 27k|7702 | 1.016945e+03 | 1.039000e+03 | 2.17%| unknown
2353.88/2360.29 c 2360s| 18800 | 1252 | 12723k| 403.4 | 461M | 48 |1429 |5522 |3007 | 13k| 1 | 27k|7732 | 1.016967e+03 | 1.039000e+03 | 2.17%| unknown
2357.97/2364.36 c 2364s| 18900 | 1250 | 12746k| 402.8 | 461M | 48 |1429 |5645 |3006 | 13k| 1 | 27k|7784 | 1.016967e+03 | 1.039000e+03 | 2.17%| unknown
2361.06/2367.49 c 2367s| 19000 | 1252 | 12775k| 402.5 | 461M | 48 |1429 |5546 |3005 | 13k| 1 | 28k|7787 | 1.016979e+03 | 1.039000e+03 | 2.17%| unknown
2365.66/2372.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2365.66/2372.03 c 2372s| 19100 | 1258 | 12808k| 402.3 | 461M | 48 |1429 |5430 |3002 | 13k| 0 | 28k|7788 | 1.016991e+03 | 1.039000e+03 | 2.16%| unknown
2368.25/2374.63 c 2375s| 19200 | 1260 | 12833k| 401.8 | 461M | 48 |1429 |5468 |3003 | 13k| 0 | 28k|7792 | 1.016991e+03 | 1.039000e+03 | 2.16%| unknown
2371.54/2377.94 c 2378s| 19300 | 1266 | 12863k| 401.5 | 461M | 48 |1429 |5399 |3005 | 13k| 0 | 28k|7792 | 1.017001e+03 | 1.039000e+03 | 2.16%| unknown
2373.74/2380.12 c 2380s| 19400 | 1264 | 12884k| 400.9 | 461M | 48 |1429 |5396 |3001 | 13k| 1 | 28k|7792 | 1.017001e+03 | 1.039000e+03 | 2.16%| unknown
2377.32/2383.70 c 2384s| 19500 | 1266 | 12915k| 400.6 | 461M | 48 |1429 |5282 |2997 | 13k| 0 | 28k|7793 | 1.017015e+03 | 1.039000e+03 | 2.16%| unknown
2379.92/2386.30 c 2386s| 19600 | 1268 | 12940k| 400.1 | 461M | 48 |1429 |5278 |3009 | 13k| 2 | 28k|7794 | 1.017015e+03 | 1.039000e+03 | 2.16%| unknown
2382.41/2388.85 c 2389s| 19700 | 1268 | 12964k| 399.6 | 461M | 48 |1429 |5316 |3004 | 13k| 0 | 28k|7797 | 1.017015e+03 | 1.039000e+03 | 2.16%| unknown
2387.61/2394.10 c 2394s| 19800 | 1274 | 13000k| 399.5 | 461M | 48 |1429 |5142 |2999 | 13k| 0 | 28k|7797 | 1.017043e+03 | 1.039000e+03 | 2.16%| unknown
2393.60/2400.03 c 2400s| 19900 | 1286 | 13040k| 399.5 | 463M | 48 |1429 |4976 |3004 | 13k| 1 | 28k|7804 | 1.017065e+03 | 1.039000e+03 | 2.16%| unknown
2398.77/2405.29 c 2405s| 20000 | 1288 | 13071k| 399.2 | 463M | 48 |1429 |4984 |3003 | 13k| 1 | 28k|7835 | 1.017067e+03 | 1.039000e+03 | 2.16%| unknown
2402.36/2408.88 c 2409s| 20100 | 1294 | 13101k| 398.9 | 463M | 48 |1429 |4979 |2991 | 14k| 1 | 28k|7869 | 1.017067e+03 | 1.039000e+03 | 2.16%| unknown
2410.44/2416.96 c 2417s| 20200 | 1304 | 13144k| 399.0 | 463M | 48 |1429 |4954 |2993 | 14k| 0 | 28k|7947 | 1.017110e+03 | 1.039000e+03 | 2.15%| unknown
2414.23/2420.71 c 2421s| 20300 | 1308 | 13175k| 398.8 | 463M | 48 |1429 |4981 |2991 | 14k| 1 | 29k|7981 | 1.017116e+03 | 1.039000e+03 | 2.15%| unknown
2421.02/2427.52 c 2428s| 20400 | 1318 | 13230k| 399.2 | 463M | 48 |1429 |4981 |2993 | 14k| 0 | 29k|7996 | 1.017130e+03 | 1.039000e+03 | 2.15%| unknown
2424.91/2431.46 c 2431s| 20500 | 1324 | 13265k| 399.1 | 463M | 48 |1429 |5038 |2995 | 14k| 1 | 29k|8017 | 1.017157e+03 | 1.039000e+03 | 2.15%| unknown
2429.69/2436.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2429.69/2436.23 c 2436s| 20600 | 1330 | 13294k| 398.7 | 463M | 48 |1429 |5050 |2994 | 14k| 1 | 29k|8036 | 1.017167e+03 | 1.039000e+03 | 2.15%| unknown
2435.98/2442.57 c 2443s| 20700 | 1346 | 13331k| 398.6 | 463M | 48 |1429 |4843 |2994 | 14k| 0 | 29k|8038 | 1.017177e+03 | 1.039000e+03 | 2.15%| unknown
2439.77/2446.30 c 2446s| 20800 | 1350 | 13357k| 398.2 | 463M | 48 |1429 |4769 |2996 | 14k| 0 | 29k|8039 | 1.017178e+03 | 1.039000e+03 | 2.15%| unknown
2441.48/2448.06 c 2448s| 20900 | 1350 | 13375k| 397.6 | 463M | 48 |1429 |4769 |2995 | 14k| 0 | 29k|8039 | 1.017178e+03 | 1.039000e+03 | 2.15%| unknown
2446.57/2453.19 c 2453s| 21000 | 1362 | 13412k| 397.5 | 463M | 48 |1429 |4605 |2998 | 14k| 0 | 29k|8040 | 1.017195e+03 | 1.039000e+03 | 2.14%| unknown
2450.74/2457.32 c 2457s| 21100 | 1372 | 13447k| 397.4 | 463M | 48 |1429 |4467 |2988 | 14k| 1 | 29k|8043 | 1.017224e+03 | 1.039000e+03 | 2.14%| unknown
2455.13/2461.77 c 2462s| 21200 | 1380 | 13481k| 397.2 | 463M | 48 |1429 |4360 |2995 | 14k| 1 | 29k|8044 | 1.017231e+03 | 1.039000e+03 | 2.14%| unknown
2457.63/2464.22 c 2464s| 21300 | 1380 | 13505k| 396.7 | 463M | 48 |1429 |4359 |2994 | 14k| 1 | 29k|8045 | 1.017231e+03 | 1.039000e+03 | 2.14%| unknown
2460.32/2466.97 c 2467s| 21400 | 1384 | 13531k| 396.3 | 463M | 48 |1429 |4357 |2996 | 14k| 1 | 29k|8045 | 1.017231e+03 | 1.039000e+03 | 2.14%| unknown
2468.00/2474.62 c 2475s| 21500 | 1402 | 13578k| 396.5 | 463M | 48 |1429 |4200 |2996 | 14k| 1 | 29k|8045 | 1.017240e+03 | 1.039000e+03 | 2.14%| unknown
2470.79/2477.42 c 2477s| 21600 | 1408 | 13605k| 396.2 | 463M | 48 |1429 |4192 |2999 | 14k| 0 | 29k|8047 | 1.017240e+03 | 1.039000e+03 | 2.14%| unknown
2472.89/2479.53 c 2480s| 21700 | 1408 | 13626k| 395.6 | 463M | 48 |1429 |4192 |2999 | 14k| 0 | 29k|8047 | 1.017240e+03 | 1.039000e+03 | 2.14%| unknown
2479.07/2485.71 c 2486s| 21800 | 1420 | 13668k| 395.7 | 463M | 48 |1429 |4038 |2996 | 14k| 0 | 29k|8047 | 1.017259e+03 | 1.039000e+03 | 2.14%| unknown
2488.25/2494.94 c 2495s| 21900 | 1430 | 13732k| 396.4 | 463M | 48 |1429 |3960 |2995 | 14k| 0 | 29k|8047 | 1.017269e+03 | 1.039000e+03 | 2.14%| unknown
2496.63/2503.38 c 2503s| 22000 | 1446 | 13774k| 396.5 | 463M | 48 |1429 |3856 |2994 | 15k| 1 | 29k|8047 | 1.017303e+03 | 1.039000e+03 | 2.13%| unknown
2501.02/2507.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2501.02/2507.76 c 2508s| 22100 | 1454 | 13801k| 396.1 | 463M | 48 |1429 |3786 |2996 | 15k| 1 | 29k|8047 | 1.017313e+03 | 1.039000e+03 | 2.13%| unknown
2503.61/2510.36 c 2510s| 22200 | 1456 | 13827k| 395.7 | 463M | 48 |1429 |3738 |2994 | 15k| 1 | 29k|8047 | 1.017336e+03 | 1.039000e+03 | 2.13%| unknown
2506.42/2513.13 c 2513s| 22300 | 1462 | 13854k| 395.4 | 463M | 48 |1429 |3727 |2995 | 15k| 1 | 29k|8048 | 1.017342e+03 | 1.039000e+03 | 2.13%| unknown
2510.79/2517.59 c 2518s| 22400 | 1470 | 13888k| 395.2 | 463M | 48 |1429 |3676 |2995 | 15k| 1 | 29k|8048 | 1.017358e+03 | 1.039000e+03 | 2.13%| unknown
2515.08/2521.80 c 2522s| 22500 | 1474 | 13916k| 394.9 | 463M | 48 |1429 |3672 |2997 | 15k| 0 | 29k|8050 | 1.017364e+03 | 1.039000e+03 | 2.13%| unknown
2520.57/2527.31 c 2527s| 22600 | 1492 | 13954k| 394.8 | 463M | 48 |1429 |3612 |2995 | 15k| 0 | 29k|8050 | 1.017390e+03 | 1.039000e+03 | 2.12%| unknown
2525.85/2532.62 c 2533s| 22700 | 1500 | 13988k| 394.7 | 463M | 48 |1429 |3570 |2996 | 15k| 0 | 29k|8050 | 1.017403e+03 | 1.039000e+03 | 2.12%| unknown
2528.05/2534.84 c 2535s| 22800 | 1502 | 14011k| 394.2 | 463M | 48 |1429 |3570 |2998 | 15k| 1 | 29k|8050 | 1.017403e+03 | 1.039000e+03 | 2.12%| unknown
2530.04/2536.87 c 2537s| 22900 | 1502 | 14032k| 393.7 | 463M | 48 |1429 |3570 |2997 | 15k| 0 | 29k|8050 | 1.017403e+03 | 1.039000e+03 | 2.12%| unknown
2531.83/2538.60 c 2539s| 23000 | 1498 | 14051k| 393.1 | 463M | 48 |1429 |3570 |3000 | 15k| 0 | 29k|8050 | 1.017403e+03 | 1.039000e+03 | 2.12%| unknown
2538.61/2545.49 c 2545s| 23100 | 1512 | 14093k| 393.2 | 463M | 48 |1429 |3556 |3000 | 15k| 0 | 29k|8050 | 1.017414e+03 | 1.039000e+03 | 2.12%| unknown
2542.70/2549.53 c 2550s| 23200 | 1516 | 14122k| 392.9 | 463M | 48 |1429 |3535 |2995 | 15k| 1 | 29k|8050 | 1.017415e+03 | 1.039000e+03 | 2.12%| unknown
2545.39/2552.24 c 2552s| 23300 | 1520 | 14149k| 392.6 | 463M | 48 |1429 |3541 |2994 | 15k| 0 | 29k|8051 | 1.017421e+03 | 1.039000e+03 | 2.12%| unknown
2547.69/2554.51 c 2555s| 23400 | 1522 | 14172k| 392.1 | 463M | 48 |1429 |3539 |2997 | 15k| 0 | 29k|8052 | 1.017421e+03 | 1.039000e+03 | 2.12%| unknown
2554.06/2560.90 c 2561s| 23500 | 1526 | 14218k| 392.3 | 463M | 48 |1429 |3526 |3000 | 15k| 0 | 29k|8052 | 1.017431e+03 | 1.039000e+03 | 2.12%| unknown
2558.26/2565.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2558.26/2565.19 c 2565s| 23600 | 1534 | 14251k| 392.1 | 463M | 48 |1429 |3533 |2997 | 15k| 1 | 29k|8056 | 1.017436e+03 | 1.039000e+03 | 2.12%| unknown
2563.25/2570.12 c 2570s| 23700 | 1536 | 14279k| 391.8 | 463M | 48 |1429 |3593 |2999 | 15k| 0 | 29k|8076 | 1.017459e+03 | 1.039000e+03 | 2.12%| unknown
2569.82/2576.77 c 2577s| 23800 | 1548 | 14319k| 391.8 | 463M | 48 |1429 |3641 |2998 | 16k| 0 | 29k|8090 | 1.017473e+03 | 1.039000e+03 | 2.12%| unknown
2574.30/2581.26 c 2581s| 23900 | 1558 | 14354k| 391.8 | 463M | 48 |1429 |3759 |3005 | 16k| 0 | 29k|8120 | 1.017490e+03 | 1.039000e+03 | 2.11%| unknown
2579.29/2586.27 c 2586s| 24000 | 1564 | 14387k| 391.6 | 463M | 48 |1429 |3862 |3004 | 16k| 1 | 30k|8132 | 1.017492e+03 | 1.039000e+03 | 2.11%| unknown
2587.07/2594.09 c 2594s| 24100 | 1574 | 14430k| 391.7 | 463M | 48 |1429 |3987 |3005 | 16k| 0 | 30k|8154 | 1.017501e+03 | 1.039000e+03 | 2.11%| unknown
2590.75/2597.76 c 2598s| 24200 | 1580 | 14463k| 391.5 | 463M | 48 |1429 |4071 |3002 | 16k| 2 | 30k|8171 | 1.017511e+03 | 1.039000e+03 | 2.11%| unknown
2594.34/2601.38 c 2601s| 24300 | 1586 | 14498k| 391.4 | 463M | 48 |1429 |4115 |3002 | 16k| 0 | 30k|8178 | 1.017511e+03 | 1.039000e+03 | 2.11%| unknown
2597.04/2604.02 c 2604s| 24400 | 1586 | 14523k| 391.0 | 463M | 48 |1429 |4235 |3001 | 16k| 2 | 30k|8195 | 1.017511e+03 | 1.039000e+03 | 2.11%| unknown
2599.62/2606.63 c 2607s| 24500 | 1584 | 14546k| 390.6 | 463M | 48 |1429 |4290 |3003 | 16k| 2 | 30k|8207 | 1.017511e+03 | 1.039000e+03 | 2.11%| unknown
2603.91/2610.90 c 2611s| 24600 | 1590 | 14581k| 390.5 | 463M | 48 |1429 |4329 |2996 | 16k| 0 | 30k|8216 | 1.017548e+03 | 1.039000e+03 | 2.11%| unknown
2606.60/2613.65 c 2614s| 24700 | 1594 | 14607k| 390.1 | 463M | 48 |1429 |4344 |3006 | 16k| 2 | 30k|8220 | 1.017548e+03 | 1.039000e+03 | 2.11%| unknown
2611.68/2618.79 c 2619s| 24800 | 1600 | 14640k| 390.0 | 463M | 48 |1429 |4384 |3002 | 16k| 2 | 30k|8233 | 1.017552e+03 | 1.039000e+03 | 2.11%| unknown
2615.27/2622.38 c 2622s| 24900 | 1608 | 14671k| 389.8 | 464M | 48 |1429 |4482 |3006 | 16k| 1 | 30k|8258 | 1.017553e+03 | 1.039000e+03 | 2.11%| unknown
2624.95/2632.08 c 2632s| 25000 | 1626 | 14725k| 390.2 | 464M | 48 |1429 |4439 |3002 | 16k| 0 | 31k|8275 | 1.017565e+03 | 1.039000e+03 | 2.11%| unknown
2635.61/2642.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2635.61/2642.76 c 2643s| 25100 | 1638 | 14802k| 391.2 | 464M | 48 |1429 |4361 |3004 | 16k| 1 | 31k|8298 | 1.017620e+03 | 1.039000e+03 | 2.10%| unknown
2641.09/2648.27 c 2648s| 25200 | 1648 | 14841k| 391.1 | 464M | 48 |1429 |4302 |3006 | 17k| 2 | 31k|8307 | 1.017628e+03 | 1.039000e+03 | 2.10%| unknown
2647.07/2654.24 c 2654s| 25300 | 1660 | 14877k| 391.1 | 464M | 48 |1429 |4224 |3006 | 17k| 0 | 31k|8311 | 1.017647e+03 | 1.039000e+03 | 2.10%| unknown
2649.66/2656.86 c 2657s| 25400 | 1666 | 14901k| 390.7 | 464M | 48 |1429 |4221 |3004 | 17k| 1 | 31k|8316 | 1.017648e+03 | 1.039000e+03 | 2.10%| unknown
2651.45/2658.61 c 2659s| 25500 | 1666 | 14919k| 390.1 | 464M | 48 |1429 |4230 |3006 | 17k| 0 | 31k|8318 | 1.017648e+03 | 1.039000e+03 | 2.10%| unknown
2655.95/2663.16 c 2663s| 25600 | 1672 | 14953k| 390.0 | 464M | 48 |1429 |4199 |3006 | 17k| 1 | 31k|8328 | 1.017651e+03 | 1.039000e+03 | 2.10%| unknown
2662.12/2669.35 c 2669s| 25700 | 1688 | 14992k| 390.0 | 464M | 48 |1429 |4188 |3010 | 17k| 1 | 31k|8345 | 1.017665e+03 | 1.039000e+03 | 2.10%| unknown
2665.51/2672.71 c 2673s| 25800 | 1692 | 15021k| 389.7 | 464M | 48 |1429 |4182 |3011 | 17k| 1 | 31k|8355 | 1.017674e+03 | 1.039000e+03 | 2.10%| unknown
2667.81/2675.02 c 2675s| 25900 | 1692 | 15044k| 389.3 | 464M | 48 |1429 |4210 |3009 | 17k| 2 | 31k|8360 | 1.017674e+03 | 1.039000e+03 | 2.10%| unknown
2670.80/2678.01 c 2678s| 26000 | 1694 | 15074k| 389.1 | 464M | 48 |1429 |4135 |3003 | 17k| 1 | 31k|8361 | 1.017678e+03 | 1.039000e+03 | 2.10%| unknown
2674.38/2681.68 c 2682s| 26100 | 1702 | 15108k| 389.0 | 464M | 48 |1429 |4055 |3004 | 17k| 1 | 31k|8364 | 1.017697e+03 | 1.039000e+03 | 2.09%| unknown
2677.27/2684.55 c 2685s| 26200 | 1706 | 15136k| 388.7 | 464M | 48 |1429 |4015 |3001 | 17k| 0 | 31k|8365 | 1.017702e+03 | 1.039000e+03 | 2.09%| unknown
2679.37/2686.66 c 2687s| 26300 | 1708 | 15158k| 388.2 | 464M | 48 |1429 |4005 |3003 | 17k| 1 | 31k|8365 | 1.017702e+03 | 1.039000e+03 | 2.09%| unknown
2683.55/2690.89 c 2691s| 26400 | 1712 | 15185k| 388.0 | 464M | 48 |1429 |3999 |3006 | 17k| 2 | 31k|8371 | 1.017702e+03 | 1.039000e+03 | 2.09%| unknown
2688.34/2695.69 c 2696s| 26500 | 1722 | 15219k| 387.8 | 464M | 48 |1429 |3949 |3004 | 17k| 0 | 31k|8376 | 1.017737e+03 | 1.039000e+03 | 2.09%| unknown
2697.11/2704.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2697.11/2704.43 c 2704s| 26600 | 1728 | 15282k| 388.4 | 464M | 48 |1429 |3805 |3002 | 17k| 0 | 31k|8376 | 1.017761e+03 | 1.039000e+03 | 2.09%| unknown
2701.00/2708.34 c 2708s| 26700 | 1736 | 15316k| 388.3 | 464M | 48 |1429 |3786 |3002 | 17k| 0 | 31k|8376 | 1.017766e+03 | 1.039000e+03 | 2.09%| unknown
2703.49/2710.81 c 2711s| 26800 | 1742 | 15341k| 388.0 | 464M | 48 |1429 |3741 |3002 | 17k| 0 | 31k|8376 | 1.017774e+03 | 1.039000e+03 | 2.09%| unknown
2705.88/2713.26 c 2713s| 26900 | 1742 | 15365k| 387.6 | 464M | 48 |1429 |3739 |3003 | 17k| 0 | 31k|8377 | 1.017774e+03 | 1.039000e+03 | 2.09%| unknown
2708.87/2716.24 c 2716s| 27000 | 1748 | 15393k| 387.3 | 464M | 48 |1429 |3707 |3003 | 17k| 0 | 31k|8378 | 1.017775e+03 | 1.039000e+03 | 2.09%| unknown
2711.16/2718.51 c 2719s| 27100 | 1748 | 15416k| 386.9 | 464M | 48 |1429 |3713 |3007 | 17k| 0 | 31k|8379 | 1.017775e+03 | 1.039000e+03 | 2.09%| unknown
2715.45/2722.83 c 2723s| 27200 | 1754 | 15446k| 386.7 | 464M | 48 |1429 |3713 |3001 | 17k| 0 | 31k|8381 | 1.017778e+03 | 1.039000e+03 | 2.09%| unknown
2720.64/2728.05 c 2728s| 27300 | 1762 | 15479k| 386.6 | 464M | 48 |1429 |3698 |3004 | 17k| 1 | 31k|8381 | 1.017783e+03 | 1.039000e+03 | 2.08%| unknown
2723.03/2730.46 c 2730s| 27400 | 1762 | 15504k| 386.2 | 464M | 48 |1429 |3698 |3004 | 17k| 0 | 31k|8381 | 1.017783e+03 | 1.039000e+03 | 2.08%| unknown
2730.00/2737.42 c 2737s| 27500 | 1776 | 15546k| 386.3 | 464M | 48 |1429 |3658 |3006 | 18k| 0 | 31k|8382 | 1.017795e+03 | 1.039000e+03 | 2.08%| unknown
2733.60/2741.10 c 2741s| 27600 | 1790 | 15581k| 386.2 | 464M | 48 |1429 |3641 |3002 | 18k| 0 | 31k|8382 | 1.017819e+03 | 1.039000e+03 | 2.08%| unknown
2736.18/2743.63 c 2744s| 27700 | 1792 | 15605k| 385.9 | 464M | 48 |1429 |3620 |3002 | 18k| 1 | 31k|8384 | 1.017821e+03 | 1.039000e+03 | 2.08%| unknown
2738.38/2745.86 c 2746s| 27800 | 1794 | 15628k| 385.5 | 464M | 48 |1429 |3619 |3002 | 18k| 0 | 31k|8384 | 1.017821e+03 | 1.039000e+03 | 2.08%| unknown
2740.77/2748.20 c 2748s| 27900 | 1792 | 15652k| 385.1 | 464M | 48 |1429 |3640 |3003 | 18k| 0 | 31k|8387 | 1.017821e+03 | 1.039000e+03 | 2.08%| unknown
2744.36/2751.81 c 2752s| 28000 | 1806 | 15687k| 385.0 | 464M | 48 |1429 |3603 |3008 | 18k| 0 | 32k|8389 | 1.017837e+03 | 1.039000e+03 | 2.08%| unknown
2748.74/2756.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2748.74/2756.24 c 2756s| 28100 | 1824 | 15726k| 385.1 | 464M | 48 |1429 |3561 |3012 | 18k| 0 | 32k|8389 | 1.017857e+03 | 1.039000e+03 | 2.08%| unknown
2755.72/2763.28 c 2763s| 28200 | 1836 | 15786k| 385.6 | 464M | 48 |1429 |3542 |3010 | 18k| 1 | 32k|8391 | 1.017869e+03 | 1.039000e+03 | 2.08%| unknown
2760.41/2767.92 c 2768s| 28300 | 1852 | 15830k| 385.7 | 464M | 48 |1429 |3559 |3009 | 18k| 0 | 32k|8396 | 1.017871e+03 | 1.039000e+03 | 2.08%| unknown
2764.00/2771.56 c 2772s| 28400 | 1860 | 15859k| 385.5 | 464M | 48 |1429 |3553 |3014 | 18k| 1 | 32k|8397 | 1.017872e+03 | 1.039000e+03 | 2.08%| unknown
2765.99/2773.58 c 2774s| 28500 | 1858 | 15879k| 385.0 | 464M | 48 |1429 |3565 |3009 | 18k| 0 | 32k|8399 | 1.017872e+03 | 1.039000e+03 | 2.08%| unknown
2767.98/2775.50 c 2775s| 28600 | 1856 | 15899k| 384.6 | 464M | 48 |1429 |3564 |3011 | 18k| 0 | 32k|8399 | 1.017872e+03 | 1.039000e+03 | 2.08%| unknown
2770.49/2778.06 c 2778s| 28700 | 1858 | 15925k| 384.3 | 464M | 48 |1429 |3564 |3009 | 18k| 1 | 32k|8399 | 1.017872e+03 | 1.039000e+03 | 2.08%| unknown
2773.97/2781.55 c 2782s| 28800 | 1868 | 15957k| 384.1 | 464M | 48 |1429 |3607 |3009 | 18k| 1 | 32k|8406 | 1.017876e+03 | 1.039000e+03 | 2.08%| unknown
2777.86/2785.43 c 2785s| 28900 | 1868 | 15984k| 383.8 | 464M | 48 |1429 |3607 |3009 | 18k| 1 | 32k|8409 | 1.017876e+03 | 1.039000e+03 | 2.08%| unknown
2780.25/2787.83 c 2788s| 29000 | 1866 | 16008k| 383.5 | 464M | 48 |1429 |3607 |3001 | 18k| 1 | 32k|8409 | 1.017876e+03 | 1.039000e+03 | 2.08%| unknown
2783.84/2791.42 c 2791s| 29100 | 1872 | 16036k| 383.2 | 464M | 48 |1429 |3601 |3003 | 18k| 0 | 32k|8409 | 1.017879e+03 | 1.039000e+03 | 2.07%| unknown
2785.83/2793.46 c 2793s| 29200 | 1868 | 16056k| 382.8 | 464M | 48 |1429 |3601 |3001 | 18k| 0 | 32k|8410 | 1.017879e+03 | 1.039000e+03 | 2.07%| unknown
2788.44/2796.02 c 2796s| 29300 | 1870 | 16083k| 382.5 | 464M | 48 |1429 |3600 |3002 | 18k| 0 | 32k|8410 | 1.017879e+03 | 1.039000e+03 | 2.07%| unknown
2794.81/2802.47 c 2802s| 29400 | 1886 | 16125k| 382.6 | 464M | 48 |1429 |3595 |3005 | 18k| 0 | 32k|8411 | 1.017894e+03 | 1.039000e+03 | 2.07%| unknown
2798.30/2805.96 c 2806s| 29500 | 1896 | 16159k| 382.5 | 464M | 48 |1429 |3586 |3005 | 18k| 1 | 32k|8412 | 1.017912e+03 | 1.039000e+03 | 2.07%| unknown
2803.09/2810.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2803.09/2810.74 c 2811s| 29600 | 1906 | 16195k| 382.5 | 464M | 48 |1429 |3572 |3000 | 18k| 0 | 32k|8413 | 1.017916e+03 | 1.039000e+03 | 2.07%| unknown
2808.68/2816.37 c 2816s| 29700 | 1922 | 16239k| 382.6 | 464M | 48 |1429 |3670 |3000 | 18k| 1 | 32k|8442 | 1.017921e+03 | 1.039000e+03 | 2.07%| unknown
2812.87/2820.55 c 2821s| 29800 | 1928 | 16270k| 382.4 | 464M | 48 |1429 |3751 |3002 | 18k| 0 | 32k|8459 | 1.017925e+03 | 1.039000e+03 | 2.07%| unknown
2817.86/2825.50 c 2826s| 29900 | 1934 | 16315k| 382.6 | 464M | 48 |1429 |3845 |3006 | 18k| 0 | 32k|8477 | 1.017926e+03 | 1.039000e+03 | 2.07%| unknown
2826.35/2834.07 c 2834s| 30000 | 1954 | 16367k| 382.9 | 464M | 48 |1429 |3921 |3008 | 18k| 0 | 32k|8500 | 1.017946e+03 | 1.039000e+03 | 2.07%| unknown
2830.92/2838.61 c 2839s| 30100 | 1964 | 16407k| 383.0 | 464M | 48 |1429 |4034 |3010 | 18k| 1 | 33k|8522 | 1.017952e+03 | 1.039000e+03 | 2.07%| unknown
2834.71/2842.46 c 2842s| 30200 | 1968 | 16438k| 382.8 | 464M | 48 |1429 |4189 |3011 | 18k| 0 | 33k|8550 | 1.017954e+03 | 1.039000e+03 | 2.07%| unknown
2838.60/2846.32 c 2846s| 30300 | 1974 | 16470k| 382.7 | 464M | 48 |1429 |4330 |3011 | 18k| 1 | 33k|8579 | 1.017962e+03 | 1.039000e+03 | 2.07%| unknown
2842.59/2850.30 c 2850s| 30400 | 1980 | 16507k| 382.6 | 464M | 48 |1429 |4325 |3005 | 18k| 0 | 33k|8588 | 1.017976e+03 | 1.039000e+03 | 2.07%| unknown
2845.79/2853.52 c 2854s| 30500 | 1988 | 16538k| 382.4 | 464M | 48 |1429 |4341 |3003 | 18k| 1 | 33k|8592 | 1.018003e+03 | 1.039000e+03 | 2.06%| unknown
2848.39/2856.14 c 2856s| 30600 | 1988 | 16564k| 382.2 | 464M | 48 |1429 |4369 |3004 | 19k| 0 | 33k|8595 | 1.018003e+03 | 1.039000e+03 | 2.06%| unknown
2851.77/2859.59 c 2860s| 30700 | 1996 | 16597k| 382.1 | 464M | 48 |1429 |4370 |3003 | 19k| 0 | 33k|8597 | 1.018008e+03 | 1.039000e+03 | 2.06%| unknown
2854.16/2861.93 c 2862s| 30800 | 1996 | 16620k| 381.7 | 464M | 48 |1429 |4377 |3003 | 19k| 1 | 33k|8601 | 1.018008e+03 | 1.039000e+03 | 2.06%| unknown
2858.85/2866.60 c 2867s| 30900 | 2006 | 16657k| 381.7 | 464M | 48 |1429 |4341 |3008 | 19k| 0 | 33k|8605 | 1.018012e+03 | 1.039000e+03 | 2.06%| unknown
2863.64/2871.45 c 2871s| 31000 | 2010 | 16690k| 381.5 | 464M | 48 |1429 |4345 |3007 | 19k| 0 | 33k|8620 | 1.018012e+03 | 1.039000e+03 | 2.06%| unknown
2877.01/2884.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2877.01/2884.87 c 2885s| 31100 | 2032 | 16770k| 382.5 | 464M | 48 |1429 |4192 |3007 | 19k| 0 | 33k|8623 | 1.018035e+03 | 1.039000e+03 | 2.06%| unknown
2879.90/2887.71 c 2888s| 31200 | 2034 | 16795k| 382.2 | 464M | 48 |1429 |4322 |3005 | 19k| 1 | 33k|8651 | 1.018035e+03 | 1.039000e+03 | 2.06%| unknown
2886.88/2894.77 c 2895s| 31300 | 2046 | 16843k| 382.4 | 464M | 48 |1429 |4278 |3007 | 19k| 1 | 34k|8677 | 1.018041e+03 | 1.039000e+03 | 2.06%| unknown
2891.37/2899.29 c 2899s| 31400 | 2048 | 16874k| 382.3 | 464M | 48 |1429 |4225 |3003 | 19k| 0 | 34k|8689 | 1.018044e+03 | 1.039000e+03 | 2.06%| unknown
2894.76/2902.65 c 2903s| 31500 | 2054 | 16903k| 382.1 | 464M | 48 |1429 |4189 |3005 | 19k| 1 | 34k|8692 | 1.018045e+03 | 1.039000e+03 | 2.06%| unknown
2897.36/2905.27 c 2905s| 31600 | 2054 | 16929k| 381.8 | 464M | 48 |1429 |4200 |3005 | 19k| 0 | 34k|8695 | 1.018045e+03 | 1.039000e+03 | 2.06%| unknown
2902.64/2910.59 c 2911s| 31700 | 2066 | 16967k| 381.8 | 464M | 48 |1429 |4138 |3005 | 19k| 0 | 34k|8701 | 1.018053e+03 | 1.039000e+03 | 2.06%| unknown
2905.64/2913.53 c 2914s| 31800 | 2068 | 16994k| 381.5 | 464M | 48 |1429 |4196 |3010 | 19k| 2 | 34k|8716 | 1.018053e+03 | 1.039000e+03 | 2.06%| unknown
2910.03/2917.99 c 2918s| 31900 | 2070 | 17024k| 381.3 | 464M | 48 |1429 |4221 |3005 | 19k| 1 | 34k|8735 | 1.018063e+03 | 1.039000e+03 | 2.06%| unknown
2912.92/2920.83 c 2921s| 32000 | 2068 | 17049k| 381.0 | 464M | 48 |1429 |4273 |3005 | 19k| 1 | 34k|8746 | 1.018063e+03 | 1.039000e+03 | 2.06%| unknown
2917.61/2925.53 c 2926s| 32100 | 2078 | 17082k| 380.9 | 464M | 48 |1429 |4174 |3005 | 19k| 0 | 34k|8746 | 1.018071e+03 | 1.039000e+03 | 2.06%| unknown
2922.50/2930.41 c 2930s| 32200 | 2094 | 17115k| 380.8 | 464M | 48 |1429 |4136 |3010 | 19k| 2 | 34k|8746 | 1.018084e+03 | 1.039000e+03 | 2.05%| unknown
2926.10/2934.05 c 2934s| 32300 | 2094 | 17140k| 380.5 | 464M | 48 |1429 |4095 |3009 | 19k| 0 | 34k|8748 | 1.018086e+03 | 1.039000e+03 | 2.05%| unknown
2928.09/2936.09 c 2936s| 32400 | 2094 | 17161k| 380.1 | 464M | 48 |1429 |4095 |3008 | 19k| 1 | 34k|8748 | 1.018086e+03 | 1.039000e+03 | 2.05%| unknown
2931.57/2939.51 c 2940s| 32500 | 2104 | 17193k| 380.0 | 464M | 48 |1429 |4003 |3007 | 20k| 1 | 34k|8748 | 1.018093e+03 | 1.039000e+03 | 2.05%| unknown
2934.86/2942.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2934.86/2942.88 c 2943s| 32600 | 2112 | 17226k| 379.9 | 464M | 48 |1429 |3976 |3011 | 20k| 2 | 34k|8750 | 1.018097e+03 | 1.039000e+03 | 2.05%| unknown
2939.06/2947.04 c 2947s| 32700 | 2130 | 17264k| 379.9 | 464M | 48 |1429 |3955 |3010 | 20k| 1 | 34k|8761 | 1.018105e+03 | 1.039000e+03 | 2.05%| unknown
2942.94/2950.97 c 2951s| 32800 | 2136 | 17292k| 379.7 | 464M | 48 |1429 |3995 |3009 | 20k| 0 | 34k|8780 | 1.018106e+03 | 1.039000e+03 | 2.05%| unknown
2947.93/2955.94 c 2956s| 32900 | 2140 | 17324k| 379.6 | 464M | 48 |1429 |3993 |3010 | 20k| 0 | 34k|8796 | 1.018107e+03 | 1.039000e+03 | 2.05%| unknown
2954.71/2962.79 c 2963s| 33000 | 2140 | 17372k| 379.8 | 464M | 48 |1429 |3962 |3011 | 20k| 1 | 34k|8797 | 1.018116e+03 | 1.039000e+03 | 2.05%| unknown
2960.20/2968.25 c 2968s| 33100 | 2156 | 17409k| 379.8 | 464M | 48 |1429 |3911 |3009 | 20k| 2 | 34k|8799 | 1.018131e+03 | 1.039000e+03 | 2.05%| unknown
2963.49/2971.51 c 2972s| 33200 | 2160 | 17436k| 379.5 | 464M | 48 |1429 |3899 |3009 | 20k| 1 | 34k|8805 | 1.018131e+03 | 1.039000e+03 | 2.05%| unknown
2969.28/2977.37 c 2977s| 33300 | 2170 | 17471k| 379.4 | 464M | 48 |1429 |3869 |3011 | 20k| 0 | 34k|8812 | 1.018138e+03 | 1.039000e+03 | 2.05%| unknown
2973.98/2982.07 c 2982s| 33400 | 2174 | 17501k| 379.3 | 464M | 48 |1429 |3939 |3009 | 20k| 0 | 34k|8843 | 1.018148e+03 | 1.039000e+03 | 2.05%| unknown
2976.76/2984.86 c 2985s| 33500 | 2180 | 17527k| 379.0 | 464M | 48 |1429 |3998 |3012 | 20k| 1 | 35k|8861 | 1.018148e+03 | 1.039000e+03 | 2.05%| unknown
2982.96/2991.02 c 2991s| 33600 | 2190 | 17564k| 379.0 | 464M | 48 |1429 |3972 |3013 | 20k| 0 | 35k|8866 | 1.018160e+03 | 1.039000e+03 | 2.05%| unknown
2989.73/2997.81 c 2998s| 33700 | 2200 | 17599k| 378.9 | 464M | 48 |1429 |3970 |3013 | 20k| 0 | 35k|8882 | 1.018182e+03 | 1.039000e+03 | 2.04%| unknown
2995.32/3003.41 c 3003s| 33800 | 2200 | 17629k| 378.8 | 464M | 48 |1429 |3971 |3011 | 20k| 0 | 35k|8886 | 1.018182e+03 | 1.039000e+03 | 2.04%| unknown
2998.31/3006.45 c 3006s| 33900 | 2206 | 17659k| 378.6 | 464M | 48 |1429 |3960 |3016 | 20k| 0 | 35k|8888 | 1.018186e+03 | 1.039000e+03 | 2.04%| unknown
3000.80/3008.93 c 3009s| 34000 | 2200 | 17681k| 378.3 | 464M | 48 |1429 |3990 |3009 | 20k| 1 | 35k|8892 | 1.018186e+03 | 1.039000e+03 | 2.04%| unknown
3006.09/3014.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3006.09/3014.27 c 3014s| 34100 | 2212 | 17718k| 378.2 | 464M | 48 |1429 |3939 |3013 | 20k| 0 | 35k|8892 | 1.018189e+03 | 1.039000e+03 | 2.04%| unknown
3009.89/3018.05 c 3018s| 34200 | 2220 | 17752k| 378.2 | 465M | 48 |1429 |3883 |3024 | 20k| 0 | 35k|8894 | 1.018193e+03 | 1.039000e+03 | 2.04%| unknown
3017.56/3025.71 c 3026s| 34300 | 2238 | 17821k| 378.8 | 465M | 48 |1429 |3813 |3023 | 21k| 1 | 35k|8894 | 1.018208e+03 | 1.039000e+03 | 2.04%| unknown
3024.64/3032.82 c 3033s| 34400 | 2252 | 17862k| 378.9 | 465M | 48 |1429 |3737 |3021 | 21k| 1 | 35k|8901 | 1.018229e+03 | 1.039000e+03 | 2.04%| unknown
3026.85/3035.09 c 3035s| 34500 | 2250 | 17885k| 378.6 | 465M | 48 |1429 |3751 |3006 | 21k| 1 | 35k|8908 | 1.018229e+03 | 1.039000e+03 | 2.04%| unknown
3030.23/3038.45 c 3038s| 34600 | 2260 | 17918k| 378.5 | 465M | 48 |1429 |3705 |3015 | 21k| 1 | 35k|8908 | 1.018239e+03 | 1.039000e+03 | 2.04%| unknown
3033.32/3041.54 c 3042s| 34700 | 2262 | 17947k| 378.3 | 465M | 48 |1429 |3711 |3009 | 21k| 0 | 35k|8912 | 1.018246e+03 | 1.039000e+03 | 2.04%| unknown
3036.92/3045.15 c 3045s| 34800 | 2272 | 17980k| 378.2 | 465M | 48 |1429 |3671 |3007 | 21k| 1 | 35k|8913 | 1.018248e+03 | 1.039000e+03 | 2.04%| unknown
3041.70/3049.92 c 3050s| 34900 | 2272 | 18011k| 378.0 | 465M | 48 |1429 |3642 |3006 | 21k| 0 | 35k|8917 | 1.018248e+03 | 1.039000e+03 | 2.04%| unknown
3046.29/3054.53 c 3055s| 35000 | 2278 | 18046k| 378.0 | 465M | 48 |1429 |3609 |3009 | 21k| 1 | 35k|8917 | 1.018259e+03 | 1.039000e+03 | 2.04%| unknown
3051.28/3059.52 c 3060s| 35100 | 2284 | 18082k| 377.9 | 465M | 48 |1429 |3578 |3012 | 21k| 1 | 35k|8917 | 1.018260e+03 | 1.039000e+03 | 2.04%| unknown
3054.17/3062.42 c 3062s| 35200 | 2286 | 18111k| 377.8 | 465M | 48 |1429 |3577 |3014 | 21k| 0 | 35k|8917 | 1.018260e+03 | 1.039000e+03 | 2.04%| unknown
3057.26/3065.55 c 3066s| 35300 | 2288 | 18141k| 377.6 | 465M | 48 |1429 |3565 |3006 | 21k| 0 | 35k|8917 | 1.018263e+03 | 1.039000e+03 | 2.04%| unknown
3060.35/3068.63 c 3069s| 35400 | 2292 | 18171k| 377.4 | 465M | 48 |1429 |3565 |3006 | 21k| 1 | 35k|8917 | 1.018264e+03 | 1.039000e+03 | 2.04%| unknown
3065.75/3074.05 c 3074s| 35500 | 2304 | 18212k| 377.5 | 465M | 48 |1429 |3568 |3013 | 21k| 0 | 35k|8917 | 1.018266e+03 | 1.039000e+03 | 2.04%| unknown
3071.33/3079.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3071.33/3079.62 c 3080s| 35600 | 2310 | 18249k| 377.5 | 465M | 48 |1429 |3573 |3011 | 21k| 0 | 35k|8917 | 1.018287e+03 | 1.039000e+03 | 2.03%| unknown
3074.12/3082.46 c 3082s| 35700 | 2312 | 18277k| 377.3 | 465M | 48 |1429 |3586 |3010 | 21k| 0 | 35k|8917 | 1.018303e+03 | 1.039000e+03 | 2.03%| unknown
3082.81/3091.12 c 3091s| 35800 | 2324 | 18342k| 377.9 | 465M | 48 |1429 |3544 |3008 | 21k| 0 | 35k|8917 | 1.018307e+03 | 1.039000e+03 | 2.03%| unknown
3087.89/3096.20 c 3096s| 35900 | 2330 | 18376k| 377.8 | 465M | 48 |1429 |3543 |3007 | 22k| 0 | 35k|8921 | 1.018331e+03 | 1.039000e+03 | 2.03%| unknown
3090.88/3099.21 c 3099s| 36000 | 2330 | 18405k| 377.6 | 465M | 48 |1429 |3571 |3011 | 22k| 1 | 35k|8925 | 1.018331e+03 | 1.039000e+03 | 2.03%| unknown
3095.68/3104.03 c 3104s| 36100 | 2340 | 18441k| 377.6 | 465M | 48 |1429 |3552 |3010 | 22k| 1 | 35k|8929 | 1.018337e+03 | 1.039000e+03 | 2.03%| unknown
3100.06/3108.46 c 3108s| 36200 | 2350 | 18482k| 377.6 | 465M | 48 |1429 |3557 |3012 | 22k| 1 | 35k|8932 | 1.018352e+03 | 1.039000e+03 | 2.03%| unknown
3104.14/3112.58 c 3113s| 36300 | 2360 | 18521k| 377.6 | 465M | 48 |1429 |3589 |3005 | 22k| 1 | 35k|8936 | 1.018360e+03 | 1.039000e+03 | 2.03%| unknown
3111.92/3120.39 c 3120s| 36400 | 2370 | 18564k| 377.8 | 465M | 48 |1429 |3624 |3009 | 22k| 0 | 35k|8941 | 1.018363e+03 | 1.039000e+03 | 2.03%| unknown
3115.42/3123.83 c 3124s| 36500 | 2376 | 18595k| 377.6 | 465M | 48 |1429 |3669 |3009 | 22k| 0 | 35k|8951 | 1.018365e+03 | 1.039000e+03 | 2.03%| unknown
3119.62/3128.02 c 3128s| 36600 | 2382 | 18629k| 377.5 | 465M | 48 |1429 |3666 |3009 | 22k| 1 | 35k|8953 | 1.018365e+03 | 1.039000e+03 | 2.03%| unknown
3125.49/3133.95 c 3134s| 36700 | 2392 | 18669k| 377.6 | 465M | 48 |1429 |3698 |3016 | 22k| 2 | 35k|8964 | 1.018378e+03 | 1.039000e+03 | 2.03%| unknown
3130.98/3139.45 c 3139s| 36800 | 2402 | 18710k| 377.6 | 466M | 48 |1429 |3754 |3018 | 22k| 1 | 35k|8975 | 1.018387e+03 | 1.039000e+03 | 2.02%| unknown
3135.47/3143.91 c 3144s| 36900 | 2408 | 18746k| 377.6 | 466M | 48 |1429 |3840 |3009 | 22k| 1 | 36k|8999 | 1.018391e+03 | 1.039000e+03 | 2.02%| unknown
3141.35/3149.84 c 3150s| 37000 | 2410 | 18799k| 377.9 | 466M | 48 |1429 |3832 |3003 | 22k| 0 | 36k|8999 | 1.018397e+03 | 1.039000e+03 | 2.02%| unknown
3146.65/3155.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3146.65/3155.17 c 3155s| 37100 | 2416 | 18837k| 377.9 | 466M | 48 |1429 |3820 |3005 | 22k| 0 | 36k|8999 | 1.018399e+03 | 1.039000e+03 | 2.02%| unknown
3149.54/3158.10 c 3158s| 37200 | 2416 | 18865k| 377.7 | 466M | 48 |1429 |3836 |3008 | 22k| 1 | 36k|9003 | 1.018399e+03 | 1.039000e+03 | 2.02%| unknown
3153.92/3162.48 c 3162s| 37300 | 2428 | 18905k| 377.8 | 466M | 48 |1429 |3863 |3011 | 22k| 2 | 36k|9007 | 1.018413e+03 | 1.039000e+03 | 2.02%| unknown
3156.91/3165.43 c 3165s| 37400 | 2436 | 18934k| 377.6 | 466M | 48 |1429 |3878 |3010 | 23k| 0 | 36k|9010 | 1.018415e+03 | 1.039000e+03 | 2.02%| unknown
3159.71/3168.23 c 3168s| 37500 | 2432 | 18960k| 377.4 | 466M | 48 |1429 |3896 |3009 | 23k| 1 | 36k|9014 | 1.018415e+03 | 1.039000e+03 | 2.02%| unknown
3165.60/3174.18 c 3174s| 37600 | 2444 | 19001k| 377.4 | 466M | 48 |1429 |3853 |3010 | 23k| 1 | 36k|9014 | 1.018421e+03 | 1.039000e+03 | 2.02%| unknown
3167.98/3176.57 c 3177s| 37700 | 2442 | 19024k| 377.1 | 466M | 48 |1429 |3860 |3011 | 23k| 1 | 36k|9015 | 1.018421e+03 | 1.039000e+03 | 2.02%| unknown
3173.48/3182.06 c 3182s| 37800 | 2452 | 19065k| 377.2 | 466M | 48 |1429 |3862 |3008 | 23k| 1 | 36k|9018 | 1.018428e+03 | 1.039000e+03 | 2.02%| unknown
3178.06/3186.60 c 3187s| 37900 | 2456 | 19100k| 377.1 | 466M | 48 |1429 |3862 |3012 | 23k| 0 | 36k|9020 | 1.018428e+03 | 1.039000e+03 | 2.02%| unknown
3180.85/3189.41 c 3189s| 38000 | 2456 | 19127k| 376.9 | 466M | 48 |1429 |3878 |3011 | 23k| 0 | 36k|9024 | 1.018428e+03 | 1.039000e+03 | 2.02%| unknown
3183.05/3191.66 c 3192s| 38100 | 2456 | 19150k| 376.6 | 466M | 48 |1429 |3878 |3012 | 23k| 0 | 36k|9024 | 1.018428e+03 | 1.039000e+03 | 2.02%| unknown
3187.24/3195.86 c 3196s| 38200 | 2468 | 19190k| 376.7 | 466M | 48 |1429 |3888 |3012 | 23k| 1 | 36k|9027 | 1.018439e+03 | 1.039000e+03 | 2.02%| unknown
3190.33/3198.93 c 3199s| 38300 | 2468 | 19220k| 376.6 | 466M | 48 |1429 |3920 |3012 | 23k| 1 | 36k|9030 | 1.018439e+03 | 1.039000e+03 | 2.02%| unknown
3193.22/3201.82 c 3202s| 38400 | 2468 | 19247k| 376.3 | 466M | 48 |1429 |3949 |3018 | 23k| 1 | 36k|9036 | 1.018439e+03 | 1.039000e+03 | 2.02%| unknown
3197.81/3206.43 c 3206s| 38500 | 2470 | 19277k| 376.2 | 466M | 48 |1429 |3981 |3010 | 23k| 0 | 36k|9051 | 1.018440e+03 | 1.039000e+03 | 2.02%| unknown
3203.70/3212.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3203.70/3212.35 c 3212s| 38600 | 2480 | 19317k| 376.2 | 466M | 48 |1429 |3954 |3007 | 23k| 0 | 36k|9051 | 1.018454e+03 | 1.039000e+03 | 2.02%| unknown
3206.99/3215.63 c 3216s| 38700 | 2486 | 19349k| 376.1 | 466M | 48 |1429 |3933 |3013 | 23k| 0 | 36k|9051 | 1.018454e+03 | 1.039000e+03 | 2.02%| unknown
3211.39/3220.05 c 3220s| 38800 | 2492 | 19385k| 376.1 | 466M | 48 |1429 |3902 |2998 | 23k| 1 | 36k|9051 | 1.018454e+03 | 1.039000e+03 | 2.02%| unknown
3213.97/3222.68 c 3223s| 38900 | 2494 | 19412k| 375.9 | 466M | 48 |1429 |3893 |3012 | 23k| 1 | 36k|9051 | 1.018454e+03 | 1.039000e+03 | 2.02%| unknown
3216.56/3225.26 c 3225s| 39000 | 2494 | 19437k| 375.6 | 466M | 48 |1429 |3912 |3009 | 24k| 0 | 36k|9055 | 1.018454e+03 | 1.039000e+03 | 2.02%| unknown
3219.37/3228.06 c 3228s| 39100 | 2494 | 19466k| 375.5 | 466M | 48 |1429 |3937 |3013 | 24k| 1 | 36k|9058 | 1.018454e+03 | 1.039000e+03 | 2.02%| unknown
3224.36/3233.03 c 3233s| 39200 | 2500 | 19500k| 375.4 | 466M | 48 |1429 |3948 |3013 | 24k| 0 | 36k|9065 | 1.018459e+03 | 1.039000e+03 | 2.02%| unknown
3226.94/3235.63 c 3236s| 39300 | 2498 | 19525k| 375.2 | 466M | 48 |1429 |3954 |3012 | 24k| 0 | 36k|9066 | 1.018459e+03 | 1.039000e+03 | 2.02%| unknown
3233.92/3242.68 c 3243s| 39400 | 2516 | 19587k| 375.6 | 466M | 48 |1429 |3931 |3017 | 24k| 1 | 36k|9073 | 1.018476e+03 | 1.039000e+03 | 2.02%| unknown
3239.21/3247.98 c 3248s| 39500 | 2526 | 19626k| 375.7 | 466M | 48 |1429 |3937 |3013 | 24k| 0 | 36k|9079 | 1.018480e+03 | 1.039000e+03 | 2.01%| unknown
3247.30/3256.03 c 3256s| 39600 | 2540 | 19673k| 375.8 | 467M | 48 |1429 |3900 |3012 | 24k| 0 | 36k|9093 | 1.018481e+03 | 1.039000e+03 | 2.01%| unknown
3249.78/3258.55 c 3259s| 39700 | 2542 | 19699k| 375.6 | 467M | 48 |1429 |3899 |3015 | 24k| 0 | 36k|9093 | 1.018481e+03 | 1.039000e+03 | 2.01%| unknown
3254.87/3263.62 c 3264s| 39800 | 2546 | 19733k| 375.5 | 467M | 48 |1429 |3882 |3018 | 24k| 0 | 36k|9097 | 1.018483e+03 | 1.039000e+03 | 2.01%| unknown
3261.27/3270.10 c 3270s| 39900 | 2564 | 19780k| 375.7 | 467M | 48 |1429 |3893 |3026 | 24k| 2 | 36k|9104 | 1.018492e+03 | 1.039000e+03 | 2.01%| unknown
3266.74/3275.59 c 3276s| 40000 | 2566 | 19816k| 375.7 | 467M | 48 |1429 |3915 |3023 | 24k| 1 | 36k|9117 | 1.018492e+03 | 1.039000e+03 | 2.01%| unknown
3272.73/3281.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3272.73/3281.58 c 3282s| 40100 | 2574 | 19859k| 375.8 | 467M | 48 |1429 |3878 |3015 | 24k| 0 | 36k|9121 | 1.018504e+03 | 1.039000e+03 | 2.01%| unknown
3275.02/3283.86 c 3284s| 40200 | 2574 | 19881k| 375.5 | 467M | 48 |1429 |3878 |3017 | 24k| 1 | 36k|9121 | 1.018504e+03 | 1.039000e+03 | 2.01%| unknown
3277.81/3286.65 c 3287s| 40300 | 2576 | 19909k| 375.3 | 467M | 48 |1429 |3878 |3015 | 24k| 0 | 36k|9122 | 1.018504e+03 | 1.039000e+03 | 2.01%| unknown
3282.90/3291.76 c 3292s| 40400 | 2586 | 19947k| 375.3 | 467M | 48 |1429 |3874 |3021 | 24k| 1 | 37k|9123 | 1.018527e+03 | 1.039000e+03 | 2.01%| unknown
3285.39/3294.28 c 3294s| 40500 | 2584 | 19971k| 375.1 | 467M | 48 |1429 |3870 |3016 | 24k| 1 | 37k|9123 | 1.018527e+03 | 1.039000e+03 | 2.01%| unknown
3289.48/3298.31 c 3298s| 40600 | 2594 | 20009k| 375.1 | 467M | 48 |1429 |3873 |3016 | 24k| 1 | 37k|9123 | 1.018533e+03 | 1.039000e+03 | 2.01%| unknown
3292.29/3301.14 c 3301s| 40700 | 2594 | 20037k| 374.9 | 467M | 48 |1429 |3881 |3015 | 24k| 1 | 37k|9126 | 1.018533e+03 | 1.039000e+03 | 2.01%| unknown
3295.77/3304.69 c 3305s| 40800 | 2602 | 20072k| 374.9 | 467M | 48 |1429 |3868 |3016 | 25k| 0 | 37k|9127 | 1.018534e+03 | 1.039000e+03 | 2.01%| unknown
3304.55/3313.43 c 3313s| 40900 | 2620 | 20138k| 375.4 | 467M | 48 |1429 |3841 |3016 | 25k| 1 | 37k|9128 | 1.018539e+03 | 1.039000e+03 | 2.01%| unknown
3310.73/3319.62 c 3320s| 41000 | 2634 | 20181k| 375.5 | 467M | 48 |1429 |3822 |3018 | 25k| 0 | 37k|9134 | 1.018554e+03 | 1.039000e+03 | 2.01%| unknown
3318.61/3327.55 c 3328s| 41100 | 2642 | 20223k| 375.6 | 467M | 48 |1429 |3830 |3015 | 25k| 1 | 37k|9147 | 1.018559e+03 | 1.039000e+03 | 2.01%| unknown
3322.22/3331.12 c 3331s| 41200 | 2650 | 20257k| 375.5 | 467M | 48 |1429 |3791 |3015 | 25k| 1 | 37k|9148 | 1.018573e+03 | 1.039000e+03 | 2.01%| unknown
3325.50/3334.41 c 3334s| 41300 | 2652 | 20288k| 375.4 | 467M | 48 |1429 |3790 |3018 | 25k| 0 | 37k|9149 | 1.018574e+03 | 1.039000e+03 | 2.01%| unknown
3332.68/3341.65 c 3342s| 41400 | 2670 | 20336k| 375.6 | 467M | 48 |1429 |3757 |3015 | 25k| 1 | 37k|9158 | 1.018581e+03 | 1.039000e+03 | 2.00%| unknown
3337.87/3346.80 c 3347s| 41500 | 2674 | 20374k| 375.6 | 467M | 48 |1429 |3764 |3021 | 25k| 1 | 37k|9164 | 1.018585e+03 | 1.039000e+03 | 2.00%| unknown
3347.84/3356.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3347.84/3356.86 c 3357s| 41600 | 2696 | 20459k| 376.5 | 467M | 48 |1429 |3765 |3025 | 25k| 1 | 37k|9173 | 1.018594e+03 | 1.039000e+03 | 2.00%| unknown
3353.93/3363.00 c 3363s| 41700 | 2702 | 20500k| 376.5 | 467M | 48 |1429 |3837 |3019 | 25k| 0 | 37k|9188 | 1.018598e+03 | 1.039000e+03 | 2.00%| unknown
3357.72/3366.76 c 3367s| 41800 | 2710 | 20534k| 376.5 | 467M | 48 |1429 |3857 |3018 | 25k| 1 | 37k|9196 | 1.018601e+03 | 1.039000e+03 | 2.00%| unknown
3366.50/3375.53 c 3376s| 41900 | 2734 | 20585k| 376.7 | 468M | 48 |1429 |3825 |3026 | 25k| 0 | 37k|9202 | 1.018626e+03 | 1.039000e+03 | 2.00%| unknown
3369.29/3378.34 c 3378s| 42000 | 2732 | 20611k| 376.5 | 468M | 48 |1429 |3841 |3024 | 25k| 0 | 37k|9205 | 1.018626e+03 | 1.039000e+03 | 2.00%| unknown
3379.86/3389.01 c 3389s| 42100 | 2756 | 20668k| 376.9 | 468M | 48 |1429 |3782 |3021 | 26k| 0 | 37k|9207 | 1.018638e+03 | 1.039000e+03 | 2.00%| unknown
3386.15/3395.20 c 3395s| 42200 | 2768 | 20708k| 376.9 | 468M | 48 |1429 |3749 |3021 | 26k| 0 | 37k|9208 | 1.018650e+03 | 1.039000e+03 | 2.00%| unknown
3394.23/3403.37 c 3403s| 42300 | 2786 | 20778k| 377.5 | 468M | 48 |1429 |3789 |3026 | 26k| 1 | 37k|9227 | 1.018655e+03 | 1.039000e+03 | 2.00%| unknown
3400.71/3409.82 c 3410s| 42400 | 2790 | 20820k| 377.6 | 468M | 48 |1429 |3905 |3031 | 26k| 1 | 37k|9265 | 1.018660e+03 | 1.039000e+03 | 2.00%| unknown
3407.69/3416.88 c 3417s| 42500 | 2798 | 20872k| 377.8 | 468M | 48 |1429 |3986 |3032 | 26k| 0 | 38k|9297 | 1.018662e+03 | 1.039000e+03 | 2.00%| unknown
3417.27/3426.40 c 3426s| 42600 | 2816 | 20928k| 378.1 | 468M | 48 |1429 |4120 |3035 | 26k| 1 | 38k|9340 | 1.018671e+03 | 1.039000e+03 | 2.00%| unknown
3424.25/3433.50 c 3433s| 42700 | 2836 | 20981k| 378.4 | 468M | 48 |1429 |4132 |3034 | 26k| 2 | 38k|9355 | 1.018684e+03 | 1.039000e+03 | 1.99%| unknown
3428.14/3437.36 c 3437s| 42800 | 2834 | 21014k| 378.3 | 468M | 48 |1429 |4276 |3035 | 26k| 1 | 38k|9388 | 1.018684e+03 | 1.039000e+03 | 1.99%| unknown
3434.63/3443.88 c 3444s| 42900 | 2844 | 21055k| 378.4 | 468M | 48 |1429 |4312 |3033 | 26k| 0 | 38k|9407 | 1.018689e+03 | 1.039000e+03 | 1.99%| unknown
3439.93/3449.12 c 3449s| 43000 | 2850 | 21092k| 378.4 | 468M | 48 |1429 |4277 |3027 | 26k| 0 | 38k|9413 | 1.018690e+03 | 1.039000e+03 | 1.99%| unknown
3445.50/3454.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3445.50/3454.76 c 3455s| 43100 | 2860 | 21132k| 378.4 | 468M | 48 |1429 |4185 |3029 | 27k| 1 | 38k|9416 | 1.018691e+03 | 1.039000e+03 | 1.99%| unknown
3452.18/3461.43 c 3461s| 43200 | 2862 | 21189k| 378.8 | 468M | 48 |1429 |4110 |3027 | 27k| 1 | 38k|9416 | 1.018693e+03 | 1.039000e+03 | 1.99%| unknown
3455.38/3464.68 c 3465s| 43300 | 2868 | 21219k| 378.6 | 468M | 48 |1429 |4033 |3025 | 27k| 0 | 38k|9416 | 1.018694e+03 | 1.039000e+03 | 1.99%| unknown
3462.16/3471.47 c 3471s| 43400 | 2888 | 21272k| 378.9 | 468M | 48 |1429 |3838 |3028 | 27k| 1 | 38k|9417 | 1.018705e+03 | 1.039000e+03 | 1.99%| unknown
3465.95/3475.23 c 3475s| 43500 | 2890 | 21307k| 378.8 | 468M | 48 |1429 |3790 |3027 | 27k| 1 | 38k|9422 | 1.018707e+03 | 1.039000e+03 | 1.99%| unknown
3468.64/3477.97 c 3478s| 43600 | 2892 | 21333k| 378.6 | 468M | 48 |1429 |3804 |3029 | 27k| 0 | 38k|9424 | 1.018707e+03 | 1.039000e+03 | 1.99%| unknown
3471.75/3481.06 c 3481s| 43700 | 2894 | 21362k| 378.5 | 468M | 48 |1429 |3776 |3029 | 27k| 1 | 38k|9429 | 1.018707e+03 | 1.039000e+03 | 1.99%| unknown
3477.12/3486.45 c 3486s| 43800 | 2910 | 21402k| 378.5 | 468M | 48 |1429 |3756 |3028 | 27k| 2 | 39k|9432 | 1.018708e+03 | 1.039000e+03 | 1.99%| unknown
3479.73/3489.06 c 3489s| 43900 | 2906 | 21427k| 378.3 | 468M | 48 |1429 |3781 |3032 | 27k| 0 | 39k|9436 | 1.018708e+03 | 1.039000e+03 | 1.99%| unknown
3482.31/3491.64 c 3492s| 44000 | 2904 | 21453k| 378.1 | 468M | 48 |1429 |3787 |3027 | 27k| 0 | 39k|9437 | 1.018708e+03 | 1.039000e+03 | 1.99%| unknown
3486.90/3496.28 c 3496s| 44100 | 2914 | 21495k| 378.1 | 468M | 48 |1429 |3766 |3027 | 27k| 0 | 39k|9443 | 1.018719e+03 | 1.039000e+03 | 1.99%| unknown
3489.19/3498.51 c 3499s| 44200 | 2910 | 21516k| 377.8 | 468M | 48 |1429 |3773 |3027 | 27k| 0 | 39k|9445 | 1.018719e+03 | 1.039000e+03 | 1.99%| unknown
3494.98/3504.30 c 3504s| 44300 | 2918 | 21554k| 377.9 | 468M | 48 |1429 |3741 |3026 | 27k| 1 | 39k|9445 | 1.018726e+03 | 1.039000e+03 | 1.99%| unknown
3498.17/3507.59 c 3508s| 44400 | 2928 | 21585k| 377.7 | 468M | 48 |1429 |3741 |2997 | 27k| 1 | 39k|9445 | 1.018731e+03 | 1.039000e+03 | 1.99%| unknown
3501.26/3510.60 c 3511s| 44500 | 2932 | 21614k| 377.6 | 468M | 48 |1429 |3758 |3002 | 27k| 0 | 39k|9449 | 1.018735e+03 | 1.039000e+03 | 1.99%| unknown
3503.67/3513.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3503.67/3513.07 c 3513s| 44600 | 2934 | 21639k| 377.4 | 468M | 48 |1429 |3773 |2999 | 27k| 0 | 39k|9452 | 1.018735e+03 | 1.039000e+03 | 1.99%| unknown
3506.95/3516.35 c 3516s| 44700 | 2940 | 21669k| 377.2 | 468M | 48 |1429 |3844 |2997 | 27k| 1 | 39k|9465 | 1.018741e+03 | 1.039000e+03 | 1.99%| unknown
3510.34/3519.75 c 3520s| 44800 | 2946 | 21699k| 377.1 | 468M | 48 |1429 |3926 |2997 | 27k| 2 | 39k|9489 | 1.018742e+03 | 1.039000e+03 | 1.99%| unknown
3516.74/3526.11 c 3526s| 44900 | 2948 | 21752k| 377.3 | 468M | 48 |1429 |3973 |3001 | 27k| 0 | 39k|9502 | 1.018744e+03 | 1.039000e+03 | 1.99%| unknown
3520.32/3529.70 c 3530s| 45000 | 2954 | 21783k| 377.2 | 468M | 48 |1429 |4038 |3000 | 27k| 0 | 39k|9519 | 1.018745e+03 | 1.039000e+03 | 1.99%| unknown
3523.01/3532.48 c 3532s| 45100 | 2956 | 21806k| 377.0 | 468M | 48 |1429 |4085 |3000 | 27k| 1 | 39k|9534 | 1.018745e+03 | 1.039000e+03 | 1.99%| unknown
3528.00/3537.44 c 3537s| 45200 | 2956 | 21838k| 376.9 | 468M | 48 |1429 |4173 |2994 | 27k| 1 | 39k|9560 | 1.018747e+03 | 1.039000e+03 | 1.99%| unknown
3531.09/3540.56 c 3541s| 45300 | 2964 | 21868k| 376.8 | 468M | 48 |1429 |4184 |3002 | 27k| 0 | 39k|9561 | 1.018749e+03 | 1.039000e+03 | 1.99%| unknown
3533.70/3543.16 c 3543s| 45400 | 2966 | 21893k| 376.5 | 468M | 48 |1429 |4239 |2999 | 27k| 1 | 39k|9566 | 1.018749e+03 | 1.039000e+03 | 1.99%| unknown
3536.48/3545.96 c 3546s| 45500 | 2968 | 21920k| 376.3 | 468M | 48 |1429 |4308 |3001 | 27k| 1 | 39k|9575 | 1.018749e+03 | 1.039000e+03 | 1.99%| unknown
3540.97/3550.47 c 3550s| 45600 | 2972 | 21952k| 376.3 | 469M | 48 |1429 |4373 |3008 | 27k| 1 | 40k|9590 | 1.018751e+03 | 1.039000e+03 | 1.99%| unknown
3544.57/3554.05 c 3554s| 45700 | 2980 | 21984k| 376.2 | 469M | 48 |1429 |4417 |3002 | 27k| 1 | 40k|9597 | 1.018753e+03 | 1.039000e+03 | 1.99%| unknown
3547.45/3556.93 c 3557s| 45800 | 2984 | 22010k| 376.0 | 469M | 48 |1429 |4452 |3008 | 27k| 2 | 40k|9609 | 1.018754e+03 | 1.039000e+03 | 1.99%| unknown
3552.24/3561.77 c 3562s| 45900 | 2992 | 22045k| 375.9 | 469M | 48 |1429 |4466 |3007 | 28k| 0 | 40k|9614 | 1.018757e+03 | 1.039000e+03 | 1.99%| unknown
3558.82/3568.34 c 3568s| 46000 | 3008 | 22087k| 376.0 | 469M | 48 |1429 |4538 |3000 | 28k| 1 | 40k|9642 | 1.018760e+03 | 1.039000e+03 | 1.99%| unknown
3562.91/3572.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3562.91/3572.47 c 3572s| 46100 | 3010 | 22114k| 375.8 | 469M | 48 |1429 |4598 |3000 | 28k| 1 | 40k|9657 | 1.018762e+03 | 1.039000e+03 | 1.99%| unknown
3566.00/3575.57 c 3576s| 46200 | 3016 | 22142k| 375.7 | 469M | 48 |1429 |4567 |3001 | 28k| 1 | 40k|9662 | 1.018764e+03 | 1.039000e+03 | 1.99%| unknown
3568.70/3578.29 c 3578s| 46300 | 3018 | 22170k| 375.5 | 469M | 48 |1429 |4583 |3002 | 28k| 0 | 40k|9667 | 1.018764e+03 | 1.039000e+03 | 1.99%| unknown
3573.39/3582.94 c 3583s| 46400 | 3022 | 22199k| 375.3 | 469M | 48 |1429 |4621 |3003 | 28k| 0 | 40k|9690 | 1.018770e+03 | 1.039000e+03 | 1.99%| unknown
3580.77/3590.39 c 3590s| 46500 | 3038 | 22244k| 375.5 | 469M | 48 |1429 |4580 |3005 | 28k| 1 | 40k|9703 | 1.018777e+03 | 1.039000e+03 | 1.99%| unknown
3583.86/3593.40 c 3593s| 46600 | 3040 | 22273k| 375.3 | 469M | 48 |1429 |4557 |3001 | 28k| 2 | 40k|9713 | 1.018778e+03 | 1.039000e+03 | 1.98%| unknown
3587.35/3597.00 c
3587.35/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.35/3597.00 c Solving Time (sec) : 3597.00
3587.35/3597.00 c Solving Nodes : 46665 (total of 59355 nodes in 2 runs)
3587.35/3597.00 c Primal Bound : +1.03900000000000e+03 (672 solutions)
3587.35/3597.00 c Dual Bound : +1.01877910230149e+03
3587.35/3597.00 c Gap : 1.98 %
3587.35/3597.00 s SATISFIABLE
3587.35/3597.00 v x1 x2 x3 x4 x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 x16 x17 x18 -x19 x20 -x21 x22 -x23 x24 -x25 x26 x27 -x28 x29 x30 -x31
3587.35/3597.00 v x32 x33 x34 x35 x36 x37 x38 x39 x40 -x41 x42 x43 x44 -x45 -x46 -x47 x48 x49 -x50 x51 x52 x53 x54 -x55 x56 -x57 -x58 -x59 x60 -x61
3587.35/3597.00 v -x62 x63 x64 -x65 -x66 -x67 x68 x69 -x70 x71 -x72 -x73 -x74 x75 x76 -x77 x78 x79 x80 -x81 -x82 -x83 -x84 x85 x86 -x87 x88 x89 x90
3587.35/3597.00 v -x91 -x92 -x93 x94 x95 -x96 x97 -x98 -x99 x100 x101 -x102 x103 -x104 x105 x106 x107 x108 -x109 x110 x111 -x112 x113 x114 x115 x116
3587.35/3597.00 v -x117 x118 x119 -x120 -x121 -x122 -x123 x124 x125 -x126 -x127 x128 x129 x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 x138 -x139
3587.35/3597.00 v -x140 x141 -x142 -x143 x144 -x145 -x146 -x147 x148 -x149 -x150 x151 x152 -x153 x154 -x155 x156 x157 x158 -x159 x160 x161 -x162 -x163
3587.35/3597.00 v x164 x165 -x166 -x167 x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 x185 x186
3587.35/3597.00 v x187 -x188 -x189 -x190 -x191 x192 -x193 x194 x195 x196 x197 -x198 x199 -x200 x201 x202 x203 x204 -x205 x206 -x207 x208 -x209 -x210
3587.35/3597.00 v x211 x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 x227 x228 -x229 x230 x231 x232 -x233
3587.35/3597.00 v x234 x235 x236 -x237 -x238 -x239 -x240 x241 -x242 x243 -x244 -x245 x246 x247 x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 x256
3587.35/3597.00 v -x257 -x258 x259 -x260 x261 x262 x263 -x264 x265 x266 -x267 -x268 x269 x270 -x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 -x281
3587.35/3597.00 v -x282 x283 x284 -x285 -x286 x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 x298 x299 -x300 x301 -x302 -x303 x304
3587.35/3597.00 v x305 x306 -x307 x308 x309 x310 -x311 -x312 -x313 x314 -x315 x316 -x317 x318 -x319 x320 x321 x322 x323 x324 -x325 x326 x327 -x328
3587.35/3597.00 v x329 x330 x331 -x332 x333 x334 x335 -x336 x337 -x338 x339 x340 x341 -x342 x343 -x344 x345 -x346 -x347 x348 x349 x350 -x351 -x352
3587.35/3597.00 v x353 -x354 x355 -x356 -x357 x358 -x359 x360 -x361 -x362 x363 x364 x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 x373 x374 x375 -x376
3587.35/3597.00 v x377 -x378 -x379 -x380 -x381 x382 x383 x384 -x385 -x386 x387 x388 -x389 -x390 -x391 x392 -x393 -x394 x395 -x396 -x397 -x398 -x399
3587.35/3597.00 v -x400 -x401 x402 x403 -x404 -x405 x406 x407 x408 x409 -x410 -x411 x412 -x413 x414 x415 -x416 x417 -x418 x419 x420 -x421 -x422 -x423
3587.35/3597.00 v -x424 x425 -x426 -x427 x428 x429 x430 -x431 x432 -x433 x434 -x435 x436 -x437 x438 x439 x440 x441 -x442 -x443 x444 x445 -x446 x447
3587.35/3597.00 v x448 -x449 x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 x458 x459 x460 x461 x462 -x463 -x464 x465 -x466 x467 -x468 x469 -x470 -x471
3587.35/3597.00 v -x472 x473 x474 x475 x476 -x477 -x478 -x479 x480 x481 x482 -x483 x484 -x485 x486 -x487 x488 -x489 -x490 x491 x492 x493 -x494 x495
3587.35/3597.00 v x496 -x497 -x498 x499 x500 x501 x502 x503 x504 x505 -x506 x507 x508 -x509 x510 x511 x512 x513 -x514 -x515 x516 x517 -x518 x519 x520
3587.35/3597.00 v x521 x522 x523 x524 -x525 -x526 -x527 -x528 x529 x530 -x531 -x532 x533 -x534 -x535 x536 -x537 x538 -x539 x540 x541 x542 -x543 x544
3587.35/3597.00 v x545 -x546 -x547 x548 -x549 -x550 -x551 x552 -x553 x554 x555 x556 x557 -x558 -x559 -x560 -x561 x562 -x563 x564 -x565 x566 x567 x568
3587.35/3597.00 v x569 x570 x571 -x572 -x573 x574 -x575 x576 x577 -x578 x579 x580 -x581 x582 x583 x584 x585 -x586 -x587 -x588 x589 x590 x591 x592
3587.35/3597.00 v x593 -x594 x595 x596 -x597 x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 x609 x610 -x611 -x612 x613 -x614 x615
3587.35/3597.00 v -x616 -x617 x618 x619 x620 -x621 -x622 -x623 x624 x625 x626 -x627 x628 x629 -x630 x631 -x632 -x633 -x634 -x635 x636 -x637 x638 x639
3587.35/3597.00 v x640 -x641 x642 -x643 x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 x654 x655 x656 x657 x658 -x659 -x660 x661 x662 x663
3587.35/3597.00 v x664 -x665 x666 x667 -x668 -x669 x670 -x671 x672 -x673 -x674 x675 -x676 x677 x678 x679 x680 -x681 x682 -x683 x684 x685 x686 -x687
3587.35/3597.00 v -x688 -x689 -x690 -x691 x692 -x693 x694 x695 x696 x697 x698 x699 -x700 x701 x702 x703 -x704 x705 x706 -x707 x708 x709 x710 x711
3587.35/3597.00 v -x712 -x713 x714 -x715 -x716 -x717 x718 -x719 x720 -x721 -x722 x723 -x724 x725 x726 -x727 x728 -x729 x730 x731 x732 -x733 x734 x735
3587.35/3597.00 v x736 x737 x738 x739 x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 x748 x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 x757 -x758
3587.35/3597.00 v x759 -x760 -x761 -x762 -x763 x764 x765 x766 x767 -x768 x769 -x770 x771 -x772 x773 x774 x775 x776 x777 x778 x779 -x780 -x781 x782
3587.35/3597.00 v x783 -x784 x785 -x786 x787 x788 x789 -x790 x791 -x792 x793 x794 -x795 -x796 -x797 x798 x799 -x800 -x801 x802 -x803 x804 x805 -x806
3587.35/3597.00 v x807 -x808 -x809 -x810 x811 -x812 x813 x814 -x815 -x816 x817 x818 x819 x820 -x821 x822 -x823 x824 -x825 x826 x827 -x828 x829 x830
3587.35/3597.00 v x831 -x832 -x833 x834 x835 x836 -x837 x838 x839 -x840 -x841 -x842 -x843 -x844 x845 x846 -x847 -x848 x849 x850 x851 x852 -x853 x854
3587.35/3597.00 v -x855 x856 x857 x858 -x859 x860 x861 -x862 x863 x864 -x865 x866 -x867 x868 x869 x870 x871 x872 x873 -x874 x875 -x876 x877 -x878
3587.35/3597.00 v -x879 x880 -x881 -x882 x883 x884 x885 -x886 -x887 x888 x889 x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 x900 -x901
3587.35/3597.00 v -x902 x903 -x904 -x905 x906 x907 x908 x909 x910 x911 x912 x913 -x914 -x915 x916 -x917 -x918 x919 x920 -x921 -x922 x923 -x924 x925
3587.35/3597.00 v x926 -x927 -x928 x929 -x930 x931 x932 -x933 x934 -x935 x936 x937 x938 -x939 -x940 x941 x942 -x943 -x944 -x945 -x946 x947 -x948 x949
3587.35/3597.00 v x950 -x951 x952 -x953 x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 x966 x967 x968 x969 x970 x971 x972 -x973
3587.35/3597.00 v x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 x984 x985 -x986 -x987 x988 x989 x990 -x991 -x992 x993 -x994 -x995 x996
3587.35/3597.00 v -x997 x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 x1006 x1007 -x1008 x1009 -x1010 -x1011 -x1012 x1013 x1014 x1015 -x1016
3587.35/3597.00 v x1017 -x1018 x1019 -x1020 x1021 -x1022 x1023 x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 x1035 -x1036
3587.35/3597.00 v x1037 -x1038 x1039 x1040 x1041 x1042 x1043 -x1044 -x1045 x1046 -x1047 x1048 x1049 -x1050 x1051 x1052 x1053 x1054 -x1055 x1056 -x1057
3587.35/3597.00 v x1058 x1059 x1060 x1061 -x1062 -x1063 -x1064 -x1065 x1066 x1067 -x1068 x1069 x1070 x1071 x1072 -x1073 -x1074 -x1075 x1076 x1077
3587.35/3597.00 v x1078 -x1079 -x1080 x1081 x1082 x1083 x1084 -x1085 x1086 -x1087 -x1088 x1089 x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097
3587.35/3597.00 v x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 -x1106 x1107 x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117
3587.35/3597.00 v -x1118 x1119 -x1120 x1121 x1122 x1123 -x1124 -x1125 -x1126 x1127 -x1128 x1129 x1130 x1131 x1132 -x1133 -x1134 -x1135 -x1136 x1137
3587.35/3597.00 v x1138 x1139 -x1140 x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 x1152 x1153 -x1154 -x1155 -x1156 x1157
3587.35/3597.00 v x1158 x1159 x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 x1169 x1170 x1171 x1172 x1173 -x1174 -x1175 x1176 -x1177
3587.35/3597.00 v x1178 x1179 -x1180 x1181 x1182 x1183 x1184 x1185 x1186 -x1187 -x1188 -x1189 -x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198
3587.35/3597.00 v x1199 x1200 x1201 x1202 -x1203 -x1204 x1205 x1206 x1207 x1208 x1209 x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218
3587.35/3597.00 v -x1219 -x1220 -x1221 -x1222 x1223 -x1224 x1225 x1226 x1227 x1228 x1229 x1230 x1231 -x1232 x1233 x1234 x1235 x1236 -x1237 -x1238
3587.35/3597.00 v -x1239 x1240 -x1241 x1242 x1243 -x1244 -x1245 -x1246 x1247 x1248 x1249 -x1250 -x1251 -x1252 x1253 -x1254 x1255 x1256 x1257 -x1258
3587.35/3597.00 v x1259 x1260 x1261 -x1262 x1263 -x1264 -x1265 -x1266 x1267 -x1268 x1269 -x1270 -x1271 x1272 -x1273 x1274 -x1275 x1276 -x1277 x1278
3587.35/3597.00 v x1279 -x1280 x1281 x1282 x1283 x1284 x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 x1298
3587.35/3597.00 v x1299 -x1300 -x1301 x1302 -x1303 x1304 -x1305 x1306 x1307 -x1308 x1309 -x1310 x1311 -x1312 x1313 x1314 x1315 -x1316 x1317 -x1318
3587.35/3597.00 v -x1319 x1320 -x1321 x1322 x1323 x1324 x1325 -x1326 x1327 -x1328 -x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338
3587.35/3597.00 v x1339 -x1340 x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 x1350 x1351 x1352 x1353 -x1354 x1355 -x1356 -x1357 x1358
3587.35/3597.00 v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 x1367 x1368 -x1369 x1370 -x1371 x1372 x1373 -x1374 -x1375 -x1376 x1377 -x1378
3587.35/3597.00 v x1379 -x1380 -x1381 x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 x1395 x1396 x1397 -x1398
3587.35/3597.00 v x1399 -x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 -x1408 -x1409 x1410 x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418
3587.35/3597.00 v x1419 -x1420 x1421 x1422 -x1423 x1424 -x1425 x1426 -x1427 x1428 -x1429 -x1430 x1431 x1432 -x1433 x1434 -x1435 -x1436 x1437 -x1438
3587.35/3597.00 v x1439 x1440 -x1441 x1442 x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 x1450 x1451 -x1452 x1453 -x1454 x1455 x1456 -x1457 x1458
3587.35/3597.00 v -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 x1472 x1473 x1474 x1475 -x1476 x1477 -x1478
3587.35/3597.00 v -x1479 -x1480 x1481 x1482 x1483 x1484 x1485 -x1486 -x1487 -x1488 x1489 -x1490 x1491 x1492 x1493 x1494 -x1495 x1496 x1497 x1498 -x1499
3587.35/3597.00 v -x1500 x1501 x1502 x1503 x1504 x1505 -x1506 x1507 x1508 x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 x1516 x1517 x1518 x1519 -x1520
3587.35/3597.00 v -x1521 -x1522 x1523 -x1524 x1525 x1526 -x1527 x1528 x1529 x1530 -x1531 x1532 x1533 x1534 x1535 -x1536 x1537 -x1538 x1539 -x1540
3587.35/3597.00 v x1541 x1542 x1543 -x1544 -x1545 x1546 x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 x1554 x1555 x1556 -x1557 -x1558 x1559 x1560
3587.35/3597.00 v -x1561 x1562 x1563 x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
3587.35/3597.00 v -x1581 x1582 -x1583 x1584 -x1585 -x1586 x1587 -x1588 x1589 x1590 x1591 -x1592 -x1593 -x1594 x1595 x1596 x1597 x1598 x1599 x1600
3587.35/3597.00 v x1601 x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 x1614 x1615 x1616 -x1617 x1618 -x1619 -x1620
3587.35/3597.00 v x1621 x1622 -x1623 x1624 x1625 -x1626 -x1627 -x1628 -x1629 x1630 x1631 -x1632 -x1633 x1634 x1635 x1636 x1637 -x1638 x1639 x1640
3587.35/3597.00 v -x1641 x1642 x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 x1650 -x1651 x1652 -x1653 x1654 x1655 -x1656 x1657 x1658 x1659 x1660
3587.35/3597.00 v -x1661 -x1662 x1663 x1664 -x1665 x1666 x1667 -x1668 x1669 x1670 x1671 -x1672 x1673 -x1674 x1675 -x1676 x1677 -x1678 -x1679 x1680
3587.35/3597.00 v x1681 -x1682 x1683 x1684 -x1685 -x1686 -x1687 x1688 x1689 x1690 x1691 x1692 x1693 x1694 -x1695 -x1696 -x1697 -x1698 x1699 x1700
3587.35/3597.00 v x1701 x1702 x1703 x1704 x1705 x1706 -x1707 x1708 x1709 -x1710 -x1711 x1712 x1713 -x1714 x1715 x1716 -x1717 -x1718 x1719 x1720 -x1721
3587.35/3597.00 v x1722 x1723 x1724 -x1725 x1726 -x1727 -x1728 x1729 -x1730 x1731 x1732 -x1733 -x1734 -x1735 x1736 x1737 x1738 -x1739 x1740 -x1741
3587.35/3597.00 v x1742 -x1743 x1744 x1745 x1746 -x1747 x1748 -x1749 x1750 x1751 x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 x1759 x1760 -x1761
3587.35/3597.00 v x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780
3587.35/3597.00 v x1781 x1782 x1783 -x1784 x1785 x1786 -x1787 x1788 -x1789 x1790 x1791 x1792 -x1793 x1794 -x1795 -x1796 -x1797 x1798 -x1799 x1800
3587.35/3597.00 v x1801 -x1802 -x1803 -x1804 x1805 x1806 -x1807 x1808 x1809 x1810 x1811 x1812 -x1813 x1814 -x1815 x1816 x1817 x1818 -x1819 -x1820
3587.35/3597.00 v -x1821 x1822 x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 x1830 x1831 x1832 x1833 -x1834 -x1835 -x1836 x1837 -x1838 x1839 x1840
3587.35/3597.00 v -x1841 x1842 -x1843 x1844 x1845 x1846 x1847 -x1848 x1849 x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 x1857 x1858 x1859 x1860
3587.35/3597.00 v x1861 x1862 x1863 x1864 x1865 x1866 x1867 x1868 x1869 -x1870 -x1871 -x1872 -x1873 x1874 x1875 x1876 -x1877 x1878 x1879 x1880 x1881
3587.35/3597.00 v -x1882 -x1883 x1884 -x1885 x1886 -x1887 -x1888 x1889 -x1890 x1891 x1892 -x1893 x1894 x1895 x1896 x1897 x1898 x1899 x1900 x1901 x1902
3587.35/3597.00 v -x1903 x1904 x1905 x1906 -x1907 -x1908 -x1909 -x1910 x1911 x1912 -x1913 -x1914 x1915 -x1916 x1917 x1918 -x1919 x1920 x1921 x1922
3587.35/3597.00 v -x1923 x1924 x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941
3587.35/3597.00 v -x1942 -x1943 x1944 -x1945 -x1946 -x1947 x1948 -x1949 -x1950 x1951 x1952 -x1953 x1954 -x1955 -x1956 x1957 -x1958 x1959 -x1960 x1961
3587.35/3597.00 v x1962 x1963 -x1964 x1965 x1966 x1967 -x1968
3587.35/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.35/3597.00 c Total Time : 3597.00
3587.35/3597.00 c solving : 3597.00
3587.35/3597.00 c presolving : 0.92 (included in solving)
3587.35/3597.00 c reading : 0.02 (included in solving)
3587.35/3597.00 c copying : 0.18 (18 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3587.35/3597.00 c Original Problem :
3587.35/3597.00 c Problem name : HOME/instance-4488965-1751349476.opb
3587.35/3597.00 c Variables : 1968 (1968 binary, 0 integer, 0 continuous)
3587.35/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.35/3597.00 c Constraints : 4000 initial, 4000 maximal
3587.35/3597.00 c Objective : minimize, 1968 non-zeros (abs.min = 1, abs.max = 1)
3587.35/3597.00 c Presolved Problem :
3587.35/3597.00 c Problem name : t_HOME/instance-4488965-1751349476.opb
3587.35/3597.00 c Variables : 1429 (1429 binary, 0 integer, 0 continuous)
3587.35/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.35/3597.00 c Constraints : 8424 initial, 11319 maximal
3587.35/3597.00 c Objective : minimize, 1429 non-zeros (abs.min = 1, abs.max = 1)
3587.35/3597.00 c Nonzeros : 255167 constraint, 5487 clique table
3587.35/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.35/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c gateextraction : 0.02 0.00 5 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c trivial : 0.00 0.00 18 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c dualfix : 0.00 0.00 18 251 0 0 0 0 0 0 0 0
3587.35/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c pseudoobj : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c knapsack : 0.00 0.00 16 0 0 0 0 0 0 1 1 4
3587.35/3597.00 c setppc : 0.03 0.00 19 0 0 0 0 0 1 0 0 0
3587.35/3597.00 c linear : 0.06 0.00 24 0 288 0 0 0 1258 0 4211 4615
3587.35/3597.00 c logicor : 0.57 0.12 15 0 0 0 0 0 602 0 0 2424
3587.35/3597.00 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.35/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.35/3597.00 c integral : 0 0 0 0 34804 0 0 2760 0 0 5873 0 0 27258 64012
3587.35/3597.00 c knapsack : 242+ 244 3 196720 0 0 0 0 345 28 2 0 0 0 0
3587.35/3597.00 c setppc : 2743 2743 18 260448 0 0 0 2754 358913 17 189639 0 0 0 0
3587.35/3597.00 c linear : 68+ 81 3 220920 0 0 0 2 778 487 1450 0 0 0 0
3587.35/3597.00 c logicor : 5371+ 8255 3 50823 0 0 0 0 2298 204 308 0 0 0 0
3587.35/3597.00 c fixedvar : 0 0 0 0 0 0 0 779 0 0 0 0 0 0 0
3587.35/3597.00 c countsols : 0 0 0 0 0 0 0 779 0 0 0 0 0 0 0
3587.35/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.35/3597.00 c integral : 370.73 0.00 0.00 0.00 370.71 0.00 0.00 0.02 0.00 0.00
3587.35/3597.00 c knapsack : 0.27 0.00 0.01 0.24 0.00 0.00 0.00 0.00 0.00 0.03
3587.35/3597.00 c setppc : 1.88 0.00 0.01 1.46 0.00 0.00 0.00 0.14 0.07 0.20
3587.35/3597.00 c linear : 0.40 0.00 0.00 0.31 0.00 0.00 0.00 0.00 0.00 0.09
3587.35/3597.00 c logicor : 1.03 0.12 0.00 0.84 0.00 0.00 0.00 0.00 0.00 0.06
3587.35/3597.00 c fixedvar : 0.03 0.00 0.00 0.00 0.00 0.00 0.00 0.03 0.00 0.00
3587.35/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.35/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.35/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.35/3597.00 c dualfix : 4 0 0 0
3587.35/3597.00 c genvbounds : 0 0 0 0
3587.35/3597.00 c nlobbt : 0 0 0 0
3587.35/3597.00 c obbt : 0 0 0 0
3587.35/3597.00 c probing : 0 0 0 0
3587.35/3597.00 c pseudoobj : 135381 0 0 0
3587.35/3597.00 c redcost : 12289 0 0 1231
3587.35/3597.00 c rootredcost : 4 0 0 0
3587.35/3597.00 c symmetry : 0 0 0 0
3587.35/3597.00 c vbounds : 96624 0 0 0
3587.35/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.35/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.35/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.35/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.35/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.35/3597.00 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3587.35/3597.00 c pseudoobj : 0.14 0.00 0.00 0.14 0.00 0.00
3587.35/3597.00 c redcost : 0.29 0.00 0.00 0.29 0.00 0.00
3587.35/3597.00 c rootredcost : 0.04 0.00 0.00 0.03 0.00 0.00
3587.35/3597.00 c symmetry : 0.04 0.00 0.00 0.03 0.00 0.01
3587.35/3597.00 c vbounds : 0.07 0.00 0.00 0.06 0.00 0.01
3587.35/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.35/3597.00 c propagation : 0.01 299 175 - 1846 71.4 0 0.0 - - -
3587.35/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.35/3597.00 c bound exceed. LP : 5.20 8156 8153 - 76181 61.4 0 0.0 8153 89.9 20097
3587.35/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.35/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.35/3597.00 c applied globally : 0.34 - - 0 32620 47.5 - - 8153 - -
3587.35/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.35/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.35/3597.00 c cut pool : 21.52 - 10417 32 - - 64890 236962 - - - - - (maximal pool size: 4244)
3587.35/3597.00 c aggregation : 143.61 0.00 2614 19 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.35/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.35/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.35/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c clique : 0.22 0.00 19 19 0 0 1 1 0 1 1 0 0
3587.35/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c gomory : 637.50 0.00 2450 13 0 0 61892 91868 0 7040 7040 0 0
3587.35/3597.00 c > gomorymi : - - - - - - - 32432 0 529 529 0 -
3587.35/3597.00 c > strongcg : - - - - - - - 59436 0 6511 6511 0 -
3587.35/3597.00 c impliedbounds : 0.45 0.00 2614 19 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c mcf : 0.02 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c multilinear : 0.00 0.00 287 19 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c rapidlearning : 0.06 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c rlt : 0.00 0.00 13 13 0 0 0 0 0 0 0 0 0
3587.35/3597.00 c zerohalf : 41.42 0.00 2456 19 0 0 2997 145093 0 50644 50644 0 0
3587.35/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.35/3597.00 c hybrid : 1.35 0.00 7166 16 57685 0 179277 138 0 1485
3587.35/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.35/3597.00 c problem variables: 0.00 - 0 0
3587.35/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.35/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c relpscost : 370.68 0.00 34804 0 0 0 5873 0 32891 64012
3587.35/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.35/3597.00 c LP solutions : 0.00 - - 0 0
3587.35/3597.00 c relax solutions : 0.00 - - 0 0
3587.35/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.35/3597.00 c strong branching : 0.74 - - 116 0
3587.35/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.35/3597.00 c adaptivediving : 21.11 0.00 149 1 1
3587.35/3597.00 c alns : 0.23 0.00 10 1 1
3587.35/3597.00 c bound : 0.00 0.00 0 0 0
3587.35/3597.00 c clique : 0.04 0.00 1 1 1
3587.35/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.35/3597.00 c completesol : 0.00 0.00 0 0 0
3587.35/3597.00 c conflictdiving : 5.40 0.00 82 0 0
3587.35/3597.00 c crossover : 0.23 0.00 8 3 2
3587.35/3597.00 c dins : 0.00 0.00 0 0 0
3587.35/3597.00 c distributiondivin: 12.39 0.00 82 0 0
3587.35/3597.00 c dks : 0.00 0.00 0 0 0
3587.35/3597.00 c dps : 0.00 0.00 0 0 0
3587.35/3597.00 c dualval : 0.00 0.00 0 0 0
3587.35/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.35/3597.00 c feaspump : 0.00 0.00 0 0 0
3587.35/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.35/3597.00 c fracdiving : 7.36 0.00 82 0 0
3587.35/3597.00 c gins : 0.01 0.00 0 0 0
3587.35/3597.00 c guideddiving : 10.61 0.00 82 0 0
3587.35/3597.00 c indicator : 0.00 0.00 0 0 0
3587.35/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.35/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.35/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.35/3597.00 c linesearchdiving : 15.76 0.00 82 0 0
3587.35/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.35/3597.00 c locks : 0.01 0.00 1 1 1
3587.35/3597.00 c lpface : 0.01 0.00 0 0 0
3587.35/3597.00 c mpec : 0.00 0.00 0 0 0
3587.35/3597.00 c multistart : 0.00 0.00 0 0 0
3587.35/3597.00 c mutation : 0.00 0.00 0 0 0
3587.35/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.35/3597.00 c objpscostdiving : 127.51 0.00 42 210 0
3587.35/3597.00 c octane : 0.00 0.00 0 0 0
3587.35/3597.00 c ofins : 0.00 0.00 0 0 0
3587.35/3597.00 c oneopt : 0.02 0.00 6 2 2
3587.35/3597.00 c padm : 0.00 0.00 0 0 0
3587.35/3597.00 c proximity : 0.00 0.00 0 0 0
3587.35/3597.00 c pscostdiving : 16.39 0.00 82 2 0
3587.35/3597.00 c randrounding : 0.40 0.00 1993 15 0
3587.35/3597.00 c rens : 0.00 0.00 0 0 0
3587.35/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.35/3597.00 c repair : 0.00 0.00 0 0 0
3587.35/3597.00 c rins : 0.07 0.00 0 0 0
3587.35/3597.00 c rootsoldiving : 13.91 0.00 41 20 0
3587.35/3597.00 c rounding : 52.12 0.00 2847 0 0
3587.35/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.35/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3587.35/3597.00 c shifting : 30.16 0.00 1430 0 0
3587.35/3597.00 c simplerounding : 2.81 0.00 41970 75 0
3587.35/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.35/3597.00 c trivial : 0.00 0.00 4 2 2
3587.35/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.35/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.35/3597.00 c trysol : 0.01 0.00 0 0 0
3587.35/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.35/3597.00 c undercover : 0.00 0.00 0 0 0
3587.35/3597.00 c vbounds : 0.04 0.00 2 0 0
3587.35/3597.00 c veclendiving : 8.14 0.00 82 1 1
3587.35/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.35/3597.00 c zirounding : 5.72 0.00 11101 222 0
3587.35/3597.00 c other solutions : - - - 0 -
3587.35/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
3587.35/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.35/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.35/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.35/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.35/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.35/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.35/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.35/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.35/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
3587.35/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.35/3597.00 c primal LP : 3.06 4124 0 0.00 0.00 3.05 4124
3587.35/3597.00 c dual LP : 2014.41 70553 20394466 294.96 10124.28 1.21 1409
3587.35/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.35/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.35/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.35/3597.00 c diving/probing LP: 257.86 9440 1911017 202.44 7410.94
3587.35/3597.00 c strong branching : 316.23 9714 3196076 329.02 10106.94 - - 2350
3587.35/3597.00 c (at root node) : - 62 60051 968.56 -
3587.35/3597.00 c conflict analysis: 2.06 2014 20097 9.98 9771.45
3587.35/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.35/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3587.35/3597.00 c B&B Tree :
3587.35/3597.00 c number of runs : 2
3587.35/3597.00 c nodes : 46665 (24854 internal, 21811 leaves)
3587.35/3597.00 c feasible leaves : 0
3587.35/3597.00 c infeas. leaves : 83
3587.35/3597.00 c objective leaves : 21728
3587.35/3597.00 c nodes (total) : 59355 (32006 internal, 27349 leaves)
3587.35/3597.00 c nodes left : 3041
3587.35/3597.00 c max depth : 48
3587.35/3597.00 c max depth (total): 51
3587.35/3597.00 c backtracks : 6745 (14.5%)
3587.35/3597.00 c early backtracks : 0 (0.0%)
3587.35/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.35/3597.00 c delayed cutoffs : 0
3587.35/3597.00 c repropagations : 34 (32 domain reductions, 0 cutoffs)
3587.35/3597.00 c avg switch length: 2.97
3587.35/3597.00 c switching time : 7.77
3587.35/3597.00 c Root Node :
3587.35/3597.00 c First LP value : +9.77500000000000e+02
3587.35/3597.00 c First LP Iters : 1783 (22622.60 Iter/sec)
3587.35/3597.00 c First LP Time : 0.08
3587.35/3597.00 c Final Dual Bound : +1.01288014147992e+03
3587.35/3597.00 c Final Root Iters : 21050
3587.35/3597.00 c Root LP Estimate : +1.25329179991790e+03
3587.35/3597.00 c Solution :
3587.35/3597.00 c Solutions found : 672 (11 improvements)
3587.35/3597.00 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
3587.35/3597.00 c Gap First Sol. : infinite
3587.35/3597.00 c Gap Last Sol. : 2.26 %
3587.35/3597.00 c Primal Bound : +1.03900000000000e+03 (in run 2, after 11766 nodes, 2000.55 seconds, depth 36, found by <crossover>)
3587.35/3597.00 c Dual Bound : +1.01877910230149e+03
3587.35/3597.00 c Gap : 1.98 %
3587.35/3597.00 c Integrals : Total Avg%
3587.35/3597.00 c primal-dual : 8917.44 2.48
3587.35/3597.00 c primal-ref : - - (not evaluated)
3587.35/3597.00 c dual-ref : - - (not evaluated)
3587.46/3597.06 c Time complete (sec): 3587.518
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: 63837 MiB (62985 MiB free)
memory of node 1: 64465 MiB (63671 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488965-1751349476/watcher-4488965-1751349476 -o /tmp/evaluation-result-4488965-1751349476/solver-4488965-1751349476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751349476-60198 --watchdog 3760 pbsolver -f HOME/instance-4488965-1751349476.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=60248, runsolver pid=60239
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 1.56 1.98 2.15 6/253 60257
/proc/meminfo: memFree=129658272/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=35548 memory=26468 CPUtime=0.11 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 4475 0 0 0 10 1 0 0 20 0 1 0 50626810 36401152 6617 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 8887 6617 2496 2575 0 5794 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 35548 KiB
Current children cumulated memory: 26468 KiB
[startup+0.213946 s]*
/proc/loadavg: 1.56 1.98 2.15 7/253 60257
/proc/meminfo: memFree=129652148/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=44320 memory=33264 CPUtime=0.21 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 6171 0 0 0 20 1 0 0 20 0 1 0 50626810 45383680 8316 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 11080 8316 2656 2575 0 7987 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44320 KiB
Current children cumulated memory: 33264 KiB
[startup+0.314153 s]*
/proc/loadavg: 1.56 1.98 2.15 6/253 60257
/proc/meminfo: memFree=129649124/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=46140 memory=35184 CPUtime=0.31 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 6615 0 0 0 30 1 0 0 20 0 1 0 50626810 47247360 8796 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 11535 8796 2688 2575 0 8442 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46140 KiB
Current children cumulated memory: 35184 KiB
[startup+0.700251 s]
/proc/loadavg: 1.56 1.98 2.15 6/253 60257
/proc/meminfo: memFree=129649124/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=50304 memory=38768 CPUtime=0.68 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 7520 0 0 0 67 1 0 0 20 0 1 0 50626810 51511296 9692 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 12576 9692 2688 2575 0 9483 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50304 KiB
Current children cumulated memory: 38768 KiB
[startup+1.50036 s]
/proc/loadavg: 1.56 1.98 2.15 6/253 60257
/proc/meminfo: memFree=129645348/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=51580 memory=39792 CPUtime=1.48 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 7797 0 0 0 146 2 0 0 20 0 1 0 50626810 52817920 9948 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 12895 9948 2688 2575 0 9802 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51580 KiB
Current children cumulated memory: 39792 KiB
[startup+3.1127 s]
/proc/loadavg: 1.56 1.98 2.15 6/253 60257
/proc/meminfo: memFree=129217064/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=82296 memory=69360 CPUtime=3.09 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 15194 0 0 0 306 3 0 0 20 0 1 0 50626810 84271104 17340 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 20574 17340 2688 2575 0 17481 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 82296 KiB
Current children cumulated memory: 69360 KiB
[startup+6.30027 s]
/proc/loadavg: 1.76 2.02 2.16 6/253 60257
/proc/meminfo: memFree=129177108/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=120908 memory=106476 CPUtime=6.26 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 24713 0 0 0 622 4 0 0 20 0 1 0 50626810 123809792 26619 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 30227 26619 2688 2575 0 27134 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 120908 KiB
Current children cumulated memory: 106476 KiB
[startup+12.7003 s]
/proc/loadavg: 1.94 2.05 2.17 6/253 60257
/proc/meminfo: memFree=129112596/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=180240 memory=164460 CPUtime=12.65 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 39221 0 0 0 1257 8 0 0 20 0 1 0 50626810 184565760 41115 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 45060 41115 2688 2575 0 41967 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 180240 KiB
Current children cumulated memory: 164460 KiB
[startup+25.5003 s]
/proc/loadavg: 2.40 2.15 2.20 6/253 60258
/proc/meminfo: memFree=128975516/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=180240 memory=164972 CPUtime=25.41 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 39363 0 0 0 2533 8 0 0 20 0 1 0 50626810 184565760 41243 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 45060 41243 2688 2575 0 41967 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 180240 KiB
Current children cumulated memory: 164972 KiB
[startup+51.1127 s]
/proc/loadavg: 3.07 2.33 2.26 6/254 60259
/proc/meminfo: memFree=128919092/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=241720 memory=224456 CPUtime=50.93 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 54458 0 0 0 5083 10 0 0 20 0 1 0 50626810 247521280 56114 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 60430 56114 2688 2575 0 57337 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 241720 KiB
Current children cumulated memory: 224456 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.60 2.36 6/253 60263
/proc/meminfo: memFree=128814196/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=349928 memory=326132 CPUtime=101.96 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 82751 0 0 0 10181 15 0 0 20 0 1 0 50626810 358326272 81533 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 87482 81533 2688 2575 0 84389 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 349928 KiB
Current children cumulated memory: 326132 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.88 2.47 6/253 60265
/proc/meminfo: memFree=128570056/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=355688 memory=332552 CPUtime=161.78 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 84833 0 0 0 16162 16 0 0 20 0 1 0 50626810 364224512 83138 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 88922 83138 2688 2575 0 85829 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 355688 KiB
Current children cumulated memory: 332552 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.11 2.58 6/253 60278
/proc/meminfo: memFree=128481740/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=358716 memory=334216 CPUtime=221.59 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 85266 0 0 0 22143 16 0 0 20 0 1 0 50626810 367325184 83554 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 89679 83554 2688 2575 0 86586 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 358716 KiB
Current children cumulated memory: 334216 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.29 2.68 6/253 60285
/proc/meminfo: memFree=128468348/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=368216 memory=341980 CPUtime=281.39 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 87660 0 0 0 28123 16 0 0 20 0 1 0 50626810 377053184 85495 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 92054 85495 2688 2575 0 88961 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 368216 KiB
Current children cumulated memory: 341980 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.44 2.77 6/250 60287
/proc/meminfo: memFree=128437200/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=368216 memory=341980 CPUtime=341.19 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 87664 0 0 0 34103 16 0 0 20 0 1 0 50626810 377053184 85495 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 92054 85495 2688 2575 0 88961 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 368216 KiB
Current children cumulated memory: 341980 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.57 2.86 6/250 60289
/proc/meminfo: memFree=128402128/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=376584 memory=349276 CPUtime=401.01 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 89509 0 0 0 40084 17 0 0 20 0 1 0 50626810 385622016 87319 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 94146 87319 2688 2575 0 91053 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 376584 KiB
Current children cumulated memory: 349276 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.67 2.94 6/250 60291
/proc/meminfo: memFree=128411532/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=377392 memory=350044 CPUtime=460.81 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 89717 0 0 0 46064 17 0 0 20 0 1 0 50626810 386449408 87511 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 94348 87511 2688 2575 0 91255 0
Current children cumulated CPU time: 460.81 s
################
# More data... #
################
/proc/loadavg: 4.11 4.11 4.04 6/250 60417
/proc/meminfo: memFree=128111516/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=494816 memory=485760 CPUtime=3153.82 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 121125 0 0 0 315360 22 0 0 20 0 1 0 50626810 506691584 121440 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 123704 121440 2688 2575 0 120611 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 494816 KiB
Current children cumulated memory: 485760 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.04 6/250 60419
/proc/meminfo: memFree=128116288/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=494816 memory=485760 CPUtime=3213.67 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 121142 0 0 0 321345 22 0 0 20 0 1 0 50626810 506691584 121440 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 123704 121440 2688 2575 0 120611 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 494816 KiB
Current children cumulated memory: 485760 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.04 6/250 60426
/proc/meminfo: memFree=128135740/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=494816 memory=485888 CPUtime=3273.52 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 121167 0 0 0 327330 22 0 0 20 0 1 0 50626810 506691584 121472 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 123704 121472 2688 2575 0 120611 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 494816 KiB
Current children cumulated memory: 485888 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.04 6/250 60428
/proc/meminfo: memFree=128135548/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=494816 memory=486016 CPUtime=3333.38 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 121203 0 0 0 333316 22 0 0 20 0 1 0 50626810 506691584 121504 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 123704 121504 2688 2575 0 120611 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 494816 KiB
Current children cumulated memory: 486016 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.04 6/250 60429
/proc/meminfo: memFree=128127508/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=494816 memory=486016 CPUtime=3393.23 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 121212 0 0 0 339301 22 0 0 20 0 1 0 50626810 506691584 121504 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 123704 121504 2688 2575 0 120611 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 494816 KiB
Current children cumulated memory: 486016 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.11 4.05 6/250 60431
/proc/meminfo: memFree=128125788/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=497724 memory=488448 CPUtime=3453.08 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 121817 0 0 0 345286 22 0 0 20 0 1 0 50626810 509669376 122112 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 124431 122112 2688 2575 0 121338 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 497724 KiB
Current children cumulated memory: 488448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.06 6/250 60433
/proc/meminfo: memFree=128129844/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=497724 memory=488448 CPUtime=3512.93 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 122030 0 0 0 351271 22 0 0 20 0 1 0 50626810 509669376 122112 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 124431 122112 2688 2575 0 121338 0
Current children cumulated CPU time: 3512.93 s
Current children cumulated vsize: 497724 KiB
Current children cumulated memory: 488448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.06 6/249 60435
/proc/meminfo: memFree=128119412/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=497724 memory=488448 CPUtime=3572.79 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 122038 0 0 0 357257 22 0 0 20 0 1 0 50626810 509669376 122112 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 124431 122112 2688 2575 0 121338 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 497724 KiB
Current children cumulated memory: 488448 KiB
[startup+3597.06 s]
# the end of solver process 60248 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.29 s, system=0.229142 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.06 6/249 60435
/proc/meminfo: memFree=128119664/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=497724 memory=488448 CPUtime=3574.49 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 122038 0 0 0 357427 22 0 0 20 0 1 0 50626810 509669376 122112 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 124431 122112 2688 2575 0 121338 0
Current children cumulated CPU time: 3574.49 s
Current children cumulated vsize: 497724 KiB
Current children cumulated memory: 488448 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.06 6/249 60436
/proc/meminfo: memFree=128119916/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=497724 memory=488448 CPUtime=3580.87 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 122056 0 0 0 358065 22 0 0 20 0 1 0 50626810 509669376 122112 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 124431 122112 2688 2575 0 121338 0
Current children cumulated CPU time: 3580.87 s
Current children cumulated vsize: 497724 KiB
Current children cumulated memory: 488448 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.06 6/249 60436
/proc/meminfo: memFree=128120168/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=497724 memory=488448 CPUtime=3584.06 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 122056 0 0 0 358384 22 0 0 20 0 1 0 50626810 509669376 122112 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 124431 122112 2688 2575 0 121338 0
Current children cumulated CPU time: 3584.06 s
Current children cumulated vsize: 497724 KiB
Current children cumulated memory: 488448 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.12 4.06 6/249 60436
/proc/meminfo: memFree=128120168/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=497724 memory=488448 CPUtime=3585.65 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 122056 0 0 0 358543 22 0 0 20 0 1 0 50626810 509669376 122112 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 124431 122112 2688 2575 0 121338 0
Current children cumulated CPU time: 3585.65 s
Current children cumulated vsize: 497724 KiB
Current children cumulated memory: 488448 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.12 4.06 6/249 60436
/proc/meminfo: memFree=128120168/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=497724 memory=488448 CPUtime=3586.46 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 122056 0 0 0 358624 22 0 0 20 0 1 0 50626810 509669376 122112 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 124431 122112 2688 2575 0 121338 0
Current children cumulated CPU time: 3586.46 s
Current children cumulated vsize: 497724 KiB
Current children cumulated memory: 488448 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.06 6/249 60436
/proc/meminfo: memFree=128120168/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=497724 memory=488448 CPUtime=3587.25 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 122056 0 0 0 358703 22 0 0 20 0 1 0 50626810 509669376 122112 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 124431 122112 2688 2575 0 121338 0
Current children cumulated CPU time: 3587.25 s
Current children cumulated vsize: 497724 KiB
Current children cumulated memory: 488448 KiB
[startup+3597 s]*
/proc/loadavg: 4.12 4.12 4.06 6/249 60436
/proc/meminfo: memFree=128120420/131382112 swapFree=33010684/33010684
[pid=60248] ppid=60239 vsize=497724 memory=488448 CPUtime=3587.46 cores=4,6
/proc/60248/stat : 60248 (pbsolver) R 60239 60248 60187 0 -1 4194304 122056 0 0 0 358724 22 0 0 20 0 1 0 50626810 509669376 122112 18446744073709551615 4198400 14743177 140735425050000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50712576 140735425059210 140735425059306 140735425059306 140735425064908 0
/proc/60248/statm: 124431 122112 2688 2575 0 121338 0
Current children cumulated CPU time: 3587.46 s
Current children cumulated vsize: 497724 KiB
Current children cumulated memory: 488448 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3587.52
CPU user time (s): 3587.29
CPU system time (s): 0.229142
CPU usage (%): 99.7348
Max. virtual memory (cumulated for all children) (KiB): 497724
Max. memory (cumulated for all children) (KiB): 488448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.29
system time used= 0.229142
maximum resident set size= 488448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122057
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= 39
involuntary context switches= 2809
# summary of solver processes directly reported to runsolver:
# pid: 60248
# total CPU time (s): 3587.52
# total CPU user time (s): 3587.29
# total CPU system time (s): 0.229142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2826 second user time and 32.6199 second system time
The end