Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | SAT | 195 | 3587.05 | 3597.23 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb |
| MD5SUM | 86551de4ee1411a66be87614daaae1c0 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 187 |
| Best CPU time to get the best result obtained on this benchmark | 3585.81 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 481 |
| Total number of constraints | 481 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 481 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 481 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 481 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 481 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-4489011-1751349476.opb>
0.00/0.01 c original problem has 481 variables (481 bin, 0 int, 0 cont) and 481 constraints
0.00/0.01 c problem read in 0.005 seconds
0.00/0.01 o 481
0.00/0.01 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.810000e+02
0.00/0.01 c presolving:
0.00/0.02 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 70 chg coeffs, 0 upgd conss, 0 impls, 127 clqs
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.03 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 70 chg coeffs, 481 upgd conss, 0 impls, 127 clqs
0.00/0.04 c (round 3, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 91 chg sides, 317 chg coeffs, 481 upgd conss, 0 impls, 127 clqs
0.00/0.04 c (round 4, medium) 0 del vars, 137 del conss, 254 add conss, 0 chg bounds, 345 chg sides, 791 chg coeffs, 481 upgd conss, 0 impls, 127 clqs
0.00/0.04 c (round 5, fast) 0 del vars, 178 del conss, 274 add conss, 0 chg bounds, 433 chg sides, 1140 chg coeffs, 481 upgd conss, 0 impls, 127 clqs
0.00/0.06 c (0.1s) probing: 51/481 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.06 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.06 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.07 c presolving (6 rounds: 6 fast, 3 medium, 2 exhaustive):
0.00/0.07 c 0 deleted vars, 178 deleted constraints, 274 added constraints, 0 tightened bounds, 0 added holes, 433 changed sides, 1142 changed coefficients
0.00/0.07 c 0 implications, 127 cliques
0.00/0.07 c presolved problem has 481 variables (481 bin, 0 int, 0 cont) and 577 constraints
0.00/0.07 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.07 c 430 constraints of type <knapsack>
0.00/0.07 c 127 constraints of type <setppc>
0.00/0.07 c 20 constraints of type <logicor>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.05
0.00/0.07 c
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c
0.00/0.07 c # SCIP version 10.0.0
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.07 c limits/time = 3596.995044
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.07 c limits/memory = 27900
0.00/0.07 c
0.00/0.07 c # belongs reading time to solving time?
0.00/0.07 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c timing/reading = TRUE
0.00/0.07 c
0.00/0.07 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.00/0.07 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.07 c reading/opbreader/maxintsize = 47
0.00/0.07 c
0.00/0.07 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.07 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.07 c propagating/genvbounds/timingmask = 0
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c transformed 1/1 original solutions to the transformed problem space
0.00/0.07 c
0.00/0.08 o 227
0.00/0.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.08 c p 0.1s| 1 | 0 | 0 | - | locks| 0 | 481 | 577 | 577 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.270000e+02 | Inf | unknown
0.00/0.08 o 212
0.00/0.08 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 | 481 | 577 | 577 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.120000e+02 | Inf | unknown
1.38/1.44 c 1.4s| 1 | 0 | 10102 | - | 7996k | 0 | 481 | 577 | 577 | 0 | 0 | 0 | 0 | 1.555390e+02 | 2.120000e+02 | 36.30%| unknown
1.58/1.64 c 1.6s| 1 | 0 | 10836 | - | 24M | 0 | 481 | 577 | 641 | 64 | 1 | 0 | 0 | 1.595307e+02 | 2.120000e+02 | 32.89%| unknown
1.78/1.82 c 1.8s| 1 | 0 | 11385 | - | 38M | 0 | 481 | 577 | 702 | 125 | 2 | 0 | 0 | 1.621514e+02 | 2.120000e+02 | 30.74%| unknown
1.88/1.98 c 2.0s| 1 | 0 | 11854 | - | 51M | 0 | 481 | 577 | 756 | 179 | 3 | 0 | 0 | 1.637712e+02 | 2.120000e+02 | 29.45%| unknown
2.09/2.14 c 2.1s| 1 | 0 | 12391 | - | 63M | 0 | 481 | 577 | 815 | 238 | 4 | 0 | 0 | 1.649104e+02 | 2.120000e+02 | 28.55%| unknown
2.18/2.28 c 2.3s| 1 | 0 | 12852 | - | 74M | 0 | 481 | 577 | 864 | 287 | 5 | 0 | 0 | 1.658617e+02 | 2.120000e+02 | 27.82%| unknown
2.38/2.42 c 2.4s| 1 | 0 | 13252 | - | 88M | 0 | 481 | 577 | 911 | 334 | 6 | 0 | 0 | 1.663143e+02 | 2.120000e+02 | 27.47%| unknown
2.47/2.55 c 2.5s| 1 | 0 | 13606 | - | 101M | 0 | 481 | 577 | 946 | 369 | 7 | 0 | 0 | 1.666130e+02 | 2.120000e+02 | 27.24%| unknown
2.58/2.69 c 2.7s| 1 | 0 | 14058 | - | 105M | 0 | 481 | 577 | 990 | 413 | 8 | 0 | 0 | 1.670669e+02 | 2.120000e+02 | 26.90%| unknown
2.78/2.81 c 2.8s| 1 | 0 | 14310 | - | 123M | 0 | 481 | 577 |1017 | 440 | 9 | 0 | 0 | 1.671956e+02 | 2.120000e+02 | 26.80%| unknown
2.88/2.95 c 2.9s| 1 | 0 | 14511 | - | 140M | 0 | 481 | 577 |1046 | 469 | 10 | 0 | 0 | 1.673044e+02 | 2.120000e+02 | 26.72%| unknown
2.99/3.03 c 3.0s| 1 | 0 | 14769 | - | 140M | 0 | 481 | 577 |1064 | 490 | 11 | 0 | 0 | 1.674675e+02 | 2.120000e+02 | 26.59%| unknown
2.99/3.10 c 3.1s| 1 | 0 | 14993 | - | 140M | 0 | 481 | 577 |1091 | 517 | 12 | 0 | 0 | 1.675653e+02 | 2.120000e+02 | 26.52%| unknown
3.09/3.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.09/3.18 c 3.2s| 1 | 0 | 15263 | - | 140M | 0 | 481 | 577 |1118 | 544 | 13 | 0 | 0 | 1.676792e+02 | 2.120000e+02 | 26.43%| unknown
3.17/3.26 c 3.3s| 1 | 0 | 15522 | - | 141M | 0 | 481 | 577 |1144 | 570 | 14 | 0 | 0 | 1.677782e+02 | 2.120000e+02 | 26.36%| unknown
3.27/3.34 c 3.3s| 1 | 0 | 15691 | - | 141M | 0 | 481 | 577 |1164 | 590 | 15 | 0 | 0 | 1.678299e+02 | 2.120000e+02 | 26.32%| unknown
3.37/3.40 c 3.4s| 1 | 0 | 15754 | - | 141M | 0 | 481 | 577 |1174 | 600 | 16 | 0 | 0 | 1.678373e+02 | 2.120000e+02 | 26.31%| unknown
3.37/3.46 c 3.5s| 1 | 0 | 15839 | - | 141M | 0 | 481 | 577 |1111 | 610 | 17 | 0 | 0 | 1.678708e+02 | 2.120000e+02 | 26.29%| unknown
3.47/3.52 c 3.5s| 1 | 0 | 16037 | - | 141M | 0 | 481 | 577 |1120 | 619 | 18 | 0 | 0 | 1.679461e+02 | 2.120000e+02 | 26.23%| unknown
3.47/3.57 c 3.6s| 1 | 0 | 16188 | - | 141M | 0 | 481 | 577 |1130 | 629 | 19 | 0 | 0 | 1.679906e+02 | 2.120000e+02 | 26.20%| unknown
3.57/3.62 c 3.6s| 1 | 0 | 16269 | - | 141M | 0 | 481 | 577 |1138 | 637 | 20 | 0 | 0 | 1.679972e+02 | 2.120000e+02 | 26.19%| unknown
3.57/3.65 c 3.6s| 1 | 0 | 16275 | - | 141M | 0 | 481 | 577 |1139 | 638 | 21 | 0 | 0 | 1.679972e+02 | 2.120000e+02 | 26.19%| unknown
5.77/5.81 c 5.8s| 1 | 2 | 16275 | - | 142M | 0 | 481 | 577 |1139 | 638 | 22 | 0 | 33 | 1.682954e+02 | 2.120000e+02 | 25.97%| unknown
17.13/17.28 o 209
17.13/17.28 c d17.3s| 23 | 24 | 29591 | 605.3 |pscostdi| 22 | 481 | 577 |1083 | 0 | 1 | 0 | 295 | 1.684477e+02 | 2.090000e+02 | 24.07%| unknown
17.13/17.28 o 208
17.13/17.28 c d17.3s| 23 | 24 | 29605 | 605.9 |pscostdi| 22 | 481 | 577 |1083 | 0 | 1 | 0 | 295 | 1.684477e+02 | 2.080000e+02 | 23.48%| unknown
17.13/17.28 o 205
17.13/17.28 c d17.3s| 23 | 24 | 29611 | 606.2 |pscostdi| 22 | 481 | 577 |1083 | 0 | 1 | 0 | 295 | 1.684477e+02 | 2.050000e+02 | 21.70%| unknown
17.13/17.28 o 204
17.13/17.28 c d17.3s| 23 | 24 | 29639 | 607.5 |pscostdi| 22 | 481 | 577 |1083 | 0 | 1 | 0 | 295 | 1.684477e+02 | 2.040000e+02 | 21.11%| unknown
17.13/17.28 o 202
17.13/17.28 c i17.3s| 24 | 23 | 29655 | 581.7 | oneopt| 22 | 481 | 577 |1009 | 880 | 0 | 0 | 295 | 1.684477e+02 | 2.020000e+02 | 19.92%| unknown
25.12/25.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.12/25.22 c 25.2s| 100 | 101 | 85574 | 700.0 | 193M | 33 | 481 | 580 |1041 |1783 | 1 | 6 | 321 | 1.685068e+02 | 2.020000e+02 | 19.88%| unknown
26.52/26.60 o 199
26.52/26.60 c L26.6s| 110 | 111 | 93270 | 706.4 | alns| 33 | 481 | 580 |1119 |1876 | 5 | 6 | 333 | 1.685068e+02 | 1.990000e+02 | 18.10%| unknown
26.52/26.60 o 198
26.52/26.60 c L26.6s| 110 | 111 | 93270 | 706.4 | alns| 33 | 481 | 580 |1119 |1876 | 5 | 6 | 333 | 1.685068e+02 | 1.980000e+02 | 17.50%| unknown
36.00/36.11 c 36.1s| 200 | 201 |200396 | 925.2 | 191M | 33 | 481 | 580 |1029 |2290 | 1 | 10 | 360 | 1.685068e+02 | 1.980000e+02 | 17.50%| unknown
50.87/51.05 c 51.0s| 300 | 301 |352203 |1123.5 | 191M | 36 | 481 | 591 |1045 |3014 | 1 | 23 | 408 | 1.686406e+02 | 1.980000e+02 | 17.41%| unknown
52.45/52.66 o 196
52.45/52.66 c L52.7s| 310 | 311 |364244 |1126.1 |crossove| 36 | 481 | 594 |1118 |3105 | 1 | 26 | 408 | 1.686406e+02 | 1.960000e+02 | 16.22%| unknown
64.22/64.47 c 64.5s| 400 | 401 |502272 |1218.0 | 191M | 37 | 481 | 605 |1140 |3603 | 4 | 41 | 440 | 1.687644e+02 | 1.960000e+02 | 16.14%| unknown
74.90/75.12 c 75.1s| 500 | 501 |615136 |1200.1 | 191M | 37 | 481 | 610 |1100 |3887 | 1 | 51 | 484 | 1.689109e+02 | 1.960000e+02 | 16.04%| unknown
75.19/75.45 o 195
75.19/75.45 c L75.4s| 510 | 511 |618287 |1182.7 |crossove| 37 | 481 | 610 |1091 |3887 | 1 | 51 | 484 | 1.689109e+02 | 1.950000e+02 | 15.45%| unknown
87.77/88.02 c 88.0s| 600 | 601 |735234 |1200.3 | 195M | 37 | 481 | 644 |1128 |4746 | 1 | 85 | 515 | 1.689353e+02 | 1.950000e+02 | 15.43%| unknown
98.53/98.81 c 98.8s| 700 | 701 |846944 |1188.4 | 196M | 37 | 481 | 645 |1120 |5219 | 4 | 89 | 546 | 1.689721e+02 | 1.950000e+02 | 15.40%| unknown
108.90/109.29 c 109s| 800 | 801 |950501 |1169.2 | 197M | 37 | 481 | 657 |1095 |5943 | 1 | 104 | 559 | 1.690412e+02 | 1.950000e+02 | 15.36%| unknown
117.18/117.55 c 118s| 900 | 901 | 1042k|1141.8 | 200M | 37 | 481 | 670 |1047 |6387 | 1 | 117 | 567 | 1.690914e+02 | 1.950000e+02 | 15.32%| unknown
127.25/127.60 c 128s| 1000 | 1001 | 1153k|1138.0 | 204M | 41 | 481 | 678 |1119 |7063 | 1 | 125 | 575 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
132.54/132.90 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
132.54/132.90 c (run 1, node 1049) performing user restart
132.54/132.90 c
132.54/132.90 c (restart) converted 297 cuts from the global cut pool into linear constraints
132.54/132.90 c
132.65/133.06 c presolving:
132.65/133.06 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 17 chg coeffs, 0 upgd conss, 0 impls, 127 clqs
132.65/133.06 c (round 2, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 17 chg coeffs, 0 upgd conss, 0 impls, 127 clqs
132.65/133.06 c (round 3, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 17 chg coeffs, 296 upgd conss, 0 impls, 127 clqs
132.65/133.07 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
132.65/133.07 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 17 changed coefficients
132.65/133.07 c 0 implications, 127 cliques
132.65/133.07 c presolved problem has 481 variables (481 bin, 0 int, 0 cont) and 990 constraints
132.65/133.07 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
132.65/133.07 c 642 constraints of type <knapsack>
132.65/133.07 c 127 constraints of type <setppc>
132.65/133.07 c 221 constraints of type <logicor>
132.65/133.07 c transformed objective value is always integral (scale: 1)
132.65/133.07 c Presolving Time: 0.07
132.65/133.09 c transformed 87/100 original solutions to the transformed problem space
132.65/133.09 c
133.84/134.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
133.84/134.26 c 134s| 1 | 0 | 1227k| - | 191M | 0 | 481 | 990 | 873 | 0 | 0 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
134.04/134.46 c 134s| 1 | 0 | 1228k| - | 192M | 0 | 481 | 990 | 921 | 48 | 1 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
134.14/134.58 c 135s| 1 | 0 | 1229k| - | 194M | 0 | 481 | 990 | 960 | 87 | 2 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
134.24/134.67 c 135s| 1 | 0 | 1229k| - | 197M | 0 | 481 | 990 | 982 | 109 | 3 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
134.33/134.77 c 135s| 1 | 0 | 1229k| - | 202M | 0 | 481 | 990 | 994 | 121 | 4 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
134.43/134.87 c 135s| 1 | 0 | 1229k| - | 205M | 0 | 481 | 990 |1008 | 135 | 5 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
134.53/135.00 c 135s| 1 | 0 | 1229k| - | 211M | 0 | 481 | 990 |1020 | 147 | 6 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
134.74/135.11 c 135s| 1 | 0 | 1230k| - | 209M | 0 | 481 | 990 |1029 | 156 | 7 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
134.83/135.23 c 135s| 1 | 0 | 1230k| - | 209M | 0 | 481 | 990 |1032 | 159 | 8 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
134.93/135.37 c 135s| 1 | 0 | 1230k| - | 207M | 0 | 481 | 990 |1036 | 163 | 9 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
135.13/135.50 c 136s| 1 | 0 | 1230k| - | 210M | 0 | 481 | 990 |1041 | 168 | 10 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
135.13/135.57 c 136s| 1 | 0 | 1230k| - | 210M | 0 | 481 | 990 |1042 | 169 | 11 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
135.23/135.65 c 136s| 1 | 0 | 1230k| - | 210M | 0 | 481 | 990 |1049 | 176 | 12 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
135.33/135.72 c 136s| 1 | 0 | 1230k| - | 210M | 0 | 481 | 990 |1054 | 181 | 13 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
135.43/135.80 c 136s| 1 | 0 | 1230k| - | 210M | 0 | 481 | 990 |1004 | 183 | 14 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
135.43/135.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
135.43/135.88 c 136s| 1 | 0 | 1230k| - | 210M | 0 | 481 | 990 |1005 | 184 | 15 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
135.53/135.96 c 136s| 1 | 0 | 1230k| - | 210M | 0 | 481 | 990 |1008 | 187 | 16 | 144 | 576 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
140.51/140.92 c 141s| 1 | 2 | 1237k| - | 210M | 0 | 481 | 992 |1008 | 187 | 16 | 146 | 622 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
163.36/163.84 c 164s| 100 | 101 | 1326k|1132.1 | 289M | 44 | 481 | 993 |1066 | 741 | 1 | 149 | 809 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
172.55/173.10 c 173s| 200 | 201 | 1381k|1085.1 | 308M | 65 | 481 | 993 |1106 |1041 | 1 | 154 | 848 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
175.43/175.93 c 176s| 300 | 301 | 1405k|1022.4 | 308M | 92 | 481 | 993 |1111 |1126 | 1 | 156 | 872 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
190.50/191.08 c 191s| 400 | 401 | 1506k|1021.5 | 308M | 92 | 481 |1007 | 966 |1643 | 1 | 170 | 914 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
203.35/204.00 c 204s| 500 | 501 | 1584k|1005.9 | 317M | 92 | 481 |1008 | 982 |2258 | 1 | 172 | 942 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
217.01/217.61 c 218s| 600 | 601 | 1663k| 993.0 | 318M | 92 | 481 |1008 | 985 |2800 | 1 | 174 | 976 | 1.691449e+02 | 1.950000e+02 | 15.29%| unknown
229.59/230.26 c 230s| 700 | 701 | 1741k| 980.4 | 318M | 92 | 481 |1017 | 987 |3383 | 1 | 184 |1016 | 1.691807e+02 | 1.950000e+02 | 15.26%| unknown
243.15/243.90 c 244s| 800 | 801 | 1816k| 968.1 | 321M | 92 | 481 |1020 |1007 |4006 | 1 | 188 |1049 | 1.692729e+02 | 1.950000e+02 | 15.20%| unknown
256.21/256.98 c 257s| 900 | 901 | 1889k| 955.9 | 321M | 92 | 481 |1021 |1002 |4615 | 1 | 191 |1086 | 1.693191e+02 | 1.950000e+02 | 15.17%| unknown
271.57/272.33 c 272s| 1000 | 1001 | 1989k| 957.9 | 322M | 92 | 481 |1023 |1001 |5363 | 1 | 193 |1125 | 1.693393e+02 | 1.950000e+02 | 15.15%| unknown
285.72/286.55 c 287s| 1100 | 1101 | 2070k| 951.4 | 322M | 92 | 481 |1027 |1005 |6125 | 1 | 201 |1151 | 1.693686e+02 | 1.950000e+02 | 15.13%| unknown
297.89/298.71 c 299s| 1200 | 1201 | 2157k| 947.5 | 323M | 92 | 481 |1027 |1010 |6763 | 1 | 201 |1155 | 1.693973e+02 | 1.950000e+02 | 15.11%| unknown
310.27/311.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
310.27/311.18 c 311s| 1300 | 1301 | 2235k| 940.4 | 323M | 92 | 481 |1028 |1003 |7494 | 1 | 202 |1160 | 1.694216e+02 | 1.950000e+02 | 15.10%| unknown
322.53/323.40 c 323s| 1400 | 1401 | 2318k| 935.9 | 323M | 92 | 481 |1030 |1004 |8193 | 1 | 209 |1163 | 1.694838e+02 | 1.950000e+02 | 15.06%| unknown
337.69/338.63 c 339s| 1500 | 1501 | 2418k| 938.6 | 323M | 92 | 481 |1023 |1033 |8911 | 1 | 215 |1163 | 1.695137e+02 | 1.950000e+02 | 15.03%| unknown
348.86/349.89 c 350s| 1600 | 1601 | 2489k| 929.8 | 323M | 92 | 481 |1018 |1001 |9622 | 1 | 216 |1166 | 1.695352e+02 | 1.950000e+02 | 15.02%| unknown
360.52/361.54 c 362s| 1700 | 1701 | 2564k| 923.2 | 324M | 92 | 481 |1008 |1001 | 10k| 1 | 223 |1167 | 1.695647e+02 | 1.950000e+02 | 15.00%| unknown
373.89/374.97 c 375s| 1800 | 1801 | 2648k| 920.3 | 327M | 92 | 481 |1002 |1006 | 10k| 1 | 226 |1184 | 1.695927e+02 | 1.950000e+02 | 14.98%| unknown
387.75/388.87 c 389s| 1900 | 1901 | 2734k| 918.3 | 328M | 92 | 481 |1002 |1019 | 11k| 1 | 234 |1215 | 1.696170e+02 | 1.950000e+02 | 14.96%| unknown
401.71/402.82 c 403s| 2000 | 2001 | 2821k| 916.7 | 328M | 92 | 481 | 999 |1036 | 12k| 1 | 237 |1231 | 1.696391e+02 | 1.950000e+02 | 14.95%| unknown
414.08/415.24 c 415s| 2100 | 2101 | 2909k| 915.6 | 329M | 92 | 481 | 998 |1024 | 12k| 1 | 240 |1239 | 1.696571e+02 | 1.950000e+02 | 14.94%| unknown
426.55/427.77 c 428s| 2200 | 2201 | 2992k| 912.9 | 329M | 92 | 481 | 993 |1016 | 13k| 1 | 243 |1240 | 1.696862e+02 | 1.950000e+02 | 14.92%| unknown
437.93/439.18 c 439s| 2300 | 2301 | 3068k| 908.3 | 333M | 92 | 481 | 992 |1016 | 14k| 1 | 248 |1242 | 1.697075e+02 | 1.950000e+02 | 14.90%| unknown
450.49/451.76 c 452s| 2400 | 2401 | 3159k| 908.3 | 333M | 92 | 481 | 996 |1003 | 15k| 1 | 258 |1244 | 1.697248e+02 | 1.950000e+02 | 14.89%| unknown
461.46/462.74 c 463s| 2500 | 2501 | 3229k| 902.7 | 333M | 92 | 481 | 997 |1019 | 15k| 1 | 263 |1247 | 1.697396e+02 | 1.950000e+02 | 14.88%| unknown
473.13/474.48 c 474s| 2600 | 2601 | 3307k| 899.1 | 334M | 92 | 481 | 997 |1016 | 16k| 1 | 270 |1249 | 1.697570e+02 | 1.950000e+02 | 14.87%| unknown
485.89/487.29 c 487s| 2700 | 2701 | 3394k| 898.4 | 334M | 92 | 481 |1003 |1017 | 17k| 1 | 280 |1254 | 1.697852e+02 | 1.950000e+02 | 14.85%| unknown
499.97/501.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
499.97/501.35 c 501s| 2800 | 2801 | 3476k| 896.2 | 335M | 92 | 481 |1005 |1032 | 18k| 1 | 284 |1283 | 1.697955e+02 | 1.950000e+02 | 14.84%| unknown
511.75/513.18 c 513s| 2900 | 2901 | 3553k| 893.2 | 335M | 92 | 481 |1006 |1024 | 18k| 1 | 287 |1299 | 1.698106e+02 | 1.950000e+02 | 14.83%| unknown
524.01/525.43 c 525s| 3000 | 3001 | 3631k| 890.3 | 335M | 92 | 481 |1003 |1020 | 19k| 1 | 296 |1307 | 1.698255e+02 | 1.950000e+02 | 14.82%| unknown
536.69/538.11 c 538s| 3100 | 3101 | 3714k| 888.9 | 336M | 92 | 481 | 998 |1027 | 20k| 1 | 299 |1313 | 1.698382e+02 | 1.950000e+02 | 14.82%| unknown
548.74/550.24 c 550s| 3200 | 3201 | 3798k| 887.7 | 336M | 92 | 481 | 996 |1019 | 21k| 1 | 308 |1316 | 1.698588e+02 | 1.950000e+02 | 14.80%| unknown
561.41/562.95 c 563s| 3300 | 3301 | 3878k| 885.8 | 336M | 92 | 481 | 994 |1036 | 21k| 1 | 312 |1318 | 1.698735e+02 | 1.950000e+02 | 14.79%| unknown
572.78/574.37 c 574s| 3400 | 3401 | 3960k| 884.3 | 337M | 92 | 481 | 992 |1020 | 22k| 1 | 317 |1318 | 1.698859e+02 | 1.950000e+02 | 14.78%| unknown
584.15/585.72 c 586s| 3500 | 3501 | 4040k| 882.5 | 337M | 92 | 481 | 995 |1022 | 23k| 1 | 323 |1319 | 1.698974e+02 | 1.950000e+02 | 14.78%| unknown
596.32/597.99 c 598s| 3600 | 3601 | 4122k| 881.0 | 337M | 92 | 481 | 993 |1023 | 24k| 1 | 329 |1323 | 1.699033e+02 | 1.950000e+02 | 14.77%| unknown
610.09/611.72 c 612s| 3700 | 3701 | 4210k| 881.0 | 343M | 92 | 481 | 987 |1025 | 25k| 1 | 339 |1340 | 1.699161e+02 | 1.950000e+02 | 14.76%| unknown
622.55/624.21 c 624s| 3800 | 3801 | 4296k| 880.6 | 343M | 92 | 481 | 976 |1040 | 25k| 1 | 342 |1353 | 1.699335e+02 | 1.950000e+02 | 14.75%| unknown
633.73/635.42 c 635s| 3900 | 3901 | 4375k| 878.8 | 343M | 92 | 481 | 977 |1018 | 26k| 1 | 346 |1368 | 1.699600e+02 | 1.950000e+02 | 14.73%| unknown
644.60/646.33 c 646s| 4000 | 4001 | 4450k| 876.3 | 343M | 92 | 481 | 978 |1026 | 27k| 1 | 351 |1372 | 1.699782e+02 | 1.950000e+02 | 14.72%| unknown
654.77/656.58 c 657s| 4100 | 4101 | 4521k| 873.0 | 343M | 92 | 481 | 977 |1043 | 27k| 1 | 360 |1377 | 1.699928e+02 | 1.950000e+02 | 14.71%| unknown
667.72/669.52 c 670s| 4200 | 4201 | 4606k| 872.5 | 344M | 92 | 481 | 974 |1021 | 28k| 1 | 366 |1386 | 1.700018e+02 | 1.950000e+02 | 14.70%| unknown
678.49/680.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
678.49/680.39 c 680s| 4300 | 4301 | 4677k| 869.6 | 344M | 92 | 481 | 970 |1038 | 29k| 1 | 368 |1387 | 1.700178e+02 | 1.950000e+02 | 14.69%| unknown
689.27/691.19 c 691s| 4400 | 4401 | 4764k| 869.5 | 344M | 92 | 481 | 968 |1035 | 30k| 1 | 374 |1392 | 1.700290e+02 | 1.950000e+02 | 14.69%| unknown
699.82/701.79 c 702s| 4500 | 4501 | 4851k| 869.6 | 344M | 92 | 481 | 969 |1031 | 31k| 1 | 381 |1394 | 1.700346e+02 | 1.950000e+02 | 14.68%| unknown
710.29/712.26 c 712s| 4600 | 4601 | 4930k| 868.2 | 344M | 92 | 481 | 972 |1031 | 31k| 1 | 385 |1397 | 1.700433e+02 | 1.950000e+02 | 14.68%| unknown
721.66/723.63 c 724s| 4700 | 4701 | 5016k| 868.0 | 345M | 92 | 481 | 967 |1093 | 32k| 4 | 388 |1397 | 1.700534e+02 | 1.950000e+02 | 14.67%| unknown
732.72/734.75 c 735s| 4800 | 4801 | 5095k| 866.7 | 345M | 92 | 481 | 966 |1028 | 33k| 1 | 393 |1397 | 1.700611e+02 | 1.950000e+02 | 14.66%| unknown
741.79/743.84 c 744s| 4900 | 4901 | 5169k| 864.5 | 346M | 92 | 481 | 965 |1074 | 34k| 1 | 396 |1399 | 1.700681e+02 | 1.950000e+02 | 14.66%| unknown
754.45/756.59 c 757s| 5000 | 5001 | 5251k| 863.7 | 346M | 92 | 481 | 965 |1063 | 34k| 1 | 399 |1401 | 1.700826e+02 | 1.950000e+02 | 14.65%| unknown
763.53/765.62 c 766s| 5100 | 5101 | 5324k| 861.6 | 346M | 92 | 481 | 966 |1028 | 35k| 1 | 403 |1402 | 1.700906e+02 | 1.950000e+02 | 14.64%| unknown
774.90/777.08 c 777s| 5200 | 5201 | 5415k| 862.4 | 346M | 92 | 481 | 967 |1025 | 36k| 1 | 409 |1404 | 1.701058e+02 | 1.950000e+02 | 14.63%| unknown
786.97/789.20 c 789s| 5300 | 5301 | 5500k| 862.1 | 346M | 92 | 481 | 969 |1024 | 37k| 1 | 413 |1404 | 1.701191e+02 | 1.950000e+02 | 14.63%| unknown
799.71/801.90 c 802s| 5400 | 5401 | 5604k| 864.9 | 347M | 92 | 481 | 971 |1044 | 38k| 1 | 417 |1409 | 1.701261e+02 | 1.950000e+02 | 14.62%| unknown
810.48/812.71 c 813s| 5500 | 5501 | 5681k| 863.5 | 347M | 92 | 481 | 967 |1026 | 38k| 1 | 420 |1421 | 1.701294e+02 | 1.950000e+02 | 14.62%| unknown
821.94/824.25 c 824s| 5600 | 5601 | 5760k| 862.4 | 347M | 92 | 481 | 967 |1015 | 39k| 1 | 420 |1427 | 1.701365e+02 | 1.950000e+02 | 14.61%| unknown
833.90/836.23 c 836s| 5700 | 5701 | 5862k| 864.7 | 347M | 92 | 481 | 965 |1037 | 40k| 1 | 423 |1436 | 1.701425e+02 | 1.950000e+02 | 14.61%| unknown
844.47/846.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
844.47/846.89 c 847s| 5800 | 5801 | 5944k| 864.1 | 347M | 92 | 481 | 970 |1039 | 41k| 1 | 431 |1437 | 1.701505e+02 | 1.950000e+02 | 14.60%| unknown
853.65/856.03 c 856s| 5900 | 5901 | 6012k| 861.4 | 347M | 92 | 481 | 970 |1063 | 41k| 1 | 435 |1438 | 1.701600e+02 | 1.950000e+02 | 14.60%| unknown
862.51/864.98 c 865s| 6000 | 6001 | 6086k| 859.8 | 348M | 92 | 481 | 972 |1058 | 42k| 1 | 443 |1441 | 1.701732e+02 | 1.950000e+02 | 14.59%| unknown
873.47/875.95 c 876s| 6100 | 6101 | 6181k| 860.9 | 348M | 92 | 481 | 973 |1032 | 43k| 1 | 447 |1442 | 1.701812e+02 | 1.950000e+02 | 14.58%| unknown
884.44/887.00 c 887s| 6200 | 6201 | 6258k| 859.7 | 348M | 92 | 481 | 978 |1038 | 44k| 1 | 455 |1442 | 1.701938e+02 | 1.950000e+02 | 14.58%| unknown
896.10/898.68 c 899s| 6300 | 6301 | 6362k| 862.2 | 349M | 92 | 481 | 978 |1073 | 44k| 1 | 459 |1444 | 1.702016e+02 | 1.950000e+02 | 14.57%| unknown
906.48/909.09 c 909s| 6400 | 6401 | 6440k| 861.0 | 349M | 92 | 481 | 981 |1036 | 45k| 1 | 467 |1444 | 1.702176e+02 | 1.950000e+02 | 14.56%| unknown
916.74/919.35 c 919s| 6500 | 6501 | 6512k| 859.1 | 349M | 92 | 481 | 978 |1078 | 46k| 1 | 470 |1466 | 1.702268e+02 | 1.950000e+02 | 14.55%| unknown
928.00/930.64 c 931s| 6600 | 6601 | 6592k| 858.5 | 349M | 92 | 481 | 978 |1008 | 47k| 1 | 478 |1477 | 1.702347e+02 | 1.950000e+02 | 14.55%| unknown
937.97/940.63 c 941s| 6700 | 6701 | 6665k| 856.7 | 349M | 92 | 481 | 986 |1030 | 47k| 1 | 489 |1484 | 1.702399e+02 | 1.950000e+02 | 14.54%| unknown
946.94/949.65 c 950s| 6800 | 6801 | 6734k| 854.6 | 349M | 92 | 481 | 985 |1072 | 48k| 1 | 495 |1488 | 1.702480e+02 | 1.950000e+02 | 14.54%| unknown
958.00/960.74 c 961s| 6900 | 6901 | 6817k| 854.3 | 349M | 92 | 481 | 985 |1021 | 49k| 1 | 499 |1492 | 1.702579e+02 | 1.950000e+02 | 14.53%| unknown
967.77/970.55 c 971s| 7000 | 7001 | 6892k| 853.0 | 349M | 92 | 481 | 984 |1036 | 50k| 1 | 500 |1497 | 1.702676e+02 | 1.950000e+02 | 14.53%| unknown
977.54/980.32 c 980s| 7100 | 7101 | 6988k| 854.3 | 349M | 92 | 481 | 989 |1017 | 50k| 1 | 505 |1499 | 1.702821e+02 | 1.950000e+02 | 14.52%| unknown
986.81/989.69 c 990s| 7200 | 7201 | 7069k| 853.8 | 349M | 92 | 481 | 988 |1034 | 51k| 1 | 509 |1503 | 1.702889e+02 | 1.950000e+02 | 14.51%| unknown
995.08/997.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
995.08/997.91 c 998s| 7300 | 7301 | 7141k| 852.2 | 349M | 92 | 481 | 989 |1105 | 52k| 5 | 513 |1503 | 1.702940e+02 | 1.950000e+02 | 14.51%| unknown
1004.75/1007.61 c 1008s| 7400 | 7401 | 7217k| 851.2 | 349M | 92 | 481 | 997 |1027 | 53k| 1 | 525 |1505 | 1.703029e+02 | 1.950000e+02 | 14.50%| unknown
1013.33/1016.23 c 1016s| 7500 | 7501 | 7293k| 850.0 | 349M | 92 | 481 |1003 |1066 | 53k| 1 | 532 |1505 | 1.703072e+02 | 1.950000e+02 | 14.50%| unknown
1025.99/1028.90 c 1029s| 7600 | 7601 | 7405k| 853.2 | 350M | 92 | 481 |1002 |1045 | 54k| 1 | 537 |1509 | 1.703118e+02 | 1.950000e+02 | 14.50%| unknown
1037.95/1040.99 c 1041s| 7700 | 7701 | 7502k| 854.5 | 351M | 92 | 481 |1006 |1047 | 55k| 1 | 545 |1527 | 1.703178e+02 | 1.950000e+02 | 14.49%| unknown
1049.21/1052.25 c 1052s| 7800 | 7801 | 7606k| 856.6 | 351M | 92 | 481 |1007 |1068 | 56k| 1 | 553 |1531 | 1.703278e+02 | 1.950000e+02 | 14.49%| unknown
1060.39/1063.43 c 1063s| 7900 | 7901 | 7688k| 856.2 | 352M | 92 | 481 |1006 |1029 | 56k| 1 | 556 |1541 | 1.703350e+02 | 1.950000e+02 | 14.48%| unknown
1071.65/1074.74 c 1075s| 8000 | 8001 | 7774k| 856.2 | 352M | 92 | 481 |1008 |1068 | 57k| 1 | 569 |1543 | 1.703402e+02 | 1.950000e+02 | 14.48%| unknown
1081.52/1084.64 c 1085s| 8100 | 8101 | 7870k| 857.4 | 352M | 92 | 481 |1010 |1022 | 58k| 1 | 574 |1545 | 1.703463e+02 | 1.950000e+02 | 14.47%| unknown
1090.69/1093.83 c 1094s| 8200 | 8201 | 7955k| 857.3 | 353M | 92 | 481 |1011 |1032 | 59k| 1 | 580 |1550 | 1.703541e+02 | 1.950000e+02 | 14.47%| unknown
1098.17/1101.33 c 1101s| 8300 | 8301 | 8026k| 855.7 | 353M | 92 | 481 |1015 |1026 | 59k| 1 | 586 |1552 | 1.703593e+02 | 1.950000e+02 | 14.46%| unknown
1107.85/1111.08 c 1111s| 8400 | 8401 | 8104k| 855.0 | 353M | 92 | 481 |1015 |1072 | 60k| 1 | 589 |1555 | 1.703660e+02 | 1.950000e+02 | 14.46%| unknown
1118.31/1121.55 c 1122s| 8500 | 8501 | 8204k| 856.4 | 354M | 92 | 481 |1014 |1057 | 61k| 1 | 592 |1557 | 1.703744e+02 | 1.950000e+02 | 14.45%| unknown
1128.79/1132.03 c 1132s| 8600 | 8601 | 8282k| 855.6 | 354M | 92 | 481 |1010 |1073 | 62k| 1 | 596 |1559 | 1.703817e+02 | 1.950000e+02 | 14.45%| unknown
1138.15/1141.47 c 1141s| 8700 | 8701 | 8363k| 855.2 | 354M | 92 | 481 |1016 |1080 | 62k| 1 | 605 |1564 | 1.703873e+02 | 1.950000e+02 | 14.45%| unknown
1147.83/1151.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1147.83/1151.12 c 1151s| 8800 | 8801 | 8444k| 854.7 | 355M | 92 | 481 |1016 |1091 | 63k| 5 | 607 |1569 | 1.703938e+02 | 1.950000e+02 | 14.44%| unknown
1155.80/1159.17 c 1159s| 8900 | 8901 | 8508k| 852.5 | 355M | 92 | 481 |1017 |1070 | 64k| 1 | 611 |1579 | 1.704006e+02 | 1.950000e+02 | 14.44%| unknown
1165.16/1168.59 c 1169s| 9000 | 9001 | 8589k| 852.1 | 355M | 92 | 481 |1023 |1028 | 65k| 1 | 620 |1589 | 1.704053e+02 | 1.950000e+02 | 14.43%| unknown
1174.43/1177.84 c 1178s| 9100 | 9101 | 8673k| 852.1 | 355M | 92 | 481 |1024 |1089 | 65k| 1 | 626 |1594 | 1.704133e+02 | 1.950000e+02 | 14.43%| unknown
1182.81/1186.21 c 1186s| 9200 | 9201 | 8748k| 851.0 | 355M | 92 | 481 |1033 |1026 | 66k| 1 | 637 |1596 | 1.704175e+02 | 1.950000e+02 | 14.42%| unknown
1190.78/1194.20 c 1194s| 9300 | 9301 | 8817k| 849.4 | 356M | 92 | 481 |1039 |1057 | 67k| 1 | 644 |1602 | 1.704238e+02 | 1.950000e+02 | 14.42%| unknown
1201.66/1205.11 c 1205s| 9400 | 9401 | 8898k| 849.1 | 356M | 92 | 481 |1034 |1027 | 67k| 1 | 646 |1602 | 1.704314e+02 | 1.950000e+02 | 14.42%| unknown
1210.53/1214.08 c 1214s| 9500 | 9501 | 8974k| 848.2 | 356M | 92 | 481 |1038 |1059 | 68k| 1 | 651 |1603 | 1.704359e+02 | 1.950000e+02 | 14.41%| unknown
1220.89/1224.47 c 1224s| 9600 | 9601 | 9070k| 849.3 | 356M | 92 | 481 |1036 |1051 | 69k| 1 | 656 |1606 | 1.704392e+02 | 1.950000e+02 | 14.41%| unknown
1229.96/1233.59 c 1234s| 9700 | 9701 | 9141k| 848.0 | 356M | 92 | 481 |1033 |1027 | 70k| 1 | 657 |1608 | 1.704458e+02 | 1.950000e+02 | 14.41%| unknown
1239.73/1243.31 c 1243s| 9800 | 9801 | 9221k| 847.5 | 356M | 92 | 481 |1038 |1027 | 70k| 1 | 670 |1608 | 1.704509e+02 | 1.950000e+02 | 14.40%| unknown
1246.90/1250.54 c 1251s| 9900 | 9901 | 9289k| 846.0 | 356M | 92 | 481 |1035 |1070 | 71k| 1 | 672 |1610 | 1.704579e+02 | 1.950000e+02 | 14.40%| unknown
1256.87/1260.51 c 1261s| 10000 | 10001 | 9362k| 845.0 | 356M | 92 | 481 |1033 |1065 | 72k| 1 | 682 |1614 | 1.704621e+02 | 1.950000e+02 | 14.39%| unknown
1265.64/1269.35 c 1269s| 10100 | 10101 | 9440k| 844.4 | 357M | 92 | 481 |1034 |1073 | 73k| 1 | 689 |1623 | 1.704668e+02 | 1.950000e+02 | 14.39%| unknown
1274.33/1278.07 c 1278s| 10200 | 10201 | 9510k| 843.1 | 357M | 92 | 481 |1033 |1085 | 73k| 1 | 695 |1633 | 1.704746e+02 | 1.950000e+02 | 14.39%| unknown
1283.18/1286.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1283.18/1286.95 c 1287s| 10300 | 10301 | 9587k| 842.4 | 357M | 92 | 481 |1025 |1077 | 74k| 1 | 697 |1637 | 1.704788e+02 | 1.950000e+02 | 14.38%| unknown
1290.37/1294.18 c 1294s| 10400 | 10401 | 9656k| 841.1 | 357M | 92 | 481 |1021 |1068 | 75k| 1 | 700 |1641 | 1.704856e+02 | 1.950000e+02 | 14.38%| unknown
1298.25/1302.10 c 1302s| 10500 | 10501 | 9724k| 839.7 | 357M | 92 | 481 |1020 |1101 | 75k| 4 | 705 |1643 | 1.704930e+02 | 1.950000e+02 | 14.37%| unknown
1305.41/1309.21 c 1309s| 10600 | 10601 | 9791k| 838.2 | 357M | 92 | 481 |1017 |1065 | 76k| 1 | 711 |1644 | 1.704965e+02 | 1.950000e+02 | 14.37%| unknown
1314.58/1318.41 c 1318s| 10700 | 10701 | 9864k| 837.4 | 357M | 92 | 481 |1011 |1078 | 77k| 1 | 716 |1647 | 1.704998e+02 | 1.950000e+02 | 14.37%| unknown
1324.17/1328.03 c 1328s| 10800 | 10801 | 9961k| 838.5 | 357M | 92 | 481 |1008 |1025 | 77k| 1 | 719 |1654 | 1.705042e+02 | 1.950000e+02 | 14.37%| unknown
1333.14/1337.01 c 1337s| 10900 | 10901 | 10040k| 838.0 | 357M | 92 | 481 |1011 |1106 | 78k| 4 | 726 |1659 | 1.705077e+02 | 1.950000e+02 | 14.36%| unknown
1341.30/1345.26 c 1345s| 11000 | 11001 | 10124k| 838.1 | 357M | 92 | 481 |1010 |1054 | 79k| 1 | 728 |1660 | 1.705102e+02 | 1.950000e+02 | 14.36%| unknown
1350.18/1354.14 c 1354s| 11100 | 11101 | 10201k| 837.5 | 357M | 92 | 481 |1009 |1023 | 79k| 1 | 737 |1661 | 1.705170e+02 | 1.950000e+02 | 14.36%| unknown
1359.34/1363.31 c 1363s| 11200 | 11201 | 10297k| 838.5 | 357M | 92 | 481 |1006 |1068 | 80k| 1 | 740 |1662 | 1.705213e+02 | 1.950000e+02 | 14.36%| unknown
1368.13/1372.13 c 1372s| 11300 | 11301 | 10377k| 838.2 | 358M | 92 | 481 |1009 |1066 | 81k| 1 | 746 |1663 | 1.705250e+02 | 1.950000e+02 | 14.35%| unknown
1377.88/1381.96 c 1382s| 11400 | 11401 | 10455k| 837.7 | 358M | 92 | 481 |1007 |1086 | 81k| 1 | 749 |1673 | 1.705305e+02 | 1.950000e+02 | 14.35%| unknown
1385.76/1389.83 c 1390s| 11500 | 11501 | 10527k| 836.8 | 358M | 92 | 481 |1002 |1073 | 82k| 1 | 752 |1677 | 1.705362e+02 | 1.950000e+02 | 14.35%| unknown
1393.05/1397.12 c 1397s| 11600 | 11601 | 10600k| 835.9 | 358M | 92 | 481 |1001 |1081 | 83k| 4 | 757 |1681 | 1.705421e+02 | 1.950000e+02 | 14.34%| unknown
1401.21/1405.36 c 1405s| 11700 | 11701 | 10679k| 835.6 | 358M | 92 | 481 | 998 |1076 | 83k| 1 | 761 |1683 | 1.705478e+02 | 1.950000e+02 | 14.34%| unknown
1409.68/1413.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1409.68/1413.82 c 1414s| 11800 | 11801 | 10752k| 834.8 | 358M | 92 | 481 |1002 |1074 | 84k| 1 | 767 |1688 | 1.705531e+02 | 1.950000e+02 | 14.33%| unknown
1418.25/1422.43 c 1422s| 11900 | 11901 | 10828k| 834.2 | 358M | 92 | 481 |1003 |1073 | 85k| 4 | 775 |1693 | 1.705573e+02 | 1.950000e+02 | 14.33%| unknown
1424.94/1429.12 c 1429s| 12000 | 12001 | 10892k| 832.7 | 358M | 92 | 481 |1001 |1073 | 85k| 1 | 777 |1695 | 1.705614e+02 | 1.950000e+02 | 14.33%| unknown
1433.30/1437.51 c 1438s| 12100 | 12101 | 10963k| 831.8 | 358M | 92 | 481 |1000 |1013 | 86k| 1 | 783 |1696 | 1.705642e+02 | 1.950000e+02 | 14.33%| unknown
1441.28/1445.51 c 1446s| 12200 | 12201 | 11037k| 831.1 | 358M | 92 | 481 | 996 |1091 | 87k| 1 | 784 |1703 | 1.705678e+02 | 1.950000e+02 | 14.32%| unknown
1448.77/1453.07 c 1453s| 12300 | 12301 | 11104k| 829.9 | 358M | 92 | 481 | 995 |1032 | 87k| 1 | 789 |1703 | 1.705708e+02 | 1.950000e+02 | 14.32%| unknown
1458.62/1462.92 c 1463s| 12400 | 12401 | 11191k| 830.1 | 358M | 92 | 481 | 988 |1033 | 88k| 1 | 791 |1704 | 1.705750e+02 | 1.950000e+02 | 14.32%| unknown
1467.40/1471.75 c 1472s| 12500 | 12501 | 11268k| 829.7 | 358M | 92 | 481 | 992 |1073 | 89k| 1 | 800 |1706 | 1.705807e+02 | 1.950000e+02 | 14.32%| unknown
1476.07/1480.46 c 1480s| 12600 | 12601 | 11348k| 829.5 | 359M | 92 | 481 | 988 |1062 | 89k| 1 | 806 |1708 | 1.705843e+02 | 1.950000e+02 | 14.31%| unknown
1482.94/1487.38 c 1487s| 12700 | 12701 | 11413k| 828.2 | 359M | 92 | 481 | 984 |1069 | 90k| 1 | 808 |1711 | 1.705875e+02 | 1.950000e+02 | 14.31%| unknown
1491.42/1495.84 c 1496s| 12800 | 12801 | 11485k| 827.4 | 359M | 92 | 481 | 987 |1071 | 91k| 1 | 811 |1716 | 1.705925e+02 | 1.950000e+02 | 14.31%| unknown
1498.79/1503.20 c 1503s| 12900 | 12901 | 11561k| 827.0 | 359M | 92 | 481 | 985 |1068 | 91k| 1 | 815 |1723 | 1.705986e+02 | 1.950000e+02 | 14.30%| unknown
1507.87/1512.34 c 1512s| 13000 | 13001 | 11633k| 826.2 | 359M | 92 | 481 | 981 |1075 | 92k| 1 | 820 |1733 | 1.706037e+02 | 1.950000e+02 | 14.30%| unknown
1514.74/1519.28 c 1519s| 13100 | 13101 | 11700k| 825.1 | 359M | 92 | 481 | 976 |1099 | 93k| 1 | 825 |1740 | 1.706067e+02 | 1.950000e+02 | 14.30%| unknown
1522.32/1526.80 c 1527s| 13200 | 13201 | 11772k| 824.3 | 359M | 92 | 481 | 975 |1074 | 93k| 1 | 829 |1743 | 1.706100e+02 | 1.950000e+02 | 14.30%| unknown
1529.40/1533.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1529.40/1533.99 c 1534s| 13300 | 13301 | 11841k| 823.4 | 359M | 92 | 481 | 975 |1096 | 94k| 4 | 833 |1745 | 1.706120e+02 | 1.950000e+02 | 14.29%| unknown
1538.97/1543.55 c 1544s| 13400 | 13401 | 11922k| 823.3 | 360M | 92 | 481 | 972 |1100 | 95k| 4 | 836 |1751 | 1.706159e+02 | 1.950000e+02 | 14.29%| unknown
1546.15/1550.71 c 1551s| 13500 | 13501 | 11992k| 822.5 | 360M | 92 | 481 | 971 |1076 | 95k| 1 | 836 |1752 | 1.706198e+02 | 1.950000e+02 | 14.29%| unknown
1552.82/1557.41 c 1557s| 13600 | 13601 | 12063k| 821.7 | 360M | 92 | 481 | 971 |1044 | 96k| 1 | 840 |1754 | 1.706256e+02 | 1.950000e+02 | 14.29%| unknown
1561.99/1566.63 c 1567s| 13700 | 13701 | 12153k| 822.2 | 360M | 92 | 481 | 970 |1082 | 97k| 1 | 843 |1756 | 1.706274e+02 | 1.950000e+02 | 14.28%| unknown
1572.26/1576.92 c 1577s| 13800 | 13801 | 12253k| 823.4 | 360M | 92 | 481 | 966 |1039 | 97k| 1 | 846 |1759 | 1.706323e+02 | 1.950000e+02 | 14.28%| unknown
1580.04/1584.73 c 1585s| 13900 | 13901 | 12322k| 822.5 | 360M | 92 | 481 | 963 |1068 | 98k| 1 | 852 |1759 | 1.706373e+02 | 1.950000e+02 | 14.28%| unknown
1587.21/1592.00 c 1592s| 14000 | 14001 | 12394k| 821.9 | 360M | 92 | 481 | 965 |1061 | 99k| 1 | 859 |1760 | 1.706403e+02 | 1.950000e+02 | 14.28%| unknown
1594.99/1599.75 c 1600s| 14100 | 14101 | 12472k| 821.6 | 360M | 92 | 481 | 966 |1055 | 99k| 1 | 865 |1761 | 1.706438e+02 | 1.950000e+02 | 14.27%| unknown
1602.67/1607.46 c 1607s| 14200 | 14201 | 12539k| 820.6 | 360M | 92 | 481 | 966 |1110 | 100k| 3 | 866 |1762 | 1.706477e+02 | 1.950000e+02 | 14.27%| unknown
1610.74/1615.56 c 1616s| 14300 | 14301 | 12614k| 820.1 | 360M | 92 | 481 | 968 |1053 | 100k| 1 | 870 |1768 | 1.706519e+02 | 1.950000e+02 | 14.27%| unknown
1617.62/1622.44 c 1622s| 14400 | 14401 | 12675k| 818.7 | 360M | 92 | 481 | 965 |1054 | 101k| 1 | 872 |1779 | 1.706550e+02 | 1.950000e+02 | 14.27%| unknown
1625.79/1630.68 c 1631s| 14500 | 14501 | 12750k| 818.3 | 360M | 92 | 481 | 965 |1049 | 102k| 1 | 876 |1784 | 1.706588e+02 | 1.950000e+02 | 14.26%| unknown
1634.87/1639.77 c 1640s| 14600 | 14601 | 12822k| 817.7 | 360M | 92 | 481 | 967 |1081 | 102k| 1 | 881 |1785 | 1.706610e+02 | 1.950000e+02 | 14.26%| unknown
1643.15/1648.01 c 1648s| 14700 | 14701 | 12904k| 817.7 | 360M | 92 | 481 | 967 |1068 | 103k| 1 | 888 |1788 | 1.706642e+02 | 1.950000e+02 | 14.26%| unknown
1650.52/1655.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1650.52/1655.44 c 1655s| 14800 | 14801 | 12973k| 816.9 | 361M | 92 | 481 | 976 |1086 | 104k| 1 | 899 |1788 | 1.706681e+02 | 1.950000e+02 | 14.26%| unknown
1656.30/1661.26 c 1661s| 14900 | 14901 | 13032k| 815.5 | 361M | 92 | 481 | 976 |1082 | 104k| 1 | 900 |1789 | 1.706719e+02 | 1.950000e+02 | 14.25%| unknown
1664.87/1669.87 c 1670s| 15000 | 15001 | 13113k| 815.4 | 362M | 92 | 481 | 981 |1054 | 105k| 1 | 907 |1792 | 1.706746e+02 | 1.950000e+02 | 14.25%| unknown
1672.65/1677.68 c 1678s| 15100 | 15101 | 13182k| 814.7 | 362M | 92 | 481 | 984 |1029 | 105k| 1 | 912 |1795 | 1.706777e+02 | 1.950000e+02 | 14.25%| unknown
1680.82/1685.83 c 1686s| 15200 | 15201 | 13272k| 815.2 | 362M | 92 | 481 | 990 |1069 | 106k| 1 | 919 |1797 | 1.706802e+02 | 1.950000e+02 | 14.25%| unknown
1689.90/1694.99 c 1695s| 15300 | 15301 | 13353k| 815.1 | 362M | 92 | 481 | 992 |1087 | 107k| 1 | 926 |1797 | 1.706842e+02 | 1.950000e+02 | 14.25%| unknown
1697.27/1702.38 c 1702s| 15400 | 15401 | 13426k| 814.6 | 362M | 92 | 481 | 994 |1033 | 107k| 1 | 931 |1798 | 1.706864e+02 | 1.950000e+02 | 14.24%| unknown
1706.55/1711.62 c 1712s| 15500 | 15501 | 13520k| 815.4 | 362M | 92 | 481 | 997 |1085 | 108k| 1 | 936 |1799 | 1.706898e+02 | 1.950000e+02 | 14.24%| unknown
1713.32/1718.47 c 1718s| 15600 | 15601 | 13588k| 814.6 | 362M | 92 | 481 |1000 |1084 | 109k| 1 | 939 |1801 | 1.706912e+02 | 1.950000e+02 | 14.24%| unknown
1721.50/1726.68 c 1727s| 15700 | 15701 | 13656k| 813.8 | 363M | 92 | 481 | 999 |1088 | 109k| 1 | 941 |1807 | 1.706942e+02 | 1.950000e+02 | 14.24%| unknown
1728.48/1733.69 c 1734s| 15800 | 15801 | 13722k| 812.9 | 363M | 92 | 481 | 997 |1064 | 110k| 1 | 942 |1814 | 1.706960e+02 | 1.950000e+02 | 14.24%| unknown
1736.25/1741.40 c 1741s| 15900 | 15901 | 13799k| 812.6 | 363M | 92 | 481 | 998 |1083 | 111k| 1 | 949 |1818 | 1.706983e+02 | 1.950000e+02 | 14.24%| unknown
1743.94/1749.14 c 1749s| 16000 | 16001 | 13873k| 812.2 | 364M | 92 | 481 | 998 |1106 | 111k| 1 | 955 |1820 | 1.707011e+02 | 1.950000e+02 | 14.23%| unknown
1750.41/1755.68 c 1756s| 16100 | 16101 | 13944k| 811.6 | 364M | 92 | 481 | 998 |1083 | 112k| 1 | 957 |1824 | 1.707031e+02 | 1.950000e+02 | 14.23%| unknown
1759.68/1764.94 c 1765s| 16200 | 16201 | 14025k| 811.6 | 364M | 92 | 481 | 995 |1074 | 112k| 1 | 958 |1829 | 1.707063e+02 | 1.950000e+02 | 14.23%| unknown
1767.46/1772.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1767.46/1772.74 c 1773s| 16300 | 16301 | 14096k| 811.0 | 364M | 92 | 481 | 991 |1042 | 113k| 1 | 959 |1834 | 1.707092e+02 | 1.950000e+02 | 14.23%| unknown
1775.53/1780.80 c 1781s| 16400 | 16401 | 14175k| 810.9 | 364M | 92 | 481 | 992 |1087 | 114k| 4 | 966 |1835 | 1.707137e+02 | 1.950000e+02 | 14.23%| unknown
1782.91/1788.28 c 1788s| 16500 | 16501 | 14247k| 810.4 | 364M | 92 | 481 | 986 |1067 | 114k| 1 | 970 |1837 | 1.707156e+02 | 1.950000e+02 | 14.23%| unknown
1790.39/1795.79 c 1796s| 16600 | 16601 | 14319k| 809.8 | 365M | 92 | 481 | 987 |1107 | 115k| 3 | 973 |1840 | 1.707168e+02 | 1.950000e+02 | 14.22%| unknown
1798.16/1803.57 c 1804s| 16700 | 16701 | 14386k| 809.1 | 365M | 92 | 481 | 985 |1017 | 116k| 1 | 977 |1843 | 1.707193e+02 | 1.950000e+02 | 14.22%| unknown
1807.23/1812.65 c 1813s| 16800 | 16801 | 14481k| 809.9 | 365M | 92 | 481 | 984 |1097 | 116k| 4 | 984 |1845 | 1.707227e+02 | 1.950000e+02 | 14.22%| unknown
1814.41/1819.86 c 1820s| 16900 | 16901 | 14557k| 809.6 | 365M | 92 | 481 | 983 |1041 | 117k| 1 | 987 |1845 | 1.707246e+02 | 1.950000e+02 | 14.22%| unknown
1822.49/1827.94 c 1828s| 17000 | 17001 | 14635k| 809.4 | 365M | 92 | 481 | 976 |1021 | 117k| 1 | 990 |1845 | 1.707292e+02 | 1.950000e+02 | 14.22%| unknown
1831.76/1837.23 c 1837s| 17100 | 17101 | 14713k| 809.2 | 365M | 92 | 481 | 977 |1041 | 118k| 1 | 996 |1847 | 1.707306e+02 | 1.950000e+02 | 14.22%| unknown
1839.55/1845.06 c 1845s| 17200 | 17201 | 14779k| 808.4 | 365M | 92 | 481 | 976 |1049 | 119k| 1 | 998 |1853 | 1.707328e+02 | 1.950000e+02 | 14.21%| unknown
1846.81/1852.39 c 1852s| 17300 | 17301 | 14851k| 808.0 | 365M | 92 | 481 | 975 |1084 | 119k| 1 |1000 |1858 | 1.707360e+02 | 1.950000e+02 | 14.21%| unknown
1855.60/1861.16 c 1861s| 17400 | 17401 | 14930k| 807.8 | 366M | 92 | 481 | 972 |1086 | 120k| 1 |1005 |1863 | 1.707374e+02 | 1.950000e+02 | 14.21%| unknown
1861.37/1866.98 c 1867s| 17500 | 17501 | 14985k| 806.5 | 366M | 92 | 481 | 971 |1024 | 120k| 1 |1007 |1865 | 1.707407e+02 | 1.950000e+02 | 14.21%| unknown
1870.74/1876.34 c 1876s| 17600 | 17601 | 15069k| 806.6 | 366M | 92 | 481 | 970 |1071 | 121k| 1 |1012 |1870 | 1.707432e+02 | 1.950000e+02 | 14.21%| unknown
1876.53/1882.13 c 1882s| 17700 | 17701 | 15131k| 805.6 | 366M | 92 | 481 | 970 |1079 | 122k| 1 |1016 |1872 | 1.707453e+02 | 1.950000e+02 | 14.21%| unknown
1882.70/1888.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1882.70/1888.37 c 1888s| 17800 | 17801 | 15192k| 804.6 | 366M | 92 | 481 | 969 |1062 | 122k| 1 |1018 |1875 | 1.707491e+02 | 1.950000e+02 | 14.20%| unknown
1891.38/1897.05 c 1897s| 17900 | 17901 | 15281k| 805.0 | 366M | 92 | 481 | 967 |1075 | 123k| 1 |1021 |1876 | 1.707512e+02 | 1.950000e+02 | 14.20%| unknown
1899.15/1904.88 c 1905s| 18000 | 18001 | 15360k| 805.0 | 366M | 92 | 481 | 975 |1097 | 124k| 1 |1032 |1879 | 1.707539e+02 | 1.950000e+02 | 14.20%| unknown
1906.53/1912.24 c 1912s| 18100 | 18101 | 15432k| 804.5 | 366M | 92 | 481 | 974 |1098 | 124k| 4 |1034 |1882 | 1.707555e+02 | 1.950000e+02 | 14.20%| unknown
1915.20/1920.97 c 1921s| 18200 | 18201 | 15526k| 805.2 | 366M | 92 | 481 | 973 |1097 | 125k| 1 |1037 |1885 | 1.707592e+02 | 1.950000e+02 | 14.20%| unknown
1921.58/1927.31 c 1927s| 18300 | 18301 | 15589k| 804.3 | 367M | 92 | 481 | 970 |1067 | 125k| 1 |1037 |1886 | 1.707618e+02 | 1.950000e+02 | 14.19%| unknown
1929.85/1935.66 c 1936s| 18400 | 18401 | 15671k| 804.4 | 367M | 92 | 481 | 972 |1050 | 126k| 1 |1042 |1887 | 1.707651e+02 | 1.950000e+02 | 14.19%| unknown
1937.24/1943.03 c 1943s| 18500 | 18501 | 15739k| 803.8 | 367M | 92 | 481 | 971 |1029 | 127k| 1 |1043 |1891 | 1.707681e+02 | 1.950000e+02 | 14.19%| unknown
1946.00/1951.86 c 1952s| 18600 | 18601 | 15824k| 804.0 | 367M | 92 | 481 | 970 |1084 | 127k| 1 |1045 |1892 | 1.707712e+02 | 1.950000e+02 | 14.19%| unknown
1955.08/1960.97 c 1961s| 18700 | 18701 | 15922k| 804.9 | 367M | 92 | 481 | 968 |1076 | 128k| 1 |1050 |1895 | 1.707736e+02 | 1.950000e+02 | 14.19%| unknown
1962.65/1968.56 c 1969s| 18800 | 18801 | 15994k| 804.5 | 367M | 92 | 481 | 965 |1049 | 128k| 1 |1054 |1897 | 1.707764e+02 | 1.950000e+02 | 14.18%| unknown
1970.83/1976.77 c 1977s| 18900 | 18901 | 16082k| 804.9 | 367M | 92 | 481 | 963 |1067 | 129k| 1 |1056 |1906 | 1.707790e+02 | 1.950000e+02 | 14.18%| unknown
1979.11/1985.07 c 1985s| 19000 | 19001 | 16160k| 804.8 | 367M | 92 | 481 | 964 |1101 | 130k| 1 |1062 |1916 | 1.707800e+02 | 1.950000e+02 | 14.18%| unknown
1986.78/1992.72 c 1993s| 19100 | 19101 | 16234k| 804.4 | 367M | 92 | 481 | 969 |1073 | 130k| 1 |1070 |1920 | 1.707820e+02 | 1.950000e+02 | 14.18%| unknown
1994.95/2000.99 c 2001s| 19200 | 19201 | 16305k| 803.9 | 367M | 92 | 481 | 969 |1088 | 131k| 1 |1078 |1921 | 1.707851e+02 | 1.950000e+02 | 14.18%| unknown
2001.14/2007.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2001.14/2007.14 c 2007s| 19300 | 19301 | 16368k| 803.1 | 367M | 92 | 481 | 970 |1071 | 131k| 1 |1080 |1926 | 1.707872e+02 | 1.950000e+02 | 14.18%| unknown
2008.31/2014.35 c 2014s| 19400 | 19401 | 16437k| 802.5 | 367M | 92 | 481 | 972 |1088 | 132k| 1 |1085 |1927 | 1.707888e+02 | 1.950000e+02 | 14.18%| unknown
2014.29/2020.31 c 2020s| 19500 | 19501 | 16499k| 801.7 | 367M | 92 | 481 | 974 |1088 | 133k| 1 |1088 |1929 | 1.707907e+02 | 1.950000e+02 | 14.17%| unknown
2022.57/2028.61 c 2029s| 19600 | 19601 | 16575k| 801.5 | 367M | 92 | 481 | 977 |1087 | 133k| 1 |1093 |1932 | 1.707942e+02 | 1.950000e+02 | 14.17%| unknown
2030.34/2036.43 c 2036s| 19700 | 19701 | 16647k| 801.1 | 367M | 92 | 481 | 979 |1069 | 134k| 1 |1098 |1935 | 1.707975e+02 | 1.950000e+02 | 14.17%| unknown
2037.42/2043.51 c 2044s| 19800 | 19801 | 16719k| 800.7 | 367M | 92 | 481 | 977 |1092 | 134k| 1 |1101 |1939 | 1.707997e+02 | 1.950000e+02 | 14.17%| unknown
2043.91/2050.03 c 2050s| 19900 | 19901 | 16787k| 800.1 | 367M | 92 | 481 | 978 |1070 | 135k| 1 |1103 |1941 | 1.708031e+02 | 1.950000e+02 | 14.17%| unknown
2050.78/2056.96 c 2057s| 20000 | 20001 | 16857k| 799.6 | 367M | 92 | 481 | 978 |1092 | 135k| 1 |1104 |1941 | 1.708062e+02 | 1.950000e+02 | 14.16%| unknown
2058.36/2064.58 c 2065s| 20100 | 20101 | 16932k| 799.4 | 367M | 92 | 481 | 974 |1063 | 136k| 1 |1109 |1941 | 1.708080e+02 | 1.950000e+02 | 14.16%| unknown
2068.12/2074.35 c 2074s| 20200 | 20201 | 17027k| 800.1 | 368M | 92 | 481 | 971 |1034 | 137k| 1 |1110 |1943 | 1.708109e+02 | 1.950000e+02 | 14.16%| unknown
2074.92/2081.14 c 2081s| 20300 | 20301 | 17096k| 799.6 | 368M | 92 | 481 | 964 |1092 | 137k| 1 |1115 |1945 | 1.708122e+02 | 1.950000e+02 | 14.16%| unknown
2082.08/2088.35 c 2088s| 20400 | 20401 | 17165k| 799.1 | 368M | 92 | 481 | 964 |1086 | 138k| 1 |1117 |1947 | 1.708138e+02 | 1.950000e+02 | 14.16%| unknown
2088.06/2094.39 c 2094s| 20500 | 20501 | 17228k| 798.3 | 368M | 92 | 481 | 962 |1073 | 138k| 1 |1117 |1947 | 1.708161e+02 | 1.950000e+02 | 14.16%| unknown
2095.14/2101.41 c 2101s| 20600 | 20601 | 17296k| 797.7 | 368M | 92 | 481 | 967 |1096 | 139k| 1 |1128 |1951 | 1.708176e+02 | 1.950000e+02 | 14.16%| unknown
2102.22/2108.52 c 2109s| 20700 | 20701 | 17363k| 797.1 | 368M | 92 | 481 | 966 |1091 | 140k| 1 |1131 |1957 | 1.708209e+02 | 1.950000e+02 | 14.15%| unknown
2110.29/2116.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2110.29/2116.66 c 2117s| 20800 | 20801 | 17435k| 796.8 | 368M | 92 | 481 | 971 |1077 | 140k| 1 |1138 |1960 | 1.708237e+02 | 1.950000e+02 | 14.15%| unknown
2117.68/2124.02 c 2124s| 20900 | 20901 | 17504k| 796.3 | 368M | 92 | 481 | 974 |1111 | 141k| 4 |1142 |1962 | 1.708258e+02 | 1.950000e+02 | 14.15%| unknown
2124.15/2130.53 c 2131s| 21000 | 21001 | 17572k| 795.8 | 368M | 92 | 481 | 975 |1089 | 141k| 1 |1146 |1963 | 1.708275e+02 | 1.950000e+02 | 14.15%| unknown
2131.13/2137.54 c 2138s| 21100 | 21101 | 17642k| 795.4 | 368M | 92 | 481 | 976 |1082 | 142k| 1 |1152 |1965 | 1.708287e+02 | 1.950000e+02 | 14.15%| unknown
2137.81/2144.20 c 2144s| 21200 | 21201 | 17712k| 794.9 | 368M | 92 | 481 | 977 |1067 | 142k| 1 |1153 |1967 | 1.708306e+02 | 1.950000e+02 | 14.15%| unknown
2144.49/2150.93 c 2151s| 21300 | 21301 | 17784k| 794.6 | 368M | 92 | 481 | 979 |1100 | 143k| 1 |1160 |1968 | 1.708326e+02 | 1.950000e+02 | 14.15%| unknown
2152.36/2158.87 c 2159s| 21400 | 21401 | 17853k| 794.1 | 369M | 92 | 481 | 984 |1098 | 144k| 1 |1165 |1969 | 1.708356e+02 | 1.950000e+02 | 14.14%| unknown
2159.14/2165.62 c 2166s| 21500 | 21501 | 17923k| 793.7 | 369M | 92 | 481 | 988 |1084 | 144k| 1 |1170 |1972 | 1.708368e+02 | 1.950000e+02 | 14.14%| unknown
2167.72/2174.20 c 2174s| 21600 | 21601 | 18018k| 794.4 | 369M | 92 | 481 | 986 |1075 | 145k| 1 |1174 |1973 | 1.708394e+02 | 1.950000e+02 | 14.14%| unknown
2173.61/2180.17 c 2180s| 21700 | 21701 | 18078k| 793.5 | 369M | 92 | 481 | 987 |1082 | 145k| 3 |1178 |1975 | 1.708417e+02 | 1.950000e+02 | 14.14%| unknown
2180.59/2187.16 c 2187s| 21800 | 21801 | 18146k| 793.0 | 369M | 92 | 481 | 983 |1100 | 146k| 4 |1178 |1976 | 1.708445e+02 | 1.950000e+02 | 14.14%| unknown
2187.06/2193.64 c 2194s| 21900 | 21901 | 18208k| 792.3 | 369M | 92 | 481 | 985 |1080 | 146k| 1 |1181 |1977 | 1.708471e+02 | 1.950000e+02 | 14.14%| unknown
2194.83/2201.48 c 2201s| 22000 | 22001 | 18278k| 791.9 | 369M | 92 | 481 | 985 |1091 | 147k| 1 |1188 |1979 | 1.708492e+02 | 1.950000e+02 | 14.14%| unknown
2201.61/2208.29 c 2208s| 22100 | 22101 | 18342k| 791.2 | 369M | 92 | 481 | 979 |1021 | 148k| 1 |1190 |1982 | 1.708528e+02 | 1.950000e+02 | 14.13%| unknown
2208.40/2215.04 c 2215s| 22200 | 22201 | 18408k| 790.7 | 369M | 92 | 481 | 979 |1083 | 148k| 1 |1197 |1985 | 1.708549e+02 | 1.950000e+02 | 14.13%| unknown
2215.77/2222.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2215.77/2222.49 c 2222s| 22300 | 22301 | 18487k| 790.6 | 369M | 92 | 481 | 982 |1072 | 149k| 1 |1201 |1990 | 1.708567e+02 | 1.950000e+02 | 14.13%| unknown
2222.65/2229.37 c 2229s| 22400 | 22401 | 18554k| 790.1 | 369M | 92 | 481 | 988 |1072 | 149k| 1 |1212 |1992 | 1.708584e+02 | 1.950000e+02 | 14.13%| unknown
2229.53/2236.28 c 2236s| 22500 | 22501 | 18622k| 789.7 | 369M | 92 | 481 | 987 |1058 | 150k| 1 |1215 |1993 | 1.708603e+02 | 1.950000e+02 | 14.13%| unknown
2236.81/2243.51 c 2244s| 22600 | 22601 | 18694k| 789.4 | 369M | 92 | 481 | 986 |1080 | 150k| 3 |1218 |1998 | 1.708625e+02 | 1.950000e+02 | 14.13%| unknown
2243.59/2250.32 c 2250s| 22700 | 22701 | 18763k| 789.0 | 369M | 92 | 481 | 980 |1059 | 151k| 1 |1220 |1999 | 1.708642e+02 | 1.950000e+02 | 14.13%| unknown
2250.07/2256.81 c 2257s| 22800 | 22801 | 18826k| 788.3 | 369M | 92 | 481 | 975 |1087 | 151k| 1 |1226 |2000 | 1.708658e+02 | 1.950000e+02 | 14.12%| unknown
2257.84/2264.64 c 2265s| 22900 | 22901 | 18909k| 788.5 | 370M | 92 | 481 | 974 |1095 | 152k| 1 |1226 |2005 | 1.708685e+02 | 1.950000e+02 | 14.12%| unknown
2265.02/2271.86 c 2272s| 23000 | 23001 | 18982k| 788.2 | 370M | 92 | 481 | 975 |1048 | 153k| 1 |1229 |2006 | 1.708702e+02 | 1.950000e+02 | 14.12%| unknown
2271.22/2278.06 c 2278s| 23100 | 23101 | 19050k| 787.8 | 370M | 92 | 481 | 972 |1079 | 153k| 4 |1231 |2007 | 1.708722e+02 | 1.950000e+02 | 14.12%| unknown
2277.88/2284.76 c 2285s| 23200 | 23201 | 19117k| 787.3 | 370M | 92 | 481 | 975 |1101 | 154k| 1 |1235 |2007 | 1.708745e+02 | 1.950000e+02 | 14.12%| unknown
2284.66/2291.56 c 2292s| 23300 | 23301 | 19188k| 787.0 | 370M | 92 | 481 | 975 |1067 | 154k| 1 |1235 |2009 | 1.708768e+02 | 1.950000e+02 | 14.12%| unknown
2291.34/2298.22 c 2298s| 23400 | 23401 | 19259k| 786.7 | 370M | 92 | 481 | 979 |1097 | 155k| 1 |1240 |2010 | 1.708783e+02 | 1.950000e+02 | 14.12%| unknown
2298.23/2305.19 c 2305s| 23500 | 23501 | 19323k| 786.1 | 370M | 92 | 481 | 977 |1082 | 155k| 1 |1240 |2014 | 1.708798e+02 | 1.950000e+02 | 14.12%| unknown
2305.30/2312.26 c 2312s| 23600 | 23601 | 19396k| 785.8 | 370M | 92 | 481 | 985 |1063 | 156k| 1 |1249 |2014 | 1.708814e+02 | 1.950000e+02 | 14.11%| unknown
2311.88/2318.84 c 2319s| 23700 | 23701 | 19465k| 785.4 | 370M | 92 | 481 | 987 |1068 | 156k| 1 |1252 |2015 | 1.708837e+02 | 1.950000e+02 | 14.11%| unknown
2318.96/2325.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2318.96/2325.96 c 2326s| 23800 | 23801 | 19536k| 785.1 | 370M | 92 | 481 | 986 |1019 | 157k| 1 |1252 |2016 | 1.708849e+02 | 1.950000e+02 | 14.11%| unknown
2325.64/2332.67 c 2333s| 23900 | 23901 | 19601k| 784.6 | 370M | 92 | 481 | 986 |1094 | 157k| 1 |1256 |2021 | 1.708867e+02 | 1.950000e+02 | 14.11%| unknown
2333.21/2340.25 c 2340s| 24000 | 24001 | 19674k| 784.4 | 371M | 92 | 481 | 991 |1086 | 158k| 1 |1262 |2027 | 1.708873e+02 | 1.950000e+02 | 14.11%| unknown
2340.29/2347.37 c 2347s| 24100 | 24101 | 19742k| 784.0 | 371M | 92 | 481 | 993 |1074 | 158k| 1 |1264 |2033 | 1.708888e+02 | 1.950000e+02 | 14.11%| unknown
2347.57/2354.69 c 2355s| 24200 | 24201 | 19803k| 783.3 | 371M | 92 | 481 | 997 |1031 | 159k| 1 |1269 |2041 | 1.708901e+02 | 1.950000e+02 | 14.11%| unknown
2356.45/2363.52 c 2364s| 24300 | 24301 | 19899k| 784.0 | 371M | 92 | 481 | 999 |1056 | 160k| 1 |1274 |2041 | 1.708919e+02 | 1.950000e+02 | 14.11%| unknown
2364.62/2371.76 c 2372s| 24400 | 24401 | 19978k| 784.0 | 371M | 92 | 481 |1000 |1088 | 160k| 3 |1282 |2047 | 1.708933e+02 | 1.950000e+02 | 14.11%| unknown
2372.60/2379.79 c 2380s| 24500 | 24501 | 20041k| 783.4 | 372M | 92 | 481 |1002 |1021 | 161k| 1 |1284 |2047 | 1.708948e+02 | 1.950000e+02 | 14.11%| unknown
2379.49/2386.67 c 2387s| 24600 | 24601 | 20110k| 783.0 | 372M | 92 | 481 |1002 |1079 | 161k| 1 |1287 |2048 | 1.708973e+02 | 1.950000e+02 | 14.10%| unknown
2386.88/2394.01 c 2394s| 24700 | 24701 | 20186k| 782.9 | 372M | 92 | 481 |1005 |1070 | 162k| 1 |1293 |2051 | 1.708991e+02 | 1.950000e+02 | 14.10%| unknown
2394.86/2402.05 c 2402s| 24800 | 24801 | 20263k| 782.9 | 372M | 92 | 481 |1007 |1073 | 162k| 1 |1300 |2052 | 1.709009e+02 | 1.950000e+02 | 14.10%| unknown
2400.73/2407.97 c 2408s| 24900 | 24901 | 20328k| 782.4 | 372M | 92 | 481 |1010 |1064 | 163k| 1 |1306 |2053 | 1.709026e+02 | 1.950000e+02 | 14.10%| unknown
2409.01/2416.27 c 2416s| 25000 | 25001 | 20404k| 782.3 | 372M | 92 | 481 |1008 |1052 | 163k| 1 |1313 |2054 | 1.709046e+02 | 1.950000e+02 | 14.10%| unknown
2416.80/2424.06 c 2424s| 25100 | 25101 | 20477k| 782.1 | 372M | 92 | 481 |1002 |1047 | 164k| 1 |1317 |2058 | 1.709064e+02 | 1.950000e+02 | 14.10%| unknown
2423.88/2431.16 c 2431s| 25200 | 25201 | 20549k| 781.9 | 372M | 92 | 481 |1003 |1063 | 165k| 1 |1320 |2059 | 1.709089e+02 | 1.950000e+02 | 14.10%| unknown
2431.35/2438.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2431.35/2438.65 c 2439s| 25300 | 25301 | 20622k| 781.6 | 372M | 92 | 481 |1001 |1100 | 165k| 1 |1323 |2059 | 1.709099e+02 | 1.950000e+02 | 14.10%| unknown
2437.75/2445.06 c 2445s| 25400 | 25401 | 20692k| 781.4 | 372M | 92 | 481 |1002 |1074 | 166k| 1 |1327 |2060 | 1.709115e+02 | 1.950000e+02 | 14.09%| unknown
2444.83/2452.19 c 2452s| 25500 | 25501 | 20763k| 781.1 | 373M | 92 | 481 |1004 |1078 | 166k| 1 |1331 |2060 | 1.709127e+02 | 1.950000e+02 | 14.09%| unknown
2452.00/2459.36 c 2459s| 25600 | 25601 | 20833k| 780.8 | 373M | 92 | 481 |1001 |1104 | 167k| 1 |1335 |2060 | 1.709139e+02 | 1.950000e+02 | 14.09%| unknown
2457.28/2464.65 c 2465s| 25700 | 25701 | 20891k| 780.0 | 373M | 92 | 481 |1000 |1069 | 167k| 1 |1336 |2060 | 1.709147e+02 | 1.950000e+02 | 14.09%| unknown
2465.86/2473.25 c 2473s| 25800 | 25801 | 20987k| 780.7 | 373M | 92 | 481 |1001 |1074 | 168k| 1 |1342 |2064 | 1.709161e+02 | 1.950000e+02 | 14.09%| unknown
2471.66/2479.10 c 2479s| 25900 | 25901 | 21045k| 780.0 | 373M | 92 | 481 | 997 |1090 | 168k| 4 |1344 |2067 | 1.709175e+02 | 1.950000e+02 | 14.09%| unknown
2479.23/2486.61 c 2487s| 26000 | 26001 | 21123k| 779.9 | 374M | 92 | 481 | 995 |1076 | 169k| 1 |1345 |2070 | 1.709186e+02 | 1.950000e+02 | 14.09%| unknown
2486.31/2493.77 c 2494s| 26100 | 26101 | 21196k| 779.8 | 374M | 92 | 481 | 993 |1063 | 169k| 1 |1356 |2070 | 1.709204e+02 | 1.950000e+02 | 14.09%| unknown
2492.29/2499.76 c 2500s| 26200 | 26201 | 21259k| 779.2 | 374M | 92 | 481 | 994 |1099 | 170k| 4 |1358 |2071 | 1.709229e+02 | 1.950000e+02 | 14.09%| unknown
2499.47/2507.00 c 2507s| 26300 | 26301 | 21335k| 779.1 | 374M | 92 | 481 | 994 |1088 | 170k| 1 |1361 |2073 | 1.709241e+02 | 1.950000e+02 | 14.09%| unknown
2506.06/2513.56 c 2514s| 26400 | 26401 | 21404k| 778.8 | 374M | 92 | 481 | 994 |1071 | 171k| 1 |1365 |2075 | 1.709260e+02 | 1.950000e+02 | 14.08%| unknown
2513.34/2520.86 c 2521s| 26500 | 26501 | 21472k| 778.5 | 375M | 92 | 481 | 998 |1029 | 172k| 1 |1372 |2079 | 1.709275e+02 | 1.950000e+02 | 14.08%| unknown
2520.02/2527.58 c 2528s| 26600 | 26601 | 21546k| 778.3 | 375M | 92 | 481 |1002 |1062 | 172k| 1 |1377 |2079 | 1.709294e+02 | 1.950000e+02 | 14.08%| unknown
2526.90/2534.41 c 2534s| 26700 | 26701 | 21610k| 777.8 | 375M | 92 | 481 |1001 |1094 | 173k| 1 |1380 |2082 | 1.709313e+02 | 1.950000e+02 | 14.08%| unknown
2534.49/2542.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2534.49/2542.04 c 2542s| 26800 | 26801 | 21681k| 777.6 | 375M | 92 | 481 |1001 |1077 | 173k| 1 |1385 |2085 | 1.709340e+02 | 1.950000e+02 | 14.08%| unknown
2541.47/2549.01 c 2549s| 26900 | 26901 | 21748k| 777.2 | 375M | 92 | 481 |1003 |1018 | 174k| 1 |1389 |2086 | 1.709353e+02 | 1.950000e+02 | 14.08%| unknown
2547.65/2555.29 c 2555s| 27000 | 27001 | 21816k| 776.8 | 375M | 92 | 481 |1003 |1094 | 174k| 1 |1389 |2089 | 1.709361e+02 | 1.950000e+02 | 14.08%| unknown
2555.03/2562.69 c 2563s| 27100 | 27101 | 21896k| 776.9 | 375M | 92 | 481 |1005 |1083 | 175k| 1 |1398 |2089 | 1.709372e+02 | 1.950000e+02 | 14.08%| unknown
2563.31/2570.92 c 2571s| 27200 | 27201 | 21988k| 777.4 | 375M | 92 | 481 |1002 |1069 | 175k| 1 |1400 |2089 | 1.709386e+02 | 1.950000e+02 | 14.08%| unknown
2571.40/2579.01 c 2579s| 27300 | 27301 | 22077k| 777.8 | 375M | 92 | 481 |1001 |1083 | 176k| 1 |1402 |2089 | 1.709403e+02 | 1.950000e+02 | 14.07%| unknown
2578.77/2586.40 c 2586s| 27400 | 27401 | 22151k| 777.7 | 375M | 92 | 481 |1006 |1076 | 176k| 1 |1409 |2091 | 1.709418e+02 | 1.950000e+02 | 14.07%| unknown
2584.75/2592.41 c 2592s| 27500 | 27501 | 22214k| 777.2 | 375M | 92 | 481 |1007 |1069 | 177k| 1 |1415 |2094 | 1.709429e+02 | 1.950000e+02 | 14.07%| unknown
2590.84/2598.55 c 2599s| 27600 | 27601 | 22278k| 776.7 | 375M | 92 | 481 |1007 |1062 | 177k| 1 |1420 |2097 | 1.709450e+02 | 1.950000e+02 | 14.07%| unknown
2598.43/2606.17 c 2606s| 27700 | 27701 | 22353k| 776.6 | 375M | 92 | 481 |1007 |1073 | 178k| 1 |1427 |2099 | 1.709458e+02 | 1.950000e+02 | 14.07%| unknown
2604.60/2612.37 c 2612s| 27800 | 27801 | 22415k| 776.1 | 375M | 92 | 481 |1003 |1090 | 178k| 1 |1428 |2103 | 1.709470e+02 | 1.950000e+02 | 14.07%| unknown
2611.98/2619.71 c 2620s| 27900 | 27901 | 22489k| 776.0 | 375M | 92 | 481 |1008 |1071 | 179k| 1 |1437 |2104 | 1.709488e+02 | 1.950000e+02 | 14.07%| unknown
2618.67/2626.42 c 2626s| 28000 | 28001 | 22555k| 775.5 | 375M | 92 | 481 |1008 |1067 | 179k| 1 |1439 |2105 | 1.709508e+02 | 1.950000e+02 | 14.07%| unknown
2625.26/2633.10 c 2633s| 28100 | 28101 | 22621k| 775.2 | 375M | 92 | 481 |1016 |1047 | 180k| 1 |1448 |2106 | 1.709529e+02 | 1.950000e+02 | 14.07%| unknown
2633.03/2640.86 c 2641s| 28200 | 28201 | 22694k| 775.0 | 375M | 92 | 481 |1017 |1029 | 180k| 1 |1451 |2108 | 1.709550e+02 | 1.950000e+02 | 14.07%| unknown
2640.91/2648.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2640.91/2648.76 c 2649s| 28300 | 28301 | 22770k| 774.9 | 375M | 92 | 481 |1017 |1031 | 181k| 1 |1451 |2110 | 1.709569e+02 | 1.950000e+02 | 14.06%| unknown
2647.69/2655.57 c 2656s| 28400 | 28401 | 22836k| 774.5 | 375M | 92 | 481 |1013 |1071 | 181k| 1 |1456 |2112 | 1.709582e+02 | 1.950000e+02 | 14.06%| unknown
2653.78/2661.68 c 2662s| 28500 | 28501 | 22900k| 774.1 | 375M | 92 | 481 |1013 |1057 | 182k| 1 |1462 |2112 | 1.709598e+02 | 1.950000e+02 | 14.06%| unknown
2660.46/2668.37 c 2668s| 28600 | 28601 | 22969k| 773.8 | 375M | 92 | 481 |1012 |1082 | 182k| 1 |1465 |2112 | 1.709614e+02 | 1.950000e+02 | 14.06%| unknown
2666.74/2674.66 c 2675s| 28700 | 28701 | 23038k| 773.6 | 375M | 92 | 481 |1011 |1079 | 183k| 1 |1467 |2112 | 1.709632e+02 | 1.950000e+02 | 14.06%| unknown
2675.32/2683.28 c 2683s| 28800 | 28801 | 23134k| 774.2 | 375M | 92 | 481 |1014 |1080 | 183k| 1 |1478 |2113 | 1.709650e+02 | 1.950000e+02 | 14.06%| unknown
2682.12/2690.08 c 2690s| 28900 | 28901 | 23206k| 774.0 | 375M | 92 | 481 |1014 |1061 | 184k| 1 |1481 |2114 | 1.709660e+02 | 1.950000e+02 | 14.06%| unknown
2687.89/2695.87 c 2696s| 29000 | 29001 | 23267k| 773.4 | 375M | 92 | 481 |1016 |1095 | 184k| 3 |1486 |2115 | 1.709673e+02 | 1.950000e+02 | 14.06%| unknown
2694.77/2702.75 c 2703s| 29100 | 29101 | 23338k| 773.2 | 375M | 92 | 481 |1011 |1066 | 185k| 1 |1490 |2118 | 1.709684e+02 | 1.950000e+02 | 14.06%| unknown
2702.25/2710.23 c 2710s| 29200 | 29201 | 23408k| 773.0 | 375M | 92 | 481 |1013 |1061 | 185k| 1 |1495 |2124 | 1.709691e+02 | 1.950000e+02 | 14.06%| unknown
2709.63/2717.66 c 2718s| 29300 | 29301 | 23480k| 772.8 | 376M | 92 | 481 |1011 |1079 | 186k| 1 |1498 |2127 | 1.709700e+02 | 1.950000e+02 | 14.06%| unknown
2716.13/2724.19 c 2724s| 29400 | 29401 | 23544k| 772.4 | 376M | 92 | 481 |1010 |1086 | 186k| 1 |1501 |2128 | 1.709717e+02 | 1.950000e+02 | 14.05%| unknown
2722.60/2730.66 c 2731s| 29500 | 29501 | 23612k| 772.1 | 377M | 92 | 481 |1014 |1060 | 187k| 1 |1511 |2131 | 1.709735e+02 | 1.950000e+02 | 14.05%| unknown
2729.58/2737.61 c 2738s| 29600 | 29601 | 23679k| 771.7 | 380M | 92 | 481 |1015 |1091 | 187k| 1 |1517 |2131 | 1.709754e+02 | 1.950000e+02 | 14.05%| unknown
2736.08/2744.17 c 2744s| 29700 | 29701 | 23747k| 771.4 | 380M | 92 | 481 |1018 |1067 | 188k| 1 |1521 |2132 | 1.709767e+02 | 1.950000e+02 | 14.05%| unknown
2742.96/2751.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2742.96/2751.08 c 2751s| 29800 | 29801 | 23813k| 771.1 | 380M | 92 | 481 |1018 |1088 | 188k| 1 |1523 |2133 | 1.709776e+02 | 1.950000e+02 | 14.05%| unknown
2750.23/2758.30 c 2758s| 29900 | 29901 | 23890k| 771.1 | 380M | 92 | 481 |1021 |1073 | 189k| 1 |1530 |2136 | 1.709789e+02 | 1.950000e+02 | 14.05%| unknown
2757.41/2765.51 c 2766s| 30000 | 30001 | 23961k| 770.9 | 380M | 92 | 481 |1023 |1074 | 189k| 1 |1537 |2137 | 1.709801e+02 | 1.950000e+02 | 14.05%| unknown
2763.91/2772.04 c 2772s| 30100 | 30101 | 24027k| 770.5 | 380M | 92 | 481 |1026 |1070 | 190k| 1 |1544 |2138 | 1.709813e+02 | 1.950000e+02 | 14.05%| unknown
2771.47/2779.61 c 2780s| 30200 | 30201 | 24097k| 770.3 | 380M | 92 | 481 |1030 |1055 | 190k| 1 |1555 |2139 | 1.709830e+02 | 1.950000e+02 | 14.05%| unknown
2780.15/2788.34 c 2788s| 30300 | 30301 | 24198k| 771.1 | 380M | 92 | 481 |1029 |1079 | 191k| 1 |1556 |2141 | 1.709843e+02 | 1.950000e+02 | 14.05%| unknown
2786.54/2794.70 c 2795s| 30400 | 30401 | 24267k| 770.8 | 380M | 92 | 481 |1026 |1056 | 191k| 1 |1562 |2141 | 1.709850e+02 | 1.950000e+02 | 14.05%| unknown
2793.62/2801.83 c 2802s| 30500 | 30501 | 24337k| 770.6 | 380M | 92 | 481 |1028 |1076 | 192k| 1 |1569 |2144 | 1.709862e+02 | 1.950000e+02 | 14.04%| unknown
2801.00/2809.26 c 2809s| 30600 | 30601 | 24409k| 770.4 | 380M | 92 | 481 |1028 |1026 | 192k| 1 |1580 |2146 | 1.709880e+02 | 1.950000e+02 | 14.04%| unknown
2808.08/2816.40 c 2816s| 30700 | 30701 | 24479k| 770.2 | 380M | 92 | 481 |1032 |1084 | 193k| 1 |1588 |2159 | 1.709890e+02 | 1.950000e+02 | 14.04%| unknown
2815.36/2823.64 c 2824s| 30800 | 30801 | 24548k| 769.9 | 380M | 92 | 481 |1028 |1083 | 193k| 1 |1592 |2169 | 1.709907e+02 | 1.950000e+02 | 14.04%| unknown
2822.05/2830.39 c 2830s| 30900 | 30901 | 24615k| 769.6 | 380M | 92 | 481 |1031 |1067 | 194k| 1 |1596 |2170 | 1.709920e+02 | 1.950000e+02 | 14.04%| unknown
2828.14/2836.47 c 2836s| 31000 | 31001 | 24680k| 769.3 | 380M | 92 | 481 |1031 |1080 | 194k| 1 |1600 |2172 | 1.709932e+02 | 1.950000e+02 | 14.04%| unknown
2835.83/2844.16 c 2844s| 31100 | 31101 | 24761k| 769.4 | 380M | 92 | 481 |1027 |1065 | 195k| 1 |1602 |2173 | 1.709947e+02 | 1.950000e+02 | 14.04%| unknown
2841.82/2850.13 c 2850s| 31200 | 31201 | 24825k| 769.0 | 380M | 92 | 481 |1026 |1061 | 195k| 1 |1606 |2174 | 1.709957e+02 | 1.950000e+02 | 14.04%| unknown
2849.98/2858.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2849.98/2858.31 c 2858s| 31300 | 31301 | 24894k| 768.7 | 380M | 92 | 481 |1024 |1085 | 196k| 1 |1609 |2175 | 1.709966e+02 | 1.950000e+02 | 14.04%| unknown
2856.68/2865.10 c 2865s| 31400 | 31401 | 24963k| 768.5 | 380M | 92 | 481 |1022 |1093 | 196k| 4 |1613 |2180 | 1.709978e+02 | 1.950000e+02 | 14.04%| unknown
2863.05/2871.46 c 2871s| 31500 | 31501 | 25027k| 768.1 | 380M | 92 | 481 |1022 |1084 | 197k| 1 |1617 |2184 | 1.709993e+02 | 1.950000e+02 | 14.04%| unknown
2870.23/2878.63 c 2879s| 31600 | 31601 | 25094k| 767.8 | 380M | 92 | 481 |1023 |1059 | 197k| 1 |1621 |2187 | 1.710005e+02 | 1.950000e+02 | 14.03%| unknown
2876.92/2885.36 c 2885s| 31700 | 31701 | 25164k| 767.6 | 380M | 92 | 481 |1024 |1079 | 198k| 1 |1626 |2190 | 1.710013e+02 | 1.950000e+02 | 14.03%| unknown
2885.49/2893.93 c 2894s| 31800 | 31801 | 25267k| 768.4 | 380M | 92 | 481 |1024 |1098 | 198k| 1 |1628 |2192 | 1.710023e+02 | 1.950000e+02 | 14.03%| unknown
2892.87/2901.38 c 2901s| 31900 | 31901 | 25337k| 768.2 | 380M | 92 | 481 |1029 |1073 | 199k| 1 |1637 |2195 | 1.710035e+02 | 1.950000e+02 | 14.03%| unknown
2898.86/2907.30 c 2907s| 32000 | 32001 | 25400k| 767.8 | 380M | 92 | 481 |1029 |1078 | 199k| 1 |1637 |2196 | 1.710046e+02 | 1.950000e+02 | 14.03%| unknown
2906.55/2915.04 c 2915s| 32100 | 32101 | 25478k| 767.8 | 380M | 92 | 481 |1029 |1079 | 200k| 1 |1639 |2196 | 1.710060e+02 | 1.950000e+02 | 14.03%| unknown
2913.22/2921.74 c 2922s| 32200 | 32201 | 25543k| 767.5 | 380M | 92 | 481 |1026 |1072 | 200k| 1 |1640 |2198 | 1.710069e+02 | 1.950000e+02 | 14.03%| unknown
2921.00/2929.59 c 2930s| 32300 | 32301 | 25619k| 767.4 | 381M | 92 | 481 |1025 |1092 | 201k| 1 |1647 |2200 | 1.710084e+02 | 1.950000e+02 | 14.03%| unknown
2926.99/2935.51 c 2936s| 32400 | 32401 | 25681k| 767.0 | 381M | 92 | 481 |1020 |1085 | 201k| 1 |1651 |2201 | 1.710093e+02 | 1.950000e+02 | 14.03%| unknown
2933.67/2942.22 c 2942s| 32500 | 32501 | 25749k| 766.7 | 381M | 92 | 481 |1021 |1077 | 202k| 1 |1656 |2202 | 1.710104e+02 | 1.950000e+02 | 14.03%| unknown
2939.57/2948.17 c 2948s| 32600 | 32601 | 25814k| 766.4 | 381M | 92 | 481 |1021 |1092 | 202k| 1 |1658 |2204 | 1.710121e+02 | 1.950000e+02 | 14.03%| unknown
2946.84/2955.41 c 2955s| 32700 | 32701 | 25886k| 766.3 | 381M | 92 | 481 |1023 |1073 | 203k| 1 |1662 |2204 | 1.710130e+02 | 1.950000e+02 | 14.03%| unknown
2954.12/2962.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2954.12/2962.79 c 2963s| 32800 | 32801 | 25958k| 766.1 | 382M | 92 | 481 |1025 |1090 | 203k| 1 |1668 |2204 | 1.710135e+02 | 1.950000e+02 | 14.03%| unknown
2961.10/2969.72 c 2970s| 32900 | 32901 | 26026k| 765.8 | 382M | 92 | 481 |1020 |1083 | 204k| 1 |1674 |2206 | 1.710145e+02 | 1.950000e+02 | 14.03%| unknown
2967.29/2975.92 c 2976s| 33000 | 33001 | 26089k| 765.4 | 382M | 92 | 481 |1023 |1088 | 204k| 1 |1677 |2207 | 1.710152e+02 | 1.950000e+02 | 14.02%| unknown
2974.38/2983.02 c 2983s| 33100 | 33101 | 26163k| 765.4 | 382M | 92 | 481 |1022 |1086 | 205k| 1 |1681 |2207 | 1.710176e+02 | 1.950000e+02 | 14.02%| unknown
2981.75/2990.41 c 2990s| 33200 | 33201 | 26248k| 765.6 | 382M | 92 | 481 |1020 |1051 | 205k| 1 |1683 |2207 | 1.710186e+02 | 1.950000e+02 | 14.02%| unknown
2990.23/2998.93 c 2999s| 33300 | 33301 | 26340k| 766.1 | 382M | 92 | 481 |1020 |1076 | 206k| 1 |1691 |2213 | 1.710194e+02 | 1.950000e+02 | 14.02%| unknown
2996.32/3005.03 c 3005s| 33400 | 33401 | 26399k| 765.6 | 382M | 92 | 481 |1023 |1068 | 206k| 1 |1696 |2216 | 1.710212e+02 | 1.950000e+02 | 14.02%| unknown
3002.70/3011.40 c 3011s| 33500 | 33501 | 26468k| 765.4 | 382M | 92 | 481 |1024 |1094 | 207k| 1 |1700 |2221 | 1.710228e+02 | 1.950000e+02 | 14.02%| unknown
3008.58/3017.36 c 3017s| 33600 | 33601 | 26530k| 764.9 | 383M | 92 | 481 |1025 |1083 | 207k| 1 |1702 |2221 | 1.710245e+02 | 1.950000e+02 | 14.02%| unknown
3015.56/3024.38 c 3024s| 33700 | 33701 | 26600k| 764.7 | 383M | 92 | 481 |1026 |1081 | 208k| 1 |1706 |2222 | 1.710253e+02 | 1.950000e+02 | 14.02%| unknown
3022.05/3030.83 c 3031s| 33800 | 33801 | 26670k| 764.6 | 383M | 92 | 481 |1028 |1090 | 208k| 1 |1709 |2223 | 1.710263e+02 | 1.950000e+02 | 14.02%| unknown
3028.24/3037.01 c 3037s| 33900 | 33901 | 26731k| 764.1 | 383M | 92 | 481 |1027 |1087 | 209k| 1 |1710 |2224 | 1.710278e+02 | 1.950000e+02 | 14.02%| unknown
3034.02/3042.84 c 3043s| 34000 | 34001 | 26793k| 763.7 | 383M | 92 | 481 |1026 |1068 | 209k| 1 |1710 |2225 | 1.710289e+02 | 1.950000e+02 | 14.02%| unknown
3042.31/3051.18 c 3051s| 34100 | 34101 | 26863k| 763.5 | 383M | 92 | 481 |1029 |1068 | 210k| 1 |1715 |2232 | 1.710311e+02 | 1.950000e+02 | 14.01%| unknown
3048.19/3057.05 c 3057s| 34200 | 34201 | 26925k| 763.1 | 383M | 92 | 481 |1031 |1086 | 210k| 1 |1718 |2232 | 1.710317e+02 | 1.950000e+02 | 14.01%| unknown
3054.87/3063.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3054.87/3063.71 c 3064s| 34300 | 34301 | 26991k| 762.8 | 383M | 92 | 481 |1027 |1051 | 211k| 1 |1721 |2235 | 1.710334e+02 | 1.950000e+02 | 14.01%| unknown
3060.85/3069.74 c 3070s| 34400 | 34401 | 27056k| 762.5 | 383M | 92 | 481 |1023 |1067 | 211k| 1 |1725 |2235 | 1.710341e+02 | 1.950000e+02 | 14.01%| unknown
3067.63/3076.56 c 3077s| 34500 | 34501 | 27128k| 762.4 | 383M | 92 | 481 |1022 |1056 | 212k| 1 |1729 |2235 | 1.710350e+02 | 1.950000e+02 | 14.01%| unknown
3075.51/3084.42 c 3084s| 34600 | 34601 | 27218k| 762.8 | 384M | 92 | 481 |1017 |1118 | 212k| 4 |1734 |2237 | 1.710366e+02 | 1.950000e+02 | 14.01%| unknown
3081.11/3090.01 c 3090s| 34700 | 34701 | 27275k| 762.2 | 384M | 92 | 481 |1015 |1095 | 212k| 1 |1736 |2237 | 1.710380e+02 | 1.950000e+02 | 14.01%| unknown
3089.09/3098.02 c 3098s| 34800 | 34801 | 27351k| 762.2 | 384M | 92 | 481 |1013 |1018 | 213k| 1 |1743 |2237 | 1.710389e+02 | 1.950000e+02 | 14.01%| unknown
3095.18/3104.18 c 3104s| 34900 | 34901 | 27419k| 762.0 | 384M | 92 | 481 |1013 |1079 | 213k| 1 |1744 |2237 | 1.710399e+02 | 1.950000e+02 | 14.01%| unknown
3101.25/3110.21 c 3110s| 35000 | 35001 | 27483k| 761.7 | 384M | 92 | 481 |1013 |1071 | 214k| 1 |1746 |2237 | 1.710416e+02 | 1.950000e+02 | 14.01%| unknown
3108.33/3117.36 c 3117s| 35100 | 35101 | 27558k| 761.6 | 384M | 92 | 481 |1017 |1082 | 214k| 1 |1753 |2238 | 1.710428e+02 | 1.950000e+02 | 14.01%| unknown
3115.21/3124.25 c 3124s| 35200 | 35201 | 27625k| 761.4 | 384M | 92 | 481 |1022 |1064 | 215k| 1 |1758 |2242 | 1.710439e+02 | 1.950000e+02 | 14.01%| unknown
3121.20/3130.24 c 3130s| 35300 | 35301 | 27688k| 761.0 | 384M | 92 | 481 |1024 |1087 | 215k| 1 |1761 |2244 | 1.710448e+02 | 1.950000e+02 | 14.01%| unknown
3127.88/3136.97 c 3137s| 35400 | 35401 | 27752k| 760.7 | 384M | 92 | 481 |1022 |1082 | 216k| 1 |1763 |2247 | 1.710460e+02 | 1.950000e+02 | 14.00%| unknown
3134.26/3143.35 c 3143s| 35500 | 35501 | 27817k| 760.4 | 384M | 92 | 481 |1023 |1072 | 216k| 1 |1768 |2249 | 1.710469e+02 | 1.950000e+02 | 14.00%| unknown
3141.35/3150.48 c 3150s| 35600 | 35601 | 27889k| 760.3 | 384M | 92 | 481 |1021 |1098 | 217k| 1 |1771 |2255 | 1.710475e+02 | 1.950000e+02 | 14.00%| unknown
3149.33/3158.47 c 3158s| 35700 | 35701 | 27972k| 760.4 | 384M | 92 | 481 |1021 |1085 | 217k| 1 |1775 |2257 | 1.710492e+02 | 1.950000e+02 | 14.00%| unknown
3155.31/3164.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3155.31/3164.42 c 3164s| 35800 | 35801 | 28032k| 760.0 | 384M | 92 | 481 |1024 |1106 | 218k| 1 |1779 |2262 | 1.710500e+02 | 1.950000e+02 | 14.00%| unknown
3162.09/3171.29 c 3171s| 35900 | 35901 | 28103k| 759.9 | 384M | 92 | 481 |1025 |1073 | 218k| 1 |1782 |2263 | 1.710513e+02 | 1.950000e+02 | 14.00%| unknown
3169.38/3178.52 c 3179s| 36000 | 36001 | 28176k| 759.8 | 384M | 92 | 481 |1031 |1058 | 219k| 1 |1795 |2264 | 1.710528e+02 | 1.950000e+02 | 14.00%| unknown
3177.26/3186.40 c 3186s| 36100 | 36101 | 28268k| 760.2 | 384M | 92 | 481 |1027 |1066 | 219k| 1 |1800 |2264 | 1.710544e+02 | 1.950000e+02 | 14.00%| unknown
3184.74/3193.94 c 3194s| 36200 | 36201 | 28341k| 760.1 | 385M | 92 | 481 |1027 |1026 | 220k| 1 |1802 |2265 | 1.710553e+02 | 1.950000e+02 | 14.00%| unknown
3190.42/3199.64 c 3200s| 36300 | 36301 | 28402k| 759.8 | 385M | 92 | 481 |1025 |1082 | 220k| 1 |1804 |2265 | 1.710562e+02 | 1.950000e+02 | 14.00%| unknown
3197.00/3206.25 c 3206s| 36400 | 36401 | 28470k| 759.5 | 385M | 92 | 481 |1023 |1075 | 221k| 1 |1809 |2265 | 1.710576e+02 | 1.950000e+02 | 14.00%| unknown
3205.58/3214.82 c 3215s| 36500 | 36501 | 28548k| 759.6 | 385M | 92 | 481 |1020 |1064 | 221k| 1 |1814 |2266 | 1.710584e+02 | 1.950000e+02 | 14.00%| unknown
3212.77/3222.04 c 3222s| 36600 | 36601 | 28619k| 759.4 | 385M | 92 | 481 |1019 |1032 | 222k| 1 |1820 |2266 | 1.710595e+02 | 1.950000e+02 | 14.00%| unknown
3219.44/3228.74 c 3229s| 36700 | 36701 | 28683k| 759.1 | 385M | 92 | 481 |1022 |1073 | 222k| 1 |1825 |2268 | 1.710600e+02 | 1.950000e+02 | 14.00%| unknown
3225.93/3235.22 c 3235s| 36800 | 36801 | 28747k| 758.8 | 385M | 92 | 481 |1023 |1076 | 223k| 1 |1828 |2268 | 1.710609e+02 | 1.950000e+02 | 13.99%| unknown
3232.01/3241.39 c 3241s| 36900 | 36901 | 28809k| 758.5 | 385M | 92 | 481 |1028 |1079 | 223k| 1 |1833 |2269 | 1.710616e+02 | 1.950000e+02 | 13.99%| unknown
3238.81/3248.13 c 3248s| 37000 | 37001 | 28877k| 758.3 | 385M | 92 | 481 |1028 |1098 | 224k| 1 |1837 |2269 | 1.710623e+02 | 1.950000e+02 | 13.99%| unknown
3245.69/3255.02 c 3255s| 37100 | 37101 | 28951k| 758.2 | 385M | 92 | 481 |1035 |1077 | 224k| 1 |1846 |2272 | 1.710637e+02 | 1.950000e+02 | 13.99%| unknown
3252.86/3262.26 c 3262s| 37200 | 37201 | 29025k| 758.2 | 385M | 92 | 481 |1035 |1067 | 225k| 1 |1848 |2277 | 1.710644e+02 | 1.950000e+02 | 13.99%| unknown
3261.34/3270.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3261.34/3270.73 c 3271s| 37300 | 37301 | 29102k| 758.2 | 385M | 92 | 481 |1046 |1105 | 225k| 1 |1862 |2282 | 1.710661e+02 | 1.950000e+02 | 13.99%| unknown
3267.12/3276.50 c 3276s| 37400 | 37401 | 29159k| 757.7 | 385M | 92 | 481 |1043 |1080 | 226k| 1 |1867 |2288 | 1.710675e+02 | 1.950000e+02 | 13.99%| unknown
3273.40/3282.80 c 3283s| 37500 | 37501 | 29226k| 757.5 | 385M | 92 | 481 |1042 |1080 | 226k| 1 |1871 |2289 | 1.710682e+02 | 1.950000e+02 | 13.99%| unknown
3279.49/3288.94 c 3289s| 37600 | 37601 | 29288k| 757.1 | 386M | 92 | 481 |1042 |1043 | 227k| 1 |1873 |2295 | 1.710693e+02 | 1.950000e+02 | 13.99%| unknown
3288.47/3297.99 c 3298s| 37700 | 37701 | 29394k| 757.9 | 386M | 92 | 481 |1039 |1075 | 227k| 1 |1878 |2296 | 1.710701e+02 | 1.950000e+02 | 13.99%| unknown
3296.25/3305.76 c 3306s| 37800 | 37801 | 29469k| 757.9 | 386M | 92 | 481 |1039 |1079 | 228k| 1 |1885 |2299 | 1.710712e+02 | 1.950000e+02 | 13.99%| unknown
3301.93/3311.43 c 3311s| 37900 | 37901 | 29527k| 757.4 | 386M | 92 | 481 |1036 |1076 | 228k| 1 |1885 |2301 | 1.710720e+02 | 1.950000e+02 | 13.99%| unknown
3309.31/3318.88 c 3319s| 38000 | 38001 | 29598k| 757.3 | 386M | 92 | 481 |1038 |1075 | 229k| 1 |1895 |2303 | 1.710731e+02 | 1.950000e+02 | 13.99%| unknown
3315.40/3324.98 c 3325s| 38100 | 38101 | 29660k| 756.9 | 386M | 92 | 481 |1036 |1075 | 229k| 1 |1895 |2306 | 1.710740e+02 | 1.950000e+02 | 13.99%| unknown
3322.68/3332.20 c 3332s| 38200 | 38201 | 29734k| 756.9 | 386M | 92 | 481 |1030 |1073 | 230k| 1 |1897 |2311 | 1.710750e+02 | 1.950000e+02 | 13.99%| unknown
3328.66/3338.28 c 3338s| 38300 | 38301 | 29796k| 756.6 | 387M | 92 | 481 |1029 |1069 | 230k| 1 |1900 |2311 | 1.710760e+02 | 1.950000e+02 | 13.98%| unknown
3335.05/3344.66 c 3345s| 38400 | 38401 | 29858k| 756.2 | 387M | 92 | 481 |1032 |1073 | 230k| 1 |1907 |2313 | 1.710772e+02 | 1.950000e+02 | 13.98%| unknown
3341.23/3350.81 c 3351s| 38500 | 38501 | 29921k| 755.9 | 387M | 92 | 481 |1037 |1064 | 231k| 1 |1913 |2315 | 1.710795e+02 | 1.950000e+02 | 13.98%| unknown
3348.02/3357.64 c 3358s| 38600 | 38601 | 29989k| 755.7 | 387M | 92 | 481 |1037 |1016 | 231k| 1 |1918 |2316 | 1.710804e+02 | 1.950000e+02 | 13.98%| unknown
3356.00/3365.63 c 3366s| 38700 | 38701 | 30065k| 755.7 | 388M | 92 | 481 |1032 |1089 | 232k| 1 |1922 |2319 | 1.710812e+02 | 1.950000e+02 | 13.98%| unknown
3362.08/3371.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3362.08/3371.80 c 3372s| 38800 | 38801 | 30127k| 755.4 | 388M | 92 | 481 |1035 |1075 | 232k| 1 |1928 |2321 | 1.710828e+02 | 1.950000e+02 | 13.98%| unknown
3369.66/3379.32 c 3379s| 38900 | 38901 | 30198k| 755.3 | 388M | 92 | 481 |1036 |1066 | 233k| 1 |1935 |2321 | 1.710840e+02 | 1.950000e+02 | 13.98%| unknown
3377.64/3387.39 c 3387s| 39000 | 39001 | 30291k| 755.7 | 388M | 92 | 481 |1037 |1099 | 233k| 1 |1941 |2322 | 1.710846e+02 | 1.950000e+02 | 13.98%| unknown
3385.62/3395.35 c 3395s| 39100 | 39101 | 30367k| 755.7 | 388M | 92 | 481 |1032 |1041 | 234k| 1 |1944 |2322 | 1.710858e+02 | 1.950000e+02 | 13.98%| unknown
3391.60/3401.35 c 3401s| 39200 | 39201 | 30431k| 755.4 | 388M | 92 | 481 |1034 |1084 | 234k| 1 |1951 |2323 | 1.710866e+02 | 1.950000e+02 | 13.98%| unknown
3398.59/3408.38 c 3408s| 39300 | 39301 | 30501k| 755.3 | 388M | 92 | 481 |1038 |1081 | 235k| 1 |1957 |2323 | 1.710876e+02 | 1.950000e+02 | 13.98%| unknown
3404.97/3414.74 c 3415s| 39400 | 39401 | 30567k| 755.0 | 389M | 92 | 481 |1042 |1091 | 235k| 3 |1963 |2324 | 1.710885e+02 | 1.950000e+02 | 13.98%| unknown
3411.65/3421.43 c 3421s| 39500 | 39501 | 30633k| 754.8 | 389M | 92 | 481 |1042 |1084 | 236k| 1 |1966 |2325 | 1.710894e+02 | 1.950000e+02 | 13.98%| unknown
3418.25/3428.07 c 3428s| 39600 | 39601 | 30702k| 754.6 | 389M | 92 | 481 |1049 |1053 | 236k| 1 |1977 |2327 | 1.710900e+02 | 1.950000e+02 | 13.98%| unknown
3425.12/3435.00 c 3435s| 39700 | 39701 | 30769k| 754.4 | 389M | 92 | 481 |1055 |1089 | 237k| 1 |1988 |2331 | 1.710909e+02 | 1.950000e+02 | 13.97%| unknown
3431.50/3441.30 c 3441s| 39800 | 39801 | 30836k| 754.2 | 389M | 92 | 481 |1060 |1069 | 237k| 1 |1994 |2332 | 1.710921e+02 | 1.950000e+02 | 13.97%| unknown
3440.08/3449.96 c 3450s| 39900 | 39901 | 30914k| 754.3 | 389M | 92 | 481 |1059 |1070 | 238k| 1 |2005 |2337 | 1.710932e+02 | 1.950000e+02 | 13.97%| unknown
3446.37/3456.26 c 3456s| 40000 | 40001 | 30976k| 754.0 | 389M | 92 | 481 |1059 |1067 | 238k| 1 |2009 |2341 | 1.710943e+02 | 1.950000e+02 | 13.97%| unknown
3453.94/3463.88 c 3464s| 40100 | 40101 | 31054k| 754.0 | 390M | 92 | 481 |1061 |1082 | 239k| 1 |2020 |2342 | 1.710950e+02 | 1.950000e+02 | 13.97%| unknown
3460.03/3469.99 c 3470s| 40200 | 40201 | 31117k| 753.7 | 390M | 92 | 481 |1060 |1061 | 239k| 1 |2020 |2343 | 1.710961e+02 | 1.950000e+02 | 13.97%| unknown
3467.31/3477.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3467.31/3477.22 c 3477s| 40300 | 40301 | 31189k| 753.7 | 390M | 92 | 481 |1057 |1071 | 240k| 1 |2021 |2345 | 1.710973e+02 | 1.950000e+02 | 13.97%| unknown
3473.50/3483.41 c 3483s| 40400 | 40401 | 31249k| 753.3 | 390M | 92 | 481 |1051 |1084 | 240k| 1 |2021 |2346 | 1.710986e+02 | 1.950000e+02 | 13.97%| unknown
3480.68/3490.69 c 3491s| 40500 | 40501 | 31321k| 753.2 | 391M | 92 | 481 |1052 |1085 | 241k| 1 |2027 |2349 | 1.710995e+02 | 1.950000e+02 | 13.97%| unknown
3486.96/3497.00 c 3497s| 40600 | 40601 | 31387k| 753.0 | 391M | 92 | 481 |1050 |1077 | 241k| 1 |2031 |2350 | 1.711007e+02 | 1.950000e+02 | 13.97%| unknown
3493.84/3503.80 c 3504s| 40700 | 40701 | 31459k| 752.9 | 391M | 92 | 481 |1055 |1064 | 242k| 4 |2038 |2351 | 1.711021e+02 | 1.950000e+02 | 13.97%| unknown
3501.22/3511.23 c 3511s| 40800 | 40801 | 31544k| 753.1 | 391M | 92 | 481 |1050 |1067 | 242k| 1 |2041 |2351 | 1.711034e+02 | 1.950000e+02 | 13.97%| unknown
3508.61/3518.68 c 3519s| 40900 | 40901 | 31613k| 753.0 | 391M | 92 | 481 |1045 |1066 | 243k| 1 |2046 |2351 | 1.711040e+02 | 1.950000e+02 | 13.97%| unknown
3515.29/3525.31 c 3525s| 41000 | 41001 | 31684k| 752.9 | 391M | 92 | 481 |1048 |1072 | 243k| 1 |2054 |2353 | 1.711051e+02 | 1.950000e+02 | 13.97%| unknown
3522.77/3532.80 c 3533s| 41100 | 41101 | 31758k| 752.9 | 391M | 92 | 481 |1044 |1065 | 244k| 1 |2059 |2355 | 1.711056e+02 | 1.950000e+02 | 13.96%| unknown
3528.85/3538.95 c 3539s| 41200 | 41201 | 31825k| 752.6 | 391M | 92 | 481 |1048 |1064 | 244k| 1 |2063 |2355 | 1.711063e+02 | 1.950000e+02 | 13.96%| unknown
3533.95/3544.07 c 3544s| 41300 | 41301 | 31882k| 752.2 | 391M | 92 | 481 |1043 |1071 | 245k| 1 |2065 |2356 | 1.711073e+02 | 1.950000e+02 | 13.96%| unknown
3541.32/3551.41 c 3551s| 41400 | 41401 | 31954k| 752.1 | 391M | 92 | 481 |1043 |1062 | 245k| 1 |2072 |2356 | 1.711082e+02 | 1.950000e+02 | 13.96%| unknown
3547.71/3557.82 c 3558s| 41500 | 41501 | 32013k| 751.8 | 391M | 92 | 481 |1040 |1079 | 246k| 1 |2075 |2356 | 1.711089e+02 | 1.950000e+02 | 13.96%| unknown
3554.69/3564.80 c 3565s| 41600 | 41601 | 32084k| 751.7 | 391M | 92 | 481 |1043 |1058 | 246k| 1 |2082 |2358 | 1.711103e+02 | 1.950000e+02 | 13.96%| unknown
3561.98/3572.11 c 3572s| 41700 | 41701 | 32152k| 751.5 | 392M | 92 | 481 |1050 |1091 | 246k| 1 |2091 |2363 | 1.711122e+02 | 1.950000e+02 | 13.96%| unknown
3567.87/3578.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3567.87/3578.08 c 3578s| 41800 | 41801 | 32215k| 751.2 | 392M | 92 | 481 |1053 |1073 | 247k| 1 |2095 |2367 | 1.711132e+02 | 1.950000e+02 | 13.96%| unknown
3576.04/3586.29 c 3586s| 41900 | 41901 | 32294k| 751.3 | 392M | 92 | 481 |1055 |1090 | 247k| 1 |2099 |2371 | 1.711137e+02 | 1.950000e+02 | 13.96%| unknown
3582.32/3592.55 c 3593s| 42000 | 42001 | 32352k| 750.9 | 392M | 92 | 481 |1054 |1077 | 248k| 1 |2100 |2374 | 1.711148e+02 | 1.950000e+02 | 13.96%| unknown
3586.71/3597.00 c
3586.71/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.71/3597.00 c Solving Time (sec) : 3597.00
3586.71/3597.00 c Solving Nodes : 42065 (total of 43114 nodes in 2 runs)
3586.71/3597.00 c Primal Bound : +1.95000000000000e+02 (1146 solutions)
3586.71/3597.00 c Dual Bound : +1.71115369898758e+02
3586.71/3597.00 c Gap : 13.96 %
3586.71/3597.00 s SATISFIABLE
3586.71/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
3586.71/3597.00 v -x31 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
3586.71/3597.00 v x58 -x59 x60 -x61 x62 x63 -x64 -x65 -x66 x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 x83 x84 x85
3586.71/3597.00 v -x86 -x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 x102 -x103 -x104 -x105 -x106 x107 x108 x109 -x110
3586.71/3597.00 v x111 x112 -x113 x114 -x115 x116 x117 -x118 -x119 x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 x131 x132 x133 -x134
3586.71/3597.00 v -x135 x136 -x137 x138 -x139 -x140 x141 -x142 x143 -x144 -x145 x146 -x147 -x148 -x149 x150 -x151 x152 -x153 x154 x155 -x156 x157
3586.71/3597.00 v -x158 x159 -x160 x161 -x162 x163 x164 x165 x166 x167 x168 -x169 x170 -x171 -x172 -x173 -x174 x175 x176 x177 x178 -x179 -x180 -x181
3586.71/3597.00 v -x182 -x183 -x184 -x185 -x186 x187 x188 x189 -x190 -x191 x192 x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 x202 x203 -x204
3586.71/3597.00 v -x205 -x206 x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226
3586.71/3597.00 v x227 x228 -x229 x230 x231 x232 x233 -x234 -x235 x236 -x237 x238 x239 -x240 -x241 x242 x243 -x244 x245 -x246 x247 x248 x249 x250
3586.71/3597.00 v -x251 x252 -x253 x254 -x255 -x256 -x257 -x258 x259 -x260 x261 x262 x263 x264 x265 -x266 x267 x268 x269 x270 -x271 -x272 -x273 -x274
3586.71/3597.00 v x275 x276 -x277 -x278 -x279 -x280 x281 -x282 x283 -x284 -x285 -x286 x287 x288 -x289 -x290 -x291 x292 -x293 x294 -x295 -x296 x297
3586.71/3597.00 v x298 -x299 -x300 -x301 x302 x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 x313 -x314 -x315 -x316 x317 -x318 x319 -x320
3586.71/3597.00 v -x321 x322 x323 x324 x325 x326 -x327 x328 -x329 -x330 -x331 -x332 x333 x334 -x335 x336 -x337 x338 -x339 x340 -x341 -x342 x343 -x344
3586.71/3597.00 v -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 x353 -x354 -x355 x356 x357 -x358 -x359 x360 -x361 x362 x363 -x364 x365 x366 x367
3586.71/3597.00 v -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 x389 x390
3586.71/3597.00 v x391 x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 x401 x402 x403 x404 x405 -x406 x407 -x408 -x409 x410 -x411 x412 -x413 -x414
3586.71/3597.00 v -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 x423 -x424 x425 x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 x435 -x436 -x437
3586.71/3597.00 v x438 -x439 x440 x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 x451 x452 x453 -x454 x455 -x456 x457 -x458 -x459 x460 x461
3586.71/3597.00 v x462 x463 x464 -x465 x466 -x467 x468 -x469 -x470 x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 x480 -x481
3586.71/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.71/3597.00 c Total Time : 3597.00
3586.71/3597.00 c solving : 3597.00
3586.71/3597.00 c presolving : 0.07 (included in solving)
3586.71/3597.00 c reading : 0.01 (included in solving)
3586.71/3597.00 c copying : 0.05 (19 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3586.71/3597.00 c Original Problem :
3586.71/3597.00 c Problem name : HOME/instance-4489011-1751349476.opb
3586.71/3597.00 c Variables : 481 (481 binary, 0 integer, 0 continuous)
3586.71/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.71/3597.00 c Constraints : 481 initial, 481 maximal
3586.71/3597.00 c Objective : minimize, 481 non-zeros (abs.min = 1, abs.max = 1)
3586.71/3597.00 c Presolved Problem :
3586.71/3597.00 c Problem name : t_HOME/instance-4489011-1751349476.opb
3586.71/3597.00 c Variables : 481 (481 binary, 0 integer, 0 continuous)
3586.71/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.71/3597.00 c Constraints : 990 initial, 1061 maximal
3586.71/3597.00 c Objective : minimize, 481 non-zeros (abs.min = 1, abs.max = 1)
3586.71/3597.00 c Nonzeros : 13504 constraint, 254 clique table
3586.71/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.71/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c gateextraction : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c trivial : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c dualfix : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c knapsack : 0.01 0.00 17 0 0 0 0 0 50 274 424 1072
3586.71/3597.00 c setppc : 0.00 0.00 17 0 0 0 0 0 128 0 0 0
3586.71/3597.00 c linear : 0.02 0.00 8 0 0 0 0 0 1 0 12 87
3586.71/3597.00 c logicor : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.71/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.71/3597.00 c integral : 0 0 0 0 43113 0 0 17176 0 0 0 0 0 0 86226
3586.71/3597.00 c knapsack : 642 642 38 546941 0 0 0 17170 43671 0 10089 2104 104 0 0
3586.71/3597.00 c setppc : 127 127 38 546520 0 0 0 1236 21929 0 15119 0 0 0 0
3586.71/3597.00 c logicor : 221+ 295 38 105692 0 0 0 1236 556 339 338 0 0 0 0
3586.71/3597.00 c fixedvar : 0 0 0 0 0 0 0 1239 0 0 0 0 0 0 0
3586.71/3597.00 c countsols : 0 0 0 0 0 0 0 1239 0 0 0 0 0 0 0
3586.71/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.71/3597.00 c integral : 131.98 0.00 0.00 0.00 131.97 0.00 0.00 0.01 0.00 0.00
3586.71/3597.00 c knapsack : 1.59 0.00 0.08 1.41 0.00 0.00 0.00 0.07 0.02 0.01
3586.71/3597.00 c setppc : 0.28 0.00 0.00 0.27 0.00 0.00 0.00 0.00 0.01 0.00
3586.71/3597.00 c logicor : 0.21 0.00 0.00 0.21 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.71/3597.00 c dualfix : 3 0 0 0
3586.71/3597.00 c genvbounds : 0 0 0 0
3586.71/3597.00 c nlobbt : 0 0 0 0
3586.71/3597.00 c obbt : 0 0 0 0
3586.71/3597.00 c probing : 0 0 0 0
3586.71/3597.00 c pseudoobj : 102155 0 0 0
3586.71/3597.00 c redcost : 63 0 0 0
3586.71/3597.00 c rootredcost : 7 0 0 0
3586.71/3597.00 c symmetry : 0 0 0 0
3586.71/3597.00 c vbounds : 93713 0 0 0
3586.71/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.71/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.71/3597.00 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3586.71/3597.00 c pseudoobj : 0.13 0.00 0.00 0.13 0.00 0.00
3586.71/3597.00 c redcost : 0.08 0.00 0.00 0.08 0.00 0.00
3586.71/3597.00 c rootredcost : 0.05 0.00 0.00 0.05 0.00 0.00
3586.71/3597.00 c symmetry : 0.07 0.00 0.01 0.06 0.00 0.00
3586.71/3597.00 c vbounds : 0.08 0.00 0.00 0.07 0.00 0.00
3586.71/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.71/3597.00 c propagation : 0.01 339 335 - 547 103.6 0 0.0 - - -
3586.71/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.71/3597.00 c bound exceed. LP : 3.36 5911 1321 - 28107 97.2 0 0.0 0 0.0 43670
3586.71/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.71/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.71/3597.00 c applied globally : 0.01 - - 0 1260 67.0 - - 0 - -
3586.71/3597.00 c applied locally : - - - 0 845 92.1 - - 0 - -
3586.71/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.71/3597.00 c cut pool : 32.81 - 22768 66 - - 248976 1222628 - - - - - (maximal pool size: 4887)
3586.71/3597.00 c aggregation : 291.88 0.00 5424 38 0 0 2320 94931 0 33755 33755 0 0
3586.71/3597.00 c > cmir : - - - - - - - 61961 0 16948 16948 0 -
3586.71/3597.00 c > flowcover : - - - - - - - 8292 0 3575 3575 0 -
3586.71/3597.00 c > knapsackcover : - - - - - - - 24678 0 13232 13232 0 -
3586.71/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c clique : 0.01 0.00 38 38 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c gomory : 60.25 0.00 4679 20 0 0 238534 250539 0 4966 4966 0 0
3586.71/3597.00 c > gomorymi : - - - - - - - 155830 0 4846 4846 0 -
3586.71/3597.00 c > strongcg : - - - - - - - 94709 0 120 120 0 -
3586.71/3597.00 c impliedbounds : 0.09 0.00 5424 38 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c multilinear : 0.00 0.00 3803 38 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c rapidlearning : 0.19 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.71/3597.00 c zerohalf : 24.26 0.00 4695 36 0 0 8121 877158 0 217393 217393 0 0
3586.71/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.71/3597.00 c hybrid : 2.74 0.00 18068 37 256218 0 968514 825 0 11841
3586.71/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.71/3597.00 c problem variables: 0.00 - 0 0
3586.71/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.71/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c relpscost : 131.94 0.00 43113 0 0 0 0 0 0 86226
3586.71/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.71/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.71/3597.00 c LP solutions : 0.00 - - 0 0
3586.71/3597.00 c relax solutions : 0.00 - - 0 0
3586.71/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.71/3597.00 c strong branching : 0.19 - - 405 0
3586.71/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.71/3597.00 c adaptivediving : 17.87 0.00 35 2 0
3586.71/3597.00 c alns : 0.16 0.00 13 2 2
3586.71/3597.00 c bound : 0.00 0.00 0 0 0
3586.71/3597.00 c clique : 0.01 0.00 1 0 0
3586.71/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.71/3597.00 c completesol : 0.00 0.00 0 0 0
3586.71/3597.00 c conflictdiving : 308.18 0.00 824 1 0
3586.71/3597.00 c crossover : 0.09 0.00 2 2 2
3586.71/3597.00 c dins : 0.00 0.00 0 0 0
3586.71/3597.00 c distributiondivin: 168.88 0.00 219 0 0
3586.71/3597.00 c dks : 0.00 0.00 0 0 0
3586.71/3597.00 c dps : 0.00 0.00 0 0 0
3586.71/3597.00 c dualval : 0.00 0.00 0 0 0
3586.71/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.71/3597.00 c feaspump : 0.00 0.00 0 0 0
3586.71/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.71/3597.00 c fracdiving : 107.70 0.00 229 1 0
3586.71/3597.00 c gins : 0.03 0.00 3 0 0
3586.71/3597.00 c guideddiving : 109.86 0.00 283 7 0
3586.71/3597.00 c indicator : 0.00 0.00 0 0 0
3586.71/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.71/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.71/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.71/3597.00 c linesearchdiving : 78.89 0.00 287 0 0
3586.71/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.71/3597.00 c locks : 0.00 0.00 1 1 1
3586.71/3597.00 c lpface : 0.01 0.00 0 0 0
3586.71/3597.00 c mpec : 0.00 0.00 0 0 0
3586.71/3597.00 c multistart : 0.00 0.00 0 0 0
3586.71/3597.00 c mutation : 0.00 0.00 0 0 0
3586.71/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.71/3597.00 c objpscostdiving : 65.07 0.00 49 516 0
3586.71/3597.00 c octane : 0.00 0.00 0 0 0
3586.71/3597.00 c ofins : 0.00 0.00 0 0 0
3586.71/3597.00 c oneopt : 0.02 0.00 5 2 2
3586.71/3597.00 c padm : 0.00 0.00 0 0 0
3586.71/3597.00 c proximity : 0.00 0.00 0 0 0
3586.71/3597.00 c pscostdiving : 132.68 0.00 522 49 4
3586.71/3597.00 c randrounding : 0.74 0.00 15948 0 0
3586.71/3597.00 c rens : 0.00 0.00 0 0 0
3586.71/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.71/3597.00 c repair : 0.00 0.00 0 0 0
3586.71/3597.00 c rins : 0.69 0.00 1 1 0
3586.71/3597.00 c rootsoldiving : 12.01 0.00 72 0 0
3586.71/3597.00 c rounding : 4.64 0.00 3389 0 0
3586.71/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.71/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3586.71/3597.00 c shifting : 3.16 0.00 1960 0 0
3586.71/3597.00 c simplerounding : 1.25 0.00 61181 41 0
3586.71/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.71/3597.00 c trivial : 0.00 0.00 4 1 1
3586.71/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.71/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.71/3597.00 c trysol : 0.01 0.00 0 0 0
3586.71/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.71/3597.00 c undercover : 0.00 0.00 0 0 0
3586.71/3597.00 c vbounds : 0.00 0.00 0 0 0
3586.71/3597.00 c veclendiving : 86.90 0.00 316 1 0
3586.71/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.71/3597.00 c zirounding : 1.24 0.00 5701 114 0
3586.71/3597.00 c other solutions : - - - 0 -
3586.71/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.71/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
3586.71/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
3586.71/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
3586.71/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
3586.71/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
3586.71/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
3586.71/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
3586.71/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
3586.71/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.71/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.71/3597.00 c primal LP : 1.84 8273 0 0.00 0.00 1.84 8273
3586.71/3597.00 c dual LP : 1934.79 61182 20214181 330.39 10447.72 0.00 0
3586.71/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.71/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.71/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.71/3597.00 c diving/probing LP: 1009.43 32130 12185423 379.25 12071.58
3586.71/3597.00 c strong branching : 125.26 2376 1344188 565.74 10730.96 - - 348
3586.71/3597.00 c (at root node) : - 79 63186 799.82 -
3586.71/3597.00 c conflict analysis: 2.41 4393 43670 9.94 18087.07
3586.71/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.71/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.71/3597.00 c B&B Tree :
3586.71/3597.00 c number of runs : 2
3586.71/3597.00 c nodes : 42065 (42064 internal, 1 leaves)
3586.71/3597.00 c feasible leaves : 0
3586.71/3597.00 c infeas. leaves : 0
3586.71/3597.00 c objective leaves : 0
3586.71/3597.00 c nodes (total) : 43114 (43113 internal, 1 leaves)
3586.71/3597.00 c nodes left : 42065
3586.71/3597.00 c max depth : 92
3586.71/3597.00 c max depth (total): 92
3586.71/3597.00 c backtracks : 4219 (10.0%)
3586.71/3597.00 c early backtracks : 0 (0.0%)
3586.71/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.71/3597.00 c delayed cutoffs : 0
3586.71/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.71/3597.00 c avg switch length: 4.06
3586.71/3597.00 c switching time : 3.33
3586.71/3597.00 c Root Node :
3586.71/3597.00 c First LP value : +1.55539002385637e+02
3586.71/3597.00 c First LP Iters : 10102 (7407.71 Iter/sec)
3586.71/3597.00 c First LP Time : 1.36
3586.71/3597.00 c Final Dual Bound : +1.69144887423181e+02
3586.71/3597.00 c Final Root Iters : 27309
3586.71/3597.00 c Root LP Estimate : +2.54785250027495e+02
3586.71/3597.00 c Solution :
3586.71/3597.00 c Solutions found : 1146 (12 improvements)
3586.71/3597.00 c First Solution : +4.81000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
3586.71/3597.00 c Gap First Sol. : infinite
3586.71/3597.00 c Gap Last Sol. : 15.45 %
3586.71/3597.00 c Primal Bound : +1.95000000000000e+02 (in run 1, after 510 nodes, 75.45 seconds, depth 27, found by <crossover>)
3586.71/3597.00 c Dual Bound : +1.71115369898758e+02
3586.71/3597.00 c Gap : 13.96 %
3586.71/3597.00 c Integrals : Total Avg%
3586.71/3597.00 c primal-dual : 45504.91 12.65
3586.71/3597.00 c primal-ref : - - (not evaluated)
3586.71/3597.00 c dual-ref : - - (not evaluated)
3587.01/3597.22 c Time complete (sec): 3587.042
OK 195
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 (63668 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489011-1751349476/watcher-4489011-1751349476 -o /tmp/evaluation-result-4489011-1751349476/solver-4489011-1751349476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751349476-60199 --watchdog 3760 pbsolver -f HOME/instance-4489011-1751349476.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=60256, runsolver pid=60241
[startup+0.100071 s]*
/proc/loadavg: 1.56 1.98 2.15 8/253 60257
/proc/meminfo: memFree=129658272/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=29032 memory=19840 CPUtime=0.1 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 2558 0 0 0 10 0 0 0 20 0 1 0 50626811 29728768 4960 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 7258 4960 2656 2575 0 4165 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29032 KiB
Current children cumulated memory: 19840 KiB
[startup+0.212997 s]*
/proc/loadavg: 1.56 1.98 2.15 8/253 60257
/proc/meminfo: memFree=129652148/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=29196 memory=20096 CPUtime=0.21 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 2623 0 0 0 21 0 0 0 20 0 1 0 50626811 29896704 5024 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 7299 5024 2656 2575 0 4206 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29196 KiB
Current children cumulated memory: 20096 KiB
[startup+0.312813 s]*
/proc/loadavg: 1.56 1.98 2.15 7/253 60257
/proc/meminfo: memFree=129649124/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=29484 memory=20224 CPUtime=0.31 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 2662 0 0 0 31 0 0 0 20 0 1 0 50626811 30191616 5056 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 7371 5056 2656 2575 0 4278 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29484 KiB
Current children cumulated memory: 20224 KiB
[startup+0.700272 s]
/proc/loadavg: 1.56 1.98 2.15 8/253 60257
/proc/meminfo: memFree=129649124/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=29484 memory=20224 CPUtime=0.68 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 2675 0 0 0 68 0 0 0 20 0 1 0 50626811 30191616 5056 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 7371 5056 2656 2575 0 4278 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29484 KiB
Current children cumulated memory: 20224 KiB
[startup+1.50028 s]
/proc/loadavg: 1.56 1.98 2.15 8/253 60257
/proc/meminfo: memFree=129645348/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=37508 memory=28160 CPUtime=1.48 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 4664 0 0 0 147 1 0 0 20 0 1 0 50626811 38408192 7040 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 9377 7040 2656 2575 0 6284 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37508 KiB
Current children cumulated memory: 28160 KiB
[startup+3.11228 s]
/proc/loadavg: 1.56 1.98 2.15 8/253 60257
/proc/meminfo: memFree=129217064/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=160844 memory=148012 CPUtime=3.09 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 36220 0 0 0 301 8 0 0 20 0 1 0 50626811 164704256 37003 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 40211 37003 2656 2575 0 37118 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 160844 KiB
Current children cumulated memory: 148012 KiB
[startup+6.30023 s]
/proc/loadavg: 1.76 2.02 2.16 8/253 60257
/proc/meminfo: memFree=129177108/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=165316 memory=151852 CPUtime=6.26 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 37186 0 0 0 618 8 0 0 20 0 1 0 50626811 169283584 37963 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 41329 37963 2656 2575 0 38236 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 165316 KiB
Current children cumulated memory: 151852 KiB
[startup+12.7002 s]
/proc/loadavg: 1.94 2.05 2.17 8/253 60257
/proc/meminfo: memFree=129112596/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=165316 memory=151980 CPUtime=12.65 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 37194 0 0 0 1257 8 0 0 20 0 1 0 50626811 169283584 37995 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 41329 37995 2656 2575 0 38236 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 165316 KiB
Current children cumulated memory: 151980 KiB
[startup+25.5003 s]
/proc/loadavg: 2.40 2.15 2.20 8/253 60258
/proc/meminfo: memFree=128975516/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=220488 memory=206340 CPUtime=25.42 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 51436 0 0 0 2531 11 0 0 20 0 1 0 50626811 225779712 51585 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 55122 51585 2656 2575 0 52029 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 220488 KiB
Current children cumulated memory: 206340 KiB
[startup+51.1121 s]
/proc/loadavg: 3.07 2.33 2.26 8/254 60259
/proc/meminfo: memFree=128919092/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=218908 memory=204776 CPUtime=50.97 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 51441 0 0 0 5086 11 0 0 20 0 1 0 50626811 224161792 51194 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 54727 51194 2656 2575 0 51634 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 218908 KiB
Current children cumulated memory: 204776 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.60 2.36 8/253 60263
/proc/meminfo: memFree=128814196/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=220284 memory=206072 CPUtime=102.02 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 52047 0 0 0 10191 11 0 0 20 0 1 0 50626811 225570816 51518 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 55071 51518 2656 2575 0 51978 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 220284 KiB
Current children cumulated memory: 206072 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.88 2.47 8/253 60265
/proc/meminfo: memFree=128570056/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=304992 memory=291508 CPUtime=161.86 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 73651 0 0 0 16170 16 0 0 20 0 1 0 50626811 312311808 72877 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 76248 72877 2656 2575 0 73155 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 304992 KiB
Current children cumulated memory: 291508 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.11 2.58 8/253 60278
/proc/meminfo: memFree=128481740/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=339484 memory=325300 CPUtime=221.7 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 82089 0 0 0 22152 18 0 0 20 0 1 0 50626811 347631616 81325 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 84871 81325 2656 2575 0 81778 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 339484 KiB
Current children cumulated memory: 325300 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.29 2.68 8/253 60285
/proc/meminfo: memFree=128468348/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=342672 memory=330548 CPUtime=281.54 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 82937 0 0 0 28135 19 0 0 20 0 1 0 50626811 350896128 82637 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 85668 82637 2656 2575 0 82575 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 342672 KiB
Current children cumulated memory: 330548 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.44 2.77 8/250 60287
/proc/meminfo: memFree=128437200/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=343880 memory=332468 CPUtime=341.38 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 83261 0 0 0 34119 19 0 0 20 0 1 0 50626811 352133120 83117 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 85970 83117 2656 2575 0 82877 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 343880 KiB
Current children cumulated memory: 332468 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.57 2.86 8/250 60289
/proc/meminfo: memFree=128402128/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=347904 memory=338228 CPUtime=401.21 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 84121 0 0 0 40102 19 0 0 20 0 1 0 50626811 356253696 84557 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 86976 84557 2656 2575 0 83883 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 347904 KiB
Current children cumulated memory: 338228 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.67 2.94 8/250 60291
/proc/meminfo: memFree=128411532/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=353056 memory=345652 CPUtime=461.06 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 85674 0 0 0 46087 19 0 0 20 0 1 0 50626811 361529344 86413 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 88264 86413 2656 2575 0 85171 0
Current children cumulated CPU time: 461.06 s
################
# More data... #
################
/proc/loadavg: 4.11 4.11 4.04 8/250 60417
/proc/meminfo: memFree=128111516/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=402848 memory=395048 CPUtime=3153.22 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 100277 0 0 0 315299 23 0 0 20 0 1 0 50626811 412516352 98762 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 100712 98762 2656 2575 0 97619 0
Current children cumulated CPU time: 3153.22 s
Current children cumulated vsize: 402848 KiB
Current children cumulated memory: 395048 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.04 8/250 60419
/proc/meminfo: memFree=128116288/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=403876 memory=396072 CPUtime=3213.06 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 100569 0 0 0 321283 23 0 0 20 0 1 0 50626811 413569024 99018 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 100969 99018 2656 2575 0 97876 0
Current children cumulated CPU time: 3213.06 s
Current children cumulated vsize: 403876 KiB
Current children cumulated memory: 396072 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.04 8/250 60426
/proc/meminfo: memFree=128135740/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=404460 memory=396712 CPUtime=3272.91 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 100724 0 0 0 327268 23 0 0 20 0 1 0 50626811 414167040 99178 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 101115 99178 2656 2575 0 98022 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 404460 KiB
Current children cumulated memory: 396712 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.04 8/250 60428
/proc/meminfo: memFree=128135548/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=405804 memory=398120 CPUtime=3332.75 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 101193 0 0 0 333252 23 0 0 20 0 1 0 50626811 415543296 99530 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 101451 99530 2656 2575 0 98358 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 405804 KiB
Current children cumulated memory: 398120 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.04 8/250 60429
/proc/meminfo: memFree=128127508/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=406980 memory=398504 CPUtime=3392.6 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 101246 0 0 0 339237 23 0 0 20 0 1 0 50626811 416747520 99626 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 101745 99626 2656 2575 0 98652 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 406980 KiB
Current children cumulated memory: 398504 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.11 4.05 8/250 60431
/proc/meminfo: memFree=128125788/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=407976 memory=399528 CPUtime=3452.45 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 101830 0 0 0 345222 23 0 0 20 0 1 0 50626811 417767424 99882 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 101994 99882 2656 2575 0 98901 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 407976 KiB
Current children cumulated memory: 399528 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.06 8/250 60433
/proc/meminfo: memFree=128129844/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=409504 memory=401064 CPUtime=3512.3 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 102218 0 0 0 351207 23 0 0 20 0 1 0 50626811 419332096 100266 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 102376 100266 2656 2575 0 99283 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 409504 KiB
Current children cumulated memory: 401064 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.06 8/249 60435
/proc/meminfo: memFree=128119412/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=410120 memory=401704 CPUtime=3572.15 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 102375 0 0 0 357192 23 0 0 20 0 1 0 50626811 419962880 100426 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 102530 100426 2656 2575 0 99437 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 410120 KiB
Current children cumulated memory: 401704 KiB
[startup+3597.23 s]
# the end of solver process 60256 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.8 s, system=0.243943 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 8/249 60435
/proc/meminfo: memFree=128119664/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=410340 memory=401832 CPUtime=3573.85 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 102407 0 0 0 357362 23 0 0 20 0 1 0 50626811 420188160 100458 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 102585 100458 2656 2575 0 99492 0
Current children cumulated CPU time: 3573.85 s
Current children cumulated vsize: 410340 KiB
Current children cumulated memory: 401832 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.06 8/249 60436
/proc/meminfo: memFree=128119916/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=410340 memory=401832 CPUtime=3580.23 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 102420 0 0 0 358000 23 0 0 20 0 1 0 50626811 420188160 100458 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 102585 100458 2656 2575 0 99492 0
Current children cumulated CPU time: 3580.23 s
Current children cumulated vsize: 410340 KiB
Current children cumulated memory: 401832 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.06 8/249 60436
/proc/meminfo: memFree=128120168/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=410340 memory=401832 CPUtime=3583.42 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 102422 0 0 0 358319 23 0 0 20 0 1 0 50626811 420188160 100458 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 102585 100458 2656 2575 0 99492 0
Current children cumulated CPU time: 3583.42 s
Current children cumulated vsize: 410340 KiB
Current children cumulated memory: 401832 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.12 4.06 8/249 60436
/proc/meminfo: memFree=128120168/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=410340 memory=401832 CPUtime=3585.01 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 102422 0 0 0 358478 23 0 0 20 0 1 0 50626811 420188160 100458 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 102585 100458 2656 2575 0 99492 0
Current children cumulated CPU time: 3585.01 s
Current children cumulated vsize: 410340 KiB
Current children cumulated memory: 401832 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.12 4.06 8/249 60436
/proc/meminfo: memFree=128120168/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=410340 memory=401832 CPUtime=3585.82 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 102422 0 0 0 358559 23 0 0 20 0 1 0 50626811 420188160 100458 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 102585 100458 2656 2575 0 99492 0
Current children cumulated CPU time: 3585.82 s
Current children cumulated vsize: 410340 KiB
Current children cumulated memory: 401832 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.06 8/249 60436
/proc/meminfo: memFree=128120168/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=410340 memory=401832 CPUtime=3586.61 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 102422 0 0 0 358638 23 0 0 20 0 1 0 50626811 420188160 100458 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 102585 100458 2656 2575 0 99492 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 410340 KiB
Current children cumulated memory: 401832 KiB
[startup+3597.2 s]
/proc/loadavg: 4.12 4.12 4.06 8/249 60436
/proc/meminfo: memFree=128120420/131382112 swapFree=33010684/33010684
[pid=60256] ppid=60241 vsize=405200 memory=396824 CPUtime=3587.01 cores=1,3
/proc/60256/stat : 60256 (pbsolver) R 60241 60256 60187 0 -1 4194304 102424 0 0 0 358677 24 0 0 20 0 1 0 50626811 414924800 99206 18446744073709551615 4198400 14743177 140734018655280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 41930752 140734018656650 140734018656746 140734018656746 140734018662348 0
/proc/60256/statm: 101300 99206 2656 2575 0 98207 0
Current children cumulated CPU time: 3587.01 s
Current children cumulated vsize: 405200 KiB
Current children cumulated memory: 396824 KiB
Child status: 0
Real time (s): 3597.23
CPU time (s): 3587.05
CPU user time (s): 3586.8
CPU system time (s): 0.243943
CPU usage (%): 99.7169
Max. virtual memory (cumulated for all children) (KiB): 410340
Max. memory (cumulated for all children) (KiB): 401832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.8
system time used= 0.243943
maximum resident set size= 401832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102430
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= 26
involuntary context switches= 2409
# summary of solver processes directly reported to runsolver:
# pid: 60256
# total CPU time (s): 3587.05
# total CPU user time (s): 3586.8
# total CPU system time (s): 0.243943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7034 second user time and 30.8567 second system time
The end
Begin job on nodeC007 at 2025-07-01 07:57:57 IDJOB=4489011 IDBENCH=147536 IDSOLVER=3366 FILE ID=nodeC007/4489011-1751349476 RUNJOBID= nodeC007-1751349476-60199 SLURM_JOB_ID= 9598128 Free space on /tmp= 433016 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489011-1751349476/watcher-4489011-1751349476 -o /tmp/evaluation-result-4489011-1751349476/solver-4489011-1751349476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751349476-60199 --watchdog 3760 pbsolver -f HOME/instance-4489011-1751349476.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 86551de4ee1411a66be87614daaae1c0 RANDOM SEED=1153213269 nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.195 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.253 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.204 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.203 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.200 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 129701036 kB MemAvailable: 129944024 kB Buffers: 3280 kB Cached: 1049564 kB SwapCached: 0 kB Active: 315648 kB Inactive: 803064 kB Active(anon): 83828 kB Inactive(anon): 0 kB Active(file): 231820 kB Inactive(file): 803064 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 60152 kB Writeback: 8 kB AnonPages: 68940 kB Mapped: 102520 kB Shmem: 17960 kB KReclaimable: 95464 kB Slab: 178816 kB SReclaimable: 95464 kB SUnreclaim: 83352 kB KernelStack: 3824 kB PageTables: 2772 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 331336 kB VmallocTotal: 34359738367 kB VmallocUsed: 149256 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 10186752 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 432956 MiB End job on nodeC007 at 2025-07-01 08:57:54