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 | OPT | 25 | 19.2961 | 19.3038 |
| Name | normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb |
| MD5SUM | a28f5b3e9b4b12f9ccee04abccbf9327 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.359944 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 238 |
| Total number of constraints | 398 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 398 |
| Minimum length of a constraint | 12 |
| Maximum length of a constraint | 25 |
| Number of terms in the objective function | 6 |
| Biggest coefficient in the objective function | 32 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 63 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 64 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 349 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 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-3693336-1338032724.opb>
0.00/0.00 c original problem has 238 variables (238 bin, 0 int, 0 impl, 0 cont) and 398 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 196 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 51/238 (21.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 196 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 42 implications, 0 cliques
0.00/0.02 c presolved problem has 238 variables (238 bin, 0 int, 0 impl, 0 cont) and 202 constraints
0.00/0.02 c 6 constraints of type <knapsack>
0.00/0.02 c 196 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 2.1.1.4
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1797
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 13950
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 6 | - |1704k| 0 | 56 | 238 | 225 | 238 | 202 | 0 | 23 | 0 | 6.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 2688 | - |2040k| 0 | 64 | 238 | 225 | 238 | 255 | 53 | 23 | 0 | 6.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 2707 | - |2309k| 0 | 65 | 238 | 225 | 238 | 288 | 86 | 23 | 0 | 6.000000e+00 | -- | Inf
0.09/0.16 c 0.2s| 1 | 0 | 2819 | - |2540k| 0 | 87 | 238 | 225 | 238 | 321 | 119 | 23 | 0 | 6.006849e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 2886 | - |2777k| 0 | 91 | 238 | 225 | 238 | 367 | 165 | 23 | 0 | 6.166667e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 2950 | - |2981k| 0 | 95 | 238 | 225 | 238 | 399 | 197 | 23 | 0 | 6.666667e+00 | -- | Inf
0.19/0.26 c 0.3s| 1 | 0 | 3007 | - |3129k| 0 | 99 | 238 | 225 | 238 | 432 | 230 | 23 | 0 | 6.666667e+00 | -- | Inf
0.19/0.30 c 0.3s| 1 | 0 | 3084 | - |3219k| 0 | 103 | 238 | 225 | 238 | 453 | 251 | 23 | 0 | 6.666667e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 3264 | - |3449k| 0 | 96 | 238 | 225 | 238 | 501 | 299 | 23 | 0 | 6.666667e+00 | -- | Inf
0.29/0.39 c 0.4s| 1 | 0 | 3446 | - |3572k| 0 | 97 | 238 | 225 | 238 | 535 | 333 | 23 | 0 | 6.800000e+00 | -- | Inf
0.39/0.44 c 0.4s| 1 | 0 | 3620 | - |3780k| 0 | 94 | 238 | 225 | 238 | 570 | 368 | 23 | 0 | 7.000000e+00 | -- | Inf
0.39/0.45 c 0.5s| 1 | 0 | 3872 | - |3799k| 0 | 106 | 238 | 225 | 238 | 581 | 379 | 23 | 0 | 7.000000e+00 | -- | Inf
0.39/0.47 c 0.5s| 1 | 0 | 3974 | - |3849k| 0 | 90 | 238 | 225 | 238 | 594 | 392 | 23 | 0 | 7.000000e+00 | -- | Inf
0.39/0.49 c 0.5s| 1 | 0 | 4200 | - |3856k| 0 | 92 | 238 | 225 | 238 | 605 | 403 | 23 | 0 | 7.000000e+00 | -- | Inf
0.49/0.51 c 0.5s| 1 | 0 | 4476 | - |3952k| 0 | 89 | 238 | 225 | 238 | 613 | 411 | 23 | 0 | 7.000000e+00 | -- | Inf
0.49/0.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.53 c 0.5s| 1 | 0 | 4659 | - |4007k| 0 | 99 | 238 | 225 | 238 | 447 | 420 | 23 | 0 | 7.000000e+00 | -- | Inf
0.99/1.04 c 1.0s| 1 | 2 | 4659 | - |4008k| 0 | 99 | 238 | 225 | 238 | 447 | 420 | 23 | 35 | 7.000000e+00 | -- | Inf
2.69/2.75 c 2.8s| 100 | 81 | 7643 | 30.1 |4109k| 16 | 83 | 238 | 249 | 238 | 260 | 420 | 47 |1526 | 8.000000e+00 | -- | Inf
2.89/2.93 c 2.9s| 200 | 159 | 8876 | 21.2 |4211k| 34 | 43 | 238 | 295 | 238 | 260 | 420 | 93 |1653 | 8.000000e+00 | -- | Inf
2.99/3.06 c 3.1s| 300 | 245 | 10379 | 19.1 |4295k| 34 | 42 | 238 | 355 | 238 | 260 | 420 | 153 |1698 | 8.000000e+00 | -- | Inf
3.09/3.16 c 3.2s| 400 | 313 | 11418 | 16.9 |4353k| 34 | 22 | 238 | 396 | 238 | 260 | 420 | 194 |1728 | 9.000000e+00 | -- | Inf
3.19/3.28 c 3.3s| 500 | 377 | 13180 | 17.1 |4427k| 34 | 70 | 238 | 473 | 238 | 260 | 420 | 271 |1761 | 9.000000e+00 | -- | Inf
3.29/3.32 o 54
3.29/3.32 c * 3.3s| 579 | 367 | 13561 | 15.4 |4437k| 37 | - | 238 | 488 | 238 | 260 | 420 | 286 |1765 | 9.000000e+00 | 5.400000e+01 | 500.00%
3.29/3.33 o 48
3.29/3.33 c g 3.3s| 594 | 353 | 13736 | 15.3 |4431k| 37 | - | 238 | 495 | 238 | 260 | 420 | 293 |1765 | 9.000000e+00 | 4.800000e+01 | 433.33%
3.29/3.34 c 3.3s| 600 | 353 | 13764 | 15.2 |4411k| 37 | - | 238 | 498 | 238 | 260 | 420 | 296 |1773 | 9.000000e+00 | 4.800000e+01 | 433.33%
3.29/3.35 o 44
3.29/3.35 c g 3.4s| 620 | 324 | 13837 | 14.8 |4414k| 37 | - | 238 | 504 | 238 | 260 | 420 | 302 |1779 | 9.000000e+00 | 4.400000e+01 | 388.89%
3.39/3.44 c 3.4s| 700 | 380 | 14936 | 14.7 |4463k| 37 | - | 238 | 526 | 238 | 260 | 420 | 324 |1806 | 9.000000e+00 | 4.400000e+01 | 388.89%
3.49/3.52 c 3.5s| 800 | 443 | 16298 | 14.6 |4513k| 37 | 45 | 238 | 556 | 238 | 260 | 420 | 354 |1813 | 1.000000e+01 | 4.400000e+01 | 340.00%
3.49/3.57 o 42
3.49/3.57 c C 3.6s| 820 | 440 | 16414 | 14.4 |4524k| 37 | - | 238 | 561 | 0 | 0 | 420 | 359 |1814 | 1.000000e+01 | 4.200000e+01 | 320.00%
3.59/3.60 o 36
3.59/3.60 c l 3.6s| 853 | 410 | 16864 | 14.3 |4506k| 37 | - | 238 | 568 | 238 | 260 | 420 | 366 |1814 | 1.000000e+01 | 3.600000e+01 | 260.00%
3.59/3.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.59/3.63 c 3.6s| 900 | 434 | 17370 | 14.1 |4524k| 37 | 34 | 238 | 584 | 238 | 260 | 420 | 382 |1814 | 1.000000e+01 | 3.600000e+01 | 260.00%
3.59/3.68 c 3.7s| 1000 | 470 | 17958 | 13.3 |4587k| 37 | 48 | 238 | 636 | 238 | 260 | 420 | 434 |1815 | 1.000000e+01 | 3.600000e+01 | 260.00%
3.69/3.74 c 3.7s| 1100 | 528 | 18785 | 12.9 |4633k| 37 | 49 | 238 | 658 | 238 | 260 | 420 | 456 |1823 | 1.000000e+01 | 3.600000e+01 | 260.00%
3.69/3.76 o 35
3.69/3.76 c v 3.8s| 1122 | 530 | 19142 | 12.9 |4655k| 37 | - | 238 | 681 | 238 | 260 | 420 | 479 |1823 | 1.000000e+01 | 3.500000e+01 | 250.00%
3.79/3.80 c 3.8s| 1200 | 574 | 19564 | 12.4 |4701k| 37 | 31 | 238 | 708 | 238 | 260 | 420 | 506 |1823 | 1.000000e+01 | 3.500000e+01 | 250.00%
3.79/3.81 o 33
3.79/3.81 c l 3.8s| 1210 | 512 | 19689 | 12.4 |4637k| 37 | - | 238 | 722 | 238 | 260 | 420 | 520 |1823 | 1.000000e+01 | 3.300000e+01 | 230.00%
3.79/3.86 c 3.9s| 1300 | 543 | 20387 | 12.1 |4683k| 37 | - | 238 | 764 | 238 | 260 | 420 | 574 |1824 | 1.000000e+01 | 3.300000e+01 | 230.00%
3.89/3.91 c 3.9s| 1400 | 601 | 21005 | 11.7 |4759k| 37 | - | 238 | 801 | 238 | 260 | 420 | 611 |1824 | 1.000000e+01 | 3.300000e+01 | 230.00%
3.89/3.99 o 32
3.89/3.99 c c 4.0s| 1496 | 628 | 21835 | 11.5 |4835k| 37 | - | 238 | 851 | 238 | 260 | 420 | 661 |1825 | 1.000000e+01 | 3.200000e+01 | 220.00%
3.89/4.00 c 4.0s| 1500 | 628 | 21851 | 11.5 |4825k| 37 | - | 238 | 827 | 0 | 0 | 420 | 665 |1825 | 1.000000e+01 | 3.200000e+01 | 220.00%
3.99/4.06 c 4.1s| 1600 | 675 | 22752 | 11.3 |4888k| 37 | 20 | 238 | 875 | 238 | 260 | 420 | 713 |1842 | 1.000000e+01 | 3.200000e+01 | 220.00%
3.99/4.08 o 31
3.99/4.08 c * 4.1s| 1644 | 631 | 22954 | 11.1 |4878k| 37 | - | 238 | 896 | 238 | 260 | 420 | 734 |1845 | 1.000000e+01 | 3.100000e+01 | 210.00%
3.99/4.08 o 30
3.99/4.08 c * 4.1s| 1647 | 603 | 22958 | 11.1 |4851k| 37 | - | 238 | 901 | 238 | 260 | 420 | 739 |1845 | 1.000000e+01 | 3.000000e+01 | 200.00%
4.09/4.11 c 4.1s| 1700 | 628 | 23337 | 11.0 |4887k| 37 | 21 | 238 | 926 | 238 | 260 | 420 | 764 |1845 | 1.000000e+01 | 3.000000e+01 | 200.00%
4.09/4.16 c 4.2s| 1800 | 666 | 23772 | 10.6 |4955k| 37 | 19 | 238 | 959 | 238 | 260 | 420 | 797 |1845 | 1.000000e+01 | 3.000000e+01 | 200.00%
4.09/4.16 o 29
4.09/4.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.09/4.16 c f 4.2s| 1806 | 617 | 23800 | 10.6 |4930k| 37 | - | 238 | 961 | 238 | 260 | 420 | 799 |1845 | 1.000000e+01 | 2.900000e+01 | 190.00%
4.19/4.20 c 4.2s| 1900 | 662 | 24278 | 10.3 |4958k| 37 | 43 | 238 | 986 | 238 | 260 | 420 | 824 |1846 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.19/4.25 c 4.3s| 2000 | 721 | 25021 | 10.2 |5003k| 37 | 31 | 238 |1008 | 238 | 260 | 420 | 846 |1854 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.29/4.31 c 4.3s| 2100 | 756 | 25550 | 10.0 |5032k| 38 | 44 | 238 |1039 | 238 | 260 | 420 | 877 |1855 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.29/4.37 c 4.4s| 2200 | 805 | 26106 | 9.8 |5086k| 38 | 43 | 238 |1064 | 238 | 260 | 420 | 909 |1858 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.40/4.42 c 4.4s| 2300 | 856 | 26837 | 9.6 |5147k| 38 | - | 238 |1085 | 0 | 0 | 420 | 932 |1870 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.40/4.48 c 4.5s| 2400 | 911 | 27516 | 9.5 |5220k| 38 | 35 | 238 |1131 | 238 | 260 | 420 | 979 |1870 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.48/4.55 c 4.5s| 2500 | 970 | 28166 | 9.4 |5308k| 38 | 15 | 238 |1201 | 238 | 260 | 420 |1052 |1870 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.59/4.67 c 4.6s| 2600 | 1006 | 28903 | 9.3 |5401k| 38 | 37 | 238 |1272 | 238 | 260 | 420 |1136 |1870 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.59/4.67 c 4.7s| 2700 | 1048 | 29398 | 9.2 |5466k| 38 | 16 | 238 |1324 | 238 | 260 | 420 |1191 |1872 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.69/4.70 c 4.7s| 2800 | 1072 | 29885 | 9.0 |5518k| 38 | - | 238 |1355 | 238 | 260 | 420 |1228 |1873 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.69/4.76 c 4.8s| 2900 | 1107 | 30521 | 8.9 |5603k| 38 | 29 | 238 |1426 | 238 | 260 | 420 |1317 |1874 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.79/4.81 c 4.8s| 3000 | 1140 | 31086 | 8.8 |5663k| 38 | 44 | 238 |1447 | 238 | 260 | 420 |1355 |1881 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.79/4.87 c 4.9s| 3100 | 1185 | 31731 | 8.7 |5704k| 38 | 25 | 238 |1462 | 238 | 260 | 420 |1395 |1882 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.88/4.91 c 4.9s| 3200 | 1233 | 32336 | 8.7 |5755k| 38 | 40 | 238 |1457 | 238 | 260 | 420 |1408 |1882 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.98/5.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.98/5.01 c 5.0s| 3300 | 1270 | 32792 | 8.5 |5811k| 38 | 37 | 238 |1484 | 238 | 260 | 420 |1464 |1882 | 1.100000e+01 | 2.900000e+01 | 163.64%
4.98/5.06 o 28
4.98/5.06 c * 5.1s| 3399 | 1181 | 33506 | 8.5 |5679k| 38 | - | 238 |1490 | 238 | 260 | 420 |1497 |1882 | 1.100000e+01 | 2.800000e+01 | 154.55%
4.98/5.06 c 5.1s| 3400 | 1182 | 33514 | 8.5 |5667k| 38 | 23 | 238 |1486 | 238 | 260 | 420 |1497 |1882 | 1.100000e+01 | 2.800000e+01 | 154.55%
5.09/5.12 c 5.1s| 3500 | 1234 | 34146 | 8.4 |5725k| 38 | 34 | 238 |1489 | 238 | 260 | 420 |1535 |1882 | 1.100000e+01 | 2.800000e+01 | 154.55%
5.09/5.18 c 5.2s| 3600 | 1267 | 34655 | 8.3 |5786k| 38 | 44 | 238 |1510 | 238 | 260 | 420 |1614 |1882 | 1.100000e+01 | 2.800000e+01 | 154.55%
5.19/5.24 c 5.2s| 3700 | 1289 | 35191 | 8.3 |5817k| 38 | 33 | 238 |1453 | 238 | 260 | 420 |1661 |1893 | 1.100000e+01 | 2.800000e+01 | 154.55%
5.19/5.29 c 5.3s| 3800 | 1316 | 35817 | 8.2 |5858k| 38 | - | 238 |1425 | 238 | 260 | 420 |1689 |1905 | 1.100000e+01 | 2.800000e+01 | 154.55%
5.29/5.35 c 5.4s| 3900 | 1343 | 36410 | 8.1 |5921k| 38 | - | 238 |1399 | 238 | 260 | 420 |1746 |1911 | 1.150000e+01 | 2.800000e+01 | 143.48%
5.39/5.46 c 5.5s| 4000 | 1380 | 36993 | 8.1 |5969k| 38 | 43 | 238 |1370 | 238 | 260 | 420 |1788 |1915 | 1.200000e+01 | 2.800000e+01 | 133.33%
5.49/5.51 c 5.5s| 4100 | 1420 | 37632 | 8.0 |6020k| 38 | 48 | 238 |1350 | 238 | 260 | 420 |1834 |1916 | 1.200000e+01 | 2.800000e+01 | 133.33%
5.49/5.56 c 5.6s| 4200 | 1442 | 38268 | 8.0 |6076k| 38 | - | 238 |1376 | 0 | 0 | 420 |1905 |1918 | 1.200000e+01 | 2.800000e+01 | 133.33%
5.59/5.61 c 5.6s| 4300 | 1474 | 38864 | 8.0 |6090k| 38 | 62 | 238 |1316 | 238 | 260 | 420 |1962 |1919 | 1.200000e+01 | 2.800000e+01 | 133.33%
5.59/5.66 c 5.7s| 4400 | 1486 | 39359 | 7.9 |6143k| 38 | - | 238 |1362 | 238 | 260 | 420 |2040 |1919 | 1.200000e+01 | 2.800000e+01 | 133.33%
5.69/5.72 c 5.7s| 4500 | 1506 | 40058 | 7.9 |6161k| 38 | 45 | 238 |1407 | 238 | 260 | 420 |2131 |1923 | 1.200000e+01 | 2.800000e+01 | 133.33%
5.69/5.76 c 5.8s| 4600 | 1535 | 40559 | 7.8 |6218k| 39 | 50 | 238 |1391 | 238 | 260 | 420 |2174 |1924 | 1.200000e+01 | 2.800000e+01 | 133.33%
5.79/5.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.79/5.82 c 5.8s| 4700 | 1582 | 41626 | 7.9 |6261k| 39 | 44 | 238 |1378 | 238 | 260 | 420 |2206 |1925 | 1.200000e+01 | 2.800000e+01 | 133.33%
5.79/5.86 o 26
5.79/5.86 c S 5.9s| 4742 | 1588 | 42221 | 7.9 |6276k| 39 | 0 | 238 |1370 | 238 | 260 | 420 |2233 |1930 | 1.200000e+01 | 2.600000e+01 | 116.67%
5.89/5.91 c 5.9s| 4800 | 1329 | 42836 | 8.0 |5983k| 39 | 42 | 238 |1329 | 238 | 260 | 420 |2262 |1930 | 1.200000e+01 | 2.600000e+01 | 116.67%
5.89/5.97 c 6.0s| 4900 | 1343 | 43681 | 8.0 |5987k| 39 | - | 238 |1281 | 238 | 260 | 420 |2308 |1931 | 1.200000e+01 | 2.600000e+01 | 116.67%
6.09/6.10 c 6.1s| 5000 | 1355 | 44538 | 8.0 |6002k| 39 | 59 | 238 |1276 | 238 | 260 | 420 |2376 |1939 | 1.200000e+01 | 2.600000e+01 | 116.67%
6.09/6.19 c 6.2s| 5100 | 1389 | 46021 | 8.1 |6075k| 39 | - | 238 |1317 | 238 | 260 | 420 |2489 |1940 | 1.200000e+01 | 2.600000e+01 | 116.67%
6.19/6.26 c 6.3s| 5200 | 1416 | 46920 | 8.1 |6136k| 39 | 32 | 238 |1391 | 238 | 260 | 420 |2616 |1940 | 1.200000e+01 | 2.600000e+01 | 116.67%
6.29/6.37 c 6.4s| 5300 | 1434 | 49090 | 8.4 |6178k| 39 | 59 | 238 |1377 | 238 | 260 | 420 |2703 |1942 | 1.200000e+01 | 2.600000e+01 | 116.67%
6.38/6.46 c 6.5s| 5400 | 1474 | 50333 | 8.5 |6236k| 39 | - | 238 |1387 | 0 | 0 | 420 |2783 |1943 | 1.200000e+01 | 2.600000e+01 | 116.67%
6.49/6.53 c 6.5s| 5500 | 1484 | 51288 | 8.5 |6249k| 39 | 30 | 238 |1325 | 238 | 260 | 420 |2828 |1952 | 1.200000e+01 | 2.600000e+01 | 116.67%
6.59/6.63 c 6.6s| 5600 | 1513 | 53064 | 8.6 |6296k| 39 | 38 | 238 |1304 | 238 | 260 | 420 |2914 |1953 | 1.200000e+01 | 2.600000e+01 | 116.67%
6.68/6.72 c 6.7s| 5700 | 1541 | 54480 | 8.7 |6366k| 39 | - | 238 |1311 | 238 | 260 | 420 |3002 |1953 | 1.200000e+01 | 2.600000e+01 | 116.67%
6.78/6.82 c 6.8s| 5800 | 1579 | 56104 | 8.9 |6408k| 39 | - | 238 |1292 | 0 | 0 | 420 |3096 |1953 | 1.300000e+01 | 2.600000e+01 | 100.00%
6.78/6.89 c 6.9s| 5900 | 1610 | 57078 | 8.9 |6466k| 39 | - | 238 |1326 | 0 | 0 | 420 |3177 |1954 | 1.300000e+01 | 2.600000e+01 | 100.00%
6.88/6.94 c 6.9s| 6000 | 1612 | 57676 | 8.8 |6464k| 39 | - | 238 |1312 | 0 | 0 | 420 |3217 |1954 | 1.300000e+01 | 2.600000e+01 | 100.00%
6.98/7.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.98/7.01 c 7.0s| 6100 | 1629 | 58294 | 8.8 |6529k| 39 | - | 238 |1347 | 238 | 260 | 420 |3309 |1954 | 1.300000e+01 | 2.600000e+01 | 100.00%
6.98/7.09 c 7.1s| 6200 | 1636 | 59150 | 8.8 |6566k| 39 | 36 | 238 |1380 | 238 | 260 | 420 |3426 |1955 | 1.300000e+01 | 2.600000e+01 | 100.00%
7.09/7.17 c 7.2s| 6300 | 1679 | 60497 | 8.9 |6617k| 39 | - | 238 |1383 | 0 | 0 | 420 |3501 |1955 | 1.300000e+01 | 2.600000e+01 | 100.00%
7.18/7.25 c 7.3s| 6400 | 1717 | 61847 | 8.9 |6670k| 39 | - | 238 |1372 | 0 | 0 | 420 |3561 |1958 | 1.300000e+01 | 2.600000e+01 | 100.00%
7.28/7.33 c 7.3s| 6500 | 1748 | 63018 | 9.0 |6705k| 39 | - | 238 |1341 | 238 | 260 | 420 |3612 |1958 | 1.300000e+01 | 2.600000e+01 | 100.00%
7.39/7.40 c 7.4s| 6600 | 1798 | 64467 | 9.1 |6756k| 39 | - | 238 |1329 | 0 | 0 | 420 |3648 |1962 | 1.300000e+01 | 2.600000e+01 | 100.00%
7.39/7.47 c 7.5s| 6700 | 1810 | 65885 | 9.1 |6770k| 39 | 64 | 238 |1301 | 238 | 260 | 420 |3684 |1962 | 1.300000e+01 | 2.600000e+01 | 100.00%
7.48/7.56 c 7.6s| 6800 | 1819 | 67043 | 9.2 |6811k| 39 | 52 | 238 |1349 | 238 | 260 | 420 |3796 |1962 | 1.300000e+01 | 2.600000e+01 | 100.00%
7.59/7.63 c 7.6s| 6900 | 1863 | 68078 | 9.2 |6889k| 39 | 29 | 238 |1392 | 238 | 260 | 420 |3874 |1962 | 1.400000e+01 | 2.600000e+01 | 85.71%
7.59/7.70 c 7.7s| 7000 | 1876 | 69187 | 9.2 |6931k| 39 | 21 | 238 |1413 | 238 | 260 | 420 |3953 |1962 | 1.400000e+01 | 2.600000e+01 | 85.71%
7.69/7.77 c 7.8s| 7100 | 1900 | 70277 | 9.2 |6977k| 39 | 33 | 238 |1415 | 238 | 260 | 420 |4024 |1967 | 1.400000e+01 | 2.600000e+01 | 85.71%
7.78/7.84 c 7.8s| 7200 | 1932 | 71174 | 9.2 |7018k| 39 | 26 | 238 |1388 | 238 | 260 | 420 |4063 |1967 | 1.400000e+01 | 2.600000e+01 | 85.71%
7.89/7.90 c 7.9s| 7300 | 1933 | 71648 | 9.2 |7062k| 39 | 16 | 238 |1418 | 238 | 260 | 420 |4160 |1967 | 1.400000e+01 | 2.600000e+01 | 85.71%
7.89/7.98 c 8.0s| 7400 | 1954 | 72908 | 9.2 |7107k| 39 | 20 | 238 |1437 | 238 | 260 | 420 |4245 |1967 | 1.400000e+01 | 2.600000e+01 | 85.71%
7.98/8.06 c 8.1s| 7500 | 1975 | 73955 | 9.2 |7166k| 39 | 11 | 238 |1460 | 238 | 260 | 420 |4340 |1972 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.08/8.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.08/8.12 c 8.1s| 7600 | 1984 | 74794 | 9.2 |7193k| 39 | 55 | 238 |1474 | 238 | 260 | 420 |4410 |1972 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.08/8.19 c 8.2s| 7700 | 2008 | 75838 | 9.2 |7242k| 39 | 17 | 238 |1458 | 238 | 260 | 420 |4464 |1972 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.19/8.28 c 8.3s| 7800 | 2021 | 76567 | 9.2 |7301k| 39 | 27 | 238 |1513 | 238 | 260 | 420 |4579 |1972 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.28/8.35 c 8.4s| 7900 | 2029 | 77365 | 9.2 |7316k| 39 | - | 238 |1504 | 238 | 260 | 420 |4651 |1972 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.39/8.43 c 8.4s| 8000 | 2053 | 78844 | 9.3 |7343k| 39 | - | 238 |1500 | 238 | 260 | 420 |4716 |1972 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.49/8.50 c 8.5s| 8100 | 2055 | 79638 | 9.3 |7393k| 39 | 52 | 238 |1547 | 238 | 260 | 420 |4819 |1972 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.49/8.58 c 8.6s| 8200 | 2103 | 80758 | 9.3 |7479k| 39 | - | 238 |1593 | 0 | 0 | 420 |4925 |1972 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.58/8.65 c 8.7s| 8300 | 2137 | 81885 | 9.3 |7546k| 39 | 7 | 238 |1613 | 238 | 260 | 420 |5013 |1973 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.69/8.73 c 8.7s| 8400 | 2155 | 82846 | 9.3 |7591k| 39 | 38 | 238 |1621 | 238 | 260 | 420 |5113 |1973 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.69/8.80 c 8.8s| 8500 | 2174 | 83558 | 9.3 |7648k| 39 | - | 238 |1634 | 238 | 260 | 420 |5205 |1973 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.79/8.87 c 8.9s| 8600 | 2191 | 84461 | 9.3 |7667k| 39 | 19 | 238 |1570 | 238 | 260 | 420 |5278 |1973 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.89/8.94 c 8.9s| 8700 | 2192 | 85243 | 9.3 |7678k| 39 | 25 | 238 |1508 | 238 | 260 | 420 |5331 |1973 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.98/9.00 c 9.0s| 8800 | 2190 | 86072 | 9.3 |7704k| 39 | 34 | 238 |1492 | 238 | 260 | 420 |5432 |1973 | 1.400000e+01 | 2.600000e+01 | 85.71%
8.98/9.06 c 9.1s| 8900 | 2205 | 86694 | 9.2 |7735k| 39 | 27 | 238 |1502 | 238 | 260 | 420 |5503 |1973 | 1.400000e+01 | 2.600000e+01 | 85.71%
9.09/9.13 c 9.1s| 9000 | 2220 | 87697 | 9.2 |7780k| 39 | 25 | 238 |1517 | 238 | 260 | 420 |5561 |1973 | 1.400000e+01 | 2.600000e+01 | 85.71%
9.19/9.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.19/9.21 c 9.2s| 9100 | 2251 | 88591 | 9.2 |7811k| 39 | 56 | 238 |1539 | 238 | 260 | 420 |5662 |1975 | 1.400000e+01 | 2.600000e+01 | 85.71%
9.19/9.27 c 9.3s| 9200 | 2263 | 89511 | 9.2 |7841k| 39 | - | 238 |1534 | 238 | 260 | 420 |5714 |1975 | 1.400000e+01 | 2.600000e+01 | 85.71%
9.28/9.35 c 9.4s| 9300 | 2279 | 90713 | 9.3 |7881k| 39 | - | 238 |1525 | 0 | 0 | 420 |5799 |1979 | 1.400000e+01 | 2.600000e+01 | 85.71%
9.38/9.43 c 9.4s| 9400 | 2284 | 91523 | 9.2 |7904k| 39 | 32 | 238 |1504 | 238 | 260 | 420 |5875 |1981 | 1.400000e+01 | 2.600000e+01 | 85.71%
9.49/9.50 c 9.5s| 9500 | 2290 | 92348 | 9.2 |7951k| 39 | - | 238 |1498 | 238 | 260 | 420 |5938 |1982 | 1.400000e+01 | 2.600000e+01 | 85.71%
9.49/9.56 c 9.6s| 9600 | 2305 | 93160 | 9.2 |7983k| 39 | 21 | 238 |1515 | 238 | 260 | 420 |6006 |1982 | 1.400000e+01 | 2.600000e+01 | 85.71%
9.58/9.62 c 9.6s| 9700 | 2318 | 93811 | 9.2 |8019k| 39 | 19 | 238 |1510 | 238 | 260 | 420 |6066 |1985 | 1.400000e+01 | 2.600000e+01 | 85.71%
9.58/9.69 c 9.7s| 9800 | 2329 | 94662 | 9.2 |8053k| 39 | 34 | 238 |1548 | 238 | 260 | 420 |6170 |1985 | 1.401379e+01 | 2.600000e+01 | 85.53%
9.69/9.76 c 9.8s| 9900 | 2316 | 95351 | 9.2 |8063k| 39 | 41 | 238 |1552 | 238 | 260 | 420 |6243 |1987 | 1.401379e+01 | 2.600000e+01 | 85.53%
9.79/9.82 c 9.8s| 10000 | 2319 | 96110 | 9.1 |8056k| 39 | 47 | 238 |1528 | 238 | 260 | 420 |6279 |1990 | 1.401379e+01 | 2.600000e+01 | 85.53%
9.79/9.89 c 9.9s| 10100 | 2339 | 96904 | 9.1 |8098k| 39 | 41 | 238 |1542 | 238 | 260 | 420 |6390 |1990 | 1.401379e+01 | 2.600000e+01 | 85.53%
9.89/9.95 c 10.0s| 10200 | 2328 | 97384 | 9.1 |8100k| 39 | - | 238 |1551 | 238 | 260 | 420 |6469 |1990 | 1.500000e+01 | 2.600000e+01 | 73.33%
9.99/10.01 c 10.0s| 10300 | 2346 | 98220 | 9.1 |8144k| 39 | - | 238 |1583 | 238 | 260 | 420 |6539 |1990 | 1.500000e+01 | 2.600000e+01 | 73.33%
9.99/10.08 c 10.1s| 10400 | 2362 | 99003 | 9.1 |8189k| 39 | - | 238 |1626 | 0 | 0 | 420 |6637 |1999 | 1.500000e+01 | 2.600000e+01 | 73.33%
10.08/10.15 c 10.2s| 10500 | 2362 | 99763 | 9.1 |8201k| 39 | - | 238 |1632 | 238 | 260 | 420 |6727 |2000 | 1.500000e+01 | 2.600000e+01 | 73.33%
10.18/10.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.18/10.22 c 10.2s| 10600 | 2344 |100442 | 9.0 |8185k| 39 | - | 238 |1593 | 0 | 0 | 420 |6812 |2000 | 1.500000e+01 | 2.600000e+01 | 73.33%
10.18/10.29 c 10.3s| 10700 | 2353 |101611 | 9.1 |8191k| 39 | - | 238 |1584 | 238 | 260 | 420 |6880 |2003 | 1.500000e+01 | 2.600000e+01 | 73.33%
10.28/10.36 c 10.4s| 10800 | 2377 |102657 | 9.1 |8206k| 39 | - | 238 |1575 | 238 | 260 | 420 |6935 |2003 | 1.500000e+01 | 2.600000e+01 | 73.33%
10.39/10.42 c 10.4s| 10900 | 2400 |103312 | 9.1 |8251k| 39 | 44 | 238 |1598 | 238 | 260 | 420 |6980 |2003 | 1.500000e+01 | 2.600000e+01 | 73.33%
10.48/10.54 c 10.5s| 11000 | 2398 |103987 | 9.0 |8264k| 39 | 27 | 238 |1601 | 238 | 260 | 420 |7049 |2003 | 1.500000e+01 | 2.600000e+01 | 73.33%
10.48/10.55 o 25
10.48/10.55 c *10.6s| 11022 | 1904 |104099 | 9.0 |7637k| 39 | - | 238 |1605 | 238 | 260 | 420 |7058 |2003 | 1.500000e+01 | 2.500000e+01 | 66.67%
10.59/10.60 c 10.6s| 11100 | 1919 |104781 | 9.0 |7692k| 39 | - | 238 |1643 | 0 | 0 | 420 |7132 |2003 | 1.500000e+01 | 2.500000e+01 | 66.67%
10.59/10.66 c 10.7s| 11200 | 1922 |105433 | 9.0 |7685k| 39 | 54 | 238 |1626 | 238 | 260 | 420 |7173 |2003 | 1.500000e+01 | 2.500000e+01 | 66.67%
10.68/10.77 c 10.8s| 11300 | 1907 |106462 | 9.0 |7696k| 39 | - | 238 |1630 | 0 | 0 | 420 |7267 |2003 | 1.500000e+01 | 2.500000e+01 | 66.67%
10.79/10.83 c 10.8s| 11400 | 1897 |107117 | 9.0 |7704k| 39 | - | 238 |1621 | 238 | 260 | 420 |7340 |2003 | 1.500000e+01 | 2.500000e+01 | 66.67%
10.79/10.90 c 10.9s| 11500 | 1904 |107992 | 9.0 |7687k| 39 | 39 | 238 |1578 | 238 | 260 | 420 |7381 |2003 | 1.500000e+01 | 2.500000e+01 | 66.67%
10.89/10.96 c 11.0s| 11600 | 1907 |108625 | 9.0 |7708k| 39 | 37 | 238 |1616 | 238 | 260 | 420 |7447 |2003 | 1.500000e+01 | 2.500000e+01 | 66.67%
10.99/11.05 c 11.1s| 11700 | 1901 |109477 | 9.0 |7705k| 39 | 28 | 238 |1607 | 238 | 260 | 420 |7522 |2004 | 1.500000e+01 | 2.500000e+01 | 66.67%
11.09/11.13 c 11.1s| 11800 | 1912 |110474 | 9.0 |7747k| 39 | 34 | 238 |1593 | 238 | 260 | 420 |7595 |2005 | 1.500000e+01 | 2.500000e+01 | 66.67%
11.09/11.18 c 11.2s| 11900 | 1897 |111050 | 8.9 |7755k| 39 | - | 238 |1558 | 238 | 260 | 420 |7632 |2005 | 1.500000e+01 | 2.500000e+01 | 66.67%
11.18/11.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.18/11.24 c 11.2s| 12000 | 1890 |111829 | 8.9 |7750k| 39 | 31 | 238 |1533 | 238 | 260 | 420 |7691 |2005 | 1.500000e+01 | 2.500000e+01 | 66.67%
11.28/11.30 c 11.3s| 12100 | 1876 |112336 | 8.9 |7775k| 39 | - | 238 |1560 | 238 | 260 | 420 |7763 |2005 | 1.500000e+01 | 2.500000e+01 | 66.67%
11.28/11.35 c 11.4s| 12200 | 1877 |112876 | 8.9 |7799k| 39 | 67 | 238 |1573 | 238 | 260 | 420 |7821 |2005 | 1.500000e+01 | 2.500000e+01 | 66.67%
11.38/11.42 c 11.4s| 12300 | 1872 |113760 | 8.9 |7801k| 39 | - | 238 |1568 | 238 | 260 | 420 |7883 |2005 | 1.500000e+01 | 2.500000e+01 | 66.67%
11.38/11.47 c 11.5s| 12400 | 1891 |114784 | 8.9 |7820k| 39 | - | 238 |1548 | 238 | 260 | 420 |7906 |2005 | 1.500000e+01 | 2.500000e+01 | 66.67%
11.49/11.56 c 11.6s| 12500 | 1875 |115505 | 8.9 |7806k| 39 | - | 238 |1501 | 0 | 0 | 420 |7955 |2005 | 1.500000e+01 | 2.500000e+01 | 66.67%
11.58/11.62 c 11.6s| 12600 | 1895 |116748 | 8.9 |7822k| 39 | 41 | 238 |1487 | 238 | 260 | 420 |8000 |2005 | 1.500000e+01 | 2.500000e+01 | 66.67%
11.58/11.68 c 11.7s| 12700 | 1900 |117561 | 8.9 |7824k| 39 | 21 | 238 |1480 | 238 | 260 | 420 |8037 |2005 | 1.500000e+01 | 2.500000e+01 | 66.67%
11.69/11.74 c 11.7s| 12800 | 1914 |118399 | 8.9 |7834k| 39 | 14 | 238 |1462 | 238 | 260 | 420 |8073 |2006 | 1.505517e+01 | 2.500000e+01 | 66.06%
11.78/11.80 c 11.8s| 12900 | 1919 |119362 | 8.9 |7843k| 39 | 6 | 238 |1477 | 238 | 260 | 420 |8121 |2006 | 1.600000e+01 | 2.500000e+01 | 56.25%
11.78/11.87 c 11.9s| 13000 | 1933 |120055 | 8.9 |7885k| 39 | 23 | 238 |1509 | 238 | 260 | 420 |8201 |2006 | 1.600000e+01 | 2.500000e+01 | 56.25%
11.88/11.94 c 11.9s| 13100 | 1922 |120962 | 8.9 |7880k| 39 | - | 238 |1512 | 238 | 260 | 420 |8260 |2006 | 1.600000e+01 | 2.500000e+01 | 56.25%
11.88/11.99 c 12.0s| 13200 | 1923 |121885 | 8.9 |7890k| 39 | - | 238 |1506 | 0 | 0 | 420 |8297 |2006 | 1.600000e+01 | 2.500000e+01 | 56.25%
11.99/12.05 c 12.0s| 13300 | 1901 |122421 | 8.9 |7893k| 39 | - | 238 |1508 | 0 | 0 | 420 |8346 |2006 | 1.600000e+01 | 2.500000e+01 | 56.25%
12.09/12.11 c 12.1s| 13400 | 1898 |123502 | 8.9 |7889k| 39 | 45 | 238 |1521 | 238 | 260 | 420 |8411 |2006 | 1.600000e+01 | 2.500000e+01 | 56.25%
12.09/12.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.09/12.17 c 12.2s| 13500 | 1896 |124403 | 8.9 |7897k| 39 | 53 | 238 |1501 | 238 | 260 | 420 |8445 |2006 | 1.600000e+01 | 2.500000e+01 | 56.25%
12.19/12.24 c 12.2s| 13600 | 1904 |125417 | 8.9 |7921k| 39 | - | 238 |1493 | 238 | 260 | 420 |8474 |2006 | 1.600000e+01 | 2.500000e+01 | 56.25%
12.28/12.30 c 12.3s| 13700 | 1893 |126143 | 8.9 |7915k| 39 | - | 238 |1515 | 238 | 260 | 420 |8547 |2006 | 1.600000e+01 | 2.500000e+01 | 56.25%
12.28/12.35 c 12.4s| 13800 | 1902 |126841 | 8.9 |7938k| 39 | - | 238 |1521 | 238 | 260 | 420 |8584 |2006 | 1.600000e+01 | 2.500000e+01 | 56.25%
12.38/12.42 c 12.4s| 13900 | 1883 |127671 | 8.9 |7931k| 39 | - | 238 |1554 | 0 | 0 | 420 |8674 |2007 | 1.600000e+01 | 2.500000e+01 | 56.25%
12.38/12.48 c 12.5s| 14000 | 1905 |128459 | 8.8 |7955k| 39 | - | 238 |1551 | 238 | 260 | 420 |8714 |2007 | 1.601379e+01 | 2.500000e+01 | 56.12%
12.48/12.56 c 12.6s| 14100 | 1906 |129256 | 8.8 |7972k| 39 | 18 | 238 |1554 | 238 | 260 | 420 |8762 |2007 | 1.700000e+01 | 2.500000e+01 | 47.06%
12.58/12.62 c 12.6s| 14200 | 1895 |129905 | 8.8 |7977k| 39 | - | 238 |1576 | 238 | 260 | 420 |8825 |2007 | 1.700000e+01 | 2.500000e+01 | 47.06%
12.58/12.69 c 12.7s| 14300 | 1878 |130683 | 8.8 |7976k| 39 | 59 | 238 |1594 | 238 | 260 | 420 |8887 |2008 | 1.700000e+01 | 2.500000e+01 | 47.06%
12.68/12.75 c 12.7s| 14400 | 1867 |131437 | 8.8 |7984k| 39 | - | 238 |1590 | 238 | 260 | 420 |8930 |2009 | 1.700000e+01 | 2.500000e+01 | 47.06%
12.79/12.80 c 12.8s| 14500 | 1854 |132047 | 8.8 |7973k| 39 | 62 | 238 |1585 | 238 | 260 | 420 |8993 |2009 | 1.700000e+01 | 2.500000e+01 | 47.06%
12.79/12.86 c 12.9s| 14600 | 1849 |132616 | 8.8 |7946k| 39 | 15 | 238 |1556 | 238 | 260 | 420 |9025 |2010 | 1.700000e+01 | 2.500000e+01 | 47.06%
12.88/12.92 c 12.9s| 14700 | 1841 |133373 | 8.8 |7959k| 39 | - | 238 |1580 | 238 | 260 | 420 |9105 |2010 | 1.700000e+01 | 2.500000e+01 | 47.06%
12.88/12.98 c 13.0s| 14800 | 1853 |134173 | 8.8 |7978k| 39 | 49 | 238 |1560 | 238 | 260 | 420 |9133 |2012 | 1.700000e+01 | 2.500000e+01 | 47.06%
12.99/13.03 c 13.0s| 14900 | 1848 |134908 | 8.7 |7960k| 39 | 21 | 238 |1565 | 238 | 260 | 420 |9191 |2012 | 1.700000e+01 | 2.500000e+01 | 47.06%
12.99/13.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.99/13.09 c 13.1s| 15000 | 1834 |135457 | 8.7 |7956k| 39 | - | 238 |1587 | 0 | 0 | 420 |9254 |2012 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.09/13.15 c 13.2s| 15100 | 1822 |136390 | 8.7 |7932k| 39 | - | 238 |1589 | 0 | 0 | 420 |9310 |2012 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.19/13.21 c 13.2s| 15200 | 1827 |137274 | 8.7 |7950k| 39 | 48 | 238 |1577 | 238 | 260 | 420 |9338 |2012 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.19/13.26 c 13.3s| 15300 | 1839 |138100 | 8.7 |7964k| 39 | 37 | 238 |1577 | 238 | 260 | 420 |9376 |2012 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.28/13.32 c 13.3s| 15400 | 1851 |138801 | 8.7 |7996k| 39 | - | 238 |1598 | 0 | 0 | 420 |9433 |2012 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.28/13.37 c 13.4s| 15500 | 1854 |139489 | 8.7 |8023k| 39 | 33 | 238 |1623 | 238 | 260 | 420 |9485 |2012 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.39/13.43 c 13.4s| 15600 | 1846 |140159 | 8.7 |8031k| 39 | 53 | 238 |1643 | 238 | 260 | 420 |9547 |2012 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.39/13.48 c 13.5s| 15700 | 1824 |140814 | 8.7 |8016k| 39 | 64 | 238 |1625 | 238 | 260 | 420 |9593 |2012 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.49/13.54 c 13.5s| 15800 | 1819 |141539 | 8.7 |8033k| 39 | - | 238 |1651 | 238 | 260 | 420 |9670 |2012 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.49/13.59 c 13.6s| 15900 | 1820 |142175 | 8.6 |8035k| 39 | 53 | 238 |1637 | 238 | 260 | 420 |9698 |2012 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.58/13.64 c 13.6s| 16000 | 1810 |142745 | 8.6 |8032k| 39 | - | 238 |1630 | 238 | 260 | 420 |9733 |2012 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.69/13.70 c 13.7s| 16100 | 1812 |143593 | 8.6 |8042k| 39 | - | 238 |1641 | 238 | 260 | 420 |9793 |2013 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.69/13.76 c 13.8s| 16200 | 1806 |144265 | 8.6 |8037k| 39 | 39 | 238 |1629 | 238 | 260 | 420 |9833 |2013 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.78/13.82 c 13.8s| 16300 | 1792 |145059 | 8.6 |8060k| 39 | 25 | 238 |1697 | 238 | 260 | 420 |9925 |2013 | 1.700000e+01 | 2.500000e+01 | 47.06%
13.78/13.88 c 13.9s| 16400 | 1761 |145718 | 8.6 |8013k| 39 | 44 | 238 |1734 | 238 | 260 | 420 | 10k|2013 | 1.705369e+01 | 2.500000e+01 | 46.60%
13.88/13.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.88/13.94 c 13.9s| 16500 | 1726 |146339 | 8.6 |7994k| 39 | - | 238 |1703 | 238 | 260 | 420 | 10k|2013 | 1.708333e+01 | 2.500000e+01 | 46.34%
13.99/14.01 c 14.0s| 16600 | 1718 |147150 | 8.6 |7961k| 39 | - | 238 |1697 | 238 | 260 | 420 | 10k|2013 | 1.750000e+01 | 2.500000e+01 | 42.86%
13.99/14.06 c 14.1s| 16700 | 1700 |147722 | 8.6 |7941k| 39 | 36 | 238 |1701 | 238 | 260 | 420 | 10k|2013 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.08/14.12 c 14.1s| 16800 | 1704 |148475 | 8.6 |7944k| 39 | - | 238 |1703 | 238 | 260 | 420 | 10k|2016 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.08/14.17 c 14.2s| 16900 | 1687 |149060 | 8.5 |7894k| 39 | 44 | 238 |1674 | 238 | 260 | 420 | 10k|2016 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.19/14.24 c 14.2s| 17000 | 1676 |150100 | 8.6 |7888k| 39 | - | 238 |1661 | 238 | 260 | 420 | 10k|2016 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.19/14.30 c 14.3s| 17100 | 1661 |150815 | 8.5 |7885k| 39 | 43 | 238 |1703 | 238 | 260 | 420 | 10k|2016 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.29/14.35 c 14.4s| 17200 | 1649 |151476 | 8.5 |7902k| 39 | - | 238 |1724 | 238 | 260 | 420 | 10k|2016 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.38/14.43 c 14.4s| 17300 | 1637 |152016 | 8.5 |7893k| 39 | - | 238 |1736 | 0 | 0 | 420 | 10k|2016 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.38/14.48 c 14.5s| 17400 | 1617 |152632 | 8.5 |7887k| 39 | - | 238 |1739 | 238 | 260 | 420 | 10k|2016 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.48/14.54 c 14.5s| 17500 | 1599 |153620 | 8.5 |7865k| 39 | - | 238 |1719 | 238 | 260 | 420 | 10k|2016 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.58/14.60 c 14.6s| 17600 | 1581 |154334 | 8.5 |7845k| 39 | - | 238 |1714 | 238 | 260 | 420 | 10k|2016 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.58/14.66 c 14.7s| 17700 | 1581 |155215 | 8.5 |7827k| 39 | 59 | 238 |1685 | 238 | 260 | 420 | 10k|2016 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.68/14.70 c 14.7s| 17800 | 1564 |155730 | 8.5 |7807k| 39 | 24 | 238 |1683 | 238 | 260 | 420 | 10k|2016 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.89/14.96 c 14.8s| 17900 | 1540 |156264 | 8.5 |7788k| 39 | - | 238 |1695 | 238 | 260 | 420 | 10k|2016 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.89/14.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.89/14.96 c 14.8s| 18000 | 1542 |156925 | 8.5 |7805k| 39 | 41 | 238 |1711 | 238 | 260 | 420 | 10k|2016 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.89/14.96 c 14.9s| 18100 | 1527 |157863 | 8.5 |7801k| 39 | - | 238 |1739 | 238 | 260 | 420 | 10k|2017 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.89/14.96 c 14.9s| 18200 | 1510 |158495 | 8.5 |7780k| 39 | - | 238 |1744 | 0 | 0 | 420 | 10k|2018 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.89/14.99 c 15.0s| 18300 | 1505 |159292 | 8.5 |7778k| 39 | 36 | 238 |1752 | 238 | 260 | 420 | 10k|2018 | 1.800000e+01 | 2.500000e+01 | 38.89%
14.98/15.04 c 15.0s| 18400 | 1494 |159720 | 8.4 |7781k| 39 | 55 | 238 |1806 | 238 | 260 | 420 | 10k|2018 | 1.800000e+01 | 2.500000e+01 | 38.89%
15.08/15.10 c 15.1s| 18500 | 1497 |160299 | 8.4 |7810k| 39 | 17 | 238 |1860 | 238 | 260 | 420 | 11k|2018 | 1.800000e+01 | 2.500000e+01 | 38.89%
15.08/15.15 c 15.2s| 18600 | 1477 |160975 | 8.4 |7790k| 39 | - | 238 |1853 | 238 | 260 | 420 | 11k|2018 | 1.800000e+01 | 2.500000e+01 | 38.89%
15.19/15.22 c 15.2s| 18700 | 1479 |161711 | 8.4 |7798k| 39 | 24 | 238 |1858 | 238 | 260 | 420 | 11k|2018 | 1.800000e+01 | 2.500000e+01 | 38.89%
15.19/15.27 c 15.3s| 18800 | 1477 |162266 | 8.4 |7805k| 39 | - | 238 |1886 | 238 | 260 | 420 | 11k|2018 | 1.800000e+01 | 2.500000e+01 | 38.89%
15.29/15.34 c 15.3s| 18900 | 1450 |163130 | 8.4 |7790k| 39 | - | 238 |1868 | 238 | 260 | 420 | 11k|2018 | 1.801342e+01 | 2.500000e+01 | 38.79%
15.29/15.40 c 15.4s| 19000 | 1442 |163647 | 8.4 |7805k| 39 | - | 238 |1872 | 0 | 0 | 420 | 11k|2019 | 1.833333e+01 | 2.500000e+01 | 36.36%
15.39/15.45 c 15.5s| 19100 | 1437 |164450 | 8.4 |7801k| 39 | - | 238 |1874 | 238 | 260 | 420 | 11k|2019 | 1.900000e+01 | 2.500000e+01 | 31.58%
15.48/15.50 c 15.5s| 19200 | 1406 |164860 | 8.3 |7761k| 39 | 54 | 238 |1851 | 238 | 260 | 420 | 11k|2019 | 1.900000e+01 | 2.500000e+01 | 31.58%
15.48/15.57 c 15.6s| 19300 | 1396 |165657 | 8.3 |7743k| 39 | - | 238 |1836 | 238 | 260 | 420 | 11k|2019 | 1.900000e+01 | 2.500000e+01 | 31.58%
15.58/15.62 c 15.6s| 19400 | 1373 |166248 | 8.3 |7699k| 39 | 18 | 238 |1826 | 238 | 260 | 420 | 11k|2019 | 1.900000e+01 | 2.500000e+01 | 31.58%
15.58/15.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.58/15.69 c 15.7s| 19500 | 1347 |166920 | 8.3 |7632k| 39 | - | 238 |1781 | 238 | 260 | 420 | 11k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
15.69/15.74 c 15.7s| 19600 | 1325 |167448 | 8.3 |7619k| 39 | - | 238 |1782 | 0 | 0 | 420 | 11k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
15.78/15.80 c 15.8s| 19700 | 1323 |168318 | 8.3 |7614k| 39 | - | 238 |1790 | 238 | 260 | 420 | 11k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
15.78/15.85 c 15.9s| 19800 | 1307 |168857 | 8.3 |7605k| 39 | - | 238 |1768 | 238 | 260 | 420 | 11k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
15.88/15.90 c 15.9s| 19900 | 1294 |169535 | 8.3 |7586k| 39 | - | 238 |1727 | 238 | 260 | 420 | 11k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
15.88/15.96 c 16.0s| 20000 | 1260 |170054 | 8.3 |7494k| 39 | 36 | 238 |1743 | 238 | 260 | 420 | 11k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
15.98/16.01 c 16.0s| 20100 | 1256 |170641 | 8.3 |7503k| 39 | - | 238 |1775 | 238 | 260 | 420 | 11k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
15.98/16.07 c 16.1s| 20200 | 1211 |171328 | 8.3 |7433k| 39 | 53 | 238 |1743 | 238 | 260 | 420 | 11k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.08/16.13 c 16.1s| 20300 | 1199 |171953 | 8.2 |7421k| 39 | - | 238 |1748 | 238 | 260 | 420 | 11k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.08/16.18 c 16.2s| 20400 | 1187 |172639 | 8.2 |7397k| 39 | - | 238 |1718 | 238 | 260 | 420 | 11k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.18/16.24 c 16.2s| 20500 | 1154 |173307 | 8.2 |7340k| 39 | - | 238 |1683 | 238 | 260 | 420 | 11k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.18/16.29 c 16.3s| 20600 | 1133 |173865 | 8.2 |7342k| 39 | - | 238 |1678 | 0 | 0 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.28/16.33 c 16.3s| 20700 | 1118 |174398 | 8.2 |7307k| 39 | - | 238 |1665 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.28/16.39 c 16.4s| 20800 | 1092 |175124 | 8.2 |7267k| 39 | - | 238 |1633 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.38/16.45 c 16.5s| 20900 | 1082 |175838 | 8.2 |7265k| 39 | - | 238 |1630 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.38/16.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.38/16.49 c 16.5s| 21000 | 1063 |176391 | 8.2 |7230k| 39 | - | 238 |1598 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.49/16.54 c 16.5s| 21100 | 1073 |177077 | 8.2 |7255k| 39 | 11 | 238 |1621 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.58/16.61 c 16.6s| 21200 | 1073 |178539 | 8.2 |7257k| 39 | 63 | 238 |1633 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.58/16.65 c 16.7s| 21300 | 1069 |179281 | 8.2 |7257k| 39 | - | 238 |1619 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.69/16.70 c 16.7s| 21400 | 1053 |180051 | 8.2 |7241k| 39 | - | 238 |1617 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.69/16.75 c 16.8s| 21500 | 1041 |180736 | 8.2 |7232k| 39 | - | 238 |1639 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.78/16.80 c 16.8s| 21600 | 1016 |181272 | 8.2 |7197k| 39 | - | 238 |1641 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.78/16.86 c 16.9s| 21700 | 1005 |182063 | 8.2 |7196k| 39 | 30 | 238 |1649 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.88/16.93 c 16.9s| 21800 | 971 |182896 | 8.2 |7128k| 39 | - | 238 |1617 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.88/16.98 c 17.0s| 21900 | 958 |183445 | 8.2 |7112k| 39 | - | 238 |1630 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.98/17.03 c 17.0s| 22000 | 943 |183961 | 8.2 |7099k| 39 | - | 238 |1674 | 238 | 260 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
16.98/17.08 c 17.1s| 22100 | 942 |184722 | 8.1 |7107k| 39 | - | 238 |1664 | 0 | 0 | 420 | 12k|2024 | 1.900000e+01 | 2.500000e+01 | 31.58%
17.08/17.13 c 17.1s| 22200 | 901 |185309 | 8.1 |7057k| 39 | 30 | 238 |1654 | 238 | 260 | 420 | 12k|2024 | 1.901379e+01 | 2.500000e+01 | 31.48%
17.08/17.18 c 17.2s| 22300 | 883 |185898 | 8.1 |7046k| 39 | - | 238 |1637 | 238 | 260 | 420 | 12k|2024 | 1.901379e+01 | 2.500000e+01 | 31.48%
17.18/17.22 c 17.2s| 22400 | 888 |186534 | 8.1 |7059k| 39 | - | 238 |1650 | 238 | 260 | 420 | 12k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.18/17.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.18/17.28 c 17.3s| 22500 | 870 |187285 | 8.1 |7018k| 39 | 46 | 238 |1634 | 238 | 260 | 420 | 12k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.28/17.33 c 17.3s| 22600 | 858 |187902 | 8.1 |7014k| 39 | 30 | 238 |1647 | 238 | 260 | 420 | 12k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.28/17.38 c 17.4s| 22700 | 834 |188454 | 8.1 |6974k| 39 | - | 238 |1664 | 238 | 260 | 420 | 12k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.39/17.43 c 17.4s| 22800 | 823 |189128 | 8.1 |6972k| 39 | - | 238 |1701 | 238 | 260 | 420 | 12k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.39/17.48 c 17.5s| 22900 | 799 |189649 | 8.1 |6941k| 39 | - | 238 |1680 | 0 | 0 | 420 | 12k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.48/17.53 c 17.5s| 23000 | 781 |190435 | 8.1 |6930k| 39 | - | 238 |1668 | 238 | 260 | 420 | 12k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.48/17.59 c 17.6s| 23100 | 759 |190909 | 8.1 |6904k| 39 | - | 238 |1699 | 238 | 260 | 420 | 12k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.59/17.63 c 17.6s| 23200 | 739 |191425 | 8.1 |6893k| 39 | - | 238 |1702 | 0 | 0 | 420 | 12k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.59/17.69 c 17.7s| 23300 | 708 |192000 | 8.0 |6809k| 39 | - | 238 |1679 | 238 | 260 | 420 | 12k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.68/17.74 c 17.7s| 23400 | 672 |192505 | 8.0 |6744k| 39 | - | 238 |1655 | 238 | 260 | 420 | 12k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.68/17.79 c 17.8s| 23500 | 658 |193089 | 8.0 |6721k| 39 | - | 238 |1656 | 238 | 260 | 420 | 13k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.78/17.84 c 17.8s| 23600 | 639 |193678 | 8.0 |6699k| 39 | - | 238 |1643 | 238 | 260 | 420 | 13k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.89/17.92 c 17.9s| 23700 | 611 |194165 | 8.0 |6664k| 39 | - | 238 |1651 | 238 | 260 | 420 | 13k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.89/17.98 c 18.0s| 23800 | 590 |194718 | 8.0 |6629k| 39 | 42 | 238 |1677 | 238 | 260 | 420 | 13k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.98/18.02 c 18.0s| 23900 | 571 |195254 | 8.0 |6585k| 39 | - | 238 |1678 | 238 | 260 | 420 | 13k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
17.98/18.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.98/18.08 c 18.1s| 24000 | 541 |196025 | 8.0 |6528k| 39 | 23 | 238 |1664 | 238 | 260 | 420 | 13k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
18.09/18.13 c 18.1s| 24100 | 527 |196803 | 8.0 |6523k| 39 | - | 238 |1673 | 238 | 260 | 420 | 13k|2024 | 2.000000e+01 | 2.500000e+01 | 25.00%
18.09/18.18 c 18.2s| 24200 | 512 |197455 | 8.0 |6509k| 39 | - | 238 |1688 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.18/18.24 c 18.2s| 24300 | 490 |198050 | 8.0 |6448k| 39 | - | 238 |1696 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.18/18.28 c 18.3s| 24400 | 465 |198609 | 7.9 |6402k| 39 | - | 238 |1696 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.28/18.34 c 18.3s| 24500 | 433 |199215 | 7.9 |6367k| 39 | - | 238 |1677 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.28/18.39 c 18.4s| 24600 | 420 |199815 | 7.9 |6350k| 39 | - | 238 |1676 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.38/18.43 c 18.4s| 24700 | 400 |200354 | 7.9 |6281k| 39 | - | 238 |1680 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.38/18.49 c 18.5s| 24800 | 369 |201014 | 7.9 |6209k| 39 | - | 238 |1646 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.49/18.55 c 18.6s| 24900 | 346 |202042 | 7.9 |6164k| 39 | - | 238 |1650 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.49/18.60 c 18.6s| 25000 | 319 |202796 | 7.9 |6110k| 39 | 28 | 238 |1631 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.59/18.65 c 18.7s| 25100 | 314 |203361 | 7.9 |6093k| 39 | 26 | 238 |1619 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.59/18.70 c 18.7s| 25200 | 298 |204087 | 7.9 |6070k| 39 | 46 | 238 |1629 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.69/18.75 c 18.8s| 25300 | 258 |204689 | 7.9 |5932k| 39 | 20 | 238 |1610 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.78/18.81 c 18.8s| 25400 | 222 |205332 | 7.9 |5823k| 39 | 35 | 238 |1590 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.78/18.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.78/18.86 c 18.9s| 25500 | 184 |205844 | 7.9 |5664k| 39 | - | 238 |1590 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.88/18.91 c 18.9s| 25600 | 158 |206291 | 7.9 |5556k| 39 | - | 238 |1576 | 238 | 260 | 420 | 13k|2024 | 2.100000e+01 | 2.500000e+01 | 19.05%
18.88/18.96 c 19.0s| 25700 | 133 |206933 | 7.9 |5468k| 39 | - | 238 |1556 | 0 | 0 | 420 | 13k|2024 | 2.200000e+01 | 2.500000e+01 | 13.64%
18.98/19.01 c 19.0s| 25800 | 112 |207518 | 7.9 |5353k| 39 | - | 238 |1558 | 238 | 260 | 420 | 13k|2024 | 2.200000e+01 | 2.500000e+01 | 13.64%
18.98/19.07 c 19.1s| 25900 | 87 |208002 | 7.9 |5274k| 39 | - | 238 |1586 | 238 | 260 | 420 | 13k|2024 | 2.200000e+01 | 2.500000e+01 | 13.64%
19.08/19.12 c 19.1s| 26000 | 64 |208503 | 7.8 |5169k| 39 | - | 238 |1585 | 238 | 260 | 420 | 13k|2024 | 2.200000e+01 | 2.500000e+01 | 13.64%
19.08/19.17 c 19.2s| 26100 | 41 |208974 | 7.8 |5035k| 39 | - | 238 |1568 | 238 | 260 | 420 | 13k|2024 | 2.200000e+01 | 2.500000e+01 | 13.64%
19.18/19.22 c 19.2s| 26200 | 25 |209508 | 7.8 |4966k| 39 | - | 238 |1585 | 238 | 260 | 420 | 13k|2024 | 2.200000e+01 | 2.500000e+01 | 13.64%
19.18/19.26 c 19.3s| 26300 | 3 |210134 | 7.8 |4850k| 39 | - | 238 |1567 | 238 | 260 | 420 | 14k|2024 | 2.300000e+01 | 2.500000e+01 | 8.70%
19.18/19.29 c
19.18/19.29 c SCIP Status : problem is solved [optimal solution found]
19.18/19.29 c Solving Time (sec) : 19.29
19.18/19.29 c Solving Nodes : 26358
19.18/19.29 c Primal Bound : +2.50000000000000e+01 (14 solutions)
19.18/19.29 c Dual Bound : +2.50000000000000e+01
19.18/19.29 c Gap : 0.00 %
19.18/19.29 s OPTIMUM FOUND
19.18/19.29 v x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74
19.18/19.29 v x75 x76 x77 x78 x79 x80 x81 x82 -x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 -x96 x97 x98 x99 x100 -x101 x102 x103 x104
19.18/19.29 v x105 x106 x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 x118 x119 x120 x121 x122 -x123 -x124 -x125 -x126
19.18/19.29 v -x127 x128 -x129 -x130 -x131 -x132 -x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 -x148 x149 x150
19.18/19.29 v x151 x152 x153 x154 x155 x156 -x157 x158 x159 x160 x161 -x162 x163 x164 x165 -x166 x167 x168 -x169 -x170 -x171 -x172 -x173
19.18/19.29 v -x174 x175 x176 x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x18 -x17 -x16 -x15 -x14 -x13 x189 x190
19.18/19.29 v x191 x192 x193 x194 x195 x196 x197 -x198 x199 x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 x209 -x210 -x211 -x212 -x213
19.18/19.29 v -x214 -x215 -x216 -x217 -x218 -x12 -x11 -x10 -x9 x8 -x7 -x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
19.18/19.29 v -x231 -x232 -x24 -x23 -x22 x21 -x20 x19 x233 x234 -x235 -x236 -x237 -x30 -x29 x28 x27 x26 -x25 -x238 -x42 x41 x40 -x39 -x38
19.18/19.29 v -x37 -x36 x35 -x34 -x33 x32 -x31 -x6 x5 x4 -x3 -x2 x1
19.18/19.29 c SCIP Status : problem is solved [optimal solution found]
19.18/19.29 c Total Time : 19.29
19.18/19.29 c solving : 19.29
19.18/19.29 c presolving : 0.01 (included in solving)
19.18/19.29 c reading : 0.00 (included in solving)
19.18/19.29 c copying : 0.15 (19 #copies) (minimal 0.00, maximal 0.01, average 0.01)
19.18/19.29 c Original Problem :
19.18/19.29 c Problem name : HOME/instance-3693336-1338032724.opb
19.18/19.29 c Variables : 238 (238 binary, 0 integer, 0 implicit integer, 0 continuous)
19.18/19.29 c Constraints : 398 initial, 398 maximal
19.18/19.29 c Objective sense : minimize
19.18/19.29 c Presolved Problem :
19.18/19.29 c Problem name : t_HOME/instance-3693336-1338032724.opb
19.18/19.29 c Variables : 238 (238 binary, 0 integer, 0 implicit integer, 0 continuous)
19.18/19.29 c Constraints : 202 initial, 1900 maximal
19.18/19.29 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
19.18/19.29 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.18/19.29 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.18/19.29 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.18/19.29 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.18/19.29 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.18/19.29 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.18/19.29 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.18/19.29 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.18/19.29 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.18/19.29 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.18/19.29 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.18/19.29 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.18/19.29 c linear : 0.01 0.00 0 0 0 0 0 196 0 0 0
19.18/19.29 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.18/19.29 c root node : - - 13 - - 13 - - - - -
19.18/19.29 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
19.18/19.29 c integral : 0 0 0 0 14838 0 15 0 9 197 0 0 29436
19.18/19.29 c knapsack : 6 6 15 96632 1 0 12 16255 281 12643 119 0 0
19.18/19.29 c linear : 196 196 15 96768 0 0 9 38998 3297 253744 2 0 0
19.18/19.29 c logicor : 0+ 1698 15 69266 0 0 0 36055 512 91585 0 0 0
19.18/19.29 c countsols : 0 0 0 0 5 0 11 0 0 0 0 0 0
19.18/19.29 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
19.18/19.29 c integral : 2.56 0.00 0.00 0.00 2.56 0.00 0.00 0.00
19.18/19.29 c knapsack : 0.18 0.00 0.00 0.17 0.00 0.00 0.00 0.01
19.18/19.29 c linear : 2.47 0.00 0.00 2.43 0.00 0.00 0.00 0.04
19.18/19.29 c logicor : 0.99 0.00 0.00 0.97 0.00 0.00 0.00 0.02
19.18/19.29 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
19.18/19.29 c Propagators : #Propagate #ResProp Cutoffs DomReds
19.18/19.29 c rootredcost : 14 0 0 0
19.18/19.29 c pseudoobj : 111819 3907 17 2952
19.18/19.29 c vbounds : 0 0 0 0
19.18/19.29 c redcost : 15718 0 0 1293
19.18/19.29 c probing : 0 0 0 0
19.18/19.29 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
19.18/19.29 c rootredcost : 0.03 0.00 0.00 0.03 0.00
19.18/19.29 c pseudoobj : 0.11 0.00 0.00 0.10 0.01
19.18/19.29 c vbounds : 0.02 0.00 0.00 0.02 0.00
19.18/19.29 c redcost : 0.08 0.00 0.00 0.08 0.00
19.18/19.29 c probing : 0.00 0.00 0.00 0.00 0.00
19.18/19.29 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
19.18/19.29 c propagation : 0.14 4107 4030 20496 16.9 82 9.4 -
19.18/19.29 c infeasible LP : 0.09 2557 2557 4259 8.3 112 9.7 0
19.18/19.29 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
19.18/19.29 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
19.18/19.29 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
19.18/19.29 c applied globally : - - - 14031 13.2 - - -
19.18/19.29 c applied locally : - - - 0 0.0 - - -
19.18/19.29 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
19.18/19.29 c cut pool : 0.00 14 - - 600 - (maximal pool size: 2726)
19.18/19.29 c closecuts : 0.00 0.00 0 0 0 0 0
19.18/19.29 c impliedbounds : 0.00 0.00 15 0 0 8 0
19.18/19.29 c intobj : 0.00 0.00 0 0 0 0 0
19.18/19.29 c gomory : 0.01 0.00 10 0 0 338 0
19.18/19.29 c cgmip : 0.00 0.00 0 0 0 0 0
19.18/19.29 c strongcg : 0.05 0.00 15 0 0 926 0
19.18/19.29 c cmir : 0.10 0.00 10 0 0 1124 0
19.18/19.29 c flowcover : 0.13 0.00 10 0 0 1436 0
19.18/19.29 c clique : 0.00 0.00 1 0 0 0 0
19.18/19.29 c zerohalf : 0.00 0.00 0 0 0 0 0
19.18/19.29 c mcf : 0.00 0.00 1 0 0 0 0
19.18/19.29 c oddcycle : 0.00 0.00 0 0 0 0 0
19.18/19.29 c rapidlearning : 0.00 0.00 0 0 0 0 0
19.18/19.29 c Pricers : ExecTime SetupTime Calls Vars
19.18/19.29 c problem variables: 0.00 - 0 0
19.18/19.29 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
19.18/19.29 c relpscost : 2.55 0.00 14833 9 197 0 0 29436
19.18/19.29 c pscost : 0.00 0.00 0 0 0 0 0 0
19.18/19.29 c inference : 0.00 0.00 0 0 0 0 0 0
19.18/19.29 c mostinf : 0.00 0.00 0 0 0 0 0 0
19.18/19.29 c leastinf : 0.00 0.00 0 0 0 0 0 0
19.18/19.29 c fullstrong : 0.00 0.00 0 0 0 0 0 0
19.18/19.29 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
19.18/19.29 c random : 0.00 0.00 0 0 0 0 0 0
19.18/19.29 c Primal Heuristics : ExecTime SetupTime Calls Found
19.18/19.29 c LP solutions : 0.00 - - 5
19.18/19.29 c pseudo solutions : 0.00 - - 0
19.18/19.29 c oneopt : 0.01 0.00 14 0
19.18/19.29 c feaspump : 0.07 0.00 1 0
19.18/19.29 c crossover : 0.50 0.00 13 1
19.18/19.29 c objpscostdiving : 0.11 0.00 23 0
19.18/19.29 c linesearchdiving : 0.32 0.00 106 2
19.18/19.29 c guideddiving : 0.19 0.00 106 2
19.18/19.29 c pscostdiving : 0.32 0.00 106 0
19.18/19.29 c fracdiving : 0.15 0.00 106 1
19.18/19.29 c veclendiving : 0.33 0.00 106 1
19.18/19.29 c coefdiving : 0.19 0.00 107 1
19.18/19.29 c rootsoldiving : 0.18 0.00 54 1
19.18/19.29 c smallcard : 0.00 0.00 0 0
19.18/19.29 c trivial : 0.00 0.00 2 0
19.18/19.29 c shiftandpropagate: 0.01 0.00 1 0
19.18/19.29 c simplerounding : 0.00 0.00 0 0
19.18/19.29 c zirounding : 0.03 0.00 1000 0
19.18/19.29 c rounding : 0.08 0.00 1648 0
19.18/19.29 c shifting : 0.56 0.00 485 0
19.18/19.29 c intshifting : 0.00 0.00 0 0
19.18/19.29 c twoopt : 0.00 0.00 0 0
19.18/19.29 c indtwoopt : 0.00 0.00 0 0
19.18/19.29 c indoneopt : 0.01 0.00 0 0
19.18/19.29 c fixandinfer : 0.00 0.00 0 0
19.18/19.29 c clique : 0.00 0.00 0 0
19.18/19.29 c indcoefdiving : 0.00 0.00 0 0
19.18/19.29 c indrounding : 0.00 0.00 0 0
19.18/19.29 c nlpdiving : 0.00 0.00 0 0
19.18/19.29 c intdiving : 0.00 0.00 0 0
19.18/19.29 c actconsdiving : 0.00 0.00 0 0
19.18/19.29 c octane : 0.00 0.00 0 0
19.18/19.29 c rens : 0.02 0.00 1 0
19.18/19.29 c rins : 0.00 0.00 0 0
19.18/19.29 c localbranching : 0.00 0.00 0 0
19.18/19.29 c mutation : 0.00 0.00 0 0
19.18/19.29 c dins : 0.00 0.00 0 0
19.18/19.29 c vbounds : 0.00 0.00 0 0
19.18/19.29 c undercover : 0.00 0.00 0 0
19.18/19.29 c subnlp : 0.01 0.00 0 0
19.18/19.29 c trysol : 0.01 0.00 0 0
19.18/19.29 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
19.18/19.29 c primal LP : 0.00 2 0 0.00 - 0.00 2
19.18/19.29 c dual LP : 5.95 25021 170495 7.20 28672.36 0.14 1351
19.18/19.29 c lex dual LP : 0.00 0 0 0.00 -
19.18/19.29 c barrier LP : 0.00 0 0 0.00 - 0.00 0
19.18/19.29 c diving/probing LP: 1.13 4036 40016 9.91 35421.17
19.18/19.29 c strong branching : 2.36 2024 69115 34.15 29313.17
19.18/19.29 c (at root node) : - 35 11928 340.80 -
19.18/19.29 c conflict analysis: 0.00 0 0 0.00 -
19.18/19.29 c B&B Tree :
19.18/19.29 c number of runs : 1
19.18/19.29 c nodes : 26358
19.18/19.29 c nodes (total) : 26358
19.18/19.29 c nodes left : 0
19.18/19.29 c max depth : 39
19.18/19.29 c max depth (total): 39
19.18/19.29 c backtracks : 7635 (29.0%)
19.18/19.29 c delayed cutoffs : 1717
19.18/19.29 c repropagations : 14751 (95225 domain reductions, 990 cutoffs)
19.18/19.29 c avg switch length: 8.23
19.18/19.29 c switching time : 1.86
19.18/19.29 c Solution :
19.18/19.29 c Solutions found : 14 (14 improvements)
19.18/19.29 c First Solution : +5.40000000000000e+01 (in run 1, after 579 nodes, 3.32 seconds, depth 37, found by <relaxation>)
19.18/19.29 c Primal Bound : +2.50000000000000e+01 (in run 1, after 11022 nodes, 10.55 seconds, depth 22, found by <relaxation>)
19.18/19.29 c Dual Bound : +2.50000000000000e+01
19.18/19.29 c Gap : 0.00 %
19.18/19.29 c Root Dual Bound : +7.00000000000000e+00
19.18/19.29 c Root Iterations : 4659
19.29/19.30 c Time complete: 19.29.
OK 25
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-3693336-1338032724/watcher-3693336-1338032724 -o /tmp/evaluation-result-3693336-1338032724/solver-3693336-1338032724 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693336-1338032724.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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 1.94 2/176 1146 /proc/meminfo: memFree=29287792/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=9820 CPUtime=0 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 1209 0 0 0 0 0 0 0 20 0 1 0 269398282 10055680 1163 33554432000 4194304 10169799 140734241654080 140733782994984 7543003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/1146/statm: 2455 1163 412 1459 0 987 0 [startup+0.0771509 s] /proc/loadavg: 2.00 2.00 1.94 2/176 1146 /proc/meminfo: memFree=29287792/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=20416 CPUtime=0.07 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 4151 0 0 0 6 1 0 0 20 0 1 0 269398282 20905984 3848 33554432000 4194304 10169799 140734241654080 140734241646392 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1146/statm: 5104 3848 776 1459 0 3636 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 20416 [startup+0.10033 s] /proc/loadavg: 2.00 2.00 1.94 2/176 1146 /proc/meminfo: memFree=29287792/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=20416 CPUtime=0.09 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 4156 0 0 0 8 1 0 0 20 0 1 0 269398282 20905984 3853 33554432000 4194304 10169799 140734241654080 140734241646392 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1146/statm: 5104 3853 776 1459 0 3636 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20416 [startup+0.301068 s] /proc/loadavg: 2.00 2.00 1.94 2/176 1146 /proc/meminfo: memFree=29287792/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=24092 CPUtime=0.29 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 5083 0 0 0 28 1 0 0 20 0 1 0 269398282 24670208 4738 33554432000 4194304 10169799 140734241654080 140734241646392 6813917 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1146/statm: 6023 4738 801 1459 0 4555 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24092 [startup+0.700204 s] /proc/loadavg: 2.00 2.00 1.94 2/176 1146 /proc/meminfo: memFree=29287792/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=25624 CPUtime=0.69 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 7643 0 0 0 66 3 0 0 20 0 1 0 269398282 26238976 5255 33554432000 4194304 10169799 140734241654080 140734241650616 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1146/statm: 6406 5255 844 1459 0 4938 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25624 [startup+1.50103 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1147 /proc/meminfo: memFree=29269788/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=25992 CPUtime=1.49 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 7717 0 0 0 144 5 0 0 20 0 1 0 269398282 26615808 5329 33554432000 4194304 10169799 140734241654080 140734241649096 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1146/statm: 6498 5329 845 1459 0 5030 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25992 [startup+3.10017 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1147 /proc/meminfo: memFree=29269788/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=25992 CPUtime=3.09 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 7718 0 0 0 300 9 0 0 20 0 1 0 269398282 26615808 5330 33554432000 4194304 10169799 140734241654080 140734241649064 8030352 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1146/statm: 6498 5330 846 1459 0 5030 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25992 [startup+6.30018 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1147 /proc/meminfo: memFree=29266564/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=28756 CPUtime=6.29 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 26779 0 0 0 606 23 0 0 20 0 1 0 269398282 29446144 6053 33554432000 4194304 10169799 140734241654080 140734241651160 4433231 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1146/statm: 7189 6053 853 1459 0 5721 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28756 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 1.94 3/172 1170 /proc/meminfo: memFree=29350732/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=31696 CPUtime=12.68 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 45614 0 0 0 1222 46 0 0 20 0 1 0 269398282 32456704 6777 33554432000 4194304 10169799 140734241654080 140734241652456 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/1146/statm: 7924 6777 853 1459 0 6456 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31696 Solver just ended. Dumping a history of the last processes samples [startup+15.9002 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1186 /proc/meminfo: memFree=29082720/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=31908 CPUtime=15.88 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 48321 0 0 0 1530 58 0 0 20 0 1 0 269398282 32673792 6833 33554432000 4194304 10169799 140734241654080 140734241648872 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/1146/statm: 7977 6833 853 1459 0 6509 0 Current children cumulated CPU time (s) 15.88 Current children cumulated vsize (KiB) 31908 [startup+17.5002 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1186 /proc/meminfo: memFree=29077040/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=31908 CPUtime=17.48 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 48322 0 0 0 1684 64 0 0 20 0 1 0 269398282 32673792 6834 33554432000 4194304 10169799 140734241654080 140734241651704 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/1146/statm: 7977 6834 853 1459 0 6509 0 Current children cumulated CPU time (s) 17.48 Current children cumulated vsize (KiB) 31908 [startup+18.3002 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1186 /proc/meminfo: memFree=29077040/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=31864 CPUtime=18.28 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 50908 0 0 0 1760 68 0 0 20 0 1 0 269398282 32628736 6824 33554432000 4194304 10169799 140734241654080 140734241649256 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/1146/statm: 7966 6824 853 1459 0 6498 0 Current children cumulated CPU time (s) 18.28 Current children cumulated vsize (KiB) 31864 [startup+19.1002 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1186 /proc/meminfo: memFree=29059292/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=31864 CPUtime=19.08 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 50909 0 0 0 1837 71 0 0 20 0 1 0 269398282 32628736 6825 33554432000 4194304 10169799 140734241654080 140734241651704 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/1146/statm: 7966 6825 853 1459 0 6498 0 Current children cumulated CPU time (s) 19.08 Current children cumulated vsize (KiB) 31864 [startup+19.3002 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1186 /proc/meminfo: memFree=29059292/32873648 swapFree=6844/6844 [pid=1146] ppid=1144 vsize=30452 CPUtime=19.29 cores=0,2,4,6 /proc/1146/stat : 1146 (scip-2.1.1.4sfi) R 1144 1146 32411 0 -1 4202496 50913 0 0 0 1857 72 0 0 20 0 1 0 269398282 31182848 6476 33554432000 4194304 10169799 140734241654080 140734241651704 4515633 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/1146/statm: 7613 6476 855 1459 0 6145 0 Current children cumulated CPU time (s) 19.29 Current children cumulated vsize (KiB) 30452 Child status: 0 Real time (s): 19.3038 CPU time (s): 19.2961 CPU user time (s): 18.5722 CPU system time (s): 0.723889 CPU usage (%): 99.9599 Max. virtual memory (cumulated for all children) (KiB): 46372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.5722 system time used= 0.723889 maximum resident set size= 39988 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50915 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= 3 involuntary context switches= 57 runsolver used 0.029995 second user time and 0.081987 second system time The end
Begin job on node124 at 2012-05-26 13:45:24 IDJOB=3693336 IDBENCH=2632 IDSOLVER=2272 FILE ID=node124/3693336-1338032724 RUNJOBID= node124-1338029128-870 PBS_JOBID= 14624347 Free space on /tmp= 71596 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.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-3693336-1338032724/watcher-3693336-1338032724 -o /tmp/evaluation-result-3693336-1338032724/solver-3693336-1338032724 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693336-1338032724.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a28f5b3e9b4b12f9ccee04abccbf9327 RANDOM SEED=1597026627 node124.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.325 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.65 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.325 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 : 5385.03 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.325 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 : 5385.04 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.325 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 : 5357.53 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.325 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 : 5385.03 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.325 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 : 5385.04 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.325 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 : 5385.03 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.325 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 : 5385.03 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29288444 kB Buffers: 265224 kB Cached: 2440516 kB SwapCached: 0 kB Active: 744144 kB Inactive: 2063892 kB Active(anon): 104484 kB Inactive(anon): 0 kB Active(file): 639660 kB Inactive(file): 2063892 kB Unevictable: 6844 kB Mlocked: 6844 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13668 kB Writeback: 0 kB AnonPages: 108780 kB Mapped: 17800 kB Shmem: 200 kB Slab: 639744 kB SReclaimable: 84320 kB SUnreclaim: 555424 kB KernelStack: 1440 kB PageTables: 4248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 214144 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 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= 71580 MiB End job on node124 at 2012-05-26 13:45:44