Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | SAT (TO) | 6 | 1800.58 | 1801.24 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_2.opb |
| MD5SUM | b690996610ff381ef60353517fe5a0e9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 1800.13 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 6 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| 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 | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1293 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4389 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 1.1.0.7 0.00/0.01 c LP-Solver Clp 1.8.2 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c read problem <HOME/instance-1869507-1245175610.opb> 0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints 0.00/0.01 c start presolving problem 0.00/0.01 c presolving: 0.00/0.01 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.00/0.02 c (round 2) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.00/0.03 c (0.0s) probing: 101/140 (72.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings 0.00/0.03 c presolving (3 rounds): 0.00/0.03 c 6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.00/0.03 c 0 implications, 0 cliques 0.00/0.03 c presolved problem has 140 variables (140 bin, 0 int, 0 impl, 0 cont) and 6 constraints 0.00/0.03 c 6 constraints of type <linear> 0.00/0.03 c transformed objective value is always integral (scale: 1) 0.00/0.03 c Presolving Time: 0.01 0.00/0.03 c OPT-LIN 0.00/0.03 c ----------------------------------------------------------------------------------------------- 0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.03 c limits/memory = c 1620 0.00/0.03 c # maximal time in seconds to run 0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.03 c limits/time = c 1791 0.00/0.03 c # frequency for displaying node information lines 0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100] 0.00/0.03 c display/freq = c 10000 0.00/0.03 c ----------------------------------------------------------------------------------------------- 0.00/0.03 c start solving problem 0.00/0.03 c 0.00/0.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.00/0.03 c 0.0s| 1 | 0 | 28 | 465k| 0 | 6 | 140 | 6 | 6 | 140 | 6 | 0 | 0 | 0 | 9.094947e-13 | -- | Inf 0.00/0.04 c 0.0s| 1 | 0 | 110 | 542k| 0 | 9 | 140 | 6 | 6 | 140 | 13 | 7 | 0 | 0 | 9.094947e-13 | -- | Inf 0.00/0.05 c 0.0s| 1 | 0 | 123 | 610k| 0 | 15 | 140 | 6 | 6 | 140 | 18 | 12 | 0 | 0 | 1.818989e-12 | -- | Inf 0.00/0.07 c 0.1s| 1 | 0 | 132 | 655k| 0 | 20 | 140 | 6 | 6 | 140 | 23 | 17 | 0 | 0 | 1.818989e-12 | -- | Inf 0.00/0.09 c 0.1s| 1 | 0 | 142 | 662k| 0 | 19 | 140 | 6 | 6 | 140 | 24 | 18 | 0 | 0 | 1.818989e-12 | -- | Inf 0.09/0.11 c 0.1s| 1 | 0 | 147 | 672k| 0 | 19 | 140 | 6 | 6 | 140 | 25 | 19 | 0 | 0 | 1.818989e-12 | -- | Inf 0.09/0.14 c 0.1s| 1 | 0 | 152 | 674k| 0 | 20 | 140 | 6 | 6 | 140 | 26 | 20 | 0 | 0 | 1.818989e-12 | -- | Inf 0.29/0.32 c 0.3s| 1 | 2 | 152 | 675k| 0 | 20 | 140 | 6 | 6 | 140 | 26 | 20 | 0 | 20 | 1.818989e-12 | -- | Inf 0.49/0.54 o 761 0.49/0.54 c c 0.5s| 46 | 47 | 412 | 742k| 45 | - | 140 | 6 | 3 | 140 | 22 | 20 | 3 | 269 | 1.818989e-12 | 7.610000e+02 | Inf 0.49/0.57 o 487 0.49/0.57 c p 0.5s| 62 | 57 | 515 | 755k| 45 | - | 140 | 6 | 5 | 140 | 22 | 20 | 3 | 302 | 1.818989e-12 | 4.870000e+02 | Inf 0.59/0.60 o 355 0.59/0.60 c f 0.6s| 78 | 66 | 599 | 764k| 45 | - | 140 | 6 | 4 | 140 | 22 | 20 | 4 | 333 | 1.818989e-12 | 3.550000e+02 | Inf 0.59/0.64 o 353 0.59/0.64 c * 0.6s| 104 | 88 | 745 | 768k| 45 | - | 140 | 6 | 0 | 140 | 22 | 20 | 5 | 382 | 1.818989e-12 | 3.530000e+02 | Inf 0.59/0.64 o 351 0.59/0.64 c * 0.6s| 105 | 87 | 746 | 770k| 45 | - | 140 | 6 | 0 | 140 | 22 | 20 | 5 | 382 | 1.818989e-12 | 3.510000e+02 | Inf 0.59/0.66 o 348 0.59/0.66 c s 0.6s| 120 | 98 | 806 | 777k| 45 | - | 140 | 6 | 3 | 140 | 22 | 20 | 5 | 417 | 1.818989e-12 | 3.480000e+02 | Inf 0.69/0.73 o 346 0.69/0.73 c * 0.7s| 162 | 138 | 1031 | 799k| 45 | - | 140 | 6 | 0 | 140 | 22 | 20 | 5 | 518 | 1.818989e-12 | 3.460000e+02 | Inf 0.69/0.73 o 344 0.69/0.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.69/0.73 c o 0.7s| 164 | 140 | 1034 | 801k| 45 | 0 | 140 | 6 | 3 | 140 | 22 | 20 | 5 | 520 | 1.818989e-12 | 3.440000e+02 | Inf 0.79/0.83 o 101 0.79/0.83 c c 0.8s| 262 | 186 | 1421 | 832k| 47 | - | 140 | 6 | 4 | 140 | 22 | 20 | 8 | 597 | 1.818989e-12 | 1.010000e+02 | Inf 0.79/0.88 o 100 0.79/0.88 c f 0.8s| 305 | 227 | 1610 | 853k| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 10 | 627 | 1.818989e-12 | 1.000000e+02 | Inf 0.89/0.94 o 98 0.89/0.94 c s 0.9s| 365 | 270 | 1846 | 876k| 47 | - | 140 | 6 | 3 | 140 | 22 | 20 | 14 | 667 | 1.818989e-12 | 9.800000e+01 | Inf 0.89/0.95 o 96 0.89/0.95 c * 0.9s| 370 | 273 | 1852 | 880k| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 14 | 681 | 1.818989e-12 | 9.600000e+01 | Inf 0.89/0.95 o 94 0.89/0.95 c * 0.9s| 371 | 272 | 1853 | 881k| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 14 | 681 | 1.818989e-12 | 9.400000e+01 | Inf 0.89/0.97 o 90 0.89/0.97 c s 0.9s| 399 | 279 | 1938 | 891k| 47 | - | 140 | 6 | 1 | 140 | 22 | 20 | 17 | 705 | 1.818989e-12 | 9.000000e+01 | Inf 0.89/0.99 o 88 0.89/0.99 c * 0.9s| 415 | 290 | 1989 | 900k| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 17 | 720 | 1.818989e-12 | 8.800000e+01 | Inf 1.10/1.13 o 86 1.10/1.13 c * 1.1s| 590 | 421 | 2688 | 969k| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 21 | 777 | 1.818989e-12 | 8.600000e+01 | Inf 1.10/1.13 o 84 1.10/1.13 c * 1.1s| 591 | 414 | 2688 | 965k| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 21 | 777 | 1.818989e-12 | 8.400000e+01 | Inf 1.39/1.43 o 78 1.39/1.43 c * 1.4s| 954 | 718 | 4074 |1092k| 47 | - | 140 | 6 | 4 | 140 | 22 | 20 | 34 | 850 | 1.818989e-12 | 7.800000e+01 | Inf 1.58/1.66 o 76 1.58/1.66 c * 1.6s| 1206 | 926 | 5318 |1199k| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 46 | 877 | 1.818989e-12 | 7.600000e+01 | Inf 1.58/1.66 o 72 1.58/1.66 c * 1.6s| 1207 | 917 | 5319 |1193k| 47 | - | 140 | 6 | 1 | 140 | 22 | 20 | 46 | 877 | 1.818989e-12 | 7.200000e+01 | Inf 2.99/3.05 o 40 2.99/3.05 c g 2.9s| 2127 | 1607 | 10055 |1496k| 47 | - | 140 | 6 | 3 | 140 | 22 | 20 | 97 | 920 | 1.818989e-12 | 4.000000e+01 | Inf 4.79/4.86 o 39 4.79/4.86 c * 4.7s| 3543 | 2828 | 19932 |2060k| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 228 | 950 | 1.818989e-12 | 3.900000e+01 | Inf 7.28/7.33 o 33 7.28/7.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 7.28/7.33 c g 7.1s| 5262 | 4120 | 32923 |2675k| 47 | - | 140 | 6 | 2 | 140 | 22 | 20 | 400 | 976 | 1.818989e-12 | 3.300000e+01 | Inf 11.38/11.48 o 32 11.38/11.48 c f11.1s| 8830 | 6782 | 54182 |3914k| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 667 | 994 | 1.818989e-12 | 3.200000e+01 | Inf 12.99/13.06 c 12.6s| 10000 | 7660 | 60469 |4347k| 47 | - | 140 | 6 | 7 | 140 | 22 | 20 | 773 |1009 | 1.818989e-12 | 3.200000e+01 | Inf 13.19/13.28 o 30 13.19/13.28 c *12.8s| 10240 | 7817 | 61695 |4398k| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 791 |1012 | 1.818989e-12 | 3.000000e+01 | Inf 21.49/21.55 c 20.9s| 20000 | 14633 |107307 |7876k| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 |1523 |1225 | 1.818989e-12 | 3.000000e+01 | Inf 29.68/29.78 c 28.9s| 30000 | 20721 |152690 | 11M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 |2433 |1481 | 1.818989e-12 | 3.000000e+01 | Inf 34.37/34.42 o 28 34.37/34.42 c *33.3s| 35781 | 24194 |178819 | 13M| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 |2949 |1614 | 1.818989e-12 | 2.800000e+01 | Inf 37.68/37.78 c 36.6s| 40000 | 26469 |198181 | 14M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 |3322 |1717 | 1.818989e-12 | 2.800000e+01 | Inf 40.38/40.44 o 27 40.38/40.44 c p39.2s| 43287 | 28254 |213648 | 15M| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 |3578 |1773 | 1.818989e-12 | 2.700000e+01 | Inf 46.07/46.17 c 44.7s| 50000 | 31859 |244569 | 17M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 |4131 |1927 | 1.818989e-12 | 2.700000e+01 | Inf 53.58/53.62 c 51.9s| 60000 | 36722 |289060 | 20M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 |5037 |2147 | 1.818989e-12 | 2.700000e+01 | Inf 58.47/58.51 o 26 58.47/58.51 c *56.7s| 66481 | 39902 |317968 | 22M| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 |5623 |2274 | 1.818989e-12 | 2.600000e+01 | Inf 61.36/61.43 o 23 61.36/61.43 c *59.4s| 68079 | 39978 |324736 | 21M| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 |5786 |2310 | 1.818989e-12 | 2.300000e+01 | Inf 61.47/61.60 o 22 61.47/61.60 c *59.6s| 68280 | 39845 |325707 | 21M| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 |5800 |2314 | 1.818989e-12 | 2.200000e+01 | Inf 62.96/63.01 c 61.0s| 70000 | 40712 |333823 | 22M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 |5926 |2340 | 1.818989e-12 | 2.200000e+01 | Inf 69.87/69.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 69.87/69.95 c 67.7s| 80000 | 44857 |377053 | 24M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 |6671 |2547 | 1.818989e-12 | 2.200000e+01 | Inf 73.56/73.64 o 21 73.56/73.64 c *71.3s| 85360 | 46600 |399982 | 25M| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 |7107 |2654 | 1.818989e-12 | 2.100000e+01 | Inf 76.76/76.86 c 74.4s| 90000 | 48572 |419569 | 26M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 |7451 |2739 | 1.818989e-12 | 2.100000e+01 | Inf 83.96/84.03 c 81.3s|100000 | 52784 |464105 | 29M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 |8214 |2917 | 1.818989e-12 | 2.100000e+01 | Inf 90.76/90.81 c 87.9s|110000 | 56709 |505975 | 31M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 |9013 |3086 | 1.818989e-12 | 2.100000e+01 | Inf 99.85/99.92 c 96.7s|120000 | 61138 |549511 | 33M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 |9777 |3246 | 1.818989e-12 | 2.100000e+01 | Inf 106.66/106.75 c 103s|130000 | 64807 |590877 | 36M| 47 | - | 140 | 6 | 7 | 140 | 22 | 20 | 10k|3404 | 1.818989e-12 | 2.100000e+01 | Inf 113.15/113.20 c 109s|140000 | 68234 |630914 | 38M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 11k|3559 | 1.818989e-12 | 2.100000e+01 | Inf 113.15/113.27 o 20 113.15/113.27 c * 110s|140116 | 67827 |631351 | 37M| 47 | - | 140 | 7 | 0 | 140 | 22 | 20 | 11k|3560 | 1.818989e-12 | 2.000000e+01 | Inf 119.35/119.40 c 115s|150000 | 70652 |670435 | 39M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 12k|3708 | 1.818989e-12 | 2.000000e+01 | Inf 125.44/125.57 o 18 125.44/125.57 c * 121s|159667 | 72762 |709005 | 40M| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 12k|3817 | 1.818989e-12 | 1.800000e+01 | Inf 125.64/125.79 c 122s|160000 | 72885 |710418 | 40M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 12k|3819 | 1.818989e-12 | 1.800000e+01 | Inf 132.05/132.11 c 128s|170000 | 75911 |750546 | 42M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 13k|3940 | 1.818989e-12 | 1.800000e+01 | Inf 140.34/140.42 c 136s|180000 | 78776 |790808 | 43M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 14k|4076 | 1.818989e-12 | 1.800000e+01 | Inf 146.64/146.77 c 142s|190000 | 81387 |832303 | 45M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 15k|4180 | 1.818989e-12 | 1.800000e+01 | Inf 152.84/152.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 152.84/152.95 c 148s|200000 | 83946 |873056 | 47M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 15k|4309 | 1.818989e-12 | 1.800000e+01 | Inf 154.34/154.41 o 17 154.34/154.41 c * 149s|202295 | 84039 |882326 | 47M| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 15k|4335 | 1.818989e-12 | 1.700000e+01 | Inf 158.94/159.07 o 13 158.94/159.07 c s 154s|205881 | 79264 |896950 | 42M| 47 | - | 140 | 6 | 4 | 140 | 22 | 20 | 16k|4382 | 1.818989e-12 | 1.300000e+01 | Inf 161.53/161.64 c 156s|210000 | 80293 |914593 | 43M| 47 | - | 140 | 6 | 7 | 0 | 0 | 20 | 16k|4478 | 1.818989e-12 | 1.300000e+01 | Inf 167.83/167.93 c 162s|220000 | 82120 |962622 | 44M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 17k|4659 | 1.818989e-12 | 1.300000e+01 | Inf 173.93/174.02 c 168s|230000 | 84339 | 1009k| 45M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 17k|4785 | 1.818989e-12 | 1.300000e+01 | Inf 179.83/179.94 c 174s|240000 | 86169 | 1054k| 47M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 18k|4915 | 1.818989e-12 | 1.300000e+01 | Inf 185.72/185.81 c 180s|250000 | 87795 | 1095k| 48M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 19k|5028 | 1.818989e-12 | 1.300000e+01 | Inf 191.52/191.70 c 185s|260000 | 89981 | 1135k| 49M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 20k|5133 | 1.818989e-12 | 1.300000e+01 | Inf 197.22/197.33 c 191s|270000 | 91539 | 1174k| 50M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 20k|5226 | 1.818989e-12 | 1.300000e+01 | Inf 203.21/203.32 c 197s|280000 | 93825 | 1215k| 51M| 47 | - | 140 | 7 | 6 | 0 | 0 | 20 | 21k|5332 | 1.818989e-12 | 1.300000e+01 | Inf 209.02/209.17 c 202s|290000 | 95742 | 1255k| 53M| 47 | 6 | 140 | 8 | 6 | 140 | 22 | 20 | 22k|5433 | 1.818989e-12 | 1.300000e+01 | Inf 214.61/214.73 c 208s|300000 | 97069 | 1293k| 53M| 47 | - | 140 | 8 | 6 | 0 | 0 | 20 | 23k|5515 | 1.818989e-12 | 1.300000e+01 | Inf 220.31/220.41 c 213s|310000 | 98353 | 1333k| 54M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 23k|5609 | 1.818989e-12 | 1.300000e+01 | Inf 226.01/226.15 c 219s|320000 | 99345 | 1374k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 24k|5710 | 1.818989e-12 | 1.300000e+01 | Inf 231.81/231.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 231.81/231.90 c 224s|330000 |101147 | 1413k| 56M| 47 | - | 140 | 6 | 7 | 0 | 0 | 20 | 25k|5808 | 1.818989e-12 | 1.300000e+01 | Inf 237.51/237.63 c 230s|340000 |102439 | 1453k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 25k|5902 | 1.818989e-12 | 1.300000e+01 | Inf 243.40/243.53 c 235s|350000 |104566 | 1494k| 58M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 26k|5988 | 1.818989e-12 | 1.300000e+01 | Inf 249.10/249.26 c 241s|360000 |106102 | 1534k| 59M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 27k|6084 | 1.818989e-12 | 1.300000e+01 | Inf 254.80/254.91 c 246s|370000 |107394 | 1575k| 60M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 28k|6186 | 1.818989e-12 | 1.300000e+01 | Inf 260.50/260.68 c 252s|380000 |109044 | 1615k| 61M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 28k|6275 | 1.818989e-12 | 1.300000e+01 | Inf 266.19/266.36 c 257s|390000 |110063 | 1656k| 62M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 29k|6361 | 1.818989e-12 | 1.300000e+01 | Inf 271.79/271.95 c 263s|400000 |111040 | 1696k| 63M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 30k|6448 | 1.818989e-12 | 1.300000e+01 | Inf 277.49/277.64 c 268s|410000 |111811 | 1737k| 63M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 31k|6530 | 1.818989e-12 | 1.300000e+01 | Inf 283.38/283.53 c 274s|420000 |113453 | 1779k| 65M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 31k|6615 | 1.818989e-12 | 1.300000e+01 | Inf 289.19/289.40 c 280s|430000 |115212 | 1821k| 66M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 32k|6702 | 1.818989e-12 | 1.300000e+01 | Inf 291.39/291.54 o 12 291.39/291.54 c * 282s|433838 |114773 | 1835k| 65M| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 32k|6732 | 1.818989e-12 | 1.200000e+01 | Inf 291.39/291.56 o 10 291.39/291.56 c * 282s|433839 |112340 | 1835k| 62M| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 32k|6732 | 1.818989e-12 | 1.000000e+01 | Inf 291.39/291.57 o 8 291.39/291.57 c * 282s|433841 |108831 | 1835k| 58M| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 32k|6733 | 1.818989e-12 | 8.000000e+00 | Inf 291.39/291.59 o 6 291.39/291.59 c * 282s|433842 |105075 | 1835k| 54M| 47 | - | 140 | 6 | 0 | 140 | 22 | 20 | 32k|6733 | 1.818989e-12 | 6.000000e+00 | Inf 296.38/296.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 296.38/296.52 c 287s|440000 |105689 | 1862k| 54M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 33k|6815 | 1.818989e-12 | 6.000000e+00 | Inf 301.78/301.99 c 292s|450000 |106357 | 1907k| 54M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 33k|6941 | 1.818989e-12 | 6.000000e+00 | Inf 307.38/307.53 c 297s|460000 |107072 | 1952k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 34k|7067 | 1.818989e-12 | 6.000000e+00 | Inf 312.77/312.96 c 302s|470000 |108209 | 1996k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 34k|7176 | 1.818989e-12 | 6.000000e+00 | Inf 318.17/318.31 c 308s|480000 |108611 | 2040k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 35k|7334 | 1.818989e-12 | 6.000000e+00 | Inf 323.57/323.73 c 313s|490000 |108776 | 2085k| 56M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 35k|7450 | 1.818989e-12 | 6.000000e+00 | Inf 328.97/329.18 c 318s|500000 |109611 | 2129k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 36k|7579 | 1.818989e-12 | 6.000000e+00 | Inf 334.37/334.50 c 323s|510000 |109962 | 2173k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 36k|7671 | 1.818989e-12 | 6.000000e+00 | Inf 339.66/339.84 c 328s|520000 |110261 | 2217k| 57M| 47 | - | 140 | 6 | 6 | 0 | 0 | 20 | 36k|7785 | 1.818989e-12 | 6.000000e+00 | Inf 344.96/345.16 c 334s|530000 |110084 | 2259k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 37k|7904 | 1.818989e-12 | 6.000000e+00 | Inf 350.26/350.50 c 339s|540000 |110446 | 2301k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 38k|8006 | 1.818989e-12 | 6.000000e+00 | Inf 355.56/355.77 c 344s|550000 |110300 | 2344k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 38k|8141 | 1.818989e-12 | 6.000000e+00 | Inf 360.96/361.17 c 349s|560000 |110489 | 2388k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 39k|8258 | 1.818989e-12 | 6.000000e+00 | Inf 366.26/366.48 c 354s|570000 |110375 | 2431k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 39k|8357 | 1.818989e-12 | 6.000000e+00 | Inf 371.55/371.75 c 359s|580000 |110315 | 2475k| 58M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 40k|8483 | 1.818989e-12 | 6.000000e+00 | Inf 376.85/377.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 376.85/377.03 c 364s|590000 |110245 | 2518k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 40k|8597 | 1.818989e-12 | 6.000000e+00 | Inf 382.25/382.41 c 370s|600000 |110266 | 2564k| 58M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 41k|8713 | 1.818989e-12 | 6.000000e+00 | Inf 387.65/387.82 c 375s|610000 |110039 | 2609k| 58M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 41k|8827 | 1.818989e-12 | 6.000000e+00 | Inf 392.95/393.13 c 380s|620000 |109752 | 2654k| 58M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 42k|8932 | 1.818989e-12 | 6.000000e+00 | Inf 398.25/398.46 c 385s|630000 |109632 | 2698k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 43k|9018 | 1.818989e-12 | 6.000000e+00 | Inf 403.64/403.86 c 390s|640000 |109764 | 2744k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 43k|9097 | 1.818989e-12 | 6.000000e+00 | Inf 409.05/409.29 c 396s|650000 |110159 | 2788k| 58M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 44k|9194 | 1.818989e-12 | 6.000000e+00 | Inf 414.44/414.61 c 401s|660000 |109722 | 2833k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 44k|9286 | 1.818989e-12 | 6.000000e+00 | Inf 419.64/419.89 c 406s|670000 |109517 | 2876k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 45k|9397 | 1.818989e-12 | 6.000000e+00 | Inf 425.14/425.31 c 411s|680000 |109595 | 2920k| 58M| 47 | - | 140 | 6 | 6 | 0 | 0 | 20 | 45k|9508 | 1.818989e-12 | 6.000000e+00 | Inf 430.43/430.68 c 416s|690000 |109419 | 2965k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 46k|9619 | 1.818989e-12 | 6.000000e+00 | Inf 435.83/436.00 c 421s|700000 |109374 | 3010k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 46k|9730 | 1.818989e-12 | 6.000000e+00 | Inf 441.13/441.37 c 427s|710000 |109301 | 3055k| 58M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 47k|9863 | 1.818989e-12 | 6.000000e+00 | Inf 446.53/446.70 c 432s|720000 |109055 | 3100k| 58M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 47k|9962 | 1.818989e-12 | 6.000000e+00 | Inf 451.73/451.97 c 437s|730000 |108996 | 3144k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 48k| 10k| 1.818989e-12 | 6.000000e+00 | Inf 457.13/457.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 457.13/457.34 c 442s|740000 |108811 | 3190k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 49k| 10k| 1.818989e-12 | 6.000000e+00 | Inf 462.42/462.65 c 447s|750000 |108658 | 3234k| 57M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 49k| 10k| 1.818989e-12 | 6.000000e+00 | Inf 467.82/468.03 c 452s|760000 |108453 | 3279k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 50k| 10k| 1.818989e-12 | 6.000000e+00 | Inf 473.12/473.32 c 457s|770000 |108289 | 3323k| 57M| 47 | - | 140 | 6 | 7 | 140 | 22 | 20 | 50k| 10k| 1.818989e-12 | 6.000000e+00 | Inf 478.42/478.62 c 463s|780000 |108026 | 3369k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 51k| 10k| 1.818989e-12 | 6.000000e+00 | Inf 483.81/484.04 c 468s|790000 |108065 | 3414k| 57M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 51k| 10k| 1.818989e-12 | 6.000000e+00 | Inf 489.21/489.45 c 473s|800000 |107941 | 3461k| 57M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 52k| 10k| 1.818989e-12 | 6.000000e+00 | Inf 494.61/494.87 c 478s|810000 |107852 | 3509k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 53k| 10k| 1.818989e-12 | 6.000000e+00 | Inf 500.11/500.39 c 484s|820000 |108360 | 3559k| 58M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 53k| 10k| 1.818989e-12 | 6.000000e+00 | Inf 505.51/505.70 c 489s|830000 |108207 | 3602k| 58M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 54k| 10k| 1.818989e-12 | 6.000000e+00 | Inf 510.80/511.06 c 494s|840000 |108415 | 3646k| 58M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 54k| 11k| 1.818989e-12 | 6.000000e+00 | Inf 516.91/517.18 c 500s|850000 |108203 | 3690k| 58M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 55k| 11k| 1.818989e-12 | 6.000000e+00 | Inf 522.30/522.57 c 505s|860000 |108324 | 3733k| 58M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 55k| 11k| 1.818989e-12 | 6.000000e+00 | Inf 527.80/528.01 c 510s|870000 |108060 | 3778k| 58M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 56k| 11k| 1.818989e-12 | 6.000000e+00 | Inf 532.99/533.21 c 515s|880000 |107886 | 3821k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 56k| 11k| 1.818989e-12 | 6.000000e+00 | Inf 538.29/538.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 538.29/538.52 c 520s|890000 |107434 | 3866k| 57M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 57k| 11k| 1.818989e-12 | 6.000000e+00 | Inf 543.59/543.87 c 526s|900000 |107380 | 3911k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 58k| 11k| 1.818989e-12 | 6.000000e+00 | Inf 549.09/549.37 c 531s|910000 |107398 | 3957k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 58k| 11k| 1.818989e-12 | 6.000000e+00 | Inf 554.49/554.71 c 536s|920000 |107232 | 4003k| 57M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 59k| 11k| 1.818989e-12 | 6.000000e+00 | Inf 559.69/559.98 c 541s|930000 |107152 | 4047k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 59k| 11k| 1.818989e-12 | 6.000000e+00 | Inf 565.19/565.48 c 546s|940000 |107819 | 4093k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 60k| 11k| 1.818989e-12 | 6.000000e+00 | Inf 570.58/570.81 c 552s|950000 |107823 | 4137k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 60k| 11k| 1.818989e-12 | 6.000000e+00 | Inf 575.88/576.18 c 557s|960000 |107402 | 4183k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 61k| 12k| 1.818989e-12 | 6.000000e+00 | Inf 581.38/581.67 c 562s|970000 |107174 | 4231k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 61k| 12k| 1.818989e-12 | 6.000000e+00 | Inf 586.88/587.10 c 567s|980000 |106891 | 4277k| 57M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 62k| 12k| 1.818989e-12 | 6.000000e+00 | Inf 592.17/592.43 c 572s|990000 |106747 | 4323k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 63k| 12k| 1.818989e-12 | 6.000000e+00 | Inf 597.47/597.75 c 578s| 1000k|106608 | 4370k| 57M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 63k| 12k| 1.818989e-12 | 6.000000e+00 | Inf 602.77/603.10 c 583s| 1010k|106481 | 4416k| 57M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 64k| 12k| 1.818989e-12 | 6.000000e+00 | Inf 608.08/608.40 c 588s| 1020k|106195 | 4462k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 64k| 12k| 1.818989e-12 | 6.000000e+00 | Inf 613.46/613.79 c 593s| 1030k|106099 | 4509k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 65k| 12k| 1.818989e-12 | 6.000000e+00 | Inf 618.87/619.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 618.87/619.16 c 598s| 1040k|106133 | 4555k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 66k| 12k| 1.818989e-12 | 6.000000e+00 | Inf 624.26/624.51 c 603s| 1050k|105847 | 4601k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 66k| 12k| 1.818989e-12 | 6.000000e+00 | Inf 629.56/629.83 c 609s| 1060k|105883 | 4646k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 67k| 12k| 1.818989e-12 | 6.000000e+00 | Inf 634.85/635.11 c 614s| 1070k|105781 | 4691k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 67k| 12k| 1.818989e-12 | 6.000000e+00 | Inf 640.16/640.41 c 619s| 1080k|105501 | 4735k| 56M| 47 | - | 140 | 6 | 6 | 0 | 0 | 20 | 68k| 13k| 1.818989e-12 | 6.000000e+00 | Inf 645.46/645.79 c 624s| 1090k|105857 | 4780k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 69k| 13k| 1.818989e-12 | 6.000000e+00 | Inf 650.75/651.07 c 629s| 1100k|105518 | 4824k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 69k| 13k| 1.818989e-12 | 6.000000e+00 | Inf 656.05/656.36 c 634s| 1110k|105629 | 4869k| 56M| 47 | - | 140 | 8 | 6 | 140 | 22 | 20 | 70k| 13k| 1.818989e-12 | 6.000000e+00 | Inf 661.45/661.71 c 639s| 1120k|105650 | 4913k| 56M| 47 | - | 140 | 6 | 7 | 0 | 0 | 20 | 71k| 13k| 1.818989e-12 | 6.000000e+00 | Inf 666.65/666.98 c 644s| 1130k|105294 | 4957k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 71k| 13k| 1.818989e-12 | 6.000000e+00 | Inf 672.04/672.33 c 650s| 1140k|105348 | 5002k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 72k| 13k| 1.818989e-12 | 6.000000e+00 | Inf 677.35/677.67 c 655s| 1150k|105772 | 5047k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 72k| 13k| 1.818989e-12 | 6.000000e+00 | Inf 682.74/683.04 c 660s| 1160k|105908 | 5090k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 73k| 13k| 1.818989e-12 | 6.000000e+00 | Inf 688.04/688.33 c 665s| 1170k|105609 | 5134k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 74k| 13k| 1.818989e-12 | 6.000000e+00 | Inf 693.24/693.59 c 670s| 1180k|105350 | 5177k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 74k| 13k| 1.818989e-12 | 6.000000e+00 | Inf 698.54/698.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 698.54/698.85 c 675s| 1190k|105093 | 5220k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 75k| 13k| 1.818989e-12 | 6.000000e+00 | Inf 703.93/704.23 c 680s| 1200k|104953 | 5267k| 56M| 47 | - | 140 | 6 | 6 | 0 | 0 | 20 | 75k| 13k| 1.818989e-12 | 6.000000e+00 | Inf 709.24/709.57 c 685s| 1210k|105082 | 5311k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 76k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 714.53/714.85 c 691s| 1220k|105063 | 5355k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 77k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 719.82/720.15 c 696s| 1230k|105032 | 5401k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 78k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 725.23/725.54 c 701s| 1240k|105037 | 5446k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 78k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 730.52/730.85 c 706s| 1250k|104835 | 5492k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 79k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 735.82/736.19 c 711s| 1260k|104895 | 5539k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 79k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 741.32/741.61 c 716s| 1270k|105051 | 5585k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 80k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 746.62/746.99 c 722s| 1280k|105195 | 5630k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 81k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 751.91/752.25 c 727s| 1290k|104792 | 5673k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 81k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 757.31/757.61 c 732s| 1300k|104910 | 5718k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 82k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 762.61/762.92 c 737s| 1310k|104651 | 5764k| 56M| 47 | - | 140 | 6 | 7 | 140 | 22 | 20 | 83k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 767.91/768.22 c 742s| 1320k|104513 | 5809k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 83k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 773.21/773.55 c 747s| 1330k|104365 | 5855k| 56M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 84k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 778.51/778.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 778.51/778.86 c 752s| 1340k|104187 | 5901k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 84k| 14k| 1.818989e-12 | 6.000000e+00 | Inf 783.80/784.18 c 758s| 1350k|104140 | 5947k| 55M| 47 | - | 140 | 6 | 5 | 140 | 22 | 20 | 85k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 789.20/789.56 c 763s| 1360k|103871 | 5994k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 86k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 794.50/794.83 c 768s| 1370k|103799 | 6040k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 86k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 799.80/800.11 c 773s| 1380k|103780 | 6085k| 55M| 47 | - | 140 | 6 | 7 | 0 | 0 | 20 | 87k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 805.10/805.48 c 778s| 1390k|103463 | 6131k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 87k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 810.40/810.79 c 783s| 1400k|103315 | 6176k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 88k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 815.79/816.18 c 788s| 1410k|103270 | 6223k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 89k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 821.09/821.49 c 794s| 1420k|103453 | 6267k| 55M| 47 | - | 140 | 6 | 6 | 0 | 0 | 20 | 89k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 826.48/826.85 c 799s| 1430k|103483 | 6311k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 90k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 831.69/832.07 c 804s| 1440k|103396 | 6354k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 90k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 836.89/837.24 c 809s| 1450k|103378 | 6397k| 55M| 47 | - | 140 | 6 | 7 | 0 | 0 | 20 | 91k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 842.09/842.49 c 814s| 1460k|103317 | 6441k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 92k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 847.48/847.80 c 819s| 1470k|103053 | 6486k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 92k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 852.68/853.05 c 824s| 1480k|102742 | 6533k| 55M| 47 | - | 140 | 6 | 5 | 0 | 0 | 20 | 93k| 15k| 1.818989e-12 | 6.000000e+00 | Inf 858.08/858.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 858.08/858.41 c 829s| 1490k|102749 | 6580k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 93k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 863.37/863.73 c 834s| 1500k|102661 | 6625k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 94k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 868.68/869.00 c 839s| 1510k|102637 | 6671k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 94k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 873.87/874.25 c 844s| 1520k|102456 | 6717k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 95k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 879.27/879.63 c 850s| 1530k|102530 | 6762k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 95k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 884.57/885.00 c 855s| 1540k|102323 | 6809k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 96k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 890.17/890.52 c 860s| 1550k|102814 | 6857k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 96k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 895.46/895.83 c 865s| 1560k|102833 | 6903k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 97k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 900.76/901.16 c 870s| 1570k|102821 | 6950k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 97k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 906.36/906.74 c 876s| 1580k|102982 | 7000k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 98k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 911.75/912.14 c 881s| 1590k|102749 | 7047k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 98k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 917.06/917.45 c 886s| 1600k|102613 | 7094k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 99k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 922.45/922.80 c 891s| 1610k|102441 | 7142k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 99k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 927.75/928.16 c 897s| 1620k|102538 | 7188k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 100k| 16k| 1.818989e-12 | 6.000000e+00 | Inf 933.05/933.49 c 902s| 1630k|102365 | 7233k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 101k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 938.45/938.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 938.45/938.87 c 907s| 1640k|102742 | 7279k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 101k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 943.84/944.24 c 912s| 1650k|102627 | 7324k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 102k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 949.14/949.59 c 917s| 1660k|102302 | 7371k| 55M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 102k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 955.04/955.45 c 923s| 1670k|104548 | 7421k| 56M| 47 | - | 140 | 6 | 7 | 140 | 22 | 20 | 102k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 960.44/960.86 c 928s| 1680k|105513 | 7466k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 103k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 965.93/966.30 c 933s| 1690k|106068 | 7512k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 104k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 971.33/971.79 c 939s| 1700k|106856 | 7558k| 58M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 104k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 976.74/977.18 c 944s| 1710k|107330 | 7603k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 105k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 982.13/982.55 c 949s| 1720k|107699 | 7649k| 59M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 105k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 987.53/987.97 c 954s| 1730k|108049 | 7695k| 59M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 106k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 992.83/993.29 c 960s| 1740k|108350 | 7739k| 59M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 106k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 998.22/998.60 c 965s| 1750k|108733 | 7784k| 60M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 107k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 1003.52/1003.93 c 970s| 1760k|108923 | 7828k| 60M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 107k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 1008.82/1009.29 c 975s| 1770k|109365 | 7872k| 60M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 108k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 1014.12/1014.57 c 980s| 1780k|109582 | 7916k| 61M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 109k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 1019.42/1019.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1019.42/1019.86 c 985s| 1790k|109705 | 7960k| 61M| 47 | - | 140 | 6 | 6 | 0 | 0 | 20 | 109k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 1024.72/1025.17 c 990s| 1800k|109754 | 8003k| 61M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 110k| 17k| 1.818989e-12 | 6.000000e+00 | Inf 1030.12/1030.53 c 995s| 1810k|110181 | 8048k| 61M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 110k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1035.41/1035.89 c 1001s| 1820k|110468 | 8093k| 62M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 111k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1040.71/1041.18 c 1006s| 1830k|110307 | 8137k| 62M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 111k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1046.10/1046.50 c 1011s| 1840k|110192 | 8181k| 62M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 112k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1051.61/1052.00 c 1016s| 1850k|110910 | 8227k| 62M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 112k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1056.80/1057.24 c 1021s| 1860k|111008 | 8271k| 62M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 113k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1062.11/1062.57 c 1026s| 1870k|111171 | 8317k| 63M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 113k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1067.40/1067.85 c 1032s| 1880k|111058 | 8360k| 63M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 114k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1072.70/1073.16 c 1037s| 1890k|111063 | 8404k| 63M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 115k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1077.99/1078.49 c 1042s| 1900k|111144 | 8450k| 63M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 115k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1083.39/1083.82 c 1047s| 1910k|111032 | 8494k| 63M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 116k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1088.69/1089.11 c 1052s| 1920k|111015 | 8537k| 63M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 116k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1093.89/1094.39 c 1057s| 1930k|110727 | 8581k| 63M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 117k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1099.19/1099.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1099.19/1099.67 c 1062s| 1940k|110800 | 8626k| 63M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 117k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1104.48/1104.96 c 1067s| 1950k|110759 | 8669k| 63M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 118k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1109.78/1110.27 c 1073s| 1960k|110654 | 8712k| 63M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 118k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1115.09/1115.59 c 1078s| 1970k|110835 | 8755k| 63M| 47 | - | 140 | 7 | 6 | 0 | 0 | 20 | 119k| 18k| 1.818989e-12 | 6.000000e+00 | Inf 1120.38/1120.84 c 1083s| 1980k|110500 | 8798k| 63M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 119k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1125.67/1126.12 c 1088s| 1990k|110394 | 8841k| 63M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 120k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1130.88/1131.39 c 1093s| 2000k|110418 | 8884k| 63M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 121k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1136.17/1136.61 c 1098s| 2010k|110693 | 8925k| 64M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 121k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1141.37/1141.83 c 1103s| 2020k|110383 | 8967k| 63M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 122k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1146.67/1147.16 c 1108s| 2030k|110584 | 9010k| 64M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 122k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1151.97/1152.40 c 1113s| 2040k|110390 | 9053k| 64M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 123k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1157.36/1157.80 c 1118s| 2050k|111033 | 9098k| 64M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 123k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1162.77/1163.23 c 1124s| 2060k|111319 | 9142k| 64M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 124k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1167.96/1168.47 c 1129s| 2070k|111619 | 9185k| 65M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 124k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1173.56/1174.06 c 1134s| 2080k|111602 | 9229k| 65M| 47 | 6 | 140 | 8 | 6 | 140 | 22 | 20 | 125k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1178.86/1179.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1178.86/1179.39 c 1139s| 2090k|111489 | 9273k| 65M| 47 | 6 | 140 | 8 | 6 | 140 | 22 | 20 | 125k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1184.26/1184.78 c 1144s| 2100k|111611 | 9318k| 65M| 47 | 6 | 140 | 8 | 6 | 140 | 22 | 20 | 126k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1189.55/1190.08 c 1150s| 2110k|111392 | 9362k| 65M| 47 | - | 140 | 7 | 7 | 140 | 22 | 20 | 127k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1194.75/1195.26 c 1155s| 2120k|111208 | 9404k| 65M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 127k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1200.05/1200.57 c 1160s| 2130k|111431 | 9448k| 65M| 47 | - | 140 | 7 | 6 | 0 | 0 | 20 | 128k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1205.54/1206.09 c 1165s| 2140k|112239 | 9494k| 65M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 128k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1210.95/1211.48 c 1170s| 2150k|113249 | 9537k| 66M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 129k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1216.35/1216.84 c 1175s| 2160k|113923 | 9582k| 67M| 47 | - | 140 | 8 | 6 | 140 | 22 | 20 | 129k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1221.64/1222.18 c 1181s| 2170k|114008 | 9625k| 67M| 47 | 6 | 140 | 9 | 6 | 140 | 22 | 20 | 130k| 19k| 1.818989e-12 | 6.000000e+00 | Inf 1227.04/1227.57 c 1186s| 2180k|114398 | 9669k| 67M| 47 | 6 | 140 | 9 | 6 | 140 | 22 | 20 | 130k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1232.44/1232.91 c 1191s| 2190k|114883 | 9714k| 68M| 47 | - | 140 | 9 | 7 | 140 | 22 | 20 | 131k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1237.74/1238.30 c 1196s| 2200k|115459 | 9758k| 68M| 47 | 6 | 140 | 9 | 6 | 140 | 22 | 20 | 132k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1243.13/1243.68 c 1201s| 2210k|116238 | 9802k| 69M| 47 | - | 140 | 9 | 6 | 140 | 22 | 20 | 132k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1248.53/1249.09 c 1207s| 2220k|116478 | 9848k| 69M| 47 | 6 | 140 | 8 | 6 | 140 | 22 | 20 | 132k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1253.93/1254.46 c 1212s| 2230k|116813 | 9893k| 69M| 47 | 6 | 140 | 9 | 6 | 140 | 22 | 20 | 133k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1259.33/1259.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1259.33/1259.82 c 1217s| 2240k|117310 | 9937k| 70M| 47 | 6 | 140 | 8 | 6 | 140 | 22 | 20 | 133k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1264.63/1265.19 c 1222s| 2250k|117860 | 9980k| 70M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 134k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1270.13/1270.62 c 1227s| 2260k|118456 | 10026k| 70M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 135k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1275.43/1275.91 c 1233s| 2270k|118591 | 10070k| 71M| 47 | - | 140 | 7 | 7 | 140 | 22 | 20 | 135k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1280.62/1281.15 c 1238s| 2280k|118903 | 10114k| 71M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 136k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1286.02/1286.56 c 1243s| 2290k|118970 | 10159k| 71M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 136k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1291.32/1291.81 c 1248s| 2300k|118813 | 10202k| 71M| 47 | 6 | 140 | 8 | 6 | 140 | 22 | 20 | 137k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1296.71/1297.23 c 1253s| 2310k|119721 | 10247k| 72M| 47 | - | 140 | 8 | 6 | 140 | 22 | 20 | 137k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1302.11/1302.70 c 1258s| 2320k|121400 | 10291k| 73M| 47 | 6 | 140 | 8 | 6 | 140 | 22 | 20 | 138k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1307.52/1308.04 c 1264s| 2330k|122270 | 10334k| 73M| 47 | - | 140 | 8 | 7 | 140 | 22 | 20 | 138k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1312.71/1313.29 c 1269s| 2340k|122841 | 10377k| 74M| 47 | - | 140 | 8 | 6 | 140 | 22 | 20 | 139k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1318.21/1318.75 c 1274s| 2350k|123616 | 10425k| 74M| 47 | - | 140 | 8 | 6 | 140 | 22 | 20 | 139k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1323.51/1324.05 c 1279s| 2360k|124355 | 10468k| 75M| 47 | 6 | 140 | 8 | 6 | 140 | 22 | 20 | 140k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1328.80/1329.35 c 1284s| 2370k|124907 | 10510k| 75M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 140k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1334.30/1334.84 c 1289s| 2380k|125762 | 10555k| 76M| 47 | 6 | 140 | 8 | 6 | 140 | 22 | 20 | 141k| 20k| 1.818989e-12 | 6.000000e+00 | Inf 1339.50/1340.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1339.50/1340.08 c 1294s| 2390k|125967 | 10598k| 76M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 141k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1344.80/1345.33 c 1300s| 2400k|126180 | 10640k| 76M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 142k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1350.20/1350.75 c 1305s| 2410k|127148 | 10684k| 77M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 142k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1355.60/1356.12 c 1310s| 2420k|128053 | 10728k| 78M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 143k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1360.99/1361.54 c 1315s| 2430k|128848 | 10773k| 78M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 143k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1366.29/1366.86 c 1320s| 2440k|129331 | 10817k| 79M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 144k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1371.59/1372.17 c 1326s| 2450k|129861 | 10859k| 79M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 144k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1377.09/1377.62 c 1331s| 2460k|130625 | 10904k| 80M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 145k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1382.38/1382.98 c 1336s| 2470k|131257 | 10947k| 80M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 145k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1387.78/1388.36 c 1341s| 2480k|131848 | 10991k| 80M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 146k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1393.08/1393.61 c 1346s| 2490k|132193 | 11033k| 81M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 146k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1398.28/1398.83 c 1351s| 2500k|132625 | 11075k| 81M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 147k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1403.58/1404.19 c 1356s| 2510k|133106 | 11118k| 82M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 147k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1408.97/1409.57 c 1362s| 2520k|133266 | 11163k| 82M| 47 | - | 140 | 6 | 7 | 0 | 0 | 20 | 148k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1414.27/1414.89 c 1367s| 2530k|133753 | 11206k| 82M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 149k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1419.58/1420.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1419.58/1420.14 c 1372s| 2540k|133965 | 11249k| 82M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 149k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1424.87/1425.40 c 1377s| 2550k|134103 | 11292k| 83M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 150k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1430.07/1430.64 c 1382s| 2560k|134047 | 11334k| 83M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 150k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1435.37/1435.90 c 1387s| 2570k|133973 | 11377k| 83M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 151k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1440.56/1441.13 c 1392s| 2580k|134303 | 11419k| 83M| 47 | - | 140 | 6 | 5 | 140 | 22 | 20 | 151k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1445.86/1446.41 c 1397s| 2590k|134738 | 11462k| 83M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 152k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1451.06/1451.64 c 1402s| 2600k|134644 | 11505k| 83M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 152k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1456.36/1456.93 c 1407s| 2610k|134885 | 11549k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 153k| 21k| 1.818989e-12 | 6.000000e+00 | Inf 1461.56/1462.17 c 1412s| 2620k|135290 | 11591k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 153k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1466.86/1467.44 c 1417s| 2630k|135306 | 11632k| 84M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 154k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1472.05/1472.66 c 1423s| 2640k|135428 | 11675k| 84M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 154k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1477.25/1477.86 c 1428s| 2650k|135315 | 11716k| 84M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 155k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1482.55/1483.16 c 1433s| 2660k|135209 | 11759k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 155k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1487.85/1488.44 c 1438s| 2670k|135268 | 11800k| 85M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 156k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1493.04/1493.62 c 1443s| 2680k|135167 | 11842k| 85M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 156k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1498.25/1498.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1498.25/1498.80 c 1448s| 2690k|135477 | 11883k| 85M| 47 | 6 | 140 | 7 | 6 | 140 | 22 | 20 | 157k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1503.44/1504.05 c 1453s| 2700k|135311 | 11925k| 85M| 47 | - | 140 | 7 | 6 | 140 | 22 | 20 | 158k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1508.64/1509.30 c 1458s| 2710k|135238 | 11968k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 158k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1513.94/1514.50 c 1463s| 2720k|135414 | 12009k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 159k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1519.04/1519.63 c 1468s| 2730k|135588 | 12050k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 159k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1524.33/1524.90 c 1473s| 2740k|135711 | 12093k| 86M| 47 | - | 140 | 6 | 7 | 0 | 0 | 20 | 160k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1529.63/1530.20 c 1478s| 2750k|135503 | 12136k| 86M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 160k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1534.93/1535.55 c 1483s| 2760k|136144 | 12182k| 86M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 161k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1540.23/1540.89 c 1488s| 2770k|136556 | 12228k| 86M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 161k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1545.62/1546.29 c 1494s| 2780k|136405 | 12274k| 86M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 162k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1551.12/1551.76 c 1499s| 2790k|136519 | 12324k| 86M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 162k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1556.72/1557.32 c 1504s| 2800k|137050 | 12377k| 87M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 163k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1562.21/1562.89 c 1510s| 2810k|137090 | 12430k| 87M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 163k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1567.51/1568.15 c 1515s| 2820k|137049 | 12475k| 87M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 164k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1572.81/1573.45 c 1520s| 2830k|137456 | 12517k| 87M| 47 | - | 140 | 6 | 6 | 0 | 0 | 20 | 164k| 22k| 1.818989e-12 | 6.000000e+00 | Inf 1578.01/1578.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1578.01/1578.62 c 1525s| 2840k|138005 | 12558k| 88M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 165k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1583.21/1583.80 c 1530s| 2850k|137886 | 12598k| 88M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 165k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1588.31/1588.95 c 1535s| 2860k|137478 | 12639k| 88M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 165k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1593.61/1594.24 c 1540s| 2870k|138247 | 12682k| 88M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 166k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1598.80/1599.42 c 1545s| 2880k|138729 | 12723k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 167k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1604.11/1604.70 c 1550s| 2890k|139133 | 12765k| 89M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 167k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1609.30/1609.90 c 1555s| 2900k|138999 | 12807k| 89M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 168k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1614.40/1615.05 c 1560s| 2910k|138796 | 12849k| 89M| 47 | - | 140 | 6 | 5 | 0 | 0 | 20 | 168k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1619.50/1620.17 c 1565s| 2920k|138378 | 12890k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 169k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1624.69/1625.38 c 1570s| 2930k|138113 | 12932k| 89M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 169k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1629.90/1630.60 c 1575s| 2940k|138083 | 12975k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 170k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1635.09/1635.76 c 1580s| 2950k|137903 | 13018k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 170k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1640.29/1640.99 c 1585s| 2960k|137907 | 13061k| 89M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 171k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1645.69/1646.37 c 1590s| 2970k|138428 | 13104k| 89M| 47 | - | 140 | 6 | 7 | 140 | 22 | 20 | 171k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1650.98/1651.62 c 1595s| 2980k|138425 | 13146k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 172k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1656.18/1656.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1656.18/1656.81 c 1600s| 2990k|138235 | 13189k| 89M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 172k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1661.28/1661.99 c 1605s| 3000k|138142 | 13230k| 89M| 47 | - | 140 | 6 | 5 | 0 | 0 | 20 | 173k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1666.68/1667.32 c 1610s| 3010k|138067 | 13274k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 173k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1671.97/1672.67 c 1616s| 3020k|138856 | 13318k| 90M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 174k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1677.17/1677.86 c 1621s| 3030k|139357 | 13360k| 90M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 174k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1682.38/1683.06 c 1626s| 3040k|139173 | 13402k| 90M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 175k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1687.57/1688.27 c 1631s| 3050k|139019 | 13445k| 90M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 175k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1692.77/1693.41 c 1636s| 3060k|138807 | 13488k| 90M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 176k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1697.87/1698.56 c 1640s| 3070k|138414 | 13530k| 90M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 177k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1703.16/1703.84 c 1646s| 3080k|138386 | 13574k| 90M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 177k| 23k| 1.818989e-12 | 6.000000e+00 | Inf 1708.37/1709.08 c 1651s| 3090k|138112 | 13616k| 89M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 178k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1713.57/1714.27 c 1656s| 3100k|137899 | 13659k| 89M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 178k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1718.76/1719.44 c 1661s| 3110k|137643 | 13701k| 89M| 47 | - | 140 | 6 | 7 | 140 | 22 | 20 | 179k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1724.06/1724.70 c 1666s| 3120k|137885 | 13743k| 89M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 179k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1729.26/1729.93 c 1671s| 3130k|137760 | 13784k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 180k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1734.45/1735.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1734.45/1735.17 c 1676s| 3140k|137831 | 13827k| 90M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 180k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1739.66/1740.38 c 1681s| 3150k|137461 | 13870k| 89M| 47 | - | 140 | 6 | 7 | 0 | 0 | 20 | 181k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1744.95/1745.62 c 1686s| 3160k|137366 | 13912k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 181k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1750.14/1750.82 c 1691s| 3170k|136904 | 13954k| 89M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 182k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1755.35/1756.10 c 1696s| 3180k|137425 | 13997k| 89M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 182k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1760.65/1761.30 c 1701s| 3190k|137305 | 14039k| 89M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 183k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1765.84/1766.52 c 1706s| 3200k|136969 | 14082k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 183k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1771.14/1771.87 c 1711s| 3210k|137324 | 14126k| 90M| 47 | - | 140 | 6 | 6 | 140 | 22 | 20 | 184k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1776.34/1777.04 c 1716s| 3220k|137172 | 14170k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 184k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1781.54/1782.23 c 1721s| 3230k|137135 | 14212k| 90M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 184k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1786.73/1787.43 c 1726s| 3240k|136900 | 14254k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 185k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1791.93/1792.67 c 1731s| 3250k|136903 | 14298k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 186k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1797.13/1797.87 c 1736s| 3260k|137234 | 14341k| 90M| 47 | 6 | 140 | 6 | 6 | 140 | 22 | 20 | 186k| 24k| 1.818989e-12 | 6.000000e+00 | Inf 1800.03/1800.70 c 1800.03/1800.70 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.70 c Solving Time (sec) : 1739.15 1800.03/1800.70 c Solving Nodes : 3265522 1800.03/1800.70 c Primal Bound : +6.00000000000000e+00 (42 solutions) 1800.03/1800.70 c Dual Bound : +1.81898940354586e-12 1800.03/1800.70 c Gap : infinite 1800.03/1800.71 c NODE 3265522 1800.03/1800.71 c DUAL BOUND 1.81899e-12 1800.03/1800.71 c PRIMAL BOUND 6 1800.03/1800.71 c GAP 1e+20 1800.03/1800.71 s SATISFIABLE 1800.03/1800.71 v x117 -x146 -x145 x144 -x143 -x142 x141 x140 x139 x138 x137 x136 x135 x134 -x133 -x132 x131 x130 -x129 -x128 x127 x126 x125 x124 1800.03/1800.71 v x123 x122 x121 x120 -x119 x118 -x116 -x115 x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 1800.03/1800.71 v x100 x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 1800.03/1800.71 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 1800.03/1800.71 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 1800.03/1800.71 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.03/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.71 c Solving Time : 1739.15 1800.03/1800.71 c Original Problem : 1800.03/1800.71 c Problem name : HOME/instance-1869507-1245175610.opb 1800.03/1800.71 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.03/1800.71 c Constraints : 12 initial, 12 maximal 1800.03/1800.71 c Presolved Problem : 1800.03/1800.71 c Problem name : t_HOME/instance-1869507-1245175610.opb 1800.03/1800.71 c Variables : 140 (140 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.03/1800.71 c Constraints : 6 initial, 10 maximal 1800.03/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.03/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0 1800.03/1800.71 c linear : 0.00 0 6 0 0 0 6 0 0 1800.03/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.71 c root node : - 60 - - 60 - - - - 1800.03/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.03/1800.71 c integral : 0 0 0 1736582 0 55 8901 0 0 3455480 1800.03/1800.71 c linear : 6 6 4322870 2 0 471244 3164984 7 0 0 1800.03/1800.71 c logicor : 0+ 0 98884 0 0 2901 49828 0 0 0 1800.03/1800.71 c countsols : 0 0 0 25 0 0 0 0 0 0 1800.03/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.03/1800.71 c integral : 25.53 0.00 0.00 25.53 0.00 1800.03/1800.71 c linear : 265.69 0.00 265.69 0.00 0.00 1800.03/1800.71 c logicor : 0.44 0.00 0.44 0.00 0.00 1800.03/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.03/1800.71 c Propagators : Time Calls Cutoffs DomReds 1800.03/1800.71 c rootredcost : 1.76 39 0 60 1800.03/1800.71 c pseudoobj : 34.07 4338712 16006 66757 1800.03/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.03/1800.71 c propagation : 29.53 490083 186795 217020 46.2 0 0.0 - 1800.03/1800.71 c infeasible LP : 7.54 1128774 3 5 37.6 0 0.0 0 1800.03/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.71 c pseudo solution : 0.00 1 1 1 26.0 0 0.0 - 1800.03/1800.71 c applied globally : - - - 33 28.7 - - - 1800.03/1800.71 c applied locally : - - - 186766 46.4 - - - 1800.03/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.03/1800.71 c cut pool : 0.00 5 - - 5 - (maximal pool size: 56) 1800.03/1800.71 c redcost : 30.34 2118001 0 7503809 0 0 1800.03/1800.71 c impliedbounds : 0.00 6 0 0 0 0 1800.03/1800.71 c intobj : 0.00 0 0 0 0 0 1800.03/1800.71 c gomory : 0.00 6 0 0 0 0 1800.03/1800.71 c strongcg : 0.00 6 0 0 28 0 1800.03/1800.71 c cmir : 0.04 6 0 0 11 0 1800.03/1800.71 c flowcover : 0.04 6 0 0 20 0 1800.03/1800.71 c clique : 0.00 1 0 0 0 0 1800.03/1800.71 c zerohalf : 0.00 0 0 0 0 0 1800.03/1800.71 c mcf : 0.00 1 0 0 0 0 1800.03/1800.71 c Pricers : Time Calls Vars 1800.03/1800.71 c problem variables: 0.00 0 0 1800.03/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.03/1800.71 c relpscost : 23.87 1736557 55 8901 0 0 3455480 1800.03/1800.71 c pscost : 0.00 0 0 0 0 0 0 1800.03/1800.71 c inference : 0.00 0 0 0 0 0 0 1800.03/1800.71 c mostinf : 0.00 0 0 0 0 0 0 1800.03/1800.71 c leastinf : 0.00 0 0 0 0 0 0 1800.03/1800.71 c fullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.71 c random : 0.00 0 0 0 0 0 0 1800.03/1800.71 c Primal Heuristics : Time Calls Found 1800.03/1800.71 c LP solutions : 0.08 - 25 1800.03/1800.71 c pseudo solutions : 0.00 - 0 1800.03/1800.71 c intshifting : 0.07 0 0 1800.03/1800.71 c feaspump : 0.27 1 0 1800.03/1800.71 c oneopt : 1.08 39 0 1800.03/1800.71 c crossover : 13.07 15 0 1800.03/1800.71 c linesearchdiving : 8.94 3762 0 1800.03/1800.71 c pscostdiving : 10.63 3762 2 1800.03/1800.71 c fracdiving : 10.77 3762 3 1800.03/1800.71 c guideddiving : 9.49 3762 2 1800.03/1800.71 c coefdiving : 13.70 3762 2 1800.03/1800.71 c veclendiving : 9.76 3762 0 1800.03/1800.71 c simplerounding : 0.96 0 0 1800.03/1800.71 c rounding : 1.84 19815 0 1800.03/1800.71 c shifting : 32.90 36280 4 1800.03/1800.71 c fixandinfer : 0.00 0 0 1800.03/1800.71 c intdiving : 0.00 0 0 1800.03/1800.71 c actconsdiving : 0.00 0 0 1800.03/1800.71 c objpscostdiving : 8.27 1882 3 1800.03/1800.71 c rootsoldiving : 9.47 1864 1 1800.03/1800.71 c octane : 0.00 0 0 1800.03/1800.71 c rens : 0.13 1 0 1800.03/1800.71 c rins : 0.00 0 0 1800.03/1800.71 c localbranching : 0.00 0 0 1800.03/1800.71 c mutation : 0.00 0 0 1800.03/1800.71 c dins : 0.00 0 0 1800.03/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec 1800.03/1800.71 c primal LP : 0.00 0 0 0.00 - 1800.03/1800.71 c dual LP : 1035.06 3064850 13770235 4.49 13303.80 1800.03/1800.71 c barrier LP : 0.00 0 0 0.00 - 1800.03/1800.71 c diving/probing LP: 58.81 205783 594038 2.89 10100.97 1800.03/1800.71 c strong branching : 7.10 24659 91318 3.70 12861.69 1800.03/1800.71 c (at root node) : - 20 913 45.65 - 1800.03/1800.71 c conflict analysis: 0.00 0 0 0.00 - 1800.03/1800.71 c B&B Tree : 1800.03/1800.71 c number of runs : 1 1800.03/1800.71 c nodes : 3265522 1800.03/1800.71 c nodes (total) : 3265522 1800.03/1800.71 c nodes left : 137196 1800.03/1800.71 c max depth : 47 1800.03/1800.71 c max depth (total): 47 1800.03/1800.71 c backtracks : 842720 (25.8%) 1800.03/1800.71 c delayed cutoffs : 32093 1800.03/1800.71 c repropagations : 54957 (190151 domain reductions, 31770 cutoffs) 1800.03/1800.71 c avg switch length: 5.03 1800.03/1800.71 c switching time : 69.87 1800.03/1800.71 c Solution : 1800.03/1800.71 c Solutions found : 42 (39 improvements) 1800.03/1800.71 c Primal Bound : +6.00000000000000e+00 (in run 1, after 433842 nodes, 281.84 seconds, depth 40, found by <relaxation>) 1800.03/1800.71 c Dual Bound : +1.81898940354586e-12 1800.03/1800.71 c Gap : infinite 1800.03/1800.71 c Root Dual Bound : +1.81898940354586e-12 1800.53/1801.24 c Time complete: 1800.57.
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869507-1245175610/watcher-1869507-1245175610 -o /tmp/evaluation-result-1869507-1245175610/solver-1869507-1245175610 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869507-1245175610.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.98 3/64 2722 /proc/meminfo: memFree=1841416/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=5812 CPUtime=0 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 185161709 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/2722/statm: 1453 502 332 1256 0 192 0 [startup+0.101863 s] /proc/loadavg: 0.91 0.95 0.98 3/64 2722 /proc/meminfo: memFree=1841416/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=15492 CPUtime=0.09 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 3036 0 0 0 8 1 0 0 18 0 1 0 185161709 15863808 2666 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 3873 2666 667 1256 0 2612 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15492 [startup+0.201884 s] /proc/loadavg: 0.91 0.95 0.98 3/64 2722 /proc/meminfo: memFree=1841416/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=24016 CPUtime=0.19 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 4721 0 0 0 17 2 0 0 18 0 1 0 185161709 24592384 4350 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 6004 4350 679 1256 0 4743 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 24016 [startup+0.301905 s] /proc/loadavg: 0.91 0.95 0.98 3/64 2722 /proc/meminfo: memFree=1841416/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=18072 CPUtime=0.29 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 4735 0 0 0 26 3 0 0 19 0 1 0 185161709 18505728 3411 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 4518 3411 691 1256 0 3257 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18072 [startup+0.701991 s] /proc/loadavg: 0.91 0.95 0.98 3/64 2722 /proc/meminfo: memFree=1841416/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=16760 CPUtime=0.69 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 4813 0 0 0 65 4 0 0 22 0 1 0 185161709 17162240 2810 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 4190 2810 698 1256 0 2929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16760 [startup+1.50116 s] /proc/loadavg: 0.91 0.95 0.98 2/65 2723 /proc/meminfo: memFree=1832704/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=17076 CPUtime=1.49 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 5532 0 0 0 143 6 0 0 25 0 1 0 185161709 17485824 2870 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 4269 2870 700 1256 0 3008 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17076 [startup+3.10151 s] /proc/loadavg: 0.91 0.95 0.98 2/65 2723 /proc/meminfo: memFree=1825152/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=17844 CPUtime=3.09 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 8824 0 0 0 296 13 0 0 25 0 1 0 185161709 18272256 3009 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 4461 3009 700 1256 0 3200 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17844 [startup+6.30119 s] /proc/loadavg: 0.92 0.95 0.98 2/65 2723 /proc/meminfo: memFree=1830848/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=19400 CPUtime=6.29 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 9173 0 0 0 607 22 0 0 25 0 1 0 185161709 19865600 3358 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 4850 3358 700 1256 0 3589 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19400 [startup+12.7016 s] /proc/loadavg: 0.93 0.95 0.98 2/65 2723 /proc/meminfo: memFree=1821312/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=21416 CPUtime=12.68 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 12377 0 0 0 1228 40 0 0 25 0 1 0 185161709 21929984 4208 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 5354 4208 700 1256 0 4093 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21416 [startup+25.5013 s] /proc/loadavg: 0.94 0.96 0.98 2/65 2723 /proc/meminfo: memFree=1821120/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=27096 CPUtime=25.48 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 13890 0 0 0 2469 79 0 0 25 0 1 0 185161709 27746304 5720 1992294400 4194304 9342243 548682068736 18446744073709551615 4686693 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 6774 5720 700 1256 0 5513 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27096 [startup+51.1018 s] /proc/loadavg: 0.96 0.96 0.98 2/65 2723 /proc/meminfo: memFree=1808064/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=39364 CPUtime=51.07 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 22217 0 0 0 4946 161 0 0 25 0 1 0 185161709 40308736 8977 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 9841 8977 700 1256 0 8580 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39364 [startup+102.302 s] /proc/loadavg: 0.98 0.96 0.98 2/65 2723 /proc/meminfo: memFree=1792768/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=55896 CPUtime=102.26 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 30939 0 0 0 9896 330 0 0 25 0 1 0 185161709 57237504 12798 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 13974 12798 700 1256 0 12713 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 55896 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2723 /proc/meminfo: memFree=1777024/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=72312 CPUtime=162.23 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 37894 0 0 0 15685 538 0 0 25 0 1 0 185161709 74047488 16686 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 18078 16686 700 1256 0 16817 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 72312 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2723 /proc/meminfo: memFree=1767360/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=81940 CPUtime=222.21 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 40326 0 0 0 21486 735 0 0 25 0 1 0 185161709 83906560 19118 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 20485 19118 700 1256 0 19224 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 81940 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2723 /proc/meminfo: memFree=1756480/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=92352 CPUtime=282.19 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 43034 0 0 0 27288 931 0 0 25 0 1 0 185161709 94568448 21826 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 23088 21826 700 1256 0 21827 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 92352 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2723 /proc/meminfo: memFree=1754112/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=94332 CPUtime=342.16 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 45020 0 0 0 33085 1131 0 0 25 0 1 0 185161709 96595968 22413 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 23583 22413 700 1256 0 22322 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 94332 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2723 /proc/meminfo: memFree=1753984/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=94332 CPUtime=402.15 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 45020 0 0 0 38881 1334 0 0 25 0 1 0 185161709 96595968 22413 1992294400 4194304 9342243 548682068736 18446744073709551615 8050764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 23583 22413 700 1256 0 22322 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 94332 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2723 /proc/meminfo: memFree=1753920/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=94332 CPUtime=462.12 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 45021 0 0 0 44680 1532 0 0 25 0 1 0 185161709 96595968 22414 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 23583 22414 700 1256 0 22322 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 94332 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2723 /proc/meminfo: memFree=1753408/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=94240 CPUtime=522.1 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 45896 0 0 0 50473 1737 0 0 25 0 1 0 185161709 96501760 22479 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 23560 22479 700 1256 0 22299 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 94240 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2723 /proc/meminfo: memFree=1753344/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=94240 CPUtime=582.07 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 45896 0 0 0 56267 1940 0 0 25 0 1 0 185161709 96501760 22479 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 23560 22479 700 1256 0 22299 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 94240 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2723 /proc/meminfo: memFree=1753280/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=94240 CPUtime=642.06 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 45896 0 0 0 62057 2149 0 0 25 0 1 0 185161709 96501760 22479 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 23560 22479 700 1256 0 22299 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 94240 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2723 /proc/meminfo: memFree=1753216/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=94240 CPUtime=941.95 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 45896 0 0 0 91022 3173 0 0 25 0 1 0 185161709 96501760 22479 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 23560 22479 700 1256 0 22299 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 94240 [startup+1002.3 s] /proc/loadavg: 1.15 1.00 0.99 2/65 2723 /proc/meminfo: memFree=1753152/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=94240 CPUtime=1001.92 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 45896 0 0 0 96822 3370 0 0 25 0 1 0 185161709 96501760 22479 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 23560 22479 700 1256 0 22299 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 94240 [startup+1062.3 s] /proc/loadavg: 1.16 1.03 1.00 2/65 2723 /proc/meminfo: memFree=1752640/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=96152 CPUtime=1061.9 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 46018 0 0 0 102614 3576 0 0 25 0 1 0 185161709 98459648 22601 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 24038 22601 700 1256 0 22777 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 96152 [startup+1122.3 s] /proc/loadavg: 1.13 1.04 1.00 2/65 2723 /proc/meminfo: memFree=1752064/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=96472 CPUtime=1121.88 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 46149 0 0 0 108413 3775 0 0 25 0 1 0 185161709 98787328 22732 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 24118 22732 700 1256 0 22857 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 96472 [startup+1182.3 s] /proc/loadavg: 1.11 1.05 1.00 2/65 2723 /proc/meminfo: memFree=1748800/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=98460 CPUtime=1181.86 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 47695 0 0 0 114209 3977 0 0 25 0 1 0 185161709 100823040 23490 1992294400 4194304 9342243 548682068736 18446744073709551615 6934628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 24615 23490 700 1256 0 23354 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 98460 [startup+1242.3 s] /proc/loadavg: 1.04 1.03 1.00 2/65 2723 /proc/meminfo: memFree=1747264/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=100728 CPUtime=1241.84 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 48080 0 0 0 120007 4177 0 0 25 0 1 0 185161709 103145472 23875 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 25182 23875 700 1256 0 23921 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 100728 [startup+1302.3 s] /proc/loadavg: 1.01 1.03 1.00 2/65 2723 /proc/meminfo: memFree=1743744/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=105140 CPUtime=1301.82 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 48920 0 0 0 125802 4380 0 0 25 0 1 0 185161709 107663360 24715 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 26285 24715 700 1256 0 25024 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 105140 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 2723 /proc/meminfo: memFree=1738560/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=110068 CPUtime=1361.79 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 50200 0 0 0 131593 4586 0 0 25 0 1 0 185161709 112709632 25995 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 27517 25995 700 1256 0 26256 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 110068 [startup+1422.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2723 /proc/meminfo: memFree=1734528/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=114068 CPUtime=1421.78 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 51196 0 0 0 137390 4788 0 0 25 0 1 0 185161709 116805632 26991 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 28517 26991 700 1256 0 27256 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 114068 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2723 /proc/meminfo: memFree=1732928/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=115284 CPUtime=1481.75 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 51588 0 0 0 143181 4994 0 0 25 0 1 0 185161709 118050816 27383 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 28821 27383 700 1256 0 27560 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 115284 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2723 /proc/meminfo: memFree=1731264/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=116820 CPUtime=1541.73 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 51987 0 0 0 148969 5204 0 0 25 0 1 0 185161709 119623680 27782 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 29205 27782 700 1256 0 27944 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 116820 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2723 /proc/meminfo: memFree=1729088/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=119408 CPUtime=1601.7 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 52521 0 0 0 154761 5409 0 0 25 0 1 0 185161709 122273792 28316 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 29852 28316 700 1256 0 28591 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 119408 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2723 /proc/meminfo: memFree=1728256/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=120080 CPUtime=1661.68 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 52719 0 0 0 160549 5619 0 0 25 0 1 0 185161709 122961920 28514 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 30020 28514 700 1256 0 28759 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 120080 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2723 /proc/meminfo: memFree=1727296/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=121264 CPUtime=1721.66 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 52933 0 0 0 166341 5825 0 0 25 0 1 0 185161709 124174336 28728 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 30316 28728 700 1256 0 29055 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 121264 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2723 /proc/meminfo: memFree=1727232/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=121264 CPUtime=1781.63 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 52933 0 0 0 172139 6024 0 0 25 0 1 0 185161709 124174336 28728 1992294400 4194304 9342243 548682068736 18446744073709551615 8221058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 30316 28728 700 1256 0 29055 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 121264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2723 /proc/meminfo: memFree=1727104/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=121264 CPUtime=1800.03 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 52957 0 0 0 173915 6088 0 0 25 0 1 0 185161709 124174336 28752 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2722/statm: 30316 28752 700 1256 0 29055 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 121264 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2723 /proc/meminfo: memFree=1727104/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=121264 CPUtime=1800.43 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 52958 0 0 0 173955 6088 0 0 25 0 1 0 185161709 124174336 28753 1992294400 4194304 9342243 548682068736 18446744073709551615 4745372 0 0 4096 0 0 0 0 17 1 0 0 /proc/2722/statm: 30316 28753 701 1256 0 29055 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 121264 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2723 /proc/meminfo: memFree=1727104/2055920 swapFree=4192812/4192956 [pid=2722] ppid=2720 vsize=121264 CPUtime=1800.53 /proc/2722/stat : 2722 (pbscip.linux.x8) R 2720 2722 2685 0 -1 4194304 52958 0 0 0 173965 6088 0 0 25 0 1 0 185161709 124174336 28753 1992294400 4194304 9342243 548682068736 18446744073709551615 5854346 0 0 4096 0 0 0 0 17 1 0 0 /proc/2722/statm: 30316 28753 701 1256 0 29055 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (KiB) 121264 Child status: 0 Real time (s): 1801.24 CPU time (s): 1800.58 CPU user time (s): 1739.67 CPU system time (s): 60.9107 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (KiB): 121264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1739.67 system time used= 60.9107 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52961 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= 2 involuntary context switches= 1906 runsolver used 1.26181 second user time and 3.9124 second system time The end
Begin job on node10 at 2009-06-16 20:06:50 IDJOB=1869507 IDBENCH=2908 IDSOLVER=684 FILE ID=node10/1869507-1245175610 PBS_JOBID= 9363937 Free space on /tmp= 65988 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869507-1245175610/watcher-1869507-1245175610 -o /tmp/evaluation-result-1869507-1245175610/solver-1869507-1245175610 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869507-1245175610.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9 RANDOM SEED=1238006892 node10.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1841832 kB Buffers: 42644 kB Cached: 105120 kB SwapCached: 0 kB Active: 52836 kB Inactive: 108228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1841832 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 11756 kB Writeback: 0 kB Mapped: 23088 kB Slab: 39092 kB Committed_AS: 183616 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 65976 MiB End job on node10 at 2009-06-16 20:36:53