Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed | SAT | -27 | 1796.75 | 1797.04 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_3.opb |
| MD5SUM | 4ec3492215da9d1ca4e43111c42870de |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -28 |
| Best CPU time to get the best result obtained on this benchmark | 1797.3 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -29 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 301 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| Number of terms in the objective function | 100 |
| 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 | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2488 |
| Sum of products size (including duplicates) | 4976 |
| Number of different products | 1244 |
| Sum of products size | 2488 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3693741-1338037071.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.00/0.06 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10152 impls, 200 clqs
0.09/0.11 c (0.1s) probing: 51/1444 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.11 c presolving (2 rounds):
0.09/0.11 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 10152 implications, 200 cliques
0.09/0.11 c presolved problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1545 constraints
0.09/0.11 c 300 constraints of type <setppc>
0.09/0.11 c 1244 constraints of type <and>
0.09/0.11 c 1 constraints of type <linear>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.11
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 2.1.1.4
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1797
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 13950
0.09/0.11 c
0.09/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11 c # [type: int, range: [1,2], default: 1]
0.09/0.11 c timing/clocktype = 2
0.09/0.11 c
0.09/0.11 c # belongs reading time to solving time?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c timing/reading = TRUE
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.29/0.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.32 c t 0.3s| 1 | 0 | 1365 | - |6437k| 0 | 799 |1444 |1545 |1444 |2789 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | Inf
0.29/0.32 o -7
0.29/0.32 c s 0.3s| 1 | 0 | 1365 | - |6489k| 0 | 799 |1444 |1545 |1444 |2789 | 0 | 0 | 0 |-5.000000e+01 |-7.000000e+00 | 614.29%
1.29/1.30 c 1.3s| 1 | 0 | 1560 | - |8042k| 0 | 802 |1444 |1547 |1444 |2821 | 32 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 614.29%
2.19/2.23 c 2.2s| 1 | 0 | 1709 | - |9456k| 0 | 803 |1444 |1547 |1444 |2826 | 37 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 614.29%
3.19/3.25 c 3.3s| 1 | 0 | 1980 | - | 10M| 0 | 796 |1444 |1547 |1444 |2830 | 41 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 614.29%
4.19/4.28 c 4.3s| 1 | 0 | 2264 | - | 13M| 0 | 789 |1444 |1547 |1444 |2840 | 51 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 614.29%
5.19/5.25 c 5.2s| 1 | 0 | 2354 | - | 15M| 0 | 806 |1444 |1547 |1444 |2848 | 59 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 614.29%
6.19/6.24 c 6.2s| 1 | 0 | 2474 | - | 16M| 0 | 811 |1444 |1547 |1444 |2857 | 68 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 614.29%
13.19/13.29 c 13.3s| 1 | 2 | 2474 | - | 16M| 0 | 811 |1444 |1547 |1444 |2857 | 68 | 1 | 27 |-5.000000e+01 |-7.000000e+00 | 614.29%
40.89/40.92 o -13
40.89/40.92 c R40.9s| 44 | 43 | 67860 |1520.6 | 16M| 19 | 216 |1444 |1547 |1444 |1561 |1617 | 1 | 218 |-5.000000e+01 |-1.300000e+01 | 284.62%
41.09/41.16 o -21
41.09/41.16 c R41.2s| 62 | 61 | 69549 |1099.6 | 16M| 37 | 27 |1444 |1547 |1444 |1592 |1659 | 1 | 218 |-5.000000e+01 |-2.100000e+01 | 138.10%
41.18/41.22 c 41.2s| 100 | 69 | 69850 | 680.6 | 16M| 47 | 13 |1444 |1551 |1444 |1592 |1664 | 5 | 218 |-5.000000e+01 |-2.100000e+01 | 138.10%
41.28/41.30 o -22
41.28/41.30 c *41.3s| 145 | 66 | 70293 | 471.0 | 16M| 47 | - |1444 |1555 |1444 |1594 |1674 | 9 | 218 |-5.000000e+01 |-2.200000e+01 | 127.27%
41.38/41.46 c 41.5s| 200 | 61 | 71335 | 346.0 | 16M| 47 | 105 |1444 |1558 |1444 |1586 |1687 | 12 | 218 |-5.000000e+01 |-2.200000e+01 | 127.27%
54.48/54.52 c 54.5s| 300 | 81 |141032 | 463.4 | 16M| 47 | - |1444 |1559 |1444 |1587 |3015 | 13 | 283 |-4.966665e+01 |-2.200000e+01 | 125.76%
54.48/54.53 o -23
54.48/54.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.48/54.53 c R54.5s| 304 | 64 |141041 | 457.3 | 16M| 47 | - |1444 |1559 |1444 |1588 |3016 | 13 | 283 |-4.966665e+01 |-2.300000e+01 | 115.94%
54.98/55.01 c 55.0s| 400 | 86 |145335 | 358.0 | 16M| 47 | - |1444 |1563 |1444 |1583 |3027 | 17 | 283 |-4.966665e+01 |-2.300000e+01 | 115.94%
68.19/68.23 c 68.2s| 500 | 90 |209682 | 415.2 | 16M| 47 | 128 |1444 |1589 |1444 |1586 |3837 | 43 | 364 |-4.927817e+01 |-2.300000e+01 | 114.25%
83.88/83.98 c 84.0s| 600 | 120 |312529 | 517.6 | 16M| 47 | - |1444 |1591 |1444 |1587 |4836 | 45 | 403 |-4.846324e+01 |-2.300000e+01 | 110.71%
94.58/94.66 c 94.7s| 700 | 134 |382276 | 543.4 | 16M| 47 | 99 |1444 |1596 |1444 |1587 |5490 | 50 | 433 |-4.786034e+01 |-2.300000e+01 | 108.09%
109.98/110.04 c 110s| 800 | 131 |467936 | 582.6 | 16M| 47 | 110 |1444 |1601 |1444 |1591 |6275 | 55 | 505 |-4.732445e+01 |-2.300000e+01 | 105.76%
112.67/112.77 c 113s| 900 | 146 |488005 | 540.1 | 16M| 47 | 79 |1444 |1609 |1444 |1588 |6599 | 63 | 505 |-4.719234e+01 |-2.300000e+01 | 105.18%
115.27/115.40 c 115s| 1000 | 158 |505652 | 503.7 | 16M| 47 | - |1444 |1615 |1444 |1588 |6689 | 69 | 506 |-4.706123e+01 |-2.300000e+01 | 104.61%
115.47/115.55 c 116s| 1100 | 158 |506536 | 458.7 | 16M| 47 | - |1444 |1617 |1444 |1590 |6700 | 71 | 506 |-4.706123e+01 |-2.300000e+01 | 104.61%
122.87/122.96 c 123s| 1200 | 162 |564095 | 468.4 | 16M| 47 | 55 |1444 |1618 |1444 |1588 |7294 | 72 | 506 |-4.667322e+01 |-2.300000e+01 | 102.93%
124.87/124.93 o -25
124.87/124.93 c l 125s| 1255 | 155 |577010 | 458.2 | 17M| 47 | - |1444 |1632 |1444 |1632 |7414 | 86 | 506 |-4.662270e+01 |-2.500000e+01 | 86.49%
134.77/134.89 c 135s| 1300 | 180 |637881 | 489.2 | 16M| 47 | - |1444 |1632 |1444 |1580 |7958 | 86 | 547 |-4.657582e+01 |-2.500000e+01 | 86.30%
141.27/141.39 c 141s| 1400 | 192 |675140 | 480.8 | 16M| 47 | 149 |1444 |1634 |1444 |1582 |8257 | 88 | 579 |-4.644695e+01 |-2.500000e+01 | 85.79%
145.27/145.35 c 145s| 1500 | 202 |701786 | 466.5 | 17M| 47 | 118 |1444 |1635 |1444 |1587 |8468 | 89 | 579 |-4.640613e+01 |-2.500000e+01 | 85.62%
145.67/145.76 c 146s| 1600 | 198 |704482 | 439.0 | 17M| 47 | 143 |1444 |1637 |1444 |1582 |8497 | 91 | 579 |-4.640613e+01 |-2.500000e+01 | 85.62%
152.47/152.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.47/152.56 c 153s| 1700 | 209 |753461 | 442.0 | 16M| 47 | - |1444 |1637 |1444 |1573 |8906 | 91 | 579 |-4.633362e+01 |-2.500000e+01 | 85.33%
155.26/155.37 c 155s| 1800 | 221 |772821 | 428.2 | 17M| 47 | - |1444 |1640 |1444 |1572 |9096 | 94 | 579 |-4.621943e+01 |-2.500000e+01 | 84.88%
155.97/156.02 c 156s| 1900 | 219 |776953 | 407.8 | 17M| 47 | 200 |1444 |1640 |1444 |1567 |9183 | 94 | 579 |-4.621943e+01 |-2.500000e+01 | 84.88%
163.36/163.41 c 163s| 2000 | 243 |824147 | 411.0 | 17M| 47 | 161 |1444 |1644 |1444 |1577 |9599 | 99 | 602 |-4.617839e+01 |-2.500000e+01 | 84.71%
168.96/169.07 c 169s| 2100 | 247 |856122 | 406.7 | 17M| 47 | 148 |1444 |1647 |1444 |1572 |9872 | 102 | 634 |-4.613951e+01 |-2.500000e+01 | 84.56%
172.57/172.68 c 173s| 2200 | 251 |876824 | 397.6 | 17M| 47 | 192 |1444 |1647 |1444 |1564 | 10k| 102 | 653 |-4.613605e+01 |-2.500000e+01 | 84.54%
175.86/175.96 c 176s| 2300 | 269 |900676 | 390.7 | 17M| 47 | 132 |1444 |1647 |1444 |1583 | 10k| 102 | 664 |-4.599034e+01 |-2.500000e+01 | 83.96%
178.06/178.10 c 178s| 2400 | 267 |916169 | 380.9 | 17M| 47 | - |1444 |1650 |1444 |1581 | 10k| 105 | 664 |-4.598899e+01 |-2.500000e+01 | 83.96%
180.66/180.75 c 181s| 2500 | 267 |935812 | 373.5 | 17M| 47 | - |1444 |1650 |1444 |1569 | 10k| 105 | 664 |-4.597920e+01 |-2.500000e+01 | 83.92%
186.75/186.86 c 187s| 2600 | 279 |978607 | 375.6 | 17M| 47 | - |1444 |1655 |1444 |1574 | 11k| 110 | 664 |-4.592534e+01 |-2.500000e+01 | 83.70%
192.15/192.22 c 192s| 2700 | 291 | 1016k| 375.8 | 17M| 47 | 146 |1444 |1654 |1444 |1577 | 11k| 110 | 664 |-4.590273e+01 |-2.500000e+01 | 83.61%
194.75/194.88 c 195s| 2800 | 293 | 1033k| 368.3 | 17M| 47 | 166 |1444 |1655 |1444 |1570 | 11k| 111 | 675 |-4.580923e+01 |-2.500000e+01 | 83.24%
196.75/196.86 o -26
196.75/196.86 c l 197s| 2825 | 291 | 1043k| 368.7 | 17M| 47 | - |1444 |1656 |1444 |1582 | 11k| 112 | 687 |-4.577435e+01 |-2.600000e+01 | 76.06%
207.64/207.75 c 208s| 2900 | 334 | 1109k| 381.8 | 17M| 47 | 174 |1444 |1656 |1444 |1639 | 12k| 112 | 731 |-4.569272e+01 |-2.600000e+01 | 75.74%
208.25/208.30 c 208s| 3000 | 352 | 1112k| 370.2 | 17M| 47 | 188 |1444 |1659 |1444 |1628 | 12k| 115 | 731 |-4.569272e+01 |-2.600000e+01 | 75.74%
214.15/214.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.15/214.28 c 214s| 3100 | 374 | 1155k| 371.9 | 17M| 50 | - |1444 |1663 |1444 |1638 | 12k| 119 | 733 |-4.567100e+01 |-2.600000e+01 | 75.66%
219.05/219.16 c 219s| 3200 | 394 | 1189k| 371.1 | 17M| 50 | - |1444 |1663 |1444 |1633 | 12k| 119 | 733 |-4.560052e+01 |-2.600000e+01 | 75.39%
220.65/220.79 c 221s| 3300 | 392 | 1200k| 363.1 | 17M| 50 | 129 |1444 |1663 |1444 |1629 | 12k| 119 | 734 |-4.559325e+01 |-2.600000e+01 | 75.36%
224.65/224.75 c 225s| 3400 | 410 | 1226k| 360.2 | 17M| 50 | - |1444 |1664 |1444 |1630 | 13k| 120 | 734 |-4.549904e+01 |-2.600000e+01 | 75.00%
229.35/229.48 c 229s| 3500 | 418 | 1261k| 359.8 | 17M| 50 | - |1444 |1665 |1444 |1634 | 13k| 121 | 734 |-4.545993e+01 |-2.600000e+01 | 74.85%
236.35/236.44 c 236s| 3600 | 432 | 1300k| 360.7 | 17M| 50 | 146 |1444 |1667 |1444 |1636 | 13k| 128 | 765 |-4.543467e+01 |-2.600000e+01 | 74.75%
243.55/243.66 c 244s| 3700 | 442 | 1347k| 363.7 | 17M| 50 | 160 |1444 |1659 |1444 |1638 | 14k| 129 | 783 |-4.537357e+01 |-2.600000e+01 | 74.51%
246.14/246.27 c 246s| 3800 | 446 | 1368k| 359.5 | 17M| 50 | 198 |1444 |1662 |1444 |1629 | 14k| 133 | 783 |-4.537207e+01 |-2.600000e+01 | 74.51%
250.95/251.02 c 251s| 3900 | 468 | 1401k| 358.8 | 17M| 50 | 140 |1444 |1659 |1444 |1634 | 14k| 133 | 784 |-4.530250e+01 |-2.600000e+01 | 74.24%
254.64/254.76 c 255s| 4000 | 476 | 1427k| 356.3 | 17M| 50 | - |1444 |1659 |1444 |1638 | 14k| 134 | 784 |-4.524368e+01 |-2.600000e+01 | 74.01%
255.04/255.16 c 255s| 4100 | 474 | 1430k| 348.3 | 17M| 50 | - |1444 |1660 |1444 |1628 | 14k| 135 | 784 |-4.524368e+01 |-2.600000e+01 | 74.01%
259.94/260.03 c 260s| 4200 | 496 | 1461k| 347.4 | 17M| 50 | 112 |1444 |1658 |1444 |1632 | 15k| 137 | 798 |-4.521207e+01 |-2.600000e+01 | 73.89%
260.44/260.50 c 261s| 4300 | 498 | 1463k| 339.9 | 18M| 50 | 155 |1444 |1658 |1444 |1633 | 15k| 137 | 798 |-4.521207e+01 |-2.600000e+01 | 73.89%
265.54/265.69 c 266s| 4400 | 510 | 1491k| 338.6 | 18M| 50 | 140 |1444 |1657 |1444 |1629 | 15k| 137 | 832 |-4.517512e+01 |-2.600000e+01 | 73.75%
267.34/267.43 c 267s| 4500 | 518 | 1503k| 333.6 | 18M| 50 | 147 |1444 |1656 |1444 |1633 | 15k| 137 | 832 |-4.515183e+01 |-2.600000e+01 | 73.66%
269.63/269.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.63/269.74 c 270s| 4600 | 524 | 1517k| 329.4 | 18M| 50 | 128 |1444 |1658 |1444 |1628 | 15k| 139 | 840 |-4.515045e+01 |-2.600000e+01 | 73.66%
273.74/273.88 c 274s| 4700 | 534 | 1547k| 328.7 | 18M| 50 | 150 |1444 |1660 |1444 |1631 | 15k| 142 | 841 |-4.512288e+01 |-2.600000e+01 | 73.55%
276.44/276.51 c 277s| 4800 | 542 | 1565k| 325.6 | 18M| 50 | - |1444 |1660 |1444 |1634 | 16k| 142 | 842 |-4.508509e+01 |-2.600000e+01 | 73.40%
278.94/279.01 c 279s| 4900 | 544 | 1582k| 322.5 | 18M| 50 | - |1444 |1660 |1444 |1639 | 16k| 142 | 842 |-4.508509e+01 |-2.600000e+01 | 73.40%
279.43/279.54 c 280s| 5000 | 540 | 1585k| 316.7 | 18M| 50 | 137 |1444 |1660 |1444 |1635 | 16k| 142 | 842 |-4.508509e+01 |-2.600000e+01 | 73.40%
287.34/287.45 c 287s| 5100 | 566 | 1639k| 321.1 | 18M| 50 | 159 |1444 |1663 |1444 |1633 | 16k| 146 | 842 |-4.503037e+01 |-2.600000e+01 | 73.19%
289.03/289.16 c 289s| 5200 | 578 | 1650k| 316.9 | 18M| 50 | 145 |1444 |1676 |1444 |1626 | 16k| 159 | 842 |-4.502675e+01 |-2.600000e+01 | 73.18%
292.23/292.37 c 292s| 5300 | 590 | 1672k| 315.2 | 18M| 50 | 132 |1444 |1674 |1444 |1630 | 17k| 159 | 842 |-4.501096e+01 |-2.600000e+01 | 73.12%
292.64/292.76 c 293s| 5400 | 586 | 1675k| 309.9 | 18M| 50 | - |1444 |1674 |1444 |1636 | 17k| 159 | 842 |-4.501096e+01 |-2.600000e+01 | 73.12%
293.03/293.16 c 293s| 5500 | 584 | 1678k| 304.7 | 18M| 50 | 143 |1444 |1674 |1444 |1634 | 17k| 159 | 842 |-4.501096e+01 |-2.600000e+01 | 73.12%
298.34/298.42 c 298s| 5600 | 602 | 1715k| 305.9 | 18M| 50 | - |1444 |1674 |1444 |1629 | 17k| 159 | 842 |-4.493513e+01 |-2.600000e+01 | 72.83%
302.24/302.40 c 302s| 5700 | 616 | 1744k| 305.7 | 18M| 50 | - |1444 |1674 |1444 |1631 | 17k| 159 | 842 |-4.492167e+01 |-2.600000e+01 | 72.78%
304.54/304.67 c 305s| 5800 | 620 | 1760k| 303.1 | 18M| 50 | - |1444 |1675 |1444 |1631 | 17k| 160 | 842 |-4.492136e+01 |-2.600000e+01 | 72.77%
305.14/305.25 c 305s| 5900 | 618 | 1763k| 298.6 | 18M| 50 | 137 |1444 |1675 |1444 |1627 | 18k| 160 | 842 |-4.492136e+01 |-2.600000e+01 | 72.77%
308.63/308.72 c 309s| 6000 | 632 | 1788k| 297.7 | 18M| 50 | - |1444 |1675 |1444 |1624 | 18k| 160 | 842 |-4.488204e+01 |-2.600000e+01 | 72.62%
313.94/314.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.94/314.09 c 314s| 6100 | 648 | 1827k| 299.2 | 18M| 50 | - |1444 |1676 |1444 |1634 | 18k| 161 | 842 |-4.484294e+01 |-2.600000e+01 | 72.47%
316.24/316.38 c 316s| 6200 | 654 | 1844k| 297.1 | 18M| 50 | 158 |1444 |1676 |1444 |1638 | 18k| 161 | 842 |-4.477876e+01 |-2.600000e+01 | 72.23%
320.33/320.44 c 320s| 6300 | 668 | 1872k| 296.9 | 18M| 50 | 123 |1444 |1676 |1444 |1635 | 19k| 161 | 842 |-4.475788e+01 |-2.600000e+01 | 72.15%
322.94/323.01 c 323s| 6400 | 664 | 1891k| 295.2 | 18M| 50 | 159 |1444 |1677 |1444 |1619 | 19k| 162 | 842 |-4.475177e+01 |-2.600000e+01 | 72.12%
325.13/325.25 c 325s| 6500 | 678 | 1906k| 293.0 | 18M| 50 | 147 |1444 |1679 |1444 |1629 | 19k| 164 | 842 |-4.473738e+01 |-2.600000e+01 | 72.07%
325.54/325.65 c 326s| 6600 | 686 | 1909k| 289.0 | 18M| 50 | 94 |1444 |1679 |1444 |1627 | 19k| 164 | 842 |-4.473738e+01 |-2.600000e+01 | 72.07%
326.03/326.10 c 326s| 6700 | 688 | 1912k| 285.1 | 18M| 50 | 92 |1444 |1680 |1444 |1627 | 19k| 165 | 842 |-4.473738e+01 |-2.600000e+01 | 72.07%
330.83/330.93 c 331s| 6800 | 702 | 1945k| 285.8 | 18M| 50 | - |1444 |1681 |1444 |1628 | 19k| 166 | 845 |-4.469303e+01 |-2.600000e+01 | 71.90%
334.63/334.79 c 335s| 6900 | 716 | 1972k| 285.6 | 18M| 50 | 109 |1444 |1688 |1444 |1624 | 20k| 173 | 845 |-4.467945e+01 |-2.600000e+01 | 71.84%
341.53/341.62 c 342s| 7000 | 734 | 2018k| 288.0 | 18M| 51 | - |1444 |1688 |1444 |1632 | 20k| 174 | 857 |-4.460811e+01 |-2.600000e+01 | 71.57%
341.94/342.09 c 342s| 7100 | 740 | 2021k| 284.4 | 18M| 51 | - |1444 |1689 |1444 |1625 | 20k| 175 | 857 |-4.460811e+01 |-2.600000e+01 | 71.57%
346.33/346.43 c 346s| 7200 | 752 | 2048k| 284.2 | 18M| 51 | - |1444 |1689 |1444 |1631 | 20k| 175 | 873 |-4.459129e+01 |-2.600000e+01 | 71.50%
346.73/346.90 c 347s| 7300 | 752 | 2051k| 280.8 | 18M| 51 | - |1444 |1689 |1444 |1631 | 20k| 175 | 873 |-4.459129e+01 |-2.600000e+01 | 71.50%
347.13/347.27 c 347s| 7400 | 752 | 2053k| 277.3 | 18M| 51 | 145 |1444 |1689 |1444 |1626 | 20k| 175 | 873 |-4.459129e+01 |-2.600000e+01 | 71.50%
353.03/353.18 c 353s| 7500 | 758 | 2095k| 279.1 | 18M| 51 | - |1444 |1690 |1444 |1630 | 21k| 176 | 873 |-4.456210e+01 |-2.600000e+01 | 71.39%
358.23/358.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
358.23/358.39 c 358s| 7600 | 774 | 2131k| 280.2 | 18M| 51 | 144 |1444 |1690 |1444 |1626 | 21k| 179 | 873 |-4.451623e+01 |-2.600000e+01 | 71.22%
360.23/360.31 c 360s| 7700 | 784 | 2144k| 278.2 | 18M| 51 | - |1444 |1690 |1444 |1630 | 21k| 179 | 873 |-4.451009e+01 |-2.600000e+01 | 71.19%
363.83/363.90 c 364s| 7800 | 800 | 2168k| 277.7 | 18M| 51 | 131 |1444 |1690 |1444 |1630 | 21k| 179 | 874 |-4.448564e+01 |-2.600000e+01 | 71.10%
370.63/370.75 c 371s| 7900 | 816 | 2209k| 279.4 | 18M| 51 | 162 |1444 |1692 |1444 |1632 | 22k| 181 | 899 |-4.446048e+01 |-2.600000e+01 | 71.00%
376.22/376.31 c 376s| 8000 | 820 | 2247k| 280.6 | 18M| 51 | - |1444 |1695 |1444 |1631 | 22k| 184 | 906 |-4.439750e+01 |-2.600000e+01 | 70.76%
378.82/378.95 c 379s| 8100 | 856 | 2264k| 279.3 | 18M| 51 | - |1444 |1697 |1444 |1659 | 22k| 186 | 906 |-4.437774e+01 |-2.600000e+01 | 70.68%
380.62/380.74 c 381s| 8200 | 868 | 2277k| 277.5 | 18M| 52 | 185 |1444 |1697 |1444 |1659 | 23k| 187 | 906 |-4.437204e+01 |-2.600000e+01 | 70.66%
384.12/384.24 c 384s| 8300 | 894 | 2301k| 277.0 | 18M| 56 | 127 |1444 |1696 |1444 |1656 | 23k| 187 | 906 |-4.436886e+01 |-2.600000e+01 | 70.65%
384.52/384.65 c 385s| 8400 | 898 | 2303k| 274.0 | 18M| 59 | 131 |1444 |1695 |1444 |1654 | 23k| 188 | 906 |-4.436886e+01 |-2.600000e+01 | 70.65%
387.92/388.02 c 388s| 8500 | 914 | 2325k| 273.4 | 19M| 59 | 112 |1444 |1700 |1444 |1655 | 23k| 193 | 906 |-4.435516e+01 |-2.600000e+01 | 70.60%
391.72/391.81 c 392s| 8600 | 910 | 2352k| 273.3 | 19M| 59 | - |1444 |1700 |1444 |1663 | 23k| 193 | 906 |-4.434358e+01 |-2.600000e+01 | 70.55%
394.12/394.26 c 394s| 8700 | 930 | 2368k| 272.0 | 19M| 59 | - |1444 |1703 |1444 |1660 | 23k| 197 | 906 |-4.431417e+01 |-2.600000e+01 | 70.44%
396.82/396.94 c 397s| 8800 | 954 | 2382k| 270.5 | 19M| 59 | - |1444 |1704 |1444 |1668 | 23k| 198 | 924 |-4.431341e+01 |-2.600000e+01 | 70.44%
400.52/400.65 c 401s| 8900 | 962 | 2407k| 270.3 | 19M| 59 | - |1444 |1706 |1444 |1662 | 24k| 200 | 929 |-4.430189e+01 |-2.600000e+01 | 70.39%
408.22/408.31 c 408s| 9000 | 986 | 2461k| 273.3 | 19M| 59 | - |1444 |1707 |1444 |1665 | 24k| 202 | 932 |-4.423880e+01 |-2.600000e+01 | 70.15%
411.62/411.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.62/411.70 c 412s| 9100 | 1000 | 2484k| 272.7 | 19M| 59 | 136 |1444 |1709 |1444 |1662 | 24k| 204 | 932 |-4.422905e+01 |-2.600000e+01 | 70.11%
413.52/413.65 c 414s| 9200 | 1000 | 2497k| 271.2 | 19M| 59 | 137 |1444 |1710 |1444 |1657 | 25k| 205 | 932 |-4.421201e+01 |-2.600000e+01 | 70.05%
414.02/414.11 c 414s| 9300 | 1008 | 2500k| 268.6 | 19M| 59 | 183 |1444 |1710 |1444 |1647 | 25k| 205 | 932 |-4.421201e+01 |-2.600000e+01 | 70.05%
416.02/416.12 c 416s| 9400 | 1018 | 2513k| 267.2 | 19M| 59 | - |1444 |1710 |1444 |1648 | 25k| 205 | 932 |-4.420763e+01 |-2.600000e+01 | 70.03%
419.32/419.47 c 419s| 9500 | 1034 | 2536k| 266.7 | 19M| 59 | - |1444 |1709 |1444 |1662 | 25k| 205 | 932 |-4.419479e+01 |-2.600000e+01 | 69.98%
425.52/425.67 c 426s| 9600 | 1066 | 2573k| 267.9 | 19M| 59 | - |1444 |1712 |1444 |1658 | 25k| 208 | 957 |-4.416790e+01 |-2.600000e+01 | 69.88%
429.62/429.70 c 430s| 9700 | 1080 | 2601k| 268.0 | 19M| 59 | 133 |1444 |1711 |1444 |1658 | 25k| 208 | 959 |-4.416321e+01 |-2.600000e+01 | 69.86%
430.02/430.18 c 430s| 9800 | 1080 | 2604k| 265.5 | 19M| 59 | 151 |1444 |1711 |1444 |1655 | 26k| 208 | 959 |-4.416321e+01 |-2.600000e+01 | 69.86%
432.81/432.98 c 433s| 9900 | 1066 | 2625k| 264.9 | 19M| 59 | - |1444 |1710 |1444 |1662 | 26k| 208 | 959 |-4.414716e+01 |-2.600000e+01 | 69.80%
438.82/438.99 c 439s| 10000 | 1102 | 2668k| 266.6 | 19M| 59 | - |1444 |1713 |1444 |1648 | 26k| 211 | 959 |-4.411033e+01 |-2.600000e+01 | 69.66%
441.11/441.29 c 441s| 10100 | 1110 | 2684k| 265.6 | 19M| 59 | - |1444 |1713 |1444 |1656 | 26k| 211 | 959 |-4.410996e+01 |-2.600000e+01 | 69.65%
444.61/444.76 c 445s| 10200 | 1138 | 2707k| 265.2 | 19M| 59 | 145 |1444 |1717 |1444 |1660 | 26k| 215 | 959 |-4.407526e+01 |-2.600000e+01 | 69.52%
446.52/446.68 c 447s| 10300 | 1138 | 2720k| 263.9 | 19M| 59 | - |1444 |1717 |1444 |1649 | 27k| 215 | 959 |-4.406344e+01 |-2.600000e+01 | 69.47%
452.51/452.66 c 453s| 10400 | 1158 | 2757k| 264.9 | 19M| 59 | 197 |1444 |1718 |1444 |1648 | 27k| 217 | 975 |-4.403379e+01 |-2.600000e+01 | 69.36%
454.92/455.05 c 455s| 10500 | 1184 | 2772k| 263.9 | 20M| 59 | 121 |1444 |1717 |1444 |1646 | 27k| 217 | 985 |-4.403168e+01 |-2.600000e+01 | 69.35%
456.91/457.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.91/457.06 c 457s| 10600 | 1190 | 2786k| 262.6 | 20M| 59 | - |1444 |1718 |1444 |1648 | 27k| 219 | 988 |-4.402746e+01 |-2.600000e+01 | 69.34%
459.01/459.16 c 459s| 10700 | 1194 | 2800k| 261.5 | 20M| 59 | - |1444 |1718 |1444 |1649 | 27k| 219 | 988 |-4.402711e+01 |-2.600000e+01 | 69.34%
464.51/464.63 c 465s| 10800 | 1224 | 2838k| 262.6 | 20M| 59 | 146 |1444 |1717 |1444 |1653 | 28k| 219 | 990 |-4.399877e+01 |-2.600000e+01 | 69.23%
467.11/467.24 c 467s| 10900 | 1240 | 2856k| 261.8 | 20M| 59 | 139 |1444 |1717 |1444 |1647 | 28k| 219 | 990 |-4.398172e+01 |-2.600000e+01 | 69.16%
470.31/470.48 c 470s| 11000 | 1250 | 2878k| 261.5 | 20M| 59 | 213 |1444 |1717 |1444 |1646 | 28k| 219 | 990 |-4.396847e+01 |-2.600000e+01 | 69.11%
472.20/472.37 c 472s| 11100 | 1264 | 2891k| 260.3 | 20M| 59 | 172 |1444 |1716 |1444 |1660 | 28k| 220 | 990 |-4.395974e+01 |-2.600000e+01 | 69.08%
475.91/476.00 c 476s| 11200 | 1276 | 2915k| 260.1 | 20M| 59 | 197 |1444 |1715 |1444 |1660 | 29k| 220 | 990 |-4.395827e+01 |-2.600000e+01 | 69.07%
478.70/478.87 c 479s| 11300 | 1298 | 2933k| 259.4 | 20M| 59 | 175 |1444 |1715 |1444 |1661 | 29k| 220 |1000 |-4.394741e+01 |-2.600000e+01 | 69.03%
481.91/482.00 c 482s| 11400 | 1304 | 2953k| 258.8 | 20M| 59 | 158 |1444 |1714 |1444 |1651 | 29k| 221 |1010 |-4.391861e+01 |-2.600000e+01 | 68.92%
484.11/484.26 c 484s| 11500 | 1308 | 2967k| 257.8 | 20M| 59 | - |1444 |1716 |1444 |1656 | 29k| 223 |1016 |-4.391357e+01 |-2.600000e+01 | 68.90%
489.10/489.21 c 489s| 11600 | 1328 | 3001k| 258.6 | 20M| 59 | - |1444 |1715 |1444 |1652 | 30k| 224 |1016 |-4.390939e+01 |-2.600000e+01 | 68.88%
492.80/492.94 c 493s| 11700 | 1354 | 3027k| 258.6 | 20M| 59 | - |1444 |1716 |1444 |1655 | 30k| 225 |1016 |-4.390127e+01 |-2.600000e+01 | 68.85%
497.90/498.00 c 498s| 11800 | 1366 | 3061k| 259.3 | 20M| 59 | 133 |1444 |1716 |1444 |1660 | 30k| 225 |1016 |-4.387194e+01 |-2.600000e+01 | 68.74%
502.51/502.68 c 503s| 11900 | 1376 | 3093k| 259.8 | 20M| 59 | 172 |1444 |1724 |1444 |1658 | 30k| 233 |1018 |-4.386349e+01 |-2.600000e+01 | 68.71%
506.41/506.52 c 507s| 12000 | 1396 | 3120k| 259.9 | 20M| 59 | 144 |1444 |1725 |1444 |1654 | 31k| 234 |1019 |-4.385411e+01 |-2.600000e+01 | 68.67%
511.51/511.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.51/511.62 c 512s| 12100 | 1404 | 3151k| 260.2 | 20M| 59 | 518 |1444 |1726 |1444 |1699 | 31k| 236 |1045 |-4.384553e+01 |-2.600000e+01 | 68.64%
519.80/519.90 c 520s| 12200 | 1434 | 3206k| 262.7 | 21M| 59 | - |1444 |1730 |1444 |1657 | 31k| 241 |1051 |-4.380978e+01 |-2.600000e+01 | 68.50%
524.60/524.75 c 525s| 12300 | 1464 | 3241k| 263.3 | 21M| 59 | 176 |1444 |1730 |1444 |1656 | 32k| 241 |1051 |-4.378836e+01 |-2.600000e+01 | 68.42%
529.50/529.63 c 530s| 12400 | 1472 | 3274k| 263.9 | 21M| 59 | - |1444 |1730 |1444 |1649 | 32k| 242 |1051 |-4.377341e+01 |-2.600000e+01 | 68.36%
535.00/535.13 c 535s| 12500 | 1482 | 3311k| 264.7 | 21M| 59 | - |1444 |1730 |1444 |1672 | 32k| 242 |1051 |-4.375693e+01 |-2.600000e+01 | 68.30%
545.09/545.23 c 545s| 12600 | 1512 | 3375k| 267.7 | 21M| 59 | - |1444 |1732 |1444 |1646 | 33k| 244 |1077 |-4.374160e+01 |-2.600000e+01 | 68.24%
566.80/566.92 c 567s| 12700 | 1602 | 3529k| 277.7 | 21M| 59 | 424 |1444 |1735 |1444 |1541 | 35k| 249 |1087 |-4.371482e+01 |-2.600000e+01 | 68.13%
573.29/573.41 c 573s| 12800 | 1662 | 3574k| 279.1 | 21M| 63 | 80 |1444 |1736 |1444 |1573 | 35k| 251 |1097 |-4.371244e+01 |-2.600000e+01 | 68.12%
576.30/576.45 c 576s| 12900 | 1688 | 3594k| 278.5 | 21M| 63 | 142 |1444 |1744 |1444 |1576 | 35k| 259 |1098 |-4.369769e+01 |-2.600000e+01 | 68.07%
577.69/577.85 c 578s| 13000 | 1716 | 3604k| 277.1 | 21M| 70 | 78 |1444 |1751 |1444 |1580 | 35k| 267 |1099 |-4.368663e+01 |-2.600000e+01 | 68.03%
577.89/578.06 c 578s| 13100 | 1732 | 3605k| 275.0 | 21M| 70 | - |1444 |1749 |1444 |1578 | 35k| 267 |1099 |-4.368663e+01 |-2.600000e+01 | 68.03%
579.79/579.90 c 580s| 13200 | 1748 | 3617k| 273.9 | 21M| 70 | - |1444 |1746 |1444 |1576 | 35k| 267 |1099 |-4.368596e+01 |-2.600000e+01 | 68.02%
581.30/581.42 c 581s| 13300 | 1762 | 3627k| 272.6 | 21M| 70 | - |1444 |1745 |1444 |1578 | 36k| 267 |1099 |-4.368049e+01 |-2.600000e+01 | 68.00%
584.29/584.46 c 584s| 13400 | 1780 | 3649k| 272.2 | 21M| 70 | - |1444 |1744 |1444 |1579 | 36k| 267 |1102 |-4.367149e+01 |-2.600000e+01 | 67.97%
585.79/585.94 c 586s| 13500 | 1794 | 3659k| 270.9 | 22M| 70 | - |1444 |1744 |1444 |1577 | 36k| 269 |1102 |-4.366610e+01 |-2.600000e+01 | 67.95%
585.99/586.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
585.99/586.16 c 586s| 13600 | 1794 | 3660k| 269.0 | 22M| 70 | 74 |1444 |1744 |1444 |1578 | 36k| 270 |1102 |-4.366610e+01 |-2.600000e+01 | 67.95%
586.19/586.32 c 586s| 13700 | 1792 | 3661k| 267.1 | 22M| 71 | - |1444 |1744 |1444 |1578 | 36k| 270 |1102 |-4.366610e+01 |-2.600000e+01 | 67.95%
589.29/589.41 c 589s| 13800 | 1802 | 3682k| 266.7 | 22M| 71 | - |1444 |1744 |1444 |1578 | 36k| 271 |1102 |-4.363652e+01 |-2.600000e+01 | 67.83%
592.59/592.74 c 593s| 13900 | 1818 | 3705k| 266.4 | 22M| 71 | - |1444 |1744 |1444 |1581 | 36k| 272 |1102 |-4.361410e+01 |-2.600000e+01 | 67.75%
596.39/596.57 c 597s| 14000 | 1832 | 3730k| 266.3 | 22M| 71 | 110 |1444 |1744 |1444 |1575 | 37k| 272 |1112 |-4.360770e+01 |-2.600000e+01 | 67.72%
596.69/596.85 c 597s| 14100 | 1860 | 3731k| 264.5 | 22M| 71 | 108 |1444 |1745 |1444 |1575 | 37k| 273 |1113 |-4.360770e+01 |-2.600000e+01 | 67.72%
598.29/598.42 c 598s| 14200 | 1862 | 3742k| 263.4 | 22M| 71 | - |1444 |1745 |1444 |1578 | 37k| 273 |1113 |-4.360035e+01 |-2.600000e+01 | 67.69%
600.09/600.22 c 600s| 14300 | 1890 | 3754k| 262.4 | 22M| 71 | 94 |1444 |1744 |1444 |1583 | 37k| 273 |1113 |-4.359841e+01 |-2.600000e+01 | 67.69%
600.09/600.27 o -27
600.09/600.27 c * 600s| 14312 | 1666 | 3755k| 262.2 | 20M| 71 | - |1444 |1744 |1444 |1581 | 37k| 273 |1113 |-4.359841e+01 |-2.700000e+01 | 61.48%
600.40/600.58 c 601s| 14400 | 1670 | 3757k| 260.8 | 20M| 71 | 116 |1444 |1744 |1444 |1578 | 37k| 273 |1113 |-4.359841e+01 |-2.700000e+01 | 61.48%
601.89/602.00 c 602s| 14500 | 1672 | 3767k| 259.6 | 20M| 71 | 130 |1444 |1744 |1444 |1573 | 37k| 273 |1113 |-4.359587e+01 |-2.700000e+01 | 61.47%
605.39/605.59 c 606s| 14600 | 1694 | 3791k| 259.5 | 20M| 71 | 154 |1444 |1743 |1444 |1570 | 37k| 274 |1113 |-4.358547e+01 |-2.700000e+01 | 61.43%
607.10/607.20 c 607s| 14700 | 1702 | 3803k| 258.6 | 21M| 71 | - |1444 |1742 |1444 |1570 | 37k| 274 |1113 |-4.358365e+01 |-2.700000e+01 | 61.42%
611.89/612.08 c 612s| 14800 | 1734 | 3836k| 259.1 | 21M| 71 | 119 |1444 |1741 |1444 |1570 | 38k| 275 |1114 |-4.357075e+01 |-2.700000e+01 | 61.37%
614.99/615.18 c 615s| 14900 | 1752 | 3858k| 258.8 | 21M| 71 | - |1444 |1741 |1444 |1572 | 38k| 275 |1114 |-4.355108e+01 |-2.700000e+01 | 61.30%
616.58/616.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.58/616.78 c 617s| 15000 | 1760 | 3869k| 257.8 | 21M| 71 | 97 |1444 |1740 |1444 |1569 | 38k| 275 |1114 |-4.354954e+01 |-2.700000e+01 | 61.29%
620.29/620.44 c 620s| 15100 | 1782 | 3890k| 257.5 | 21M| 71 | - |1444 |1742 |1444 |1583 | 38k| 277 |1136 |-4.352264e+01 |-2.700000e+01 | 61.19%
623.39/623.50 c 624s| 15200 | 1804 | 3911k| 257.2 | 21M| 71 | 115 |1444 |1745 |1444 |1576 | 39k| 280 |1138 |-4.350819e+01 |-2.700000e+01 | 61.14%
628.08/628.22 c 628s| 15300 | 1830 | 3942k| 257.5 | 21M| 71 | 127 |1444 |1745 |1444 |1576 | 39k| 281 |1139 |-4.348728e+01 |-2.700000e+01 | 61.06%
629.89/630.06 c 630s| 15400 | 1832 | 3955k| 256.7 | 21M| 71 | 101 |1444 |1744 |1444 |1578 | 39k| 281 |1139 |-4.347742e+01 |-2.700000e+01 | 61.03%
631.59/631.78 c 632s| 15500 | 1836 | 3967k| 255.8 | 21M| 71 | - |1444 |1745 |1444 |1578 | 39k| 282 |1139 |-4.347231e+01 |-2.700000e+01 | 61.01%
636.39/636.58 c 637s| 15600 | 1858 | 3999k| 256.2 | 21M| 71 | - |1444 |1746 |1444 |1578 | 40k| 283 |1141 |-4.346465e+01 |-2.700000e+01 | 60.98%
643.18/643.34 c 643s| 15700 | 1894 | 4046k| 257.6 | 21M| 71 | 152 |1444 |1747 |1444 |1572 | 40k| 284 |1141 |-4.344765e+01 |-2.700000e+01 | 60.92%
648.28/648.43 c 648s| 15800 | 1920 | 4078k| 258.0 | 21M| 71 | - |1444 |1747 |1444 |1570 | 41k| 284 |1154 |-4.343220e+01 |-2.700000e+01 | 60.86%
649.89/650.07 c 650s| 15900 | 1914 | 4088k| 257.0 | 21M| 71 | - |1444 |1747 |1444 |1572 | 41k| 284 |1163 |-4.342587e+01 |-2.700000e+01 | 60.84%
653.38/653.54 c 654s| 16000 | 1930 | 4110k| 256.7 | 21M| 71 | - |1444 |1746 |1444 |1578 | 41k| 284 |1165 |-4.341695e+01 |-2.700000e+01 | 60.80%
655.38/655.55 c 656s| 16100 | 1932 | 4124k| 256.0 | 21M| 71 | - |1444 |1745 |1444 |1576 | 41k| 284 |1165 |-4.341675e+01 |-2.700000e+01 | 60.80%
656.08/656.20 c 656s| 16200 | 1940 | 4128k| 254.7 | 21M| 71 | 136 |1444 |1745 |1444 |1575 | 41k| 284 |1165 |-4.341675e+01 |-2.700000e+01 | 60.80%
658.08/658.20 c 658s| 16300 | 1960 | 4142k| 254.0 | 21M| 71 | - |1444 |1746 |1444 |1570 | 41k| 285 |1165 |-4.341481e+01 |-2.700000e+01 | 60.80%
659.48/659.67 c 660s| 16400 | 1968 | 4152k| 253.1 | 21M| 71 | - |1444 |1746 |1444 |1570 | 41k| 285 |1165 |-4.340872e+01 |-2.700000e+01 | 60.77%
661.68/661.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.68/661.88 c 662s| 16500 | 1984 | 4167k| 252.5 | 21M| 71 | - |1444 |1746 |1444 |1575 | 42k| 285 |1165 |-4.340872e+01 |-2.700000e+01 | 60.77%
668.07/668.28 c 668s| 16600 | 2010 | 4211k| 253.6 | 21M| 71 | - |1444 |1744 |1444 |1571 | 42k| 285 |1165 |-4.338301e+01 |-2.700000e+01 | 60.68%
671.18/671.32 c 671s| 16700 | 2038 | 4232k| 253.3 | 22M| 71 | - |1444 |1746 |1444 |1573 | 42k| 287 |1166 |-4.336967e+01 |-2.700000e+01 | 60.63%
674.98/675.17 c 675s| 16800 | 2056 | 4257k| 253.3 | 22M| 72 | - |1444 |1746 |1444 |1576 | 42k| 288 |1178 |-4.334031e+01 |-2.700000e+01 | 60.52%
678.38/678.52 c 679s| 16900 | 2072 | 4279k| 253.1 | 22M| 72 | 128 |1444 |1745 |1444 |1575 | 43k| 288 |1184 |-4.333252e+01 |-2.700000e+01 | 60.49%
680.07/680.21 c 680s| 17000 | 2084 | 4290k| 252.3 | 22M| 72 | 119 |1444 |1745 |1444 |1573 | 43k| 288 |1185 |-4.333136e+01 |-2.700000e+01 | 60.49%
682.08/682.20 c 682s| 17100 | 2094 | 4305k| 251.6 | 22M| 72 | - |1444 |1745 |1444 |1580 | 43k| 288 |1185 |-4.332514e+01 |-2.700000e+01 | 60.46%
685.97/686.20 c 686s| 17200 | 2114 | 4330k| 251.7 | 22M| 72 | - |1444 |1743 |1444 |1572 | 43k| 288 |1189 |-4.331144e+01 |-2.700000e+01 | 60.41%
689.38/689.56 c 690s| 17300 | 2128 | 4355k| 251.6 | 22M| 72 | 120 |1444 |1742 |1444 |1572 | 44k| 288 |1189 |-4.330744e+01 |-2.700000e+01 | 60.40%
692.67/692.90 c 693s| 17400 | 2136 | 4377k| 251.5 | 22M| 72 | 166 |1444 |1742 |1444 |1573 | 44k| 288 |1189 |-4.329607e+01 |-2.700000e+01 | 60.36%
698.77/698.99 c 699s| 17500 | 2170 | 4419k| 252.4 | 22M| 72 | 150 |1444 |1741 |1444 |1576 | 44k| 289 |1189 |-4.326805e+01 |-2.700000e+01 | 60.25%
700.77/700.94 c 701s| 17600 | 2178 | 4432k| 251.7 | 22M| 72 | - |1444 |1740 |1444 |1584 | 44k| 289 |1189 |-4.326805e+01 |-2.700000e+01 | 60.25%
706.08/706.24 c 706s| 17700 | 2196 | 4465k| 252.2 | 22M| 72 | - |1444 |1739 |1444 |1572 | 45k| 289 |1205 |-4.325930e+01 |-2.700000e+01 | 60.22%
708.28/708.42 c 708s| 17800 | 2216 | 4478k| 251.5 | 22M| 72 | - |1444 |1738 |1444 |1571 | 45k| 289 |1215 |-4.325244e+01 |-2.700000e+01 | 60.19%
710.48/710.62 c 711s| 17900 | 2222 | 4493k| 250.9 | 22M| 72 | 127 |1444 |1737 |1444 |1574 | 45k| 289 |1218 |-4.324993e+01 |-2.700000e+01 | 60.18%
713.68/713.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.68/713.84 c 714s| 18000 | 2240 | 4515k| 250.7 | 22M| 72 | 129 |1444 |1735 |1444 |1579 | 45k| 289 |1219 |-4.324362e+01 |-2.700000e+01 | 60.16%
713.97/714.13 c 714s| 18100 | 2240 | 4517k| 249.4 | 22M| 72 | - |1444 |1735 |1444 |1571 | 45k| 289 |1219 |-4.324362e+01 |-2.700000e+01 | 60.16%
716.07/716.29 c 716s| 18200 | 2246 | 4531k| 248.9 | 22M| 72 | 131 |1444 |1733 |1444 |1586 | 46k| 289 |1219 |-4.324304e+01 |-2.700000e+01 | 60.16%
720.28/720.47 c 720s| 18300 | 2270 | 4559k| 249.0 | 22M| 72 | 132 |1444 |1732 |1444 |1572 | 46k| 290 |1221 |-4.323754e+01 |-2.700000e+01 | 60.14%
722.07/722.23 c 722s| 18400 | 2280 | 4571k| 248.3 | 22M| 72 | 128 |1444 |1732 |1444 |1573 | 46k| 290 |1221 |-4.323253e+01 |-2.700000e+01 | 60.12%
726.77/726.97 c 727s| 18500 | 2310 | 4603k| 248.7 | 22M| 72 | - |1444 |1733 |1444 |1572 | 46k| 291 |1221 |-4.322939e+01 |-2.700000e+01 | 60.11%
730.67/730.80 c 731s| 18600 | 2318 | 4630k| 248.8 | 22M| 72 | 132 |1444 |1732 |1444 |1574 | 47k| 291 |1221 |-4.322688e+01 |-2.700000e+01 | 60.10%
730.97/731.10 c 731s| 18700 | 2304 | 4632k| 247.6 | 22M| 72 | - |1444 |1732 |1444 |1584 | 47k| 291 |1221 |-4.322688e+01 |-2.700000e+01 | 60.10%
736.97/737.17 c 737s| 18800 | 2332 | 4673k| 248.5 | 22M| 72 | 156 |1444 |1733 |1444 |1585 | 47k| 292 |1233 |-4.320466e+01 |-2.700000e+01 | 60.02%
739.97/740.11 c 740s| 18900 | 2352 | 4691k| 248.1 | 22M| 72 | - |1444 |1733 |1444 |1572 | 47k| 293 |1242 |-4.319417e+01 |-2.700000e+01 | 59.98%
743.56/743.74 c 744s| 19000 | 2364 | 4714k| 248.0 | 22M| 72 | 141 |1444 |1732 |1444 |1574 | 47k| 293 |1244 |-4.318385e+01 |-2.700000e+01 | 59.94%
745.68/745.87 c 746s| 19100 | 2388 | 4728k| 247.5 | 22M| 72 | 177 |1444 |1733 |1444 |1569 | 48k| 294 |1244 |-4.317444e+01 |-2.700000e+01 | 59.91%
747.77/747.99 c 748s| 19200 | 2400 | 4743k| 246.9 | 23M| 72 | 107 |1444 |1731 |1444 |1574 | 48k| 294 |1244 |-4.317051e+01 |-2.700000e+01 | 59.89%
750.96/751.13 c 751s| 19300 | 2420 | 4764k| 246.8 | 23M| 72 | 97 |1444 |1730 |1444 |1572 | 48k| 294 |1244 |-4.316904e+01 |-2.700000e+01 | 59.89%
754.77/754.92 c 755s| 19400 | 2434 | 4791k| 246.9 | 23M| 72 | 154 |1444 |1730 |1444 |1576 | 48k| 294 |1244 |-4.316576e+01 |-2.700000e+01 | 59.87%
756.58/756.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.58/756.72 c 757s| 19500 | 2450 | 4803k| 246.2 | 23M| 72 | - |1444 |1729 |1444 |1574 | 48k| 294 |1244 |-4.315861e+01 |-2.700000e+01 | 59.85%
757.97/758.15 c 758s| 19600 | 2462 | 4812k| 245.4 | 23M| 72 | - |1444 |1729 |1444 |1586 | 49k| 294 |1245 |-4.315622e+01 |-2.700000e+01 | 59.84%
762.46/762.66 c 763s| 19700 | 2490 | 4844k| 245.8 | 23M| 72 | 99 |1444 |1727 |1444 |1583 | 49k| 296 |1245 |-4.315252e+01 |-2.700000e+01 | 59.82%
762.76/762.92 c 763s| 19800 | 2492 | 4846k| 244.6 | 23M| 72 | - |1444 |1727 |1444 |1584 | 49k| 296 |1245 |-4.315252e+01 |-2.700000e+01 | 59.82%
767.57/767.73 c 768s| 19900 | 2512 | 4874k| 244.9 | 23M| 72 | - |1444 |1726 |1444 |1584 | 49k| 296 |1263 |-4.313812e+01 |-2.700000e+01 | 59.77%
771.86/772.07 c 772s| 20000 | 2540 | 4902k| 245.0 | 23M| 72 | - |1444 |1726 |1444 |1585 | 50k| 298 |1268 |-4.313100e+01 |-2.700000e+01 | 59.74%
772.16/772.32 c 772s| 20100 | 2546 | 4904k| 243.9 | 23M| 72 | 118 |1444 |1726 |1444 |1579 | 50k| 298 |1268 |-4.313100e+01 |-2.700000e+01 | 59.74%
772.46/772.66 c 773s| 20200 | 2544 | 4906k| 242.8 | 23M| 72 | 137 |1444 |1725 |1444 |1582 | 50k| 298 |1268 |-4.313100e+01 |-2.700000e+01 | 59.74%
772.77/772.93 c 773s| 20300 | 2544 | 4908k| 241.7 | 23M| 72 | 141 |1444 |1725 |1444 |1580 | 50k| 298 |1268 |-4.313100e+01 |-2.700000e+01 | 59.74%
774.56/774.71 c 775s| 20400 | 2552 | 4919k| 241.1 | 23M| 72 | 124 |1444 |1723 |1444 |1580 | 50k| 298 |1268 |-4.312756e+01 |-2.700000e+01 | 59.73%
777.96/778.17 c 778s| 20500 | 2566 | 4943k| 241.0 | 23M| 72 | - |1444 |1720 |1444 |1574 | 50k| 299 |1268 |-4.311650e+01 |-2.700000e+01 | 59.69%
780.87/781.06 c 781s| 20600 | 2584 | 4962k| 240.8 | 23M| 72 | - |1444 |1717 |1444 |1584 | 50k| 299 |1268 |-4.310498e+01 |-2.700000e+01 | 59.65%
784.96/785.18 c 785s| 20700 | 2618 | 4992k| 241.1 | 23M| 72 | 118 |1444 |1716 |1444 |1578 | 51k| 299 |1269 |-4.308121e+01 |-2.700000e+01 | 59.56%
786.76/786.99 c 787s| 20800 | 2622 | 5004k| 240.5 | 23M| 72 | 124 |1444 |1713 |1444 |1578 | 51k| 299 |1269 |-4.308077e+01 |-2.700000e+01 | 59.56%
788.47/788.70 c 789s| 20900 | 2630 | 5015k| 239.9 | 23M| 72 | - |1444 |1713 |1444 |1587 | 51k| 299 |1269 |-4.308038e+01 |-2.700000e+01 | 59.56%
791.66/791.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.66/791.88 c 792s| 21000 | 2650 | 5036k| 239.7 | 23M| 72 | 103 |1444 |1712 |1444 |1582 | 51k| 299 |1269 |-4.307719e+01 |-2.700000e+01 | 59.55%
792.06/792.22 c 792s| 21100 | 2654 | 5039k| 238.7 | 23M| 72 | - |1444 |1711 |1444 |1574 | 51k| 299 |1269 |-4.307719e+01 |-2.700000e+01 | 59.55%
794.16/794.36 c 794s| 21200 | 2686 | 5053k| 238.3 | 24M| 72 | - |1444 |1710 |1444 |1572 | 51k| 299 |1275 |-4.306787e+01 |-2.700000e+01 | 59.51%
797.16/797.37 c 797s| 21300 | 2700 | 5071k| 238.0 | 24M| 72 | 94 |1444 |1710 |1444 |1572 | 51k| 299 |1290 |-4.306432e+01 |-2.700000e+01 | 59.50%
797.56/797.78 c 798s| 21400 | 2716 | 5073k| 237.0 | 24M| 72 | 116 |1444 |1711 |1444 |1575 | 51k| 300 |1290 |-4.306432e+01 |-2.700000e+01 | 59.50%
797.86/798.06 c 798s| 21500 | 2718 | 5075k| 236.0 | 24M| 72 | 138 |1444 |1711 |1444 |1574 | 52k| 300 |1290 |-4.306432e+01 |-2.700000e+01 | 59.50%
801.25/801.47 c 801s| 21600 | 2740 | 5097k| 235.9 | 24M| 72 | - |1444 |1713 |1444 |1579 | 52k| 303 |1295 |-4.306083e+01 |-2.700000e+01 | 59.48%
804.55/804.72 c 805s| 21700 | 2760 | 5121k| 235.9 | 24M| 74 | 95 |1444 |1713 |1444 |1576 | 52k| 303 |1296 |-4.305595e+01 |-2.700000e+01 | 59.47%
808.75/808.91 c 809s| 21800 | 2782 | 5150k| 236.2 | 24M| 74 | 135 |1444 |1714 |1444 |1576 | 52k| 304 |1296 |-4.304048e+01 |-2.700000e+01 | 59.41%
808.96/809.19 c 809s| 21900 | 2784 | 5152k| 235.2 | 24M| 74 | 120 |1444 |1714 |1444 |1584 | 52k| 304 |1296 |-4.304048e+01 |-2.700000e+01 | 59.41%
810.66/810.87 c 811s| 22000 | 2798 | 5163k| 234.6 | 24M| 74 | 80 |1444 |1713 |1444 |1569 | 52k| 304 |1296 |-4.303700e+01 |-2.700000e+01 | 59.40%
810.95/811.10 c 811s| 22100 | 2792 | 5164k| 233.6 | 24M| 75 | 118 |1444 |1713 |1444 |1570 | 52k| 304 |1296 |-4.303700e+01 |-2.700000e+01 | 59.40%
813.95/814.19 c 814s| 22200 | 2800 | 5184k| 233.5 | 24M| 75 | - |1444 |1712 |1444 |1570 | 53k| 304 |1296 |-4.303013e+01 |-2.700000e+01 | 59.37%
814.36/814.54 c 815s| 22300 | 2808 | 5187k| 232.5 | 24M| 75 | 104 |1444 |1712 |1444 |1568 | 53k| 304 |1296 |-4.303013e+01 |-2.700000e+01 | 59.37%
816.26/816.47 c 816s| 22400 | 2816 | 5200k| 232.1 | 24M| 75 | - |1444 |1712 |1444 |1569 | 53k| 304 |1296 |-4.302937e+01 |-2.700000e+01 | 59.37%
820.46/820.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.46/820.65 c 821s| 22500 | 2846 | 5230k| 232.4 | 24M| 75 | 101 |1444 |1712 |1444 |1565 | 53k| 304 |1296 |-4.301578e+01 |-2.700000e+01 | 59.32%
820.65/820.86 c 821s| 22600 | 2842 | 5231k| 231.4 | 24M| 77 | - |1444 |1712 |1444 |1569 | 53k| 304 |1296 |-4.301578e+01 |-2.700000e+01 | 59.32%
823.86/824.00 c 824s| 22700 | 2864 | 5253k| 231.3 | 24M| 77 | - |1444 |1711 |1444 |1575 | 53k| 305 |1300 |-4.300472e+01 |-2.700000e+01 | 59.28%
825.75/825.92 c 826s| 22800 | 2876 | 5264k| 230.8 | 24M| 77 | - |1444 |1711 |1444 |1569 | 53k| 305 |1311 |-4.300465e+01 |-2.700000e+01 | 59.28%
830.55/830.78 c 831s| 22900 | 2892 | 5295k| 231.1 | 24M| 77 | - |1444 |1710 |1444 |1568 | 54k| 305 |1321 |-4.299690e+01 |-2.700000e+01 | 59.25%
830.85/831.03 c 831s| 23000 | 2892 | 5296k| 230.2 | 24M| 77 | 133 |1444 |1710 |1444 |1573 | 54k| 305 |1321 |-4.299690e+01 |-2.700000e+01 | 59.25%
833.45/833.65 c 834s| 23100 | 2912 | 5313k| 229.9 | 24M| 77 | - |1444 |1711 |1444 |1568 | 54k| 306 |1323 |-4.299214e+01 |-2.700000e+01 | 59.23%
836.65/836.87 c 837s| 23200 | 2934 | 5334k| 229.8 | 24M| 77 | - |1444 |1711 |1444 |1571 | 54k| 306 |1323 |-4.298851e+01 |-2.700000e+01 | 59.22%
839.76/839.92 c 840s| 23300 | 2952 | 5355k| 229.8 | 24M| 77 | 95 |1444 |1712 |1444 |1574 | 55k| 307 |1323 |-4.298210e+01 |-2.700000e+01 | 59.19%
843.65/843.83 c 844s| 23400 | 2966 | 5381k| 229.9 | 25M| 77 | - |1444 |1712 |1444 |1574 | 55k| 308 |1323 |-4.297340e+01 |-2.700000e+01 | 59.16%
848.05/848.26 c 848s| 23500 | 2990 | 5410k| 230.1 | 25M| 77 | 146 |1444 |1712 |1444 |1569 | 55k| 308 |1326 |-4.296285e+01 |-2.700000e+01 | 59.12%
849.85/850.01 c 850s| 23600 | 3010 | 5422k| 229.7 | 25M| 77 | 156 |1444 |1712 |1444 |1571 | 55k| 308 |1326 |-4.296118e+01 |-2.700000e+01 | 59.12%
850.16/850.39 c 850s| 23700 | 3018 | 5425k| 228.8 | 25M| 77 | 109 |1444 |1712 |1444 |1576 | 55k| 308 |1326 |-4.296118e+01 |-2.700000e+01 | 59.12%
853.25/853.48 c 853s| 23800 | 3028 | 5447k| 228.8 | 25M| 77 | 162 |1444 |1711 |1444 |1572 | 56k| 308 |1326 |-4.295826e+01 |-2.700000e+01 | 59.10%
853.55/853.71 c 854s| 23900 | 3034 | 5448k| 227.9 | 25M| 77 | 108 |1444 |1711 |1444 |1575 | 56k| 308 |1326 |-4.295826e+01 |-2.700000e+01 | 59.10%
854.95/855.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.95/855.18 c 855s| 24000 | 3044 | 5458k| 227.4 | 25M| 77 | 139 |1444 |1711 |1444 |1576 | 56k| 308 |1326 |-4.295714e+01 |-2.700000e+01 | 59.10%
858.75/858.90 c 859s| 24100 | 3064 | 5481k| 227.4 | 25M| 77 | 133 |1444 |1711 |1444 |1568 | 56k| 308 |1337 |-4.295536e+01 |-2.700000e+01 | 59.09%
862.26/862.40 c 862s| 24200 | 3074 | 5503k| 227.3 | 25M| 77 | 135 |1444 |1711 |1444 |1569 | 56k| 309 |1347 |-4.294762e+01 |-2.700000e+01 | 59.07%
864.94/865.16 c 865s| 24300 | 3084 | 5521k| 227.1 | 25M| 77 | - |1444 |1711 |1444 |1574 | 56k| 310 |1347 |-4.293866e+01 |-2.700000e+01 | 59.03%
868.55/868.76 c 869s| 24400 | 3098 | 5546k| 227.2 | 25M| 77 | - |1444 |1711 |1444 |1569 | 57k| 310 |1347 |-4.293203e+01 |-2.700000e+01 | 59.01%
874.15/874.32 c 874s| 24500 | 3126 | 5586k| 227.9 | 25M| 77 | - |1444 |1710 |1444 |1570 | 57k| 310 |1347 |-4.292569e+01 |-2.700000e+01 | 58.98%
875.64/875.81 c 876s| 24600 | 3134 | 5596k| 227.4 | 25M| 77 | - |1444 |1711 |1444 |1575 | 57k| 311 |1348 |-4.292482e+01 |-2.700000e+01 | 58.98%
877.35/877.54 c 878s| 24700 | 3140 | 5607k| 226.9 | 25M| 77 | - |1444 |1711 |1444 |1574 | 57k| 311 |1348 |-4.291887e+01 |-2.700000e+01 | 58.96%
882.35/882.50 c 883s| 24800 | 3162 | 5640k| 227.3 | 25M| 77 | 92 |1444 |1710 |1444 |1579 | 58k| 311 |1351 |-4.290125e+01 |-2.700000e+01 | 58.89%
882.74/882.92 c 883s| 24900 | 3166 | 5642k| 226.5 | 25M| 77 | 101 |1444 |1710 |1444 |1576 | 58k| 311 |1351 |-4.290125e+01 |-2.700000e+01 | 58.89%
884.05/884.22 c 884s| 25000 | 3170 | 5652k| 226.0 | 25M| 77 | - |1444 |1711 |1444 |1579 | 58k| 312 |1351 |-4.288962e+01 |-2.700000e+01 | 58.85%
886.95/887.15 c 887s| 25100 | 3186 | 5672k| 225.9 | 25M| 77 | - |1444 |1711 |1444 |1579 | 58k| 312 |1351 |-4.288746e+01 |-2.700000e+01 | 58.84%
890.24/890.44 c 890s| 25200 | 3198 | 5691k| 225.8 | 25M| 77 | 159 |1444 |1712 |1444 |1584 | 58k| 313 |1366 |-4.288442e+01 |-2.700000e+01 | 58.83%
895.84/896.04 c 896s| 25300 | 3220 | 5727k| 226.3 | 25M| 77 | - |1444 |1712 |1444 |1586 | 59k| 313 |1375 |-4.287817e+01 |-2.700000e+01 | 58.81%
899.14/899.33 c 899s| 25400 | 3240 | 5750k| 226.3 | 25M| 77 | 180 |1444 |1713 |1444 |1580 | 59k| 314 |1376 |-4.287633e+01 |-2.700000e+01 | 58.80%
902.24/902.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.24/902.46 c 902s| 25500 | 3254 | 5772k| 226.3 | 25M| 77 | - |1444 |1713 |1444 |1579 | 59k| 314 |1377 |-4.286561e+01 |-2.700000e+01 | 58.76%
903.95/904.12 c 904s| 25600 | 3264 | 5783k| 225.8 | 25M| 77 | 146 |1444 |1713 |1444 |1586 | 60k| 314 |1377 |-4.286202e+01 |-2.700000e+01 | 58.75%
908.04/908.25 c 908s| 25700 | 3294 | 5810k| 226.0 | 25M| 77 | - |1444 |1711 |1444 |1567 | 60k| 314 |1377 |-4.284506e+01 |-2.700000e+01 | 58.69%
914.14/914.31 c 914s| 25800 | 3320 | 5851k| 226.7 | 26M| 77 | - |1444 |1710 |1444 |1579 | 60k| 314 |1377 |-4.283615e+01 |-2.700000e+01 | 58.65%
917.34/917.50 c 918s| 25900 | 3336 | 5872k| 226.6 | 26M| 77 | 130 |1444 |1710 |1444 |1581 | 60k| 314 |1377 |-4.282905e+01 |-2.700000e+01 | 58.63%
918.94/919.18 c 919s| 26000 | 3334 | 5883k| 226.2 | 26M| 77 | - |1444 |1710 |1444 |1580 | 61k| 314 |1377 |-4.282883e+01 |-2.700000e+01 | 58.63%
920.45/920.69 c 921s| 26100 | 3350 | 5893k| 225.7 | 26M| 77 | - |1444 |1710 |1444 |1579 | 61k| 314 |1377 |-4.282581e+01 |-2.700000e+01 | 58.61%
922.84/923.05 c 923s| 26200 | 3356 | 5907k| 225.4 | 26M| 77 | - |1444 |1711 |1444 |1577 | 61k| 315 |1392 |-4.282345e+01 |-2.700000e+01 | 58.61%
923.14/923.32 c 923s| 26300 | 3354 | 5908k| 224.6 | 26M| 77 | 145 |1444 |1711 |1444 |1574 | 61k| 315 |1392 |-4.282345e+01 |-2.700000e+01 | 58.61%
924.44/924.67 c 925s| 26400 | 3366 | 5917k| 224.1 | 26M| 77 | - |1444 |1712 |1444 |1581 | 61k| 317 |1392 |-4.282175e+01 |-2.700000e+01 | 58.60%
931.74/931.97 c 932s| 26500 | 3400 | 5967k| 225.1 | 26M| 77 | - |1444 |1710 |1444 |1581 | 61k| 317 |1398 |-4.280663e+01 |-2.700000e+01 | 58.54%
932.13/932.39 c 932s| 26600 | 3398 | 5969k| 224.3 | 26M| 77 | 161 |1444 |1710 |1444 |1581 | 61k| 317 |1398 |-4.280663e+01 |-2.700000e+01 | 58.54%
933.94/934.11 c 934s| 26700 | 3404 | 5980k| 223.9 | 26M| 77 | - |1444 |1710 |1444 |1584 | 62k| 317 |1398 |-4.280646e+01 |-2.700000e+01 | 58.54%
938.34/938.54 c 939s| 26800 | 3430 | 6011k| 224.2 | 26M| 77 | 146 |1444 |1709 |1444 |1576 | 62k| 318 |1398 |-4.279814e+01 |-2.700000e+01 | 58.51%
938.73/938.91 c 939s| 26900 | 3432 | 6014k| 223.5 | 26M| 77 | 155 |1444 |1709 |1444 |1584 | 62k| 318 |1398 |-4.279814e+01 |-2.700000e+01 | 58.51%
941.74/941.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
941.74/941.97 c 942s| 27000 | 3446 | 6036k| 223.5 | 26M| 77 | 132 |1444 |1709 |1444 |1580 | 62k| 318 |1398 |-4.279175e+01 |-2.700000e+01 | 58.49%
947.14/947.31 c 947s| 27100 | 3470 | 6072k| 224.0 | 26M| 77 | - |1444 |1708 |1444 |1579 | 63k| 318 |1402 |-4.278186e+01 |-2.700000e+01 | 58.45%
950.03/950.28 c 950s| 27200 | 3484 | 6091k| 223.9 | 26M| 77 | 143 |1444 |1706 |1444 |1576 | 63k| 318 |1402 |-4.277615e+01 |-2.700000e+01 | 58.43%
952.73/952.99 c 953s| 27300 | 3496 | 6109k| 223.7 | 26M| 77 | - |1444 |1712 |1444 |1576 | 63k| 324 |1403 |-4.277499e+01 |-2.700000e+01 | 58.43%
953.14/953.33 c 953s| 27400 | 3498 | 6111k| 223.0 | 26M| 77 | - |1444 |1712 |1444 |1584 | 63k| 324 |1403 |-4.277499e+01 |-2.700000e+01 | 58.43%
957.54/957.76 c 958s| 27500 | 3522 | 6139k| 223.2 | 26M| 77 | 128 |1444 |1712 |1444 |1582 | 63k| 324 |1412 |-4.277328e+01 |-2.700000e+01 | 58.42%
958.94/959.18 c 959s| 27600 | 3532 | 6148k| 222.7 | 26M| 77 | - |1444 |1713 |1444 |1582 | 63k| 325 |1412 |-4.277101e+01 |-2.700000e+01 | 58.41%
963.23/963.43 c 963s| 27700 | 3554 | 6175k| 222.9 | 26M| 77 | - |1444 |1712 |1444 |1588 | 64k| 325 |1421 |-4.276413e+01 |-2.700000e+01 | 58.39%
963.54/963.79 c 964s| 27800 | 3552 | 6178k| 222.2 | 26M| 77 | - |1444 |1712 |1444 |1580 | 64k| 325 |1421 |-4.276413e+01 |-2.700000e+01 | 58.39%
967.74/967.92 c 968s| 27900 | 3576 | 6206k| 222.4 | 26M| 77 | - |1444 |1713 |1444 |1582 | 64k| 326 |1422 |-4.275652e+01 |-2.700000e+01 | 58.36%
971.23/971.41 c 971s| 28000 | 3590 | 6230k| 222.4 | 26M| 77 | 125 |1444 |1712 |1444 |1577 | 64k| 327 |1422 |-4.275450e+01 |-2.700000e+01 | 58.35%
972.73/972.98 c 973s| 28100 | 3584 | 6242k| 222.1 | 26M| 77 | - |1444 |1712 |1444 |1577 | 65k| 327 |1422 |-4.274695e+01 |-2.700000e+01 | 58.32%
978.13/978.39 c 978s| 28200 | 3604 | 6278k| 222.6 | 26M| 77 | 164 |1444 |1712 |1444 |1578 | 65k| 328 |1422 |-4.274065e+01 |-2.700000e+01 | 58.30%
981.33/981.57 c 982s| 28300 | 3614 | 6299k| 222.5 | 26M| 77 | 156 |1444 |1713 |1444 |1576 | 65k| 329 |1422 |-4.273568e+01 |-2.700000e+01 | 58.28%
983.03/983.20 c 983s| 28400 | 3614 | 6310k| 222.1 | 26M| 77 | 157 |1444 |1714 |1444 |1579 | 65k| 330 |1422 |-4.272870e+01 |-2.700000e+01 | 58.25%
984.83/985.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.83/985.03 c 985s| 28500 | 3618 | 6323k| 221.8 | 26M| 77 | - |1444 |1714 |1444 |1581 | 65k| 330 |1422 |-4.272525e+01 |-2.700000e+01 | 58.24%
988.13/988.37 c 988s| 28600 | 3634 | 6344k| 221.8 | 26M| 77 | - |1444 |1712 |1444 |1570 | 66k| 330 |1433 |-4.272332e+01 |-2.700000e+01 | 58.23%
989.73/989.94 c 990s| 28700 | 3642 | 6355k| 221.4 | 26M| 77 | - |1444 |1712 |1444 |1569 | 66k| 330 |1433 |-4.271941e+01 |-2.700000e+01 | 58.22%
996.02/996.26 c 996s| 28800 | 3668 | 6396k| 222.0 | 26M| 77 | 175 |1444 |1707 |1444 |1575 | 66k| 330 |1442 |-4.270660e+01 |-2.700000e+01 | 58.17%
996.53/996.77 c 997s| 28900 | 3672 | 6400k| 221.4 | 26M| 77 | - |1444 |1707 |1444 |1585 | 66k| 330 |1442 |-4.270660e+01 |-2.700000e+01 | 58.17%
1000.53/1000.77 c 1001s| 29000 | 3692 | 6428k| 221.6 | 26M| 77 | 143 |1444 |1707 |1444 |1577 | 67k| 330 |1442 |-4.269933e+01 |-2.700000e+01 | 58.15%
1002.32/1002.58 c 1003s| 29100 | 3700 | 6440k| 221.3 | 26M| 77 | - |1444 |1707 |1444 |1578 | 67k| 330 |1442 |-4.269835e+01 |-2.700000e+01 | 58.14%
1005.53/1005.77 c 1006s| 29200 | 3722 | 6463k| 221.3 | 27M| 77 | 126 |1444 |1707 |1444 |1581 | 67k| 330 |1442 |-4.269171e+01 |-2.700000e+01 | 58.12%
1010.43/1010.64 c 1011s| 29300 | 3746 | 6497k| 221.7 | 27M| 77 | 231 |1444 |1709 |1444 |1566 | 67k| 332 |1442 |-4.268304e+01 |-2.700000e+01 | 58.09%
1011.23/1011.44 c 1011s| 29400 | 3770 | 6503k| 221.1 | 27M| 77 | - |1444 |1709 |1444 |1572 | 67k| 332 |1442 |-4.268304e+01 |-2.700000e+01 | 58.09%
1015.42/1015.68 c 1016s| 29500 | 3808 | 6532k| 221.4 | 27M| 77 | - |1444 |1709 |1444 |1572 | 68k| 332 |1442 |-4.267760e+01 |-2.700000e+01 | 58.07%
1018.53/1018.78 c 1019s| 29600 | 3826 | 6554k| 221.4 | 27M| 77 | - |1444 |1708 |1444 |1569 | 68k| 332 |1442 |-4.267208e+01 |-2.700000e+01 | 58.04%
1020.53/1020.75 c 1021s| 29700 | 3828 | 6565k| 221.0 | 27M| 77 | - |1444 |1708 |1444 |1576 | 68k| 332 |1451 |-4.266981e+01 |-2.700000e+01 | 58.04%
1021.92/1022.14 c 1022s| 29800 | 3838 | 6574k| 220.5 | 27M| 77 | 113 |1444 |1707 |1444 |1573 | 68k| 332 |1451 |-4.266912e+01 |-2.700000e+01 | 58.03%
1024.93/1025.14 c 1025s| 29900 | 3860 | 6592k| 220.4 | 27M| 77 | - |1444 |1707 |1444 |1575 | 68k| 332 |1460 |-4.266609e+01 |-2.700000e+01 | 58.02%
1025.33/1025.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.33/1025.51 c 1026s| 30000 | 3858 | 6594k| 219.7 | 27M| 77 | 141 |1444 |1707 |1444 |1572 | 68k| 332 |1460 |-4.266609e+01 |-2.700000e+01 | 58.02%
1027.42/1027.69 c 1028s| 30100 | 3876 | 6608k| 219.5 | 27M| 77 | - |1444 |1706 |1444 |1571 | 69k| 332 |1462 |-4.266570e+01 |-2.700000e+01 | 58.02%
1029.92/1030.13 c 1030s| 30200 | 3894 | 6626k| 219.3 | 27M| 77 | 152 |1444 |1706 |1444 |1566 | 69k| 332 |1462 |-4.266118e+01 |-2.700000e+01 | 58.00%
1031.72/1031.97 c 1032s| 30300 | 3902 | 6638k| 219.0 | 27M| 77 | - |1444 |1705 |1444 |1569 | 69k| 332 |1462 |-4.265298e+01 |-2.700000e+01 | 57.97%
1033.52/1033.71 c 1034s| 30400 | 3906 | 6649k| 218.7 | 27M| 77 | 135 |1444 |1705 |1444 |1569 | 69k| 332 |1462 |-4.265138e+01 |-2.700000e+01 | 57.97%
1034.92/1035.19 c 1035s| 30500 | 3908 | 6658k| 218.2 | 27M| 77 | - |1444 |1705 |1444 |1564 | 69k| 332 |1462 |-4.265117e+01 |-2.700000e+01 | 57.97%
1039.02/1039.28 c 1039s| 30600 | 3926 | 6686k| 218.5 | 27M| 77 | - |1444 |1705 |1444 |1573 | 70k| 332 |1463 |-4.264709e+01 |-2.700000e+01 | 57.95%
1041.02/1041.23 c 1041s| 30700 | 3942 | 6699k| 218.1 | 27M| 77 | 107 |1444 |1704 |1444 |1575 | 70k| 332 |1463 |-4.264208e+01 |-2.700000e+01 | 57.93%
1045.12/1045.39 c 1045s| 30800 | 3966 | 6727k| 218.3 | 27M| 77 | - |1444 |1704 |1444 |1581 | 70k| 333 |1463 |-4.262885e+01 |-2.700000e+01 | 57.88%
1049.32/1049.54 c 1050s| 30900 | 3982 | 6754k| 218.5 | 27M| 77 | - |1444 |1704 |1444 |1578 | 70k| 333 |1463 |-4.262808e+01 |-2.700000e+01 | 57.88%
1051.02/1051.26 c 1051s| 31000 | 3986 | 6765k| 218.2 | 27M| 77 | - |1444 |1704 |1444 |1574 | 70k| 333 |1463 |-4.262641e+01 |-2.700000e+01 | 57.88%
1055.52/1055.78 c 1056s| 31100 | 4004 | 6795k| 218.4 | 27M| 77 | 223 |1444 |1704 |1444 |1570 | 71k| 333 |1478 |-4.262169e+01 |-2.700000e+01 | 57.86%
1057.32/1057.57 c 1058s| 31200 | 4030 | 6806k| 218.1 | 27M| 77 | 127 |1444 |1704 |1444 |1574 | 71k| 333 |1480 |-4.262041e+01 |-2.700000e+01 | 57.85%
1058.92/1059.13 c 1059s| 31300 | 4036 | 6816k| 217.7 | 27M| 77 | - |1444 |1704 |1444 |1573 | 71k| 333 |1486 |-4.261957e+01 |-2.700000e+01 | 57.85%
1062.22/1062.40 c 1062s| 31400 | 4050 | 6839k| 217.8 | 27M| 77 | 163 |1444 |1703 |1444 |1572 | 71k| 333 |1487 |-4.261579e+01 |-2.700000e+01 | 57.84%
1064.02/1064.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.02/1064.23 c 1064s| 31500 | 4058 | 6854k| 217.5 | 27M| 77 | - |1444 |1703 |1444 |1576 | 71k| 333 |1487 |-4.261281e+01 |-2.700000e+01 | 57.83%
1065.91/1066.17 c 1066s| 31600 | 4068 | 6867k| 217.2 | 27M| 77 | 145 |1444 |1703 |1444 |1577 | 71k| 333 |1488 |-4.260708e+01 |-2.700000e+01 | 57.80%
1069.22/1069.48 c 1069s| 31700 | 4080 | 6889k| 217.3 | 28M| 77 | 150 |1444 |1702 |1444 |1581 | 72k| 333 |1488 |-4.260112e+01 |-2.700000e+01 | 57.78%
1069.61/1069.81 c 1070s| 31800 | 4074 | 6891k| 216.6 | 27M| 77 | - |1444 |1702 |1444 |1580 | 72k| 333 |1488 |-4.260112e+01 |-2.700000e+01 | 57.78%
1071.51/1071.70 c 1072s| 31900 | 4084 | 6903k| 216.4 | 28M| 77 | 148 |1444 |1702 |1444 |1572 | 72k| 333 |1488 |-4.258601e+01 |-2.700000e+01 | 57.73%
1073.22/1073.41 c 1073s| 32000 | 4086 | 6914k| 216.0 | 28M| 77 | 166 |1444 |1702 |1444 |1576 | 72k| 333 |1488 |-4.258538e+01 |-2.700000e+01 | 57.72%
1077.72/1077.98 c 1078s| 32100 | 4112 | 6945k| 216.3 | 28M| 77 | - |1444 |1702 |1444 |1569 | 72k| 333 |1489 |-4.257963e+01 |-2.700000e+01 | 57.70%
1080.71/1080.91 c 1081s| 32200 | 4130 | 6965k| 216.3 | 28M| 77 | 149 |1444 |1701 |1444 |1575 | 72k| 333 |1489 |-4.257733e+01 |-2.700000e+01 | 57.69%
1082.32/1082.53 c 1083s| 32300 | 4140 | 6976k| 215.9 | 28M| 77 | - |1444 |1701 |1444 |1575 | 73k| 333 |1489 |-4.257695e+01 |-2.700000e+01 | 57.69%
1086.62/1086.86 c 1087s| 32400 | 4166 | 7005k| 216.1 | 28M| 77 | - |1444 |1699 |1444 |1573 | 73k| 333 |1494 |-4.255435e+01 |-2.700000e+01 | 57.61%
1091.02/1091.23 c 1091s| 32500 | 4190 | 7034k| 216.4 | 28M| 77 | 130 |1444 |1701 |1444 |1569 | 73k| 336 |1511 |-4.254494e+01 |-2.700000e+01 | 57.57%
1093.71/1093.99 c 1094s| 32600 | 4206 | 7051k| 216.2 | 28M| 77 | 143 |1444 |1702 |1444 |1575 | 73k| 337 |1511 |-4.253733e+01 |-2.700000e+01 | 57.55%
1094.32/1094.50 c 1095s| 32700 | 4206 | 7055k| 215.7 | 28M| 77 | 137 |1444 |1702 |1444 |1577 | 74k| 337 |1514 |-4.253733e+01 |-2.700000e+01 | 57.55%
1094.92/1095.12 c 1095s| 32800 | 4216 | 7059k| 215.1 | 28M| 77 | - |1444 |1703 |1444 |1570 | 74k| 338 |1518 |-4.253733e+01 |-2.700000e+01 | 57.55%
1096.71/1096.97 c 1097s| 32900 | 4224 | 7071k| 214.9 | 28M| 77 | 138 |1444 |1703 |1444 |1569 | 74k| 338 |1526 |-4.253715e+01 |-2.700000e+01 | 57.54%
1099.91/1100.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1099.91/1100.12 c 1100s| 33000 | 4242 | 7092k| 214.8 | 28M| 77 | 133 |1444 |1704 |1444 |1577 | 74k| 339 |1526 |-4.253522e+01 |-2.700000e+01 | 57.54%
1101.51/1101.74 c 1102s| 33100 | 4250 | 7102k| 214.5 | 28M| 77 | - |1444 |1704 |1444 |1575 | 74k| 339 |1526 |-4.253494e+01 |-2.700000e+01 | 57.54%
1103.02/1103.29 c 1103s| 33200 | 4264 | 7112k| 214.2 | 28M| 77 | - |1444 |1704 |1444 |1573 | 74k| 339 |1526 |-4.253260e+01 |-2.700000e+01 | 57.53%
1105.81/1106.09 c 1106s| 33300 | 4282 | 7131k| 214.1 | 28M| 77 | 164 |1444 |1704 |1444 |1575 | 74k| 339 |1526 |-4.253092e+01 |-2.700000e+01 | 57.52%
1109.01/1109.26 c 1109s| 33400 | 4306 | 7153k| 214.1 | 28M| 77 | 138 |1444 |1704 |1444 |1577 | 75k| 339 |1526 |-4.252790e+01 |-2.700000e+01 | 57.51%
1111.92/1112.11 c 1112s| 33500 | 4326 | 7171k| 214.0 | 28M| 77 | 114 |1444 |1705 |1444 |1575 | 75k| 340 |1526 |-4.252637e+01 |-2.700000e+01 | 57.51%
1113.81/1114.08 c 1114s| 33600 | 4336 | 7184k| 213.8 | 28M| 77 | - |1444 |1705 |1444 |1575 | 75k| 340 |1526 |-4.252423e+01 |-2.700000e+01 | 57.50%
1115.41/1115.61 c 1116s| 33700 | 4344 | 7195k| 213.4 | 28M| 77 | 136 |1444 |1705 |1444 |1572 | 75k| 340 |1526 |-4.251108e+01 |-2.700000e+01 | 57.45%
1117.81/1118.08 c 1118s| 33800 | 4356 | 7212k| 213.3 | 29M| 77 | 149 |1444 |1705 |1444 |1577 | 75k| 340 |1526 |-4.250880e+01 |-2.700000e+01 | 57.44%
1119.51/1119.79 c 1120s| 33900 | 4368 | 7223k| 213.0 | 29M| 77 | - |1444 |1705 |1444 |1576 | 75k| 340 |1526 |-4.250799e+01 |-2.700000e+01 | 57.44%
1123.91/1124.13 c 1124s| 34000 | 4388 | 7250k| 213.2 | 29M| 77 | - |1444 |1705 |1444 |1580 | 76k| 340 |1540 |-4.250503e+01 |-2.700000e+01 | 57.43%
1128.20/1128.49 c 1128s| 34100 | 4430 | 7279k| 213.4 | 29M| 77 | - |1444 |1706 |1444 |1586 | 76k| 341 |1544 |-4.250440e+01 |-2.700000e+01 | 57.42%
1130.41/1130.63 c 1131s| 34200 | 4464 | 7292k| 213.2 | 29M| 77 | 121 |1444 |1706 |1444 |1565 | 76k| 341 |1547 |-4.250181e+01 |-2.700000e+01 | 57.41%
1132.00/1132.27 c 1132s| 34300 | 4470 | 7303k| 212.9 | 29M| 77 | - |1444 |1706 |1444 |1563 | 76k| 341 |1547 |-4.250106e+01 |-2.700000e+01 | 57.41%
1133.71/1133.98 c 1134s| 34400 | 4482 | 7315k| 212.6 | 29M| 77 | 122 |1444 |1706 |1444 |1570 | 76k| 341 |1548 |-4.250019e+01 |-2.700000e+01 | 57.41%
1137.80/1138.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1137.80/1138.09 c 1138s| 34500 | 4512 | 7342k| 212.8 | 29M| 77 | 124 |1444 |1707 |1444 |1565 | 77k| 343 |1548 |-4.249191e+01 |-2.700000e+01 | 57.38%
1139.31/1139.54 c 1140s| 34600 | 4524 | 7352k| 212.4 | 29M| 77 | 119 |1444 |1707 |1444 |1572 | 77k| 343 |1548 |-4.249074e+01 |-2.700000e+01 | 57.37%
1139.61/1139.86 c 1140s| 34700 | 4524 | 7354k| 211.9 | 29M| 77 | 103 |1444 |1707 |1444 |1567 | 77k| 343 |1548 |-4.249074e+01 |-2.700000e+01 | 57.37%
1141.21/1141.47 c 1141s| 34800 | 4524 | 7365k| 211.6 | 29M| 77 | - |1444 |1707 |1444 |1576 | 77k| 343 |1548 |-4.249057e+01 |-2.700000e+01 | 57.37%
1141.51/1141.79 c 1142s| 34900 | 4522 | 7367k| 211.0 | 29M| 77 | 198 |1444 |1707 |1444 |1565 | 77k| 343 |1548 |-4.249057e+01 |-2.700000e+01 | 57.37%
1146.60/1146.81 c 1147s| 35000 | 4544 | 7401k| 211.4 | 29M| 77 | 189 |1444 |1708 |1444 |1567 | 77k| 344 |1548 |-4.247870e+01 |-2.700000e+01 | 57.33%
1150.00/1150.26 c 1150s| 35100 | 4556 | 7425k| 211.5 | 29M| 77 | 148 |1444 |1708 |1444 |1566 | 77k| 344 |1548 |-4.247701e+01 |-2.700000e+01 | 57.32%
1151.70/1151.98 c 1152s| 35200 | 4580 | 7437k| 211.2 | 29M| 77 | - |1444 |1708 |1444 |1567 | 78k| 344 |1548 |-4.247529e+01 |-2.700000e+01 | 57.32%
1155.91/1156.19 c 1156s| 35300 | 4610 | 7467k| 211.5 | 29M| 77 | 113 |1444 |1708 |1444 |1568 | 78k| 344 |1548 |-4.246207e+01 |-2.700000e+01 | 57.27%
1159.00/1159.21 c 1159s| 35400 | 4626 | 7486k| 211.4 | 30M| 77 | - |1444 |1708 |1444 |1566 | 78k| 344 |1564 |-4.246039e+01 |-2.700000e+01 | 57.26%
1162.00/1162.21 c 1162s| 35500 | 4642 | 7506k| 211.4 | 30M| 77 | - |1444 |1708 |1444 |1569 | 78k| 344 |1564 |-4.245689e+01 |-2.700000e+01 | 57.25%
1163.30/1163.53 c 1164s| 35600 | 4648 | 7514k| 211.0 | 30M| 77 | 141 |1444 |1708 |1444 |1568 | 78k| 344 |1567 |-4.245362e+01 |-2.700000e+01 | 57.24%
1167.30/1167.56 c 1168s| 35700 | 4668 | 7541k| 211.2 | 30M| 77 | 164 |1444 |1707 |1444 |1572 | 79k| 344 |1570 |-4.244487e+01 |-2.700000e+01 | 57.20%
1169.00/1169.27 c 1169s| 35800 | 4678 | 7552k| 210.9 | 30M| 77 | - |1444 |1706 |1444 |1567 | 79k| 344 |1570 |-4.244478e+01 |-2.700000e+01 | 57.20%
1170.50/1170.74 c 1171s| 35900 | 4682 | 7562k| 210.6 | 30M| 77 | 122 |1444 |1706 |1444 |1572 | 79k| 344 |1570 |-4.244423e+01 |-2.700000e+01 | 57.20%
1172.20/1172.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.20/1172.49 c 1172s| 36000 | 4700 | 7573k| 210.3 | 30M| 77 | 134 |1444 |1706 |1444 |1570 | 79k| 344 |1570 |-4.243987e+01 |-2.700000e+01 | 57.18%
1174.00/1174.28 c 1174s| 36100 | 4710 | 7585k| 210.1 | 30M| 77 | - |1444 |1706 |1444 |1569 | 79k| 344 |1571 |-4.243777e+01 |-2.700000e+01 | 57.18%
1178.60/1178.88 c 1179s| 36200 | 4736 | 7616k| 210.3 | 30M| 77 | - |1444 |1706 |1444 |1570 | 80k| 344 |1571 |-4.243431e+01 |-2.700000e+01 | 57.16%
1181.59/1181.82 c 1182s| 36300 | 4756 | 7636k| 210.3 | 30M| 77 | - |1444 |1706 |1444 |1567 | 80k| 344 |1571 |-4.243197e+01 |-2.700000e+01 | 57.16%
1183.00/1183.26 c 1183s| 36400 | 4764 | 7646k| 210.0 | 30M| 77 | - |1444 |1707 |1444 |1566 | 80k| 345 |1571 |-4.242480e+01 |-2.700000e+01 | 57.13%
1185.10/1185.30 c 1185s| 36500 | 4772 | 7659k| 209.8 | 30M| 77 | 175 |1444 |1707 |1444 |1575 | 80k| 345 |1571 |-4.242160e+01 |-2.700000e+01 | 57.12%
1185.40/1185.68 c 1186s| 36600 | 4772 | 7662k| 209.3 | 30M| 77 | - |1444 |1708 |1444 |1574 | 80k| 346 |1571 |-4.242160e+01 |-2.700000e+01 | 57.12%
1187.10/1187.35 c 1187s| 36700 | 4782 | 7673k| 209.0 | 30M| 77 | - |1444 |1708 |1444 |1572 | 80k| 346 |1571 |-4.242030e+01 |-2.700000e+01 | 57.11%
1191.10/1191.37 c 1191s| 36800 | 4800 | 7700k| 209.2 | 30M| 77 | 119 |1444 |1708 |1444 |1570 | 81k| 346 |1571 |-4.241781e+01 |-2.700000e+01 | 57.10%
1191.60/1191.89 c 1192s| 36900 | 4806 | 7704k| 208.7 | 30M| 77 | 103 |1444 |1708 |1444 |1576 | 81k| 346 |1571 |-4.241781e+01 |-2.700000e+01 | 57.10%
1195.10/1195.38 c 1195s| 37000 | 4820 | 7724k| 208.7 | 30M| 77 | - |1444 |1708 |1444 |1571 | 81k| 346 |1590 |-4.240895e+01 |-2.700000e+01 | 57.07%
1200.90/1201.14 c 1201s| 37100 | 4850 | 7762k| 209.2 | 30M| 77 | 138 |1444 |1709 |1444 |1573 | 81k| 347 |1596 |-4.239265e+01 |-2.700000e+01 | 57.01%
1203.39/1203.68 c 1204s| 37200 | 4866 | 7779k| 209.1 | 30M| 77 | 144 |1444 |1709 |1444 |1572 | 82k| 347 |1600 |-4.238675e+01 |-2.700000e+01 | 56.99%
1204.99/1205.20 c 1205s| 37300 | 4864 | 7789k| 208.8 | 30M| 77 | 165 |1444 |1709 |1444 |1574 | 82k| 347 |1600 |-4.238327e+01 |-2.700000e+01 | 56.98%
1205.40/1205.65 c 1206s| 37400 | 4864 | 7792k| 208.3 | 30M| 77 | 152 |1444 |1709 |1444 |1571 | 82k| 347 |1600 |-4.238327e+01 |-2.700000e+01 | 56.98%
1207.89/1208.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.89/1208.17 c 1208s| 37500 | 4876 | 7809k| 208.2 | 30M| 77 | - |1444 |1709 |1444 |1575 | 82k| 347 |1600 |-4.237671e+01 |-2.700000e+01 | 56.95%
1211.30/1211.54 c 1212s| 37600 | 4900 | 7832k| 208.2 | 30M| 77 | 146 |1444 |1709 |1444 |1571 | 82k| 347 |1600 |-4.237267e+01 |-2.700000e+01 | 56.94%
1213.00/1213.24 c 1213s| 37700 | 4908 | 7843k| 208.0 | 30M| 77 | 140 |1444 |1709 |1444 |1569 | 82k| 347 |1600 |-4.237144e+01 |-2.700000e+01 | 56.93%
1213.39/1213.66 c 1214s| 37800 | 4902 | 7846k| 207.5 | 30M| 77 | - |1444 |1709 |1444 |1569 | 82k| 347 |1600 |-4.237144e+01 |-2.700000e+01 | 56.93%
1215.20/1215.42 c 1215s| 37900 | 4916 | 7857k| 207.3 | 30M| 77 | 176 |1444 |1709 |1444 |1576 | 82k| 347 |1600 |-4.237036e+01 |-2.700000e+01 | 56.93%
1216.80/1217.06 c 1217s| 38000 | 4924 | 7869k| 207.0 | 30M| 77 | - |1444 |1708 |1444 |1575 | 83k| 347 |1600 |-4.236533e+01 |-2.700000e+01 | 56.91%
1219.40/1219.69 c 1220s| 38100 | 4944 | 7888k| 207.0 | 30M| 77 | - |1444 |1712 |1444 |1574 | 83k| 351 |1600 |-4.236082e+01 |-2.700000e+01 | 56.89%
1222.59/1222.84 c 1223s| 38200 | 4958 | 7908k| 207.0 | 30M| 77 | - |1444 |1713 |1444 |1572 | 83k| 352 |1601 |-4.235568e+01 |-2.700000e+01 | 56.87%
1226.89/1227.15 c 1227s| 38300 | 4986 | 7938k| 207.2 | 31M| 77 | - |1444 |1713 |1444 |1569 | 83k| 352 |1601 |-4.235183e+01 |-2.700000e+01 | 56.86%
1230.70/1230.91 c 1231s| 38400 | 5000 | 7962k| 207.3 | 31M| 77 | 138 |1444 |1714 |1444 |1570 | 84k| 353 |1610 |-4.234758e+01 |-2.700000e+01 | 56.84%
1233.90/1234.17 c 1234s| 38500 | 5016 | 7983k| 207.3 | 31M| 77 | 138 |1444 |1715 |1444 |1572 | 84k| 354 |1620 |-4.234634e+01 |-2.700000e+01 | 56.84%
1235.59/1235.89 c 1236s| 38600 | 5020 | 7995k| 207.1 | 31M| 77 | 137 |1444 |1715 |1444 |1570 | 84k| 354 |1620 |-4.234590e+01 |-2.700000e+01 | 56.84%
1238.40/1238.67 c 1239s| 38700 | 5034 | 8014k| 207.0 | 31M| 77 | - |1444 |1716 |1444 |1576 | 84k| 355 |1620 |-4.234115e+01 |-2.700000e+01 | 56.82%
1240.19/1240.48 c 1240s| 38800 | 5042 | 8026k| 206.8 | 31M| 77 | 150 |1444 |1716 |1444 |1566 | 84k| 355 |1620 |-4.234075e+01 |-2.700000e+01 | 56.82%
1244.58/1244.89 c 1245s| 38900 | 5074 | 8056k| 207.1 | 31M| 77 | 148 |1444 |1716 |1444 |1578 | 85k| 355 |1620 |-4.233364e+01 |-2.700000e+01 | 56.79%
1251.39/1251.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1251.39/1251.60 c 1252s| 39000 | 5114 | 8103k| 207.7 | 31M| 77 | - |1444 |1714 |1444 |1584 | 85k| 355 |1621 |-4.232619e+01 |-2.700000e+01 | 56.76%
1254.58/1254.85 c 1255s| 39100 | 5134 | 8124k| 207.7 | 31M| 77 | 163 |1444 |1714 |1444 |1580 | 85k| 356 |1621 |-4.232508e+01 |-2.700000e+01 | 56.76%
1260.49/1260.70 c 1261s| 39200 | 5168 | 8165k| 208.3 | 31M| 77 | 152 |1444 |1711 |1444 |1572 | 86k| 356 |1621 |-4.231611e+01 |-2.700000e+01 | 56.73%
1263.60/1263.85 c 1264s| 39300 | 5188 | 8184k| 208.2 | 31M| 77 | 171 |1444 |1711 |1444 |1579 | 86k| 356 |1634 |-4.231400e+01 |-2.700000e+01 | 56.72%
1263.98/1264.23 c 1264s| 39400 | 5190 | 8186k| 207.7 | 31M| 77 | 155 |1444 |1711 |1444 |1579 | 86k| 356 |1634 |-4.231400e+01 |-2.700000e+01 | 56.72%
1266.89/1267.15 c 1267s| 39500 | 5198 | 8205k| 207.7 | 31M| 77 | 150 |1444 |1709 |1444 |1574 | 86k| 356 |1634 |-4.230701e+01 |-2.700000e+01 | 56.69%
1268.58/1268.86 c 1269s| 39600 | 5204 | 8217k| 207.5 | 31M| 77 | - |1444 |1709 |1444 |1574 | 86k| 356 |1634 |-4.230320e+01 |-2.700000e+01 | 56.68%
1272.08/1272.30 c 1272s| 39700 | 5220 | 8242k| 207.6 | 31M| 77 | - |1444 |1708 |1444 |1573 | 86k| 356 |1641 |-4.230012e+01 |-2.700000e+01 | 56.67%
1273.88/1274.19 c 1274s| 39800 | 5244 | 8254k| 207.3 | 31M| 77 | 162 |1444 |1707 |1444 |1573 | 87k| 356 |1643 |-4.229853e+01 |-2.700000e+01 | 56.66%
1274.49/1274.72 c 1275s| 39900 | 5246 | 8258k| 206.9 | 31M| 77 | 158 |1444 |1707 |1444 |1577 | 87k| 356 |1643 |-4.229853e+01 |-2.700000e+01 | 56.66%
1278.68/1278.93 c 1279s| 40000 | 5276 | 8289k| 207.2 | 32M| 77 | 145 |1444 |1708 |1444 |1581 | 87k| 357 |1643 |-4.229377e+01 |-2.700000e+01 | 56.64%
1280.29/1280.51 c 1281s| 40100 | 5288 | 8299k| 206.9 | 32M| 77 | 143 |1444 |1708 |1444 |1579 | 87k| 357 |1643 |-4.229186e+01 |-2.700000e+01 | 56.64%
1283.68/1283.98 c 1284s| 40200 | 5310 | 8323k| 207.0 | 32M| 77 | 127 |1444 |1707 |1444 |1573 | 87k| 357 |1643 |-4.229064e+01 |-2.700000e+01 | 56.63%
1285.18/1285.49 c 1285s| 40300 | 5312 | 8332k| 206.7 | 32M| 77 | - |1444 |1708 |1444 |1571 | 87k| 358 |1643 |-4.228622e+01 |-2.700000e+01 | 56.62%
1287.08/1287.39 c 1287s| 40400 | 5340 | 8346k| 206.5 | 32M| 77 | 156 |1444 |1708 |1444 |1578 | 88k| 358 |1643 |-4.228622e+01 |-2.700000e+01 | 56.62%
1288.89/1289.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.89/1289.11 c 1289s| 40500 | 5354 | 8358k| 206.3 | 32M| 77 | - |1444 |1708 |1444 |1572 | 88k| 358 |1643 |-4.228523e+01 |-2.700000e+01 | 56.61%
1290.38/1290.61 c 1291s| 40600 | 5358 | 8367k| 206.0 | 32M| 77 | 151 |1444 |1707 |1444 |1575 | 88k| 358 |1643 |-4.228251e+01 |-2.700000e+01 | 56.60%
1293.29/1293.59 c 1294s| 40700 | 5374 | 8386k| 206.0 | 32M| 77 | - |1444 |1707 |1444 |1572 | 88k| 358 |1643 |-4.228060e+01 |-2.700000e+01 | 56.59%
1294.68/1294.98 c 1295s| 40800 | 5386 | 8395k| 205.7 | 32M| 77 | 132 |1444 |1707 |1444 |1576 | 88k| 358 |1643 |-4.228008e+01 |-2.700000e+01 | 56.59%
1297.48/1297.78 c 1298s| 40900 | 5400 | 8414k| 205.7 | 32M| 77 | 163 |1444 |1708 |1444 |1575 | 88k| 359 |1643 |-4.227907e+01 |-2.700000e+01 | 56.59%
1301.28/1301.56 c 1302s| 41000 | 5416 | 8437k| 205.7 | 32M| 77 | - |1444 |1709 |1444 |1572 | 89k| 360 |1660 |-4.227796e+01 |-2.700000e+01 | 56.59%
1301.78/1302.00 c 1302s| 41100 | 5416 | 8440k| 205.3 | 32M| 77 | - |1444 |1709 |1444 |1574 | 89k| 360 |1660 |-4.227796e+01 |-2.700000e+01 | 56.59%
1304.39/1304.69 c 1305s| 41200 | 5432 | 8458k| 205.2 | 32M| 77 | 122 |1444 |1710 |1444 |1566 | 89k| 361 |1660 |-4.227608e+01 |-2.700000e+01 | 56.58%
1306.38/1306.67 c 1307s| 41300 | 5440 | 8471k| 205.1 | 32M| 77 | 146 |1444 |1709 |1444 |1567 | 89k| 361 |1668 |-4.227323e+01 |-2.700000e+01 | 56.57%
1307.08/1307.34 c 1307s| 41400 | 5450 | 8475k| 204.7 | 32M| 77 | 153 |1444 |1709 |1444 |1574 | 89k| 361 |1668 |-4.227323e+01 |-2.700000e+01 | 56.57%
1309.97/1310.21 c 1310s| 41500 | 5468 | 8494k| 204.6 | 32M| 77 | 157 |1444 |1709 |1444 |1579 | 89k| 361 |1671 |-4.227280e+01 |-2.700000e+01 | 56.57%
1310.58/1310.84 c 1311s| 41600 | 5476 | 8498k| 204.2 | 32M| 77 | 180 |1444 |1709 |1444 |1575 | 89k| 361 |1671 |-4.227280e+01 |-2.700000e+01 | 56.57%
1312.17/1312.45 c 1312s| 41700 | 5482 | 8508k| 204.0 | 32M| 77 | - |1444 |1709 |1444 |1574 | 90k| 361 |1671 |-4.226657e+01 |-2.700000e+01 | 56.54%
1314.87/1315.18 c 1315s| 41800 | 5492 | 8527k| 204.0 | 32M| 77 | - |1444 |1708 |1444 |1574 | 90k| 361 |1671 |-4.225848e+01 |-2.700000e+01 | 56.51%
1316.39/1316.61 c 1317s| 41900 | 5504 | 8537k| 203.7 | 32M| 77 | - |1444 |1707 |1444 |1570 | 90k| 361 |1672 |-4.225664e+01 |-2.700000e+01 | 56.51%
1318.28/1318.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.28/1318.54 c 1319s| 42000 | 5524 | 8550k| 203.5 | 32M| 77 | - |1444 |1707 |1444 |1572 | 90k| 361 |1672 |-4.225249e+01 |-2.700000e+01 | 56.49%
1320.79/1321.08 c 1321s| 42100 | 5542 | 8567k| 203.5 | 32M| 77 | - |1444 |1707 |1444 |1572 | 90k| 361 |1672 |-4.224469e+01 |-2.700000e+01 | 56.46%
1323.38/1323.60 c 1324s| 42200 | 5560 | 8585k| 203.4 | 33M| 77 | - |1444 |1706 |1444 |1575 | 90k| 361 |1673 |-4.224022e+01 |-2.700000e+01 | 56.45%
1326.68/1326.98 c 1327s| 42300 | 5572 | 8607k| 203.4 | 33M| 77 | 168 |1444 |1707 |1444 |1573 | 91k| 362 |1673 |-4.223932e+01 |-2.700000e+01 | 56.44%
1331.28/1331.57 c 1332s| 42400 | 5588 | 8639k| 203.7 | 33M| 77 | - |1444 |1706 |1444 |1576 | 91k| 362 |1673 |-4.222647e+01 |-2.700000e+01 | 56.39%
1335.37/1335.64 c 1336s| 42500 | 5612 | 8666k| 203.9 | 33M| 77 | 168 |1444 |1707 |1444 |1575 | 91k| 363 |1676 |-4.222358e+01 |-2.700000e+01 | 56.38%
1344.07/1344.33 c 1344s| 42600 | 5648 | 8723k| 204.7 | 33M| 77 | - |1444 |1707 |1444 |1568 | 92k| 363 |1694 |-4.221549e+01 |-2.700000e+01 | 56.35%
1347.07/1347.36 c 1347s| 42700 | 5660 | 8744k| 204.7 | 33M| 77 | - |1444 |1708 |1444 |1573 | 92k| 364 |1698 |-4.221450e+01 |-2.700000e+01 | 56.35%
1351.68/1351.97 c 1352s| 42800 | 5680 | 8775k| 205.0 | 33M| 77 | - |1444 |1709 |1444 |1570 | 92k| 365 |1703 |-4.221167e+01 |-2.700000e+01 | 56.34%
1353.57/1353.81 c 1354s| 42900 | 5696 | 8788k| 204.8 | 33M| 77 | 196 |1444 |1709 |1444 |1576 | 93k| 365 |1703 |-4.220875e+01 |-2.700000e+01 | 56.33%
1356.17/1356.47 c 1356s| 43000 | 5716 | 8806k| 204.8 | 33M| 77 | - |1444 |1710 |1444 |1575 | 93k| 366 |1703 |-4.220407e+01 |-2.700000e+01 | 56.31%
1357.97/1358.29 c 1358s| 43100 | 5726 | 8818k| 204.5 | 33M| 77 | - |1444 |1710 |1444 |1576 | 93k| 366 |1703 |-4.220370e+01 |-2.700000e+01 | 56.31%
1360.97/1361.28 c 1361s| 43200 | 5738 | 8837k| 204.5 | 33M| 77 | 148 |1444 |1710 |1444 |1576 | 93k| 366 |1703 |-4.220031e+01 |-2.700000e+01 | 56.30%
1365.77/1366.03 c 1366s| 43300 | 5766 | 8869k| 204.8 | 33M| 77 | 187 |1444 |1709 |1444 |1579 | 93k| 366 |1704 |-4.219535e+01 |-2.700000e+01 | 56.28%
1370.57/1370.80 c 1371s| 43400 | 5786 | 8901k| 205.0 | 33M| 77 | 183 |1444 |1709 |1444 |1573 | 94k| 366 |1704 |-4.218429e+01 |-2.700000e+01 | 56.24%
1373.17/1373.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.17/1373.46 c 1373s| 43500 | 5802 | 8919k| 205.0 | 33M| 77 | 175 |1444 |1709 |1444 |1579 | 94k| 366 |1704 |-4.217767e+01 |-2.700000e+01 | 56.21%
1375.07/1375.39 c 1375s| 43600 | 5806 | 8931k| 204.8 | 33M| 77 | 184 |1444 |1710 |1444 |1567 | 94k| 367 |1704 |-4.217158e+01 |-2.700000e+01 | 56.19%
1378.37/1378.69 c 1379s| 43700 | 5822 | 8952k| 204.8 | 33M| 77 | - |1444 |1710 |1444 |1570 | 94k| 367 |1718 |-4.216891e+01 |-2.700000e+01 | 56.18%
1380.47/1380.76 c 1381s| 43800 | 5834 | 8967k| 204.7 | 33M| 77 | - |1444 |1710 |1444 |1579 | 94k| 367 |1718 |-4.216672e+01 |-2.700000e+01 | 56.17%
1383.17/1383.48 c 1383s| 43900 | 5852 | 8985k| 204.6 | 33M| 77 | 128 |1444 |1710 |1444 |1582 | 95k| 367 |1718 |-4.215717e+01 |-2.700000e+01 | 56.14%
1385.06/1385.33 c 1385s| 44000 | 5868 | 8997k| 204.4 | 33M| 77 | 148 |1444 |1710 |1444 |1574 | 95k| 367 |1730 |-4.215603e+01 |-2.700000e+01 | 56.13%
1386.56/1386.87 c 1387s| 44100 | 5870 | 9006k| 204.2 | 33M| 77 | 157 |1444 |1710 |1444 |1577 | 95k| 367 |1731 |-4.215482e+01 |-2.700000e+01 | 56.13%
1390.57/1390.89 c 1391s| 44200 | 5888 | 9032k| 204.3 | 34M| 77 | - |1444 |1711 |1444 |1567 | 95k| 368 |1737 |-4.214992e+01 |-2.700000e+01 | 56.11%
1394.87/1395.11 c 1395s| 44300 | 5902 | 9061k| 204.5 | 34M| 77 | - |1444 |1710 |1444 |1573 | 96k| 368 |1738 |-4.214876e+01 |-2.700000e+01 | 56.11%
1398.97/1399.29 c 1399s| 44400 | 5918 | 9090k| 204.7 | 34M| 77 | - |1444 |1708 |1444 |1569 | 96k| 368 |1740 |-4.213727e+01 |-2.700000e+01 | 56.06%
1401.77/1402.09 c 1402s| 44500 | 5930 | 9109k| 204.7 | 34M| 77 | 155 |1444 |1707 |1444 |1572 | 96k| 368 |1740 |-4.213466e+01 |-2.700000e+01 | 56.05%
1407.26/1407.53 c 1408s| 44600 | 5946 | 9145k| 205.0 | 34M| 77 | - |1444 |1708 |1444 |1577 | 96k| 369 |1740 |-4.212994e+01 |-2.700000e+01 | 56.04%
1409.97/1410.26 c 1410s| 44700 | 5956 | 9165k| 205.0 | 34M| 77 | 167 |1444 |1708 |1444 |1575 | 97k| 369 |1740 |-4.212535e+01 |-2.700000e+01 | 56.02%
1411.46/1411.73 c 1412s| 44800 | 5966 | 9175k| 204.8 | 34M| 77 | 159 |1444 |1708 |1444 |1583 | 97k| 369 |1740 |-4.212438e+01 |-2.700000e+01 | 56.02%
1415.97/1416.23 c 1416s| 44900 | 5978 | 9204k| 205.0 | 34M| 77 | - |1444 |1707 |1444 |1577 | 97k| 369 |1740 |-4.212150e+01 |-2.700000e+01 | 56.01%
1421.06/1421.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1421.06/1421.35 c 1421s| 45000 | 6002 | 9238k| 205.2 | 34M| 77 | - |1444 |1707 |1444 |1568 | 97k| 370 |1749 |-4.211067e+01 |-2.700000e+01 | 55.97%
1426.86/1427.19 c 1427s| 45100 | 6026 | 9275k| 205.6 | 34M| 77 | 159 |1444 |1707 |1444 |1571 | 98k| 370 |1762 |-4.210287e+01 |-2.700000e+01 | 55.94%
1428.86/1429.15 c 1429s| 45200 | 6018 | 9287k| 205.4 | 34M| 77 | - |1444 |1708 |1444 |1570 | 98k| 371 |1767 |-4.210256e+01 |-2.700000e+01 | 55.94%
1433.56/1433.82 c 1434s| 45300 | 6034 | 9318k| 205.7 | 34M| 77 | 176 |1444 |1709 |1444 |1581 | 99k| 372 |1771 |-4.210139e+01 |-2.700000e+01 | 55.93%
1436.66/1436.93 c 1437s| 45400 | 6030 | 9339k| 205.7 | 34M| 77 | - |1444 |1709 |1444 |1578 | 99k| 372 |1772 |-4.209948e+01 |-2.700000e+01 | 55.92%
1438.56/1438.85 c 1439s| 45500 | 6038 | 9352k| 205.5 | 34M| 77 | 199 |1444 |1709 |1444 |1580 | 99k| 372 |1772 |-4.209830e+01 |-2.700000e+01 | 55.92%
1441.56/1441.84 c 1442s| 45600 | 6060 | 9372k| 205.5 | 34M| 77 | 149 |1444 |1709 |1444 |1581 | 99k| 372 |1779 |-4.209646e+01 |-2.700000e+01 | 55.91%
1443.15/1443.43 c 1443s| 45700 | 6060 | 9383k| 205.3 | 34M| 77 | - |1444 |1709 |1444 |1584 | 99k| 372 |1779 |-4.209643e+01 |-2.700000e+01 | 55.91%
1444.86/1445.11 c 1445s| 45800 | 6070 | 9393k| 205.1 | 34M| 77 | - |1444 |1709 |1444 |1586 | 99k| 372 |1780 |-4.209628e+01 |-2.700000e+01 | 55.91%
1448.47/1448.78 c 1449s| 45900 | 6098 | 9419k| 205.2 | 34M| 77 | 212 |1444 |1709 |1444 |1727 | 100k| 372 |1780 |-4.209390e+01 |-2.700000e+01 | 55.90%
1450.45/1450.79 c 1451s| 46000 | 6126 | 9433k| 205.0 | 34M| 77 | 245 |1444 |1712 |1444 |1722 | 100k| 375 |1780 |-4.208991e+01 |-2.700000e+01 | 55.89%
1452.45/1452.76 c 1453s| 46100 | 6142 | 9447k| 204.9 | 34M| 77 | - |1444 |1712 |1444 |1731 | 100k| 375 |1780 |-4.208837e+01 |-2.700000e+01 | 55.88%
1456.16/1456.42 c 1456s| 46200 | 6164 | 9472k| 205.0 | 34M| 77 | - |1444 |1712 |1444 |1729 | 100k| 375 |1780 |-4.208440e+01 |-2.700000e+01 | 55.87%
1459.76/1460.03 c 1460s| 46300 | 6208 | 9495k| 205.0 | 34M| 77 | 219 |1444 |1714 |1444 |1583 | 101k| 377 |1780 |-4.208245e+01 |-2.700000e+01 | 55.86%
1460.46/1460.79 c 1461s| 46400 | 6230 | 9500k| 204.7 | 34M| 77 | 163 |1444 |1717 |1444 |1578 | 101k| 380 |1780 |-4.208245e+01 |-2.700000e+01 | 55.86%
1460.95/1461.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1460.95/1461.26 c 1461s| 46500 | 6242 | 9503k| 204.3 | 35M| 77 | 165 |1444 |1718 |1444 |1580 | 101k| 381 |1780 |-4.208245e+01 |-2.700000e+01 | 55.86%
1462.85/1463.16 c 1463s| 46600 | 6258 | 9514k| 204.1 | 35M| 77 | 160 |1444 |1718 |1444 |1580 | 101k| 381 |1796 |-4.207914e+01 |-2.700000e+01 | 55.85%
1464.36/1464.67 c 1465s| 46700 | 6271 | 9523k| 203.9 | 35M| 77 | 210 |1444 |1717 |1444 |1576 | 101k| 381 |1796 |-4.207431e+01 |-2.700000e+01 | 55.83%
1465.05/1465.35 c 1465s| 46800 | 6297 | 9527k| 203.5 | 35M| 77 | - |1444 |1718 |1444 |1580 | 101k| 382 |1796 |-4.207431e+01 |-2.700000e+01 | 55.83%
1467.25/1467.52 c 1468s| 46900 | 6321 | 9540k| 203.4 | 35M| 77 | 156 |1444 |1718 |1444 |1581 | 101k| 383 |1804 |-4.207431e+01 |-2.700000e+01 | 55.83%
1467.75/1468.05 c 1468s| 47000 | 6325 | 9543k| 203.0 | 35M| 77 | 217 |1444 |1718 |1444 |1576 | 101k| 383 |1804 |-4.207431e+01 |-2.700000e+01 | 55.83%
1470.95/1471.27 c 1471s| 47100 | 6353 | 9565k| 203.0 | 35M| 77 | 154 |1444 |1718 |1444 |1571 | 101k| 383 |1806 |-4.207153e+01 |-2.700000e+01 | 55.82%
1472.56/1472.83 c 1473s| 47200 | 6383 | 9576k| 202.8 | 35M| 77 | 177 |1444 |1718 |1444 |1574 | 101k| 383 |1806 |-4.206964e+01 |-2.700000e+01 | 55.81%
1473.16/1473.45 c 1473s| 47300 | 6407 | 9580k| 202.5 | 35M| 77 | 178 |1444 |1718 |1444 |1571 | 101k| 383 |1815 |-4.206964e+01 |-2.700000e+01 | 55.81%
1475.45/1475.71 c 1476s| 47400 | 6429 | 9593k| 202.3 | 35M| 77 | 216 |1444 |1718 |1444 |1576 | 102k| 383 |1831 |-4.206786e+01 |-2.700000e+01 | 55.81%
1475.96/1476.22 c 1476s| 47500 | 6443 | 9596k| 202.0 | 35M| 77 | 165 |1444 |1719 |1444 |1578 | 102k| 384 |1831 |-4.206786e+01 |-2.700000e+01 | 55.81%
1477.75/1478.04 c 1478s| 47600 | 6459 | 9608k| 201.8 | 36M| 77 | 173 |1444 |1718 |1444 |1572 | 102k| 384 |1831 |-4.206193e+01 |-2.700000e+01 | 55.78%
1479.45/1479.78 c 1480s| 47700 | 6479 | 9620k| 201.6 | 36M| 77 | 153 |1444 |1719 |1444 |1570 | 102k| 385 |1831 |-4.206067e+01 |-2.700000e+01 | 55.78%
1482.85/1483.13 c 1483s| 47800 | 6515 | 9642k| 201.7 | 36M| 77 | 141 |1444 |1719 |1444 |1573 | 102k| 385 |1834 |-4.205816e+01 |-2.700000e+01 | 55.77%
1486.45/1486.72 c 1487s| 47900 | 6549 | 9666k| 201.8 | 36M| 77 | 201 |1444 |1718 |1444 |1576 | 102k| 385 |1834 |-4.205551e+01 |-2.700000e+01 | 55.76%
1487.05/1487.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1487.05/1487.30 c 1487s| 48000 | 6571 | 9670k| 201.4 | 36M| 77 | - |1444 |1717 |1444 |1582 | 102k| 385 |1834 |-4.205551e+01 |-2.700000e+01 | 55.76%
1488.55/1488.89 c 1489s| 48100 | 6603 | 9680k| 201.2 | 36M| 77 | 218 |1444 |1717 |1444 |1582 | 102k| 385 |1834 |-4.205507e+01 |-2.700000e+01 | 55.76%
1490.55/1490.82 c 1491s| 48200 | 6625 | 9694k| 201.1 | 36M| 77 | - |1444 |1717 |1444 |1582 | 102k| 385 |1834 |-4.205419e+01 |-2.700000e+01 | 55.76%
1491.15/1491.45 c 1491s| 48300 | 6641 | 9698k| 200.7 | 36M| 77 | 196 |1444 |1715 |1444 |1577 | 102k| 385 |1834 |-4.205419e+01 |-2.700000e+01 | 55.76%
1493.55/1493.83 c 1494s| 48400 | 6677 | 9714k| 200.7 | 36M| 77 | 252 |1444 |1715 |1444 |1579 | 103k| 386 |1835 |-4.204974e+01 |-2.700000e+01 | 55.74%
1495.85/1496.11 c 1496s| 48500 | 6725 | 9729k| 200.6 | 37M| 77 | 257 |1444 |1716 |1444 |1565 | 103k| 387 |1835 |-4.204853e+01 |-2.700000e+01 | 55.74%
1497.55/1497.87 c 1498s| 48600 | 6731 | 9740k| 200.4 | 37M| 77 | - |1444 |1715 |1444 |1583 | 103k| 388 |1835 |-4.204849e+01 |-2.700000e+01 | 55.74%
1499.25/1499.55 c 1500s| 48700 | 6747 | 9752k| 200.2 | 37M| 77 | - |1444 |1716 |1444 |1577 | 103k| 390 |1835 |-4.204734e+01 |-2.700000e+01 | 55.73%
1503.35/1503.69 c 1504s| 48800 | 6771 | 9779k| 200.4 | 37M| 77 | 157 |1444 |1714 |1444 |1582 | 103k| 391 |1835 |-4.204573e+01 |-2.700000e+01 | 55.72%
1507.85/1508.14 c 1508s| 48900 | 6793 | 9811k| 200.6 | 37M| 77 | - |1444 |1712 |1444 |1579 | 104k| 392 |1835 |-4.203754e+01 |-2.700000e+01 | 55.69%
1511.15/1511.41 c 1511s| 49000 | 6827 | 9831k| 200.6 | 37M| 77 | - |1444 |1712 |1444 |1577 | 104k| 393 |1845 |-4.203152e+01 |-2.700000e+01 | 55.67%
1514.65/1514.97 c 1515s| 49100 | 6859 | 9854k| 200.7 | 37M| 77 | - |1444 |1712 |1444 |1571 | 104k| 394 |1846 |-4.202816e+01 |-2.700000e+01 | 55.66%
1515.64/1515.99 c 1516s| 49200 | 6881 | 9860k| 200.4 | 37M| 77 | - |1444 |1712 |1444 |1578 | 104k| 394 |1854 |-4.202816e+01 |-2.700000e+01 | 55.66%
1518.04/1518.35 c 1518s| 49300 | 6911 | 9874k| 200.2 | 38M| 77 | 152 |1444 |1713 |1444 |1578 | 104k| 395 |1867 |-4.202405e+01 |-2.700000e+01 | 55.64%
1520.75/1521.07 c 1521s| 49400 | 6937 | 9891k| 200.2 | 38M| 77 | 282 |1444 |1712 |1444 |1563 | 104k| 396 |1867 |-4.202049e+01 |-2.700000e+01 | 55.63%
1524.25/1524.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.25/1524.52 c 1525s| 49500 | 6967 | 9915k| 200.3 | 38M| 77 | - |1444 |1711 |1444 |1576 | 105k| 396 |1869 |-4.201891e+01 |-2.700000e+01 | 55.63%
1531.04/1531.32 c 1531s| 49600 | 7011 | 9962k| 200.8 | 38M| 77 | 392 |1444 |1711 |1444 |1706 | 105k| 396 |1872 |-4.201328e+01 |-2.700000e+01 | 55.60%
1537.65/1537.96 c 1538s| 49700 | 7057 | 10007k| 201.3 | 38M| 77 | - |1444 |1711 |1444 |1576 | 105k| 396 |1872 |-4.200533e+01 |-2.700000e+01 | 55.58%
1540.54/1540.81 c 1541s| 49800 | 7085 | 10026k| 201.3 | 38M| 77 | 188 |1444 |1711 |1444 |1582 | 106k| 396 |1873 |-4.200505e+01 |-2.700000e+01 | 55.57%
1542.65/1542.94 c 1543s| 49900 | 7095 | 10041k| 201.2 | 38M| 77 | 212 |1444 |1711 |1444 |1569 | 106k| 396 |1873 |-4.200491e+01 |-2.700000e+01 | 55.57%
1544.54/1544.86 c 1545s| 50000 | 7115 | 10053k| 201.0 | 38M| 77 | 180 |1444 |1711 |1444 |1575 | 106k| 396 |1873 |-4.200319e+01 |-2.700000e+01 | 55.57%
1545.15/1545.42 c 1545s| 50100 | 7125 | 10057k| 200.7 | 38M| 77 | - |1444 |1711 |1444 |1571 | 106k| 396 |1873 |-4.200319e+01 |-2.700000e+01 | 55.57%
1547.04/1547.39 c 1547s| 50200 | 7163 | 10069k| 200.5 | 38M| 77 | 222 |1444 |1711 |1444 |1577 | 106k| 396 |1873 |-4.200314e+01 |-2.700000e+01 | 55.57%
1548.84/1549.15 c 1549s| 50300 | 7185 | 10081k| 200.4 | 39M| 77 | - |1444 |1710 |1444 |1584 | 106k| 396 |1875 |-4.200269e+01 |-2.700000e+01 | 55.57%
1550.75/1551.05 c 1551s| 50400 | 7213 | 10095k| 200.3 | 39M| 77 | - |1444 |1710 |1444 |1589 | 106k| 396 |1875 |-4.200234e+01 |-2.700000e+01 | 55.56%
1553.94/1554.29 c 1554s| 50500 | 7235 | 10117k| 200.3 | 39M| 77 | 201 |1444 |1710 |1444 |1577 | 107k| 397 |1875 |-4.199937e+01 |-2.700000e+01 | 55.55%
1554.64/1554.91 c 1555s| 50600 | 7257 | 10121k| 200.0 | 39M| 77 | - |1444 |1710 |1444 |1580 | 107k| 397 |1875 |-4.199937e+01 |-2.700000e+01 | 55.55%
1560.54/1560.81 c 1561s| 50700 | 7279 | 10158k| 200.3 | 39M| 77 | - |1444 |1707 |1444 |1581 | 107k| 397 |1896 |-4.199653e+01 |-2.700000e+01 | 55.54%
1566.64/1566.97 c 1567s| 50800 | 7325 | 10201k| 200.8 | 39M| 77 | - |1444 |1709 |1444 |1583 | 107k| 399 |1897 |-4.199109e+01 |-2.700000e+01 | 55.52%
1569.73/1570.07 c 1570s| 50900 | 7351 | 10222k| 200.8 | 39M| 77 | 166 |1444 |1709 |1444 |1590 | 108k| 399 |1897 |-4.198865e+01 |-2.700000e+01 | 55.51%
1570.54/1570.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1570.54/1570.89 c 1571s| 51000 | 7373 | 10227k| 200.5 | 39M| 77 | 205 |1444 |1711 |1444 |1583 | 108k| 401 |1897 |-4.198865e+01 |-2.700000e+01 | 55.51%
1571.34/1571.62 c 1572s| 51100 | 7395 | 10232k| 200.2 | 39M| 77 | 220 |1444 |1711 |1444 |1587 | 108k| 401 |1897 |-4.198865e+01 |-2.700000e+01 | 55.51%
1573.44/1573.71 c 1574s| 51200 | 7413 | 10246k| 200.1 | 39M| 77 | - |1444 |1711 |1444 |1576 | 108k| 401 |1897 |-4.198730e+01 |-2.700000e+01 | 55.51%
1576.44/1576.73 c 1577s| 51300 | 7443 | 10267k| 200.1 | 39M| 77 | 334 |1444 |1711 |1444 |1677 | 108k| 401 |1897 |-4.198725e+01 |-2.700000e+01 | 55.51%
1586.94/1587.25 c 1587s| 51400 | 7517 | 10339k| 201.1 | 40M| 77 | - |1444 |1710 |1444 |1582 | 109k| 403 |1898 |-4.198705e+01 |-2.700000e+01 | 55.51%
1588.54/1588.80 c 1589s| 51500 | 7541 | 10349k| 200.9 | 40M| 77 | - |1444 |1711 |1444 |1576 | 109k| 404 |1898 |-4.198627e+01 |-2.700000e+01 | 55.50%
1589.14/1589.47 c 1589s| 51600 | 7561 | 10353k| 200.6 | 40M| 77 | 179 |1444 |1711 |1444 |1579 | 109k| 404 |1898 |-4.198627e+01 |-2.700000e+01 | 55.50%
1589.74/1590.09 c 1590s| 51700 | 7575 | 10357k| 200.3 | 40M| 77 | - |1444 |1711 |1444 |1586 | 109k| 404 |1898 |-4.198627e+01 |-2.700000e+01 | 55.50%
1590.34/1590.69 c 1591s| 51800 | 7589 | 10361k| 200.0 | 40M| 77 | 199 |1444 |1711 |1444 |1577 | 109k| 404 |1898 |-4.198627e+01 |-2.700000e+01 | 55.50%
1594.53/1594.84 c 1595s| 51900 | 7623 | 10388k| 200.1 | 40M| 77 | - |1444 |1711 |1444 |1584 | 109k| 405 |1899 |-4.197781e+01 |-2.700000e+01 | 55.47%
1599.23/1599.50 c 1599s| 52000 | 7667 | 10417k| 200.3 | 40M| 77 | - |1444 |1711 |1444 |1585 | 109k| 406 |1912 |-4.197458e+01 |-2.700000e+01 | 55.46%
1605.93/1606.27 c 1606s| 52100 | 7719 | 10462k| 200.8 | 41M| 77 | - |1444 |1711 |1444 |1585 | 110k| 406 |1916 |-4.196918e+01 |-2.700000e+01 | 55.44%
1610.63/1610.92 c 1611s| 52200 | 7769 | 10495k| 201.0 | 41M| 77 | 571 |1444 |1710 |1444 |1576 | 110k| 406 |1917 |-4.196579e+01 |-2.700000e+01 | 55.43%
1624.83/1625.14 c 1625s| 52300 | 7867 | 10590k| 202.5 | 41M| 77 | 223 |1444 |1712 |1444 |1577 | 111k| 408 |1917 |-4.196201e+01 |-2.700000e+01 | 55.41%
1626.32/1626.60 c 1627s| 52400 | 7893 | 10600k| 202.3 | 41M| 77 | - |1444 |1712 |1444 |1579 | 111k| 408 |1918 |-4.196002e+01 |-2.700000e+01 | 55.41%
1630.43/1630.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1630.43/1630.79 c 1631s| 52500 | 7935 | 10629k| 202.4 | 41M| 77 | 178 |1444 |1712 |1444 |1588 | 111k| 408 |1918 |-4.195542e+01 |-2.700000e+01 | 55.39%
1639.42/1639.79 c 1640s| 52600 | 7979 | 10689k| 203.2 | 41M| 77 | 502 |1444 |1713 |1444 |1597 | 112k| 409 |1928 |-4.195253e+01 |-2.700000e+01 | 55.38%
1643.03/1643.39 c 1643s| 52700 | 8019 | 10713k| 203.2 | 41M| 77 | 205 |1444 |1713 |1444 |1577 | 112k| 410 |1928 |-4.195148e+01 |-2.700000e+01 | 55.38%
1643.52/1643.84 c 1644s| 52800 | 8029 | 10715k| 202.9 | 41M| 77 | 169 |1444 |1713 |1444 |1577 | 112k| 410 |1928 |-4.195148e+01 |-2.700000e+01 | 55.38%
1647.32/1647.67 c 1648s| 52900 | 8049 | 10742k| 203.0 | 42M| 77 | 564 |1444 |1711 |1444 |1637 | 113k| 410 |1929 |-4.195148e+01 |-2.700000e+01 | 55.38%
1655.52/1655.84 c 1656s| 53000 | 8117 | 10797k| 203.7 | 42M| 77 | 213 |1444 |1711 |1444 |1584 | 113k| 411 |1929 |-4.195140e+01 |-2.700000e+01 | 55.38%
1656.13/1656.47 c 1656s| 53100 | 8129 | 10801k| 203.4 | 42M| 77 | - |1444 |1711 |1444 |1576 | 113k| 411 |1929 |-4.195140e+01 |-2.700000e+01 | 55.38%
1659.53/1659.82 c 1660s| 53200 | 8163 | 10825k| 203.4 | 42M| 77 | - |1444 |1711 |1444 |1578 | 113k| 411 |1930 |-4.194856e+01 |-2.700000e+01 | 55.37%
1662.52/1662.88 c 1663s| 53300 | 8197 | 10845k| 203.4 | 42M| 77 | - |1444 |1711 |1444 |1577 | 113k| 411 |1930 |-4.194591e+01 |-2.700000e+01 | 55.36%
1663.42/1663.76 c 1664s| 53400 | 8219 | 10850k| 203.2 | 42M| 77 | - |1444 |1711 |1444 |1581 | 114k| 411 |1930 |-4.194591e+01 |-2.700000e+01 | 55.36%
1665.62/1665.91 c 1666s| 53500 | 8243 | 10865k| 203.1 | 42M| 77 | - |1444 |1711 |1444 |1580 | 114k| 411 |1930 |-4.194509e+01 |-2.700000e+01 | 55.35%
1668.43/1668.75 c 1669s| 53600 | 8269 | 10884k| 203.0 | 42M| 77 | 205 |1444 |1712 |1444 |1577 | 114k| 412 |1933 |-4.194451e+01 |-2.700000e+01 | 55.35%
1670.92/1671.24 c 1671s| 53700 | 8291 | 10898k| 202.9 | 43M| 77 | 205 |1444 |1712 |1444 |1581 | 114k| 412 |1942 |-4.194331e+01 |-2.700000e+01 | 55.35%
1671.52/1671.87 c 1672s| 53800 | 8321 | 10902k| 202.6 | 43M| 77 | 186 |1444 |1712 |1444 |1581 | 114k| 412 |1942 |-4.194331e+01 |-2.700000e+01 | 55.35%
1674.62/1674.94 c 1675s| 53900 | 8331 | 10923k| 202.6 | 43M| 77 | 528 |1444 |1712 |1444 |1651 | 114k| 412 |1943 |-4.193968e+01 |-2.700000e+01 | 55.33%
1678.12/1678.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.12/1678.45 c 1678s| 54000 | 8347 | 10946k| 202.7 | 43M| 77 | - |1444 |1713 |1444 |1579 | 114k| 413 |1949 |-4.193858e+01 |-2.700000e+01 | 55.33%
1679.82/1680.18 c 1680s| 54100 | 8365 | 10958k| 202.5 | 43M| 77 | - |1444 |1713 |1444 |1575 | 115k| 413 |1949 |-4.193784e+01 |-2.700000e+01 | 55.33%
1687.82/1688.15 c 1688s| 54200 | 8417 | 11012k| 203.1 | 43M| 77 | - |1444 |1715 |1444 |1586 | 115k| 415 |1949 |-4.193784e+01 |-2.700000e+01 | 55.33%
1692.22/1692.52 c 1693s| 54300 | 8449 | 11041k| 203.3 | 43M| 77 | - |1444 |1715 |1444 |1578 | 115k| 415 |1956 |-4.193597e+01 |-2.700000e+01 | 55.32%
1697.11/1697.41 c 1697s| 54400 | 8491 | 11074k| 203.5 | 43M| 77 | 339 |1444 |1714 |1444 |1659 | 116k| 415 |1957 |-4.193194e+01 |-2.700000e+01 | 55.30%
1708.61/1708.95 c 1709s| 54500 | 8565 | 11154k| 204.6 | 44M| 77 | 507 |1444 |1715 |1444 |1705 | 116k| 417 |1957 |-4.192744e+01 |-2.700000e+01 | 55.29%
1718.42/1718.71 c 1719s| 54600 | 8631 | 11217k| 205.4 | 44M| 77 | 368 |1444 |1716 |1444 |1722 | 117k| 419 |1971 |-4.192739e+01 |-2.700000e+01 | 55.29%
1732.71/1733.04 c 1733s| 54700 | 8731 | 11315k| 206.8 | 44M| 77 | 519 |1444 |1716 |1444 |1516 | 118k| 419 |1971 |-4.191961e+01 |-2.700000e+01 | 55.26%
1744.31/1744.66 c 1745s| 54800 | 8823 | 11393k| 207.9 | 44M| 77 | - |1444 |1719 |1444 |1576 | 119k| 422 |1971 |-4.191827e+01 |-2.700000e+01 | 55.25%
1748.51/1748.81 c 1749s| 54900 | 8863 | 11421k| 208.0 | 45M| 77 | 184 |1444 |1719 |1444 |1586 | 119k| 422 |1977 |-4.191827e+01 |-2.700000e+01 | 55.25%
1762.61/1762.91 c 1763s| 55000 | 8951 | 11517k| 209.4 | 45M| 77 | 335 |1444 |1723 |1444 |1667 | 120k| 426 |1991 |-4.191562e+01 |-2.700000e+01 | 55.24%
1777.00/1777.36 c 1777s| 55100 | 9051 | 11614k| 210.8 | 45M| 77 | 350 |1444 |1723 |1444 |1535 | 121k| 427 |1999 |-4.190783e+01 |-2.700000e+01 | 55.21%
1785.30/1785.62 c 1786s| 55200 | 9101 | 11671k| 211.4 | 45M| 77 | 184 |1444 |1723 |1444 |1575 | 122k| 427 |1999 |-4.190020e+01 |-2.700000e+01 | 55.19%
1789.10/1789.40 c 1789s| 55300 | 9123 | 11695k| 211.5 | 45M| 77 | - |1444 |1722 |1444 |1579 | 122k| 427 |1999 |-4.189725e+01 |-2.700000e+01 | 55.17%
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 55348
1796.70/1797.00 c Primal Bound : -2.70000000000000e+01 (13 solutions)
1796.70/1797.00 c Dual Bound : -4.18935370765561e+01
1796.70/1797.00 c Gap : 55.16 %
1796.70/1797.00 s SATISFIABLE
1796.70/1797.00 v -x166 -x164 -x158 x163 -x121 x171 -x113 -x156 -x144 -x135 x152 -x161 -x122 -x130 -x157 -x146 -x181 x129 -x111 -x192 -x167 -x154
1796.70/1797.00 v -x185 -x127 -x117 -x184 x120 -x124 -x134 -x178 -x168 -x136 -x172 x110 -x187 -x190 -x200 -x105 x151 x131 -x109 x106 x183 x153
1796.70/1797.00 v -x182 -x189 x149 x195 -x104 x198 -x193 -x188 -x128 -x119 -x112 x191 x179 -x162 -x107 -x137 x115 -x175 x145 -x132 x108 -x199
1796.70/1797.00 v -x138 -x148 -x174 x139 x143 x197 -x180 -x160 -x155 -x150 -x118 x114 -x116 -x196 -x176 -x142 -x103 -x140 -x194 -x125 -x101 x170
1796.70/1797.00 v -x133 -x123 -x159 x165 -x102 -x177 -x173 -x126 -x141 x169 x186 -x147 x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90
1796.70/1797.00 v -x89 x88 -x87 -x86 x85 -x84 -x83 x82 -x81 x80 -x79 -x78 x77 x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 x68 x67 x66 -x65 -x64 -x63
1796.70/1797.00 v x62 x61 x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 x41 x40 -x39 -x38 -x37 -x36
1796.70/1797.00 v -x35 x34 x33 x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10
1796.70/1797.00 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.11 (included in solving)
1796.70/1797.00 c reading : 0.00 (included in solving)
1796.70/1797.00 c copying : 0.12 (19 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3693741-1338037071.opb
1796.70/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 301 initial, 301 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3693741-1338037071.opb
1796.70/1797.00 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 1545 initial, 1751 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c and : 0.08 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c linear : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 32446 0 75 0 2 95 0 0 64798
1796.70/1797.00 c setppc : 300 300 6 399078 2 0 70 589 166 118596 0 0 0
1796.70/1797.00 c and : 1244 1244 52213 398913 2 0 69 1020 169 1615219 124753 0 0
1796.70/1797.00 c linear : 1 1 6 398741 2 0 10 100 1 0 0 0 0
1796.70/1797.00 c logicor : 0+ 206 6 44914 0 0 0 22 0 16008 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 2 0 14 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 87.12 0.00 0.00 0.00 87.12 0.00 0.00 0.00
1796.70/1797.00 c setppc : 1.07 0.00 0.00 1.06 0.00 0.00 0.00 0.00
1796.70/1797.00 c and : 7.87 0.00 3.68 4.19 0.00 0.00 0.00 0.00
1796.70/1797.00 c linear : 0.24 0.00 0.01 0.24 0.00 0.00 0.00 0.00
1796.70/1797.00 c logicor : 0.14 0.00 0.00 0.14 0.00 0.00 0.00 0.00
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 7 0 0 0
1796.70/1797.00 c pseudoobj : 431430 13 4 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 69270 0 0 249137
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.12 0.00 0.00 0.12 0.00
1796.70/1797.00 c pseudoobj : 0.37 0.00 0.00 0.37 0.00
1796.70/1797.00 c vbounds : 0.10 0.00 0.00 0.10 0.00
1796.70/1797.00 c redcost : 2.13 0.00 0.00 2.13 0.00
1796.70/1797.00 c probing : 0.01 0.00 0.01 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.01 340 340 457 34.0 4 19.5 -
1796.70/1797.00 c infeasible LP : 0.00 26 26 66 59.0 2 2.0 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 427 16.8 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.00 5 - - 17 - (maximal pool size: 1047)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.00 0.00 6 0 0 68 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 2.81 0.00 6 0 0 0 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 2.39 0.00 6 0 0 1587 0
1796.70/1797.00 c cmir : 0.10 0.00 6 0 0 13 0
1796.70/1797.00 c flowcover : 0.08 0.00 6 0 0 20 0
1796.70/1797.00 c clique : 0.11 0.00 6 0 0 36 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 87.09 0.00 32444 2 95 0 0 64798
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 2
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.02 0.00 8 0
1796.70/1797.00 c crossover : 0.45 0.00 14 1
1796.70/1797.00 c objpscostdiving : 13.20 0.00 50 0
1796.70/1797.00 c pscostdiving : 68.60 0.00 131 0
1796.70/1797.00 c fracdiving : 76.36 0.00 142 0
1796.70/1797.00 c guideddiving : 74.99 0.00 151 0
1796.70/1797.00 c coefdiving : 77.94 0.00 165 0
1796.70/1797.00 c veclendiving : 57.98 0.00 175 0
1796.70/1797.00 c linesearchdiving : 86.55 0.00 290 2
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.00 0.00 2 1
1796.70/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.00 c simplerounding : 0.02 0.00 0 0
1796.70/1797.00 c zirounding : 1.93 0.00 0 0
1796.70/1797.00 c rounding : 7.33 0.00 17051 3
1796.70/1797.00 c shifting : 2.94 0.00 3248 4
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.04 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c rootsoldiving : 12.25 0.00 31 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.01 0.00 0 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.06 0.00 1 0
1796.70/1797.00 c subnlp : 0.02 0.00 0 0
1796.70/1797.00 c trysol : 0.03 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 13.00 7880 8 1.33 0.62 12.98 7874
1796.70/1797.00 c dual LP : 1175.88 92168 8697486 115.88 7396.55 7.07 17111
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 419.98 170496 3049517 17.89 7261.07
1796.70/1797.00 c strong branching : 86.38 2009 534107 265.86 6183.29
1796.70/1797.00 c (at root node) : - 27 27000 1000.00 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 55348
1796.70/1797.00 c nodes (total) : 55348
1796.70/1797.00 c nodes left : 9171
1796.70/1797.00 c max depth : 77
1796.70/1797.00 c max depth (total): 77
1796.70/1797.00 c backtracks : 8981 (16.2%)
1796.70/1797.00 c delayed cutoffs : 19
1796.70/1797.00 c repropagations : 4356 (14702 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 4.87
1796.70/1797.00 c switching time : 17.57
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 13 (9 improvements)
1796.70/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.70/1797.00 c Primal Bound : -2.70000000000000e+01 (in run 1, after 14312 nodes, 600.27 seconds, depth 64, found by <relaxation>)
1796.70/1797.00 c Dual Bound : -4.18935370765561e+01
1796.70/1797.00 c Gap : 55.16 %
1796.70/1797.00 c Root Dual Bound : -5.00000000000000e+01
1796.70/1797.00 c Root Iterations : 2474
1796.70/1797.04 c Time complete: 1796.75.
OK -27
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693741-1338037071/watcher-3693741-1338037071 -o /tmp/evaluation-result-3693741-1338037071/solver-3693741-1338037071 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693741-1338037071.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2559 /proc/meminfo: memFree=27547484/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=10228 CPUtime=0 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 1322 0 0 0 0 0 0 0 20 0 1 0 269833947 10473472 1277 33554432000 4194304 10169799 140733871026480 140735888680312 4949408 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 2637 1290 432 1459 0 1169 0 [startup+0.0713669 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2559 /proc/meminfo: memFree=27547484/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=21280 CPUtime=0.06 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 4132 0 0 0 3 3 0 0 20 0 1 0 269833947 21790720 3830 33554432000 4194304 10169799 140733871026480 140733871023848 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 5320 3830 569 1459 0 3852 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 21280 [startup+0.10029 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2559 /proc/meminfo: memFree=27547484/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=21280 CPUtime=0.09 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 4132 0 0 0 4 5 0 0 20 0 1 0 269833947 21790720 3830 33554432000 4194304 10169799 140733871026480 140733871023848 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 5320 3830 569 1459 0 3852 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21280 [startup+0.300278 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2559 /proc/meminfo: memFree=27547484/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=28864 CPUtime=0.29 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 6363 0 0 0 23 6 0 0 20 0 1 0 269833947 29556736 5957 33554432000 4194304 10169799 140733871026480 140733871020888 8801104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 7216 5957 744 1459 0 5748 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28864 [startup+0.700224 s] /proc/loadavg: 2.00 2.00 2.00 3/176 2559 /proc/meminfo: memFree=27547484/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=42516 CPUtime=0.69 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 11580 0 0 0 62 7 0 0 20 0 1 0 269833947 43536384 9556 33554432000 4194304 10169799 140733871026480 140733871020888 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 10629 9556 837 1459 0 9161 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42516 [startup+1.50025 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2560 /proc/meminfo: memFree=27512524/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=42516 CPUtime=1.49 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 11633 0 0 0 142 7 0 0 20 0 1 0 269833947 43536384 9600 33554432000 4194304 10169799 140733871026480 140733871022792 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 10629 9600 857 1459 0 9161 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42516 [startup+3.10022 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2560 /proc/meminfo: memFree=27512128/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=42516 CPUtime=3.09 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 11636 0 0 0 302 7 0 0 20 0 1 0 269833947 43536384 9603 33554432000 4194304 10169799 140733871026480 140733871021272 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 10629 9603 857 1459 0 9161 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42516 [startup+6.30023 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2560 /proc/meminfo: memFree=27508060/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=47924 CPUtime=6.29 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 13735 0 0 0 620 9 0 0 20 0 1 0 269833947 49074176 10961 33554432000 4194304 10169799 140733871026480 140733871020936 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 11981 10961 860 1459 0 10513 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47924 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2560 /proc/meminfo: memFree=27506392/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=49368 CPUtime=12.69 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 13912 0 0 0 1257 12 0 0 20 0 1 0 269833947 50552832 11138 33554432000 4194304 10169799 140733871026480 140733871021080 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 12342 11138 860 1459 0 10874 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49368 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2561 /proc/meminfo: memFree=27507068/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=49368 CPUtime=25.49 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 13937 0 0 0 2526 23 0 0 20 0 1 0 269833947 50552832 11163 33554432000 4194304 10169799 140733871026480 140733871021464 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 12342 11163 862 1459 0 10874 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49368 [startup+51.1002 s] /proc/loadavg: 2.06 2.02 2.00 3/177 2561 /proc/meminfo: memFree=27507316/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=49368 CPUtime=51.09 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 13937 0 0 0 5059 50 0 0 20 0 1 0 269833947 50552832 11163 33554432000 4194304 10169799 140733871026480 140733871020984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 12342 11163 862 1459 0 10874 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 49368 [startup+102.307 s] /proc/loadavg: 2.02 2.01 2.00 3/177 2561 /proc/meminfo: memFree=27506448/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=48788 CPUtime=102.28 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 17057 0 0 0 10141 87 0 0 20 0 1 0 269833947 49958912 11156 33554432000 4194304 10169799 140733871026480 140733871020072 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 12197 11156 869 1459 0 10729 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 48788 [startup+162.3 s] /proc/loadavg: 2.01 2.00 2.00 3/178 2602 /proc/meminfo: memFree=27826556/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=63852 CPUtime=162.27 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 20681 0 0 0 16089 138 0 0 20 0 1 0 269833947 65384448 14780 33554432000 4194304 10169799 140733871026480 140733871020984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 15963 14780 870 1459 0 14495 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 63852 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 2625 /proc/meminfo: memFree=27765876/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=64268 CPUtime=222.25 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 21344 0 0 0 22038 187 0 0 20 0 1 0 269833947 65810432 15316 33554432000 4194304 10169799 140733871026480 140733871020440 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 16067 15316 870 1459 0 14599 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 64268 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2625 /proc/meminfo: memFree=27763300/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=64268 CPUtime=282.24 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 22381 0 0 0 27984 240 0 0 20 0 1 0 269833947 65810432 15317 33554432000 4194304 10169799 140733871026480 140733871020984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 16067 15317 871 1459 0 14599 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 64268 [startup+342.3 s] /proc/loadavg: 2.06 2.01 2.00 3/177 2626 /proc/meminfo: memFree=27763304/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=64268 CPUtime=342.23 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 22381 0 0 0 33934 289 0 0 20 0 1 0 269833947 65810432 15317 33554432000 4194304 10169799 140733871026480 140733871020152 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 16067 15317 871 1459 0 14599 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 64268 [startup+402.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 2626 /proc/meminfo: memFree=27763180/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=64268 CPUtime=402.22 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 22381 0 0 0 39883 339 0 0 20 0 1 0 269833947 65810432 15317 33554432000 4194304 10169799 140733871026480 140733871020216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 16067 15317 871 1459 0 14599 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 64268 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2626 /proc/meminfo: memFree=27762936/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=64784 CPUtime=462.21 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 23607 0 0 0 45834 387 0 0 20 0 1 0 269833947 66338816 15398 33554432000 4194304 10169799 140733871026480 140733871020600 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 16196 15398 871 1459 0 14728 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 64784 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2626 /proc/meminfo: memFree=27762940/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=64784 CPUtime=522.2 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 23607 0 0 0 51781 439 0 0 20 0 1 0 269833947 66338816 15398 33554432000 4194304 10169799 140733871026480 140733871020936 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 16196 15398 871 1459 0 14728 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 64784 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 2626 /proc/meminfo: memFree=27763808/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=64784 CPUtime=582.19 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 23607 0 0 0 57729 490 0 0 20 0 1 0 269833947 66338816 15398 33554432000 4194304 10169799 140733871026480 140733871020888 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 16196 15398 871 1459 0 14728 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 64784 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27760588/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=67368 CPUtime=1122.11 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 37907 0 0 0 111260 951 0 0 20 0 1 0 269833947 68984832 16057 33554432000 4194304 10169799 140733871026480 140733871022456 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 16842 16057 871 1459 0 15374 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 67368 [startup+1182.3 s] /proc/loadavg: 2.02 2.05 2.00 3/177 2631 /proc/meminfo: memFree=27759664/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=68716 CPUtime=1182.1 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 38259 0 0 0 117211 999 0 0 20 0 1 0 269833947 70365184 16409 33554432000 4194304 10169799 140733871026480 140733871020888 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 17179 16409 871 1459 0 15711 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 68716 [startup+1242.3 s] /proc/loadavg: 2.01 2.04 2.00 3/177 2632 /proc/meminfo: memFree=27757744/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=69888 CPUtime=1242.08 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 38515 0 0 0 123157 1051 0 0 20 0 1 0 269833947 71565312 16664 33554432000 4194304 10169799 140733871026480 140733871020984 8051778 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 17472 16664 871 1459 0 16004 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 69888 [startup+1302.3 s] /proc/loadavg: 2.00 2.03 2.00 3/177 2632 /proc/meminfo: memFree=27756820/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=71200 CPUtime=1302.08 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 42371 0 0 0 129107 1101 0 0 20 0 1 0 269833947 72908800 17014 33554432000 4194304 10169799 140733871026480 140733871020936 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 17800 17014 871 1459 0 16332 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 71200 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/178 2635 /proc/meminfo: memFree=27754708/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=72640 CPUtime=1362.07 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 42741 0 0 0 135056 1151 0 0 20 0 1 0 269833947 74383360 17382 33554432000 4194304 10169799 140733871026480 140733871020808 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 18160 17382 871 1459 0 16692 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 72640 [startup+1422.31 s] /proc/loadavg: 2.07 2.03 2.00 3/177 2635 /proc/meminfo: memFree=27753980/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=73864 CPUtime=1422.06 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 43043 0 0 0 141004 1202 0 0 20 0 1 0 269833947 75636736 17684 33554432000 4194304 10169799 140733871026480 140733871020984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 18466 17684 871 1459 0 16998 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 73864 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 2635 /proc/meminfo: memFree=27751936/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=75296 CPUtime=1482.06 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 43376 0 0 0 146949 1257 0 0 20 0 1 0 269833947 77103104 18016 33554432000 4194304 10169799 140733871026480 140733871020936 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 18824 18016 871 1459 0 17356 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 75296 [startup+1542.3 s] /proc/loadavg: 2.06 2.03 2.00 3/176 2635 /proc/meminfo: memFree=27748916/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=79356 CPUtime=1542.04 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 44405 0 0 0 152894 1310 0 0 20 0 1 0 269833947 81260544 19045 33554432000 4194304 10169799 140733871026480 140733871020888 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 19839 19045 871 1459 0 18371 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 79356 [startup+1602.3 s] /proc/loadavg: 2.09 2.05 2.01 3/177 2636 /proc/meminfo: memFree=27747176/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=81144 CPUtime=1602.03 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 44845 0 0 0 158845 1358 0 0 20 0 1 0 269833947 83091456 19482 33554432000 4194304 10169799 140733871026480 140733871020568 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 20286 19482 871 1459 0 18818 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 81144 [startup+1662.3 s] /proc/loadavg: 2.08 2.06 2.01 3/177 2636 /proc/meminfo: memFree=27745564/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=82664 CPUtime=1662.02 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 45239 0 0 0 164796 1406 0 0 20 0 1 0 269833947 84647936 19874 33554432000 4194304 10169799 140733871026480 140733871023928 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 20666 19874 871 1459 0 19198 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 82664 [startup+1722.3 s] /proc/loadavg: 2.03 2.04 2.00 3/177 2636 /proc/meminfo: memFree=27743460/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=84724 CPUtime=1722.01 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 45767 0 0 0 170745 1456 0 0 20 0 1 0 269833947 86757376 20402 33554432000 4194304 10169799 140733871026480 140733871020984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 21181 20402 871 1459 0 19713 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 84724 [startup+1782.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 2636 /proc/meminfo: memFree=27742344/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=85600 CPUtime=1782.01 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 45951 0 0 0 176696 1505 0 0 20 0 1 0 269833947 87654400 20584 33554432000 4194304 10169799 140733871026480 140733871020888 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 21400 20584 871 1459 0 19932 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 85600 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.03 2.00 3/177 2636 /proc/meminfo: memFree=27742344/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=85600 CPUtime=1785.2 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 45951 0 0 0 177012 1508 0 0 20 0 1 0 269833947 87654400 20584 33554432000 4194304 10169799 140733871026480 140733871021272 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 21400 20584 871 1459 0 19932 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 85600 [startup+1791.91 s] /proc/loadavg: 2.01 2.03 2.00 3/177 2636 /proc/meminfo: memFree=27741972/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=85932 CPUtime=1791.6 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 46051 0 0 0 177647 1513 0 0 20 0 1 0 269833947 87994368 20684 33554432000 4194304 10169799 140733871026480 140733871020760 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 21483 20684 871 1459 0 20015 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 85932 [startup+1795.1 s] /proc/loadavg: 2.01 2.03 2.00 3/177 2636 /proc/meminfo: memFree=27741972/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=85932 CPUtime=1794.81 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 46051 0 0 0 177965 1516 0 0 20 0 1 0 269833947 87994368 20684 33554432000 4194304 10169799 140733871026480 140733871020888 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 21483 20684 871 1459 0 20015 0 Current children cumulated CPU time (s) 1794.81 Current children cumulated vsize (KiB) 85932 [startup+1795.9 s] /proc/loadavg: 2.01 2.03 2.00 3/177 2636 /proc/meminfo: memFree=27741972/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=85932 CPUtime=1795.6 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 46062 0 0 0 178043 1517 0 0 20 0 1 0 269833947 87994368 20695 33554432000 4194304 10169799 140733871026480 140733871020984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 21483 20695 871 1459 0 20015 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (KiB) 85932 [startup+1796.7 s] /proc/loadavg: 2.01 2.03 2.00 3/177 2636 /proc/meminfo: memFree=27741972/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=85932 CPUtime=1796.4 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 46093 0 0 0 178123 1517 0 0 20 0 1 0 269833947 87994368 20726 33554432000 4194304 10169799 140733871026480 140733871020888 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 21483 20726 871 1459 0 20015 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (KiB) 85932 [startup+1796.9 s] /proc/loadavg: 2.01 2.03 2.00 3/177 2636 /proc/meminfo: memFree=27741972/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=85932 CPUtime=1796.6 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 46093 0 0 0 178142 1518 0 0 20 0 1 0 269833947 87994368 20726 33554432000 4194304 10169799 140733871026480 140733871020888 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 21483 20726 871 1459 0 20015 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (KiB) 85932 [startup+1797 s] /proc/loadavg: 2.01 2.03 2.00 3/177 2636 /proc/meminfo: memFree=27741972/32873648 swapFree=6848/6848 [pid=2559] ppid=2557 vsize=85932 CPUtime=1796.7 cores=1,3,5,7 /proc/2559/stat : 2559 (scip-2.1.1.4sfi) R 2557 2559 911 0 -1 4202496 46093 0 0 0 178152 1518 0 0 20 0 1 0 269833947 87994368 20726 33554432000 4194304 10169799 140733871026480 140733871020888 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2559/statm: 21483 20726 871 1459 0 20015 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (KiB) 85932 Child status: 0 Real time (s): 1797.04 CPU time (s): 1796.75 CPU user time (s): 1781.57 CPU system time (s): 15.1827 CPU usage (%): 99.9838 Max. virtual memory (cumulated for all children) (KiB): 85932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.57 system time used= 15.1827 maximum resident set size= 82912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46097 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= 29 involuntary context switches= 1847 runsolver used 2.6296 second user time and 7.19491 second system time The end
Begin job on node113 at 2012-05-26 14:57:51 IDJOB=3693741 IDBENCH=48245 IDSOLVER=2272 FILE ID=node113/3693741-1338037071 RUNJOBID= node113-1338029668-2042 PBS_JOBID= 14624358 Free space on /tmp= 71456 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_3.opb COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693741-1338037071/watcher-3693741-1338037071 -o /tmp/evaluation-result-3693741-1338037071/solver-3693741-1338037071 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693741-1338037071.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4ec3492215da9d1ca4e43111c42870de RANDOM SEED=1265193472 node113.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27548384 kB Buffers: 250772 kB Cached: 3881384 kB SwapCached: 0 kB Active: 1277544 kB Inactive: 3270192 kB Active(anon): 418044 kB Inactive(anon): 0 kB Active(file): 859500 kB Inactive(file): 3270192 kB Unevictable: 6848 kB Mlocked: 6848 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13608 kB Writeback: 0 kB AnonPages: 516560 kB Mapped: 17656 kB Shmem: 200 kB Slab: 638828 kB SReclaimable: 83324 kB SUnreclaim: 555504 kB KernelStack: 1472 kB PageTables: 4848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 531616 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 460800 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71444 MiB End job on node113 at 2012-05-26 15:27:48