Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | -347 | 3588 | 3597.72 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-sorrell8.opb |
| MD5SUM | 3efa309da6b8ed2e5ff01ccb25d0dd51 |
| 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 | -350 |
| Best CPU time to get the best result obtained on this benchmark | 3581.82 |
| 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 | 2046 |
| Total number of constraints | 18944 |
| Number of constraints which are clauses | 18944 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 2046 |
| 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 | 2046 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 2046 |
| Number of bits of the biggest sum of numbers | 11 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4522100-1751578528.opb>
0.00/0.04 c original problem has 2046 variables (2046 bin, 0 int, 0 impl, 0 cont) and 18944 constraints
0.00/0.04 c problem read in 0.03
0.00/0.06 o 0
0.00/0.06 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.00/0.06 c presolving:
0.08/0.11 c (0.1s) running MILP presolver
0.08/0.13 c (0.1s) MILP presolver found nothing
0.08/0.16 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 18944 upgd conss, 0 impls, 18944 clqs
0.19/0.23 c (0.2s) probing: 51/2046 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.19/0.24 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.19/0.26 c (0.3s) symmetry computation finished: 11 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.19/0.28 c dynamic symmetry handling statistics:
0.19/0.28 c orbitopal reduction: no components
0.19/0.28 c orbital reduction: 5 components of sizes 3, 2, 2, 2, 2
0.19/0.28 c lexicographic reduction: 11 permutations with support sizes 924, 452, 452, 320, 660, 330, 160, 50, 110, 22, 10
0.19/0.28 c handled 5 out of 5 symmetry components
805.62/808.09 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
805.62/808.09 c 462 deleted vars, 2900 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
805.62/808.09 c 0 implications, 16044 cliques
805.62/808.09 c presolved problem has 1584 variables (1584 bin, 0 int, 0 impl, 0 cont) and 16044 constraints
805.62/808.09 c 16044 constraints of type <setppc>
805.62/808.09 c transformed objective value is always integral (scale: 1)
805.62/808.09 c Presolving Time: 808.03
805.62/808.09 c - non default parameters ----------------------------------------------------------------------
805.62/808.09 c # SCIP version 10.0.0
805.62/808.09 c
805.62/808.09 c # maximal time in seconds to run
805.62/808.09 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
805.62/808.09 c limits/time = 3596.998011
805.62/808.09 c
805.62/808.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
805.62/808.09 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
805.62/808.09 c limits/memory = 27900
805.62/808.09 c
805.62/808.09 c # belongs reading time to solving time?
805.62/808.09 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
805.62/808.09 c timing/reading = TRUE
805.62/808.09 c
805.62/808.09 c -----------------------------------------------------------------------------------------------
805.62/808.09 c start solving
805.62/808.09 c
805.62/808.10 o -98
805.62/808.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
805.62/808.10 c t 808s| 1 | 0 | 0 | - | trivial| 0 |1584 | 16k| 0 | 0 | 0 | 0 | 0 |-1.682000e+03 |-9.800000e+01 |1616.33%| unknown
805.72/808.14 o -276
805.72/808.14 c p 808s| 1 | 0 | 0 | - | clique| 0 |1584 | 16k| 16k| 0 | 0 | 0 | 0 |-1.682000e+03 |-2.760000e+02 | 509.42%| unknown
805.72/808.15 o -297
805.72/808.15 c p 808s| 1 | 0 | 0 | - | locks| 0 |1584 | 16k| 16k| 0 | 0 | 0 | 0 |-1.682000e+03 |-2.970000e+02 | 466.33%| unknown
805.82/808.21 o -304
805.82/808.21 c i 808s| 1 | 0 | 269 | - | oneopt| 0 |1584 | 16k| 16k| 0 | 0 | 0 | 0 |-1.682000e+03 |-3.040000e+02 | 453.29%| unknown
805.92/808.32 c 808s| 1 | 0 | 1904 | - | 71M | 0 |1584 | 16k| 16k| 0 | 0 | 0 | 0 |-8.900000e+02 |-3.040000e+02 | 192.76%| unknown
806.31/808.72 c 809s| 1 | 0 | 2925 | - | 80M | 0 |1584 | 16k| 16k| 151 | 1 | 0 | 0 |-8.040000e+02 |-3.040000e+02 | 164.47%| unknown
806.51/808.99 c 809s| 1 | 0 | 3675 | - | 81M | 0 |1584 | 16k| 16k| 287 | 2 | 0 | 0 |-7.565000e+02 |-3.040000e+02 | 148.85%| unknown
806.81/809.24 c 809s| 1 | 0 | 4535 | - | 83M | 0 |1584 | 16k| 16k| 419 | 3 | 0 | 0 |-7.182500e+02 |-3.040000e+02 | 136.27%| unknown
807.01/809.48 c 809s| 1 | 0 | 5370 | - | 85M | 0 |1584 | 16k| 16k| 549 | 4 | 0 | 0 |-6.910500e+02 |-3.040000e+02 | 127.32%| unknown
807.31/809.75 c 810s| 1 | 0 | 6581 | - | 87M | 0 |1584 | 16k| 16k| 681 | 5 | 0 | 0 |-6.681667e+02 |-3.040000e+02 | 119.79%| unknown
807.61/810.00 c 810s| 1 | 0 | 7715 | - | 90M | 0 |1584 | 16k| 16k| 806 | 6 | 0 | 0 |-6.484583e+02 |-3.040000e+02 | 113.31%| unknown
807.81/810.29 c 810s| 1 | 0 | 9120 | - | 93M | 0 |1584 | 16k| 16k| 919 | 7 | 0 | 0 |-6.305794e+02 |-3.040000e+02 | 107.43%| unknown
808.11/810.57 c 811s| 1 | 0 | 10553 | - | 95M | 0 |1584 | 16k| 17k|1045 | 8 | 0 | 0 |-6.179435e+02 |-3.040000e+02 | 103.27%| unknown
808.51/810.98 c 811s| 1 | 0 | 12529 | - | 98M | 0 |1584 | 16k| 17k|1161 | 9 | 0 | 0 |-6.058462e+02 |-3.040000e+02 | 99.29%| unknown
809.01/811.40 c 811s| 1 | 0 | 14589 | - | 101M | 0 |1584 | 16k| 17k|1270 | 10 | 0 | 0 |-5.981015e+02 |-3.040000e+02 | 96.74%| unknown
809.30/811.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
809.30/811.78 c 812s| 1 | 0 | 16506 | - | 104M | 0 |1584 | 16k| 17k|1382 | 11 | 0 | 0 |-5.858875e+02 |-3.040000e+02 | 92.73%| unknown
809.80/812.21 c 812s| 1 | 0 | 18764 | - | 106M | 0 |1584 | 16k| 17k|1499 | 12 | 0 | 0 |-5.763293e+02 |-3.040000e+02 | 89.58%| unknown
810.20/812.65 c 813s| 1 | 0 | 20919 | - | 108M | 0 |1584 | 16k| 17k|1595 | 13 | 0 | 0 |-5.658104e+02 |-3.040000e+02 | 86.12%| unknown
810.61/813.05 c 813s| 1 | 0 | 23004 | - | 110M | 0 |1584 | 16k| 17k|1677 | 14 | 0 | 0 |-5.591801e+02 |-3.040000e+02 | 83.94%| unknown
811.00/813.43 c 813s| 1 | 0 | 24971 | - | 112M | 0 |1584 | 16k| 17k|1749 | 15 | 0 | 0 |-5.517803e+02 |-3.040000e+02 | 81.51%| unknown
811.30/813.77 c 814s| 1 | 0 | 26704 | - | 114M | 0 |1584 | 16k| 17k|1820 | 16 | 0 | 0 |-5.455970e+02 |-3.040000e+02 | 79.47%| unknown
811.60/814.08 c 814s| 1 | 0 | 28231 | - | 116M | 0 |1584 | 16k| 17k|1884 | 17 | 0 | 0 |-5.409193e+02 |-3.040000e+02 | 77.93%| unknown
812.00/814.43 c 814s| 1 | 0 | 30137 | - | 117M | 0 |1584 | 16k| 17k|1947 | 18 | 0 | 0 |-5.365489e+02 |-3.040000e+02 | 76.50%| unknown
812.20/814.67 c 815s| 1 | 0 | 31222 | - | 120M | 0 |1584 | 16k| 17k|1992 | 19 | 0 | 0 |-5.338590e+02 |-3.040000e+02 | 75.61%| unknown
812.50/814.98 c 815s| 1 | 0 | 32711 | - | 123M | 0 |1584 | 16k| 17k|2050 | 20 | 0 | 0 |-5.293980e+02 |-3.040000e+02 | 74.14%| unknown
812.80/815.24 c 815s| 1 | 0 | 34116 | - | 123M | 0 |1584 | 16k| 17k|2064 | 21 | 0 | 0 |-5.263220e+02 |-3.040000e+02 | 73.13%| unknown
813.00/815.40 c 815s| 1 | 0 | 34606 | - | 123M | 0 |1584 | 16k| 17k|2078 | 22 | 0 | 0 |-5.249223e+02 |-3.040000e+02 | 72.67%| unknown
813.19/815.60 c 816s| 1 | 0 | 35363 | - | 123M | 0 |1584 | 16k| 17k|2087 | 23 | 0 | 0 |-5.232292e+02 |-3.040000e+02 | 72.11%| unknown
813.29/815.79 c 816s| 1 | 0 | 35980 | - | 123M | 0 |1584 | 16k| 17k|2101 | 24 | 0 | 0 |-5.210970e+02 |-3.040000e+02 | 71.41%| unknown
813.49/815.94 c 816s| 1 | 0 | 36318 | - | 123M | 0 |1584 | 16k| 17k|2110 | 25 | 0 | 0 |-5.202411e+02 |-3.040000e+02 | 71.13%| unknown
813.70/816.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
813.70/816.11 c 816s| 1 | 0 | 36797 | - | 123M | 0 |1584 | 16k| 17k|2118 | 26 | 0 | 0 |-5.186958e+02 |-3.040000e+02 | 70.62%| unknown
813.89/816.30 c 816s| 1 | 0 | 37459 | - | 123M | 0 |1584 | 16k| 17k|2128 | 27 | 0 | 0 |-5.161271e+02 |-3.040000e+02 | 69.78%| unknown
813.99/816.46 c 816s| 1 | 0 | 37991 | - | 124M | 0 |1584 | 16k| 17k|2135 | 28 | 0 | 0 |-5.140252e+02 |-3.040000e+02 | 69.09%| unknown
814.19/816.68 c 817s| 1 | 0 | 38877 | - | 124M | 0 |1584 | 16k| 17k|2143 | 29 | 0 | 0 |-5.120896e+02 |-3.040000e+02 | 68.45%| unknown
814.39/816.85 c 817s| 1 | 0 | 39594 | - | 124M | 0 |1584 | 16k| 17k|2153 | 30 | 0 | 0 |-5.094641e+02 |-3.040000e+02 | 67.59%| unknown
814.60/817.01 c 817s| 1 | 0 | 40229 | - | 124M | 0 |1584 | 16k| 17k|2172 | 31 | 0 | 0 |-5.073955e+02 |-3.040000e+02 | 66.91%| unknown
814.70/817.17 c 817s| 1 | 0 | 40740 | - | 124M | 0 |1584 | 16k| 17k|2197 | 32 | 0 | 0 |-5.061100e+02 |-3.040000e+02 | 66.48%| unknown
814.79/817.29 c 817s| 1 | 0 | 41087 | - | 124M | 0 |1584 | 16k| 17k|2218 | 33 | 0 | 0 |-5.053134e+02 |-3.040000e+02 | 66.22%| unknown
814.99/817.46 c 817s| 1 | 0 | 41708 | - | 124M | 0 |1584 | 16k| 17k|2234 | 34 | 0 | 0 |-5.035108e+02 |-3.040000e+02 | 65.63%| unknown
815.19/817.65 c 818s| 1 | 0 | 42419 | - | 124M | 0 |1584 | 16k| 17k|2258 | 35 | 0 | 0 |-5.016880e+02 |-3.040000e+02 | 65.03%| unknown
815.39/817.82 c 818s| 1 | 0 | 43120 | - | 125M | 0 |1584 | 16k| 17k|2296 | 36 | 0 | 0 |-4.992552e+02 |-3.040000e+02 | 64.23%| unknown
815.49/817.94 c 818s| 1 | 0 | 43508 | - | 125M | 0 |1584 | 16k| 17k|2322 | 37 | 0 | 0 |-4.985632e+02 |-3.040000e+02 | 64.00%| unknown
815.59/818.08 c 818s| 1 | 0 | 43970 | - | 125M | 0 |1584 | 16k| 17k|2338 | 38 | 0 | 0 |-4.976728e+02 |-3.040000e+02 | 63.71%| unknown
815.79/818.25 c 818s| 1 | 0 | 44546 | - | 126M | 0 |1584 | 16k| 17k|2360 | 39 | 0 | 0 |-4.958179e+02 |-3.040000e+02 | 63.10%| unknown
815.99/818.42 c 818s| 1 | 0 | 45116 | - | 126M | 0 |1584 | 16k| 17k|2378 | 40 | 0 | 0 |-4.940818e+02 |-3.040000e+02 | 62.53%| unknown
816.19/818.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
816.19/818.60 c 819s| 1 | 0 | 45697 | - | 126M | 0 |1584 | 16k| 17k|2392 | 41 | 0 | 0 |-4.919731e+02 |-3.040000e+02 | 61.83%| unknown
816.29/818.76 c 819s| 1 | 0 | 46384 | - | 126M | 0 |1584 | 16k| 17k|2402 | 42 | 0 | 0 |-4.904175e+02 |-3.040000e+02 | 61.32%| unknown
816.49/818.90 c 819s| 1 | 0 | 46854 | - | 126M | 0 |1584 | 16k| 17k|2416 | 43 | 0 | 0 |-4.890952e+02 |-3.040000e+02 | 60.89%| unknown
816.59/819.05 c 819s| 1 | 0 | 47345 | - | 126M | 0 |1584 | 16k| 17k|2427 | 44 | 0 | 0 |-4.883926e+02 |-3.040000e+02 | 60.66%| unknown
816.79/819.22 c 819s| 1 | 0 | 47953 | - | 126M | 0 |1584 | 16k| 17k|2443 | 45 | 0 | 0 |-4.873847e+02 |-3.040000e+02 | 60.32%| unknown
816.98/819.40 c 819s| 1 | 0 | 48598 | - | 127M | 0 |1584 | 16k| 17k|2452 | 46 | 0 | 0 |-4.860214e+02 |-3.040000e+02 | 59.88%| unknown
817.08/819.54 c 820s| 1 | 0 | 49063 | - | 127M | 0 |1584 | 16k| 17k|2465 | 47 | 0 | 0 |-4.841418e+02 |-3.040000e+02 | 59.26%| unknown
817.28/819.71 c 820s| 1 | 0 | 49642 | - | 127M | 0 |1584 | 16k| 17k|2493 | 48 | 0 | 0 |-4.819565e+02 |-3.040000e+02 | 58.54%| unknown
817.38/819.83 c 820s| 1 | 0 | 49962 | - | 127M | 0 |1584 | 16k| 17k|2520 | 49 | 0 | 0 |-4.810042e+02 |-3.040000e+02 | 58.23%| unknown
817.48/819.98 c 820s| 1 | 0 | 50383 | - | 128M | 0 |1584 | 16k| 17k|2535 | 50 | 0 | 0 |-4.793711e+02 |-3.040000e+02 | 57.69%| unknown
817.69/820.14 c 820s| 1 | 0 | 50923 | - | 128M | 0 |1584 | 16k| 17k|2547 | 51 | 0 | 0 |-4.770684e+02 |-3.040000e+02 | 56.93%| unknown
817.88/820.34 c 820s| 1 | 0 | 51818 | - | 128M | 0 |1584 | 16k| 17k|2565 | 52 | 0 | 0 |-4.752420e+02 |-3.040000e+02 | 56.33%| unknown
818.08/820.51 c 820s| 1 | 0 | 52503 | - | 128M | 0 |1584 | 16k| 17k|2589 | 53 | 0 | 0 |-4.737095e+02 |-3.040000e+02 | 55.83%| unknown
818.18/820.63 c 821s| 1 | 0 | 52898 | - | 128M | 0 |1584 | 16k| 17k|2615 | 54 | 0 | 0 |-4.726040e+02 |-3.040000e+02 | 55.46%| unknown
818.28/820.78 c 821s| 1 | 0 | 53336 | - | 128M | 0 |1584 | 16k| 17k|2630 | 55 | 0 | 0 |-4.716350e+02 |-3.040000e+02 | 55.14%| unknown
818.48/820.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
818.48/820.92 c 821s| 1 | 0 | 53778 | - | 128M | 0 |1584 | 16k| 17k|2645 | 56 | 0 | 0 |-4.692326e+02 |-3.040000e+02 | 54.35%| unknown
818.59/821.07 c 821s| 1 | 0 | 54227 | - | 128M | 0 |1584 | 16k| 17k|2655 | 57 | 0 | 0 |-4.683927e+02 |-3.040000e+02 | 54.08%| unknown
818.78/821.24 c 821s| 1 | 0 | 54790 | - | 129M | 0 |1584 | 16k| 17k|2671 | 58 | 0 | 0 |-4.666007e+02 |-3.040000e+02 | 53.49%| unknown
818.88/821.36 c 821s| 1 | 0 | 55182 | - | 129M | 0 |1584 | 16k| 17k|2686 | 59 | 0 | 0 |-4.654706e+02 |-3.040000e+02 | 53.12%| unknown
818.98/821.46 c 821s| 1 | 0 | 55331 | - | 129M | 0 |1584 | 16k| 17k|2696 | 60 | 0 | 0 |-4.649578e+02 |-3.040000e+02 | 52.95%| unknown
819.08/821.59 c 822s| 1 | 0 | 55715 | - | 129M | 0 |1584 | 16k| 17k|2711 | 61 | 0 | 0 |-4.637274e+02 |-3.040000e+02 | 52.54%| unknown
819.28/821.76 c 822s| 1 | 0 | 56275 | - | 129M | 0 |1584 | 16k| 17k|2728 | 62 | 0 | 0 |-4.617208e+02 |-3.040000e+02 | 51.88%| unknown
819.48/821.95 c 822s| 1 | 0 | 56895 | - | 129M | 0 |1584 | 16k| 17k|2748 | 63 | 0 | 0 |-4.601624e+02 |-3.040000e+02 | 51.37%| unknown
819.68/822.12 c 822s| 1 | 0 | 57462 | - | 129M | 0 |1584 | 16k| 17k|2768 | 64 | 0 | 0 |-4.589757e+02 |-3.040000e+02 | 50.98%| unknown
819.78/822.28 c 822s| 1 | 0 | 57874 | - | 129M | 0 |1584 | 16k| 17k|2779 | 65 | 0 | 0 |-4.578770e+02 |-3.040000e+02 | 50.62%| unknown
819.98/822.46 c 822s| 1 | 0 | 58438 | - | 129M | 0 |1584 | 16k| 17k|2787 | 66 | 0 | 0 |-4.559372e+02 |-3.040000e+02 | 49.98%| unknown
820.18/822.61 c 823s| 1 | 0 | 58963 | - | 129M | 0 |1584 | 16k| 17k|2802 | 67 | 0 | 0 |-4.541324e+02 |-3.040000e+02 | 49.39%| unknown
820.28/822.77 c 823s| 1 | 0 | 59559 | - | 130M | 0 |1584 | 16k| 17k|2822 | 68 | 0 | 0 |-4.524758e+02 |-3.040000e+02 | 48.84%| unknown
820.48/822.93 c 823s| 1 | 0 | 60117 | - | 131M | 0 |1584 | 16k| 17k|2846 | 69 | 0 | 0 |-4.509850e+02 |-3.040000e+02 | 48.35%| unknown
820.58/823.04 c 823s| 1 | 0 | 60429 | - | 131M | 0 |1584 | 16k| 17k|2861 | 70 | 0 | 0 |-4.501964e+02 |-3.040000e+02 | 48.09%| unknown
820.77/823.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
820.77/823.21 c 823s| 1 | 0 | 61039 | - | 131M | 0 |1584 | 16k| 17k|2876 | 71 | 0 | 0 |-4.475420e+02 |-3.040000e+02 | 47.22%| unknown
820.87/823.37 c 823s| 1 | 0 | 61604 | - | 131M | 0 |1584 | 16k| 17k|2893 | 72 | 0 | 0 |-4.459758e+02 |-3.040000e+02 | 46.70%| unknown
821.07/823.52 c 824s| 1 | 0 | 62033 | - | 131M | 0 |1584 | 16k| 17k|2906 | 73 | 0 | 0 |-4.453325e+02 |-3.040000e+02 | 46.49%| unknown
821.17/823.66 c 824s| 1 | 0 | 62437 | - | 131M | 0 |1584 | 16k| 17k|2920 | 74 | 0 | 0 |-4.446169e+02 |-3.040000e+02 | 46.26%| unknown
821.37/823.81 c 824s| 1 | 0 | 62875 | - | 131M | 0 |1584 | 16k| 17k|2931 | 75 | 0 | 0 |-4.428700e+02 |-3.040000e+02 | 45.68%| unknown
821.47/823.98 c 824s| 1 | 0 | 63420 | - | 132M | 0 |1584 | 16k| 17k|2941 | 76 | 0 | 0 |-4.418039e+02 |-3.040000e+02 | 45.33%| unknown
821.68/824.12 c 824s| 1 | 0 | 63829 | - | 132M | 0 |1584 | 16k| 17k|2956 | 77 | 0 | 0 |-4.410321e+02 |-3.040000e+02 | 45.08%| unknown
821.77/824.27 c 824s| 1 | 0 | 64281 | - | 132M | 0 |1584 | 16k| 17k|2968 | 78 | 0 | 0 |-4.402633e+02 |-3.040000e+02 | 44.82%| unknown
821.97/824.42 c 824s| 1 | 0 | 64698 | - | 132M | 0 |1584 | 16k| 17k|2978 | 79 | 0 | 0 |-4.394093e+02 |-3.040000e+02 | 44.54%| unknown
822.07/824.57 c 825s| 1 | 0 | 65168 | - | 132M | 0 |1584 | 16k| 17k|2988 | 80 | 0 | 0 |-4.384752e+02 |-3.040000e+02 | 44.24%| unknown
822.27/824.72 c 825s| 1 | 0 | 65555 | - | 132M | 0 |1584 | 16k| 17k|3000 | 81 | 0 | 0 |-4.376443e+02 |-3.040000e+02 | 43.96%| unknown
822.37/824.86 c 825s| 1 | 0 | 65903 | - | 132M | 0 |1584 | 16k| 17k|3009 | 82 | 0 | 0 |-4.369470e+02 |-3.040000e+02 | 43.73%| unknown
822.57/825.02 c 825s| 1 | 0 | 66327 | - | 132M | 0 |1584 | 16k| 17k|3017 | 83 | 0 | 0 |-4.362711e+02 |-3.040000e+02 | 43.51%| unknown
822.67/825.15 c 825s| 1 | 0 | 66632 | - | 132M | 0 |1584 | 16k| 17k|3025 | 84 | 0 | 0 |-4.358072e+02 |-3.040000e+02 | 43.36%| unknown
822.87/825.32 c 825s| 1 | 0 | 67158 | - | 132M | 0 |1584 | 16k| 17k|3036 | 85 | 0 | 0 |-4.341911e+02 |-3.040000e+02 | 42.83%| unknown
822.97/825.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
822.97/825.47 c 825s| 1 | 0 | 67631 | - | 133M | 0 |1584 | 16k| 17k|3052 | 86 | 0 | 0 |-4.327672e+02 |-3.040000e+02 | 42.36%| unknown
823.17/825.63 c 826s| 1 | 0 | 68186 | - | 133M | 0 |1584 | 16k| 17k|3073 | 87 | 0 | 0 |-4.311745e+02 |-3.040000e+02 | 41.83%| unknown
823.27/825.78 c 826s| 1 | 0 | 68651 | - | 133M | 0 |1584 | 16k| 17k|3094 | 88 | 0 | 0 |-4.301919e+02 |-3.040000e+02 | 41.51%| unknown
823.47/825.96 c 826s| 1 | 0 | 69280 | - | 133M | 0 |1584 | 16k| 17k|3110 | 89 | 0 | 0 |-4.287870e+02 |-3.040000e+02 | 41.05%| unknown
823.57/826.09 c 826s| 1 | 0 | 69667 | - | 133M | 0 |1584 | 16k| 17k|3128 | 90 | 0 | 0 |-4.280906e+02 |-3.040000e+02 | 40.82%| unknown
823.77/826.24 c 826s| 1 | 0 | 70143 | - | 133M | 0 |1584 | 16k| 17k|3145 | 91 | 0 | 0 |-4.267565e+02 |-3.040000e+02 | 40.38%| unknown
823.87/826.38 c 826s| 1 | 0 | 70514 | - | 133M | 0 |1584 | 16k| 17k|3156 | 92 | 0 | 0 |-4.261350e+02 |-3.040000e+02 | 40.18%| unknown
824.07/826.52 c 827s| 1 | 0 | 70916 | - | 134M | 0 |1584 | 16k| 17k|3164 | 93 | 0 | 0 |-4.254757e+02 |-3.040000e+02 | 39.96%| unknown
824.16/826.64 c 827s| 1 | 0 | 71144 | - | 134M | 0 |1584 | 16k| 17k|3169 | 94 | 0 | 0 |-4.252186e+02 |-3.040000e+02 | 39.87%| unknown
824.36/826.82 c 827s| 1 | 0 | 71785 | - | 134M | 0 |1584 | 16k| 17k|3182 | 95 | 0 | 0 |-4.241004e+02 |-3.040000e+02 | 39.51%| unknown
824.46/826.94 c 827s| 1 | 0 | 72074 | - | 134M | 0 |1584 | 16k| 17k|3194 | 96 | 0 | 0 |-4.237438e+02 |-3.040000e+02 | 39.39%| unknown
824.57/827.08 c 827s| 1 | 0 | 72418 | - | 134M | 0 |1584 | 16k| 17k|3204 | 97 | 0 | 0 |-4.232756e+02 |-3.040000e+02 | 39.24%| unknown
824.76/827.26 c 827s| 1 | 0 | 73020 | - | 134M | 0 |1584 | 16k| 17k|3217 | 98 | 0 | 0 |-4.215786e+02 |-3.040000e+02 | 38.68%| unknown
824.96/827.43 c 827s| 1 | 0 | 73643 | - | 134M | 0 |1584 | 16k| 17k|3242 | 99 | 0 | 0 |-4.204962e+02 |-3.040000e+02 | 38.32%| unknown
825.06/827.56 c 828s| 1 | 0 | 73989 | - | 134M | 0 |1584 | 16k| 17k|3256 |100 | 0 | 0 |-4.193448e+02 |-3.040000e+02 | 37.94%| unknown
825.16/827.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
825.16/827.67 c 828s| 1 | 0 | 74397 | - | 134M | 0 |1584 | 16k| 17k|3268 |101 | 0 | 0 |-4.186804e+02 |-3.040000e+02 | 37.72%| unknown
825.36/827.80 c 828s| 1 | 0 | 74945 | - | 135M | 0 |1584 | 16k| 17k|3284 |102 | 0 | 0 |-4.178342e+02 |-3.040000e+02 | 37.45%| unknown
825.46/827.90 c 828s| 1 | 0 | 75354 | - | 135M | 0 |1584 | 16k| 17k|3296 |103 | 0 | 0 |-4.169996e+02 |-3.040000e+02 | 37.17%| unknown
825.57/828.01 c 828s| 1 | 0 | 75730 | - | 135M | 0 |1584 | 16k| 17k|3305 |104 | 0 | 0 |-4.163892e+02 |-3.040000e+02 | 36.97%| unknown
825.57/828.08 c 828s| 1 | 0 | 75920 | - | 135M | 0 |1584 | 16k| 17k|3314 |105 | 0 | 0 |-4.161077e+02 |-3.040000e+02 | 36.88%| unknown
825.67/828.18 c 828s| 1 | 0 | 76323 | - | 135M | 0 |1584 | 16k| 17k|3326 |106 | 0 | 0 |-4.154344e+02 |-3.040000e+02 | 36.66%| unknown
825.76/828.29 c 828s| 1 | 0 | 76685 | - | 135M | 0 |1584 | 16k| 17k|3338 |107 | 0 | 0 |-4.148283e+02 |-3.040000e+02 | 36.46%| unknown
825.96/828.45 c 828s| 1 | 0 | 77322 | - | 135M | 0 |1584 | 16k| 17k|3348 |108 | 0 | 0 |-4.135712e+02 |-3.040000e+02 | 36.04%| unknown
826.06/828.55 c 829s| 1 | 0 | 77716 | - | 135M | 0 |1584 | 16k| 17k|3358 |109 | 0 | 0 |-4.129982e+02 |-3.040000e+02 | 35.85%| unknown
826.16/828.66 c 829s| 1 | 0 | 78162 | - | 136M | 0 |1584 | 16k| 17k|3374 |110 | 0 | 0 |-4.120768e+02 |-3.040000e+02 | 35.55%| unknown
826.26/828.74 c 829s| 1 | 0 | 78434 | - | 136M | 0 |1584 | 16k| 17k|3383 |111 | 0 | 0 |-4.114569e+02 |-3.040000e+02 | 35.35%| unknown
826.36/828.82 c 829s| 1 | 0 | 78711 | - | 136M | 0 |1584 | 16k| 17k|3389 |112 | 0 | 0 |-4.109978e+02 |-3.040000e+02 | 35.20%| unknown
826.46/828.92 c 829s| 1 | 0 | 79068 | - | 136M | 0 |1584 | 16k| 17k|3401 |113 | 0 | 0 |-4.100806e+02 |-3.040000e+02 | 34.89%| unknown
826.56/829.03 c 829s| 1 | 0 | 79493 | - | 136M | 0 |1584 | 16k| 17k|3410 |114 | 0 | 0 |-4.092698e+02 |-3.040000e+02 | 34.63%| unknown
826.66/829.12 c 829s| 1 | 0 | 79815 | - | 136M | 0 |1584 | 16k| 17k|3419 |115 | 0 | 0 |-4.085957e+02 |-3.040000e+02 | 34.41%| unknown
826.76/829.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
826.76/829.21 c 829s| 1 | 0 | 80149 | - | 136M | 0 |1584 | 16k| 17k|3432 |116 | 0 | 0 |-4.080684e+02 |-3.040000e+02 | 34.23%| unknown
826.86/829.35 c 829s| 1 | 0 | 80722 | - | 136M | 0 |1584 | 16k| 17k|3442 |117 | 0 | 0 |-4.071471e+02 |-3.040000e+02 | 33.93%| unknown
826.97/829.48 c 829s| 1 | 0 | 81257 | - | 137M | 0 |1584 | 16k| 17k|3452 |118 | 0 | 0 |-4.062713e+02 |-3.040000e+02 | 33.64%| unknown
827.17/829.64 c 830s| 1 | 0 | 81886 | - | 137M | 0 |1584 | 16k| 17k|3467 |119 | 0 | 0 |-4.052617e+02 |-3.040000e+02 | 33.31%| unknown
827.27/829.75 c 830s| 1 | 0 | 82353 | - | 137M | 0 |1584 | 16k| 17k|3483 |120 | 0 | 0 |-4.046820e+02 |-3.040000e+02 | 33.12%| unknown
827.37/829.87 c 830s| 1 | 0 | 82836 | - | 137M | 0 |1584 | 16k| 17k|3494 |121 | 0 | 0 |-4.040506e+02 |-3.040000e+02 | 32.91%| unknown
827.47/829.98 c 830s| 1 | 0 | 83248 | - | 137M | 0 |1584 | 16k| 17k|3500 |122 | 0 | 0 |-4.033088e+02 |-3.040000e+02 | 32.67%| unknown
827.57/830.08 c 830s| 1 | 0 | 83630 | - | 137M | 0 |1584 | 16k| 17k|3507 |123 | 0 | 0 |-4.025165e+02 |-3.040000e+02 | 32.41%| unknown
827.67/830.16 c 830s| 1 | 0 | 83902 | - | 137M | 0 |1584 | 16k| 17k|3519 |124 | 0 | 0 |-4.020082e+02 |-3.040000e+02 | 32.24%| unknown
827.76/830.25 c 830s| 1 | 0 | 84220 | - | 137M | 0 |1584 | 16k| 17k|3529 |125 | 0 | 0 |-4.011870e+02 |-3.040000e+02 | 31.97%| unknown
827.86/830.37 c 830s| 1 | 0 | 84644 | - | 138M | 0 |1584 | 16k| 17k|3539 |126 | 0 | 0 |-4.005229e+02 |-3.040000e+02 | 31.75%| unknown
827.96/830.48 c 830s| 1 | 0 | 85009 | - | 138M | 0 |1584 | 16k| 17k|3547 |127 | 0 | 0 |-3.997910e+02 |-3.040000e+02 | 31.51%| unknown
828.06/830.59 c 831s| 1 | 0 | 85419 | - | 138M | 0 |1584 | 16k| 17k|3557 |128 | 0 | 0 |-3.992162e+02 |-3.040000e+02 | 31.32%| unknown
828.26/830.71 c 831s| 1 | 0 | 85865 | - | 138M | 0 |1584 | 16k| 17k|3569 |129 | 0 | 0 |-3.985563e+02 |-3.040000e+02 | 31.10%| unknown
828.36/830.84 c 831s| 1 | 0 | 86319 | - | 138M | 0 |1584 | 16k| 17k|3583 |130 | 0 | 0 |-3.977198e+02 |-3.040000e+02 | 30.83%| unknown
828.46/830.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
828.46/830.97 c 831s| 1 | 0 | 86778 | - | 138M | 0 |1584 | 16k| 17k|3594 |131 | 0 | 0 |-3.971074e+02 |-3.040000e+02 | 30.63%| unknown
828.57/831.08 c 831s| 1 | 0 | 87182 | - | 138M | 0 |1584 | 16k| 17k|3607 |132 | 0 | 0 |-3.966945e+02 |-3.040000e+02 | 30.49%| unknown
828.67/831.16 c 831s| 1 | 0 | 87456 | - | 138M | 0 |1584 | 16k| 17k|3617 |133 | 0 | 0 |-3.963140e+02 |-3.040000e+02 | 30.37%| unknown
828.76/831.28 c 831s| 1 | 0 | 87862 | - | 138M | 0 |1584 | 16k| 17k|3627 |134 | 0 | 0 |-3.956029e+02 |-3.040000e+02 | 30.13%| unknown
828.86/831.38 c 831s| 1 | 0 | 88229 | - | 139M | 0 |1584 | 16k| 17k|3638 |135 | 0 | 0 |-3.951291e+02 |-3.040000e+02 | 29.98%| unknown
829.06/831.51 c 832s| 1 | 0 | 88683 | - | 139M | 0 |1584 | 16k| 17k|3653 |136 | 0 | 0 |-3.945025e+02 |-3.040000e+02 | 29.77%| unknown
829.06/831.58 c 832s| 1 | 0 | 88920 | - | 139M | 0 |1584 | 16k| 17k|3662 |137 | 0 | 0 |-3.941821e+02 |-3.040000e+02 | 29.67%| unknown
829.16/831.69 c 832s| 1 | 0 | 89322 | - | 139M | 0 |1584 | 16k| 17k|3675 |138 | 0 | 0 |-3.935368e+02 |-3.040000e+02 | 29.45%| unknown
829.26/831.79 c 832s| 1 | 0 | 89638 | - | 139M | 0 |1584 | 16k| 17k|3684 |139 | 0 | 0 |-3.929058e+02 |-3.040000e+02 | 29.25%| unknown
829.36/831.87 c 832s| 1 | 0 | 89906 | - | 139M | 0 |1584 | 16k| 17k|3691 |140 | 0 | 0 |-3.924262e+02 |-3.040000e+02 | 29.09%| unknown
829.46/831.94 c 832s| 1 | 0 | 90150 | - | 139M | 0 |1584 | 16k| 17k|3700 |141 | 0 | 0 |-3.918599e+02 |-3.040000e+02 | 28.90%| unknown
829.57/832.05 c 832s| 1 | 0 | 90530 | - | 140M | 0 |1584 | 16k| 17k|3711 |142 | 0 | 0 |-3.915133e+02 |-3.040000e+02 | 28.79%| unknown
829.67/832.13 c 832s| 1 | 0 | 90822 | - | 140M | 0 |1584 | 16k| 17k|3720 |143 | 0 | 0 |-3.912113e+02 |-3.040000e+02 | 28.69%| unknown
829.76/832.27 c 832s| 1 | 0 | 91346 | - | 140M | 0 |1584 | 16k| 17k|3733 |144 | 0 | 0 |-3.899276e+02 |-3.040000e+02 | 28.27%| unknown
829.86/832.36 c 832s| 1 | 0 | 91615 | - | 140M | 0 |1584 | 16k| 17k|3744 |145 | 0 | 0 |-3.895621e+02 |-3.040000e+02 | 28.15%| unknown
829.96/832.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
829.96/832.48 c 832s| 1 | 0 | 92112 | - | 140M | 0 |1584 | 16k| 17k|3755 |146 | 0 | 0 |-3.890423e+02 |-3.040000e+02 | 27.97%| unknown
830.06/832.57 c 833s| 1 | 0 | 92399 | - | 140M | 0 |1584 | 16k| 17k|3765 |147 | 0 | 0 |-3.886562e+02 |-3.040000e+02 | 27.85%| unknown
830.16/832.67 c 833s| 1 | 0 | 92760 | - | 140M | 0 |1584 | 16k| 17k|3774 |148 | 0 | 0 |-3.880788e+02 |-3.040000e+02 | 27.66%| unknown
830.26/832.78 c 833s| 1 | 0 | 93128 | - | 140M | 0 |1584 | 16k| 17k|3783 |149 | 0 | 0 |-3.876290e+02 |-3.040000e+02 | 27.51%| unknown
830.46/832.91 c 833s| 1 | 0 | 93648 | - | 140M | 0 |1584 | 16k| 17k|3798 |150 | 0 | 0 |-3.867104e+02 |-3.040000e+02 | 27.21%| unknown
830.56/833.01 c 833s| 1 | 0 | 93962 | - | 140M | 0 |1584 | 16k| 17k|3803 |151 | 0 | 0 |-3.863070e+02 |-3.040000e+02 | 27.07%| unknown
830.66/833.13 c 833s| 1 | 0 | 94389 | - | 140M | 0 |1584 | 16k| 17k|3811 |152 | 0 | 0 |-3.855730e+02 |-3.040000e+02 | 26.83%| unknown
830.76/833.21 c 833s| 1 | 0 | 94670 | - | 141M | 0 |1584 | 16k| 17k|3822 |153 | 0 | 0 |-3.852520e+02 |-3.040000e+02 | 26.73%| unknown
830.86/833.31 c 833s| 1 | 0 | 94961 | - | 141M | 0 |1584 | 16k| 17k|3829 |154 | 0 | 0 |-3.850013e+02 |-3.040000e+02 | 26.65%| unknown
830.86/833.39 c 833s| 1 | 0 | 95194 | - | 141M | 0 |1584 | 16k| 17k|3839 |155 | 0 | 0 |-3.847828e+02 |-3.040000e+02 | 26.57%| unknown
830.96/833.48 c 833s| 1 | 0 | 95488 | - | 141M | 0 |1584 | 16k| 17k|3849 |156 | 0 | 0 |-3.844933e+02 |-3.040000e+02 | 26.48%| unknown
831.06/833.58 c 834s| 1 | 0 | 95830 | - | 141M | 0 |1584 | 16k| 17k|3857 |157 | 0 | 0 |-3.838488e+02 |-3.040000e+02 | 26.27%| unknown
831.16/833.68 c 834s| 1 | 0 | 96121 | - | 141M | 0 |1584 | 16k| 17k|3865 |158 | 0 | 0 |-3.834541e+02 |-3.040000e+02 | 26.14%| unknown
831.26/833.76 c 834s| 1 | 0 | 96378 | - | 141M | 0 |1584 | 16k| 17k|3870 |159 | 0 | 0 |-3.832696e+02 |-3.040000e+02 | 26.08%| unknown
831.35/833.86 c 834s| 1 | 0 | 96716 | - | 141M | 0 |1584 | 16k| 17k|3878 |160 | 0 | 0 |-3.829650e+02 |-3.040000e+02 | 25.98%| unknown
831.45/833.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
831.45/833.93 c 834s| 1 | 0 | 96907 | - | 141M | 0 |1584 | 16k| 17k|3886 |161 | 0 | 0 |-3.827235e+02 |-3.040000e+02 | 25.90%| unknown
831.45/834.00 c 834s| 1 | 0 | 97084 | - | 142M | 0 |1584 | 16k| 17k|3892 |162 | 0 | 0 |-3.825751e+02 |-3.040000e+02 | 25.85%| unknown
831.56/834.10 c 834s| 1 | 0 | 97439 | - | 142M | 0 |1584 | 16k| 17k|3900 |163 | 0 | 0 |-3.821122e+02 |-3.040000e+02 | 25.69%| unknown
831.66/834.19 c 834s| 1 | 0 | 97690 | - | 142M | 0 |1584 | 16k| 17k|3909 |164 | 0 | 0 |-3.818077e+02 |-3.040000e+02 | 25.59%| unknown
831.75/834.28 c 834s| 1 | 0 | 97997 | - | 142M | 0 |1584 | 16k| 17k|3921 |165 | 0 | 0 |-3.815389e+02 |-3.040000e+02 | 25.51%| unknown
831.95/834.40 c 834s| 1 | 0 | 98388 | - | 142M | 0 |1584 | 16k| 17k|3932 |166 | 0 | 0 |-3.809911e+02 |-3.040000e+02 | 25.33%| unknown
831.95/834.47 c 834s| 1 | 0 | 98578 | - | 142M | 0 |1584 | 16k| 17k|3938 |167 | 0 | 0 |-3.808403e+02 |-3.040000e+02 | 25.28%| unknown
832.05/834.55 c 835s| 1 | 0 | 98808 | - | 142M | 0 |1584 | 16k| 17k|3945 |168 | 0 | 0 |-3.803243e+02 |-3.040000e+02 | 25.11%| unknown
832.15/834.62 c 835s| 1 | 0 | 98998 | - | 142M | 0 |1584 | 16k| 17k|3951 |169 | 0 | 0 |-3.801348e+02 |-3.040000e+02 | 25.04%| unknown
832.25/834.71 c 835s| 1 | 0 | 99312 | - | 143M | 0 |1584 | 16k| 17k|3961 |170 | 0 | 0 |-3.797643e+02 |-3.040000e+02 | 24.92%| unknown
832.25/834.77 c 835s| 1 | 0 | 99442 | - | 143M | 0 |1584 | 16k| 17k|3969 |171 | 0 | 0 |-3.796699e+02 |-3.040000e+02 | 24.89%| unknown
832.35/834.85 c 835s| 1 | 0 | 99698 | - | 143M | 0 |1584 | 16k| 17k|3979 |172 | 0 | 0 |-3.794663e+02 |-3.040000e+02 | 24.82%| unknown
832.45/834.94 c 835s| 1 | 0 | 99944 | - | 143M | 0 |1584 | 16k| 17k|3989 |173 | 0 | 0 |-3.793175e+02 |-3.040000e+02 | 24.78%| unknown
832.56/835.02 c 835s| 1 | 0 |100146 | - | 143M | 0 |1584 | 16k| 17k|3998 |174 | 0 | 0 |-3.791643e+02 |-3.040000e+02 | 24.73%| unknown
832.66/835.10 c 835s| 1 | 0 |100356 | - | 143M | 0 |1584 | 16k| 17k|4007 |175 | 0 | 0 |-3.789591e+02 |-3.040000e+02 | 24.66%| unknown
832.66/835.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
832.66/835.17 c 835s| 1 | 0 |100520 | - | 143M | 0 |1584 | 16k| 17k|4015 |176 | 0 | 0 |-3.788397e+02 |-3.040000e+02 | 24.62%| unknown
832.75/835.26 c 835s| 1 | 0 |100778 | - | 143M | 0 |1584 | 16k| 17k|4028 |177 | 0 | 0 |-3.785161e+02 |-3.040000e+02 | 24.51%| unknown
832.85/835.35 c 835s| 1 | 0 |101004 | - | 144M | 0 |1584 | 16k| 17k|4040 |178 | 0 | 0 |-3.783205e+02 |-3.040000e+02 | 24.45%| unknown
832.95/835.42 c 835s| 1 | 0 |101163 | - | 144M | 0 |1584 | 16k| 17k|4053 |179 | 0 | 0 |-3.781030e+02 |-3.040000e+02 | 24.38%| unknown
833.05/835.51 c 836s| 1 | 0 |101386 | - | 144M | 0 |1584 | 16k| 17k|4065 |180 | 0 | 0 |-3.779604e+02 |-3.040000e+02 | 24.33%| unknown
833.05/835.59 c 836s| 1 | 0 |101600 | - | 144M | 0 |1584 | 16k| 17k|4074 |181 | 0 | 0 |-3.778176e+02 |-3.040000e+02 | 24.28%| unknown
833.15/835.67 c 836s| 1 | 0 |101829 | - | 144M | 0 |1584 | 16k| 17k|4085 |182 | 0 | 0 |-3.776661e+02 |-3.040000e+02 | 24.23%| unknown
833.25/835.78 c 836s| 1 | 0 |102172 | - | 144M | 0 |1584 | 16k| 17k|4096 |183 | 0 | 0 |-3.773518e+02 |-3.040000e+02 | 24.13%| unknown
833.35/835.89 c 836s| 1 | 0 |102464 | - | 144M | 0 |1584 | 16k| 17k|4109 |184 | 0 | 0 |-3.770347e+02 |-3.040000e+02 | 24.02%| unknown
833.45/835.99 c 836s| 1 | 0 |102763 | - | 144M | 0 |1584 | 16k| 17k|4119 |185 | 0 | 0 |-3.768004e+02 |-3.040000e+02 | 23.95%| unknown
833.56/836.08 c 836s| 1 | 0 |103049 | - | 145M | 0 |1584 | 16k| 17k|4133 |186 | 0 | 0 |-3.764827e+02 |-3.040000e+02 | 23.84%| unknown
833.65/836.18 c 836s| 1 | 0 |103315 | - | 145M | 0 |1584 | 16k| 17k|4143 |187 | 0 | 0 |-3.762908e+02 |-3.040000e+02 | 23.78%| unknown
833.75/836.25 c 836s| 1 | 0 |103465 | - | 145M | 0 |1584 | 16k| 18k|4153 |188 | 0 | 0 |-3.761767e+02 |-3.040000e+02 | 23.74%| unknown
833.85/836.33 c 836s| 1 | 0 |103684 | - | 145M | 0 |1584 | 16k| 18k|4162 |189 | 0 | 0 |-3.760545e+02 |-3.040000e+02 | 23.70%| unknown
833.95/836.40 c 836s| 1 | 0 |103842 | - | 145M | 0 |1584 | 16k| 18k|4171 |190 | 0 | 0 |-3.759353e+02 |-3.040000e+02 | 23.66%| unknown
833.95/836.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
833.95/836.46 c 836s| 1 | 0 |103979 | - | 145M | 0 |1584 | 16k| 18k|4177 |191 | 0 | 0 |-3.757808e+02 |-3.040000e+02 | 23.61%| unknown
834.05/836.55 c 837s| 1 | 0 |104186 | - | 145M | 0 |1584 | 16k| 18k|4186 |192 | 0 | 0 |-3.755692e+02 |-3.040000e+02 | 23.54%| unknown
834.15/836.62 c 837s| 1 | 0 |104359 | - | 145M | 0 |1584 | 16k| 18k|4195 |193 | 0 | 0 |-3.754099e+02 |-3.040000e+02 | 23.49%| unknown
834.25/836.70 c 837s| 1 | 0 |104577 | - | 145M | 0 |1584 | 16k| 18k|4205 |194 | 0 | 0 |-3.752894e+02 |-3.040000e+02 | 23.45%| unknown
834.25/836.77 c 837s| 1 | 0 |104743 | - | 146M | 0 |1584 | 16k| 18k|4216 |195 | 0 | 0 |-3.751930e+02 |-3.040000e+02 | 23.42%| unknown
834.35/836.88 c 837s| 1 | 0 |105019 | - | 146M | 0 |1584 | 16k| 18k|4224 |196 | 0 | 0 |-3.750292e+02 |-3.040000e+02 | 23.36%| unknown
834.45/836.95 c 837s| 1 | 0 |105183 | - | 146M | 0 |1584 | 16k| 18k|4232 |197 | 0 | 0 |-3.749330e+02 |-3.040000e+02 | 23.33%| unknown
834.55/837.03 c 837s| 1 | 0 |105372 | - | 146M | 0 |1584 | 16k| 18k|4244 |198 | 0 | 0 |-3.748128e+02 |-3.040000e+02 | 23.29%| unknown
834.65/837.10 c 837s| 1 | 0 |105494 | - | 146M | 0 |1584 | 16k| 18k|4259 |199 | 0 | 0 |-3.747349e+02 |-3.040000e+02 | 23.27%| unknown
834.65/837.18 c 837s| 1 | 0 |105679 | - | 146M | 0 |1584 | 16k| 18k|4270 |200 | 0 | 0 |-3.746287e+02 |-3.040000e+02 | 23.23%| unknown
834.75/837.25 c 837s| 1 | 0 |105823 | - | 146M | 0 |1584 | 16k| 18k|4283 |201 | 0 | 0 |-3.745804e+02 |-3.040000e+02 | 23.22%| unknown
834.85/837.31 c 837s| 1 | 0 |105925 | - | 147M | 0 |1584 | 16k| 18k|4288 |202 | 0 | 0 |-3.745566e+02 |-3.040000e+02 | 23.21%| unknown
834.85/837.39 c 837s| 1 | 0 |106092 | - | 147M | 0 |1584 | 16k| 18k|4298 |203 | 0 | 0 |-3.744930e+02 |-3.040000e+02 | 23.19%| unknown
834.95/837.48 c 837s| 1 | 0 |106317 | - | 147M | 0 |1584 | 16k| 18k|4310 |204 | 0 | 0 |-3.743708e+02 |-3.040000e+02 | 23.15%| unknown
835.05/837.55 c 838s| 1 | 0 |106455 | - | 147M | 0 |1584 | 16k| 18k|4319 |205 | 0 | 0 |-3.743134e+02 |-3.040000e+02 | 23.13%| unknown
835.14/837.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
835.14/837.61 c 838s| 1 | 0 |106540 | - | 147M | 0 |1584 | 16k| 18k|4330 |206 | 0 | 0 |-3.742987e+02 |-3.040000e+02 | 23.12%| unknown
835.14/837.67 c 838s| 1 | 0 |106687 | - | 147M | 0 |1584 | 16k| 18k|4338 |207 | 0 | 0 |-3.742132e+02 |-3.040000e+02 | 23.10%| unknown
835.24/837.74 c 838s| 1 | 0 |106790 | - | 147M | 0 |1584 | 16k| 18k|4350 |208 | 0 | 0 |-3.741551e+02 |-3.040000e+02 | 23.08%| unknown
835.24/837.79 c 838s| 1 | 0 |106852 | - | 147M | 0 |1584 | 16k| 18k|4357 |209 | 0 | 0 |-3.741423e+02 |-3.040000e+02 | 23.07%| unknown
835.34/837.85 c 838s| 1 | 0 |106914 | - | 148M | 0 |1584 | 16k| 18k|4367 |210 | 0 | 0 |-3.741310e+02 |-3.040000e+02 | 23.07%| unknown
835.44/837.91 c 838s| 1 | 0 |107022 | - | 148M | 0 |1584 | 16k| 18k|4374 |211 | 0 | 0 |-3.740811e+02 |-3.040000e+02 | 23.05%| unknown
835.44/837.96 c 838s| 1 | 0 |107096 | - | 148M | 0 |1584 | 16k| 18k|4382 |212 | 0 | 0 |-3.740558e+02 |-3.040000e+02 | 23.04%| unknown
835.55/838.02 c 838s| 1 | 0 |107188 | - | 148M | 0 |1584 | 16k| 18k|4389 |213 | 0 | 0 |-3.740124e+02 |-3.040000e+02 | 23.03%| unknown
835.55/838.08 c 838s| 1 | 0 |107291 | - | 148M | 0 |1584 | 16k| 18k|4397 |214 | 0 | 0 |-3.739743e+02 |-3.040000e+02 | 23.02%| unknown
835.65/838.15 c 838s| 1 | 0 |107397 | - | 148M | 0 |1584 | 16k| 18k|4404 |215 | 0 | 0 |-3.739182e+02 |-3.040000e+02 | 23.00%| unknown
835.74/838.20 c 838s| 1 | 0 |107451 | - | 148M | 0 |1584 | 16k| 18k|4412 |216 | 0 | 0 |-3.738997e+02 |-3.040000e+02 | 22.99%| unknown
835.74/838.25 c 838s| 1 | 0 |107494 | - | 149M | 0 |1584 | 16k| 18k|4417 |217 | 0 | 0 |-3.738930e+02 |-3.040000e+02 | 22.99%| unknown
835.84/838.30 c 838s| 1 | 0 |107506 | - | 149M | 0 |1584 | 16k| 18k|4421 |218 | 0 | 0 |-3.738929e+02 |-3.040000e+02 | 22.99%| unknown
835.84/838.35 c 838s| 1 | 0 |107508 | - | 149M | 0 |1584 | 16k| 18k|4422 |219 | 0 | 0 |-3.738928e+02 |-3.040000e+02 | 22.99%| unknown
835.84/838.39 c 838s| 1 | 0 |107510 | - | 149M | 0 |1584 | 16k| 18k|4423 |220 | 0 | 0 |-3.738928e+02 |-3.040000e+02 | 22.99%| unknown
835.94/838.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
835.94/838.44 c 838s| 1 | 0 |107512 | - | 149M | 0 |1584 | 16k| 18k|4424 |221 | 0 | 0 |-3.738928e+02 |-3.040000e+02 | 22.99%| unknown
841.03/843.52 c 844s| 1 | 2 |107515 | - | 149M | 0 |1584 | 16k| 18k|4424 |222 | 0 | 51 |-3.735944e+02 |-3.040000e+02 | 22.89%| unknown
841.03/843.53 c Orbital fixing symmetry for 0x1b95178 broken before symmetry. Requires fixing 120/330 affected variables.
841.03/843.53 c Orbital fixing symmetry for 0x1b95120 broken before symmetry. Requires fixing 56/110 affected variables.
861.58/864.18 o -306
861.58/864.18 c d 864s| 10 | 11 |112583 | 593.3 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.060000e+02 | 21.99%| unknown
861.58/864.18 o -314
861.58/864.18 c d 864s| 10 | 11 |112628 | 598.3 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.140000e+02 | 18.88%| unknown
861.58/864.19 o -330
861.58/864.19 c d 864s| 10 | 11 |112680 | 604.1 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.300000e+02 | 13.12%| unknown
861.58/864.19 o -333
861.58/864.19 c d 864s| 10 | 11 |112697 | 606.0 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.330000e+02 | 12.10%| unknown
861.67/864.20 o -342
861.67/864.20 c d 864s| 10 | 11 |112730 | 609.7 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.420000e+02 | 9.15%| unknown
925.41/928.16 c 928s| 100 | 101 |235521 |1295.7 | 174M | 24 |1584 | 16k| 17k|4686 | 1 | 75 | 780 |-3.727068e+02 |-3.420000e+02 | 8.98%| unknown
929.59/932.31 o -344
929.59/932.31 c L 932s| 110 | 111 |253542 |1342.2 | gins| 24 |1584 | 16k| 17k|4704 | 1 | 75 | 780 |-3.727068e+02 |-3.440000e+02 | 8.34%| unknown
963.01/965.83 c 966s| 200 | 201 |368915 |1314.9 | 214M | 27 |1584 | 16k| 17k|5019 | 1 | 144 | 822 |-3.724700e+02 |-3.440000e+02 | 8.28%| unknown
975.47/978.31 o -345
975.47/978.31 c L 978s| 260 | 261 |407194 |1158.1 | gins| 27 |1584 | 16k| 17k|5128 | 1 | 198 | 841 |-3.724169e+02 |-3.450000e+02 | 7.95%| unknown
984.95/987.87 c 988s| 300 | 301 |435108 |1096.5 | 234M | 27 |1584 | 16k| 17k|5274 | 1 | 204 | 860 |-3.722738e+02 |-3.450000e+02 | 7.91%| unknown
1009.29/1012.26 c 1012s| 400 | 401 |489850 | 958.9 | 299M | 33 |1584 | 16k| 17k|5887 | 1 | 244 | 918 |-3.721139e+02 |-3.450000e+02 | 7.86%| unknown
1054.28/1057.34 c 1057s| 500 | 501 |559089 | 905.5 | 300M | 37 |1584 | 16k| 17k|6321 | 1 | 276 | 961 |-3.720292e+02 |-3.450000e+02 | 7.83%| unknown
1078.31/1081.44 c 1081s| 600 | 587 |624142 | 862.9 | 381M | 68 |1584 | 16k| 17k|6653 | 1 | 311 |1012 |-3.720292e+02 |-3.450000e+02 | 7.83%| unknown
1082.10/1085.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1082.10/1085.25 c 1085s| 700 | 611 |632818 | 751.9 | 382M | 74 |1584 | 16k| 17k|6664 | 1 | 332 |1032 |-3.720292e+02 |-3.450000e+02 | 7.83%| unknown
1085.59/1088.80 c 1089s| 800 | 627 |640752 | 667.7 | 382M | 75 |1584 | 16k| 17k|6678 | 2 | 370 |1062 |-3.720292e+02 |-3.450000e+02 | 7.83%| unknown
1095.56/1098.78 c 1099s| 900 | 661 |661971 | 617.1 | 386M | 76 |1584 | 16k| 17k|6929 | 1 | 378 |1097 |-3.719870e+02 |-3.450000e+02 | 7.82%| unknown
1097.46/1100.61 o -346
1097.46/1100.61 c L1101s| 928 | 626 |664807 | 601.5 | gins| 76 |1584 | 16k| 17k|6931 | 1 | 394 |1115 |-3.719870e+02 |-3.460000e+02 | 7.51%| unknown
1101.75/1104.90 c 1105s| 1000 | 638 |675190 | 568.5 | 387M | 76 |1584 | 16k| 17k|7028 | 1 | 410 |1135 |-3.719633e+02 |-3.460000e+02 | 7.50%| unknown
1106.84/1110.00 c 1110s| 1100 | 650 |686575 | 527.1 | 395M | 76 |1584 | 16k| 17k|7140 | 2 | 410 |1146 |-3.719350e+02 |-3.460000e+02 | 7.50%| unknown
1112.82/1116.01 c 1116s| 1200 | 664 |698969 | 493.5 | 403M | 76 |1584 | 16k| 17k|7273 | 1 | 425 |1173 |-3.719325e+02 |-3.460000e+02 | 7.49%| unknown
1115.51/1118.75 c 1119s| 1300 | 664 |705092 | 460.2 | 403M | 76 |1584 | 16k| 17k|7285 | 1 | 446 |1187 |-3.719325e+02 |-3.460000e+02 | 7.49%| unknown
1121.80/1125.04 c 1125s| 1400 | 672 |721636 | 439.2 | 403M | 76 |1584 | 16k| 17k|7360 | 0 | 468 |1221 |-3.718752e+02 |-3.460000e+02 | 7.48%| unknown
1124.19/1127.46 c 1127s| 1500 | 672 |727958 | 414.1 | 403M | 76 |1584 | 16k| 17k|7377 | 0 | 475 |1229 |-3.718752e+02 |-3.460000e+02 | 7.48%| unknown
1125.89/1129.14 o -347
1125.89/1129.14 c L1129s| 1526 | 638 |729858 | 408.3 | gins| 78 |1584 | 16k| 17k|7377 | 0 | 489 |1240 |-3.718752e+02 |-3.470000e+02 | 7.17%| unknown
1128.17/1131.47 c 1131s| 1600 | 630 |734519 | 392.3 | 403M | 78 |1584 | 16k| 17k|7385 | 0 | 533 |1268 |-3.718752e+02 |-3.470000e+02 | 7.17%| unknown
1134.56/1137.87 c 1138s| 1700 | 628 |746910 | 376.5 | 410M | 78 |1584 | 16k| 17k|7513 | 3 | 562 |1296 |-3.718534e+02 |-3.470000e+02 | 7.16%| unknown
1143.64/1146.91 c 1147s| 1800 | 640 |765992 | 366.2 | 421M | 78 |1584 | 16k| 17k|7768 | 0 | 562 |1316 |-3.717992e+02 |-3.470000e+02 | 7.15%| unknown
1153.82/1157.13 c 1157s| 1900 | 650 |786054 | 357.5 | 424M | 78 |1584 | 16k| 17k|8028 | 1 | 618 |1363 |-3.717921e+02 |-3.470000e+02 | 7.14%| unknown
1163.99/1167.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1163.99/1167.37 c 1167s| 2000 | 656 |806585 | 349.8 | 439M | 78 |1584 | 16k| 17k|8330 | 0 | 645 |1397 |-3.717759e+02 |-3.470000e+02 | 7.14%| unknown
1169.97/1173.32 c 1173s| 2100 | 678 |820833 | 340.0 | 440M | 78 |1584 | 16k| 17k|8458 | 0 | 676 |1434 |-3.717759e+02 |-3.470000e+02 | 7.14%| unknown
1179.94/1183.38 c 1183s| 2200 | 690 |842842 | 334.5 | 448M | 78 |1584 | 16k| 17k|8743 | 0 | 726 |1472 |-3.717676e+02 |-3.470000e+02 | 7.14%| unknown
1189.72/1193.15 c 1193s| 2300 | 706 |862664 | 328.6 | 467M | 78 |1584 | 16k| 17k|9042 | 0 | 726 |1501 |-3.717570e+02 |-3.470000e+02 | 7.13%| unknown
1198.70/1202.19 c 1202s| 2400 | 762 |883504 | 323.6 | 470M | 78 |1584 | 16k| 17k|9227 | 3 | 748 |1534 |-3.717547e+02 |-3.470000e+02 | 7.13%| unknown
1217.14/1220.65 c 1221s| 2500 | 822 |926543 | 327.9 | 505M | 78 |1584 | 16k| 17k|9825 | 1 | 788 |1612 |-3.717003e+02 |-3.470000e+02 | 7.12%| unknown
1238.29/1241.80 c 1242s| 2600 | 908 |975094 | 333.9 | 567M | 78 |1584 | 16k| 17k| 10k| 1 | 808 |1675 |-3.717003e+02 |-3.470000e+02 | 7.12%| unknown
1263.32/1266.96 c 1267s| 2700 | 996 | 1035k| 344.0 | 580M | 78 |1584 | 16k| 17k| 11k| 2 | 833 |1738 |-3.716389e+02 |-3.470000e+02 | 7.10%| unknown
1269.81/1273.43 c 1273s| 2800 | 1018 | 1049k| 336.7 | 580M | 78 |1584 | 16k| 17k| 11k| 1 | 861 |1782 |-3.716389e+02 |-3.470000e+02 | 7.10%| unknown
1280.57/1284.29 c 1284s| 2900 | 1046 | 1074k| 333.5 | 584M | 78 |1584 | 16k| 17k| 11k| 1 | 910 |1833 |-3.716345e+02 |-3.470000e+02 | 7.10%| unknown
1287.15/1290.81 c 1291s| 3000 | 1068 | 1087k| 327.0 | 585M | 78 |1584 | 16k| 17k| 11k| 1 | 948 |1874 |-3.716159e+02 |-3.470000e+02 | 7.09%| unknown
1295.64/1299.34 c 1299s| 3100 | 1080 | 1111k| 324.0 | 585M | 78 |1584 | 16k| 17k| 11k| 2 |1028 |1942 |-3.716133e+02 |-3.470000e+02 | 7.09%| unknown
1302.33/1306.02 c 1306s| 3200 | 1086 | 1125k| 318.4 | 591M | 78 |1584 | 17k| 17k| 11k| 2 |1078 |1973 |-3.716003e+02 |-3.470000e+02 | 7.09%| unknown
1309.41/1313.11 c 1313s| 3300 | 1092 | 1147k| 315.2 | 591M | 78 |1584 | 16k| 17k| 12k| 0 |1084 |1993 |-3.715674e+02 |-3.470000e+02 | 7.08%| unknown
1313.79/1317.55 c 1318s| 3400 | 1090 | 1155k| 308.5 | 591M | 78 |1584 | 17k| 17k| 12k| 0 |1176 |2034 |-3.715674e+02 |-3.470000e+02 | 7.08%| unknown
1322.07/1325.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1322.07/1325.81 c 1326s| 3500 | 1096 | 1172k| 304.5 | 592M | 78 |1584 | 17k| 17k| 12k| 0 |1364 |2145 |-3.715604e+02 |-3.470000e+02 | 7.08%| unknown
1331.05/1334.87 c 1335s| 3600 | 1102 | 1191k| 301.3 | 594M | 78 |1584 | 17k| 17k| 12k| 2 |1446 |2221 |-3.715537e+02 |-3.470000e+02 | 7.08%| unknown
1338.02/1341.85 c 1342s| 3700 | 1112 | 1207k| 297.3 | 594M | 78 |1584 | 17k| 17k| 12k| 1 |1488 |2276 |-3.715493e+02 |-3.470000e+02 | 7.07%| unknown
1345.10/1349.00 c 1349s| 3800 | 1128 | 1222k| 293.6 | 595M | 81 |1584 | 17k| 17k| 12k| 1 |1521 |2313 |-3.715269e+02 |-3.470000e+02 | 7.07%| unknown
1356.68/1360.51 c 1361s| 3900 | 1140 | 1264k| 296.8 | 595M | 81 |1584 | 17k| 17k| 12k| 0 |1568 |2362 |-3.715267e+02 |-3.470000e+02 | 7.07%| unknown
1367.65/1371.51 c 1372s| 4000 | 1156 | 1289k| 295.6 | 596M | 81 |1584 | 17k| 17k| 13k| 0 |1680 |2421 |-3.715185e+02 |-3.470000e+02 | 7.07%| unknown
1378.12/1382.02 c 1382s| 4100 | 1176 | 1312k| 294.0 | 601M | 81 |1584 | 17k| 17k| 13k| 0 |1717 |2467 |-3.714958e+02 |-3.470000e+02 | 7.06%| unknown
1386.60/1390.50 c 1390s| 4200 | 1194 | 1330k| 291.4 | 602M | 81 |1584 | 17k| 17k| 13k| 2 |1736 |2508 |-3.714781e+02 |-3.470000e+02 | 7.05%| unknown
1396.57/1400.58 c 1401s| 4300 | 1210 | 1353k| 289.9 | 606M | 81 |1584 | 17k| 17k| 14k| 1 |1810 |2562 |-3.714560e+02 |-3.470000e+02 | 7.05%| unknown
1402.85/1406.83 c 1407s| 4400 | 1210 | 1366k| 286.2 | 606M | 81 |1584 | 17k| 17k| 14k| 0 |1902 |2615 |-3.714560e+02 |-3.470000e+02 | 7.05%| unknown
1407.64/1411.63 c 1412s| 4500 | 1216 | 1379k| 282.9 | 606M | 81 |1584 | 17k| 17k| 14k| 0 |1943 |2633 |-3.714429e+02 |-3.470000e+02 | 7.04%| unknown
1413.72/1417.72 c 1418s| 4600 | 1218 | 1395k| 280.2 | 607M | 81 |1584 | 17k| 17k| 14k| 3 |1980 |2673 |-3.714386e+02 |-3.470000e+02 | 7.04%| unknown
1423.00/1427.09 c 1427s| 4700 | 1240 | 1424k| 280.3 | 607M | 81 |1584 | 17k| 17k| 14k| 0 |2070 |2726 |-3.714302e+02 |-3.470000e+02 | 7.04%| unknown
1430.48/1434.52 c 1435s| 4800 | 1260 | 1443k| 278.4 | 607M | 81 |1584 | 17k| 17k| 15k| 0 |2112 |2762 |-3.714101e+02 |-3.470000e+02 | 7.03%| unknown
1435.97/1440.05 c 1440s| 4900 | 1270 | 1457k| 275.7 | 608M | 81 |1584 | 17k| 17k| 15k| 0 |2171 |2791 |-3.713969e+02 |-3.470000e+02 | 7.03%| unknown
1442.44/1446.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1442.44/1446.56 c 1447s| 5000 | 1296 | 1477k| 274.1 | 608M | 81 |1584 | 17k| 17k| 15k| 4 |2190 |2809 |-3.713761e+02 |-3.470000e+02 | 7.02%| unknown
1453.71/1457.86 c 1458s| 5100 | 1322 | 1504k| 274.1 | 610M | 81 |1584 | 17k| 17k| 15k| 3 |2262 |2865 |-3.713613e+02 |-3.470000e+02 | 7.02%| unknown
1460.50/1464.62 c 1465s| 5200 | 1332 | 1522k| 272.2 | 613M | 81 |1584 | 17k| 17k| 16k| 0 |2312 |2883 |-3.713544e+02 |-3.470000e+02 | 7.02%| unknown
1464.79/1468.95 c 1469s| 5300 | 1340 | 1534k| 269.4 | 613M | 81 |1584 | 17k| 17k| 16k| 1 |2328 |2895 |-3.713478e+02 |-3.470000e+02 | 7.02%| unknown
1478.46/1482.62 c 1483s| 5400 | 1354 | 1591k| 275.0 | 615M | 81 |1584 | 17k| 17k| 16k| 1 |2358 |2923 |-3.713409e+02 |-3.470000e+02 | 7.01%| unknown
1487.63/1491.80 c 1492s| 5500 | 1382 | 1619k| 275.0 | 615M | 81 |1584 | 17k| 17k| 16k| 1 |2386 |2943 |-3.712971e+02 |-3.470000e+02 | 7.00%| unknown
1492.42/1496.64 c 1497s| 5600 | 1394 | 1634k| 272.8 | 615M | 81 |1584 | 17k| 17k| 17k| 1 |2400 |2950 |-3.712903e+02 |-3.470000e+02 | 7.00%| unknown
1500.30/1504.53 c 1505s| 5700 | 1412 | 1657k| 272.0 | 619M | 81 |1584 | 17k| 17k| 17k| 0 |2424 |2964 |-3.712758e+02 |-3.470000e+02 | 7.00%| unknown
1504.29/1508.59 c 1509s| 5800 | 1420 | 1669k| 269.5 | 620M | 81 |1584 | 17k| 17k| 17k| 0 |2445 |2977 |-3.712689e+02 |-3.470000e+02 | 6.99%| unknown
1510.07/1514.32 c 1514s| 5900 | 1438 | 1688k| 268.1 | 620M | 81 |1584 | 17k| 17k| 17k| 0 |2494 |2990 |-3.712402e+02 |-3.470000e+02 | 6.99%| unknown
1517.85/1522.11 c 1522s| 6000 | 1460 | 1718k| 268.5 | 620M | 81 |1584 | 17k| 17k| 18k| 1 |2510 |3008 |-3.712209e+02 |-3.470000e+02 | 6.98%| unknown
1521.34/1525.67 c 1526s| 6100 | 1460 | 1727k| 265.6 | 620M | 81 |1584 | 17k| 17k| 18k| 2 |2547 |3024 |-3.712209e+02 |-3.470000e+02 | 6.98%| unknown
1526.63/1530.99 c 1531s| 6200 | 1470 | 1740k| 263.4 | 620M | 81 |1584 | 18k| 17k| 18k| 1 |2618 |3054 |-3.711848e+02 |-3.470000e+02 | 6.97%| unknown
1530.82/1535.19 c 1535s| 6300 | 1482 | 1751k| 261.1 | 620M | 81 |1584 | 17k| 17k| 18k| 2 |2626 |3067 |-3.711645e+02 |-3.470000e+02 | 6.96%| unknown
1535.11/1539.45 c 1539s| 6400 | 1492 | 1763k| 258.9 | 620M | 81 |1584 | 17k| 17k| 18k| 0 |2654 |3080 |-3.711391e+02 |-3.470000e+02 | 6.96%| unknown
1541.79/1546.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1541.79/1546.13 c 1546s| 6500 | 1512 | 1777k| 257.1 | 621M | 81 |1584 | 18k| 17k| 18k| 1 |2729 |3142 |-3.711387e+02 |-3.470000e+02 | 6.96%| unknown
1551.96/1556.35 c 1556s| 6600 | 1540 | 1806k| 257.6 | 631M | 81 |1584 | 18k| 17k| 19k| 0 |2808 |3166 |-3.711250e+02 |-3.470000e+02 | 6.95%| unknown
1556.55/1560.96 c 1561s| 6700 | 1540 | 1817k| 255.3 | 631M | 81 |1584 | 18k| 17k| 19k| 1 |2870 |3202 |-3.711250e+02 |-3.470000e+02 | 6.95%| unknown
1560.44/1564.87 c 1565s| 6800 | 1542 | 1827k| 253.0 | 631M | 81 |1584 | 18k| 17k| 19k| 0 |2960 |3229 |-3.711250e+02 |-3.470000e+02 | 6.95%| unknown
1566.32/1570.78 c 1571s| 6900 | 1552 | 1845k| 252.0 | 631M | 81 |1584 | 18k| 17k| 19k| 0 |3013 |3252 |-3.711094e+02 |-3.470000e+02 | 6.95%| unknown
1571.61/1576.09 c 1576s| 7000 | 1560 | 1861k| 250.6 | 631M | 81 |1584 | 18k| 17k| 19k| 0 |3055 |3278 |-3.711090e+02 |-3.470000e+02 | 6.95%| unknown
1576.29/1580.75 c 1581s| 7100 | 1572 | 1875k| 249.0 | 631M | 81 |1584 | 18k| 17k| 19k| 1 |3075 |3296 |-3.711090e+02 |-3.470000e+02 | 6.95%| unknown
1582.07/1586.55 c 1587s| 7200 | 1582 | 1888k| 247.5 | 631M | 81 |1584 | 18k| 17k| 19k| 1 |3137 |3325 |-3.711012e+02 |-3.470000e+02 | 6.95%| unknown
1587.26/1591.70 c 1592s| 7300 | 1582 | 1898k| 245.5 | 631M | 81 |1584 | 18k| 17k| 19k| 0 |3237 |3346 |-3.711012e+02 |-3.470000e+02 | 6.95%| unknown
1593.05/1597.57 c 1598s| 7400 | 1588 | 1912k| 244.0 | 631M | 81 |1584 | 18k| 17k| 19k| 0 |3277 |3387 |-3.711012e+02 |-3.470000e+02 | 6.95%| unknown
1600.83/1605.38 c 1605s| 7500 | 1596 | 1928k| 242.9 | 631M | 81 |1584 | 18k| 17k| 20k| 0 |3307 |3429 |-3.710988e+02 |-3.470000e+02 | 6.94%| unknown
1610.10/1614.68 c 1615s| 7600 | 1608 | 1968k| 245.0 | 631M | 81 |1584 | 18k| 17k| 20k| 0 |3327 |3435 |-3.710923e+02 |-3.470000e+02 | 6.94%| unknown
1614.19/1618.74 c 1619s| 7700 | 1610 | 1978k| 243.1 | 631M | 81 |1584 | 18k| 17k| 20k| 1 |3357 |3453 |-3.710923e+02 |-3.470000e+02 | 6.94%| unknown
1620.07/1624.60 c 1625s| 7800 | 1612 | 1990k| 241.4 | 631M | 81 |1584 | 18k| 17k| 20k| 0 |3449 |3502 |-3.710923e+02 |-3.470000e+02 | 6.94%| unknown
1625.66/1630.24 c 1630s| 7900 | 1624 | 2004k| 240.2 | 631M | 81 |1584 | 18k| 17k| 20k| 3 |3459 |3520 |-3.710844e+02 |-3.470000e+02 | 6.94%| unknown
1634.14/1638.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1634.14/1638.77 c 1639s| 8000 | 1638 | 2027k| 240.0 | 631M | 81 |1584 | 18k| 17k| 20k| 2 |3509 |3559 |-3.710614e+02 |-3.470000e+02 | 6.93%| unknown
1641.12/1645.77 c 1646s| 8100 | 1644 | 2049k| 239.8 | 632M | 81 |1584 | 18k| 17k| 20k| 1 |3549 |3597 |-3.710606e+02 |-3.470000e+02 | 6.93%| unknown
1647.90/1652.53 c 1653s| 8200 | 1652 | 2063k| 238.6 | 632M | 81 |1584 | 18k| 17k| 20k| 0 |3592 |3647 |-3.710605e+02 |-3.470000e+02 | 6.93%| unknown
1653.69/1658.34 c 1658s| 8300 | 1670 | 2079k| 237.7 | 632M | 81 |1584 | 18k| 17k| 21k| 1 |3620 |3665 |-3.710403e+02 |-3.470000e+02 | 6.93%| unknown
1657.87/1662.54 c 1663s| 8400 | 1670 | 2088k| 235.9 | 632M | 81 |1584 | 18k| 17k| 21k| 2 |3651 |3692 |-3.710403e+02 |-3.470000e+02 | 6.93%| unknown
1665.75/1670.49 c 1670s| 8500 | 1684 | 2110k| 235.7 | 632M | 81 |1584 | 18k| 17k| 21k| 2 |3729 |3735 |-3.710402e+02 |-3.470000e+02 | 6.93%| unknown
1674.93/1679.66 c 1680s| 8600 | 1712 | 2133k| 235.6 | 632M | 81 |1584 | 18k| 17k| 21k| 0 |3752 |3779 |-3.710206e+02 |-3.470000e+02 | 6.92%| unknown
1681.71/1686.44 c 1686s| 8700 | 1724 | 2152k| 235.1 | 632M | 81 |1584 | 18k| 17k| 21k| 0 |3801 |3807 |-3.710188e+02 |-3.470000e+02 | 6.92%| unknown
1690.29/1695.08 c 1695s| 8800 | 1748 | 2176k| 235.2 | 633M | 81 |1584 | 18k| 17k| 22k| 1 |3865 |3857 |-3.710025e+02 |-3.470000e+02 | 6.92%| unknown
1696.07/1700.81 c 1701s| 8900 | 1750 | 2188k| 233.9 | 633M | 81 |1584 | 18k| 17k| 22k| 1 |3976 |3911 |-3.710025e+02 |-3.470000e+02 | 6.92%| unknown
1703.36/1708.11 c 1708s| 9000 | 1772 | 2207k| 233.4 | 633M | 81 |1584 | 18k| 17k| 22k| 0 |3993 |3938 |-3.709860e+02 |-3.470000e+02 | 6.91%| unknown
1710.83/1715.65 c 1716s| 9100 | 1786 | 2225k| 232.8 | 633M | 81 |1584 | 18k| 17k| 22k| 3 |4103 |3996 |-3.709769e+02 |-3.470000e+02 | 6.91%| unknown
1716.91/1721.77 c 1722s| 9200 | 1794 | 2239k| 231.8 | 633M | 81 |1584 | 18k| 17k| 22k| 2 |4178 |4041 |-3.709692e+02 |-3.470000e+02 | 6.91%| unknown
1725.40/1730.24 c 1730s| 9300 | 1798 | 2261k| 231.7 | 634M | 81 |1584 | 18k| 17k| 22k| 0 |4286 |4096 |-3.709597e+02 |-3.470000e+02 | 6.90%| unknown
1731.78/1736.61 c 1737s| 9400 | 1806 | 2277k| 230.9 | 634M | 81 |1584 | 18k| 17k| 22k| 1 |4370 |4135 |-3.709588e+02 |-3.470000e+02 | 6.90%| unknown
1738.56/1743.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1738.56/1743.45 c 1743s| 9500 | 1818 | 2293k| 230.2 | 634M | 81 |1584 | 18k| 17k| 23k| 1 |4505 |4203 |-3.709577e+02 |-3.470000e+02 | 6.90%| unknown
1751.43/1756.34 c 1756s| 9600 | 1820 | 2340k| 232.7 | 634M | 81 |1584 | 18k| 17k| 23k| 2 |4670 |4282 |-3.709563e+02 |-3.470000e+02 | 6.90%| unknown
1757.71/1762.67 c 1763s| 9700 | 1826 | 2356k| 231.9 | 634M | 81 |1584 | 18k| 17k| 23k| 2 |4750 |4319 |-3.709558e+02 |-3.470000e+02 | 6.90%| unknown
1766.20/1771.18 c 1771s| 9800 | 1842 | 2383k| 232.3 | 634M | 81 |1584 | 18k| 17k| 23k| 0 |4785 |4355 |-3.709438e+02 |-3.470000e+02 | 6.90%| unknown
1770.28/1775.23 c 1775s| 9900 | 1842 | 2394k| 231.1 | 634M | 81 |1584 | 18k| 17k| 23k| 2 |4851 |4388 |-3.709438e+02 |-3.470000e+02 | 6.90%| unknown
1776.46/1781.43 c 1781s| 10000 | 1840 | 2407k| 230.1 | 634M | 81 |1584 | 18k| 17k| 23k| 2 |5001 |4479 |-3.709438e+02 |-3.470000e+02 | 6.90%| unknown
1783.15/1788.12 c 1788s| 10100 | 1856 | 2424k| 229.5 | 636M | 81 |1584 | 18k| 17k| 23k| 2 |5074 |4518 |-3.709360e+02 |-3.470000e+02 | 6.90%| unknown
1788.33/1793.39 c 1793s| 10200 | 1858 | 2437k| 228.5 | 636M | 81 |1584 | 18k| 17k| 23k| 0 |5189 |4564 |-3.709360e+02 |-3.470000e+02 | 6.90%| unknown
1796.21/1801.22 c 1801s| 10300 | 1874 | 2458k| 228.3 | 638M | 81 |1584 | 18k| 17k| 23k| 0 |5235 |4602 |-3.709347e+02 |-3.470000e+02 | 6.90%| unknown
1803.89/1808.95 c 1809s| 10400 | 1888 | 2478k| 228.0 | 647M | 81 |1584 | 18k| 17k| 24k| 0 |5275 |4645 |-3.709306e+02 |-3.470000e+02 | 6.90%| unknown
1813.46/1818.55 c 1819s| 10500 | 1910 | 2498k| 227.7 | 650M | 81 |1584 | 18k| 17k| 24k| 1 |5317 |4691 |-3.709195e+02 |-3.470000e+02 | 6.89%| unknown
1817.85/1822.93 c 1823s| 10600 | 1912 | 2508k| 226.6 | 650M | 81 |1584 | 18k| 17k| 24k| 1 |5405 |4716 |-3.709195e+02 |-3.470000e+02 | 6.89%| unknown
1826.33/1831.44 c 1831s| 10700 | 1920 | 2528k| 226.3 | 650M | 81 |1584 | 18k| 17k| 24k| 0 |5471 |4763 |-3.709188e+02 |-3.470000e+02 | 6.89%| unknown
1830.52/1835.69 c 1836s| 10800 | 1926 | 2540k| 225.3 | 650M | 81 |1584 | 18k| 17k| 24k| 0 |5499 |4780 |-3.709080e+02 |-3.470000e+02 | 6.89%| unknown
1834.60/1839.75 c 1840s| 10900 | 1930 | 2551k| 224.3 | 651M | 81 |1584 | 19k| 17k| 24k| 3 |5531 |4802 |-3.709080e+02 |-3.470000e+02 | 6.89%| unknown
1841.79/1846.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1841.79/1846.98 c 1847s| 11000 | 1950 | 2570k| 223.9 | 652M | 81 |1584 | 18k| 17k| 25k| 2 |5568 |4832 |-3.708856e+02 |-3.470000e+02 | 6.88%| unknown
1846.88/1852.08 c 1852s| 11100 | 1958 | 2584k| 223.2 | 653M | 81 |1584 | 18k| 17k| 25k| 1 |5585 |4858 |-3.708825e+02 |-3.470000e+02 | 6.88%| unknown
1853.26/1858.40 c 1858s| 11200 | 1964 | 2602k| 222.8 | 654M | 81 |1584 | 18k| 17k| 25k| 0 |5628 |4890 |-3.708805e+02 |-3.470000e+02 | 6.88%| unknown
1860.04/1865.24 c 1865s| 11300 | 1978 | 2620k| 222.4 | 655M | 81 |1584 | 18k| 17k| 25k| 2 |5699 |4946 |-3.708578e+02 |-3.470000e+02 | 6.88%| unknown
1866.72/1871.96 c 1872s| 11400 | 1984 | 2642k| 222.4 | 655M | 81 |1584 | 18k| 17k| 25k| 2 |5778 |4983 |-3.708568e+02 |-3.470000e+02 | 6.88%| unknown
1874.30/1879.59 c 1880s| 11500 | 1998 | 2660k| 222.0 | 656M | 81 |1584 | 18k| 17k| 25k| 1 |5789 |4999 |-3.708402e+02 |-3.470000e+02 | 6.87%| unknown
1884.17/1889.47 c 1889s| 11600 | 2004 | 2702k| 223.7 | 656M | 81 |1584 | 18k| 17k| 26k| 0 |5789 |5003 |-3.708400e+02 |-3.470000e+02 | 6.87%| unknown
1888.66/1893.99 c 1894s| 11700 | 2012 | 2716k| 223.1 | 656M | 81 |1584 | 18k| 17k| 26k| 2 |5814 |5009 |-3.708349e+02 |-3.470000e+02 | 6.87%| unknown
1899.53/1904.85 c 1905s| 11800 | 2054 | 2743k| 223.5 | 676M | 81 |1584 | 18k| 17k| 26k| 1 |5867 |5037 |-3.708290e+02 |-3.470000e+02 | 6.87%| unknown
1905.72/1911.07 c 1911s| 11900 | 2078 | 2753k| 222.4 | 676M | 81 |1584 | 18k| 17k| 26k| 1 |5935 |5103 |-3.708290e+02 |-3.470000e+02 | 6.87%| unknown
1910.60/1915.96 c 1916s| 12000 | 2100 | 2768k| 221.8 | 677M | 81 |1584 | 18k| 17k| 26k| 0 |5958 |5122 |-3.708195e+02 |-3.470000e+02 | 6.86%| unknown
1916.48/1921.84 c 1922s| 12100 | 2116 | 2786k| 221.5 | 677M | 81 |1584 | 18k| 17k| 27k| 0 |6012 |5154 |-3.708113e+02 |-3.470000e+02 | 6.86%| unknown
1920.97/1926.35 c 1926s| 12200 | 2132 | 2800k| 220.8 | 677M | 81 |1584 | 18k| 17k| 27k| 1 |6044 |5171 |-3.708094e+02 |-3.470000e+02 | 6.86%| unknown
1924.16/1929.50 c 1929s| 12300 | 2140 | 2810k| 219.8 | 677M | 81 |1584 | 18k| 17k| 27k| 2 |6052 |5183 |-3.708094e+02 |-3.470000e+02 | 6.86%| unknown
1934.04/1939.46 c 1939s| 12400 | 2168 | 2842k| 220.6 | 681M | 81 |1584 | 18k| 17k| 27k| 3 |6112 |5196 |-3.708020e+02 |-3.470000e+02 | 6.86%| unknown
1939.73/1945.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1939.73/1945.11 c 1945s| 12500 | 2196 | 2859k| 220.2 | 681M | 81 |1584 | 18k| 17k| 27k| 0 |6129 |5216 |-3.707987e+02 |-3.470000e+02 | 6.86%| unknown
1944.91/1950.34 c 1950s| 12600 | 2208 | 2871k| 219.4 | 681M | 81 |1584 | 18k| 17k| 27k| 2 |6190 |5247 |-3.707834e+02 |-3.470000e+02 | 6.85%| unknown
1949.30/1954.74 c 1955s| 12700 | 2216 | 2884k| 218.7 | 682M | 81 |1584 | 18k| 17k| 27k| 2 |6197 |5260 |-3.707820e+02 |-3.470000e+02 | 6.85%| unknown
1953.29/1958.77 c 1959s| 12800 | 2228 | 2897k| 218.0 | 682M | 81 |1584 | 18k| 17k| 28k| 0 |6197 |5264 |-3.707726e+02 |-3.470000e+02 | 6.85%| unknown
1957.18/1962.61 c 1963s| 12900 | 2240 | 2909k| 217.2 | 682M | 81 |1584 | 18k| 17k| 28k| 1 |6213 |5274 |-3.707700e+02 |-3.470000e+02 | 6.85%| unknown
1963.96/1969.49 c 1969s| 13000 | 2260 | 2930k| 217.2 | 683M | 81 |1584 | 18k| 17k| 28k| 0 |6213 |5278 |-3.707680e+02 |-3.470000e+02 | 6.85%| unknown
1966.66/1972.14 c 1972s| 13100 | 2262 | 2939k| 216.2 | 683M | 81 |1584 | 17k| 17k| 28k| 0 |6213 |5279 |-3.707680e+02 |-3.470000e+02 | 6.85%| unknown
1973.83/1979.32 c 1979s| 13200 | 2288 | 2967k| 216.7 | 683M | 81 |1584 | 17k| 17k| 28k| 1 |6213 |5283 |-3.707671e+02 |-3.470000e+02 | 6.85%| unknown
1976.63/1982.12 c 1982s| 13300 | 2292 | 2976k| 215.7 | 683M | 81 |1584 | 17k| 17k| 28k| 1 |6213 |5285 |-3.707671e+02 |-3.470000e+02 | 6.85%| unknown
1983.51/1989.09 c 1989s| 13400 | 2324 | 2996k| 215.6 | 688M | 81 |1584 | 17k| 17k| 29k| 2 |6223 |5295 |-3.707476e+02 |-3.470000e+02 | 6.84%| unknown
1987.99/1993.57 c 1994s| 13500 | 2338 | 3011k| 215.1 | 688M | 81 |1584 | 17k| 17k| 29k| 0 |6263 |5310 |-3.707476e+02 |-3.470000e+02 | 6.84%| unknown
1992.28/1997.88 c 1998s| 13600 | 2348 | 3024k| 214.5 | 688M | 81 |1584 | 17k| 17k| 29k| 1 |6263 |5315 |-3.707474e+02 |-3.470000e+02 | 6.84%| unknown
1995.27/2000.82 c 2001s| 13700 | 2356 | 3033k| 213.6 | 688M | 81 |1584 | 17k| 17k| 29k| 0 |6263 |5318 |-3.707474e+02 |-3.470000e+02 | 6.84%| unknown
2007.35/2012.99 c 2013s| 13800 | 2372 | 3084k| 215.7 | 690M | 81 |1584 | 17k| 17k| 29k| 1 |6263 |5323 |-3.707457e+02 |-3.470000e+02 | 6.84%| unknown
2011.73/2017.35 c 2017s| 13900 | 2386 | 3098k| 215.2 | 690M | 81 |1584 | 17k| 17k| 29k| 2 |6271 |5330 |-3.707454e+02 |-3.470000e+02 | 6.84%| unknown
2018.62/2024.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2018.62/2024.24 c 2024s| 14000 | 2412 | 3125k| 215.6 | 691M | 81 |1584 | 17k| 17k| 30k| 1 |6277 |5333 |-3.707316e+02 |-3.470000e+02 | 6.84%| unknown
2025.50/2031.12 c 2031s| 14100 | 2442 | 3147k| 215.6 | 691M | 81 |1584 | 17k| 17k| 30k| 0 |6287 |5335 |-3.707177e+02 |-3.470000e+02 | 6.84%| unknown
2027.99/2033.69 c 2034s| 14200 | 2448 | 3155k| 214.7 | 691M | 81 |1584 | 17k| 17k| 30k| 2 |6287 |5341 |-3.707177e+02 |-3.470000e+02 | 6.84%| unknown
2031.28/2036.90 c 2037s| 14300 | 2466 | 3165k| 213.9 | 691M | 81 |1584 | 17k| 17k| 30k| 0 |6287 |5344 |-3.707177e+02 |-3.470000e+02 | 6.84%| unknown
2036.27/2041.92 c 2042s| 14400 | 2476 | 3181k| 213.5 | 691M | 81 |1584 | 17k| 17k| 30k| 1 |6335 |5358 |-3.707177e+02 |-3.470000e+02 | 6.84%| unknown
2043.25/2048.90 c 2049s| 14500 | 2506 | 3205k| 213.7 | 691M | 81 |1584 | 17k| 17k| 30k| 1 |6356 |5375 |-3.707140e+02 |-3.470000e+02 | 6.83%| unknown
2051.33/2057.05 c 2057s| 14600 | 2534 | 3227k| 213.8 | 692M | 81 |1584 | 17k| 17k| 31k| 1 |6438 |5415 |-3.707052e+02 |-3.470000e+02 | 6.83%| unknown
2054.32/2060.05 c 2060s| 14700 | 2534 | 3235k| 212.8 | 692M | 81 |1584 | 17k| 17k| 31k| 3 |6455 |5433 |-3.707052e+02 |-3.470000e+02 | 6.83%| unknown
2059.41/2065.16 c 2065s| 14800 | 2542 | 3248k| 212.2 | 693M | 81 |1584 | 17k| 17k| 31k| 1 |6509 |5463 |-3.707018e+02 |-3.470000e+02 | 6.83%| unknown
2067.58/2073.34 c 2073s| 14900 | 2558 | 3270k| 212.3 | 693M | 81 |1584 | 17k| 17k| 31k| 2 |6551 |5505 |-3.706813e+02 |-3.470000e+02 | 6.82%| unknown
2073.37/2079.11 c 2079s| 15000 | 2572 | 3285k| 211.9 | 693M | 81 |1584 | 17k| 17k| 31k| 0 |6582 |5526 |-3.706775e+02 |-3.470000e+02 | 6.82%| unknown
2080.55/2086.32 c 2086s| 15100 | 2598 | 3307k| 211.9 | 693M | 81 |1584 | 17k| 17k| 32k| 0 |6603 |5546 |-3.706590e+02 |-3.470000e+02 | 6.82%| unknown
2087.13/2092.95 c 2093s| 15200 | 2620 | 3323k| 211.6 | 693M | 81 |1584 | 17k| 17k| 32k| 0 |6603 |5570 |-3.706574e+02 |-3.470000e+02 | 6.82%| unknown
2090.62/2096.45 c 2096s| 15300 | 2628 | 3333k| 210.9 | 693M | 81 |1584 | 17k| 17k| 32k| 0 |6624 |5585 |-3.706574e+02 |-3.470000e+02 | 6.82%| unknown
2098.50/2104.34 c 2104s| 15400 | 2654 | 3354k| 210.9 | 693M | 81 |1584 | 17k| 17k| 32k| 1 |6643 |5624 |-3.706527e+02 |-3.470000e+02 | 6.82%| unknown
2105.58/2111.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2105.58/2111.47 c 2111s| 15500 | 2668 | 3374k| 210.8 | 693M | 81 |1584 | 17k| 17k| 32k| 1 |6674 |5649 |-3.706501e+02 |-3.470000e+02 | 6.82%| unknown
2115.36/2121.23 c 2121s| 15600 | 2686 | 3401k| 211.2 | 694M | 81 |1584 | 17k| 17k| 32k| 0 |6724 |5690 |-3.706401e+02 |-3.470000e+02 | 6.81%| unknown
2125.63/2131.59 c 2132s| 15700 | 2712 | 3429k| 211.6 | 695M | 81 |1584 | 17k| 17k| 33k| 0 |6805 |5733 |-3.706373e+02 |-3.470000e+02 | 6.81%| unknown
2137.90/2143.89 c 2144s| 15800 | 2732 | 3475k| 213.2 | 695M | 81 |1584 | 17k| 17k| 33k| 2 |6837 |5763 |-3.706314e+02 |-3.470000e+02 | 6.81%| unknown
2147.08/2153.02 c 2153s| 15900 | 2762 | 3501k| 213.5 | 695M | 81 |1584 | 17k| 17k| 34k| 1 |6837 |5792 |-3.706185e+02 |-3.470000e+02 | 6.81%| unknown
2159.24/2165.22 c 2165s| 16000 | 2786 | 3531k| 214.0 | 695M | 81 |1584 | 17k| 17k| 34k| 1 |6857 |5819 |-3.706054e+02 |-3.470000e+02 | 6.80%| unknown
2162.04/2168.06 c 2168s| 16100 | 2788 | 3539k| 213.2 | 695M | 81 |1584 | 17k| 17k| 34k| 3 |6871 |5832 |-3.706054e+02 |-3.470000e+02 | 6.80%| unknown
2166.32/2172.36 c 2172s| 16200 | 2790 | 3550k| 212.6 | 695M | 81 |1584 | 17k| 17k| 34k| 0 |6906 |5847 |-3.706040e+02 |-3.470000e+02 | 6.80%| unknown
2172.81/2178.80 c 2179s| 16300 | 2810 | 3568k| 212.4 | 696M | 81 |1584 | 17k| 17k| 34k| 1 |6945 |5880 |-3.705929e+02 |-3.470000e+02 | 6.80%| unknown
2178.79/2184.89 c 2185s| 16400 | 2826 | 3588k| 212.3 | 696M | 81 |1584 | 17k| 17k| 35k| 2 |6977 |5888 |-3.705884e+02 |-3.470000e+02 | 6.80%| unknown
2185.37/2191.46 c 2191s| 16500 | 2850 | 3609k| 212.3 | 696M | 81 |1584 | 17k| 17k| 35k| 1 |7017 |5903 |-3.705783e+02 |-3.470000e+02 | 6.79%| unknown
2199.23/2205.34 c 2205s| 16600 | 2912 | 3638k| 212.7 | 699M | 81 |1584 | 17k| 17k| 35k| 0 |7032 |5976 |-3.705694e+02 |-3.470000e+02 | 6.79%| unknown
2204.42/2210.52 c 2211s| 16700 | 2940 | 3653k| 212.4 | 699M | 81 |1584 | 17k| 17k| 35k| 2 |7051 |5994 |-3.705642e+02 |-3.470000e+02 | 6.79%| unknown
2212.01/2218.16 c 2218s| 16800 | 2958 | 3674k| 212.4 | 699M | 81 |1584 | 17k| 17k| 36k| 2 |7088 |6024 |-3.705615e+02 |-3.470000e+02 | 6.79%| unknown
2219.18/2225.37 c 2225s| 16900 | 2986 | 3698k| 212.5 | 699M | 81 |1584 | 17k| 17k| 36k| 2 |7142 |6039 |-3.705435e+02 |-3.470000e+02 | 6.78%| unknown
2224.17/2230.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2224.17/2230.37 c 2230s| 17000 | 2994 | 3712k| 212.1 | 699M | 81 |1584 | 17k| 17k| 36k| 0 |7173 |6067 |-3.705388e+02 |-3.470000e+02 | 6.78%| unknown
2227.36/2233.52 c 2234s| 17100 | 3000 | 3722k| 211.4 | 699M | 81 |1584 | 17k| 17k| 36k| 0 |7187 |6078 |-3.705388e+02 |-3.470000e+02 | 6.78%| unknown
2234.24/2240.48 c 2240s| 17200 | 3014 | 3744k| 211.5 | 699M | 81 |1584 | 17k| 17k| 36k| 0 |7206 |6115 |-3.705374e+02 |-3.470000e+02 | 6.78%| unknown
2238.03/2244.24 c 2244s| 17300 | 3018 | 3752k| 210.7 | 699M | 81 |1584 | 17k| 17k| 36k| 2 |7233 |6148 |-3.705374e+02 |-3.470000e+02 | 6.78%| unknown
2242.82/2249.05 c 2249s| 17400 | 3024 | 3766k| 210.3 | 699M | 81 |1584 | 17k| 17k| 36k| 0 |7276 |6176 |-3.705301e+02 |-3.470000e+02 | 6.78%| unknown
2246.21/2252.49 c 2252s| 17500 | 3022 | 3775k| 209.6 | 699M | 81 |1584 | 17k| 17k| 36k| 1 |7342 |6211 |-3.705301e+02 |-3.470000e+02 | 6.78%| unknown
2251.90/2258.18 c 2258s| 17600 | 3038 | 3795k| 209.5 | 699M | 81 |1584 | 17k| 17k| 37k| 1 |7352 |6219 |-3.705260e+02 |-3.470000e+02 | 6.78%| unknown
2258.18/2264.45 c 2264s| 17700 | 3054 | 3815k| 209.5 | 699M | 81 |1584 | 17k| 17k| 37k| 0 |7399 |6241 |-3.705240e+02 |-3.470000e+02 | 6.78%| unknown
2264.26/2270.54 c 2271s| 17800 | 3074 | 3827k| 209.0 | 699M | 81 |1584 | 17k| 17k| 37k| 1 |7417 |6280 |-3.705121e+02 |-3.470000e+02 | 6.78%| unknown
2269.25/2275.50 c 2275s| 17900 | 3104 | 3841k| 208.6 | 700M | 81 |1584 | 17k| 17k| 37k| 2 |7432 |6303 |-3.705121e+02 |-3.470000e+02 | 6.78%| unknown
2273.63/2279.97 c 2280s| 18000 | 3134 | 3854k| 208.2 | 701M | 81 |1584 | 17k| 17k| 37k| 0 |7451 |6320 |-3.705031e+02 |-3.470000e+02 | 6.77%| unknown
2285.90/2292.20 c 2292s| 18100 | 3162 | 3902k| 209.7 | 701M | 81 |1584 | 17k| 17k| 37k| 0 |7451 |6353 |-3.704985e+02 |-3.470000e+02 | 6.77%| unknown
2293.48/2299.89 c 2300s| 18200 | 3190 | 3920k| 209.5 | 701M | 81 |1584 | 17k| 17k| 37k| 1 |7471 |6399 |-3.704930e+02 |-3.470000e+02 | 6.77%| unknown
2296.88/2303.28 c 2303s| 18300 | 3204 | 3929k| 208.9 | 701M | 81 |1584 | 17k| 17k| 37k| 3 |7496 |6415 |-3.704930e+02 |-3.470000e+02 | 6.77%| unknown
2301.97/2308.34 c 2308s| 18400 | 3226 | 3944k| 208.6 | 702M | 81 |1584 | 17k| 17k| 38k| 0 |7519 |6433 |-3.704930e+02 |-3.470000e+02 | 6.77%| unknown
2307.66/2314.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2307.66/2314.05 c 2314s| 18500 | 3248 | 3965k| 208.6 | 702M | 81 |1584 | 17k| 17k| 38k| 0 |7553 |6439 |-3.704912e+02 |-3.470000e+02 | 6.77%| unknown
2311.54/2317.95 c 2318s| 18600 | 3258 | 3979k| 208.2 | 702M | 81 |1584 | 17k| 17k| 38k| 0 |7559 |6442 |-3.704882e+02 |-3.470000e+02 | 6.77%| unknown
2316.63/2323.08 c 2323s| 18700 | 3284 | 3995k| 207.9 | 702M | 81 |1584 | 17k| 17k| 38k| 0 |7578 |6459 |-3.704850e+02 |-3.470000e+02 | 6.77%| unknown
2320.12/2326.54 c 2327s| 18800 | 3306 | 4006k| 207.4 | 702M | 81 |1584 | 17k| 17k| 38k| 1 |7584 |6466 |-3.704850e+02 |-3.470000e+02 | 6.77%| unknown
2323.11/2329.53 c 2330s| 18900 | 3312 | 4014k| 206.7 | 703M | 81 |1584 | 17k| 17k| 38k| 0 |7602 |6480 |-3.704850e+02 |-3.470000e+02 | 6.77%| unknown
2327.80/2334.22 c 2334s| 19000 | 3324 | 4028k| 206.4 | 703M | 81 |1584 | 17k| 17k| 38k| 0 |7626 |6493 |-3.704847e+02 |-3.470000e+02 | 6.77%| unknown
2333.08/2339.58 c 2340s| 19100 | 3344 | 4046k| 206.2 | 703M | 81 |1584 | 17k| 17k| 38k| 0 |7642 |6498 |-3.704796e+02 |-3.470000e+02 | 6.77%| unknown
2335.98/2342.44 c 2342s| 19200 | 3344 | 4054k| 205.6 | 703M | 90 |1584 | 17k| 17k| 38k| 0 |7674 |6514 |-3.704796e+02 |-3.470000e+02 | 6.77%| unknown
2338.77/2345.21 c 2345s| 19300 | 3340 | 4062k| 204.9 | 703M | 90 |1584 | 17k| 17k| 38k| 0 |7704 |6533 |-3.704796e+02 |-3.470000e+02 | 6.77%| unknown
2356.53/2363.04 c 2363s| 19400 | 3422 | 4118k| 206.8 | 710M | 90 |1584 | 17k| 17k| 39k| 1 |7756 |6535 |-3.704587e+02 |-3.470000e+02 | 6.76%| unknown
2377.77/2384.32 c 2384s| 19500 | 3522 | 4183k| 209.1 | 733M | 90 |1584 | 17k| 17k| 40k| 1 |7811 |6546 |-3.704335e+02 |-3.470000e+02 | 6.75%| unknown
2397.22/2403.87 c 2404s| 19600 | 3622 | 4246k| 211.2 | 734M | 90 |1584 | 17k| 17k| 41k| 1 |7824 |6552 |-3.704054e+02 |-3.470000e+02 | 6.75%| unknown
2417.16/2423.89 c 2424s| 19700 | 3722 | 4313k| 213.5 | 734M | 90 |1584 | 17k| 17k| 41k| 1 |7879 |6570 |-3.703691e+02 |-3.470000e+02 | 6.73%| unknown
2439.00/2445.74 c 2446s| 19800 | 3822 | 4383k| 216.0 | 755M | 90 |1584 | 16k| 17k| 42k| 1 |7913 |6576 |-3.703416e+02 |-3.470000e+02 | 6.73%| unknown
2459.55/2466.36 c 2466s| 19900 | 3922 | 4452k| 218.4 | 753M | 90 |1584 | 16k| 17k| 43k| 1 |7978 |6580 |-3.703186e+02 |-3.470000e+02 | 6.72%| unknown
2483.39/2490.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2483.39/2490.25 c 2490s| 20000 | 4022 | 4523k| 220.8 | 783M | 90 |1584 | 16k| 17k| 44k| 1 |8028 |6586 |-3.702804e+02 |-3.470000e+02 | 6.71%| unknown
2507.93/2514.85 c 2515s| 20100 | 4122 | 4600k| 223.6 | 790M | 90 |1584 | 16k| 17k| 45k| 1 |8068 |6587 |-3.702386e+02 |-3.470000e+02 | 6.70%| unknown
2533.56/2540.55 c 2541s| 20200 | 4222 | 4674k| 226.1 | 818M | 90 |1584 | 16k| 17k| 46k| 1 |8092 |6592 |-3.702094e+02 |-3.470000e+02 | 6.69%| unknown
2555.60/2562.69 c 2563s| 20300 | 4322 | 4743k| 228.4 | 821M | 90 |1584 | 16k| 17k| 46k| 1 |8160 |6626 |-3.701935e+02 |-3.470000e+02 | 6.68%| unknown
2581.14/2588.21 c 2588s| 20400 | 4422 | 4817k| 230.9 | 831M | 90 |1584 | 16k| 17k| 47k| 1 |8195 |6660 |-3.701602e+02 |-3.470000e+02 | 6.67%| unknown
2605.08/2612.22 c 2612s| 20500 | 4522 | 4889k| 233.3 | 832M | 90 |1584 | 16k| 17k| 48k| 1 |8270 |6696 |-3.701208e+02 |-3.470000e+02 | 6.66%| unknown
2627.42/2634.66 c 2635s| 20600 | 4622 | 4962k| 235.7 | 841M | 90 |1584 | 16k| 17k| 49k| 1 |8336 |6705 |-3.700983e+02 |-3.470000e+02 | 6.66%| unknown
2651.95/2659.25 c 2659s| 20700 | 4722 | 5032k| 238.0 | 845M | 90 |1584 | 16k| 17k| 50k| 1 |8404 |6721 |-3.700502e+02 |-3.470000e+02 | 6.64%| unknown
2676.60/2683.92 c 2684s| 20800 | 4822 | 5108k| 240.4 | 876M | 90 |1584 | 16k| 17k| 51k| 1 |8440 |6728 |-3.700252e+02 |-3.470000e+02 | 6.64%| unknown
2697.84/2705.27 c 2705s| 20900 | 4922 | 5176k| 242.6 | 892M | 90 |1584 | 16k| 17k| 52k| 1 |8486 |6729 |-3.700128e+02 |-3.470000e+02 | 6.63%| unknown
2722.58/2730.06 c 2730s| 21000 | 5022 | 5250k| 244.9 | 902M | 90 |1584 | 16k| 17k| 53k| 1 |8551 |6733 |-3.699773e+02 |-3.470000e+02 | 6.62%| unknown
2741.63/2749.16 c 2749s| 21100 | 5122 | 5318k| 247.0 | 903M | 90 |1584 | 16k| 17k| 54k| 5 |8599 |6735 |-3.699459e+02 |-3.470000e+02 | 6.61%| unknown
2761.17/2768.79 c 2769s| 21200 | 5222 | 5385k| 249.0 | 903M | 90 |1584 | 16k| 17k| 55k| 1 |8640 |6736 |-3.699147e+02 |-3.470000e+02 | 6.60%| unknown
2788.70/2796.33 c 2796s| 21300 | 5322 | 5484k| 252.5 | 911M | 90 |1584 | 16k| 17k| 56k| 1 |8671 |6737 |-3.698637e+02 |-3.470000e+02 | 6.59%| unknown
2811.13/2818.86 c 2819s| 21400 | 5422 | 5553k| 254.5 | 918M | 90 |1584 | 16k| 17k| 57k| 3 |8723 |6739 |-3.698333e+02 |-3.470000e+02 | 6.58%| unknown
2836.27/2844.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2836.27/2844.10 c 2844s| 21500 | 5522 | 5623k| 256.6 | 930M | 90 |1584 | 16k| 17k| 58k| 1 |8756 |6739 |-3.697873e+02 |-3.470000e+02 | 6.57%| unknown
2859.60/2867.46 c 2867s| 21600 | 5622 | 5699k| 258.9 | 944M | 90 |1584 | 16k| 17k| 59k| 1 |8847 |6740 |-3.697433e+02 |-3.470000e+02 | 6.55%| unknown
2884.64/2892.52 c 2893s| 21700 | 5722 | 5770k| 261.0 | 955M | 90 |1584 | 16k| 17k| 60k| 1 |8908 |6745 |-3.696672e+02 |-3.470000e+02 | 6.53%| unknown
2903.99/2911.96 c 2912s| 21800 | 5822 | 5839k| 263.0 | 955M | 90 |1584 | 16k| 17k| 61k| 1 |8950 |6745 |-3.696438e+02 |-3.470000e+02 | 6.53%| unknown
2927.04/2935.05 c 2935s| 21900 | 5922 | 5911k| 265.1 | 957M | 90 |1584 | 16k| 17k| 62k| 4 |8961 |6746 |-3.696027e+02 |-3.470000e+02 | 6.51%| unknown
2963.33/2971.45 c 2971s| 22000 | 6022 | 6050k| 270.1 | 962M | 90 |1584 | 16k| 17k| 63k| 1 |8984 |6747 |-3.695521e+02 |-3.470000e+02 | 6.50%| unknown
2984.07/2992.24 c 2992s| 22100 | 6122 | 6114k| 271.8 | 983M | 90 |1584 | 16k| 17k| 63k| 1 |9037 |6749 |-3.695066e+02 |-3.470000e+02 | 6.49%| unknown
3007.31/3015.51 c 3016s| 22200 | 6222 | 6187k| 273.9 | 1002M | 90 |1584 | 16k| 17k| 64k| 1 |9061 |6752 |-3.694540e+02 |-3.470000e+02 | 6.47%| unknown
3030.66/3038.98 c 3039s| 22300 | 6322 | 6248k| 275.4 | 1014M | 90 |1584 | 16k| 17k| 66k| 1 |9080 |6799 |-3.694169e+02 |-3.470000e+02 | 6.46%| unknown
3054.70/3063.08 c 3063s| 22400 | 6422 | 6315k| 277.2 | 1021M | 90 |1584 | 16k| 17k| 67k| 1 |9139 |6831 |-3.693792e+02 |-3.470000e+02 | 6.45%| unknown
3078.34/3086.77 c 3087s| 22500 | 6522 | 6382k| 278.9 | 1029M | 90 |1584 | 16k| 17k| 68k| 1 |9163 |6845 |-3.693412e+02 |-3.470000e+02 | 6.44%| unknown
3101.38/3109.89 c 3110s| 22600 | 6622 | 6447k| 280.6 | 1038M | 90 |1584 | 16k| 17k| 69k| 1 |9183 |6864 |-3.692886e+02 |-3.470000e+02 | 6.42%| unknown
3123.32/3131.85 c 3132s| 22700 | 6722 | 6516k| 282.4 | 1040M | 90 |1584 | 16k| 17k| 70k| 1 |9243 |6870 |-3.692585e+02 |-3.470000e+02 | 6.41%| unknown
3144.26/3152.84 c 3153s| 22800 | 6822 | 6581k| 284.0 | 1075M | 90 |1584 | 16k| 17k| 71k| 1 |9326 |6881 |-3.692068e+02 |-3.470000e+02 | 6.40%| unknown
3164.01/3172.60 c 3173s| 22900 | 6922 | 6645k| 285.5 | 1084M | 90 |1584 | 16k| 17k| 72k| 1 |9362 |6886 |-3.691485e+02 |-3.470000e+02 | 6.38%| unknown
3185.15/3193.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3185.15/3193.82 c 3194s| 23000 | 7022 | 6714k| 287.3 | 1084M | 90 |1584 | 16k| 17k| 72k| 1 |9390 |6888 |-3.691209e+02 |-3.470000e+02 | 6.37%| unknown
3204.61/3213.38 c 3213s| 23100 | 7122 | 6780k| 288.9 | 1084M | 90 |1584 | 16k| 17k| 73k| 1 |9423 |6888 |-3.691071e+02 |-3.470000e+02 | 6.37%| unknown
3227.15/3235.93 c 3236s| 23200 | 7222 | 6843k| 290.4 | 1089M | 90 |1584 | 16k| 17k| 74k| 1 |9449 |6908 |-3.690686e+02 |-3.470000e+02 | 6.36%| unknown
3251.88/3260.79 c 3261s| 23300 | 7322 | 6916k| 292.3 | 1091M | 90 |1584 | 16k| 17k| 75k| 1 |9483 |6913 |-3.690198e+02 |-3.470000e+02 | 6.35%| unknown
3274.42/3283.31 c 3283s| 23400 | 7422 | 6988k| 294.1 | 1095M | 90 |1584 | 16k| 17k| 76k| 4 |9531 |6917 |-3.689720e+02 |-3.470000e+02 | 6.33%| unknown
3299.84/3308.89 c 3309s| 23500 | 7522 | 7062k| 296.0 | 1108M | 90 |1584 | 16k| 17k| 77k| 1 |9648 |6920 |-3.689326e+02 |-3.470000e+02 | 6.32%| unknown
3318.39/3327.43 c 3327s| 23600 | 7622 | 7122k| 297.3 | 1110M | 90 |1584 | 16k| 17k| 78k| 1 |9701 |6924 |-3.689154e+02 |-3.470000e+02 | 6.32%| unknown
3358.18/3367.37 c 3367s| 23700 | 7722 | 7294k| 303.3 | 1110M | 90 |1584 | 16k| 17k| 79k| 1 |9713 |6926 |-3.688841e+02 |-3.470000e+02 | 6.31%| unknown
3383.82/3393.09 c 3393s| 23800 | 7822 | 7400k| 306.4 | 1110M | 90 |1584 | 16k| 17k| 79k| 4 |9729 |6929 |-3.688634e+02 |-3.470000e+02 | 6.30%| unknown
3404.16/3413.43 c 3413s| 23900 | 7922 | 7473k| 308.2 | 1111M | 90 |1584 | 16k| 17k| 80k| 3 |9730 |6931 |-3.688512e+02 |-3.470000e+02 | 6.30%| unknown
3425.81/3435.11 c 3435s| 24000 | 8022 | 7534k| 309.5 | 1111M | 90 |1584 | 16k| 17k| 81k| 1 |9778 |6968 |-3.688331e+02 |-3.470000e+02 | 6.29%| unknown
3445.75/3455.16 c 3455s| 24100 | 8122 | 7587k| 310.4 | 1112M | 90 |1584 | 16k| 17k| 82k| 1 |9798 |7015 |-3.688073e+02 |-3.470000e+02 | 6.28%| unknown
3467.29/3476.73 c 3477s| 24200 | 8222 | 7665k| 312.3 | 1113M | 90 |1584 | 16k| 17k| 82k| 1 |9804 |7035 |-3.687770e+02 |-3.470000e+02 | 6.28%| unknown
3491.03/3500.54 c 3501s| 24300 | 8322 | 7739k| 314.1 | 1115M | 90 |1584 | 16k| 17k| 83k| 1 |9854 |7067 |-3.687477e+02 |-3.470000e+02 | 6.27%| unknown
3509.08/3518.61 c 3519s| 24400 | 8422 | 7795k| 315.1 | 1117M | 90 |1584 | 16k| 17k| 84k| 1 |9875 |7077 |-3.687185e+02 |-3.470000e+02 | 6.26%| unknown
3528.43/3538.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3528.43/3538.03 c 3538s| 24500 | 8522 | 7860k| 316.5 | 1117M | 90 |1584 | 16k| 17k| 84k| 1 |9947 |7084 |-3.686996e+02 |-3.470000e+02 | 6.25%| unknown
3546.18/3555.88 c 3556s| 24600 | 8622 | 7918k| 317.6 | 1117M | 90 |1584 | 16k| 17k| 85k| 1 |9970 |7091 |-3.686742e+02 |-3.470000e+02 | 6.25%| unknown
3569.81/3579.53 c 3580s| 24700 | 8722 | 8003k| 319.7 | 1119M | 90 |1584 | 16k| 17k| 86k| 1 | 10k|7108 |-3.686508e+02 |-3.470000e+02 | 6.24%| unknown
3587.28/3597.02 c
3587.28/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.28/3597.02 c Solving Time (sec) : 3597.01
3587.28/3597.02 c Solving Nodes : 24771
3587.28/3597.02 c Primal Bound : -3.47000000000000e+02 (594 solutions)
3587.28/3597.02 c Dual Bound : -3.68639597351497e+02
3587.28/3597.02 c Gap : 6.24 %
3587.28/3597.02 s SATISFIABLE
3587.28/3597.02 v -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028
3587.28/3597.02 v -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 x2012 -x2011 -x2010
3587.28/3597.02 v -x2009 -x2008 -x2007 x2006 -x2005 -x2004 -x2003 -x2002 x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992
3587.28/3597.02 v -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974
3587.28/3597.02 v -x1973 -x1972 -x1971 x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 x1958 -x1957 -x1956
3587.28/3597.02 v -x1955 x1954 x1953 x1952 -x1951 -x1950 -x1949 -x1948 -x1947 x1946 -x1945 -x1944 -x1943 x1942 -x1941 -x1940 -x1939 -x1938
3587.28/3597.02 v x1937 -x1936 x1935 -x1934 -x1933 x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 x1920 -x1919
3587.28/3597.02 v -x1918 -x1917 -x1916 -x1915 x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 x1907 -x1906 -x1905 -x1904 x1903 -x1902 x1901
3587.28/3597.02 v -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 x1894 -x1893 x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883
3587.28/3597.02 v -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865
3587.28/3597.02 v x1864 -x1863 -x1862 x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847
3587.28/3597.02 v -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829
3587.28/3597.02 v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 x1819 x1818 -x1817 -x1816 -x1815 -x1814 x1813 -x1812 x1811 -x1810
3587.28/3597.02 v -x1809 -x1808 -x1807 x1806 -x1805 x1804 -x1803 -x1802 -x1801 -x1800 x1799 x1798 x1797 -x1796 -x1795 x1794 -x1793 -x1792
3587.28/3597.02 v -x1791 x1790 -x1789 -x1788 x1787 x1786 -x1785 -x1784 -x1783 x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773
3587.28/3597.02 v -x1772 -x1771 x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755
3587.28/3597.02 v -x1754 -x1753 x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 x1743 -x1742 -x1741 x1740 -x1739 -x1738 -x1737
3587.28/3597.02 v -x1736 -x1735 -x1734 -x1733 x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719
3587.28/3597.02 v x1718 -x1717 -x1716 x1715 -x1714 x1713 -x1712 -x1711 -x1710 -x1709 x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701
3587.28/3597.02 v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 x1690 -x1689 x1688 -x1687 -x1686 -x1685 x1684 -x1683 x1682
3587.28/3597.02 v -x1681 x1680 -x1679 -x1678 -x1677 -x1676 x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 x1668 -x1667 -x1666 x1665 -x1664
3587.28/3597.02 v -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 x1654 -x1653 -x1652 -x1651 -x1650 -x1649 x1648 -x1647 -x1646
3587.28/3597.02 v x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627
3587.28/3597.02 v -x1626 x1625 -x1624 x1623 -x1622 -x1621 x1620 x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 x1612 -x1611 -x1610 -x1609
3587.28/3597.02 v x1608 -x1607 -x1606 -x1605 x1604 -x1603 -x1602 -x1601 -x1600 -x1599 x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591
3587.28/3597.02 v -x1590 -x1589 x1588 -x1587 x1586 x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 x1575 -x1574 x1573 x1572
3587.28/3597.02 v -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554
3587.28/3597.02 v -x1553 -x1552 x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 x1542 -x1541 x1540 -x1539 -x1538 -x1537 x1536 -x1535
3587.28/3597.02 v -x1534 -x1533 -x1532 x1531 -x1530 -x1529 -x1528 -x1527 -x1526 x1525 x1524 -x1523 -x1522 -x1521 x1520 -x1519 -x1518 -x1517
3587.28/3597.02 v -x1516 -x1515 x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499
3587.28/3597.02 v x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 x1486 x1485 x1484 -x1483 -x1482 -x1481
3587.28/3597.02 v -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463
3587.28/3597.02 v x1462 -x1461 x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444
3587.28/3597.02 v x1443 -x1442 -x1441 -x1440 x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 x1429 -x1428 -x1427 -x1426
3587.28/3597.02 v -x1425 -x1424 x1423 -x1422 -x1421 -x1420 -x1419 -x1418 x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408
3587.28/3597.02 v x1407 -x1406 -x1405 x1404 -x1403 -x1402 -x1401 -x1400 x1399 -x1398 -x1397 -x1396 -x1395 x1394 x1393 -x1392 -x1391 -x1390 -x1389
3587.28/3597.02 v x1388 -x1387 -x1386 -x1385 -x1384 -x1383 x1382 -x1381 -x1380 -x1379 x1378 x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371
3587.28/3597.02 v -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 x1362 -x1361 -x1360 -x1359 x1358 -x1357 x1356 -x1355 -x1354 -x1353
3587.28/3597.02 v -x1352 x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334
3587.28/3597.02 v -x1333 -x1332 -x1331 -x1330 -x1329 x1328 -x1327 -x1326 x1325 x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316
3587.28/3597.02 v x1315 x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 x1303 -x1302 -x1301 -x1300 -x1299 -x1298
3587.28/3597.02 v x1297 -x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280
3587.28/3597.02 v -x1279 -x1278 x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 x1268 -x1267 -x1266 x1265 -x1264 -x1263 -x1262 -x1261
3587.28/3597.02 v -x1260 -x1259 x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 x1251 -x1250 -x1249 -x1248 -x1247 x1246 -x1245 -x1244 -x1243
3587.28/3597.02 v -x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 x1226 -x1225
3587.28/3597.02 v -x1224 -x1223 x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x1215 -x1214 -x1213 x1212 x1211 -x1210 -x1209 -x1208 -x1207
3587.28/3597.02 v -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 x1194 -x1193 -x1192 -x1191 -x1190 -x1189
3587.28/3597.02 v -x1188 -x1187 x1186 x1185 -x1184 x1183 x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 x1170
3587.28/3597.02 v x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 x1162 -x1161 x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 x1152 -x1151
3587.28/3597.02 v -x1150 -x1149 -x1148 -x1147 -x1146 x1145 x1144 -x1143 -x1142 x1141 -x1140 -x1139 x1138 -x1137 -x1136 -x1135 -x1134 -x1133
3587.28/3597.02 v -x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 x1118 -x1117 -x1116 -x1115
3587.28/3597.02 v -x1114 x1113 -x1112 -x1111 x1110 x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096
3587.28/3597.02 v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078
3587.28/3597.02 v -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060
3587.28/3597.02 v -x1059 -x1058 x1057 -x1056 x1055 -x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048 x1047 x1046 -x1045 x1044 -x1043 -x1042 x1041
3587.28/3597.02 v -x1040 -x1039 -x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023
3587.28/3597.02 v -x1022 -x1021 -x1020 x1019 -x1018 -x1017 -x1016 x1015 -x1014 x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004
3587.28/3597.02 v -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984
3587.28/3597.02 v -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963
3587.28/3597.02 v -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 x954 x953 -x952 -x951 x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942
3587.28/3597.02 v -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 x926 -x925 -x924 x923 -x922 -x921 -x920
3587.28/3597.02 v -x919 x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 x906 x905 -x904 -x903 -x902 -x901 -x900 x899
3587.28/3597.02 v -x898 -x897 x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 x888 x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877
3587.28/3597.02 v x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 x859 -x858 -x857 -x856
3587.28/3597.02 v -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835
3587.28/3597.02 v -x834 x833 -x832 -x831 x830 x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 x813
3587.28/3597.02 v -x812 -x811 -x810 -x809 x808 -x807 -x806 x805 x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 x792
3587.28/3597.02 v -x791 -x790 x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 x773 x772 x771 -x770
3587.28/3597.02 v -x769 -x768 -x767 x766 x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 x748
3587.28/3597.02 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 x737 -x736 x735 -x734 x733 -x732 -x731 -x730 -x729 -x728 -x727
3587.28/3597.02 v -x726 -x725 -x724 -x723 x722 -x721 -x720 x719 -x718 -x717 -x716 x715 x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705
3587.28/3597.02 v -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 x696 -x695 x694 -x693 -x692 x691 -x690 x689 -x688 -x687 -x686 -x685 -x684
3587.28/3597.02 v x683 -x682 -x681 -x680 -x679 x678 -x677 x676 x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 -x667 x666 -x665 -x664 -x663 x662
3587.28/3597.02 v -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 x643 -x642 x641 -x640
3587.28/3597.02 v -x639 -x638 -x637 x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 x622 -x621 -x620 -x619
3587.28/3597.02 v -x618 -x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 x603 -x602 -x601 -x600 -x599 x598 -x597
3587.28/3597.02 v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576
3587.28/3597.02 v -x575 x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555
3587.28/3597.02 v -x554 -x553 -x552 x551 -x550 -x549 -x548 -x547 x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534
3587.28/3597.02 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513
3587.28/3597.02 v -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 x499 -x498 -x497 x496 -x495 -x494 -x493 -x492
3587.28/3597.02 v -x491 -x490 -x489 -x488 x487 -x486 x485 x484 -x483 -x482 -x481 x480 -x479 x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470
3587.28/3597.02 v -x469 -x468 -x467 x466 x465 -x464 -x463 x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449
3587.28/3597.02 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 x428 -x427
3587.28/3597.02 v -x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406
3587.28/3597.02 v -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384
3587.28/3597.02 v -x383 -x382 -x381 -x380 x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363
3587.28/3597.02 v -x362 -x361 -x360 x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 x342 -x341
3587.28/3597.02 v -x340 x339 -x338 -x337 x336 -x335 x334 -x333 -x332 x331 -x330 x329 x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
3587.28/3597.02 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 x298
3587.28/3597.02 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 x284 -x283 -x282 -x281 x280 -x279 -x278 -x277
3587.28/3597.02 v -x276 x275 -x274 -x273 x272 x271 -x270 x269 x268 x267 x266 -x265 -x264 -x263 -x262 -x261 -x260 x259 x258 -x257 -x256 -x255
3587.28/3597.02 v x254 -x253 -x252 -x251 -x250 x249 x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 x239 -x238 -x237 x236 -x235 -x234 -x233
3587.28/3597.02 v -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211
3587.28/3597.02 v -x210 -x209 x208 x207 x206 -x205 -x204 x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190
3587.28/3597.02 v x189 x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 x170 -x169 -x168
3587.28/3597.02 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 x156 -x155 -x154 -x153 -x152 x151 x150 -x149 x148 -x147 -x146
3587.28/3597.02 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125
3587.28/3597.02 v -x124 -x123 x122 -x121 -x120 -x119 x118 -x117 x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
3587.28/3597.02 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 x85 x84 -x83 -x82 -x81 -x80 -x79
3587.28/3597.02 v -x78 x77 -x76 x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 x53
3587.28/3597.02 v x52 x51 -x50 -x49 x48 -x47 x46 -x45 -x44 x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26
3587.28/3597.02 v x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
3587.28/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.28/3597.02 c Total Time : 3597.01
3587.28/3597.02 c solving : 3597.01
3587.28/3597.02 c presolving : 808.03 (included in solving)
3587.28/3597.02 c reading : 0.03 (included in solving)
3587.28/3597.02 c copying : 1.75 (66 #copies) (minimal 0.02, maximal 0.04, average 0.03)
3587.28/3597.02 c Original Problem :
3587.28/3597.02 c Problem name : HOME/instance-4522100-1751578528.opb
3587.28/3597.02 c Variables : 2046 (2046 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.28/3597.02 c Constraints : 18944 initial, 18944 maximal
3587.28/3597.02 c Objective : minimize, 2046 non-zeros (abs.min = 1, abs.max = 1)
3587.28/3597.02 c Presolved Problem :
3587.28/3597.02 c Problem name : t_HOME/instance-4522100-1751578528.opb
3587.28/3597.02 c Variables : 1584 (1584 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.28/3597.02 c Constraints : 16044 initial, 19013 maximal
3587.28/3597.02 c Objective : minimize, 1584 non-zeros (abs.min = 1, abs.max = 1)
3587.28/3597.02 c Nonzeros : 32088 constraint, 32088 clique table
3587.28/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.28/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c milp : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c setppc : 0.02 0.00 3 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c linear : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c components : 807.81 0.00 1 462 0 0 0 0 2900 0 0 0
3587.28/3597.02 c root node : - - - 0 - - 0 - - - - -
3587.28/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.28/3597.02 c benderslp : 0 0 0 0 18557 0 0 3081 0 0 0 0 0 0 0
3587.28/3597.02 c integral : 0 0 0 0 18557 0 0 3081 0 0 3549 0 0 5202 33634
3587.28/3597.02 c setppc : 16044 16044 222 339459 0 0 0 3076 269948 0 242012 0 0 0 0
3587.28/3597.02 c logicor : 0+ 2969 0 32508 0 0 0 0 178 25 22 0 0 0 0
3587.28/3597.02 c benders : 0 0 0 0 0 0 0 726 0 0 0 0 0 0 0
3587.28/3597.02 c fixedvar : 0 0 0 0 0 0 0 726 0 0 0 0 0 0 0
3587.28/3597.02 c countsols : 0 0 0 0 0 0 0 726 0 0 0 0 0 0 0
3587.28/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.28/3597.02 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.28/3597.02 c integral : 369.93 0.00 0.00 0.00 369.92 0.00 0.00 0.01 0.00 0.00
3587.28/3597.02 c setppc : 6.10 0.00 0.07 4.57 0.00 0.00 0.00 0.67 0.07 0.72
3587.28/3597.02 c logicor : 0.58 0.00 0.00 0.53 0.00 0.00 0.00 0.00 0.00 0.04
3587.28/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.02 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
3587.28/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.02 c components : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.28/3597.02 c dualfix : 2 0 0 0
3587.28/3597.02 c genvbounds : 0 0 0 0
3587.28/3597.02 c nlobbt : 0 0 0 0
3587.28/3597.02 c obbt : 0 0 0 0
3587.28/3597.02 c probing : 0 0 0 0
3587.28/3597.02 c pseudoobj : 73192 0 0 0
3587.28/3597.02 c redcost : 35520 0 0 380322
3587.28/3597.02 c rootredcost : 6 0 0 0
3587.28/3597.02 c symmetry : 243490 0 0 698
3587.28/3597.02 c vbounds : 94594 0 0 0
3587.28/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.28/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.02 c genvbounds : 0.04 0.00 0.00 0.04 0.00 0.00
3587.28/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.02 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3587.28/3597.02 c pseudoobj : 0.16 0.00 0.00 0.15 0.00 0.00
3587.28/3597.02 c redcost : 2.85 0.00 0.00 2.84 0.00 0.00
3587.28/3597.02 c rootredcost : 0.04 0.00 0.00 0.03 0.00 0.00
3587.28/3597.02 c symmetry : 7.48 0.00 0.04 6.98 0.00 0.46
3587.28/3597.02 c vbounds : 0.08 0.00 0.00 0.07 0.00 0.01
3587.28/3597.02 c Symmetry :
3587.28/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.28/3597.02 c orbital reduction: 439 reductions applied, 0 cutoffs
3587.28/3597.02 c lexicographic red: 289 reductions applied, 0 cutoffs
3587.28/3597.02 c shadow tree time : 0.05 s
3587.28/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.28/3597.02 c propagation : 0.00 25 16 - 16 73.1 0 0.0 - - -
3587.28/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.28/3597.02 c bound exceed. LP : 22.11 6894 1451 - 51005 161.7 0 0.0 0 0.0 54476
3587.28/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.28/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.28/3597.02 c applied globally : 0.60 - - 0 10025 72.1 - - 0 - -
3587.28/3597.02 c applied locally : - - - 0 15 349.1 - - 0 - -
3587.28/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.28/3597.02 c cut pool : 37.28 - 8682 442 - - 64980 3744078 - - - - - (maximal pool size: 11632)
3587.28/3597.02 c aggregation : 92.53 0.00 1540 222 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.28/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.28/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.28/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c clique : 1.57 0.00 222 222 0 0 1777 36296 0 19892 19892 0 0
3587.28/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c gomory : 26.19 0.00 1138 10 0 0 58538 3395246 70 10775 10773 2 0
3587.28/3597.02 c > gomorymi : - - - - - - - 3143915 43 8617 8616 1 -
3587.28/3597.02 c > strongcg : - - - - - - - 251331 27 2158 2157 1 -
3587.28/3597.02 c impliedbounds : 1.03 0.00 1540 222 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c multilinear : 0.00 0.00 1757 222 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c rapidlearning : 0.10 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c rlt : 0.00 0.00 264 10 0 0 0 0 0 0 0 0 0
3587.28/3597.02 c zerohalf : 25.90 0.00 1148 20 0 0 4738 312536 3 56238 56235 3 0
3587.28/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.28/3597.02 c hybrid : 12.85 0.00 6561 221 86905 0 3657246 4424 0 4203
3587.28/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3587.28/3597.02 c problem variables: 0.00 - 0 0
3587.28/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.28/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c relpscost : 369.90 0.00 18557 0 0 0 3549 0 5290 33634
3587.28/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.28/3597.02 c LP solutions : 0.00 - - 0 0
3587.28/3597.02 c relax solutions : 0.00 - - 0 0
3587.28/3597.02 c pseudo solutions : 0.00 - - 0 0
3587.28/3597.02 c strong branching : 0.83 - - 0 0
3587.28/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3587.28/3597.02 c adaptivediving : 10.27 0.00 13 0 0
3587.28/3597.02 c alns : 0.48 0.00 8 0 0
3587.28/3597.02 c bound : 0.00 0.00 0 0 0
3587.28/3597.02 c clique : 0.05 0.00 1 1 1
3587.28/3597.02 c coefdiving : 0.00 0.00 0 0 0
3587.28/3597.02 c completesol : 0.00 0.00 0 0 0
3587.28/3597.02 c conflictdiving : 114.76 0.00 126 0 0
3587.28/3597.02 c crossover : 0.77 0.00 10 10 0
3587.28/3597.02 c dins : 0.00 0.00 0 0 0
3587.28/3597.02 c distributiondivin: 77.62 0.00 126 0 0
3587.28/3597.02 c dps : 0.00 0.00 0 0 0
3587.28/3597.02 c dualval : 0.00 0.00 0 0 0
3587.28/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3587.28/3597.02 c feasjump : 0.00 0.00 0 0 0
3587.28/3597.02 c feaspump : 0.00 0.00 0 0 0
3587.28/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3587.28/3597.02 c fracdiving : 72.55 0.00 76 0 0
3587.28/3597.02 c gins : 7.87 0.00 38 38 4
3587.28/3597.02 c guideddiving : 67.69 0.00 74 0 0
3587.28/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3587.28/3597.02 c indicator : 0.02 0.00 0 0 0
3587.28/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3587.28/3597.02 c indoneopt : 0.01 0.00 0 0 0
3587.28/3597.02 c indrounding : 0.00 0.00 0 0 0
3587.28/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3587.28/3597.02 c intdiving : 0.00 0.00 0 0 0
3587.28/3597.02 c intshifting : 0.00 0.00 0 0 0
3587.28/3597.02 c linesearchdiving : 73.01 0.00 119 0 0
3587.28/3597.02 c localbranching : 0.00 0.00 0 0 0
3587.28/3597.02 c locks : 0.01 0.00 1 1 1
3587.28/3597.02 c lpface : 0.01 0.00 0 0 0
3587.28/3597.02 c mpec : 0.00 0.00 0 0 0
3587.28/3597.02 c multistart : 0.00 0.00 0 0 0
3587.28/3597.02 c mutation : 0.00 0.00 0 0 0
3587.28/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3587.28/3597.02 c objpscostdiving : 109.14 0.00 19 170 0
3587.28/3597.02 c octane : 0.00 0.00 0 0 0
3587.28/3597.02 c ofins : 0.01 0.00 0 0 0
3587.28/3597.02 c oneopt : 0.02 0.00 6 1 1
3587.28/3597.02 c padm : 0.00 0.00 0 0 0
3587.28/3597.02 c proximity : 0.00 0.00 0 0 0
3587.28/3597.02 c pscostdiving : 92.92 0.00 126 49 5
3587.28/3597.02 c randrounding : 2.44 0.00 2578 184 0
3587.28/3597.02 c rens : 0.00 0.00 0 0 0
3587.28/3597.02 c reoptsols : 0.00 0.00 0 0 0
3587.28/3597.02 c repair : 0.00 0.00 0 0 0
3587.28/3597.02 c rins : 32.04 0.00 10 5 0
3587.28/3597.02 c rootsoldiving : 43.05 0.00 26 69 0
3587.28/3597.02 c rounding : 26.97 0.00 2120 0 0
3587.28/3597.02 c scheduler : 0.00 0.00 0 0 0
3587.28/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3587.28/3597.02 c shifting : 18.02 0.00 1086 0 0
3587.28/3597.02 c simplerounding : 1.85 0.00 25118 11 0
3587.28/3597.02 c smallcard : 0.00 0.00 0 0 0
3587.28/3597.02 c subnlp : 0.02 0.00 0 0 0
3587.28/3597.02 c trivial : 0.00 0.00 2 2 2
3587.28/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3587.28/3597.02 c trustregion : 0.00 0.00 0 0 0
3587.28/3597.02 c trysol : 0.01 0.00 0 0 0
3587.28/3597.02 c twoopt : 0.00 0.00 0 0 0
3587.28/3597.02 c undercover : 0.00 0.00 0 0 0
3587.28/3597.02 c vbounds : 0.06 0.00 1 1 0
3587.28/3597.02 c veclendiving : 66.78 0.00 125 0 0
3587.28/3597.02 c zeroobj : 0.00 0.00 0 0 0
3587.28/3597.02 c zirounding : 2.81 0.00 2601 52 0
3587.28/3597.02 c other solutions : - - - 0 -
3587.28/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.28/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.28/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.28/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.28/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.28/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.28/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.28/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.28/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.28/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.28/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.28/3597.02 c primal LP : 7.65 2905 1 1.00 0.13 7.64 2904
3587.28/3597.02 c dual LP : 1312.02 45513 5016513 152.08 3823.49 29.20 12526
3587.28/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3587.28/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.28/3597.02 c resolve instable : 0.00 0 0 0.00 -
3587.28/3597.02 c diving/probing LP: 680.96 10513 3036993 288.88 4459.88
3587.28/3597.02 c strong branching : 313.56 7110 1089691 153.26 3475.19 - - 793
3587.28/3597.02 c (at root node) : - 51 15172 297.49 -
3587.28/3597.02 c conflict analysis: 16.28 5454 54476 9.99 3345.48
3587.28/3597.02 c B&B Tree :
3587.28/3597.02 c number of runs : 1
3587.28/3597.02 c nodes : 24771 (16817 internal, 7954 leaves)
3587.28/3597.02 c feasible leaves : 0
3587.28/3597.02 c infeas. leaves : 0
3587.28/3597.02 c objective leaves : 7953
3587.28/3597.02 c nodes (total) : 24771 (16817 internal, 7954 leaves)
3587.28/3597.02 c nodes left : 8792
3587.28/3597.02 c max depth : 90
3587.28/3597.02 c max depth (total): 90
3587.28/3597.02 c backtracks : 3038 (12.3%)
3587.28/3597.02 c early backtracks : 0 (0.0%)
3587.28/3597.02 c nodes exc. ref. : 0 (0.0%)
3587.28/3597.02 c delayed cutoffs : 0
3587.28/3597.02 c repropagations : 19 (8 domain reductions, 0 cutoffs)
3587.28/3597.02 c avg switch length: 3.98
3587.28/3597.02 c switching time : 14.19
3587.28/3597.02 c Root Node :
3587.28/3597.02 c First LP value : -8.90000000000000e+02
3587.28/3597.02 c First LP Iters : 1635 (15101.00 Iter/sec)
3587.28/3597.02 c First LP Time : 0.11
3587.28/3597.02 c Final Dual Bound : -3.73594439943403e+02
3587.28/3597.02 c Final Root Iters : 107243
3587.28/3597.02 c Root LP Estimate : -3.00664187578500e+02
3587.28/3597.02 c Solution :
3587.28/3597.02 c Solutions found : 594 (14 improvements)
3587.28/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
3587.28/3597.02 c Gap First Sol. : infinite
3587.28/3597.02 c Gap Last Sol. : 7.17 %
3587.28/3597.02 c Primal Bound : -3.47000000000000e+02 (in run 1, after 1526 nodes, 1129.13 seconds, depth 68, found by <gins>)
3587.28/3597.02 c Dual Bound : -3.68639597351497e+02
3587.28/3597.02 c Gap : 6.24 %
3587.28/3597.02 c Integrals : Total Avg%
3587.28/3597.02 c primal-dual : 99845.36 27.76
3587.28/3597.02 c primal-ref : - - (not evaluated)
3587.28/3597.02 c dual-ref : - - (not evaluated)
3587.97/3597.71 c Time complete: 3587.99.
OK -347
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: 63708 MiB (57364 MiB free)
memory of node 1: 64465 MiB (62977 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522100-1751578528/watcher-4522100-1751578528 -o /tmp/evaluation-result-4522100-1751578528/solver-4522100-1751578528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751578154-78968 --watchdog 3760 pbscip -f HOME/instance-4522100-1751578528.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=79404, runsolver pid=79401
[startup+0.100063 s]*
/proc/loadavg: 4.11 3.24 2.28 5/264 79405
/proc/meminfo: memFree=123191352/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=77224 memory=49708 CPUtime=0.08 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 9274 0 0 0 7 1 0 0 20 0 1 0 73530327 79077376 12427 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 19306 12427 3584 3530 0 10757 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77224 KiB
Current children cumulated memory: 49708 KiB
[startup+0.205522 s]*
/proc/loadavg: 4.11 3.24 2.28 5/264 79405
/proc/meminfo: memFree=123183304/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=83232 memory=56196 CPUtime=0.19 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 14045 0 0 0 17 2 0 0 20 0 1 0 73530327 85229568 14049 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 20808 14049 3744 3530 0 12259 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 83232 KiB
Current children cumulated memory: 56196 KiB
[startup+0.305446 s]*
/proc/loadavg: 4.11 3.24 2.28 5/264 79405
/proc/meminfo: memFree=123183304/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=108192 memory=73988 CPUtime=0.28 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 18305 0 0 0 26 2 0 0 20 0 1 0 73530327 110788608 18497 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 27048 18497 3968 3530 0 18499 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 108192 KiB
Current children cumulated memory: 73988 KiB
[startup+0.700139 s]
/proc/loadavg: 4.11 3.24 2.28 5/264 79405
/proc/meminfo: memFree=123183304/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=115688 memory=82692 CPUtime=0.68 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 20486 0 0 0 65 3 0 0 20 0 1 0 73530327 118464512 20673 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 28922 20673 3968 3530 0 20373 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115688 KiB
Current children cumulated memory: 82692 KiB
[startup+1.50011 s]
/proc/loadavg: 4.11 3.24 2.28 5/264 79405
/proc/meminfo: memFree=123183304/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=130052 memory=93828 CPUtime=1.47 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 23259 0 0 0 144 3 0 0 20 0 1 0 73530327 133173248 23457 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 32513 23457 3968 3530 0 23964 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 130052 KiB
Current children cumulated memory: 93828 KiB
[startup+3.10526 s]
/proc/loadavg: 4.11 3.24 2.28 5/264 79405
/proc/meminfo: memFree=123183648/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=141120 memory=100356 CPUtime=3.08 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 24914 0 0 0 304 4 0 0 20 0 1 0 73530327 144506880 25089 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 35280 25089 3968 3530 0 26731 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 141120 KiB
Current children cumulated memory: 100356 KiB
[startup+6.30014 s]
/proc/loadavg: 4.10 3.25 2.29 5/264 79405
/proc/meminfo: memFree=123198952/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=169688 memory=121316 CPUtime=6.26 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 31077 0 0 0 621 5 0 0 20 0 1 0 73530327 173760512 30329 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 42422 30329 3968 3530 0 33873 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 169688 KiB
Current children cumulated memory: 121316 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 3.26 2.29 5/264 79405
/proc/meminfo: memFree=123250292/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=175096 memory=127332 CPUtime=12.64 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 32615 0 0 0 1259 5 0 0 20 0 1 0 73530327 179298304 31833 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 43774 31833 3968 3530 0 35225 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 175096 KiB
Current children cumulated memory: 127332 KiB
[startup+25.5001 s]
/proc/loadavg: 4.07 3.30 2.32 5/263 79405
/proc/meminfo: memFree=123243164/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=180804 memory=134116 CPUtime=25.4 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 34326 0 0 0 2535 5 0 0 20 0 1 0 73530327 185143296 33529 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 45201 33529 3968 3530 0 36652 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 180804 KiB
Current children cumulated memory: 134116 KiB
[startup+51.1053 s]
/proc/loadavg: 4.11 3.37 2.37 5/263 79407
/proc/meminfo: memFree=123208856/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=207540 memory=164196 CPUtime=50.92 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 41865 0 0 0 5086 6 0 0 20 0 1 0 73530327 212520960 41049 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 51885 41049 3968 3530 0 43336 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 207540 KiB
Current children cumulated memory: 164196 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 3.47 2.46 5/264 79410
/proc/meminfo: memFree=123137540/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=321544 memory=227360 CPUtime=101.96 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 59993 0 0 0 10187 9 0 0 20 0 1 0 73530327 329261056 56840 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 80386 56840 3968 3530 0 71837 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 321544 KiB
Current children cumulated memory: 227360 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 3.60 2.57 5/264 79412
/proc/meminfo: memFree=123100812/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=360480 memory=265820 CPUtime=161.78 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 71546 0 0 0 16167 11 0 0 20 0 1 0 73530327 369131520 66455 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 90120 66455 3968 3530 0 81571 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 360480 KiB
Current children cumulated memory: 265820 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.69 2.67 5/264 79414
/proc/meminfo: memFree=123084872/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=361548 memory=287964 CPUtime=221.6 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 77105 0 0 0 22148 12 0 0 20 0 1 0 73530327 370225152 71991 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 90387 71991 3968 3530 0 81838 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 361548 KiB
Current children cumulated memory: 287964 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.77 2.76 5/264 79415
/proc/meminfo: memFree=123054680/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=401360 memory=322436 CPUtime=281.43 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 89315 0 0 0 28128 15 0 0 20 0 1 0 73530327 410992640 80609 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 100340 80609 3968 3530 0 91791 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 401360 KiB
Current children cumulated memory: 322436 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.84 2.85 5/264 79417
/proc/meminfo: memFree=123037120/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=418384 memory=336772 CPUtime=341.26 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 92920 0 0 0 34110 16 0 0 20 0 1 0 73530327 428425216 84193 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 104596 84193 3968 3530 0 96047 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 418384 KiB
Current children cumulated memory: 336772 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.89 2.93 5/265 79425
/proc/meminfo: memFree=123014388/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=423652 memory=356044 CPUtime=401.09 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 98206 0 0 0 40092 17 0 0 20 0 1 0 73530327 433819648 89011 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 105913 89011 3968 3530 0 97364 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 423652 KiB
Current children cumulated memory: 356044 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.92 3.01 5/264 79427
/proc/meminfo: memFree=122979436/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=480324 memory=390744 CPUtime=460.91 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 112537 0 0 0 46072 19 0 0 20 0 1 0 73530327 491851776 97686 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 120081 97686 3968 3530 0 111532 0
Current children cumulated CPU time: 460.91 s
################
# More data... #
################
/proc/loadavg: 4.12 4.09 4.02 5/266 79592
/proc/meminfo: memFree=122206360/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1153036 memory=1033748 CPUtime=3213.58 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 277150 0 0 0 321303 55 0 0 20 0 1 0 73530327 1180708864 258437 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 288259 258437 3968 3530 0 279710 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 1153036 KiB
Current children cumulated memory: 1033748 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/267 79729
/proc/meminfo: memFree=123646164/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1153036 memory=1050516 CPUtime=3273.42 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 277596 0 0 0 327287 55 0 0 20 0 1 0 73530327 1180708864 262629 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 288259 262629 3968 3530 0 279710 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 1153036 KiB
Current children cumulated memory: 1050516 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/267 79733
/proc/meminfo: memFree=122423884/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1181628 memory=1110676 CPUtime=3333.25 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 283366 0 0 0 333270 55 0 0 20 0 1 0 73530327 1209987072 277669 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 295407 277669 3968 3530 0 286858 0
Current children cumulated CPU time: 3333.25 s
Current children cumulated vsize: 1181628 KiB
Current children cumulated memory: 1110676 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.08 4.02 5/269 79741
/proc/meminfo: memFree=122293548/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1181628 memory=1138324 CPUtime=3393.09 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 283375 0 0 0 339254 55 0 0 20 0 1 0 73530327 1209987072 284581 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 295407 284581 3968 3530 0 286858 0
Current children cumulated CPU time: 3393.09 s
Current children cumulated vsize: 1181628 KiB
Current children cumulated memory: 1138324 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/268 79743
/proc/meminfo: memFree=122185084/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1181628 memory=1155732 CPUtime=3452.93 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 283378 0 0 0 345238 55 0 0 20 0 1 0 73530327 1209987072 288933 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 295407 288933 3968 3530 0 286858 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 1181628 KiB
Current children cumulated memory: 1155732 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/266 79745
/proc/meminfo: memFree=122078160/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1181628 memory=1155732 CPUtime=3512.77 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 283378 0 0 0 351222 55 0 0 20 0 1 0 73530327 1209987072 288933 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 295407 288933 3968 3530 0 286858 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 1181628 KiB
Current children cumulated memory: 1155732 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/265 79749
/proc/meminfo: memFree=122036616/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1181628 memory=1155732 CPUtime=3572.61 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 283495 0 0 0 357206 55 0 0 20 0 1 0 73530327 1209987072 288933 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 295407 288933 3968 3530 0 286858 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 1181628 KiB
Current children cumulated memory: 1155732 KiB
[startup+3597.72 s]
# the end of solver process 79404 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.43 s, system=0.563301 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.05 4.08 4.02 5/265 79749
/proc/meminfo: memFree=122036616/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1181628 memory=1155732 CPUtime=3574.31 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 283495 0 0 0 357376 55 0 0 20 0 1 0 73530327 1209987072 288933 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 295407 288933 3968 3530 0 286858 0
Current children cumulated CPU time: 3574.31 s
Current children cumulated vsize: 1181628 KiB
Current children cumulated memory: 1155732 KiB
[startup+3590.4 s]
/proc/loadavg: 4.04 4.07 4.02 5/265 79749
/proc/meminfo: memFree=122032672/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1181628 memory=1155732 CPUtime=3580.68 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 283496 0 0 0 358013 55 0 0 20 0 1 0 73530327 1209987072 288933 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 295407 288933 3968 3530 0 286858 0
Current children cumulated CPU time: 3580.68 s
Current children cumulated vsize: 1181628 KiB
Current children cumulated memory: 1155732 KiB
[startup+3593.6 s]
/proc/loadavg: 4.04 4.07 4.02 5/265 79749
/proc/meminfo: memFree=122032672/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1181628 memory=1155732 CPUtime=3583.88 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 283496 0 0 0 358333 55 0 0 20 0 1 0 73530327 1209987072 288933 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 295407 288933 3968 3530 0 286858 0
Current children cumulated CPU time: 3583.88 s
Current children cumulated vsize: 1181628 KiB
Current children cumulated memory: 1155732 KiB
[startup+3595.2 s]
/proc/loadavg: 4.04 4.07 4.01 5/265 79749
/proc/meminfo: memFree=122032672/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1181628 memory=1155732 CPUtime=3585.48 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 283496 0 0 0 358492 56 0 0 20 0 1 0 73530327 1209987072 288933 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 295407 288933 3968 3530 0 286858 0
Current children cumulated CPU time: 3585.48 s
Current children cumulated vsize: 1181628 KiB
Current children cumulated memory: 1155732 KiB
[startup+3596.8 s]
/proc/loadavg: 4.04 4.07 4.01 5/265 79749
/proc/meminfo: memFree=122032672/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1181628 memory=1155732 CPUtime=3587.08 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 283592 0 0 0 358652 56 0 0 20 0 1 0 73530327 1209987072 288933 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 295407 288933 3968 3530 0 286858 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 1181628 KiB
Current children cumulated memory: 1155732 KiB
[startup+3597.2 s]
/proc/loadavg: 4.04 4.07 4.01 5/265 79749
/proc/meminfo: memFree=122032672/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1181628 memory=1155732 CPUtime=3587.48 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 283593 0 0 0 358692 56 0 0 20 0 1 0 73530327 1209987072 288933 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 295407 288933 3968 3530 0 286858 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 1181628 KiB
Current children cumulated memory: 1155732 KiB
[startup+3597.6 s]
/proc/loadavg: 4.04 4.07 4.01 5/265 79749
/proc/meminfo: memFree=122032672/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1181628 memory=1155732 CPUtime=3587.87 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 283594 0 0 0 358731 56 0 0 20 0 1 0 73530327 1209987072 288933 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 295407 288933 3968 3530 0 286858 0
Current children cumulated CPU time: 3587.87 s
Current children cumulated vsize: 1181628 KiB
Current children cumulated memory: 1155732 KiB
[startup+3597.7 s]
/proc/loadavg: 4.04 4.07 4.01 5/265 79749
/proc/meminfo: memFree=122032672/131250000 swapFree=33007332/33010684
[pid=79404] ppid=79401 vsize=1180728 memory=1154916 CPUtime=3587.97 cores=5,7
/proc/79404/stat : 79404 (pbscip) R 79401 79404 78955 0 -1 4194304 283604 0 0 0 358741 56 0 0 20 0 1 0 73530327 1209065472 288729 18446744073709551615 4235264 18693293 140723378577616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27848704 140723378579849 140723378579948 140723378579948 140723378585550 0
/proc/79404/statm: 295182 288729 3968 3530 0 286633 0
Current children cumulated CPU time: 3587.97 s
Current children cumulated vsize: 1180728 KiB
Current children cumulated memory: 1154916 KiB
Child status: 0
Real time (s): 3597.72
CPU time (s): 3588
CPU user time (s): 3587.43
CPU system time (s): 0.563301
CPU usage (%): 99.7298
Max. virtual memory (cumulated for all children) (KiB): 1181628
Max. memory (cumulated for all children) (KiB): 1155732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.43
system time used= 0.563301
maximum resident set size= 1155732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283651
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= 143
involuntary context switches= 4649
# summary of solver processes directly reported to runsolver:
# pid: 79404
# total CPU time (s): 3588
# total CPU user time (s): 3587.43
# total CPU system time (s): 0.563301
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68531 second user time and 15.7164 second system time
The end
Begin job on nodeC019 at 2025-07-03 23:35:28 IDJOB=4522100 IDBENCH=178576 IDSOLVER=3365 FILE ID=nodeC019/4522100-1751578528 RUNJOBID= nodeC019-1751578154-78968 SLURM_JOB_ID= 9598809 Free space on /tmp= 431520 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-sorrell8.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522100-1751578528/watcher-4522100-1751578528 -o /tmp/evaluation-result-4522100-1751578528/solver-4522100-1751578528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751578154-78968 --watchdog 3760 pbscip -f HOME/instance-4522100-1751578528.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3efa309da6b8ed2e5ff01ccb25d0dd51 RANDOM SEED=1013274151 nodeC019 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 : 0xb00002a cpu MHz : 3599.492 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37 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 : 0xb00002a cpu MHz : 3599.687 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37 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 : 0xb00002a cpu MHz : 3600.161 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37 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 : 0xb00002a cpu MHz : 3678.713 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37 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 : 0xb00002a cpu MHz : 3599.661 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37 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 : 0xb00002a cpu MHz : 3712.678 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37 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 : 0xb00002a cpu MHz : 3700.000 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37 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 : 0xb00002a cpu MHz : 3600.076 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 123231612 kB MemAvailable: 125008004 kB Buffers: 904 kB Cached: 2578416 kB SwapCached: 440 kB Active: 4788132 kB Inactive: 2432788 kB Active(anon): 4629056 kB Inactive(anon): 27736 kB Active(file): 159076 kB Inactive(file): 2405052 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19008 kB Writeback: 0 kB AnonPages: 4624340 kB Mapped: 138036 kB Shmem: 15192 kB KReclaimable: 103004 kB Slab: 191592 kB SReclaimable: 103004 kB SUnreclaim: 88588 kB KernelStack: 4240 kB PageTables: 12424 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 5359564 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 987136 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: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431444 MiB End job on nodeC019 at 2025-07-04 00:35:26