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 | -46 | 3586.33 | 3597.33 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
| MD5SUM | f240478745515edc7850a10c9aa5c21f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -50 |
| Best CPU time to get the best result obtained on this benchmark | 1849.76 |
| 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 | 1150 |
| Total number of constraints | 80035 |
| Number of constraints which are clauses | 80035 |
| 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 | 1150 |
| 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 | 1150 |
| 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 | 1150 |
| 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-4484962-1751300857.opb>
0.21/0.31 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80035 constraints
0.21/0.31 c problem read in 0.29
0.41/0.50 o 0
0.41/0.50 c feasible solution found by trivial heuristic after 0.5 seconds, objective value 0.000000e+00
0.41/0.50 c presolving:
0.78/0.87 c (0.9s) running MILP presolver
1.09/1.12 c (1.1s) MILP presolver found nothing
1.28/1.31 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80035 upgd conss, 0 impls, 80035 clqs
1.77/1.86 c (1.9s) probing: 51/1150 (4.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.77/1.86 c (1.9s) probing aborted: 50/50 successive totally useless probings
2.37/2.42 c (2.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.37/2.46 c (2.4s) no symmetry present (symcode time: 0.01)
2.37/2.48 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
2.37/2.48 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.37/2.48 c 0 implications, 80035 cliques
2.37/2.48 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80035 constraints
2.37/2.48 c 80035 constraints of type <setppc>
2.37/2.48 c transformed objective value is always integral (scale: 1)
2.37/2.48 c Presolving Time: 1.99
2.37/2.48 c - non default parameters ----------------------------------------------------------------------
2.37/2.48 c # SCIP version 10.0.0
2.37/2.48 c
2.37/2.48 c # maximal time in seconds to run
2.37/2.48 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.37/2.48 c limits/time = 3596.994064
2.37/2.48 c
2.37/2.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.37/2.48 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.37/2.48 c limits/memory = 27900
2.37/2.48 c
2.37/2.48 c # belongs reading time to solving time?
2.37/2.48 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.37/2.48 c timing/reading = TRUE
2.37/2.48 c
2.37/2.48 c -----------------------------------------------------------------------------------------------
2.37/2.48 c start solving
2.37/2.48 c transformed 1/1 original solutions to the transformed problem space
2.37/2.48 c
2.58/2.66 o -28
2.58/2.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.58/2.66 c p 2.6s| 1 | 0 | 0 | - | clique| 0 |1150 | 80k| 80k| 0 | 0 | 0 | 0 |-1.150000e+03 |-2.800000e+01 |4007.14%| unknown
2.68/2.73 o -31
2.68/2.73 c p 2.7s| 1 | 0 | 0 | - | locks| 0 |1150 | 80k| 80k| 0 | 0 | 0 | 0 |-1.150000e+03 |-3.100000e+01 |3609.68%| unknown
2.88/3.00 o -35
2.88/3.00 c p 3.0s| 1 | 0 | 362 | - | vbounds| 0 |1150 | 80k| 80k| 0 | 0 | 0 | 0 |-1.150000e+03 |-3.500000e+01 |3185.71%| unknown
3.37/3.48 c 3.5s| 1 | 0 | 1512 | - | 407M | 0 |1150 | 80k| 80k| 0 | 0 | 0 | 0 |-5.750000e+02 |-3.500000e+01 |1542.86%| unknown
4.27/4.35 c 4.3s| 1 | 0 | 1731 | - | 428M | 0 |1150 | 80k| 80k| 13 | 1 | 0 | 0 |-5.390000e+02 |-3.500000e+01 |1440.00%| unknown
6.16/6.22 c 6.2s| 1 | 0 | 1897 | - | 438M | 0 |1150 | 80k| 80k| 36 | 2 | 0 | 0 |-5.095000e+02 |-3.500000e+01 |1355.71%| unknown
9.07/9.19 c 9.2s| 1 | 0 | 2224 | - | 447M | 0 |1150 | 80k| 80k| 62 | 3 | 0 | 0 |-4.810000e+02 |-3.500000e+01 |1274.29%| unknown
13.24/13.32 c 13.3s| 1 | 0 | 2631 | - | 456M | 0 |1150 | 80k| 80k| 87 | 4 | 0 | 0 |-4.540000e+02 |-3.500000e+01 |1197.14%| unknown
13.95/14.10 c 14.1s| 1 | 0 | 3196 | - | 464M | 0 |1150 | 80k| 80k| 123 | 5 | 0 | 0 |-4.332500e+02 |-3.500000e+01 |1137.86%| unknown
14.64/14.74 c 14.7s| 1 | 0 | 3736 | - | 472M | 0 |1150 | 80k| 80k| 166 | 6 | 0 | 0 |-4.010000e+02 |-3.500000e+01 |1045.71%| unknown
15.44/15.54 c 15.5s| 1 | 0 | 4763 | - | 482M | 0 |1150 | 80k| 80k| 203 | 7 | 0 | 0 |-3.625000e+02 |-3.500000e+01 | 935.71%| unknown
16.13/16.24 c 16.2s| 1 | 0 | 5514 | - | 490M | 0 |1150 | 80k| 80k| 240 | 8 | 0 | 0 |-3.348750e+02 |-3.500000e+01 | 856.79%| unknown
17.04/17.13 c 17.1s| 1 | 0 | 6417 | - | 500M | 0 |1150 | 80k| 80k| 274 | 9 | 0 | 0 |-3.223750e+02 |-3.500000e+01 | 821.07%| unknown
18.43/18.57 c 18.6s| 1 | 0 | 8255 | - | 510M | 0 |1150 | 80k| 80k| 295 | 10 | 0 | 0 |-2.938333e+02 |-3.500000e+01 | 739.52%| unknown
19.43/19.59 c 19.6s| 1 | 0 | 9870 | - | 518M | 0 |1150 | 80k| 80k| 320 | 11 | 0 | 0 |-2.690000e+02 |-3.500000e+01 | 668.57%| unknown
20.42/20.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.42/20.56 c 20.5s| 1 | 0 | 11608 | - | 528M | 0 |1150 | 80k| 80k| 337 | 12 | 0 | 0 |-2.515000e+02 |-3.500000e+01 | 618.57%| unknown
21.22/21.32 c 21.3s| 1 | 0 | 13105 | - | 536M | 0 |1150 | 80k| 80k| 359 | 13 | 0 | 0 |-2.314091e+02 |-3.500000e+01 | 561.17%| unknown
21.82/21.94 c 21.9s| 1 | 0 | 14540 | - | 544M | 0 |1150 | 80k| 80k| 384 | 14 | 0 | 0 |-2.133571e+02 |-3.500000e+01 | 509.59%| unknown
22.52/22.62 c 22.6s| 1 | 0 | 15975 | - | 552M | 0 |1150 | 80k| 80k| 405 | 15 | 0 | 0 |-1.950000e+02 |-3.500000e+01 | 457.14%| unknown
23.22/23.35 c 23.3s| 1 | 0 | 17720 | - | 560M | 0 |1150 | 80k| 80k| 431 | 16 | 0 | 0 |-1.775000e+02 |-3.500000e+01 | 407.14%| unknown
24.11/24.21 c 24.2s| 1 | 0 | 20025 | - | 568M | 0 |1150 | 80k| 80k| 462 | 17 | 0 | 0 |-1.694688e+02 |-3.500000e+01 | 384.20%| unknown
24.51/24.64 c 24.6s| 1 | 0 | 20929 | - | 576M | 0 |1150 | 80k| 80k| 488 | 18 | 0 | 0 |-1.512500e+02 |-3.500000e+01 | 332.14%| unknown
24.92/25.09 c 25.1s| 1 | 0 | 21982 | - | 583M | 0 |1150 | 80k| 80k| 513 | 19 | 0 | 0 |-1.437639e+02 |-3.500000e+01 | 310.75%| unknown
25.31/25.49 c 25.5s| 1 | 0 | 22856 | - | 591M | 0 |1150 | 80k| 80k| 537 | 20 | 0 | 0 |-1.270000e+02 |-3.500000e+01 | 262.86%| unknown
25.51/25.68 c 25.7s| 1 | 0 | 23276 | - | 592M | 0 |1150 | 80k| 80k| 542 | 21 | 0 | 0 |-1.182500e+02 |-3.500000e+01 | 237.86%| unknown
26.02/26.12 c 26.1s| 1 | 0 | 24521 | - | 592M | 0 |1150 | 80k| 80k| 546 | 22 | 0 | 0 |-1.026875e+02 |-3.500000e+01 | 193.39%| unknown
26.10/26.29 c 26.3s| 1 | 0 | 24918 | - | 592M | 0 |1150 | 80k| 80k| 548 | 23 | 0 | 0 |-9.543750e+01 |-3.500000e+01 | 172.68%| unknown
26.30/26.43 c 26.4s| 1 | 0 | 25118 | - | 592M | 0 |1150 | 80k| 80k| 551 | 24 | 0 | 0 |-7.968750e+01 |-3.500000e+01 | 127.68%| unknown
26.40/26.54 c 26.5s| 1 | 0 | 25231 | - | 593M | 0 |1150 | 80k| 80k| 554 | 25 | 0 | 0 |-6.675000e+01 |-3.500000e+01 | 90.71%| unknown
26.50/26.69 c 26.7s| 1 | 0 | 25453 | - | 594M | 0 |1150 | 80k| 80k| 557 | 26 | 0 | 0 |-5.100000e+01 |-3.500000e+01 | 45.71%| unknown
26.60/26.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.60/26.78 c 26.8s| 1 | 0 | 25514 | - | 594M | 0 |1150 | 80k| 80k| 561 | 27 | 0 | 0 |-5.100000e+01 |-3.500000e+01 | 45.71%| unknown
26.70/26.89 c 26.9s| 1 | 0 | 25601 | - | 594M | 0 |1150 | 80k| 80k| 568 | 28 | 0 | 0 |-5.085714e+01 |-3.500000e+01 | 45.31%| unknown
26.80/26.99 c 27.0s| 1 | 0 | 25670 | - | 594M | 0 |1150 | 80k| 80k| 576 | 29 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown
26.91/27.07 c 27.1s| 1 | 0 | 25713 | - | 595M | 0 |1150 | 80k| 80k| 580 | 30 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown
27.02/27.16 c 27.2s| 1 | 0 | 25761 | - | 596M | 0 |1150 | 80k| 80k| 588 | 31 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown
27.11/27.26 c 27.2s| 1 | 0 | 25816 | - | 596M | 0 |1150 | 80k| 80k| 594 | 32 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown
27.21/27.36 c 27.3s| 1 | 0 | 25864 | - | 597M | 0 |1150 | 80k| 80k| 602 | 33 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown
27.31/27.47 c 27.5s| 1 | 0 | 25893 | - | 598M | 0 |1150 | 80k| 80k| 606 | 34 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown
27.41/27.57 c 27.6s| 1 | 0 | 25938 | - | 598M | 0 |1150 | 80k| 80k| 615 | 35 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown
27.51/27.69 c 27.7s| 1 | 0 | 26005 | - | 599M | 0 |1150 | 80k| 80k| 624 | 36 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown
27.61/27.79 c 27.8s| 1 | 0 | 26045 | - | 599M | 0 |1150 | 80k| 80k| 632 | 37 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown
27.81/27.92 c 27.9s| 1 | 0 | 26106 | - | 600M | 0 |1150 | 80k| 80k| 640 | 38 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown
27.92/28.05 c 28.0s| 1 | 0 | 26198 | - | 601M | 0 |1150 | 80k| 80k| 649 | 39 | 0 | 0 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown
31.49/31.63 c 31.6s| 1 | 2 | 26229 | - | 602M | 0 |1150 | 80k| 80k| 649 | 39 | 0 | 23 |-5.000000e+01 |-3.500000e+01 | 42.86%| unknown
51.94/52.19 o -38
51.94/52.19 c d52.2s| 34 | 35 | 28821 | 90.5 |pscostdi| 19 |1150 | 80k| 80k| 0 | 1 | 0 | 282 |-5.000000e+01 |-3.800000e+01 | 31.58%| unknown
90.51/90.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
90.51/90.80 c 90.8s| 100 | 101 | 34184 | 84.3 | 692M | 19 |1150 | 80k| 80k| 847 | 1 | 5 | 727 |-5.000000e+01 |-3.800000e+01 | 31.58%| unknown
107.15/107.58 o -41
107.15/107.58 c * 108s| 135 | 134 | 36924 | 82.7 |strongbr| 24 |1150 | 80k| 80k| 878 | 1 | 5 | 933 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown
129.28/129.75 c 130s| 200 | 185 | 41059 | 76.5 | 715M | 26 |1150 | 80k| 80k| 927 | 1 | 5 |1467 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown
146.92/147.49 c 147s| 300 | 265 | 46626 | 69.5 | 733M | 26 |1150 | 80k| 80k| 970 | 1 | 15 |1752 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown
166.27/166.86 c 167s| 400 | 353 | 54213 | 71.1 | 750M | 26 |1150 | 80k| 80k|1067 | 1 | 15 |1788 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown
174.34/174.97 c 175s| 500 | 423 | 59401 | 67.3 | 754M | 29 |1150 | 80k| 80k|1104 | 1 | 15 |1824 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown
185.81/186.44 c 186s| 600 | 501 | 65329 | 65.9 | 764M | 31 |1150 | 80k| 80k|1158 | 1 | 15 |1852 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown
192.99/193.69 c 194s| 700 | 581 | 71176 | 64.9 | 766M | 31 |1150 | 80k| 80k|1188 | 0 | 15 |1892 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown
205.14/205.81 c 206s| 800 | 671 | 77029 | 64.1 | 812M | 40 |1150 | 80k| 80k|1233 | 1 | 29 |1926 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown
206.64/207.37 o -42
206.64/207.37 c d 207s| 828 | 639 | 79805 | 65.3 |pscostdi| 40 |1150 | 80k| 80k| 0 | 1 | 46 |1932 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
227.47/228.24 c 228s| 900 | 711 | 88525 | 69.7 | 817M | 40 |1150 | 80k| 80k|1392 | 1 | 106 |1980 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
257.08/257.99 c 258s| 1000 | 811 | 99823 | 74.1 | 839M | 40 |1150 | 80k| 80k|1546 | 1 | 170 |2010 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
277.13/278.04 c 278s| 1100 | 907 |109273 | 75.9 | 874M | 41 |1150 | 80k| 80k|1615 | 1 | 196 |2072 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
302.75/303.72 c 304s| 1200 | 1007 |120904 | 79.3 | 883M | 41 |1150 | 80k| 80k|1764 | 1 | 265 |2120 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
322.69/323.79 c 324s| 1300 | 1107 |132194 | 81.9 | 891M | 41 |1150 | 80k| 80k|1896 | 2 | 322 |2137 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
332.66/333.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
332.66/333.77 c 334s| 1400 | 1205 |141166 | 82.4 | 904M | 41 |1150 | 80k| 80k|1942 | 1 | 344 |2194 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
335.35/336.48 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
335.35/336.49 c (run 1, node 1426) performing user restart
335.35/336.49 c
335.45/336.50 c (restart) converted 112 cuts from the global cut pool into linear constraints
335.45/336.50 c
335.45/336.58 c presolving:
335.55/336.69 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 112 upgd conss, 0 impls, 80144 clqs
335.75/336.85 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
335.75/336.85 c 0 deleted vars, 22 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 13 changed coefficients
335.75/336.85 c 0 implications, 80144 cliques
335.75/336.85 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80481 constraints
335.75/336.85 c 2 constraints of type <knapsack>
335.75/336.85 c 80145 constraints of type <setppc>
335.75/336.85 c 334 constraints of type <logicor>
335.75/336.85 c transformed objective value is always integral (scale: 1)
335.75/336.85 c Presolving Time: 2.27
335.96/337.06 c transformed 86/100 original solutions to the transformed problem space
335.96/337.06 c
336.24/337.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
336.24/337.33 c 337s| 1 | 0 |145202 | - | 890M | 0 |1150 | 80k| 80k| 0 | 0 | 359 |2199 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
338.34/339.43 c 339s| 1 | 0 |145263 | - | 890M | 0 |1150 | 80k| 80k| 13 | 1 | 359 |2199 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
340.33/341.47 c 341s| 1 | 0 |145323 | - | 898M | 0 |1150 | 80k| 80k| 25 | 2 | 359 |2199 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
343.33/344.46 c 344s| 1 | 0 |145364 | - | 907M | 0 |1150 | 80k| 80k| 37 | 3 | 359 |2199 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
345.32/346.43 c 346s| 1 | 0 |145449 | - | 915M | 0 |1150 | 80k| 80k| 47 | 4 | 359 |2199 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
346.42/347.52 c 348s| 1 | 0 |145519 | - | 924M | 0 |1150 | 80k| 80k| 57 | 5 | 359 |2199 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
348.31/349.42 c 349s| 1 | 0 |145574 | - | 933M | 0 |1150 | 80k| 80k| 66 | 6 | 359 |2199 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
350.61/351.74 c 352s| 1 | 0 |145672 | - | 942M | 0 |1150 | 80k| 80k| 76 | 7 | 359 |2199 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
352.50/353.61 c 354s| 1 | 0 |145762 | - | 951M | 0 |1150 | 80k| 80k| 87 | 8 | 359 |2199 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
353.10/354.26 c 354s| 1 | 0 |145863 | - | 959M | 0 |1150 | 80k| 80k| 98 | 9 | 359 |2199 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
353.91/355.06 c 355s| 1 | 0 |145935 | - | 968M | 0 |1150 | 80k| 80k| 107 | 10 | 359 |2199 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
354.10/355.20 c 355s| 1 | 0 |146039 | - | 977M | 0 |1150 | 80k| 80k| 113 | 11 | 359 |2199 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
356.79/357.93 c 358s| 1 | 2 |146718 | - | 977M | 0 |1150 | 80k| 80k| 113 | 11 | 364 |2219 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
367.97/369.19 c 369s| 100 | 101 |163522 | 89.0 | 1000M | 36 |1150 | 80k| 80k| 149 | 2 | 402 |2290 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
370.35/371.58 o -43
370.35/371.58 c d 372s| 127 | 128 |168228 | 90.4 |linesear| 37 |1150 | 80k| 80k| 0 | 1 | 421 |2303 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
376.83/378.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
376.83/378.05 c 378s| 200 | 201 |180107 | 93.7 | 1001M | 37 |1150 | 80k| 80k| 149 | 1 | 469 |2332 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
385.99/387.21 c 387s| 300 | 301 |194070 | 96.4 | 1003M | 38 |1150 | 80k| 80k| 176 | 1 | 511 |2370 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
393.96/395.28 c 395s| 400 | 399 |206896 | 98.1 | 1005M | 38 |1150 | 80k| 80k| 205 | 1 | 592 |2407 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
411.90/413.21 c 413s| 500 | 497 |219911 | 99.8 | 1054M | 42 |1150 | 80k| 80k| 321 | 1 | 666 |2460 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
419.17/420.56 c 421s| 600 | 593 |232538 | 101.1 | 1055M | 42 |1150 | 80k| 80k| 355 | 1 | 718 |2512 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
436.52/437.95 c 438s| 700 | 691 |244683 | 102.0 | 1067M | 42 |1150 | 80k| 80k| 482 | 1 | 802 |2568 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
443.10/444.50 c 444s| 800 | 791 |254016 | 101.6 | 1068M | 42 |1150 | 80k| 80k| 491 | 1 | 833 |2621 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
472.12/473.69 c 474s| 900 | 885 |264887 | 102.0 | 1112M | 44 |1150 | 80k| 80k| 691 | 2 | 872 |2671 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
488.67/490.21 o -44
488.67/490.21 c d 490s| 982 | 919 |275255 | 102.8 |pscostdi| 44 |1150 | 81k| 80k| 0 | 1 | 919 |2724 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
489.26/490.85 c 491s| 1000 | 931 |276598 | 102.6 | 1163M | 44 |1150 | 81k| 80k| 821 | 1 | 922 |2724 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
502.92/504.51 c 504s| 1100 | 1025 |288457 | 103.2 | 1173M | 44 |1150 | 81k| 80k| 914 | 1 |1021 |2781 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
537.82/539.60 c 540s| 1200 | 1121 |301777 | 104.4 | 1183M | 44 |1150 | 81k| 80k|1209 | 2 |1079 |2847 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
565.74/567.54 c 568s| 1300 | 1211 |312292 | 104.4 | 1193M | 44 |1150 | 81k| 80k|1442 | 1 |1167 |2903 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
573.71/575.50 c 575s| 1400 | 1303 |321732 | 104.0 | 1213M | 47 |1150 | 81k| 80k|1504 | 1 |1223 |2936 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
582.98/584.84 c 585s| 1500 | 1399 |331319 | 103.7 | 1216M | 47 |1150 | 81k| 80k|1559 | 1 |1331 |2980 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
604.02/605.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
604.02/605.94 c 606s| 1600 | 1479 |341166 | 103.6 | 1217M | 47 |1150 | 81k| 80k|1720 | 1 |1433 |3051 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
622.26/624.24 c 624s| 1700 | 1569 |349624 | 103.0 | 1235M | 47 |1150 | 81k| 80k|1867 | 1 |1535 |3110 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
636.02/638.02 c 638s| 1800 | 1655 |357111 | 102.1 | 1249M | 47 |1150 | 81k| 80k|1988 | 1 |1630 |3164 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
661.53/663.61 c 664s| 1900 | 1747 |366988 | 102.0 | 1275M | 47 |1150 | 81k| 80k|2167 | 1 |1697 |3232 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
670.40/672.59 c 673s| 2000 | 1843 |378236 | 102.3 | 1297M | 47 |1150 | 81k| 80k|2246 | 1 |1814 |3277 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
689.03/691.26 c 691s| 2100 | 1941 |389127 | 102.5 | 1308M | 47 |1150 | 82k| 80k|2369 | 0 |1920 |3315 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
706.79/709.05 c 709s| 2200 | 2035 |400546 | 102.8 | 1311M | 47 |1150 | 82k| 80k|2477 | 4 |1991 |3371 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
726.83/729.17 c 729s| 2300 | 2105 |409613 | 102.5 | 1323M | 47 |1150 | 82k| 80k|2633 | 1 |2044 |3408 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
747.15/749.58 c 750s| 2400 | 2185 |421840 | 103.0 | 1344M | 51 |1150 | 82k| 80k|2798 | 1 |2109 |3426 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
756.52/758.90 c 759s| 2500 | 2253 |428658 | 102.1 | 1346M | 55 |1150 | 82k| 80k|2909 | 1 |2142 |3460 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
762.20/764.61 c 765s| 2600 | 2315 |434588 | 101.1 | 1347M | 55 |1150 | 82k| 80k|2982 | 1 |2150 |3490 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
777.57/780.05 c 780s| 2700 | 2375 |443435 | 100.7 | 1350M | 55 |1150 | 82k| 80k|3061 | 1 |2164 |3515 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
787.22/789.77 c 790s| 2800 | 2429 |450108 | 99.9 | 1361M | 55 |1150 | 82k| 80k|3202 | 1 |2184 |3519 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
798.78/801.39 c 801s| 2900 | 2489 |457200 | 99.3 | 1374M | 56 |1150 | 82k| 80k|3333 | 0 |2207 |3581 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
828.40/831.04 c 831s| 3000 | 2541 |465577 | 98.9 | 1391M | 56 |1150 | 82k| 80k|3580 | 1 |2212 |3607 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
838.56/841.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
838.56/841.25 c 841s| 3100 | 2601 |472598 | 98.3 | 1411M | 57 |1150 | 82k| 80k|3724 | 1 |2246 |3628 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
850.82/853.54 c 854s| 3200 | 2653 |479025 | 97.6 | 1411M | 57 |1150 | 82k| 80k|3847 | 1 |2250 |3647 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
859.30/862.11 c 862s| 3300 | 2701 |484629 | 96.7 | 1413M | 58 |1150 | 82k| 80k|3944 | 1 |2250 |3668 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
871.05/873.86 c 874s| 3400 | 2751 |491651 | 96.1 | 1438M | 58 |1150 | 82k| 80k|4081 | 1 |2272 |3669 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
880.12/882.95 c 883s| 3500 | 2825 |500521 | 96.0 | 1438M | 58 |1150 | 82k| 80k|4192 | 1 |2301 |3702 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
886.40/889.28 c 889s| 3600 | 2879 |507599 | 95.5 | 1440M | 64 |1150 | 82k| 80k|4361 | 1 |2309 |3708 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
895.77/898.69 c 899s| 3700 | 2935 |513611 | 94.8 | 1456M | 65 |1150 | 82k| 80k|4461 | 0 |2314 |3714 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
909.14/912.05 c 912s| 3800 | 2987 |519482 | 94.1 | 1456M | 65 |1150 | 82k| 80k|4572 | 1 |2336 |3719 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
921.59/924.52 c 925s| 3900 | 3041 |526797 | 93.7 | 1459M | 65 |1150 | 82k| 80k|4631 | 0 |2392 |3819 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
926.37/929.35 c 929s| 4000 | 3119 |533975 | 93.3 | 1462M | 65 |1150 | 82k| 80k|4632 | 1 |2442 |3846 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
960.09/963.15 c 963s| 4100 | 3193 |543456 | 93.3 | 1482M | 65 |1150 | 82k| 80k|4912 | 3 |2494 |3865 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
975.04/978.16 c 978s| 4200 | 3263 |552287 | 93.2 | 1485M | 65 |1150 | 82k| 80k|5124 | 0 |2527 |3883 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
985.49/988.69 c 989s| 4300 | 3319 |557590 | 92.5 | 1520M | 65 |1150 | 82k| 80k|5198 | 1 |2538 |3892 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
988.18/991.30 c 991s| 4400 | 3357 |562128 | 91.7 | 1522M | 65 |1150 | 82k| 80k|5220 | 0 |2561 |3896 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
1011.21/1014.49 c 1014s| 4500 | 3409 |568281 | 91.2 | 1532M | 65 |1150 | 82k| 80k|5361 | 1 |2584 |3901 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
1015.50/1018.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1015.50/1018.73 c 1019s| 4600 | 3473 |574565 | 90.7 | 1533M | 65 |1150 | 82k| 80k|5430 | 3 |2607 |3907 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
1022.78/1026.03 c 1026s| 4700 | 3539 |580474 | 90.2 | 1535M | 65 |1150 | 82k| 80k|5474 | 1 |2621 |3912 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
1033.93/1037.22 c 1037s| 4800 | 3587 |586723 | 89.8 | 1543M | 65 |1150 | 82k| 80k|5585 | 2 |2621 |3914 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
1037.22/1040.53 c 1041s| 4900 | 3675 |591964 | 89.2 | 1546M | 65 |1150 | 82k| 80k|5596 | 1 |2632 |3921 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
1040.82/1044.12 c 1044s| 5000 | 3751 |596926 | 88.6 | 1547M | 65 |1150 | 82k| 80k|5613 | 1 |2632 |3930 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
1043.81/1047.18 c 1047s| 5100 | 3831 |602124 | 88.0 | 1548M | 65 |1150 | 82k| 80k|5625 | 0 |2653 |3932 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
1079.71/1083.18 c 1083s| 5200 | 3911 |609264 | 87.8 | 1553M | 65 |1150 | 82k| 80k|5754 | 1 |2664 |3993 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
1082.59/1086.11 c 1086s| 5300 | 3977 |613734 | 87.1 | 1555M | 65 |1150 | 82k| 80k|5782 | 1 |2664 |3993 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
1099.03/1102.58 c 1103s| 5400 | 4047 |619766 | 86.7 | 1565M | 65 |1150 | 82k| 80k|5893 | 0 |2681 |4013 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
1109.70/1113.23 c 1113s| 5500 | 4099 |624531 | 86.2 | 1566M | 65 |1150 | 82k| 80k|5963 | 1 |2681 |4042 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
1118.48/1122.05 o -45
1118.48/1122.05 c d1122s| 5571 | 3305 |628621 | 85.9 |pscostdi| 65 |1150 | 82k| 80k| 0 | 1 |2707 |4045 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1121.47/1125.06 c 1125s| 5600 | 3326 |630342 | 85.8 | 1566M | 65 |1150 | 82k| 80k|6034 | 1 |2713 |4053 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1125.55/1129.19 c 1129s| 5700 | 3358 |633670 | 85.0 | 1566M | 65 |1150 | 82k| 80k|6072 | 3 |2742 |4062 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1139.79/1143.43 c 1143s| 5800 | 3428 |641043 | 84.9 | 1568M | 65 |1150 | 82k| 80k|6129 | 1 |2784 |4110 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1148.66/1152.36 c 1152s| 5900 | 3464 |645430 | 84.3 | 1581M | 65 |1150 | 82k| 80k|6162 | 1 |2800 |4123 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1166.31/1170.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1166.31/1170.06 c 1170s| 6000 | 3506 |650433 | 83.8 | 1581M | 65 |1150 | 82k| 80k|6279 | 1 |2849 |4131 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1176.28/1180.03 c 1180s| 6100 | 3554 |656531 | 83.5 | 1589M | 65 |1150 | 82k| 80k|6344 | 0 |2853 |4135 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1179.27/1183.04 c 1183s| 6200 | 3616 |661428 | 83.1 | 1615M | 65 |1150 | 82k| 80k|6375 | 2 |2870 |4140 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1184.35/1188.14 c 1188s| 6300 | 3678 |666741 | 82.7 | 1616M | 65 |1150 | 82k| 80k|6402 | 1 |2934 |4148 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1195.01/1198.84 c 1199s| 6400 | 3726 |671056 | 82.2 | 1616M | 65 |1150 | 82k| 80k|6440 | 1 |2940 |4151 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1201.68/1205.55 c 1206s| 6500 | 3764 |675840 | 81.8 | 1616M | 65 |1150 | 82k| 80k|6460 | 1 |2971 |4157 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1206.96/1210.88 c 1211s| 6600 | 3804 |680245 | 81.3 | 1616M | 65 |1150 | 82k| 80k|6481 | 1 |2975 |4160 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1212.34/1216.25 c 1216s| 6700 | 3846 |685444 | 80.9 | 1617M | 65 |1150 | 82k| 80k|6500 | 1 |3012 |4164 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1229.79/1233.79 c 1234s| 6800 | 3884 |691759 | 80.7 | 1617M | 65 |1150 | 82k| 80k|6602 | 2 |3039 |4168 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1239.07/1243.03 c 1243s| 6900 | 3908 |695127 | 80.2 | 1619M | 65 |1150 | 82k| 80k|6683 | 1 |3042 |4168 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1244.05/1248.09 c 1248s| 7000 | 3948 |698667 | 79.6 | 1619M | 65 |1150 | 82k| 80k|6713 | 1 |3043 |4170 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1252.32/1256.32 c 1256s| 7100 | 4004 |704730 | 79.4 | 1621M | 65 |1150 | 82k| 80k|6787 | 1 |3062 |4192 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1267.98/1272.09 c 1272s| 7200 | 4080 |712101 | 79.3 | 1625M | 65 |1150 | 82k| 80k|6878 | 0 |3106 |4237 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1271.76/1275.86 c 1276s| 7300 | 4146 |717729 | 79.1 | 1626M | 65 |1150 | 82k| 80k|6884 | 0 |3135 |4252 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1274.45/1278.56 c 1279s| 7400 | 4172 |721091 | 78.6 | 1626M | 65 |1150 | 82k| 80k|6884 | 0 |3180 |4284 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1280.13/1284.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1280.13/1284.28 c 1284s| 7500 | 4224 |725549 | 78.2 | 1628M | 65 |1150 | 82k| 80k|6905 | 1 |3219 |4320 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1284.81/1288.98 c 1289s| 7600 | 4298 |732834 | 78.1 | 1632M | 65 |1150 | 82k| 80k|6911 | 1 |3239 |4356 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1288.80/1292.92 c 1293s| 7700 | 4366 |738171 | 77.8 | 1634M | 65 |1150 | 82k| 80k|6923 | 2 |3276 |4387 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1292.68/1296.81 c 1297s| 7800 | 4426 |743013 | 77.5 | 1635M | 65 |1150 | 82k| 80k|6924 | 1 |3287 |4415 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1300.26/1304.45 c 1304s| 7900 | 4482 |748866 | 77.3 | 1637M | 65 |1150 | 82k| 80k|6934 | 1 |3310 |4443 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1304.34/1308.50 c 1308s| 8000 | 4538 |754744 | 77.1 | 1639M | 65 |1150 | 82k| 80k|6939 | 1 |3345 |4481 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1311.62/1315.81 c 1316s| 8100 | 4582 |760862 | 77.0 | 1642M | 65 |1150 | 83k| 80k|6972 | 0 |3396 |4511 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1326.37/1330.65 c 1331s| 8200 | 4626 |767155 | 76.8 | 1642M | 65 |1150 | 83k| 80k|7097 | 0 |3450 |4540 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1329.77/1334.06 c 1334s| 8300 | 4654 |772265 | 76.5 | 1643M | 65 |1150 | 83k| 80k|7130 | 2 |3477 |4564 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1343.42/1347.79 c 1348s| 8400 | 4704 |778773 | 76.4 | 1645M | 65 |1150 | 83k| 80k|7221 | 3 |3549 |4591 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1368.44/1372.81 c 1373s| 8500 | 4754 |786652 | 76.5 | 1646M | 65 |1150 | 83k| 80k|7452 | 1 |3594 |4598 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1377.31/1381.72 c 1382s| 8600 | 4792 |793030 | 76.3 | 1646M | 65 |1150 | 83k| 80k|7524 | 1 |3601 |4603 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1383.09/1387.55 c 1388s| 8700 | 4846 |798988 | 76.2 | 1647M | 65 |1150 | 83k| 80k|7585 | 1 |3613 |4607 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1392.76/1397.25 c 1397s| 8800 | 4893 |803123 | 75.8 | 1648M | 65 |1150 | 83k| 80k|7648 | 1 |3655 |4613 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1407.02/1411.57 c 1412s| 8900 | 4947 |809333 | 75.7 | 1649M | 65 |1150 | 83k| 80k|7785 | 1 |3660 |4613 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1411.01/1415.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1411.01/1415.56 c 1416s| 9000 | 4987 |813370 | 75.3 | 1697M | 65 |1150 | 83k| 80k|7831 | 1 |3690 |4665 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1417.39/1421.93 c 1422s| 9100 | 5025 |818831 | 75.2 | 1698M | 65 |1150 | 83k| 80k|7867 | 0 |3744 |4711 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1422.97/1427.55 c 1428s| 9200 | 5077 |825055 | 75.0 | 1700M | 65 |1150 | 83k| 80k|7908 | 1 |3823 |4788 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1428.35/1432.95 c 1433s| 9300 | 5151 |832958 | 75.1 | 1703M | 65 |1150 | 83k| 80k|7936 | 0 |3875 |4835 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1435.73/1440.36 c 1440s| 9400 | 5191 |837902 | 74.8 | 1704M | 65 |1150 | 83k| 80k|7970 | 0 |3959 |4884 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1437.92/1442.54 c 1443s| 9500 | 5229 |841781 | 74.5 | 1704M | 65 |1150 | 83k| 80k|8007 | 1 |3959 |4886 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1460.47/1465.19 c 1465s| 9600 | 5255 |846775 | 74.3 | 1705M | 65 |1150 | 83k| 80k|8187 | 1 |3971 |4888 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1470.52/1475.23 c 1475s| 9700 | 5287 |850819 | 74.0 | 1705M | 65 |1150 | 83k| 80k|8267 | 1 |4006 |4890 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1481.19/1485.93 c 1486s| 9800 | 5319 |855412 | 73.7 | 1706M | 65 |1150 | 83k| 80k|8345 | 2 |4021 |4903 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1484.07/1488.84 c 1489s| 9900 | 5355 |860003 | 73.5 | 1708M | 65 |1150 | 83k| 80k|8371 | 1 |4054 |4916 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1494.26/1499.07 c 1499s| 10000 | 5385 |864556 | 73.2 | 1709M | 65 |1150 | 83k| 80k|8430 | 0 |4078 |4938 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1496.84/1501.67 c 1502s| 10100 | 5435 |868291 | 72.9 | 1710M | 65 |1150 | 83k| 80k|8463 | 1 |4098 |4946 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1507.00/1511.85 c 1512s| 10200 | 5469 |871470 | 72.6 | 1711M | 65 |1150 | 83k| 80k|8498 | 1 |4104 |4948 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1519.56/1524.49 c 1524s| 10300 | 5499 |875876 | 72.3 | 1711M | 65 |1150 | 83k| 80k|8566 | 1 |4136 |4968 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1531.43/1536.39 c 1536s| 10400 | 5541 |880266 | 72.1 | 1713M | 65 |1150 | 83k| 80k|8631 | 1 |4239 |4987 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1536.51/1541.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1536.51/1541.44 c 1541s| 10500 | 5579 |884727 | 71.9 | 1713M | 65 |1150 | 83k| 80k|8670 | 1 |4253 |4995 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1539.69/1544.69 c 1545s| 10600 | 5637 |890024 | 71.7 | 1714M | 65 |1150 | 83k| 80k|8682 | 1 |4311 |5013 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1541.88/1546.89 c 1547s| 10700 | 5677 |893890 | 71.4 | 1715M | 65 |1150 | 83k| 80k|8683 | 0 |4322 |5018 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1549.56/1554.51 c 1554s| 10800 | 5731 |899073 | 71.3 | 1717M | 65 |1150 | 83k| 80k|8717 | 1 |4333 |5023 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1552.44/1557.49 c 1557s| 10900 | 5777 |904649 | 71.1 | 1718M | 65 |1150 | 83k| 80k|8731 | 0 |4336 |5029 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1557.22/1562.25 c 1562s| 11000 | 5821 |910034 | 71.0 | 1720M | 65 |1150 | 83k| 80k|8756 | 3 |4357 |5043 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1560.32/1565.35 c 1565s| 11100 | 5877 |915051 | 70.8 | 1721M | 65 |1150 | 83k| 80k|8757 | 0 |4378 |5051 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1567.29/1572.31 c 1572s| 11200 | 5921 |919642 | 70.6 | 1722M | 65 |1150 | 83k| 80k|8789 | 0 |4385 |5060 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1569.58/1574.65 c 1575s| 11300 | 5953 |923466 | 70.4 | 1723M | 65 |1150 | 83k| 80k|8789 | 0 |4400 |5068 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1575.26/1580.40 c 1580s| 11400 | 6001 |927934 | 70.2 | 1724M | 65 |1150 | 83k| 80k|8796 | 1 |4409 |5104 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1577.96/1583.02 c 1583s| 11500 | 6049 |933096 | 70.0 | 1725M | 65 |1150 | 83k| 80k|8797 | 0 |4415 |5111 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1579.96/1585.11 c 1585s| 11600 | 6091 |936963 | 69.8 | 1726M | 65 |1150 | 83k| 80k|8797 | 1 |4415 |5113 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1592.21/1597.33 c 1597s| 11700 | 6145 |941200 | 69.6 | 1727M | 65 |1150 | 83k| 80k|8857 | 1 |4435 |5115 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1615.23/1620.43 c 1620s| 11800 | 6193 |946755 | 69.5 | 1727M | 65 |1150 | 83k| 80k|9044 | 1 |4445 |5116 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1623.31/1628.57 c 1629s| 11900 | 6233 |951598 | 69.3 | 1728M | 65 |1150 | 83k| 80k|9072 | 0 |4461 |5119 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1625.91/1631.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1625.91/1631.12 c 1631s| 12000 | 6271 |955847 | 69.1 | 1729M | 65 |1150 | 83k| 80k|9073 | 1 |4488 |5129 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1628.68/1633.91 c 1634s| 12100 | 6319 |960492 | 69.0 | 1731M | 65 |1150 | 83k| 80k|9086 | 0 |4499 |5129 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1636.06/1641.39 c 1641s| 12200 | 6369 |964830 | 68.8 | 1750M | 65 |1150 | 83k| 80k|9119 | 1 |4515 |5129 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1661.08/1666.45 c 1666s| 12300 | 6427 |970841 | 68.7 | 1753M | 65 |1150 | 84k| 80k|9222 | 1 |4555 |5151 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1672.04/1677.42 c 1677s| 12400 | 6463 |975411 | 68.5 | 1755M | 65 |1150 | 84k| 80k|9350 | 1 |4555 |5154 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1688.49/1693.92 c 1694s| 12500 | 6515 |980946 | 68.4 | 1758M | 65 |1150 | 84k| 80k|9439 | 1 |4559 |5161 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1690.88/1696.30 c 1696s| 12600 | 6573 |986252 | 68.3 | 1759M | 65 |1150 | 84k| 80k|9440 | 1 |4576 |5161 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1696.77/1702.29 c 1702s| 12700 | 6635 |992266 | 68.3 | 1801M | 65 |1150 | 84k| 80k|9464 | 1 |4622 |5164 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1699.57/1705.01 c 1705s| 12800 | 6697 |997577 | 68.2 | 1804M | 65 |1150 | 84k| 80k|9473 | 2 |4662 |5168 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1703.66/1709.16 c 1709s| 12900 | 6739 | 1002k| 68.1 | 1805M | 65 |1150 | 84k| 80k|9505 | 1 |4675 |5168 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1714.70/1720.21 c 1720s| 13000 | 6796 | 1011k| 68.2 | 1806M | 65 |1150 | 84k| 80k|9564 | 2 |4678 |5170 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1723.27/1728.88 c 1729s| 13100 | 6834 | 1016k| 68.0 | 1807M | 65 |1150 | 84k| 80k|9621 | 0 |4684 |5170 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1725.96/1731.58 c 1732s| 13200 | 6892 | 1020k| 67.9 | 1809M | 65 |1150 | 84k| 80k|9624 | 0 |4707 |5176 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1728.56/1734.18 c 1734s| 13300 | 6962 | 1026k| 67.8 | 1811M | 65 |1150 | 84k| 80k|9625 | 1 |4759 |5176 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1731.84/1737.46 c 1737s| 13400 | 7004 | 1030k| 67.7 | 1812M | 65 |1150 | 84k| 80k|9631 | 0 |4770 |5176 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1740.90/1746.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1740.90/1746.50 c 1746s| 13500 | 7046 | 1036k| 67.6 | 1814M | 65 |1150 | 84k| 80k|9677 | 3 |4770 |5176 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1747.68/1753.31 c 1753s| 13600 | 7082 | 1040k| 67.4 | 1815M | 65 |1150 | 84k| 80k|9724 | 1 |4770 |5176 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1771.19/1777.00 c 1777s| 13700 | 7119 | 1046k| 67.4 | 1816M | 65 |1150 | 84k| 80k|9858 | 1 |4782 |5206 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1776.08/1781.80 c 1782s| 13800 | 7155 | 1050k| 67.2 | 1816M | 65 |1150 | 84k| 80k|9892 | 0 |4805 |5230 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1790.53/1796.33 c 1796s| 13900 | 7189 | 1056k| 67.1 | 1819M | 65 |1150 | 84k| 80k| 10k| 1 |4835 |5254 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1793.72/1799.56 c 1800s| 14000 | 7257 | 1061k| 67.0 | 1821M | 65 |1150 | 84k| 80k| 10k| 1 |4854 |5271 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1797.00/1802.82 c 1803s| 14100 | 7317 | 1065k| 66.9 | 1823M | 65 |1150 | 84k| 80k| 10k| 1 |4951 |5299 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1814.64/1820.56 c 1821s| 14200 | 7361 | 1070k| 66.7 | 1825M | 65 |1150 | 84k| 80k| 10k| 0 |4964 |5320 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1817.53/1823.48 c 1823s| 14300 | 7413 | 1074k| 66.6 | 1826M | 65 |1150 | 84k| 80k| 10k| 0 |4995 |5343 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1820.72/1826.68 c 1827s| 14400 | 7469 | 1079k| 66.4 | 1827M | 65 |1150 | 84k| 80k| 10k| 1 |5002 |5363 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1823.51/1829.48 c 1829s| 14500 | 7514 | 1083k| 66.3 | 1828M | 65 |1150 | 84k| 80k| 10k| 2 |5021 |5390 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1830.98/1836.90 c 1837s| 14600 | 7558 | 1089k| 66.2 | 1830M | 65 |1150 | 84k| 80k| 10k| 0 |5171 |5439 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1841.64/1847.61 c 1848s| 14700 | 7598 | 1093k| 66.1 | 1830M | 65 |1150 | 84k| 80k| 10k| 1 |5207 |5460 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1845.23/1851.25 c 1851s| 14800 | 7654 | 1097k| 66.0 | 1831M | 65 |1150 | 84k| 80k| 10k| 1 |5222 |5496 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1859.79/1865.86 o -46
1859.79/1865.86 c *1866s| 14882 | 5346 | 1103k| 65.9 | LP | 65 |1150 | 84k| 80k| 10k| 2 |5240 |5506 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1863.78/1869.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1863.78/1869.81 c 1870s| 14900 | 5348 | 1103k| 65.9 | 1833M | 65 |1150 | 84k| 80k| 10k| 0 |5240 |5512 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1867.08/1873.16 c 1873s| 15000 | 5366 | 1108k| 65.8 | 1833M | 65 |1150 | 84k| 80k| 10k| 1 |5270 |5536 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1873.35/1879.40 c 1879s| 15100 | 5394 | 1112k| 65.6 | 1833M | 65 |1150 | 84k| 80k| 10k| 1 |5291 |5558 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1886.92/1893.07 c 1893s| 15200 | 5418 | 1116k| 65.5 | 1833M | 65 |1150 | 84k| 80k| 10k| 0 |5377 |5597 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1902.07/1908.26 c 1908s| 15300 | 5450 | 1120k| 65.3 | 1833M | 65 |1150 | 84k| 80k| 10k| 1 |5431 |5614 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1913.23/1919.45 c 1919s| 15400 | 5496 | 1125k| 65.2 | 1833M | 65 |1150 | 84k| 80k| 10k| 1 |5460 |5634 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1916.12/1922.36 c 1922s| 15500 | 5530 | 1129k| 65.1 | 1833M | 65 |1150 | 84k| 80k| 10k| 1 |5493 |5651 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1919.21/1925.49 c 1925s| 15600 | 5570 | 1133k| 65.0 | 1855M | 65 |1150 | 84k| 80k| 10k| 0 |5589 |5673 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1928.48/1934.73 c 1935s| 15700 | 5608 | 1138k| 64.9 | 1855M | 65 |1150 | 84k| 80k| 10k| 1 |5696 |5718 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1931.67/1938.00 c 1938s| 15800 | 5648 | 1143k| 64.8 | 1855M | 65 |1150 | 84k| 80k| 10k| 0 |5703 |5736 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1934.96/1941.27 c 1941s| 15900 | 5680 | 1147k| 64.6 | 1855M | 65 |1150 | 84k| 80k| 10k| 1 |5782 |5771 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1939.04/1945.30 c 1945s| 16000 | 5710 | 1151k| 64.5 | 1855M | 65 |1150 | 84k| 80k| 10k| 1 |5809 |5791 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1943.63/1949.91 c 1950s| 16100 | 5730 | 1155k| 64.4 | 1855M | 65 |1150 | 84k| 80k| 10k| 0 |5823 |5822 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1947.92/1954.24 c 1954s| 16200 | 5758 | 1159k| 64.2 | 1855M | 65 |1150 | 84k| 80k| 10k| 1 |5869 |5849 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1952.00/1958.39 c 1958s| 16300 | 5802 | 1164k| 64.1 | 1855M | 65 |1150 | 84k| 80k| 10k| 0 |5911 |5885 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1954.99/1961.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1954.99/1961.35 c 1961s| 16400 | 5840 | 1169k| 64.0 | 1855M | 65 |1150 | 84k| 80k| 10k| 0 |5946 |5905 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1960.37/1966.79 c 1967s| 16500 | 5870 | 1173k| 63.9 | 1855M | 65 |1150 | 84k| 80k| 10k| 0 |5966 |5948 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1963.26/1969.60 c 1970s| 16600 | 5898 | 1178k| 63.8 | 1855M | 65 |1150 | 84k| 80k| 10k| 0 |5966 |5952 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1966.45/1972.88 c 1973s| 16700 | 5934 | 1183k| 63.8 | 1855M | 65 |1150 | 84k| 80k| 10k| 0 |5987 |5974 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1971.04/1977.42 c 1977s| 16800 | 5956 | 1187k| 63.6 | 1856M | 65 |1150 | 84k| 80k| 10k| 1 |5987 |5990 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1975.63/1982.05 c 1982s| 16900 | 5996 | 1191k| 63.5 | 1856M | 65 |1150 | 84k| 80k| 10k| 1 |6029 |6022 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1978.51/1984.98 c 1985s| 17000 | 6032 | 1195k| 63.4 | 1856M | 65 |1150 | 84k| 80k| 10k| 0 |6076 |6036 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1980.90/1987.36 c 1987s| 17100 | 6056 | 1199k| 63.2 | 1856M | 65 |1150 | 84k| 80k| 10k| 0 |6098 |6050 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1984.19/1990.60 c 1991s| 17200 | 6084 | 1204k| 63.2 | 1856M | 65 |1150 | 84k| 80k| 10k| 1 |6113 |6077 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1987.08/1993.51 c 1993s| 17300 | 6128 | 1208k| 63.1 | 1856M | 65 |1150 | 84k| 80k| 10k| 1 |6150 |6095 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1990.27/1996.74 c 1997s| 17400 | 6159 | 1212k| 63.0 | 1856M | 65 |1150 | 84k| 80k| 10k| 1 |6232 |6119 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1992.76/1999.28 c 1999s| 17500 | 6193 | 1217k| 62.9 | 1856M | 65 |1150 | 84k| 80k| 10k| 1 |6264 |6137 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1995.95/2002.48 c 2002s| 17600 | 6223 | 1222k| 62.8 | 1857M | 65 |1150 | 84k| 80k| 10k| 1 |6293 |6159 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
1998.34/2004.81 c 2005s| 17700 | 6257 | 1227k| 62.7 | 1857M | 65 |1150 | 84k| 80k| 10k| 1 |6330 |6169 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2009.31/2015.85 c 2016s| 17800 | 6289 | 1232k| 62.7 | 1857M | 65 |1150 | 84k| 80k| 10k| 1 |6353 |6184 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2012.30/2018.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2012.30/2018.83 c 2019s| 17900 | 6335 | 1238k| 62.6 | 1857M | 65 |1150 | 84k| 80k| 10k| 1 |6399 |6188 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2014.89/2021.44 c 2021s| 18000 | 6375 | 1243k| 62.6 | 1857M | 65 |1150 | 84k| 80k| 10k| 1 |6431 |6195 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2022.26/2028.82 c 2029s| 18100 | 6395 | 1247k| 62.5 | 1857M | 65 |1150 | 84k| 80k| 10k| 0 |6446 |6200 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2029.94/2036.51 c 2036s| 18200 | 6435 | 1253k| 62.4 | 1858M | 65 |1150 | 84k| 80k| 10k| 0 |6497 |6231 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2035.03/2041.66 c 2042s| 18300 | 6471 | 1259k| 62.4 | 1858M | 65 |1150 | 84k| 80k| 10k| 1 |6507 |6237 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2043.30/2049.97 c 2050s| 18400 | 6505 | 1263k| 62.3 | 1858M | 65 |1150 | 84k| 80k| 11k| 1 |6543 |6248 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2049.09/2055.75 c 2056s| 18500 | 6549 | 1268k| 62.3 | 1858M | 65 |1150 | 85k| 80k| 11k| 1 |6565 |6252 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2055.07/2061.72 c 2062s| 18600 | 6581 | 1272k| 62.2 | 1858M | 65 |1150 | 85k| 80k| 11k| 1 |6594 |6267 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2057.37/2064.02 c 2064s| 18700 | 6603 | 1276k| 62.0 | 1858M | 65 |1150 | 85k| 80k| 11k| 1 |6612 |6274 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2059.65/2066.32 c 2066s| 18800 | 6639 | 1280k| 61.9 | 1859M | 65 |1150 | 85k| 80k| 11k| 0 |6627 |6280 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2062.05/2068.79 c 2069s| 18900 | 6695 | 1285k| 61.9 | 1859M | 65 |1150 | 85k| 80k| 11k| 1 |6637 |6284 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2064.24/2070.92 c 2071s| 19000 | 6737 | 1290k| 61.8 | 1860M | 65 |1150 | 85k| 80k| 11k| 1 |6661 |6287 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2067.23/2073.95 c 2074s| 19100 | 6773 | 1293k| 61.7 | 1861M | 65 |1150 | 85k| 80k| 11k| 0 |6672 |6289 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2072.43/2079.17 c 2079s| 19200 | 6801 | 1298k| 61.6 | 1861M | 65 |1150 | 85k| 80k| 11k| 1 |6683 |6298 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2074.71/2081.49 c 2081s| 19300 | 6831 | 1302k| 61.5 | 1862M | 65 |1150 | 85k| 80k| 11k| 1 |6700 |6301 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2080.30/2087.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2080.30/2087.03 c 2087s| 19400 | 6861 | 1307k| 61.4 | 1862M | 65 |1150 | 85k| 80k| 11k| 1 |6719 |6302 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2090.76/2097.53 c 2098s| 19500 | 6877 | 1311k| 61.4 | 1862M | 65 |1150 | 85k| 80k| 11k| 0 |6723 |6303 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2107.51/2114.34 c 2114s| 19600 | 6917 | 1317k| 61.3 | 1862M | 65 |1150 | 85k| 80k| 11k| 1 |6750 |6320 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2115.49/2122.34 c 2122s| 19700 | 6947 | 1321k| 61.2 | 1863M | 65 |1150 | 85k| 80k| 11k| 0 |6755 |6325 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2122.57/2129.45 c 2129s| 19800 | 6977 | 1326k| 61.2 | 1863M | 65 |1150 | 85k| 80k| 11k| 1 |6764 |6331 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2133.83/2140.79 c 2141s| 19900 | 6991 | 1329k| 61.1 | 1863M | 65 |1150 | 85k| 80k| 11k| 1 |6764 |6334 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2145.00/2151.90 c 2152s| 20000 | 7019 | 1334k| 61.0 | 1863M | 65 |1150 | 85k| 80k| 11k| 1 |6778 |6338 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2151.38/2158.31 c 2158s| 20100 | 7059 | 1338k| 60.9 | 1863M | 65 |1150 | 85k| 80k| 11k| 2 |6794 |6344 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2154.18/2161.14 c 2161s| 20200 | 7105 | 1344k| 60.9 | 1865M | 65 |1150 | 85k| 80k| 11k| 1 |6831 |6349 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2156.36/2163.39 c 2163s| 20300 | 7141 | 1348k| 60.8 | 1865M | 65 |1150 | 85k| 80k| 11k| 1 |6831 |6352 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2160.95/2167.95 c 2168s| 20400 | 7173 | 1352k| 60.7 | 1865M | 65 |1150 | 85k| 80k| 11k| 1 |6835 |6355 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2184.18/2191.22 c 2191s| 20500 | 7201 | 1359k| 60.7 | 1867M | 65 |1150 | 85k| 80k| 11k| 1 |6846 |6358 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2193.86/2200.95 c 2201s| 20600 | 7225 | 1364k| 60.7 | 1912M | 65 |1150 | 85k| 80k| 11k| 1 |6857 |6358 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2216.20/2223.38 c 2223s| 20700 | 7243 | 1370k| 60.7 | 1914M | 65 |1150 | 85k| 80k| 11k| 1 |6870 |6358 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2229.06/2236.28 c 2236s| 20800 | 7275 | 1375k| 60.6 | 1915M | 65 |1150 | 85k| 80k| 12k| 1 |6886 |6358 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2266.35/2273.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2266.35/2273.67 c 2274s| 20900 | 7297 | 1382k| 60.7 | 1939M | 65 |1150 | 85k| 80k| 12k| 1 |6909 |6359 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2299.85/2307.28 c 2307s| 21000 | 7321 | 1390k| 60.7 | 1963M | 65 |1150 | 85k| 80k| 12k| 1 |6939 |6362 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2309.82/2317.20 c 2317s| 21100 | 7343 | 1395k| 60.7 | 1963M | 65 |1150 | 85k| 80k| 12k| 0 |6949 |6367 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2323.37/2330.84 c 2331s| 21200 | 7383 | 1401k| 60.7 | 1978M | 65 |1150 | 85k| 80k| 12k| 0 |6988 |6367 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2329.16/2336.67 c 2337s| 21300 | 7415 | 1405k| 60.6 | 2006M | 65 |1150 | 85k| 80k| 12k| 1 |7021 |6367 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2334.05/2341.57 c 2342s| 21400 | 7433 | 1410k| 60.6 | 2006M | 65 |1150 | 85k| 80k| 12k| 0 |7021 |6367 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2341.83/2349.35 c 2349s| 21500 | 7465 | 1414k| 60.5 | 2007M | 65 |1150 | 85k| 80k| 12k| 2 |7043 |6369 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2345.22/2352.77 c 2353s| 21600 | 7497 | 1418k| 60.4 | 2007M | 65 |1150 | 85k| 80k| 12k| 0 |7063 |6369 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2356.18/2363.76 c 2364s| 21700 | 7522 | 1421k| 60.2 | 2008M | 65 |1150 | 85k| 80k| 13k| 0 |7086 |6370 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2361.27/2368.83 c 2369s| 21800 | 7574 | 1426k| 60.2 | 2011M | 65 |1150 | 85k| 80k| 13k| 1 |7118 |6373 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2364.75/2372.30 c 2372s| 21900 | 7630 | 1433k| 60.3 | 2012M | 65 |1150 | 85k| 80k| 13k| 1 |7131 |6376 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2369.55/2377.17 c 2377s| 22000 | 7692 | 1440k| 60.3 | 2015M | 65 |1150 | 85k| 80k| 13k| 0 |7209 |6376 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2371.93/2379.53 c 2380s| 22100 | 7736 | 1444k| 60.2 | 2015M | 65 |1150 | 85k| 80k| 13k| 1 |7235 |6376 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2374.43/2382.07 c 2382s| 22200 | 7790 | 1449k| 60.2 | 2016M | 65 |1150 | 85k| 80k| 13k| 0 |7266 |6376 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2377.61/2385.22 c 2385s| 22300 | 7844 | 1456k| 60.2 | 2017M | 65 |1150 | 85k| 80k| 13k| 1 |7280 |6376 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2382.10/2389.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2382.10/2389.76 c 2390s| 22400 | 7886 | 1461k| 60.2 | 2019M | 65 |1150 | 85k| 80k| 13k| 2 |7294 |6377 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2384.40/2392.03 c 2392s| 22500 | 7920 | 1465k| 60.1 | 2020M | 65 |1150 | 85k| 80k| 13k| 0 |7302 |6380 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2396.65/2404.38 c 2404s| 22600 | 7946 | 1469k| 60.0 | 2020M | 65 |1150 | 85k| 80k| 13k| 0 |7311 |6381 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2404.13/2411.84 c 2412s| 22700 | 7986 | 1472k| 59.9 | 2021M | 65 |1150 | 85k| 80k| 13k| 0 |7337 |6382 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2419.39/2427.18 c 2427s| 22800 | 8030 | 1478k| 59.9 | 2077M | 65 |1150 | 85k| 80k| 13k| 1 |7364 |6397 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2425.56/2433.32 c 2433s| 22900 | 8066 | 1483k| 59.8 | 2077M | 65 |1150 | 85k| 80k| 13k| 1 |7402 |6413 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2428.75/2436.56 c 2437s| 23000 | 8106 | 1489k| 59.8 | 2080M | 65 |1150 | 85k| 80k| 13k| 1 |7410 |6425 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2439.23/2447.11 c 2447s| 23100 | 8134 | 1495k| 59.9 | 2081M | 65 |1150 | 85k| 80k| 13k| 0 |7530 |6465 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2455.06/2462.97 c 2463s| 23200 | 8160 | 1501k| 59.8 | 2083M | 65 |1150 | 85k| 80k| 13k| 1 |7567 |6492 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2482.39/2490.37 c 2490s| 23300 | 8192 | 1508k| 59.9 | 2084M | 65 |1150 | 85k| 80k| 13k| 0 |7695 |6543 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2487.97/2495.92 c 2496s| 23400 | 8214 | 1513k| 59.8 | 2085M | 65 |1150 | 85k| 80k| 13k| 0 |7736 |6574 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2494.95/2503.00 c 2503s| 23500 | 8248 | 1517k| 59.8 | 2087M | 65 |1150 | 85k| 80k| 13k| 0 |7772 |6588 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2502.23/2510.22 c 2510s| 23600 | 8292 | 1524k| 59.8 | 2088M | 65 |1150 | 85k| 80k| 13k| 1 |7868 |6616 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2508.31/2516.32 c 2516s| 23700 | 8316 | 1528k| 59.7 | 2088M | 65 |1150 | 85k| 80k| 13k| 0 |7886 |6644 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2511.69/2519.73 c 2520s| 23800 | 8338 | 1532k| 59.6 | 2090M | 65 |1150 | 85k| 80k| 13k| 0 |7947 |6665 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2518.77/2526.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2518.77/2526.86 c 2527s| 23900 | 8378 | 1537k| 59.6 | 2090M | 65 |1150 | 85k| 80k| 13k| 1 |8000 |6698 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2523.75/2531.83 c 2532s| 24000 | 8418 | 1542k| 59.6 | 2093M | 65 |1150 | 85k| 80k| 13k| 0 |8042 |6713 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2536.31/2544.47 c 2544s| 24100 | 8456 | 1547k| 59.5 | 2094M | 65 |1150 | 85k| 80k| 14k| 2 |8144 |6744 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2539.70/2547.83 c 2548s| 24200 | 8490 | 1550k| 59.4 | 2094M | 65 |1150 | 85k| 80k| 14k| 1 |8167 |6766 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2554.26/2562.42 c 2562s| 24300 | 8504 | 1553k| 59.3 | 2095M | 65 |1150 | 85k| 80k| 14k| 1 |8173 |6773 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2562.63/2570.84 c 2571s| 24400 | 8526 | 1557k| 59.2 | 2096M | 65 |1150 | 85k| 80k| 14k| 0 |8188 |6793 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2566.72/2574.93 c 2575s| 24500 | 8564 | 1562k| 59.2 | 2098M | 65 |1150 | 85k| 80k| 14k| 1 |8263 |6812 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2575.29/2583.51 c 2583s| 24600 | 8592 | 1566k| 59.1 | 2099M | 65 |1150 | 85k| 80k| 14k| 1 |8277 |6828 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2578.08/2586.37 c 2586s| 24700 | 8616 | 1570k| 59.1 | 2099M | 65 |1150 | 85k| 80k| 14k| 0 |8318 |6850 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2580.79/2589.04 c 2589s| 24800 | 8650 | 1574k| 59.0 | 2100M | 65 |1150 | 85k| 80k| 14k| 0 |8331 |6869 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2587.45/2595.74 c 2596s| 24900 | 8686 | 1579k| 59.0 | 2101M | 65 |1150 | 85k| 80k| 14k| 1 |8355 |6891 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2591.14/2599.40 c 2599s| 25000 | 8716 | 1583k| 58.9 | 2101M | 65 |1150 | 85k| 80k| 14k| 1 |8384 |6908 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2594.33/2602.69 c 2603s| 25100 | 8752 | 1587k| 58.8 | 2103M | 65 |1150 | 85k| 80k| 14k| 1 |8402 |6924 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2599.02/2607.31 c 2607s| 25200 | 8812 | 1594k| 58.8 | 2105M | 65 |1150 | 85k| 80k| 14k| 1 |8455 |6952 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2608.29/2616.64 c 2617s| 25300 | 8870 | 1602k| 58.9 | 2106M | 65 |1150 | 85k| 80k| 14k| 1 |8465 |6972 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2624.04/2632.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2624.04/2632.49 c 2632s| 25400 | 8932 | 1609k| 59.0 | 2108M | 65 |1150 | 85k| 80k| 14k| 0 |8493 |7011 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2646.88/2655.39 c 2655s| 25500 | 8986 | 1617k| 59.0 | 2109M | 65 |1150 | 85k| 80k| 14k| 1 |8552 |7048 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2650.86/2659.37 c 2659s| 25600 | 9038 | 1622k| 59.0 | 2111M | 65 |1150 | 85k| 80k| 14k| 0 |8577 |7067 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2656.35/2664.83 c 2665s| 25700 | 9062 | 1625k| 58.9 | 2112M | 65 |1150 | 85k| 80k| 14k| 2 |8608 |7088 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2667.02/2675.54 c 2676s| 25800 | 9092 | 1629k| 58.8 | 2112M | 65 |1150 | 85k| 80k| 14k| 1 |8638 |7107 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2674.40/2682.91 c 2683s| 25900 | 9114 | 1634k| 58.8 | 2114M | 65 |1150 | 85k| 80k| 14k| 0 |8699 |7128 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2681.78/2690.32 c 2690s| 26000 | 9142 | 1638k| 58.7 | 2115M | 65 |1150 | 85k| 80k| 14k| 0 |8768 |7173 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2688.26/2696.87 c 2697s| 26100 | 9170 | 1643k| 58.7 | 2115M | 65 |1150 | 86k| 80k| 14k| 1 |8858 |7212 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2692.24/2700.84 c 2701s| 26200 | 9216 | 1649k| 58.7 | 2116M | 65 |1150 | 86k| 80k| 14k| 1 |8886 |7247 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2700.82/2709.42 c 2709s| 26300 | 9248 | 1654k| 58.7 | 2117M | 65 |1150 | 86k| 80k| 14k| 1 |8938 |7273 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2703.31/2711.97 c 2712s| 26400 | 9278 | 1658k| 58.6 | 2117M | 65 |1150 | 86k| 80k| 15k| 0 |8953 |7282 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2706.51/2715.18 c 2715s| 26500 | 9306 | 1662k| 58.5 | 2118M | 65 |1150 | 86k| 80k| 15k| 1 |9023 |7320 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2710.18/2718.88 c 2719s| 26600 | 9332 | 1666k| 58.5 | 2119M | 65 |1150 | 86k| 80k| 15k| 1 |9091 |7340 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2716.38/2725.02 c 2725s| 26700 | 9352 | 1669k| 58.4 | 2120M | 65 |1150 | 86k| 80k| 15k| 1 |9114 |7361 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2724.04/2732.71 c 2733s| 26800 | 9386 | 1674k| 58.4 | 2121M | 65 |1150 | 86k| 80k| 15k| 0 |9147 |7379 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2733.33/2742.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2733.33/2742.02 c 2742s| 26900 | 9416 | 1679k| 58.3 | 2122M | 65 |1150 | 86k| 80k| 15k| 1 |9222 |7405 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2737.60/2746.34 c 2746s| 27000 | 9450 | 1684k| 58.3 | 2123M | 65 |1150 | 86k| 80k| 15k| 1 |9245 |7413 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2744.98/2753.75 c 2754s| 27100 | 9476 | 1688k| 58.2 | 2124M | 65 |1150 | 86k| 80k| 15k| 3 |9266 |7419 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2750.66/2759.47 c 2759s| 27200 | 9502 | 1693k| 58.2 | 2125M | 65 |1150 | 86k| 80k| 15k| 0 |9333 |7435 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2759.94/2768.73 c 2769s| 27300 | 9522 | 1697k| 58.1 | 2127M | 65 |1150 | 86k| 80k| 15k| 0 |9342 |7446 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2764.52/2773.39 c 2773s| 27400 | 9548 | 1701k| 58.1 | 2127M | 65 |1150 | 86k| 80k| 15k| 0 |9359 |7454 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2767.11/2775.92 c 2776s| 27500 | 9576 | 1705k| 58.0 | 2128M | 65 |1150 | 86k| 80k| 15k| 0 |9432 |7473 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2769.32/2778.17 c 2778s| 27600 | 9608 | 1709k| 57.9 | 2129M | 65 |1150 | 86k| 80k| 15k| 1 |9439 |7476 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2772.89/2781.76 c 2782s| 27700 | 9632 | 1712k| 57.8 | 2130M | 65 |1150 | 86k| 80k| 15k| 1 |9475 |7486 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2780.77/2789.66 c 2790s| 27800 | 9670 | 1717k| 57.8 | 2130M | 65 |1150 | 86k| 80k| 15k| 1 |9501 |7498 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2790.74/2799.69 c 2800s| 27900 | 9696 | 1721k| 57.8 | 2131M | 65 |1150 | 86k| 80k| 15k| 1 |9545 |7504 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2793.44/2802.34 c 2802s| 28000 | 9742 | 1726k| 57.7 | 2133M | 65 |1150 | 86k| 80k| 15k| 1 |9567 |7519 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2802.12/2811.02 c 2811s| 28100 | 9772 | 1730k| 57.7 | 2133M | 65 |1150 | 86k| 80k| 15k| 1 |9597 |7533 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2804.30/2813.29 c 2813s| 28200 | 9818 | 1734k| 57.6 | 2135M | 65 |1150 | 86k| 80k| 15k| 1 |9617 |7543 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2810.99/2819.90 c 2820s| 28300 | 9854 | 1739k| 57.6 | 2137M | 65 |1150 | 86k| 80k| 15k| 0 |9629 |7552 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2814.87/2823.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2814.87/2823.82 c 2824s| 28400 | 9900 | 1747k| 57.7 | 2140M | 65 |1150 | 86k| 80k| 15k| 0 |9652 |7572 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2818.18/2827.12 c 2827s| 28500 | 9950 | 1753k| 57.7 | 2140M | 65 |1150 | 86k| 80k| 15k| 0 |9717 |7585 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2820.96/2829.93 c 2830s| 28600 | 10006 | 1758k| 57.7 | 2174M | 65 |1150 | 86k| 80k| 15k| 1 |9728 |7589 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2833.33/2842.32 c 2842s| 28700 | 10026 | 1764k| 57.6 | 2175M | 65 |1150 | 86k| 80k| 15k| 1 |9745 |7595 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2836.32/2845.30 c 2845s| 28800 | 10066 | 1769k| 57.6 | 2177M | 67 |1150 | 86k| 80k| 15k| 1 |9759 |7603 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2838.41/2847.48 c 2847s| 28900 | 10100 | 1773k| 57.6 | 2178M | 67 |1150 | 86k| 80k| 15k| 1 |9795 |7606 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2840.71/2849.70 c 2850s| 29000 | 10140 | 1777k| 57.5 | 2178M | 67 |1150 | 86k| 80k| 15k| 1 |9828 |7608 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2844.11/2853.15 c 2853s| 29100 | 10168 | 1781k| 57.5 | 2180M | 67 |1150 | 86k| 80k| 15k| 0 |9848 |7611 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2847.00/2856.11 c 2856s| 29200 | 10196 | 1787k| 57.5 | 2180M | 67 |1150 | 86k| 80k| 15k| 0 |9885 |7625 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2853.77/2862.81 c 2863s| 29300 | 10226 | 1790k| 57.4 | 2182M | 67 |1150 | 86k| 80k| 15k| 0 |9888 |7627 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2861.96/2871.10 c 2871s| 29400 | 10272 | 1796k| 57.4 | 2185M | 67 |1150 | 86k| 80k| 15k| 1 |9907 |7627 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2865.73/2874.89 c 2875s| 29500 | 10310 | 1800k| 57.3 | 2185M | 67 |1150 | 86k| 80k| 15k| 1 |9922 |7629 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2872.72/2881.81 c 2882s| 29600 | 10334 | 1804k| 57.3 | 2186M | 67 |1150 | 86k| 80k| 15k| 0 |9941 |7632 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2877.60/2886.78 c 2887s| 29700 | 10356 | 1808k| 57.2 | 2186M | 67 |1150 | 86k| 80k| 15k| 0 |9953 |7639 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2887.38/2896.55 c 2897s| 29800 | 10388 | 1812k| 57.2 | 2187M | 67 |1150 | 86k| 80k| 15k| 3 |9963 |7639 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2891.76/2900.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2891.76/2900.98 c 2901s| 29900 | 10410 | 1817k| 57.1 | 2187M | 67 |1150 | 86k| 80k| 15k| 1 |9984 |7640 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2894.97/2904.14 c 2904s| 30000 | 10428 | 1820k| 57.0 | 2187M | 67 |1150 | 86k| 80k| 15k| 1 |9989 |7640 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2898.85/2908.06 c 2908s| 30100 | 10468 | 1824k| 57.0 | 2188M | 67 |1150 | 86k| 80k| 15k| 1 | 10k|7640 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2902.03/2911.23 c 2911s| 30200 | 10504 | 1828k| 56.9 | 2190M | 67 |1150 | 86k| 80k| 15k| 1 | 10k|7641 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2904.03/2913.20 c 2913s| 30300 | 10546 | 1832k| 56.9 | 2190M | 67 |1150 | 86k| 80k| 15k| 1 | 10k|7642 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2910.01/2919.28 c 2919s| 30400 | 10578 | 1836k| 56.8 | 2193M | 67 |1150 | 86k| 80k| 15k| 1 | 10k|7643 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2917.99/2927.28 c 2927s| 30500 | 10590 | 1839k| 56.8 | 2193M | 67 |1150 | 86k| 80k| 15k| 1 | 10k|7644 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2931.95/2941.25 c 2941s| 30600 | 10624 | 1844k| 56.7 | 2195M | 67 |1150 | 86k| 80k| 15k| 0 | 10k|7644 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2939.03/2948.30 c 2948s| 30700 | 10654 | 1849k| 56.7 | 2195M | 67 |1150 | 86k| 80k| 15k| 1 | 10k|7645 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2941.13/2950.42 c 2950s| 30800 | 10688 | 1854k| 56.7 | 2197M | 67 |1150 | 86k| 80k| 15k| 1 | 10k|7646 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2943.73/2953.09 c 2953s| 30900 | 10742 | 1858k| 56.6 | 2199M | 67 |1150 | 86k| 80k| 15k| 1 | 10k|7648 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2970.35/2979.76 c 2980s| 31000 | 10768 | 1862k| 56.6 | 2199M | 67 |1150 | 86k| 80k| 16k| 3 | 10k|7652 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2972.76/2982.13 c 2982s| 31100 | 10812 | 1866k| 56.5 | 2200M | 67 |1150 | 86k| 80k| 16k| 1 | 10k|7658 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
2996.18/3005.68 c 3006s| 31200 | 10858 | 1873k| 56.6 | 2202M | 67 |1150 | 86k| 80k| 16k| 1 | 10k|7669 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3010.94/3020.45 c 3020s| 31300 | 10886 | 1879k| 56.6 | 2202M | 67 |1150 | 86k| 80k| 16k| 0 | 10k|7673 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3020.82/3030.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3020.82/3030.39 c 3030s| 31400 | 10916 | 1882k| 56.5 | 2269M | 67 |1150 | 86k| 80k| 16k| 0 | 10k|7678 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3038.37/3047.93 c 3048s| 31500 | 10950 | 1888k| 56.5 | 2277M | 67 |1150 | 86k| 80k| 16k| 1 | 10k|7683 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3044.66/3054.20 c 3054s| 31600 | 10982 | 1894k| 56.5 | 2279M | 67 |1150 | 86k| 80k| 16k| 1 | 10k|7685 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3046.56/3056.13 c 3056s| 31700 | 11004 | 1898k| 56.5 | 2279M | 67 |1150 | 86k| 80k| 16k| 1 | 10k|7686 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3049.74/3059.38 c 3059s| 31800 | 11036 | 1902k| 56.4 | 2279M | 67 |1150 | 86k| 80k| 16k| 1 | 10k|7686 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3066.70/3076.35 c 3076s| 31900 | 11078 | 1907k| 56.4 | 2281M | 67 |1150 | 86k| 80k| 16k| 0 | 10k|7686 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3086.14/3095.83 c 3096s| 32000 | 11108 | 1912k| 56.4 | 2283M | 67 |1150 | 86k| 80k| 17k| 5 | 10k|7689 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3095.22/3104.98 c 3105s| 32100 | 11136 | 1916k| 56.3 | 2284M | 67 |1150 | 86k| 80k| 17k| 1 | 10k|7692 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3097.81/3107.52 c 3108s| 32200 | 11186 | 1922k| 56.3 | 2286M | 67 |1150 | 86k| 80k| 17k| 1 | 10k|7692 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3105.49/3115.25 c 3115s| 32300 | 11214 | 1925k| 56.3 | 2288M | 67 |1150 | 86k| 80k| 17k| 1 | 10k|7693 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3111.38/3121.19 c 3121s| 32400 | 11244 | 1930k| 56.2 | 2288M | 67 |1150 | 86k| 80k| 17k| 0 | 10k|7693 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3131.92/3141.80 c 3142s| 32500 | 11280 | 1936k| 56.2 | 2291M | 67 |1150 | 86k| 80k| 17k| 1 | 10k|7694 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3134.81/3144.65 c 3145s| 32600 | 11308 | 1939k| 56.2 | 2291M | 67 |1150 | 86k| 80k| 17k| 1 | 10k|7694 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3140.00/3149.82 c 3150s| 32700 | 11332 | 1943k| 56.1 | 2292M | 67 |1150 | 86k| 80k| 17k| 1 | 10k|7694 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3144.09/3153.96 c 3154s| 32800 | 11366 | 1947k| 56.1 | 2292M | 67 |1150 | 86k| 80k| 17k| 0 | 10k|7699 |-5.000000e+01 |-4.600000e+01 | 8.70%| unknown
3151.07/3160.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3151.07/3160.92 c 3161s| 32900 | 11394 | 1951k| 56.1 | 2293M | 67 |1150 | 86k| 80k| 17k| 0 | 10k|7699 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.67%
3155.75/3165.66 c 3166s| 33000 | 11432 | 1957k| 56.0 | 2293M | 67 |1150 | 86k| 80k| 17k| 1 | 10k|7703 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.68%
3161.04/3170.99 c 3171s| 33100 | 11458 | 1960k| 56.0 | 2296M | 67 |1150 | 86k| 80k| 17k| 1 | 10k|7705 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.69%
3163.03/3172.95 c 3173s| 33200 | 11492 | 1964k| 55.9 | 2296M | 67 |1150 | 86k| 80k| 17k| 1 | 10k|7706 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.69%
3168.01/3177.94 c 3178s| 33300 | 11526 | 1967k| 55.8 | 2297M | 67 |1150 | 86k| 80k| 17k| 0 | 10k|7706 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.71%
3175.58/3185.57 c 3186s| 33400 | 11570 | 1972k| 55.8 | 2298M | 67 |1150 | 86k| 80k| 17k| 1 | 10k|7709 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.71%
3177.47/3187.47 c 3187s| 33500 | 11592 | 1976k| 55.8 | 2298M | 67 |1150 | 86k| 80k| 17k| 1 | 10k|7710 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.71%
3179.47/3189.47 c 3189s| 33600 | 11612 | 1980k| 55.8 | 2300M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7710 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.72%
3194.63/3204.60 c 3205s| 33700 | 11640 | 1984k| 55.7 | 2301M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7711 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.72%
3206.60/3216.65 c 3217s| 33800 | 11664 | 1988k| 55.7 | 2301M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7714 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.72%
3211.29/3221.36 c 3221s| 33900 | 11692 | 1992k| 55.6 | 2303M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7715 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.73%
3217.67/3227.79 c 3228s| 34000 | 11730 | 1997k| 55.6 | 2303M | 68 |1150 | 86k| 80k| 17k| 0 | 10k|7715 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.73%
3225.75/3235.85 c 3236s| 34100 | 11764 | 2002k| 55.6 | 2305M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7716 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.74%
3228.64/3238.77 c 3239s| 34200 | 11808 | 2006k| 55.6 | 2307M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7718 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3231.63/3241.78 c 3242s| 34300 | 11858 | 2012k| 55.6 | 2309M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7726 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3234.13/3244.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3234.13/3244.27 c 3244s| 34400 | 11916 | 2019k| 55.6 | 2310M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7726 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3236.32/3246.42 c 3246s| 34500 | 11963 | 2024k| 55.6 | 2311M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7732 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3239.02/3249.17 c 3249s| 34600 | 12013 | 2029k| 55.6 | 2312M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7740 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3245.69/3255.81 c 3256s| 34700 | 12053 | 2033k| 55.5 | 2314M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7744 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3248.28/3258.46 c 3258s| 34800 | 12121 | 2040k| 55.5 | 2315M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7744 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3249.78/3259.92 c 3260s| 34900 | 12153 | 2042k| 55.5 | 2317M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7744 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3252.67/3262.81 c 3263s| 35000 | 12213 | 2048k| 55.5 | 2319M | 68 |1150 | 86k| 80k| 17k| 0 | 10k|7745 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3254.36/3264.57 c 3265s| 35100 | 12247 | 2052k| 55.4 | 2319M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7747 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3257.15/3267.33 c 3267s| 35200 | 12283 | 2056k| 55.4 | 2320M | 68 |1150 | 86k| 80k| 17k| 0 | 10k|7747 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3264.63/3274.86 c 3275s| 35300 | 12325 | 2060k| 55.4 | 2321M | 68 |1150 | 86k| 80k| 17k| 2 | 10k|7747 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3269.22/3279.43 c 3279s| 35400 | 12347 | 2064k| 55.3 | 2321M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7747 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3274.92/3285.13 c 3285s| 35500 | 12387 | 2068k| 55.3 | 2322M | 68 |1150 | 86k| 80k| 17k| 1 | 10k|7747 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3278.81/3289.10 c 3289s| 35600 | 12421 | 2071k| 55.2 | 2323M | 68 |1150 | 86k| 80k| 18k| 0 | 10k|7747 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3294.66/3304.99 c 3305s| 35700 | 12455 | 2077k| 55.2 | 2323M | 68 |1150 | 86k| 80k| 18k| 1 | 10k|7747 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3296.86/3307.15 c 3307s| 35800 | 12491 | 2082k| 55.2 | 2324M | 68 |1150 | 86k| 80k| 18k| 1 | 10k|7750 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3303.93/3314.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3303.93/3314.28 c 3314s| 35900 | 12539 | 2087k| 55.2 | 2325M | 68 |1150 | 86k| 80k| 18k| 4 | 10k|7751 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3316.81/3327.17 c 3327s| 36000 | 12587 | 2092k| 55.2 | 2329M | 68 |1150 | 86k| 80k| 18k| 1 | 10k|7751 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3339.35/3349.71 c 3350s| 36100 | 12611 | 2097k| 55.1 | 2330M | 68 |1150 | 86k| 80k| 18k| 1 | 10k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3344.23/3354.67 c 3355s| 36200 | 12657 | 2101k| 55.1 | 2331M | 68 |1150 | 86k| 80k| 18k| 1 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3350.32/3360.73 c 3361s| 36300 | 12697 | 2105k| 55.1 | 2332M | 68 |1150 | 86k| 80k| 18k| 0 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3354.41/3364.83 c 3365s| 36400 | 12717 | 2107k| 55.0 | 2333M | 68 |1150 | 86k| 80k| 18k| 1 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3356.50/3366.99 c 3367s| 36500 | 12767 | 2111k| 54.9 | 2333M | 68 |1150 | 86k| 80k| 18k| 1 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3358.39/3368.82 c 3369s| 36600 | 12799 | 2115k| 54.9 | 2335M | 68 |1150 | 86k| 80k| 18k| 0 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3370.76/3381.27 c 3381s| 36700 | 12847 | 2120k| 54.9 | 2345M | 68 |1150 | 86k| 80k| 18k| 2 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3375.95/3386.44 c 3386s| 36800 | 12879 | 2124k| 54.9 | 2345M | 68 |1150 | 86k| 80k| 18k| 2 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3382.54/3393.02 c 3393s| 36900 | 12935 | 2131k| 54.9 | 2346M | 68 |1150 | 86k| 80k| 18k| 2 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3391.41/3401.95 c 3402s| 37000 | 12981 | 2135k| 54.8 | 2347M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3393.89/3404.43 c 3404s| 37100 | 13037 | 2139k| 54.8 | 2389M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3398.08/3408.65 c 3409s| 37200 | 13075 | 2144k| 54.8 | 2390M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3400.48/3411.08 c 3411s| 37300 | 13121 | 2149k| 54.8 | 2391M | 68 |1150 | 86k| 80k| 19k| 0 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3409.85/3420.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3409.85/3420.45 c 3420s| 37400 | 13153 | 2152k| 54.7 | 2391M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3432.41/3443.04 c 3443s| 37500 | 13171 | 2156k| 54.7 | 2392M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7752 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3434.50/3445.17 c 3445s| 37600 | 13213 | 2161k| 54.7 | 2393M | 68 |1150 | 86k| 80k| 19k| 0 | 11k|7753 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3436.98/3447.64 c 3448s| 37700 | 13257 | 2165k| 54.6 | 2473M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7753 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3442.07/3452.77 c 3453s| 37800 | 13283 | 2169k| 54.6 | 2473M | 68 |1150 | 86k| 80k| 19k| 0 | 11k|7754 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3445.26/3455.96 c 3456s| 37900 | 13313 | 2173k| 54.6 | 2474M | 68 |1150 | 86k| 80k| 19k| 0 | 11k|7755 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.75%
3451.94/3462.61 c 3463s| 38000 | 13339 | 2178k| 54.5 | 2474M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7755 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.76%
3459.23/3469.97 c 3470s| 38100 | 13369 | 2182k| 54.5 | 2475M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7755 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.77%
3461.33/3472.07 c 3472s| 38200 | 13399 | 2186k| 54.5 | 2476M | 68 |1150 | 86k| 80k| 19k| 0 | 11k|7757 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.77%
3467.42/3478.15 c 3478s| 38300 | 13431 | 2190k| 54.4 | 2476M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7758 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.77%
3469.99/3480.75 c 3481s| 38400 | 13485 | 2195k| 54.4 | 2479M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7758 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.77%
3472.98/3483.79 c 3484s| 38500 | 13549 | 2202k| 54.5 | 2482M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7759 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.77%
3475.18/3485.93 c 3486s| 38600 | 13597 | 2207k| 54.5 | 2483M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7759 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.77%
3477.57/3488.36 c 3488s| 38700 | 13641 | 2213k| 54.5 | 2485M | 68 |1150 | 86k| 80k| 19k| 0 | 11k|7759 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.77%
3480.56/3491.39 c 3491s| 38800 | 13685 | 2218k| 54.5 | 2486M | 68 |1150 | 86k| 80k| 19k| 0 | 11k|7759 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.77%
3482.75/3493.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3482.75/3493.52 c 3494s| 38900 | 13725 | 2223k| 54.5 | 2486M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7759 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.77%
3485.44/3496.23 c 3496s| 39000 | 13761 | 2229k| 54.5 | 2487M | 68 |1150 | 86k| 80k| 19k| 0 | 11k|7778 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.77%
3492.13/3502.98 c 3503s| 39100 | 13789 | 2234k| 54.4 | 2488M | 68 |1150 | 86k| 80k| 19k| 0 | 11k|7802 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.77%
3506.59/3517.42 c 3517s| 39200 | 13819 | 2239k| 54.4 | 2488M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7807 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.78%
3512.98/3523.89 c 3524s| 39300 | 13867 | 2244k| 54.4 | 2490M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7833 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.79%
3516.86/3527.70 c 3528s| 39400 | 13889 | 2248k| 54.4 | 2491M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7849 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.79%
3522.26/3533.17 c 3533s| 39500 | 13925 | 2252k| 54.4 | 2492M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7857 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.79%
3525.34/3536.26 c 3536s| 39600 | 13955 | 2257k| 54.3 | 2493M | 68 |1150 | 86k| 80k| 19k| 0 | 11k|7868 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.79%
3531.13/3542.09 c 3542s| 39700 | 13991 | 2262k| 54.3 | 2493M | 68 |1150 | 86k| 80k| 19k| 0 | 11k|7885 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.79%
3534.13/3545.01 c 3545s| 39800 | 14035 | 2266k| 54.3 | 2494M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7914 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.80%
3536.51/3547.46 c 3547s| 39900 | 14065 | 2271k| 54.3 | 2497M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7932 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.80%
3545.20/3556.14 c 3556s| 40000 | 14101 | 2275k| 54.3 | 2497M | 68 |1150 | 86k| 80k| 19k| 3 | 11k|7942 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.80%
3571.83/3582.89 c 3583s| 40100 | 14133 | 2280k| 54.3 | 2498M | 68 |1150 | 86k| 80k| 19k| 1 | 11k|7963 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.80%
3584.70/3595.79 c 3596s| 40200 | 14147 | 2285k| 54.2 | 2498M | 68 |1150 | 86k| 80k| 20k| 1 | 11k|7988 |-5.000000e+01 |-4.600000e+01 | 8.70%| 9.82%
3586.00/3597.02 c
3586.00/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3586.00/3597.02 c Solving Time (sec) : 3597.00
3586.00/3597.02 c Solving Nodes : 40218 (total of 41644 nodes in 2 runs)
3586.00/3597.02 c Primal Bound : -4.60000000000000e+01 (831 solutions)
3586.00/3597.02 c Dual Bound : -5.00000000000000e+01
3586.00/3597.02 c Gap : 8.70 %
3586.00/3597.03 s SATISFIABLE
3586.00/3597.03 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
3586.00/3597.03 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
3586.00/3597.03 v x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
3586.00/3597.03 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
3586.00/3597.03 v -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
3586.00/3597.03 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3586.00/3597.03 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166
3586.00/3597.03 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
3586.00/3597.03 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208
3586.00/3597.03 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
3586.00/3597.03 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250
3586.00/3597.03 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
3586.00/3597.03 v x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
3586.00/3597.03 v -x293 -x294 -x295 x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
3586.00/3597.03 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
3586.00/3597.03 v -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
3586.00/3597.03 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
3586.00/3597.03 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 x395 -x396 -x397
3586.00/3597.03 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
3586.00/3597.03 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438
3586.00/3597.03 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
3586.00/3597.03 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
3586.00/3597.03 v -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
3586.00/3597.03 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
3586.00/3597.03 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
3586.00/3597.03 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
3586.00/3597.03 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
3586.00/3597.03 v -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
3586.00/3597.03 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
3586.00/3597.03 v -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
3586.00/3597.03 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669
3586.00/3597.03 v -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
3586.00/3597.03 v -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
3586.00/3597.03 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
3586.00/3597.03 v x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
3586.00/3597.03 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774
3586.00/3597.03 v x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
3586.00/3597.03 v -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816
3586.00/3597.03 v x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
3586.00/3597.03 v x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858
3586.00/3597.03 v -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
3586.00/3597.03 v x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
3586.00/3597.03 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
3586.00/3597.03 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942
3586.00/3597.03 v -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963
3586.00/3597.03 v -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984
3586.00/3597.03 v -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004
3586.00/3597.03 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
3586.00/3597.03 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
3586.00/3597.03 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
3586.00/3597.03 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076
3586.00/3597.03 v -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094
3586.00/3597.03 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112
3586.00/3597.03 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
3586.00/3597.03 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148
3586.00/3597.03 v -x1149 -x1150
3586.00/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3586.00/3597.03 c Total Time : 3597.00
3586.00/3597.03 c solving : 3597.00
3586.00/3597.03 c presolving : 2.27 (included in solving)
3586.00/3597.03 c reading : 0.29 (included in solving)
3586.00/3597.03 c copying : 3.89 (42 #copies) (minimal 0.08, maximal 0.11, average 0.09)
3586.00/3597.03 c Original Problem :
3586.00/3597.03 c Problem name : HOME/instance-4484962-1751300857.opb
3586.00/3597.03 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.00/3597.03 c Constraints : 80035 initial, 80035 maximal
3586.00/3597.03 c Objective : minimize, 1150 non-zeros (abs.min = 1, abs.max = 1)
3586.00/3597.03 c Presolved Problem :
3586.00/3597.03 c Problem name : t_HOME/instance-4484962-1751300857.opb
3586.00/3597.03 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.00/3597.03 c Constraints : 80481 initial, 86878 maximal
3586.00/3597.03 c Objective : minimize, 1150 non-zeros (abs.min = 1, abs.max = 1)
3586.00/3597.03 c Nonzeros : 173067 constraint, 161636 clique table
3586.00/3597.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.00/3597.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c domcol : 0.06 0.00 2 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c dualsparsify : 0.55 0.00 1 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c gateextraction : 0.08 0.00 2 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c milp : 0.39 0.00 1 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c sparsify : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c probing : 0.36 0.00 1 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c knapsack : 0.00 0.00 3 0 0 0 0 0 1 2 2 9
3586.00/3597.03 c setppc : 0.20 0.01 9 0 0 0 0 0 1 0 0 0
3586.00/3597.03 c linear : 0.39 0.04 4 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c logicor : 0.04 0.00 5 0 0 0 0 0 20 0 0 4
3586.00/3597.03 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c root node : - - - 0 - - 0 - - - - -
3586.00/3597.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.00/3597.03 c benderslp : 0 0 0 0 31162 0 0 5035 0 0 0 0 0 0 0
3586.00/3597.03 c integral : 0 0 0 0 31162 0 0 5035 0 1 2138 0 0 4826 60328
3586.00/3597.03 c knapsack : 2+ 12 11 68036 0 0 0 0 0 2 4 0 0 0 0
3586.00/3597.03 c setppc : 80145 80145 50 155270 1 0 0 5029 503567 7 792457 0 0 0 0
3586.00/3597.03 c linear : 0+ 56 0 30167 0 0 0 2 10 12 19 0 0 0 0
3586.00/3597.03 c logicor : 334+ 6675 11 43730 0 0 0 0 251 255 490 0 0 0 0
3586.00/3597.03 c benders : 0 0 0 0 1 0 0 1192 0 0 0 0 0 0 0
3586.00/3597.03 c fixedvar : 0 0 0 0 1 0 0 1192 0 0 0 0 0 0 0
3586.00/3597.03 c countsols : 0 0 0 0 1 0 0 1192 0 0 0 0 0 0 0
3586.00/3597.03 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.00/3597.03 c benderslp : 0.02 0.00 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00
3586.00/3597.03 c integral : 337.17 0.00 0.00 0.00 337.14 0.00 0.00 0.03 0.00 0.00
3586.00/3597.03 c knapsack : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.01
3586.00/3597.03 c setppc : 21.80 0.01 0.17 14.50 0.00 0.00 0.00 3.04 0.11 3.98
3586.00/3597.03 c linear : 0.17 0.04 0.00 0.12 0.00 0.00 0.00 0.01 0.00 0.00
3586.00/3597.03 c logicor : 1.35 0.00 0.00 1.22 0.00 0.00 0.00 0.00 0.00 0.13
3586.00/3597.03 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.00/3597.03 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.00/3597.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.00/3597.03 c components : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.01
3586.00/3597.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.00/3597.03 c dualfix : 3 0 0 0
3586.00/3597.03 c genvbounds : 0 0 0 0
3586.00/3597.03 c nlobbt : 0 0 0 0
3586.00/3597.03 c obbt : 0 0 0 0
3586.00/3597.03 c probing : 0 0 0 0
3586.00/3597.03 c pseudoobj : 103217 0 0 0
3586.00/3597.03 c redcost : 1009 0 0 1
3586.00/3597.03 c rootredcost : 4 0 0 0
3586.00/3597.03 c symmetry : 0 0 0 0
3586.00/3597.03 c vbounds : 52580 0 0 0
3586.00/3597.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.00/3597.03 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.00/3597.03 c genvbounds : 0.05 0.00 0.00 0.04 0.00 0.01
3586.00/3597.03 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.00/3597.03 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.00/3597.03 c probing : 0.36 0.00 0.36 0.00 0.00 0.00
3586.00/3597.03 c pseudoobj : 6.38 0.00 0.00 6.37 0.00 0.00
3586.00/3597.03 c redcost : 0.10 0.00 0.00 0.10 0.00 0.00
3586.00/3597.03 c rootredcost : 0.05 0.00 0.00 0.05 0.00 0.01
3586.00/3597.03 c symmetry : 0.12 0.00 0.04 0.06 0.00 0.02
3586.00/3597.03 c vbounds : 0.12 0.00 0.01 0.10 0.00 0.02
3586.00/3597.03 c Symmetry :
3586.00/3597.03 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.00/3597.03 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.00/3597.03 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.00/3597.03 c shadow tree time : 0.00 s
3586.00/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.00/3597.03 c propagation : 0.00 276 159 - 349 61.9 0 0.0 - - -
3586.00/3597.03 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.00/3597.03 c bound exceed. LP : 11.33 3992 2079 - 30444 180.7 0 0.0 169 141.7 11114
3586.00/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.00/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.00/3597.03 c applied globally : 2.54 - - 0 11632 30.8 - - 169 - -
3586.00/3597.03 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.00/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.00/3597.03 c cut pool : 3.84 - 8749 98 - - 113683 177528 - - - - - (maximal pool size: 3732)
3586.00/3597.03 c aggregation : 12.23 0.00 2399 50 0 0 22 72 0 8 8 0 0
3586.00/3597.03 c > cmir : - - - - - - - 45 0 1 1 0 -
3586.00/3597.03 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.00/3597.03 c > knapsackcover : - - - - - - - 27 0 7 7 0 -
3586.00/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c clique : 0.43 0.00 50 50 0 0 447 1318 0 442 442 0 0
3586.00/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c gomory : 2115.48 0.00 2292 20 0 0 105562 148119 1006 7041 7030 11 0
3586.00/3597.03 c > gomorymi : - - - - - - - 51763 503 686 681 5 -
3586.00/3597.03 c > strongcg : - - - - - - - 96356 503 6355 6349 6 -
3586.00/3597.03 c impliedbounds : 2.85 0.00 2400 50 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c mcf : 0.06 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c multilinear : 0.00 0.00 515 50 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c rapidlearning : 2.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c rlt : 0.01 0.00 966 20 0 0 0 0 0 0 0 0 0
3586.00/3597.03 c zerohalf : 12.66 0.00 2303 31 0 0 8955 28019 297 14512 14390 122 0
3586.00/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.00/3597.03 c hybrid : 0.12 0.00 4435 50 22003 0 156828 762 0 3567
3586.00/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3586.00/3597.03 c problem variables: 0.00 - 0 0
3586.00/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.00/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c relpscost : 337.09 0.00 31161 0 0 1 2138 0 4879 60328
3586.00/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.00/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.00/3597.03 c LP solutions : 0.02 - - 1 1
3586.00/3597.03 c relax solutions : 0.00 - - 0 0
3586.00/3597.03 c pseudo solutions : 0.00 - - 0 0
3586.00/3597.03 c strong branching : 1.44 - - 324 1
3586.00/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3586.00/3597.03 c adaptivediving : 5.05 0.00 141 1 0
3586.00/3597.03 c alns : 1.90 0.00 6 0 0
3586.00/3597.03 c bound : 0.00 0.00 0 0 0
3586.00/3597.03 c clique : 0.18 0.00 1 1 1
3586.00/3597.03 c coefdiving : 0.00 0.00 0 0 0
3586.00/3597.03 c completesol : 0.00 0.00 0 0 0
3586.00/3597.03 c conflictdiving : 7.27 0.00 163 1 0
3586.00/3597.03 c crossover : 6.01 0.00 22 3 0
3586.00/3597.03 c dins : 0.00 0.00 0 0 0
3586.00/3597.03 c distributiondivin: 21.32 0.00 162 0 0
3586.00/3597.03 c dps : 0.00 0.00 0 0 0
3586.00/3597.03 c dualval : 0.00 0.00 0 0 0
3586.00/3597.03 c farkasdiving : 0.00 0.00 0 0 0
3586.00/3597.03 c feasjump : 0.00 0.00 0 0 0
3586.00/3597.03 c feaspump : 0.00 0.00 0 0 0
3586.00/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3586.00/3597.03 c fracdiving : 7.14 0.00 162 0 0
3586.00/3597.03 c gins : 0.15 0.00 0 0 0
3586.00/3597.03 c guideddiving : 6.23 0.00 162 0 0
3586.00/3597.03 c indcoefdiving : 0.00 0.00 0 0 0
3586.00/3597.03 c indicator : 0.02 0.00 0 0 0
3586.00/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3586.00/3597.03 c indoneopt : 0.03 0.00 0 0 0
3586.00/3597.03 c indrounding : 0.00 0.00 0 0 0
3586.00/3597.03 c indtwoopt : 0.00 0.00 0 0 0
3586.00/3597.03 c intdiving : 0.00 0.00 0 0 0
3586.00/3597.03 c intshifting : 0.00 0.00 0 0 0
3586.00/3597.03 c linesearchdiving : 6.97 0.00 162 1 1
3586.00/3597.03 c localbranching : 0.00 0.00 0 0 0
3586.00/3597.03 c locks : 0.06 0.00 1 1 1
3586.00/3597.03 c lpface : 0.05 0.00 0 0 0
3586.00/3597.03 c mpec : 0.00 0.00 0 0 0
3586.00/3597.03 c multistart : 0.00 0.00 0 0 0
3586.00/3597.03 c mutation : 0.00 0.00 0 0 0
3586.00/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3586.00/3597.03 c objpscostdiving : 19.21 0.00 82 156 0
3586.00/3597.03 c octane : 0.00 0.00 0 0 0
3586.00/3597.03 c ofins : 0.01 0.00 0 0 0
3586.00/3597.03 c oneopt : 0.07 0.00 8 0 0
3586.00/3597.03 c padm : 0.00 0.00 0 0 0
3586.00/3597.03 c proximity : 0.00 0.00 0 0 0
3586.00/3597.03 c pscostdiving : 10.60 0.00 162 16 4
3586.00/3597.03 c randrounding : 3.20 0.00 3929 40 0
3586.00/3597.03 c rens : 2.06 0.00 2 1 0
3586.00/3597.03 c reoptsols : 0.00 0.00 0 0 0
3586.00/3597.03 c repair : 0.00 0.00 0 0 0
3586.00/3597.03 c rins : 3.79 0.00 12 5 0
3586.00/3597.03 c rootsoldiving : 20.21 0.00 82 90 0
3586.00/3597.03 c rounding : 7.80 0.00 2602 0 0
3586.00/3597.03 c scheduler : 0.00 0.00 0 0 0
3586.00/3597.03 c shiftandpropagate: 0.00 0.00 0 0 0
3586.00/3597.03 c shifting : 4.39 0.00 1201 0 0
3586.00/3597.03 c simplerounding : 0.53 0.00 35594 28 0
3586.00/3597.03 c smallcard : 0.00 0.00 0 0 0
3586.00/3597.03 c subnlp : 0.05 0.00 0 0 0
3586.00/3597.03 c trivial : 0.01 0.00 4 1 1
3586.00/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3586.00/3597.03 c trustregion : 0.00 0.00 0 0 0
3586.00/3597.03 c trysol : 0.02 0.00 0 0 0
3586.00/3597.03 c twoopt : 0.00 0.00 0 0 0
3586.00/3597.03 c undercover : 0.00 0.00 0 0 0
3586.00/3597.03 c vbounds : 0.30 0.00 2 2 1
3586.00/3597.03 c veclendiving : 6.11 0.00 162 0 0
3586.00/3597.03 c zeroobj : 0.00 0.00 0 0 0
3586.00/3597.03 c zirounding : 25.19 0.00 7951 159 0
3586.00/3597.03 c other solutions : - - - 0 -
3586.00/3597.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.00/3597.03 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.00/3597.03 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.00/3597.03 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.00/3597.03 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.00/3597.03 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.00/3597.03 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.00/3597.03 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.00/3597.03 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.00/3597.03 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.00/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.00/3597.03 c primal LP : 12.73 2325 0 0.00 0.00 12.73 2325
3586.00/3597.03 c dual LP : 595.31 47054 2023757 43.10 3399.48 0.70 100
3586.00/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3586.00/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.00/3597.03 c resolve instable : 0.00 0 0 0.00 -
3586.00/3597.03 c diving/probing LP: 93.00 7901 261984 33.16 2817.03
3586.00/3597.03 c strong branching : 161.33 7993 505953 63.30 3136.04 - - 1900
3586.00/3597.03 c (at root node) : - 43 4562 106.09 -
3586.00/3597.03 c conflict analysis: 4.80 1122 11114 9.91 2317.78
3586.00/3597.03 c B&B Tree :
3586.00/3597.03 c number of runs : 2
3586.00/3597.03 c nodes : 40218 (28806 internal, 11412 leaves)
3586.00/3597.03 c feasible leaves : 1
3586.00/3597.03 c infeas. leaves : 21
3586.00/3597.03 c objective leaves : 11389
3586.00/3597.03 c nodes (total) : 41644 (30164 internal, 11480 leaves)
3586.00/3597.03 c nodes left : 14152
3586.00/3597.03 c max depth : 68
3586.00/3597.03 c max depth (total): 68
3586.00/3597.03 c backtracks : 5239 (13.0%)
3586.00/3597.03 c early backtracks : 0 (0.0%)
3586.00/3597.03 c nodes exc. ref. : 0 (0.0%)
3586.00/3597.03 c delayed cutoffs : 7
3586.00/3597.03 c repropagations : 366 (433 domain reductions, 7 cutoffs)
3586.00/3597.03 c avg switch length: 5.05
3586.00/3597.03 c switching time : 68.22
3586.00/3597.03 c Root Node :
3586.00/3597.03 c First LP value : -5.75000000000000e+02
3586.00/3597.03 c First LP Iters : 1150 (2638.65 Iter/sec)
3586.00/3597.03 c First LP Time : 0.44
3586.00/3597.03 c Final Dual Bound : -5.00000000000000e+01
3586.00/3597.03 c Final Root Iters : 27853
3586.00/3597.03 c Root LP Estimate : -4.43950340656636e+01
3586.00/3597.03 c Solution :
3586.00/3597.03 c Solutions found : 831 (11 improvements)
3586.00/3597.03 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.47 seconds, depth 0, found by <trivial>)
3586.00/3597.03 c Gap First Sol. : infinite
3586.00/3597.03 c Gap Last Sol. : 8.70 %
3586.00/3597.03 c Primal Bound : -4.60000000000000e+01 (in run 2, after 14882 nodes, 1865.83 seconds, depth 40, found by <relaxation>)
3586.00/3597.03 c Dual Bound : -5.00000000000000e+01
3586.00/3597.03 c Gap : 8.70 %
3586.00/3597.03 c Integrals : Total Avg%
3586.00/3597.03 c primal-dual : 39438.96 10.96
3586.00/3597.03 c primal-ref : - - (not evaluated)
3586.00/3597.03 c dual-ref : - - (not evaluated)
3586.29/3597.32 c Time complete: 3586.31.
OK -46
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: 63794 MiB (59544 MiB free)
memory of node 1: 64507 MiB (62155 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484962-1751300857/watcher-4484962-1751300857 -o /tmp/evaluation-result-4484962-1751300857/solver-4484962-1751300857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751293853-42124 --watchdog 3760 pbscip -f HOME/instance-4484962-1751300857.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=43535, runsolver pid=43532
Current StackSize limit: 8192 KiB
[startup+0.10008 s]*
/proc/loadavg: 4.13 4.18 4.18 5/253 43536
/proc/meminfo: memFree=124600380/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=59512 memory=31872 CPUtime=0.09 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 5058 0 0 0 8 1 0 0 20 0 1 0 45765403 60940288 7968 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 14878 7968 3232 3530 0 6329 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59512 KiB
Current children cumulated memory: 31872 KiB
[startup+0.212927 s]*
/proc/loadavg: 4.13 4.18 4.18 5/253 43536
/proc/meminfo: memFree=124584252/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=74052 memory=46208 CPUtime=0.21 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 8621 0 0 0 18 3 0 0 20 0 1 0 45765403 75829248 11552 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 18513 11552 3232 3530 0 9964 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 74052 KiB
Current children cumulated memory: 46208 KiB
[startup+0.313021 s]*
/proc/loadavg: 4.13 4.18 4.18 5/253 43536
/proc/meminfo: memFree=124568124/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=87524 memory=61352 CPUtime=0.31 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 12488 0 0 0 27 4 0 0 20 0 1 0 45765403 89624576 15338 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 21881 15338 3552 3530 0 13332 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 87524 KiB
Current children cumulated memory: 61352 KiB
[startup+0.700308 s]
/proc/loadavg: 4.13 4.18 4.18 5/253 43536
/proc/meminfo: memFree=124511928/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=149828 memory=122408 CPUtime=0.68 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 27734 0 0 0 59 9 0 0 20 0 1 0 45765403 153423872 30602 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 37457 30602 3584 3530 0 28908 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 149828 KiB
Current children cumulated memory: 122408 KiB
[startup+1.50033 s]
/proc/loadavg: 4.13 4.18 4.18 5/253 43536
/proc/meminfo: memFree=124467512/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=178164 memory=150252 CPUtime=1.48 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 46906 0 0 0 135 13 0 0 20 0 1 0 45765403 182439936 37563 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 44541 37563 3712 3530 0 35992 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 178164 KiB
Current children cumulated memory: 150252 KiB
[startup+3.11328 s]
/proc/loadavg: 4.12 4.18 4.18 5/253 43536
/proc/meminfo: memFree=124208924/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=480628 memory=419384 CPUtime=3.09 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 80381 0 0 0 287 22 0 0 20 0 1 0 45765403 492163072 104846 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 120157 104846 3936 3530 0 111608 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 480628 KiB
Current children cumulated memory: 419384 KiB
[startup+6.30029 s]
/proc/loadavg: 4.12 4.18 4.18 5/253 43536
/proc/meminfo: memFree=124167844/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=529636 memory=449792 CPUtime=6.26 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 86980 0 0 0 603 23 0 0 20 0 1 0 45765403 542347264 112448 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 132409 112448 3968 3530 0 123860 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 529636 KiB
Current children cumulated memory: 449792 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.18 4.17 5/253 43536
/proc/meminfo: memFree=124125884/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=538396 memory=449792 CPUtime=12.65 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 86991 0 0 0 1242 23 0 0 20 0 1 0 45765403 551317504 112448 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 134599 112448 3968 3530 0 126050 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 538396 KiB
Current children cumulated memory: 449792 KiB
[startup+25.5003 s]
/proc/loadavg: 4.23 4.20 4.18 5/253 43536
/proc/meminfo: memFree=124090012/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=678696 memory=469760 CPUtime=25.41 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 91972 0 0 0 2517 24 0 0 20 0 1 0 45765403 694984704 117440 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 169674 117440 3968 3530 0 161125 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 678696 KiB
Current children cumulated memory: 469760 KiB
[startup+51.1131 s]
/proc/loadavg: 4.15 4.18 4.18 5/253 43537
/proc/meminfo: memFree=123966712/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=799808 memory=564608 CPUtime=50.94 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 115694 0 0 0 5066 28 0 0 20 0 1 0 45765403 819003392 141152 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 199952 141152 3968 3530 0 191403 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 799808 KiB
Current children cumulated memory: 564608 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/252 43538
/proc/meminfo: memFree=123942800/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=838588 memory=565888 CPUtime=101.98 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 116104 0 0 0 10170 28 0 0 20 0 1 0 45765403 858714112 141472 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 209647 141472 3968 3530 0 201098 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 838588 KiB
Current children cumulated memory: 565888 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/253 43541
/proc/meminfo: memFree=123799932/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=912848 memory=639520 CPUtime=161.79 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 146254 0 0 0 16146 33 0 0 20 0 1 0 45765403 934756352 159880 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 228212 159880 3968 3530 0 219663 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 912848 KiB
Current children cumulated memory: 639520 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/252 43590
/proc/meminfo: memFree=125555352/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=944176 memory=657220 CPUtime=221.59 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 150167 0 0 0 22123 36 0 0 20 0 1 0 45765403 966836224 164305 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 236044 164305 3968 3530 0 227495 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 944176 KiB
Current children cumulated memory: 657220 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.12 4.16 5/252 43592
/proc/meminfo: memFree=125352172/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=1027236 memory=730088 CPUtime=281.41 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 162382 0 0 0 28103 38 0 0 20 0 1 0 45765403 1051889664 182522 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 256809 182522 3968 3530 0 248260 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1027236 KiB
Current children cumulated memory: 730088 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.11 4.15 5/251 43594
/proc/meminfo: memFree=125198112/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=1040532 memory=741588 CPUtime=341.23 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 164338 0 0 0 34085 38 0 0 20 0 1 0 45765403 1065504768 185397 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 260133 185397 3968 3530 0 251584 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 1040532 KiB
Current children cumulated memory: 741588 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/252 43641
/proc/meminfo: memFree=126762240/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=1167284 memory=817256 CPUtime=401.03 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 176636 0 0 0 40062 41 0 0 20 0 1 0 45765403 1195298816 204314 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 291821 204314 3968 3530 0 283272 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 1167284 KiB
Current children cumulated memory: 817256 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.13 4.15 5/252 43645
/proc/meminfo: memFree=126649920/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=1228448 memory=832096 CPUtime=460.86 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 177793 0 0 0 46044 42 0 0 20 0 1 0 45765403 1257930752 208024 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 307112 208024 3968 3530 0 298563 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
/proc/loadavg: 3.69 4.03 4.12 4/244 43863
/proc/meminfo: memFree=125366116/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2365700 memory=1973896 CPUtime=3212.29 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 371676 0 0 0 321147 82 0 0 20 0 1 0 45765403 2422476800 493474 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 591425 493474 4128 3530 0 582876 0
Current children cumulated CPU time: 3212.29 s
Current children cumulated vsize: 2365700 KiB
Current children cumulated memory: 1973896 KiB
[startup+3282.3 s]
/proc/loadavg: 3.30 3.85 4.05 4/246 43867
/proc/meminfo: memFree=125159232/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2442184 memory=2072200 CPUtime=3272.12 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 390653 0 0 0 327127 85 0 0 20 0 1 0 45765403 2500796416 518050 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 610546 518050 4128 3530 0 601997 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 2442184 KiB
Current children cumulated memory: 2072200 KiB
[startup+3342.3 s]
/proc/loadavg: 3.23 3.73 4.00 4/245 43869
/proc/meminfo: memFree=125145368/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2442184 memory=2079900 CPUtime=3331.96 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 391023 0 0 0 333111 85 0 0 20 0 1 0 45765403 2500796416 519975 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 610546 519975 4128 3530 0 601997 0
Current children cumulated CPU time: 3331.96 s
Current children cumulated vsize: 2442184 KiB
Current children cumulated memory: 2079900 KiB
[startup+3402.3 s]
/proc/loadavg: 3.08 3.59 3.93 4/246 43872
/proc/meminfo: memFree=125085548/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2451888 memory=2090420 CPUtime=3391.81 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 401223 0 0 0 339094 87 0 0 20 0 1 0 45765403 2510733312 522605 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 612972 522605 4128 3530 0 604423 0
Current children cumulated CPU time: 3391.81 s
Current children cumulated vsize: 2451888 KiB
Current children cumulated memory: 2090420 KiB
[startup+3462.3 s]
/proc/loadavg: 3.07 3.50 3.88 4/246 43874
/proc/meminfo: memFree=125048184/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2537392 memory=2089096 CPUtime=3451.64 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 405844 0 0 0 345076 88 0 0 20 0 1 0 45765403 2598289408 522274 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 634348 522274 4128 3530 0 625799 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 2537392 KiB
Current children cumulated memory: 2089096 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.43 3.83 4/246 43878
/proc/meminfo: memFree=125028772/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2538644 memory=2097672 CPUtime=3511.48 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 405940 0 0 0 351060 88 0 0 20 0 1 0 45765403 2599571456 524418 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 634661 524418 4128 3530 0 626112 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 2538644 KiB
Current children cumulated memory: 2097672 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.37 3.78 4/244 43884
/proc/meminfo: memFree=124941608/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2545820 memory=2105908 CPUtime=3571.33 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 407496 0 0 0 357044 89 0 0 20 0 1 0 45765403 2606919680 526477 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 636455 526477 4128 3530 0 627906 0
Current children cumulated CPU time: 3571.33 s
Current children cumulated vsize: 2545820 KiB
Current children cumulated memory: 2105908 KiB
[startup+3597.33 s]
# the end of solver process 43535 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.42 s, system=0.911249 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.09 3.36 3.78 4/244 43884
/proc/meminfo: memFree=124941860/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2545820 memory=2106036 CPUtime=3573.04 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 407538 0 0 0 357215 89 0 0 20 0 1 0 45765403 2606919680 526509 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 636455 526509 4128 3530 0 627906 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 2545820 KiB
Current children cumulated memory: 2106036 KiB
[startup+3590.4 s]
/proc/loadavg: 3.08 3.36 3.77 4/244 43884
/proc/meminfo: memFree=124937772/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2545820 memory=2106164 CPUtime=3579.41 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 407555 0 0 0 357852 89 0 0 20 0 1 0 45765403 2606919680 526541 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 636455 526541 4128 3530 0 627906 0
Current children cumulated CPU time: 3579.41 s
Current children cumulated vsize: 2545820 KiB
Current children cumulated memory: 2106164 KiB
[startup+3593.6 s]
/proc/loadavg: 3.08 3.36 3.77 4/244 43884
/proc/meminfo: memFree=124933676/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2545820 memory=2106164 CPUtime=3582.6 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 407576 0 0 0 358171 89 0 0 20 0 1 0 45765403 2606919680 526541 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 636455 526541 4128 3530 0 627906 0
Current children cumulated CPU time: 3582.6 s
Current children cumulated vsize: 2545820 KiB
Current children cumulated memory: 2106164 KiB
[startup+3595.2 s]
/proc/loadavg: 3.07 3.35 3.77 4/244 43884
/proc/meminfo: memFree=124933928/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2545820 memory=2106164 CPUtime=3584.2 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 407576 0 0 0 358331 89 0 0 20 0 1 0 45765403 2606919680 526541 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 636455 526541 4128 3530 0 627906 0
Current children cumulated CPU time: 3584.2 s
Current children cumulated vsize: 2545820 KiB
Current children cumulated memory: 2106164 KiB
[startup+3596 s]*
/proc/loadavg: 3.07 3.35 3.77 4/244 43884
/proc/meminfo: memFree=124933928/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2545820 memory=2106292 CPUtime=3585.01 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 407591 0 0 0 358412 89 0 0 20 0 1 0 45765403 2606919680 526573 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 636455 526573 4128 3530 0 627906 0
Current children cumulated CPU time: 3585.01 s
Current children cumulated vsize: 2545820 KiB
Current children cumulated memory: 2106292 KiB
[startup+3596.8 s]
/proc/loadavg: 3.07 3.35 3.77 4/244 43884
/proc/meminfo: memFree=124933928/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2545820 memory=2106292 CPUtime=3585.79 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 407599 0 0 0 358490 89 0 0 20 0 1 0 45765403 2606919680 526573 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 636455 526573 4128 3530 0 627906 0
Current children cumulated CPU time: 3585.79 s
Current children cumulated vsize: 2545820 KiB
Current children cumulated memory: 2106292 KiB
[startup+3597.2 s]
/proc/loadavg: 3.07 3.35 3.77 4/244 43884
/proc/meminfo: memFree=124933928/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2545820 memory=2106292 CPUtime=3586.19 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 407633 0 0 0 358530 89 0 0 20 0 1 0 45765403 2606919680 526573 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 636455 526573 4128 3530 0 627906 0
Current children cumulated CPU time: 3586.19 s
Current children cumulated vsize: 2545820 KiB
Current children cumulated memory: 2106292 KiB
[startup+3597.3 s]
/proc/loadavg: 3.07 3.35 3.77 4/244 43884
/proc/meminfo: memFree=124933928/131382116 swapFree=33010684/33010684
[pid=43535] ppid=43532 vsize=2517380 memory=2078080 CPUtime=3586.29 cores=1,3
/proc/43535/stat : 43535 (pbscip) R 43532 43535 42112 0 -1 4194304 407637 0 0 0 358540 89 0 0 20 0 1 0 45765403 2577797120 519520 18446744073709551615 4235264 18693293 140736026847488 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48713728 140736026855817 140736026855916 140736026855916 140736026861518 0
/proc/43535/statm: 629345 519520 4128 3530 0 620796 0
Current children cumulated CPU time: 3586.29 s
Current children cumulated vsize: 2517380 KiB
Current children cumulated memory: 2078080 KiB
Child status: 0
Real time (s): 3597.33
CPU time (s): 3586.33
CPU user time (s): 3585.42
CPU system time (s): 0.911249
CPU usage (%): 99.6942
Max. virtual memory (cumulated for all children) (KiB): 2545820
Max. memory (cumulated for all children) (KiB): 2120604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.42
system time used= 0.911249
maximum resident set size= 2120604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407646
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= 164
involuntary context switches= 1926
# summary of solver processes directly reported to runsolver:
# pid: 43535
# total CPU time (s): 3586.33
# total CPU user time (s): 3585.42
# total CPU system time (s): 0.911249
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7474 second user time and 34.1494 second system time
The end
Begin job on nodeC011 at 2025-06-30 18:27:37 IDJOB=4484962 IDBENCH=146676 IDSOLVER=3365 FILE ID=nodeC011/4484962-1751300857 RUNJOBID= nodeC011-1751293853-42124 SLURM_JOB_ID= 9594269 Free space on /tmp= 432992 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484962-1751300857/watcher-4484962-1751300857 -o /tmp/evaluation-result-4484962-1751300857/solver-4484962-1751300857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751293853-42124 --watchdog 3760 pbscip -f HOME/instance-4484962-1751300857.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f240478745515edc7850a10c9aa5c21f RANDOM SEED=1819167380 nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.683 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1496.808 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.309 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3658.753 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.837 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.400 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.889 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 124620352 kB MemAvailable: 124545752 kB Buffers: 3280 kB Cached: 733672 kB SwapCached: 0 kB Active: 5753348 kB Inactive: 434800 kB Active(anon): 5469156 kB Inactive(anon): 0 kB Active(file): 284192 kB Inactive(file): 434800 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20596 kB Writeback: 0 kB AnonPages: 5449216 kB Mapped: 138208 kB Shmem: 17960 kB KReclaimable: 91688 kB Slab: 172464 kB SReclaimable: 91688 kB SUnreclaim: 80776 kB KernelStack: 4080 kB PageTables: 14600 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 7708776 kB VmallocTotal: 34359738367 kB VmallocUsed: 149448 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2727936 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: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432996 MiB End job on nodeC011 at 2025-06-30 19:27:34