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) | 5 | 1800.23 | 1800.78 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
| MD5SUM | 8d16c34d0eecf3c16ca4b890652c15ca |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 1800.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 7 |
| 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 | 1270 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4321 |
| 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-1869511-1245175726.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.02 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 | 24 | 465k| 0 | 6 | 140 | 6 | 6 | 140 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.04 c 0.0s| 1 | 0 | 92 | 550k| 0 | 11 | 140 | 6 | 6 | 140 | 11 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.05 c 0.0s| 1 | 0 | 110 | 609k| 0 | 13 | 140 | 6 | 6 | 140 | 17 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf 0.05/0.07 c 0.1s| 1 | 0 | 140 | 637k| 0 | 16 | 140 | 6 | 6 | 140 | 21 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 0.05/0.09 c 0.1s| 1 | 0 | 152 | 687k| 0 | 16 | 140 | 6 | 6 | 140 | 24 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.11 c 0.1s| 1 | 0 | 176 | 720k| 0 | 19 | 140 | 6 | 6 | 140 | 26 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.13 c 0.1s| 1 | 0 | 182 | 731k| 0 | 19 | 140 | 6 | 6 | 140 | 28 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 0.19/0.26 c 0.2s| 1 | 2 | 182 | 732k| 0 | 19 | 140 | 6 | 6 | 140 | 28 | 22 | 0 | 19 | 0.000000e+00 | -- | Inf 0.39/0.49 o 642 0.39/0.49 c f 0.5s| 60 | 60 | 590 | 813k| 39 | - | 140 | 6 | 3 | 140 | 19 | 22 | 6 | 308 | 8.185452e-12 | 6.420000e+02 | Inf 0.59/0.66 o 363 0.59/0.66 c c 0.6s| 199 | 180 | 1440 | 864k| 39 | - | 140 | 6 | 3 | 140 | 19 | 22 | 6 | 492 | 8.185452e-12 | 3.630000e+02 | Inf 0.70/0.70 o 362 0.70/0.70 c p 0.7s| 242 | 211 | 1614 | 881k| 39 | - | 140 | 6 | 0 | 140 | 19 | 22 | 8 | 528 | 8.185452e-12 | 3.620000e+02 | Inf 0.70/0.76 o 361 0.70/0.76 c l 0.7s| 302 | 269 | 1938 | 914k| 39 | - | 140 | 6 | 0 | 140 | 19 | 22 | 10 | 563 | 8.185452e-12 | 3.610000e+02 | Inf 0.89/0.94 o 358 0.89/0.94 c g 0.9s| 503 | 461 | 3027 |1001k| 39 | - | 140 | 6 | 0 | 140 | 19 | 22 | 12 | 592 | 8.185452e-12 | 3.580000e+02 | Inf 0.89/0.96 o 123 0.89/0.96 c c 0.9s| 520 | 389 | 3105 | 968k| 39 | - | 140 | 6 | 3 | 140 | 19 | 22 | 13 | 593 | 8.185452e-12 | 1.230000e+02 | Inf 0.89/1.00 o 88 0.89/1.00 c f 0.9s| 563 | 396 | 3298 | 979k| 39 | - | 140 | 6 | 2 | 140 | 19 | 22 | 14 | 605 | 8.185452e-12 | 8.800000e+01 | Inf 1.09/1.14 o 87 1.09/1.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.09/1.14 c f 1.1s| 725 | 553 | 4056 |1036k| 39 | - | 140 | 6 | 0 | 140 | 19 | 22 | 17 | 629 | 8.185452e-12 | 8.700000e+01 | Inf 1.29/1.37 o 86 1.29/1.37 c p 1.3s| 989 | 753 | 5264 |1146k| 39 | - | 140 | 6 | 0 | 140 | 19 | 22 | 36 | 702 | 8.185452e-12 | 8.600000e+01 | Inf 2.29/2.31 o 85 2.29/2.31 c c 2.2s| 1374 | 1137 | 7611 |1324k| 39 | - | 140 | 6 | 0 | 140 | 19 | 22 | 55 | 756 | 8.185452e-12 | 8.500000e+01 | Inf 2.49/2.52 o 84 2.49/2.52 c l 2.4s| 1588 | 1347 | 8962 |1431k| 39 | - | 140 | 6 | 0 | 140 | 19 | 22 | 63 | 769 | 8.185452e-12 | 8.400000e+01 | Inf 3.09/3.13 o 46 3.09/3.13 c f 3.0s| 2171 | 1766 | 12503 |1595k| 39 | - | 140 | 6 | 2 | 140 | 19 | 22 | 106 | 791 | 8.185452e-12 | 4.600000e+01 | Inf 4.29/4.39 o 42 4.29/4.39 c * 4.2s| 2947 | 2466 | 19902 |1904k| 39 | - | 140 | 6 | 1 | 140 | 19 | 22 | 198 | 799 | 8.185452e-12 | 4.200000e+01 | Inf 6.09/6.12 o 41 6.09/6.12 c l 5.9s| 3845 | 3268 | 29471 |2276k| 39 | - | 140 | 6 | 0 | 140 | 19 | 22 | 337 | 801 | 8.185452e-12 | 4.100000e+01 | Inf 12.19/12.26 o 38 12.19/12.26 c g11.8s| 9821 | 8186 | 64805 |4714k| 42 | - | 140 | 6 | 0 | 140 | 19 | 22 | 780 | 881 | 8.185452e-12 | 3.800000e+01 | Inf 12.39/12.45 c 12.0s| 10000 | 8322 | 65831 |4789k| 43 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 795 | 888 | 8.185452e-12 | 3.800000e+01 | Inf 17.19/17.22 o 36 17.19/17.22 c *16.6s| 15505 | 11943 | 94889 |6901k| 43 | - | 140 | 6 | 0 | 140 | 19 | 22 |1238 |1145 | 8.185452e-12 | 3.600000e+01 | Inf 17.19/17.22 o 34 17.19/17.22 c *16.6s| 15506 | 11825 | 94893 |6778k| 43 | - | 140 | 6 | 0 | 140 | 19 | 22 |1238 |1145 | 8.185452e-12 | 3.400000e+01 | Inf 20.59/20.62 o 33 20.59/20.62 c *19.9s| 19689 | 14269 |116513 |8405k| 44 | - | 140 | 6 | 0 | 140 | 19 | 22 |1564 |1303 | 8.185452e-12 | 3.300000e+01 | Inf 20.59/20.62 o 31 20.59/20.62 c *19.9s| 19690 | 13941 |116513 |8025k| 44 | - | 140 | 6 | 0 | 140 | 19 | 22 |1564 |1303 | 8.185452e-12 | 3.100000e+01 | Inf 20.79/20.88 c 20.2s| 20000 | 14129 |118092 |8118k| 44 | 6 | 140 | 6 | 6 | 140 | 19 | 22 |1583 |1321 | 8.185452e-12 | 3.100000e+01 | Inf 21.89/21.93 o 30 21.89/21.93 c *21.2s| 21348 | 14963 |124735 |8540k| 44 | - | 140 | 6 | 0 | 140 | 19 | 22 |1699 |1354 | 8.185452e-12 | 3.000000e+01 | Inf 21.89/21.95 o 28 21.89/21.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 21.89/21.95 c *21.2s| 21381 | 14835 |124848 |8392k| 44 | - | 140 | 6 | 2 | 140 | 19 | 22 |1703 |1356 | 8.185452e-12 | 2.800000e+01 | Inf 24.79/24.84 o 27 24.79/24.84 c *24.0s| 25194 | 17039 |143390 |9514k| 44 | - | 140 | 6 | 0 | 140 | 19 | 22 |2002 |1465 | 8.185452e-12 | 2.700000e+01 | Inf 29.48/29.52 o 26 29.48/29.52 c *28.5s| 29192 | 19038 |162996 | 10M| 45 | - | 140 | 6 | 3 | 140 | 19 | 22 |2354 |1567 | 8.185452e-12 | 2.600000e+01 | Inf 29.48/29.53 o 20 29.48/29.53 c *28.5s| 29195 | 18179 |162998 |9754k| 45 | - | 140 | 6 | 6 | 140 | 19 | 22 |2355 |1567 | 8.185452e-12 | 2.000000e+01 | Inf 30.09/30.10 c 29.1s| 30000 | 18543 |166819 |9975k| 45 | 6 | 140 | 6 | 6 | 140 | 19 | 22 |2429 |1593 | 8.185452e-12 | 2.000000e+01 | Inf 37.07/37.15 c 35.9s| 40000 | 22971 |213934 | 12M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 |3193 |1850 | 8.185452e-12 | 2.000000e+01 | Inf 43.78/43.83 c 42.3s| 50000 | 26799 |259313 | 14M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 |4043 |2098 | 8.185452e-12 | 2.000000e+01 | Inf 49.77/49.86 o 19 49.77/49.86 c *48.1s| 59681 | 29839 |300723 | 16M| 46 | - | 140 | 6 | 3 | 140 | 19 | 22 |4874 |2315 | 8.185452e-12 | 1.900000e+01 | Inf 50.07/50.11 c 48.4s| 60000 | 30019 |302393 | 16M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 |4900 |2316 | 8.185452e-12 | 1.900000e+01 | Inf 56.27/56.34 c 54.4s| 70000 | 32894 |346510 | 18M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 |5613 |2537 | 8.185452e-12 | 1.900000e+01 | Inf 62.17/62.23 c 60.1s| 80000 | 34571 |388429 | 20M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 |6381 |2785 | 8.185452e-12 | 1.900000e+01 | Inf 63.07/63.11 o 14 63.07/63.11 c *60.9s| 81429 | 33013 |394720 | 18M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 |6497 |2812 | 8.185452e-12 | 1.400000e+01 | Inf 70.16/70.25 c 67.8s| 90000 | 34658 |433216 | 19M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 |7183 |3083 | 8.185452e-12 | 1.400000e+01 | Inf 75.86/75.92 c 73.2s|100000 | 36363 |478569 | 20M| 46 | - | 140 | 6 | 7 | 0 | 0 | 22 |7874 |3333 | 8.185452e-12 | 1.400000e+01 | Inf 82.37/82.50 c 79.5s|110000 | 37685 |523602 | 21M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 |8569 |3541 | 8.185452e-12 | 1.400000e+01 | Inf 87.76/87.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 87.76/87.83 c 84.7s|120000 | 38584 |565565 | 22M| 46 | 6 | 140 | 7 | 7 | 140 | 19 | 22 |9247 |3752 | 8.185452e-12 | 1.400000e+01 | Inf 93.46/93.54 c 90.2s|130000 | 39805 |611011 | 23M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 10k|3939 | 8.185452e-12 | 1.400000e+01 | Inf 98.96/99.03 c 95.5s|140000 | 40431 |654828 | 24M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 10k|4106 | 8.185452e-12 | 1.400000e+01 | Inf 104.45/104.54 c 101s|150000 | 41076 |699029 | 24M| 46 | - | 140 | 6 | 5 | 0 | 0 | 22 | 11k|4260 | 8.185452e-12 | 1.400000e+01 | Inf 109.15/109.22 o 12 109.15/109.22 c * 105s|158534 | 40865 |735311 | 24M| 46 | - | 140 | 6 | 0 | 140 | 19 | 22 | 12k|4384 | 8.185452e-12 | 1.200000e+01 | Inf 109.96/110.00 c 106s|160000 | 40894 |741219 | 24M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 12k|4411 | 8.185452e-12 | 1.200000e+01 | Inf 115.36/115.47 c 111s|170000 | 41060 |784273 | 24M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 13k|4543 | 8.185452e-12 | 1.200000e+01 | Inf 120.75/120.90 c 117s|180000 | 41831 |827064 | 25M| 46 | - | 140 | 6 | 7 | 0 | 0 | 22 | 13k|4678 | 8.185452e-12 | 1.200000e+01 | Inf 126.05/126.15 c 122s|190000 | 42164 |868398 | 25M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 14k|4803 | 8.185452e-12 | 1.200000e+01 | Inf 131.34/131.48 c 127s|200000 | 42955 |909410 | 26M| 46 | - | 140 | 6 | 6 | 0 | 0 | 22 | 15k|4930 | 8.185452e-12 | 1.200000e+01 | Inf 136.75/136.85 c 132s|210000 | 43061 |950533 | 26M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 16k|5064 | 8.185452e-12 | 1.200000e+01 | Inf 142.14/142.21 c 137s|220000 | 42917 |991889 | 26M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 16k|5180 | 8.185452e-12 | 1.200000e+01 | Inf 145.04/145.15 o 10 145.04/145.15 c * 140s|225502 | 41826 | 1014k| 25M| 46 | - | 140 | 6 | 0 | 140 | 19 | 22 | 17k|5244 | 8.185452e-12 | 1.000000e+01 | Inf 147.54/147.62 c 142s|230000 | 42102 | 1034k| 25M| 46 | - | 140 | 6 | 7 | 140 | 19 | 22 | 17k|5327 | 8.185452e-12 | 1.000000e+01 | Inf 153.34/153.45 c 148s|240000 | 43640 | 1080k| 26M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 18k|5495 | 8.185452e-12 | 1.000000e+01 | Inf 158.84/159.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 158.84/159.00 c 153s|250000 | 45344 | 1124k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 18k|5641 | 8.185452e-12 | 1.000000e+01 | Inf 164.44/164.53 c 159s|260000 | 46615 | 1168k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 19k|5795 | 8.185452e-12 | 1.000000e+01 | Inf 169.83/169.94 c 164s|270000 | 47538 | 1212k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 19k|5937 | 8.185452e-12 | 1.000000e+01 | Inf 175.33/175.48 c 169s|280000 | 48611 | 1256k| 30M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 20k|6084 | 8.185452e-12 | 1.000000e+01 | Inf 180.73/180.89 c 175s|290000 | 49955 | 1298k| 30M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 21k|6209 | 8.185452e-12 | 1.000000e+01 | Inf 186.13/186.28 c 180s|300000 | 50846 | 1341k| 31M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 21k|6359 | 8.185452e-12 | 1.000000e+01 | Inf 190.73/190.83 o 9 190.73/190.83 c * 184s|308570 | 50923 | 1376k| 31M| 46 | - | 140 | 6 | 0 | 140 | 19 | 22 | 22k|6471 | 8.185452e-12 | 9.000000e+00 | Inf 190.73/190.85 o 7 190.73/190.85 c * 184s|308580 | 49191 | 1376k| 29M| 46 | - | 140 | 6 | 0 | 140 | 19 | 22 | 22k|6473 | 8.185452e-12 | 7.000000e+00 | Inf 190.73/190.86 o 5 190.73/190.86 c * 184s|308581 | 46943 | 1376k| 26M| 46 | - | 140 | 6 | 0 | 140 | 19 | 22 | 22k|6473 | 8.185452e-12 | 5.000000e+00 | Inf 191.53/191.61 c 185s|310000 | 46953 | 1382k| 26M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 22k|6502 | 8.185452e-12 | 5.000000e+00 | Inf 198.22/198.38 c 191s|320000 | 47595 | 1425k| 26M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 22k|6764 | 8.185452e-12 | 5.000000e+00 | Inf 203.52/203.61 c 196s|330000 | 48151 | 1470k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 23k|7002 | 8.185452e-12 | 5.000000e+00 | Inf 208.62/208.78 c 201s|340000 | 48555 | 1515k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 23k|7244 | 8.185452e-12 | 5.000000e+00 | Inf 213.81/213.97 c 206s|350000 | 49338 | 1559k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 23k|7481 | 8.185452e-12 | 5.000000e+00 | Inf 219.02/219.14 c 211s|360000 | 50060 | 1603k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 24k|7672 | 8.185452e-12 | 5.000000e+00 | Inf 224.12/224.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 224.12/224.23 c 216s|370000 | 49955 | 1647k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 24k|7893 | 8.185452e-12 | 5.000000e+00 | Inf 229.22/229.33 c 221s|380000 | 49779 | 1692k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 25k|8139 | 8.185452e-12 | 5.000000e+00 | Inf 234.32/234.45 c 226s|390000 | 49254 | 1737k| 28M| 46 | - | 140 | 6 | 5 | 140 | 19 | 22 | 25k|8372 | 8.185452e-12 | 5.000000e+00 | Inf 239.52/239.61 c 231s|400000 | 49106 | 1783k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 26k|8604 | 8.185452e-12 | 5.000000e+00 | Inf 244.61/244.75 c 236s|410000 | 49157 | 1828k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 26k|8850 | 8.185452e-12 | 5.000000e+00 | Inf 249.61/249.78 c 241s|420000 | 48948 | 1872k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 27k|9084 | 8.185452e-12 | 5.000000e+00 | Inf 254.71/254.83 c 246s|430000 | 49138 | 1917k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 27k|9268 | 8.185452e-12 | 5.000000e+00 | Inf 259.90/260.01 c 251s|440000 | 48950 | 1963k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 27k|9495 | 8.185452e-12 | 5.000000e+00 | Inf 265.10/265.24 c 256s|450000 | 49081 | 2009k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 28k|9740 | 8.185452e-12 | 5.000000e+00 | Inf 270.41/270.52 c 261s|460000 | 49839 | 2055k| 29M| 46 | - | 140 | 6 | 7 | 0 | 0 | 22 | 28k|9975 | 8.185452e-12 | 5.000000e+00 | Inf 275.60/275.70 c 266s|470000 | 50280 | 2099k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 29k| 10k| 8.185452e-12 | 5.000000e+00 | Inf 280.70/280.86 c 271s|480000 | 50604 | 2144k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 29k| 10k| 8.185452e-12 | 5.000000e+00 | Inf 285.80/285.95 c 276s|490000 | 50691 | 2189k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 30k| 10k| 8.185452e-12 | 5.000000e+00 | Inf 290.80/290.99 c 281s|500000 | 50605 | 2234k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 30k| 10k| 8.185452e-12 | 5.000000e+00 | Inf 295.99/296.15 c 286s|510000 | 50355 | 2279k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 31k| 10k| 8.185452e-12 | 5.000000e+00 | Inf 301.09/301.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 301.09/301.24 c 291s|520000 | 50220 | 2324k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 31k| 11k| 8.185452e-12 | 5.000000e+00 | Inf 306.09/306.26 c 296s|530000 | 50152 | 2368k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 32k| 11k| 8.185452e-12 | 5.000000e+00 | Inf 311.19/311.33 c 300s|540000 | 49867 | 2413k| 29M| 46 | - | 140 | 6 | 7 | 0 | 0 | 22 | 32k| 11k| 8.185452e-12 | 5.000000e+00 | Inf 316.29/316.49 c 305s|550000 | 49938 | 2458k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 32k| 11k| 8.185452e-12 | 5.000000e+00 | Inf 321.48/321.62 c 310s|560000 | 49394 | 2503k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 33k| 11k| 8.185452e-12 | 5.000000e+00 | Inf 326.49/326.65 c 315s|570000 | 49210 | 2548k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 33k| 12k| 8.185452e-12 | 5.000000e+00 | Inf 331.58/331.78 c 320s|580000 | 48922 | 2594k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 34k| 12k| 8.185452e-12 | 5.000000e+00 | Inf 336.78/336.97 c 325s|590000 | 48662 | 2639k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 34k| 12k| 8.185452e-12 | 5.000000e+00 | Inf 341.98/342.12 c 330s|600000 | 49055 | 2683k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 35k| 12k| 8.185452e-12 | 5.000000e+00 | Inf 347.08/347.23 c 335s|610000 | 49791 | 2726k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 35k| 12k| 8.185452e-12 | 5.000000e+00 | Inf 352.08/352.29 c 340s|620000 | 50865 | 2769k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 36k| 13k| 8.185452e-12 | 5.000000e+00 | Inf 357.17/357.38 c 345s|630000 | 51382 | 2812k| 30M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 36k| 13k| 8.185452e-12 | 5.000000e+00 | Inf 362.27/362.42 c 350s|640000 | 51497 | 2854k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 37k| 13k| 8.185452e-12 | 5.000000e+00 | Inf 367.28/367.46 c 355s|650000 | 51783 | 2897k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 37k| 13k| 8.185452e-12 | 5.000000e+00 | Inf 372.27/372.47 c 359s|660000 | 51483 | 2940k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 38k| 13k| 8.185452e-12 | 5.000000e+00 | Inf 377.27/377.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 377.27/377.46 c 364s|670000 | 51361 | 2982k| 30M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 38k| 13k| 8.185452e-12 | 5.000000e+00 | Inf 382.27/382.40 c 369s|680000 | 51081 | 3024k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 39k| 14k| 8.185452e-12 | 5.000000e+00 | Inf 387.27/387.46 c 374s|690000 | 51200 | 3068k| 30M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 39k| 14k| 8.185452e-12 | 5.000000e+00 | Inf 392.27/392.46 c 379s|700000 | 51019 | 3111k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 40k| 14k| 8.185452e-12 | 5.000000e+00 | Inf 397.37/397.52 c 383s|710000 | 51024 | 3153k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 40k| 14k| 8.185452e-12 | 5.000000e+00 | Inf 402.26/402.47 c 388s|720000 | 50750 | 3195k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 41k| 14k| 8.185452e-12 | 5.000000e+00 | Inf 407.26/407.49 c 393s|730000 | 50276 | 3238k| 30M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 41k| 14k| 8.185452e-12 | 5.000000e+00 | Inf 412.26/412.48 c 398s|740000 | 50126 | 3280k| 30M| 46 | - | 140 | 6 | 7 | 0 | 0 | 22 | 42k| 15k| 8.185452e-12 | 5.000000e+00 | Inf 417.36/417.57 c 403s|750000 | 49431 | 3323k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 42k| 15k| 8.185452e-12 | 5.000000e+00 | Inf 422.36/422.58 c 408s|760000 | 49023 | 3366k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 43k| 15k| 8.185452e-12 | 5.000000e+00 | Inf 427.45/427.65 c 412s|770000 | 49103 | 3411k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 43k| 15k| 8.185452e-12 | 5.000000e+00 | Inf 432.45/432.68 c 417s|780000 | 49290 | 3453k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 44k| 15k| 8.185452e-12 | 5.000000e+00 | Inf 437.45/437.64 c 422s|790000 | 49135 | 3495k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 45k| 15k| 8.185452e-12 | 5.000000e+00 | Inf 442.45/442.62 c 427s|800000 | 48825 | 3537k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 45k| 16k| 8.185452e-12 | 5.000000e+00 | Inf 447.35/447.59 c 432s|810000 | 48659 | 3579k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 46k| 16k| 8.185452e-12 | 5.000000e+00 | Inf 452.35/452.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 452.35/452.59 c 437s|820000 | 48864 | 3622k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 46k| 16k| 8.185452e-12 | 5.000000e+00 | Inf 457.45/457.67 c 441s|830000 | 48846 | 3665k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 47k| 16k| 8.185452e-12 | 5.000000e+00 | Inf 462.55/462.74 c 446s|840000 | 48616 | 3709k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 47k| 16k| 8.185452e-12 | 5.000000e+00 | Inf 467.54/467.70 c 451s|850000 | 48634 | 3752k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 48k| 16k| 8.185452e-12 | 5.000000e+00 | Inf 472.64/472.84 c 456s|860000 | 48514 | 3797k| 28M| 46 | - | 140 | 6 | 7 | 0 | 0 | 22 | 49k| 16k| 8.185452e-12 | 5.000000e+00 | Inf 477.74/477.96 c 461s|870000 | 48309 | 3844k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 49k| 17k| 8.185452e-12 | 5.000000e+00 | Inf 482.84/483.01 c 466s|880000 | 48130 | 3891k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 49k| 17k| 8.185452e-12 | 5.000000e+00 | Inf 487.84/488.02 c 471s|890000 | 48145 | 3936k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 50k| 17k| 8.185452e-12 | 5.000000e+00 | Inf 492.94/493.18 c 476s|900000 | 48122 | 3984k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 51k| 17k| 8.185452e-12 | 5.000000e+00 | Inf 498.03/498.24 c 481s|910000 | 47937 | 4030k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 51k| 17k| 8.185452e-12 | 5.000000e+00 | Inf 503.23/503.44 c 486s|920000 | 48462 | 4077k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 51k| 17k| 8.185452e-12 | 5.000000e+00 | Inf 508.23/508.49 c 490s|930000 | 48667 | 4122k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 52k| 17k| 8.185452e-12 | 5.000000e+00 | Inf 513.32/513.54 c 495s|940000 | 48434 | 4168k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 52k| 17k| 8.185452e-12 | 5.000000e+00 | Inf 518.33/518.56 c 500s|950000 | 48282 | 4214k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 53k| 18k| 8.185452e-12 | 5.000000e+00 | Inf 523.34/523.59 c 505s|960000 | 48033 | 4260k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 53k| 18k| 8.185452e-12 | 5.000000e+00 | Inf 528.32/528.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 528.32/528.59 c 510s|970000 | 47820 | 4306k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 54k| 18k| 8.185452e-12 | 5.000000e+00 | Inf 533.42/533.62 c 515s|980000 | 47782 | 4352k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 54k| 18k| 8.185452e-12 | 5.000000e+00 | Inf 538.52/538.75 c 520s|990000 | 47564 | 4399k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 55k| 18k| 8.185452e-12 | 5.000000e+00 | Inf 543.62/543.80 c 524s| 1000k| 47475 | 4445k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 55k| 18k| 8.185452e-12 | 5.000000e+00 | Inf 548.52/548.78 c 529s| 1010k| 47365 | 4491k| 27M| 46 | - | 140 | 6 | 5 | 140 | 19 | 22 | 55k| 18k| 8.185452e-12 | 5.000000e+00 | Inf 553.62/553.84 c 534s| 1020k| 47265 | 4538k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 56k| 18k| 8.185452e-12 | 5.000000e+00 | Inf 558.72/558.97 c 539s| 1030k| 47307 | 4583k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 56k| 18k| 8.185452e-12 | 5.000000e+00 | Inf 563.81/564.03 c 544s| 1040k| 47377 | 4627k| 27M| 46 | - | 140 | 6 | 6 | 0 | 0 | 22 | 57k| 19k| 8.185452e-12 | 5.000000e+00 | Inf 568.71/568.96 c 549s| 1050k| 47279 | 4669k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 57k| 19k| 8.185452e-12 | 5.000000e+00 | Inf 573.81/574.05 c 554s| 1060k| 47125 | 4714k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 58k| 19k| 8.185452e-12 | 5.000000e+00 | Inf 579.01/579.21 c 559s| 1070k| 47655 | 4758k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 58k| 19k| 8.185452e-12 | 5.000000e+00 | Inf 584.01/584.27 c 563s| 1080k| 47544 | 4802k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 59k| 19k| 8.185452e-12 | 5.000000e+00 | Inf 589.10/589.35 c 568s| 1090k| 47675 | 4846k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 59k| 19k| 8.185452e-12 | 5.000000e+00 | Inf 594.21/594.42 c 573s| 1100k| 47957 | 4890k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 59k| 19k| 8.185452e-12 | 5.000000e+00 | Inf 599.21/599.46 c 578s| 1110k| 47990 | 4933k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 60k| 20k| 8.185452e-12 | 5.000000e+00 | Inf 604.31/604.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 604.31/604.50 c 583s| 1120k| 47857 | 4977k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 61k| 20k| 8.185452e-12 | 5.000000e+00 | Inf 609.30/609.52 c 588s| 1130k| 47631 | 5021k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 61k| 20k| 8.185452e-12 | 5.000000e+00 | Inf 614.30/614.51 c 593s| 1140k| 47794 | 5063k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 62k| 20k| 8.185452e-12 | 5.000000e+00 | Inf 619.30/619.56 c 597s| 1150k| 47542 | 5107k| 28M| 46 | - | 140 | 7 | 6 | 140 | 19 | 22 | 62k| 20k| 8.185452e-12 | 5.000000e+00 | Inf 624.40/624.68 c 602s| 1160k| 47247 | 5151k| 27M| 46 | 6 | 140 | 7 | 6 | 140 | 19 | 22 | 63k| 20k| 8.185452e-12 | 5.000000e+00 | Inf 629.60/629.85 c 607s| 1170k| 47863 | 5197k| 28M| 46 | - | 140 | 7 | 6 | 140 | 19 | 22 | 63k| 20k| 8.185452e-12 | 5.000000e+00 | Inf 634.69/634.99 c 612s| 1180k| 47892 | 5242k| 28M| 46 | - | 140 | 7 | 6 | 140 | 19 | 22 | 64k| 21k| 8.185452e-12 | 5.000000e+00 | Inf 639.90/640.11 c 617s| 1190k| 47954 | 5286k| 28M| 46 | - | 140 | 7 | 6 | 140 | 19 | 22 | 64k| 21k| 8.185452e-12 | 5.000000e+00 | Inf 644.89/645.18 c 622s| 1200k| 47543 | 5331k| 28M| 46 | 6 | 140 | 7 | 6 | 140 | 19 | 22 | 64k| 21k| 8.185452e-12 | 5.000000e+00 | Inf 650.09/650.33 c 627s| 1210k| 47203 | 5378k| 28M| 46 | - | 140 | 7 | 6 | 140 | 19 | 22 | 65k| 21k| 8.185452e-12 | 5.000000e+00 | Inf 655.19/655.43 c 632s| 1220k| 47193 | 5422k| 27M| 46 | 6 | 140 | 7 | 6 | 140 | 19 | 22 | 65k| 21k| 8.185452e-12 | 5.000000e+00 | Inf 660.38/660.63 c 637s| 1230k| 47069 | 5468k| 27M| 46 | 6 | 140 | 7 | 6 | 140 | 19 | 22 | 66k| 21k| 8.185452e-12 | 5.000000e+00 | Inf 665.48/665.72 c 642s| 1240k| 48002 | 5511k| 28M| 46 | - | 140 | 7 | 6 | 140 | 19 | 22 | 66k| 22k| 8.185452e-12 | 5.000000e+00 | Inf 670.48/670.78 c 647s| 1250k| 48673 | 5554k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 67k| 22k| 8.185452e-12 | 5.000000e+00 | Inf 675.58/675.87 c 652s| 1260k| 48799 | 5596k| 29M| 46 | - | 140 | 6 | 6 | 0 | 0 | 22 | 68k| 22k| 8.185452e-12 | 5.000000e+00 | Inf 680.59/680.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 680.59/680.88 c 657s| 1270k| 49028 | 5638k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 68k| 22k| 8.185452e-12 | 5.000000e+00 | Inf 685.58/685.87 c 661s| 1280k| 49164 | 5680k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 68k| 22k| 8.185452e-12 | 5.000000e+00 | Inf 690.58/690.90 c 666s| 1290k| 49367 | 5723k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 69k| 22k| 8.185452e-12 | 5.000000e+00 | Inf 695.68/695.91 c 671s| 1300k| 49155 | 5765k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 70k| 22k| 8.185452e-12 | 5.000000e+00 | Inf 700.57/700.87 c 676s| 1310k| 48946 | 5806k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 70k| 23k| 8.185452e-12 | 5.000000e+00 | Inf 705.57/705.83 c 681s| 1320k| 49134 | 5849k| 29M| 46 | - | 140 | 6 | 7 | 140 | 19 | 22 | 71k| 23k| 8.185452e-12 | 5.000000e+00 | Inf 710.47/710.75 c 685s| 1330k| 49214 | 5890k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 71k| 23k| 8.185452e-12 | 5.000000e+00 | Inf 715.37/715.69 c 690s| 1340k| 48899 | 5931k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 72k| 23k| 8.185452e-12 | 5.000000e+00 | Inf 720.37/720.67 c 695s| 1350k| 48786 | 5972k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 72k| 23k| 8.185452e-12 | 5.000000e+00 | Inf 725.37/725.64 c 700s| 1360k| 49071 | 6015k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 73k| 23k| 8.185452e-12 | 5.000000e+00 | Inf 730.26/730.54 c 704s| 1370k| 48883 | 6055k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 73k| 23k| 8.185452e-12 | 5.000000e+00 | Inf 735.37/735.62 c 709s| 1380k| 49273 | 6098k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 74k| 24k| 8.185452e-12 | 5.000000e+00 | Inf 740.36/740.64 c 714s| 1390k| 48819 | 6140k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 74k| 24k| 8.185452e-12 | 5.000000e+00 | Inf 745.26/745.56 c 719s| 1400k| 48470 | 6181k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 75k| 24k| 8.185452e-12 | 5.000000e+00 | Inf 750.15/750.48 c 724s| 1410k| 48293 | 6223k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 75k| 24k| 8.185452e-12 | 5.000000e+00 | Inf 755.16/755.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 755.16/755.46 c 729s| 1420k| 48352 | 6264k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 76k| 24k| 8.185452e-12 | 5.000000e+00 | Inf 760.15/760.47 c 733s| 1430k| 47970 | 6306k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 76k| 24k| 8.185452e-12 | 5.000000e+00 | Inf 765.15/765.45 c 738s| 1440k| 48825 | 6346k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 77k| 24k| 8.185452e-12 | 5.000000e+00 | Inf 770.25/770.51 c 743s| 1450k| 49378 | 6388k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 77k| 25k| 8.185452e-12 | 5.000000e+00 | Inf 775.25/775.53 c 748s| 1460k| 49641 | 6430k| 30M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 77k| 25k| 8.185452e-12 | 5.000000e+00 | Inf 780.25/780.59 c 753s| 1470k| 50020 | 6472k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 78k| 25k| 8.185452e-12 | 5.000000e+00 | Inf 785.15/785.48 c 757s| 1480k| 50267 | 6512k| 31M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 78k| 25k| 8.185452e-12 | 5.000000e+00 | Inf 790.15/790.40 c 762s| 1490k| 50324 | 6554k| 31M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 79k| 25k| 8.185452e-12 | 5.000000e+00 | Inf 795.05/795.35 c 767s| 1500k| 50765 | 6594k| 31M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 79k| 25k| 8.185452e-12 | 5.000000e+00 | Inf 799.94/800.28 c 772s| 1510k| 50607 | 6634k| 31M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 80k| 25k| 8.185452e-12 | 5.000000e+00 | Inf 804.95/805.24 c 777s| 1520k| 50115 | 6675k| 31M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 80k| 26k| 8.185452e-12 | 5.000000e+00 | Inf 809.84/810.15 c 781s| 1530k| 49965 | 6716k| 31M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 81k| 26k| 8.185452e-12 | 5.000000e+00 | Inf 814.75/815.10 c 786s| 1540k| 50061 | 6757k| 31M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 81k| 26k| 8.185452e-12 | 5.000000e+00 | Inf 819.84/820.10 c 791s| 1550k| 49890 | 6798k| 31M| 46 | - | 140 | 6 | 6 | 0 | 0 | 22 | 82k| 26k| 8.185452e-12 | 5.000000e+00 | Inf 824.74/825.04 c 796s| 1560k| 49447 | 6840k| 31M| 46 | - | 140 | 6 | 6 | 0 | 0 | 22 | 82k| 26k| 8.185452e-12 | 5.000000e+00 | Inf 829.64/829.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 829.64/829.94 c 800s| 1570k| 49014 | 6880k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 83k| 26k| 8.185452e-12 | 5.000000e+00 | Inf 834.54/834.85 c 805s| 1580k| 48750 | 6920k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 83k| 26k| 8.185452e-12 | 5.000000e+00 | Inf 839.43/839.79 c 810s| 1590k| 48537 | 6960k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 84k| 27k| 8.185452e-12 | 5.000000e+00 | Inf 844.33/844.68 c 815s| 1600k| 48434 | 7001k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 84k| 27k| 8.185452e-12 | 5.000000e+00 | Inf 849.33/849.62 c 819s| 1610k| 48038 | 7042k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 85k| 27k| 8.185452e-12 | 5.000000e+00 | Inf 854.33/854.70 c 824s| 1620k| 47896 | 7086k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 85k| 27k| 8.185452e-12 | 5.000000e+00 | Inf 859.33/859.63 c 829s| 1630k| 47642 | 7126k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 86k| 27k| 8.185452e-12 | 5.000000e+00 | Inf 864.32/864.61 c 834s| 1640k| 47535 | 7168k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 86k| 27k| 8.185452e-12 | 5.000000e+00 | Inf 869.23/869.50 c 839s| 1650k| 47397 | 7209k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 87k| 27k| 8.185452e-12 | 5.000000e+00 | Inf 874.22/874.51 c 843s| 1660k| 47353 | 7250k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 87k| 28k| 8.185452e-12 | 5.000000e+00 | Inf 879.12/879.47 c 848s| 1670k| 46742 | 7291k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 88k| 28k| 8.185452e-12 | 5.000000e+00 | Inf 884.32/884.61 c 853s| 1680k| 46721 | 7335k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 89k| 28k| 8.185452e-12 | 5.000000e+00 | Inf 889.32/889.67 c 858s| 1690k| 46726 | 7379k| 27M| 46 | - | 140 | 6 | 5 | 140 | 19 | 22 | 89k| 28k| 8.185452e-12 | 5.000000e+00 | Inf 894.41/894.77 c 863s| 1700k| 46971 | 7422k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 89k| 28k| 8.185452e-12 | 5.000000e+00 | Inf 899.52/899.83 c 868s| 1710k| 47018 | 7466k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 90k| 28k| 8.185452e-12 | 5.000000e+00 | Inf 904.51/904.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 904.51/904.89 c 873s| 1720k| 46845 | 7510k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 90k| 28k| 8.185452e-12 | 5.000000e+00 | Inf 909.61/909.99 c 878s| 1730k| 47047 | 7554k| 27M| 46 | - | 140 | 6 | 7 | 0 | 0 | 22 | 91k| 29k| 8.185452e-12 | 5.000000e+00 | Inf 914.71/915.09 c 882s| 1740k| 47390 | 7597k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 91k| 29k| 8.185452e-12 | 5.000000e+00 | Inf 919.81/920.10 c 887s| 1750k| 47600 | 7639k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 92k| 29k| 8.185452e-12 | 5.000000e+00 | Inf 924.71/925.06 c 892s| 1760k| 47394 | 7681k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 92k| 29k| 8.185452e-12 | 5.000000e+00 | Inf 929.71/930.04 c 897s| 1770k| 47021 | 7724k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 93k| 29k| 8.185452e-12 | 5.000000e+00 | Inf 934.81/935.10 c 902s| 1780k| 46969 | 7766k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 93k| 29k| 8.185452e-12 | 5.000000e+00 | Inf 939.81/940.15 c 907s| 1790k| 46812 | 7808k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 94k| 29k| 8.185452e-12 | 5.000000e+00 | Inf 944.90/945.27 c 912s| 1800k| 46978 | 7852k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 94k| 30k| 8.185452e-12 | 5.000000e+00 | Inf 950.00/950.32 c 916s| 1810k| 46779 | 7896k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 95k| 30k| 8.185452e-12 | 5.000000e+00 | Inf 954.99/955.38 c 921s| 1820k| 46982 | 7939k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 95k| 30k| 8.185452e-12 | 5.000000e+00 | Inf 960.01/960.34 c 926s| 1830k| 46782 | 7980k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 96k| 30k| 8.185452e-12 | 5.000000e+00 | Inf 965.00/965.37 c 931s| 1840k| 47014 | 8022k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 96k| 30k| 8.185452e-12 | 5.000000e+00 | Inf 970.09/970.44 c 936s| 1850k| 46741 | 8066k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 96k| 30k| 8.185452e-12 | 5.000000e+00 | Inf 975.10/975.48 c 941s| 1860k| 46889 | 8108k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 97k| 31k| 8.185452e-12 | 5.000000e+00 | Inf 980.19/980.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 980.19/980.55 c 946s| 1870k| 46962 | 8151k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 97k| 31k| 8.185452e-12 | 5.000000e+00 | Inf 985.30/985.63 c 950s| 1880k| 46828 | 8197k| 28M| 46 | - | 140 | 6 | 7 | 140 | 19 | 22 | 98k| 31k| 8.185452e-12 | 5.000000e+00 | Inf 990.39/990.71 c 955s| 1890k| 46613 | 8242k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 98k| 31k| 8.185452e-12 | 5.000000e+00 | Inf 995.38/995.77 c 960s| 1900k| 46857 | 8285k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 99k| 31k| 8.185452e-12 | 5.000000e+00 | Inf 1000.39/1000.77 c 965s| 1910k| 46760 | 8327k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 99k| 31k| 8.185452e-12 | 5.000000e+00 | Inf 1005.38/1005.78 c 970s| 1920k| 46857 | 8369k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 100k| 31k| 8.185452e-12 | 5.000000e+00 | Inf 1010.39/1010.75 c 975s| 1930k| 46753 | 8412k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 100k| 31k| 8.185452e-12 | 5.000000e+00 | Inf 1015.38/1015.75 c 980s| 1940k| 46750 | 8455k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 101k| 31k| 8.185452e-12 | 5.000000e+00 | Inf 1020.38/1020.75 c 984s| 1950k| 46701 | 8498k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 101k| 32k| 8.185452e-12 | 5.000000e+00 | Inf 1025.48/1025.83 c 989s| 1960k| 46988 | 8541k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 102k| 32k| 8.185452e-12 | 5.000000e+00 | Inf 1030.38/1030.75 c 994s| 1970k| 47242 | 8583k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 102k| 32k| 8.185452e-12 | 5.000000e+00 | Inf 1035.38/1035.72 c 999s| 1980k| 46764 | 8625k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 103k| 32k| 8.185452e-12 | 5.000000e+00 | Inf 1040.37/1040.77 c 1004s| 1990k| 46611 | 8667k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 103k| 32k| 8.185452e-12 | 5.000000e+00 | Inf 1045.38/1045.77 c 1008s| 2000k| 47171 | 8710k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 104k| 32k| 8.185452e-12 | 5.000000e+00 | Inf 1050.37/1050.70 c 1013s| 2010k| 46966 | 8752k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 105k| 32k| 8.185452e-12 | 5.000000e+00 | Inf 1055.37/1055.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1055.37/1055.72 c 1018s| 2020k| 46651 | 8794k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 105k| 32k| 8.185452e-12 | 5.000000e+00 | Inf 1060.46/1060.83 c 1023s| 2030k| 46611 | 8838k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 105k| 33k| 8.185452e-12 | 5.000000e+00 | Inf 1065.47/1065.84 c 1028s| 2040k| 46253 | 8881k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 106k| 33k| 8.185452e-12 | 5.000000e+00 | Inf 1070.46/1070.84 c 1033s| 2050k| 46035 | 8925k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 106k| 33k| 8.185452e-12 | 5.000000e+00 | Inf 1075.46/1075.89 c 1038s| 2060k| 46118 | 8970k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 107k| 33k| 8.185452e-12 | 5.000000e+00 | Inf 1080.56/1080.97 c 1042s| 2070k| 45888 | 9014k| 26M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 107k| 33k| 8.185452e-12 | 5.000000e+00 | Inf 1085.56/1085.99 c 1047s| 2080k| 45735 | 9059k| 26M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 108k| 33k| 8.185452e-12 | 5.000000e+00 | Inf 1090.56/1090.93 c 1052s| 2090k| 45510 | 9102k| 26M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 108k| 33k| 8.185452e-12 | 5.000000e+00 | Inf 1095.76/1096.13 c 1057s| 2100k| 45792 | 9147k| 27M| 46 | - | 140 | 6 | 7 | 0 | 0 | 22 | 109k| 33k| 8.185452e-12 | 5.000000e+00 | Inf 1100.85/1101.26 c 1062s| 2110k| 45652 | 9191k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 109k| 34k| 8.185452e-12 | 5.000000e+00 | Inf 1105.85/1106.29 c 1067s| 2120k| 45727 | 9236k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 110k| 34k| 8.185452e-12 | 5.000000e+00 | Inf 1110.95/1111.31 c 1072s| 2130k| 45607 | 9281k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 110k| 34k| 8.185452e-12 | 5.000000e+00 | Inf 1115.95/1116.38 c 1077s| 2140k| 45566 | 9326k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 111k| 34k| 8.185452e-12 | 5.000000e+00 | Inf 1121.05/1121.45 c 1081s| 2150k| 45713 | 9370k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 111k| 34k| 8.185452e-12 | 5.000000e+00 | Inf 1126.15/1126.53 c 1086s| 2160k| 46223 | 9414k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 112k| 34k| 8.185452e-12 | 5.000000e+00 | Inf 1131.05/1131.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1131.05/1131.47 c 1091s| 2170k| 46033 | 9456k| 27M| 46 | - | 140 | 6 | 7 | 0 | 0 | 22 | 112k| 34k| 8.185452e-12 | 5.000000e+00 | Inf 1136.04/1136.44 c 1096s| 2180k| 45739 | 9500k| 27M| 46 | - | 140 | 6 | 6 | 0 | 0 | 22 | 113k| 34k| 8.185452e-12 | 5.000000e+00 | Inf 1141.14/1141.51 c 1101s| 2190k| 46103 | 9543k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 113k| 35k| 8.185452e-12 | 5.000000e+00 | Inf 1146.04/1146.49 c 1106s| 2200k| 46163 | 9586k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 113k| 35k| 8.185452e-12 | 5.000000e+00 | Inf 1151.04/1151.47 c 1110s| 2210k| 45872 | 9629k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 114k| 35k| 8.185452e-12 | 5.000000e+00 | Inf 1156.14/1156.52 c 1115s| 2220k| 45643 | 9673k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 114k| 35k| 8.185452e-12 | 5.000000e+00 | Inf 1161.24/1161.62 c 1120s| 2230k| 45651 | 9718k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 115k| 35k| 8.185452e-12 | 5.000000e+00 | Inf 1166.13/1166.59 c 1125s| 2240k| 46009 | 9760k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 115k| 35k| 8.185452e-12 | 5.000000e+00 | Inf 1171.14/1171.55 c 1130s| 2250k| 46059 | 9804k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 116k| 35k| 8.185452e-12 | 5.000000e+00 | Inf 1176.13/1176.54 c 1135s| 2260k| 45747 | 9847k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 116k| 35k| 8.185452e-12 | 5.000000e+00 | Inf 1181.23/1181.61 c 1139s| 2270k| 45745 | 9891k| 27M| 46 | - | 140 | 6 | 6 | 0 | 0 | 22 | 116k| 35k| 8.185452e-12 | 5.000000e+00 | Inf 1186.23/1186.65 c 1144s| 2280k| 46079 | 9934k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 117k| 36k| 8.185452e-12 | 5.000000e+00 | Inf 1191.13/1191.58 c 1149s| 2290k| 46188 | 9976k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 117k| 36k| 8.185452e-12 | 5.000000e+00 | Inf 1196.23/1196.65 c 1154s| 2300k| 46364 | 10022k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 118k| 36k| 8.185452e-12 | 5.000000e+00 | Inf 1201.32/1201.70 c 1159s| 2310k| 46826 | 10066k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 118k| 36k| 8.185452e-12 | 5.000000e+00 | Inf 1206.23/1206.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1206.23/1206.67 c 1164s| 2320k| 47040 | 10110k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 119k| 36k| 8.185452e-12 | 5.000000e+00 | Inf 1211.23/1211.62 c 1168s| 2330k| 46838 | 10154k| 28M| 46 | - | 140 | 6 | 6 | 0 | 0 | 22 | 119k| 36k| 8.185452e-12 | 5.000000e+00 | Inf 1216.23/1216.63 c 1173s| 2340k| 46303 | 10199k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 120k| 36k| 8.185452e-12 | 5.000000e+00 | Inf 1221.22/1221.67 c 1178s| 2350k| 45837 | 10244k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 120k| 36k| 8.185452e-12 | 5.000000e+00 | Inf 1226.22/1226.61 c 1183s| 2360k| 45675 | 10287k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 121k| 36k| 8.185452e-12 | 5.000000e+00 | Inf 1231.21/1231.67 c 1188s| 2370k| 45816 | 10333k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 121k| 36k| 8.185452e-12 | 5.000000e+00 | Inf 1236.42/1236.80 c 1193s| 2380k| 46061 | 10379k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 122k| 36k| 8.185452e-12 | 5.000000e+00 | Inf 1241.41/1241.84 c 1198s| 2390k| 46060 | 10424k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 122k| 37k| 8.185452e-12 | 5.000000e+00 | Inf 1246.42/1246.81 c 1202s| 2400k| 45634 | 10470k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 123k| 37k| 8.185452e-12 | 5.000000e+00 | Inf 1251.51/1251.92 c 1207s| 2410k| 45811 | 10518k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 123k| 37k| 8.185452e-12 | 5.000000e+00 | Inf 1256.51/1256.96 c 1212s| 2420k| 45679 | 10563k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 124k| 37k| 8.185452e-12 | 5.000000e+00 | Inf 1261.61/1262.06 c 1217s| 2430k| 46075 | 10609k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 124k| 37k| 8.185452e-12 | 5.000000e+00 | Inf 1266.61/1267.07 c 1222s| 2440k| 46393 | 10654k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 125k| 37k| 8.185452e-12 | 5.000000e+00 | Inf 1271.50/1271.99 c 1227s| 2450k| 46471 | 10698k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 125k| 37k| 8.185452e-12 | 5.000000e+00 | Inf 1276.61/1277.02 c 1231s| 2460k| 47098 | 10742k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 125k| 37k| 8.185452e-12 | 5.000000e+00 | Inf 1281.51/1281.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1281.51/1281.99 c 1236s| 2470k| 47101 | 10786k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 126k| 37k| 8.185452e-12 | 5.000000e+00 | Inf 1286.60/1287.04 c 1241s| 2480k| 47423 | 10833k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 126k| 37k| 8.185452e-12 | 5.000000e+00 | Inf 1291.60/1292.01 c 1246s| 2490k| 48158 | 10876k| 30M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 127k| 38k| 8.185452e-12 | 5.000000e+00 | Inf 1296.59/1297.01 c 1251s| 2500k| 48311 | 10920k| 30M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 127k| 38k| 8.185452e-12 | 5.000000e+00 | Inf 1301.50/1301.98 c 1255s| 2510k| 47953 | 10964k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 128k| 38k| 8.185452e-12 | 5.000000e+00 | Inf 1306.50/1306.93 c 1260s| 2520k| 47634 | 11009k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 128k| 38k| 8.185452e-12 | 5.000000e+00 | Inf 1311.39/1311.86 c 1265s| 2530k| 47228 | 11053k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 129k| 38k| 8.185452e-12 | 5.000000e+00 | Inf 1316.49/1316.96 c 1270s| 2540k| 47274 | 11098k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 129k| 38k| 8.185452e-12 | 5.000000e+00 | Inf 1321.49/1322.00 c 1275s| 2550k| 47237 | 11144k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 130k| 38k| 8.185452e-12 | 5.000000e+00 | Inf 1326.49/1326.99 c 1280s| 2560k| 47281 | 11189k| 29M| 46 | - | 140 | 6 | 6 | 0 | 0 | 22 | 130k| 38k| 8.185452e-12 | 5.000000e+00 | Inf 1331.49/1331.97 c 1284s| 2570k| 47766 | 11234k| 30M| 46 | - | 140 | 6 | 6 | 0 | 0 | 22 | 131k| 38k| 8.185452e-12 | 5.000000e+00 | Inf 1336.49/1336.97 c 1289s| 2580k| 47685 | 11278k| 30M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 131k| 38k| 8.185452e-12 | 5.000000e+00 | Inf 1341.49/1341.97 c 1294s| 2590k| 47560 | 11322k| 30M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 132k| 38k| 8.185452e-12 | 5.000000e+00 | Inf 1346.48/1346.94 c 1299s| 2600k| 47305 | 11368k| 30M| 46 | - | 140 | 6 | 6 | 0 | 0 | 22 | 132k| 39k| 8.185452e-12 | 5.000000e+00 | Inf 1351.39/1351.85 c 1304s| 2610k| 46933 | 11412k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 132k| 39k| 8.185452e-12 | 5.000000e+00 | Inf 1356.38/1356.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1356.38/1356.88 c 1308s| 2620k| 46668 | 11457k| 29M| 46 | - | 140 | 6 | 5 | 0 | 0 | 22 | 133k| 39k| 8.185452e-12 | 5.000000e+00 | Inf 1361.38/1361.83 c 1313s| 2630k| 46489 | 11500k| 29M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 133k| 39k| 8.185452e-12 | 5.000000e+00 | Inf 1366.38/1366.85 c 1318s| 2640k| 46488 | 11546k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 134k| 39k| 8.185452e-12 | 5.000000e+00 | Inf 1371.47/1371.92 c 1323s| 2650k| 46138 | 11591k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 134k| 39k| 8.185452e-12 | 5.000000e+00 | Inf 1376.47/1376.93 c 1328s| 2660k| 45694 | 11635k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 135k| 39k| 8.185452e-12 | 5.000000e+00 | Inf 1381.57/1382.00 c 1333s| 2670k| 46098 | 11679k| 28M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 135k| 39k| 8.185452e-12 | 5.000000e+00 | Inf 1386.57/1387.02 c 1338s| 2680k| 46298 | 11724k| 29M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 136k| 39k| 8.185452e-12 | 5.000000e+00 | Inf 1391.57/1392.05 c 1342s| 2690k| 45918 | 11769k| 28M| 46 | - | 140 | 6 | 7 | 0 | 0 | 22 | 136k| 40k| 8.185452e-12 | 5.000000e+00 | Inf 1396.67/1397.14 c 1347s| 2700k| 45798 | 11814k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 137k| 40k| 8.185452e-12 | 5.000000e+00 | Inf 1401.77/1402.22 c 1352s| 2710k| 46005 | 11860k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 137k| 40k| 8.185452e-12 | 5.000000e+00 | Inf 1406.76/1407.23 c 1357s| 2720k| 45873 | 11907k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 138k| 40k| 8.185452e-12 | 5.000000e+00 | Inf 1411.76/1412.26 c 1362s| 2730k| 45765 | 11953k| 28M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 138k| 40k| 8.185452e-12 | 5.000000e+00 | Inf 1416.77/1417.23 c 1367s| 2740k| 45509 | 11997k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 139k| 40k| 8.185452e-12 | 5.000000e+00 | Inf 1421.87/1422.31 c 1372s| 2750k| 45465 | 12041k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 139k| 40k| 8.185452e-12 | 5.000000e+00 | Inf 1426.86/1427.34 c 1376s| 2760k| 45449 | 12085k| 27M| 46 | 6 | 140 | 8 | 6 | 140 | 19 | 22 | 140k| 40k| 8.185452e-12 | 5.000000e+00 | Inf 1431.77/1432.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1431.77/1432.28 c 1381s| 2770k| 45411 | 12129k| 27M| 46 | - | 140 | 8 | 7 | 0 | 0 | 22 | 141k| 40k| 8.185452e-12 | 5.000000e+00 | Inf 1436.86/1437.38 c 1386s| 2780k| 45273 | 12174k| 27M| 46 | 6 | 140 | 6 | 6 | 140 | 19 | 22 | 141k| 40k| 8.185452e-12 | 5.000000e+00 | Inf 1441.85/1442.34 c 1391s| 2790k| 45167 | 12218k| 27M| 46 | - | 140 | 6 | 6 | 140 | 19 | 22 | 142k| 40k| 8.185452e-12 | 5.000000e+00 | Inf 1446.85/1447.34 c 1396s| 2800k| 44920 | 12263k| 26M| 46 | - | 140 | 8 | 6 | 140 | 19 | 22 | 142k| 41k| 8.185452e-12 | 5.000000e+00 | Inf 1451.85/1452.39 c 1401s| 2810k| 45056 | 12308k| 26M| 46 | 6 | 140 | 8 | 6 | 140 | 19 | 22 | 143k| 41k| 8.185452e-12 | 5.000000e+00 | Inf 1456.96/1457.42 c 1405s| 2820k| 45020 | 12352k| 26M| 46 | - | 140 | 8 | 6 | 140 | 19 | 22 | 143k| 41k| 8.185452e-12 | 5.000000e+00 | Inf 1461.95/1462.49 c 1410s| 2830k| 44768 | 12398k| 26M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 144k| 41k| 8.185452e-12 | 5.000000e+00 | Inf 1466.95/1467.48 c 1415s| 2840k| 44797 | 12442k| 26M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 144k| 41k| 8.185452e-12 | 5.000000e+00 | Inf 1471.95/1472.49 c 1420s| 2850k| 44596 | 12487k| 26M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 145k| 41k| 8.185452e-12 | 5.000000e+00 | Inf 1477.05/1477.57 c 1425s| 2860k| 44599 | 12533k| 26M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 145k| 41k| 8.185452e-12 | 5.000000e+00 | Inf 1482.14/1482.66 c 1430s| 2870k| 44627 | 12579k| 26M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 145k| 41k| 8.185452e-12 | 5.000000e+00 | Inf 1487.24/1487.77 c 1435s| 2880k| 44528 | 12625k| 26M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 146k| 41k| 8.185452e-12 | 5.000000e+00 | Inf 1492.34/1492.82 c 1439s| 2890k| 44373 | 12671k| 26M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 146k| 42k| 8.185452e-12 | 5.000000e+00 | Inf 1497.44/1497.92 c 1444s| 2900k| 44161 | 12717k| 26M| 46 | - | 140 | 9 | 6 | 0 | 0 | 22 | 147k| 42k| 8.185452e-12 | 5.000000e+00 | Inf 1502.54/1503.05 c 1449s| 2910k| 44722 | 12764k| 26M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 147k| 42k| 8.185452e-12 | 5.000000e+00 | Inf 1507.74/1508.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1507.74/1508.22 c 1454s| 2920k| 44715 | 12813k| 26M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 148k| 42k| 8.185452e-12 | 5.000000e+00 | Inf 1512.83/1513.33 c 1459s| 2930k| 44505 | 12859k| 26M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 148k| 42k| 8.185452e-12 | 5.000000e+00 | Inf 1518.03/1518.51 c 1464s| 2940k| 44828 | 12904k| 26M| 46 | - | 140 | 9 | 5 | 140 | 19 | 22 | 149k| 42k| 8.185452e-12 | 5.000000e+00 | Inf 1523.13/1523.66 c 1469s| 2950k| 45079 | 12949k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 149k| 42k| 8.185452e-12 | 5.000000e+00 | Inf 1528.13/1528.69 c 1474s| 2960k| 44932 | 12993k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 150k| 42k| 8.185452e-12 | 5.000000e+00 | Inf 1533.23/1533.73 c 1479s| 2970k| 44899 | 13036k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 150k| 42k| 8.185452e-12 | 5.000000e+00 | Inf 1538.23/1538.72 c 1484s| 2980k| 44669 | 13079k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 151k| 42k| 8.185452e-12 | 5.000000e+00 | Inf 1543.23/1543.76 c 1489s| 2990k| 44946 | 13122k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 151k| 43k| 8.185452e-12 | 5.000000e+00 | Inf 1548.33/1548.81 c 1493s| 3000k| 45234 | 13166k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 152k| 43k| 8.185452e-12 | 5.000000e+00 | Inf 1553.32/1553.82 c 1498s| 3010k| 44692 | 13209k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 152k| 43k| 8.185452e-12 | 5.000000e+00 | Inf 1558.32/1558.84 c 1503s| 3020k| 44576 | 13251k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 153k| 43k| 8.185452e-12 | 5.000000e+00 | Inf 1563.32/1563.84 c 1508s| 3030k| 44540 | 13294k| 27M| 46 | - | 140 | 9 | 6 | 0 | 0 | 22 | 153k| 43k| 8.185452e-12 | 5.000000e+00 | Inf 1568.32/1568.87 c 1513s| 3040k| 44433 | 13337k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 154k| 43k| 8.185452e-12 | 5.000000e+00 | Inf 1573.42/1573.92 c 1518s| 3050k| 44606 | 13380k| 26M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 154k| 43k| 8.185452e-12 | 5.000000e+00 | Inf 1578.42/1578.99 c 1522s| 3060k| 45445 | 13422k| 27M| 46 | - | 140 | 9 | 7 | 140 | 19 | 22 | 155k| 43k| 8.185452e-12 | 5.000000e+00 | Inf 1583.42/1583.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1583.42/1583.92 c 1527s| 3070k| 45801 | 13463k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 155k| 43k| 8.185452e-12 | 5.000000e+00 | Inf 1588.21/1588.78 c 1532s| 3080k| 45924 | 13504k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 155k| 44k| 8.185452e-12 | 5.000000e+00 | Inf 1593.11/1593.68 c 1537s| 3090k| 45814 | 13545k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 156k| 44k| 8.185452e-12 | 5.000000e+00 | Inf 1598.21/1598.71 c 1541s| 3100k| 45904 | 13587k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 156k| 44k| 8.185452e-12 | 5.000000e+00 | Inf 1603.11/1603.66 c 1546s| 3110k| 45925 | 13629k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 157k| 44k| 8.185452e-12 | 5.000000e+00 | Inf 1608.01/1608.58 c 1551s| 3120k| 45819 | 13671k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 157k| 44k| 8.185452e-12 | 5.000000e+00 | Inf 1613.01/1613.52 c 1556s| 3130k| 45578 | 13712k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 158k| 44k| 8.185452e-12 | 5.000000e+00 | Inf 1618.00/1618.50 c 1561s| 3140k| 45551 | 13754k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 158k| 44k| 8.185452e-12 | 5.000000e+00 | Inf 1622.90/1623.42 c 1565s| 3150k| 45465 | 13796k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 159k| 45k| 8.185452e-12 | 5.000000e+00 | Inf 1627.80/1628.34 c 1570s| 3160k| 45294 | 13838k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 159k| 45k| 8.185452e-12 | 5.000000e+00 | Inf 1632.70/1633.25 c 1575s| 3170k| 44899 | 13880k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 159k| 45k| 8.185452e-12 | 5.000000e+00 | Inf 1637.70/1638.22 c 1579s| 3180k| 44834 | 13922k| 27M| 46 | - | 140 | 9 | 4 | 140 | 19 | 22 | 160k| 45k| 8.185452e-12 | 5.000000e+00 | Inf 1642.70/1643.30 c 1584s| 3190k| 45671 | 13965k| 28M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 160k| 45k| 8.185452e-12 | 5.000000e+00 | Inf 1647.70/1648.20 c 1589s| 3200k| 45586 | 14007k| 28M| 46 | - | 140 | 9 | 6 | 0 | 0 | 22 | 161k| 45k| 8.185452e-12 | 5.000000e+00 | Inf 1652.59/1653.17 c 1594s| 3210k| 45948 | 14049k| 28M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 161k| 45k| 8.185452e-12 | 5.000000e+00 | Inf 1657.59/1658.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1657.59/1658.11 c 1599s| 3220k| 45718 | 14091k| 28M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 162k| 45k| 8.185452e-12 | 5.000000e+00 | Inf 1662.49/1663.09 c 1603s| 3230k| 45690 | 14133k| 28M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 162k| 45k| 8.185452e-12 | 5.000000e+00 | Inf 1667.49/1668.02 c 1608s| 3240k| 45630 | 14176k| 28M| 46 | - | 140 | 9 | 7 | 140 | 19 | 22 | 162k| 45k| 8.185452e-12 | 5.000000e+00 | Inf 1672.39/1672.97 c 1613s| 3250k| 45349 | 14218k| 28M| 46 | 5 | 140 | 9 | 6 | 140 | 19 | 22 | 163k| 46k| 8.185452e-12 | 5.000000e+00 | Inf 1677.28/1677.89 c 1618s| 3260k| 45275 | 14260k| 28M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 163k| 46k| 8.185452e-12 | 5.000000e+00 | Inf 1682.29/1682.84 c 1622s| 3270k| 45245 | 14302k| 28M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 164k| 46k| 8.185452e-12 | 5.000000e+00 | Inf 1687.18/1687.76 c 1627s| 3280k| 45248 | 14344k| 28M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 164k| 46k| 8.185452e-12 | 5.000000e+00 | Inf 1692.08/1692.66 c 1632s| 3290k| 45023 | 14387k| 28M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 164k| 46k| 8.185452e-12 | 5.000000e+00 | Inf 1697.08/1697.68 c 1637s| 3300k| 44792 | 14430k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 165k| 46k| 8.185452e-12 | 5.000000e+00 | Inf 1702.08/1702.66 c 1642s| 3310k| 44559 | 14474k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 165k| 46k| 8.185452e-12 | 5.000000e+00 | Inf 1706.98/1707.57 c 1646s| 3320k| 44618 | 14516k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 166k| 46k| 8.185452e-12 | 5.000000e+00 | Inf 1711.98/1712.51 c 1651s| 3330k| 44413 | 14558k| 27M| 46 | - | 140 | 9 | 7 | 140 | 19 | 22 | 166k| 46k| 8.185452e-12 | 5.000000e+00 | Inf 1716.97/1717.51 c 1656s| 3340k| 44382 | 14600k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 167k| 47k| 8.185452e-12 | 5.000000e+00 | Inf 1721.87/1722.46 c 1661s| 3350k| 44168 | 14642k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 167k| 47k| 8.185452e-12 | 5.000000e+00 | Inf 1726.77/1727.39 c 1665s| 3360k| 43993 | 14684k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 168k| 47k| 8.185452e-12 | 5.000000e+00 | Inf 1731.77/1732.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1731.77/1732.35 c 1670s| 3370k| 44063 | 14726k| 26M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 168k| 47k| 8.185452e-12 | 5.000000e+00 | Inf 1736.76/1737.36 c 1675s| 3380k| 43879 | 14769k| 26M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 168k| 47k| 8.185452e-12 | 5.000000e+00 | Inf 1741.77/1742.37 c 1680s| 3390k| 43738 | 14812k| 26M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 169k| 47k| 8.185452e-12 | 5.000000e+00 | Inf 1746.77/1747.36 c 1685s| 3400k| 44426 | 14855k| 26M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 169k| 47k| 8.185452e-12 | 5.000000e+00 | Inf 1751.77/1752.32 c 1689s| 3410k| 44494 | 14898k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 170k| 47k| 8.185452e-12 | 5.000000e+00 | Inf 1756.66/1757.29 c 1694s| 3420k| 44281 | 14941k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 170k| 47k| 8.185452e-12 | 5.000000e+00 | Inf 1761.66/1762.26 c 1699s| 3430k| 44129 | 14984k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 171k| 47k| 8.185452e-12 | 5.000000e+00 | Inf 1766.56/1767.17 c 1704s| 3440k| 44313 | 15026k| 27M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 171k| 48k| 8.185452e-12 | 5.000000e+00 | Inf 1771.66/1772.27 c 1709s| 3450k| 44938 | 15071k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 172k| 48k| 8.185452e-12 | 5.000000e+00 | Inf 1776.75/1777.39 c 1714s| 3460k| 44876 | 15119k| 27M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 172k| 48k| 8.185452e-12 | 5.000000e+00 | Inf 1781.96/1782.50 c 1719s| 3470k| 45335 | 15165k| 28M| 46 | - | 140 | 9 | 6 | 140 | 19 | 22 | 172k| 48k| 8.185452e-12 | 5.000000e+00 | Inf 1787.05/1787.66 c 1724s| 3480k| 46336 | 15212k| 28M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 173k| 48k| 8.185452e-12 | 5.000000e+00 | Inf 1792.05/1792.64 c 1728s| 3490k| 46638 | 15256k| 29M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 173k| 48k| 8.185452e-12 | 5.000000e+00 | Inf 1797.05/1797.66 c 1733s| 3500k| 46589 | 15302k| 29M| 46 | 6 | 140 | 9 | 6 | 140 | 19 | 22 | 174k| 48k| 8.185452e-12 | 5.000000e+00 | Inf 1800.05/1800.61 c 1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.61 c Solving Time (sec) : 1736.07 1800.05/1800.61 c Solving Nodes : 3505758 1800.05/1800.61 c Primal Bound : +5.00000000000000e+00 (33 solutions) 1800.05/1800.61 c Dual Bound : +8.18545231595635e-12 1800.05/1800.61 c Gap : infinite 1800.05/1800.61 c NODE 3505758 1800.05/1800.61 c DUAL BOUND 8.18545e-12 1800.05/1800.61 c PRIMAL BOUND 5 1800.05/1800.61 c GAP 1e+20 1800.05/1800.61 s SATISFIABLE 1800.05/1800.61 v x146 x145 -x144 x143 x142 -x141 -x140 x139 x138 -x137 -x136 -x135 -x134 -x133 x132 x131 x130 x129 x128 -x127 -x126 -x125 -x124 1800.05/1800.61 v x123 -x122 -x121 -x120 x119 -x118 -x117 x116 x115 -x114 x113 -x112 -x111 x110 x109 x108 -x107 x106 -x105 -x104 x103 x102 x101 1800.05/1800.61 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.05/1800.61 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.05/1800.61 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.05/1800.61 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.05/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.61 c Solving Time : 1736.07 1800.05/1800.61 c Original Problem : 1800.05/1800.61 c Problem name : HOME/instance-1869511-1245175726.opb 1800.05/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.61 c Constraints : 12 initial, 12 maximal 1800.05/1800.61 c Presolved Problem : 1800.05/1800.61 c Problem name : t_HOME/instance-1869511-1245175726.opb 1800.05/1800.61 c Variables : 140 (140 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.61 c Constraints : 6 initial, 9 maximal 1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0 1800.05/1800.61 c linear : 0.01 0 6 0 0 0 6 0 0 1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.61 c root node : - 60 - - 60 - - - - 1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.61 c integral : 0 0 0 1837825 0 1430 38788 0 0 3595920 1800.05/1800.61 c linear : 6 6 4490356 6 0 459408 2961665 11 0 0 1800.05/1800.61 c logicor : 0+ 0 122525 0 0 3246 48130 0 0 0 1800.05/1800.61 c countsols : 0 0 0 17 0 0 0 0 0 0 1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.61 c integral : 32.74 0.00 0.00 32.74 0.00 1800.05/1800.61 c linear : 274.46 0.00 274.46 0.00 0.00 1800.05/1800.61 c logicor : 0.48 0.00 0.48 0.00 0.00 1800.05/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.61 c rootredcost : 1.82 31 0 60 1800.05/1800.61 c pseudoobj : 36.02 4502907 12724 60423 1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.61 c propagation : 29.04 475349 174628 196883 46.4 0 0.0 - 1800.05/1800.61 c infeasible LP : 8.14 1307636 0 0 0.0 0 0.0 0 1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.05/1800.61 c applied globally : - - - 9 29.1 - - - 1800.05/1800.61 c applied locally : - - - 174619 46.6 - - - 1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.61 c cut pool : 0.00 5 - - 17 - (maximal pool size: 91) 1800.05/1800.61 c redcost : 30.59 2192569 0 7920601 0 0 1800.05/1800.61 c impliedbounds : 0.00 6 0 0 0 0 1800.05/1800.61 c intobj : 0.00 0 0 0 0 0 1800.05/1800.61 c gomory : 0.01 6 0 0 0 0 1800.05/1800.61 c strongcg : 0.00 6 0 0 31 0 1800.05/1800.61 c cmir : 0.05 6 0 0 26 0 1800.05/1800.61 c flowcover : 0.02 6 0 0 41 0 1800.05/1800.61 c clique : 0.00 1 0 0 0 0 1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.61 c mcf : 0.00 1 0 0 0 0 1800.05/1800.61 c Pricers : Time Calls Vars 1800.05/1800.61 c problem variables: 0.00 0 0 1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.61 c relpscost : 30.95 1837808 1430 38788 0 0 3595920 1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.61 c inference : 0.00 0 0 0 0 0 0 1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.61 c random : 0.00 0 0 0 0 0 0 1800.05/1800.61 c Primal Heuristics : Time Calls Found 1800.05/1800.61 c LP solutions : 0.06 - 17 1800.05/1800.61 c pseudo solutions : 0.00 - 0 1800.05/1800.61 c intshifting : 0.08 0 0 1800.05/1800.61 c feaspump : 0.26 1 0 1800.05/1800.61 c oneopt : 1.59 31 0 1800.05/1800.61 c crossover : 8.27 7 1 1800.05/1800.61 c fracdiving : 8.49 3378 4 1800.05/1800.61 c veclendiving : 7.18 3379 0 1800.05/1800.61 c pscostdiving : 8.62 3379 2 1800.05/1800.61 c linesearchdiving : 7.00 3379 3 1800.05/1800.61 c coefdiving : 10.43 3379 3 1800.05/1800.61 c guideddiving : 7.44 3379 2 1800.05/1800.61 c objpscostdiving : 5.87 1690 1 1800.05/1800.61 c simplerounding : 1.15 0 0 1800.05/1800.61 c rounding : 1.94 20374 0 1800.05/1800.61 c shifting : 5.25 6013 0 1800.05/1800.61 c fixandinfer : 0.00 0 0 1800.05/1800.61 c intdiving : 0.00 0 0 1800.05/1800.61 c actconsdiving : 0.00 0 0 1800.05/1800.61 c rootsoldiving : 7.62 1689 0 1800.05/1800.61 c octane : 0.00 0 0 1800.05/1800.61 c rens : 0.07 1 0 1800.05/1800.61 c rins : 0.00 0 0 1800.05/1800.61 c localbranching : 0.00 0 0 1800.05/1800.61 c mutation : 0.00 0 0 1800.05/1800.61 c dins : 0.00 0 0 1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.61 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.61 c dual LP : 1057.46 3347228 14835592 4.43 14029.46 1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.61 c diving/probing LP: 43.75 166840 493605 2.96 11282.40 1800.05/1800.61 c strong branching : 12.95 48246 192667 3.99 14877.76 1800.05/1800.61 c (at root node) : - 19 1087 57.21 - 1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.61 c B&B Tree : 1800.05/1800.61 c number of runs : 1 1800.05/1800.61 c nodes : 3505758 1800.05/1800.61 c nodes (total) : 3505758 1800.05/1800.61 c nodes left : 46604 1800.05/1800.61 c max depth : 46 1800.05/1800.61 c max depth (total): 46 1800.05/1800.61 c backtracks : 962946 (27.5%) 1800.05/1800.61 c delayed cutoffs : 32680 1800.05/1800.61 c repropagations : 52055 (183361 domain reductions, 32144 cutoffs) 1800.05/1800.61 c avg switch length: 4.73 1800.05/1800.61 c switching time : 66.14 1800.05/1800.61 c Solution : 1800.05/1800.61 c Solutions found : 33 (31 improvements) 1800.05/1800.61 c Primal Bound : +5.00000000000000e+00 (in run 1, after 308581 nodes, 184.15 seconds, depth 39, found by <relaxation>) 1800.05/1800.61 c Dual Bound : +8.18545231595635e-12 1800.05/1800.61 c Gap : infinite 1800.05/1800.61 c Root Dual Bound : +0.00000000000000e+00 1800.15/1800.78 c Time complete: 1800.22.
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869511-1245175726/watcher-1869511-1245175726 -o /tmp/evaluation-result-1869511-1245175726/solver-1869511-1245175726 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869511-1245175726.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.99 0.97 0.98 3/64 8703 /proc/meminfo: memFree=1849144/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=5812 CPUtime=0 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 185169811 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/8703/statm: 1453 501 332 1256 0 192 0 [startup+0.0632629 s] /proc/loadavg: 0.99 0.97 0.98 3/64 8703 /proc/meminfo: memFree=1849144/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=15164 CPUtime=0.05 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 2986 0 0 0 5 0 0 0 18 0 1 0 185169811 15527936 2616 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 3791 2616 667 1256 0 2530 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15164 [startup+0.101268 s] /proc/loadavg: 0.99 0.97 0.98 3/64 8703 /proc/meminfo: memFree=1849144/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=15336 CPUtime=0.09 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 3044 0 0 0 8 1 0 0 18 0 1 0 185169811 15704064 2674 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 3834 2674 667 1256 0 2573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15336 [startup+0.301288 s] /proc/loadavg: 0.99 0.97 0.98 3/64 8703 /proc/meminfo: memFree=1849144/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=16300 CPUtime=0.29 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 4787 0 0 0 27 2 0 0 19 0 1 0 185169811 16691200 2747 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 4075 2747 691 1256 0 2814 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16300 [startup+0.701332 s] /proc/loadavg: 0.99 0.97 0.98 3/64 8703 /proc/meminfo: memFree=1849144/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=16596 CPUtime=0.7 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 4882 0 0 0 66 4 0 0 22 0 1 0 185169811 16994304 2842 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 4149 2842 699 1256 0 2888 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 16596 [startup+1.50142 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1840688/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=17040 CPUtime=1.49 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 6270 0 0 0 142 7 0 0 25 0 1 0 185169811 17448960 2840 1992294400 4194304 9342243 548682068736 18446744073709551615 6018223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 4260 2840 699 1256 0 2999 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17040 [startup+3.10159 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1833584/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=17624 CPUtime=3.09 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 8160 0 0 0 294 15 0 0 25 0 1 0 185169811 18046976 3044 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 4406 3044 700 1256 0 3145 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17624 [startup+6.30194 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1838768/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=18612 CPUtime=6.3 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 8325 0 0 0 606 24 0 0 25 0 1 0 185169811 19058688 3209 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 4653 3209 700 1256 0 3392 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 18612 [startup+12.7016 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1833408/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=23472 CPUtime=12.69 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 9983 0 0 0 1225 44 0 0 25 0 1 0 185169811 24035328 4867 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 5868 4867 700 1256 0 4607 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23472 [startup+25.501 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1826624/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=34616 CPUtime=25.48 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 15744 0 0 0 2464 84 0 0 25 0 1 0 185169811 35446784 7213 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 8654 7213 700 1256 0 7393 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34616 [startup+51.1018 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1818112/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=36116 CPUtime=51.07 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 19313 0 0 0 4933 174 0 0 25 0 1 0 185169811 36982784 7786 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 9029 7786 700 1256 0 7768 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36116 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1810944/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=44292 CPUtime=102.25 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 25921 0 0 0 9863 362 0 0 25 0 1 0 185169811 45355008 10188 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 11073 10188 700 1256 0 9812 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 44292 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1805312/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=49472 CPUtime=162.23 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 27312 0 0 0 15661 562 0 0 25 0 1 0 185169811 50659328 11579 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 12368 11579 700 1256 0 11107 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49472 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1801472/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=52836 CPUtime=222.22 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29288 0 0 0 21443 779 0 0 25 0 1 0 185169811 54104064 12462 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13209 12462 700 1256 0 11948 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 52836 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1801280/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=53268 CPUtime=282.2 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29366 0 0 0 27236 984 0 0 25 0 1 0 185169811 54546432 12540 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13317 12540 700 1256 0 12056 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 53268 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1799936/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=54580 CPUtime=342.18 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29692 0 0 0 33026 1192 0 0 25 0 1 0 185169811 55889920 12866 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13645 12866 700 1256 0 12384 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 54580 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1799808/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55124 CPUtime=402.17 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29828 0 0 0 38807 1410 0 0 25 0 1 0 185169811 56446976 13002 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13781 13002 700 1256 0 12520 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 55124 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1799232/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55124 CPUtime=462.14 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29828 0 0 0 44585 1629 0 0 25 0 1 0 185169811 56446976 13002 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13781 13002 700 1256 0 12520 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 55124 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1799232/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55124 CPUtime=522.13 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29828 0 0 0 50377 1836 0 0 25 0 1 0 185169811 56446976 13002 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13781 13002 700 1256 0 12520 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 55124 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1799168/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55124 CPUtime=582.11 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29828 0 0 0 56153 2058 0 0 25 0 1 0 185169811 56446976 13002 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13781 13002 700 1256 0 12520 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 55124 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1799168/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55124 CPUtime=642.1 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29828 0 0 0 61939 2271 0 0 25 0 1 0 185169811 56446976 13002 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13781 13002 700 1256 0 12520 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 55124 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1798784/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55124 CPUtime=882.02 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29828 0 0 0 85085 3117 0 0 25 0 1 0 185169811 56446976 13002 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13781 13002 700 1256 0 12520 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 55124 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1798720/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55124 CPUtime=942.01 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29828 0 0 0 90871 3330 0 0 25 0 1 0 185169811 56446976 13002 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13781 13002 700 1256 0 12520 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 55124 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1798656/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55124 CPUtime=1001.98 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29828 0 0 0 96656 3542 0 0 25 0 1 0 185169811 56446976 13002 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13781 13002 700 1256 0 12520 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 55124 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1798080/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1061.96 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 102438 3758 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 55636 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1798016/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1121.95 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 108227 3968 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 55636 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1797888/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1181.93 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 114015 4178 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 55636 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1797760/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1241.91 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 119800 4391 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 55636 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1797696/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1301.9 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 125580 4610 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 55636 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1797632/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1361.88 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 131366 4822 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 55636 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1797568/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1421.87 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 137152 5035 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 55636 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1797568/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1481.84 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 142931 5253 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 55636 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1797504/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1541.83 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 148709 5474 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 55636 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1797504/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1601.81 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 154492 5689 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 55636 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1797376/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1661.79 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 160270 5909 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 55636 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1797376/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1721.77 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 166052 6125 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 55636 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1797184/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1781.75 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 171841 6334 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 55636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1797184/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1800.05 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29956 0 0 0 173607 6398 0 0 25 0 1 0 185169811 56971264 13130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8703/statm: 13909 13130 700 1256 0 12648 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 55636 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/65 8704 /proc/meminfo: memFree=1797184/2055920 swapFree=4191900/4192956 [pid=8703] ppid=8701 vsize=55636 CPUtime=1800.15 /proc/8703/stat : 8703 (pbscip.linux.x8) R 8701 8703 8666 0 -1 4194304 29957 0 0 0 173617 6398 0 0 25 0 1 0 185169811 56971264 13131 1992294400 4194304 9342243 548682068736 18446744073709551615 5855024 0 0 4096 0 0 0 0 17 0 0 0 /proc/8703/statm: 13909 13131 701 1256 0 12648 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 55636 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.23 CPU user time (s): 1736.24 CPU system time (s): 63.9973 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 59596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1736.24 system time used= 63.9973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29960 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= 3384 runsolver used 1.26381 second user time and 3.77543 second system time The end
Begin job on node37 at 2009-06-16 20:08:46 IDJOB=1869511 IDBENCH=2910 IDSOLVER=684 FILE ID=node37/1869511-1245175726 PBS_JOBID= 9363943 Free space on /tmp= 66168 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_3.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-1869511-1245175726/watcher-1869511-1245175726 -o /tmp/evaluation-result-1869511-1245175726/solver-1869511-1245175726 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869511-1245175726.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED=1394545475 node37.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.232 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.232 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: 1849560 kB Buffers: 35888 kB Cached: 93324 kB SwapCached: 260 kB Active: 37648 kB Inactive: 104716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1849560 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 11756 kB Writeback: 0 kB Mapped: 21668 kB Slab: 50060 kB Committed_AS: 166636 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= 66156 MiB End job on node37 at 2009-06-16 20:38:49