Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | SAT (TO) | 17 | 1802.13 | 1802.8 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 1802.13 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 32 |
| Optimality of the best value was proved | NO |
| Number of variables | 198 |
| Total number of constraints | 16 |
| 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 | 16 |
| Minimum length of a constraint | 85 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| 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 | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| 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 SoPlex 1.4.1 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c read problem <HOME/instance-1869530-1245176836.opb> 0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 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, 8 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) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.02/0.03 c (0.0s) probing: 101/190 (53.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.02/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings 0.02/0.03 c presolving (3 rounds): 0.02/0.03 c 8 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.02/0.03 c 0 implications, 0 cliques 0.02/0.03 c presolved problem has 190 variables (190 bin, 0 int, 0 impl, 0 cont) and 8 constraints 0.02/0.03 c 8 constraints of type <linear> 0.02/0.03 c transformed objective value is always integral (scale: 1) 0.02/0.03 c Presolving Time: 0.02 0.02/0.03 c OPT-LIN 0.02/0.03 c ----------------------------------------------------------------------------------------------- 0.02/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.02/0.03 c limits/memory = c 1620 0.02/0.03 c # maximal time in seconds to run 0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.02/0.03 c limits/time = c 1791 0.02/0.03 c # frequency for displaying node information lines 0.02/0.03 c # [type: int, range: [-1,2147483647], default: 100] 0.02/0.03 c display/freq = c 10000 0.02/0.03 c ----------------------------------------------------------------------------------------------- 0.02/0.03 c start solving problem 0.02/0.03 c 0.02/0.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.02/0.04 c 0.0s| 1 | 0 | 127 | 610k| 0 | 8 | 190 | 8 | 8 | 190 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.02/0.05 c 0.0s| 1 | 0 | 182 | 742k| 0 | 16 | 190 | 8 | 8 | 190 | 17 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf 0.02/0.07 c 0.1s| 1 | 0 | 185 | 765k| 0 | 18 | 190 | 8 | 8 | 190 | 19 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.10 c 0.1s| 1 | 0 | 192 | 784k| 0 | 18 | 190 | 8 | 8 | 190 | 23 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.12 c 0.1s| 1 | 0 | 196 | 793k| 0 | 19 | 190 | 8 | 8 | 190 | 26 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.15 c 0.1s| 1 | 0 | 203 | 806k| 0 | 20 | 190 | 8 | 8 | 190 | 28 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.18 c 0.2s| 1 | 0 | 208 | 812k| 0 | 22 | 190 | 8 | 8 | 190 | 30 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 0.29/0.38 c 0.3s| 1 | 2 | 208 | 813k| 0 | 22 | 190 | 8 | 8 | 190 | 30 | 22 | 0 | 22 | 0.000000e+00 | -- | Inf 0.59/0.65 o 1360 0.59/0.65 c p 0.6s| 59 | 60 | 626 | 915k| 53 | - | 190 | 8 | 2 | 190 | 25 | 22 | 2 | 396 | 0.000000e+00 | 1.360000e+03 | Inf 0.69/0.74 o 946 0.69/0.74 c f 0.7s| 108 | 106 | 847 | 945k| 59 | - | 190 | 8 | 3 | 190 | 25 | 22 | 2 | 548 | 0.000000e+00 | 9.460000e+02 | Inf 0.89/0.92 o 944 0.89/0.92 c l 0.8s| 248 | 242 | 1580 |1009k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 5 | 763 | 0.000000e+00 | 9.440000e+02 | Inf 0.89/0.97 o 525 0.89/0.97 c g 0.9s| 291 | 248 | 1881 |1030k| 70 | - | 190 | 8 | 4 | 190 | 25 | 22 | 8 | 806 | 0.000000e+00 | 5.250000e+02 | Inf 0.89/0.98 o 523 0.89/0.98 c * 0.9s| 303 | 255 | 1939 |1019k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 8 | 819 | 0.000000e+00 | 5.230000e+02 | Inf 1.19/1.27 o 228 1.19/1.27 c p 1.2s| 597 | 497 | 4230 |1141k| 70 | - | 190 | 8 | 4 | 190 | 25 | 22 | 15 | 869 | 0.000000e+00 | 2.280000e+02 | Inf 1.19/1.28 o 226 1.19/1.28 c * 1.2s| 606 | 498 | 4267 |1122k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 15 | 880 | 0.000000e+00 | 2.260000e+02 | Inf 1.19/1.29 o 224 1.19/1.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.19/1.29 c * 1.2s| 609 | 497 | 4268 |1125k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 15 | 889 | 0.000000e+00 | 2.240000e+02 | Inf 1.19/1.29 o 222 1.19/1.29 c * 1.2s| 610 | 495 | 4268 |1127k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 15 | 891 | 0.000000e+00 | 2.220000e+02 | Inf 1.39/1.41 o 221 1.39/1.41 c * 1.3s| 763 | 640 | 5050 |1198k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 19 | 910 | 0.000000e+00 | 2.210000e+02 | Inf 1.39/1.45 o 218 1.39/1.45 c * 1.3s| 788 | 654 | 5158 |1209k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 21 | 968 | 0.000000e+00 | 2.180000e+02 | Inf 1.59/1.63 o 216 1.59/1.63 c * 1.5s| 1002 | 854 | 6500 |1312k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 27 |1017 | 0.000000e+00 | 2.160000e+02 | Inf 1.59/1.63 o 214 1.59/1.63 c * 1.5s| 1003 | 851 | 6502 |1313k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 27 |1017 | 0.000000e+00 | 2.140000e+02 | Inf 2.89/2.98 o 213 2.89/2.98 c * 2.8s| 2500 | 2322 | 17230 |1986k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 75 |1082 | 0.000000e+00 | 2.130000e+02 | Inf 4.39/4.49 o 150 4.39/4.49 c g 4.2s| 4062 | 3780 | 29450 |2583k| 70 | - | 190 | 8 | 2 | 190 | 25 | 22 | 121 |1103 | 0.000000e+00 | 1.500000e+02 | Inf 5.28/5.34 o 114 5.28/5.34 c c 5.0s| 4934 | 4500 | 36193 |2909k| 70 | - | 190 | 8 | 4 | 190 | 25 | 22 | 154 |1118 | 0.000000e+00 | 1.140000e+02 | Inf 10.29/10.33 c 9.7s| 10000 | 9391 | 75040 |5090k| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 383 |1195 | 0.000000e+00 | 1.140000e+02 | Inf 18.08/18.13 o 113 18.08/18.13 c v17.1s| 16697 | 15518 |124348 |8067k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 668 |1530 | 0.000000e+00 | 1.130000e+02 | Inf 18.89/18.93 o 111 18.89/18.93 c *17.8s| 17594 | 16298 |130648 |8451k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 704 |1562 | 0.000000e+00 | 1.110000e+02 | Inf 19.79/19.86 o 109 19.79/19.86 c *18.7s| 18593 | 17166 |137912 |8862k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 733 |1618 | 0.000000e+00 | 1.090000e+02 | Inf 19.79/19.86 o 107 19.79/19.86 c l18.7s| 18597 | 17150 |137917 |8841k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 733 |1635 | 0.000000e+00 | 1.070000e+02 | Inf 19.99/20.06 o 103 19.99/20.06 c g18.9s| 18802 | 17269 |139334 |8853k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 743 |1655 | 0.000000e+00 | 1.030000e+02 | Inf 21.18/21.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 21.18/21.27 c 20.1s| 20000 | 18337 |148890 |9373k| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 796 |1721 | 0.000000e+00 | 1.030000e+02 | Inf 22.49/22.59 o 101 22.49/22.59 c *21.3s| 21394 | 19452 |158854 |9946k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 852 |1790 | 0.000000e+00 | 1.010000e+02 | Inf 22.58/22.60 o 99 22.58/22.60 c f21.3s| 21396 | 19413 |158862 |9894k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 854 |1808 | 0.000000e+00 | 9.900000e+01 | Inf 23.09/23.18 o 98 23.09/23.18 c *21.9s| 21885 | 19809 |162779 | 10M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 895 |1829 | 0.000000e+00 | 9.800000e+01 | Inf 25.98/26.07 o 96 25.98/26.07 c *24.6s| 25162 | 22342 |185073 | 11M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 |1059 |2033 | 0.000000e+00 | 9.600000e+01 | Inf 26.09/26.10 o 93 26.09/26.10 c g24.6s| 25191 | 22278 |185268 | 11M| 70 | - | 190 | 9 | 1 | 190 | 25 | 22 |1063 |2041 | 0.000000e+00 | 9.300000e+01 | Inf 26.09/26.15 o 89 26.09/26.15 c g24.7s| 25242 | 22207 |185710 | 11M| 70 | - | 190 | 9 | 1 | 190 | 25 | 22 |1070 |2050 | 0.000000e+00 | 8.900000e+01 | Inf 26.18/26.22 o 87 26.18/26.22 c *24.7s| 25303 | 22179 |186134 | 11M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 |1071 |2065 | 0.000000e+00 | 8.700000e+01 | Inf 26.18/26.22 o 85 26.18/26.22 c *24.8s| 25304 | 22094 |186137 | 11M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 |1071 |2065 | 0.000000e+00 | 8.500000e+01 | Inf 26.18/26.23 o 84 26.18/26.23 c *24.8s| 25313 | 22051 |186206 | 11M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 |1071 |2072 | 0.000000e+00 | 8.400000e+01 | Inf 26.48/26.55 o 82 26.48/26.55 c *25.1s| 25594 | 22215 |188683 | 11M| 70 | - | 190 | 9 | 1 | 190 | 25 | 22 |1087 |2091 | 0.000000e+00 | 8.200000e+01 | Inf 26.48/26.56 o 80 26.48/26.56 c c25.1s| 25596 | 22119 |188693 | 11M| 70 | - | 190 | 9 | 1 | 190 | 25 | 22 |1088 |2099 | 0.000000e+00 | 8.000000e+01 | Inf 27.29/27.36 o 68 27.29/27.36 c C25.8s| 26196 | 22023 |194056 | 10M| 70 | 8 | 190 | 9 | 9 | 190 | 25 | 22 |1133 |2114 | 0.000000e+00 | 6.800000e+01 | Inf 30.87/30.98 c 29.2s| 30000 | 24548 |221559 | 12M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |1374 |2297 | 0.000000e+00 | 6.800000e+01 | Inf 32.28/32.35 o 66 32.28/32.35 c *30.5s| 31743 | 25700 |231985 | 13M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |1446 |2372 | 0.000000e+00 | 6.600000e+01 | Inf 32.28/32.35 o 64 32.28/32.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 32.28/32.35 c *30.5s| 31744 | 25252 |231987 | 12M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |1446 |2372 | 0.000000e+00 | 6.400000e+01 | Inf 38.97/39.04 c 36.9s| 40000 | 31024 |284849 | 16M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 |1833 |2803 | 0.000000e+00 | 6.400000e+01 | Inf 46.87/46.97 c 44.4s| 50000 | 37776 |349381 | 21M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |2312 |3204 | 0.000000e+00 | 6.400000e+01 | Inf 56.46/56.59 o 63 56.46/56.59 c *53.5s| 59407 | 43761 |411852 | 25M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |2789 |3541 | 0.000000e+00 | 6.300000e+01 | Inf 56.46/56.59 o 61 56.46/56.59 c *53.5s| 59408 | 43523 |411853 | 24M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |2789 |3541 | 0.000000e+00 | 6.100000e+01 | Inf 56.96/57.09 c 53.9s| 60000 | 43912 |415706 | 24M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |2818 |3563 | 0.000000e+00 | 6.100000e+01 | Inf 60.17/60.23 o 59 60.17/60.23 c *56.9s| 63821 | 46139 |441133 | 26M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |2974 |3683 | 0.000000e+00 | 5.900000e+01 | Inf 60.17/60.23 o 57 60.17/60.23 c *56.9s| 63822 | 45772 |441133 | 25M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |2974 |3685 | 0.000000e+00 | 5.700000e+01 | Inf 64.96/65.05 c 61.5s| 70000 | 49765 |479402 | 28M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |3260 |3894 | 0.000000e+00 | 5.700000e+01 | Inf 71.86/71.96 c 68.0s| 80000 | 55235 |537832 | 32M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |3775 |4248 | 0.000000e+00 | 5.700000e+01 | Inf 72.86/72.93 o 56 72.86/72.93 c *68.9s| 81289 | 55703 |545772 | 32M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |3839 |4269 | 0.000000e+00 | 5.600000e+01 | Inf 79.46/79.52 c 75.2s| 90000 | 60699 |598621 | 36M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 |4301 |4507 | 0.000000e+00 | 5.600000e+01 | Inf 86.76/86.90 c 82.2s|100000 | 66430 |659427 | 40M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 |4813 |4789 | 0.000000e+00 | 5.600000e+01 | Inf 94.56/94.60 c 89.5s|110000 | 72429 |722462 | 44M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |5332 |5020 | 0.000000e+00 | 5.600000e+01 | Inf 98.45/98.58 o 54 98.45/98.58 c *93.3s|115511 | 74759 |755719 | 45M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |5628 |5170 | 0.000000e+00 | 5.400000e+01 | Inf 102.05/102.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 102.05/102.19 c 96.7s|120000 | 77498 |784046 | 47M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |5838 |5266 | 0.000000e+00 | 5.400000e+01 | Inf 106.45/106.55 o 53 106.45/106.55 c * 101s|123365 | 78935 |804708 | 48M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |6004 |5352 | 0.000000e+00 | 5.300000e+01 | Inf 106.45/106.57 o 51 106.45/106.57 c v 101s|123370 | 78117 |804738 | 47M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |6007 |5366 | 0.000000e+00 | 5.100000e+01 | Inf 109.65/109.72 o 50 109.65/109.72 c * 104s|127595 | 80048 |830378 | 48M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |6216 |5446 | 0.000000e+00 | 5.000000e+01 | Inf 109.65/109.73 o 48 109.65/109.73 c * 104s|127596 | 78437 |830380 | 46M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |6216 |5446 | 0.000000e+00 | 4.800000e+01 | Inf 114.54/114.63 c 108s|130000 | 79669 |844586 | 47M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |6349 |5503 | 0.000000e+00 | 4.800000e+01 | Inf 119.64/119.77 o 46 119.64/119.77 c * 113s|136498 | 82689 |885526 | 48M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |6613 |5656 | 0.000000e+00 | 4.600000e+01 | Inf 119.64/119.78 o 44 119.64/119.78 c * 113s|136499 | 81785 |885526 | 47M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |6613 |5658 | 0.000000e+00 | 4.400000e+01 | Inf 122.44/122.53 c 116s|140000 | 83906 |906871 | 49M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |6769 |5730 | 0.000000e+00 | 4.400000e+01 | Inf 129.24/129.36 c 122s|150000 | 88587 |962745 | 52M| 70 | 8 | 190 | 9 | 9 | 190 | 25 | 22 |7245 |5951 | 0.000000e+00 | 4.400000e+01 | Inf 135.83/135.93 c 128s|160000 | 93409 | 1017k| 56M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |7723 |6181 | 0.000000e+00 | 4.400000e+01 | Inf 142.63/142.75 c 135s|170000 | 98211 | 1073k| 59M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 |8160 |6397 | 0.000000e+00 | 4.400000e+01 | Inf 143.04/143.13 o 42 143.04/143.13 c * 135s|170571 | 97394 | 1076k| 58M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 |8188 |6402 | 0.000000e+00 | 4.200000e+01 | Inf 149.13/149.25 c 141s|180000 |101610 | 1127k| 62M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |8631 |6619 | 0.000000e+00 | 4.200000e+01 | Inf 154.23/154.39 o 41 154.23/154.39 c * 146s|187252 |104895 | 1167k| 64M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |8928 |6779 | 0.000000e+00 | 4.100000e+01 | Inf 154.23/154.39 o 39 154.23/154.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 154.23/154.39 c * 146s|187253 |103515 | 1167k| 62M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |8928 |6779 | 0.000000e+00 | 3.900000e+01 | Inf 156.03/156.20 c 148s|190000 |104814 | 1181k| 63M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 |9054 |6826 | 0.000000e+00 | 3.900000e+01 | Inf 158.23/158.32 o 38 158.23/158.32 c * 150s|193105 |105549 | 1198k| 63M| 70 | - | 190 | 10 | 0 | 190 | 25 | 22 |9186 |6885 | 0.000000e+00 | 3.800000e+01 | Inf 162.83/162.94 c 154s|200000 |108847 | 1235k| 66M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 |9510 |7044 | 0.000000e+00 | 3.800000e+01 | Inf 167.72/167.84 o 37 167.72/167.84 c * 159s|206918 |111780 | 1273k| 67M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |9786 |7176 | 0.000000e+00 | 3.700000e+01 | Inf 167.72/167.85 o 35 167.72/167.85 c * 159s|206919 |110331 | 1273k| 66M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |9786 |7178 | 0.000000e+00 | 3.500000e+01 | Inf 173.92/174.07 c 164s|210000 |111671 | 1290k| 67M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |9918 |7231 | 0.000000e+00 | 3.500000e+01 | Inf 180.42/180.55 c 170s|220000 |116090 | 1342k| 70M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 10k|7388 | 0.000000e+00 | 3.500000e+01 | Inf 187.12/187.21 c 177s|230000 |120833 | 1393k| 73M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 10k|7562 | 0.000000e+00 | 3.500000e+01 | Inf 191.11/191.30 o 34 191.11/191.30 c * 181s|236245 |122998 | 1426k| 74M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 | 11k|7655 | 0.000000e+00 | 3.400000e+01 | Inf 193.62/193.76 c 183s|240000 |124647 | 1445k| 76M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 11k|7708 | 0.000000e+00 | 3.400000e+01 | Inf 200.02/200.18 c 189s|250000 |128937 | 1496k| 79M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 11k|7909 | 0.000000e+00 | 3.400000e+01 | Inf 206.61/206.70 c 195s|260000 |133461 | 1547k| 82M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 12k|8082 | 0.000000e+00 | 3.400000e+01 | Inf 212.61/212.76 c 201s|270000 |137341 | 1598k| 86M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 12k|8278 | 0.000000e+00 | 3.400000e+01 | Inf 218.71/218.88 c 207s|280000 |141433 | 1647k| 89M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 13k|8443 | 0.000000e+00 | 3.400000e+01 | Inf 224.71/224.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 224.71/224.84 c 212s|290000 |144808 | 1696k| 92M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 13k|8620 | 0.000000e+00 | 3.400000e+01 | Inf 231.20/231.34 c 219s|300000 |149292 | 1750k| 95M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 13k|8792 | 0.000000e+00 | 3.400000e+01 | Inf 237.10/237.26 c 224s|310000 |152527 | 1799k| 98M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 14k|8961 | 0.000000e+00 | 3.400000e+01 | Inf 243.30/243.47 c 230s|320000 |156713 | 1849k| 101M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 14k|9117 | 0.000000e+00 | 3.400000e+01 | Inf 244.79/244.94 o 33 244.79/244.94 c * 232s|322428 |156714 | 1860k| 101M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 14k|9156 | 0.000000e+00 | 3.300000e+01 | Inf 251.09/251.20 c 237s|330000 |159102 | 1897k| 103M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 15k|9289 | 0.000000e+00 | 3.300000e+01 | Inf 256.89/257.02 c 243s|340000 |162640 | 1944k| 106M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 15k|9454 | 0.000000e+00 | 3.300000e+01 | Inf 261.59/261.71 o 31 261.59/261.71 c * 247s|347808 |157610 | 1982k| 102M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 15k|9609 | 0.000000e+00 | 3.100000e+01 | Inf 261.59/261.72 o 29 261.59/261.72 c * 247s|347809 |156011 | 1982k| 99M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 15k|9609 | 0.000000e+00 | 2.900000e+01 | Inf 262.89/263.02 c 249s|350000 |156788 | 1994k| 100M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 16k|9642 | 0.000000e+00 | 2.900000e+01 | Inf 268.79/268.96 c 254s|360000 |160184 | 2046k| 102M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 16k|9797 | 0.000000e+00 | 2.900000e+01 | Inf 274.79/274.91 c 260s|370000 |164045 | 2099k| 105M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 16k|9929 | 0.000000e+00 | 2.900000e+01 | Inf 280.88/281.00 c 266s|380000 |167783 | 2151k| 108M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 17k| 10k| 0.000000e+00 | 2.900000e+01 | Inf 285.98/286.11 o 27 285.98/286.11 c * 270s|388900 |168661 | 2196k| 107M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 17k| 10k| 0.000000e+00 | 2.700000e+01 | Inf 288.88/289.03 c 273s|390000 |168972 | 2202k| 107M| 70 | - | 190 | 8 | 7 | 190 | 25 | 22 | 17k| 10k| 0.000000e+00 | 2.700000e+01 | Inf 295.08/295.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 295.08/295.22 c 279s|400000 |173263 | 2254k| 110M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 18k| 10k| 0.000000e+00 | 2.700000e+01 | Inf 300.87/301.02 c 284s|410000 |176684 | 2304k| 113M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 18k| 10k| 0.000000e+00 | 2.700000e+01 | Inf 306.57/306.71 c 290s|420000 |179734 | 2354k| 115M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 18k| 10k| 0.000000e+00 | 2.700000e+01 | Inf 309.88/310.05 o 25 309.88/310.05 c * 293s|425945 |178986 | 2384k| 113M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 19k| 10k| 0.000000e+00 | 2.500000e+01 | Inf 312.18/312.31 c 295s|430000 |180137 | 2404k| 114M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 19k| 10k| 0.000000e+00 | 2.500000e+01 | Inf 317.87/318.04 c 301s|440000 |183385 | 2453k| 116M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 19k| 10k| 0.000000e+00 | 2.500000e+01 | Inf 323.77/323.93 c 306s|450000 |186955 | 2504k| 119M| 70 | 8 | 190 | 9 | 9 | 190 | 25 | 22 | 20k| 11k| 0.000000e+00 | 2.500000e+01 | Inf 331.66/331.89 c 314s|460000 |190609 | 2554k| 121M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 20k| 11k| 0.000000e+00 | 2.500000e+01 | Inf 337.17/337.36 c 319s|470000 |193273 | 2602k| 123M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 20k| 11k| 0.000000e+00 | 2.500000e+01 | Inf 342.76/342.91 c 324s|480000 |196221 | 2651k| 126M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 21k| 11k| 0.000000e+00 | 2.500000e+01 | Inf 348.46/348.63 c 330s|490000 |199466 | 2699k| 128M| 70 | - | 190 | 8 | 9 | 0 | 0 | 22 | 21k| 11k| 0.000000e+00 | 2.500000e+01 | Inf 354.15/354.36 c 335s|500000 |202759 | 2747k| 130M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 22k| 11k| 0.000000e+00 | 2.500000e+01 | Inf 359.65/359.85 c 340s|510000 |205598 | 2796k| 133M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 22k| 11k| 0.000000e+00 | 2.500000e+01 | Inf 365.16/365.38 c 345s|520000 |207986 | 2843k| 135M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 22k| 11k| 0.000000e+00 | 2.500000e+01 | Inf 370.65/370.85 c 351s|530000 |210390 | 2892k| 136M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 23k| 12k| 0.000000e+00 | 2.500000e+01 | Inf 376.34/376.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 376.34/376.54 c 356s|540000 |213512 | 2940k| 139M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 23k| 12k| 0.000000e+00 | 2.500000e+01 | Inf 382.34/382.56 c 362s|550000 |217346 | 2991k| 141M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 24k| 12k| 0.000000e+00 | 2.500000e+01 | Inf 388.05/388.23 c 367s|560000 |220386 | 3040k| 143M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 24k| 12k| 0.000000e+00 | 2.500000e+01 | Inf 393.94/394.15 c 373s|570000 |223694 | 3092k| 146M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 24k| 12k| 0.000000e+00 | 2.500000e+01 | Inf 399.74/399.98 c 378s|580000 |227119 | 3141k| 148M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 25k| 12k| 0.000000e+00 | 2.500000e+01 | Inf 405.44/405.68 c 384s|590000 |229789 | 3193k| 150M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 25k| 12k| 0.000000e+00 | 2.500000e+01 | Inf 411.14/411.37 c 389s|600000 |232845 | 3243k| 152M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 25k| 12k| 0.000000e+00 | 2.500000e+01 | Inf 416.83/417.03 c 394s|610000 |236012 | 3293k| 155M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 26k| 13k| 0.000000e+00 | 2.500000e+01 | Inf 422.63/422.83 c 400s|620000 |239303 | 3342k| 157M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 26k| 13k| 0.000000e+00 | 2.500000e+01 | Inf 428.73/428.94 c 406s|630000 |243647 | 3393k| 160M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 26k| 13k| 0.000000e+00 | 2.500000e+01 | Inf 434.72/434.94 c 411s|640000 |247319 | 3445k| 162M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 27k| 13k| 0.000000e+00 | 2.500000e+01 | Inf 440.62/440.86 c 417s|650000 |250649 | 3498k| 165M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 27k| 13k| 0.000000e+00 | 2.500000e+01 | Inf 446.62/446.81 c 423s|660000 |254293 | 3550k| 167M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 28k| 13k| 0.000000e+00 | 2.500000e+01 | Inf 448.32/448.57 o 24 448.32/448.57 c * 424s|663003 |253722 | 3565k| 166M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 | 28k| 13k| 0.000000e+00 | 2.400000e+01 | Inf 452.32/452.54 c 428s|670000 |255765 | 3600k| 167M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 28k| 13k| 0.000000e+00 | 2.400000e+01 | Inf 458.32/458.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 458.32/458.53 c 434s|680000 |259264 | 3652k| 170M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 28k| 13k| 0.000000e+00 | 2.400000e+01 | Inf 464.41/464.65 c 439s|690000 |262968 | 3705k| 172M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 29k| 13k| 0.000000e+00 | 2.400000e+01 | Inf 470.21/470.41 c 445s|700000 |266006 | 3756k| 175M| 70 | 8 | 190 | 13 | 8 | 190 | 25 | 22 | 29k| 14k| 0.000000e+00 | 2.400000e+01 | Inf 475.92/476.13 c 450s|710000 |268586 | 3807k| 177M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 29k| 14k| 0.000000e+00 | 2.400000e+01 | Inf 481.51/481.76 c 456s|720000 |270982 | 3857k| 179M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 29k| 14k| 0.000000e+00 | 2.400000e+01 | Inf 487.41/487.61 c 461s|730000 |273823 | 3908k| 181M| 70 | - | 190 | 12 | 9 | 190 | 25 | 22 | 30k| 14k| 0.000000e+00 | 2.400000e+01 | Inf 493.11/493.32 c 467s|740000 |276551 | 3959k| 183M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 30k| 14k| 0.000000e+00 | 2.400000e+01 | Inf 498.90/499.17 c 472s|750000 |279825 | 4009k| 185M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 30k| 14k| 0.000000e+00 | 2.400000e+01 | Inf 504.61/504.85 c 478s|760000 |282675 | 4057k| 188M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 31k| 14k| 0.000000e+00 | 2.400000e+01 | Inf 510.20/510.49 c 483s|770000 |285052 | 4106k| 190M| 70 | - | 190 | 8 | 7 | 190 | 25 | 22 | 31k| 14k| 0.000000e+00 | 2.400000e+01 | Inf 515.79/516.07 c 488s|780000 |287466 | 4155k| 192M| 70 | - | 190 | 9 | 9 | 190 | 25 | 22 | 32k| 14k| 0.000000e+00 | 2.400000e+01 | Inf 521.49/521.79 c 494s|790000 |289626 | 4205k| 194M| 70 | - | 190 | 10 | 9 | 0 | 0 | 22 | 32k| 15k| 0.000000e+00 | 2.400000e+01 | Inf 527.30/527.56 c 499s|800000 |292498 | 4255k| 196M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 32k| 15k| 0.000000e+00 | 2.400000e+01 | Inf 532.99/533.29 c 505s|810000 |295245 | 4305k| 198M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 33k| 15k| 0.000000e+00 | 2.400000e+01 | Inf 538.69/538.96 c 510s|820000 |297690 | 4356k| 200M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 33k| 15k| 0.000000e+00 | 2.400000e+01 | Inf 544.49/544.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 544.49/544.72 c 515s|830000 |300167 | 4405k| 202M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 33k| 15k| 0.000000e+00 | 2.400000e+01 | Inf 550.09/550.33 c 521s|840000 |302414 | 4455k| 204M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 34k| 15k| 0.000000e+00 | 2.400000e+01 | Inf 555.59/555.89 c 526s|850000 |304559 | 4504k| 206M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 34k| 15k| 0.000000e+00 | 2.400000e+01 | Inf 561.18/561.48 c 531s|860000 |306613 | 4553k| 208M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 34k| 15k| 0.000000e+00 | 2.400000e+01 | Inf 566.98/567.26 c 537s|870000 |309548 | 4603k| 210M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 35k| 15k| 0.000000e+00 | 2.400000e+01 | Inf 572.68/572.93 c 542s|880000 |311937 | 4653k| 212M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 35k| 16k| 0.000000e+00 | 2.400000e+01 | Inf 578.28/578.58 c 547s|890000 |314068 | 4702k| 214M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 35k| 16k| 0.000000e+00 | 2.400000e+01 | Inf 583.88/584.19 c 553s|900000 |316131 | 4753k| 216M| 70 | - | 190 | 11 | 7 | 0 | 0 | 22 | 36k| 16k| 0.000000e+00 | 2.400000e+01 | Inf 589.57/589.81 c 558s|910000 |318039 | 4803k| 218M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 36k| 16k| 0.000000e+00 | 2.400000e+01 | Inf 595.17/595.44 c 563s|920000 |320319 | 4853k| 220M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 36k| 16k| 0.000000e+00 | 2.400000e+01 | Inf 600.76/601.04 c 569s|930000 |322278 | 4902k| 222M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 37k| 16k| 0.000000e+00 | 2.400000e+01 | Inf 606.46/606.72 c 574s|940000 |324469 | 4951k| 223M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 37k| 16k| 0.000000e+00 | 2.400000e+01 | Inf 612.07/612.31 c 579s|950000 |326431 | 5001k| 225M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 37k| 16k| 0.000000e+00 | 2.400000e+01 | Inf 617.66/617.92 c 585s|960000 |328284 | 5050k| 227M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 38k| 16k| 0.000000e+00 | 2.400000e+01 | Inf 623.25/623.56 c 590s|970000 |330274 | 5100k| 229M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 38k| 16k| 0.000000e+00 | 2.400000e+01 | Inf 628.86/629.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 628.86/629.19 c 595s|980000 |332651 | 5149k| 231M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 39k| 17k| 0.000000e+00 | 2.400000e+01 | Inf 634.46/634.74 c 601s|990000 |334786 | 5197k| 233M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 39k| 17k| 0.000000e+00 | 2.400000e+01 | Inf 640.15/640.42 c 606s| 1000k|336865 | 5247k| 235M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 39k| 17k| 0.000000e+00 | 2.400000e+01 | Inf 645.75/646.06 c 611s| 1010k|338856 | 5296k| 237M| 70 | - | 190 | 8 | 9 | 0 | 0 | 22 | 40k| 17k| 0.000000e+00 | 2.400000e+01 | Inf 651.45/651.70 c 617s| 1020k|340844 | 5346k| 238M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 40k| 17k| 0.000000e+00 | 2.400000e+01 | Inf 656.95/657.29 c 622s| 1030k|342816 | 5396k| 240M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 40k| 17k| 0.000000e+00 | 2.400000e+01 | Inf 662.65/662.94 c 627s| 1040k|345581 | 5445k| 242M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 41k| 17k| 0.000000e+00 | 2.400000e+01 | Inf 668.24/668.55 c 633s| 1050k|347650 | 5494k| 244M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 41k| 17k| 0.000000e+00 | 2.400000e+01 | Inf 673.95/674.27 c 638s| 1060k|349942 | 5544k| 246M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 41k| 17k| 0.000000e+00 | 2.400000e+01 | Inf 680.04/680.35 c 644s| 1070k|354050 | 5595k| 249M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 42k| 17k| 0.000000e+00 | 2.400000e+01 | Inf 685.83/686.11 c 649s| 1080k|357207 | 5644k| 251M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 42k| 18k| 0.000000e+00 | 2.400000e+01 | Inf 691.33/691.61 o 22 691.33/691.61 c * 654s| 1089k|355970 | 5692k| 247M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 | 42k| 18k| 0.000000e+00 | 2.200000e+01 | Inf 691.43/691.74 c 655s| 1090k|356017 | 5693k| 247M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 43k| 18k| 0.000000e+00 | 2.200000e+01 | Inf 697.04/697.32 c 660s| 1100k|358173 | 5740k| 249M| 70 | 8 | 190 | 9 | 9 | 190 | 25 | 22 | 43k| 18k| 0.000000e+00 | 2.200000e+01 | Inf 702.63/702.93 c 665s| 1110k|360655 | 5787k| 251M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 43k| 18k| 0.000000e+00 | 2.200000e+01 | Inf 708.23/708.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 708.23/708.54 c 671s| 1120k|363037 | 5835k| 253M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 44k| 18k| 0.000000e+00 | 2.200000e+01 | Inf 713.92/714.20 c 676s| 1130k|365858 | 5883k| 255M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 44k| 18k| 0.000000e+00 | 2.200000e+01 | Inf 719.52/719.85 c 681s| 1140k|368145 | 5932k| 257M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 44k| 18k| 0.000000e+00 | 2.200000e+01 | Inf 725.02/725.36 c 686s| 1150k|370249 | 5979k| 258M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 45k| 18k| 0.000000e+00 | 2.200000e+01 | Inf 730.51/730.89 c 692s| 1160k|372053 | 6026k| 260M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 45k| 18k| 0.000000e+00 | 2.200000e+01 | Inf 736.12/736.43 c 697s| 1170k|374190 | 6074k| 262M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 46k| 18k| 0.000000e+00 | 2.200000e+01 | Inf 741.61/741.97 c 702s| 1180k|376350 | 6121k| 264M| 70 | - | 190 | 8 | 7 | 0 | 0 | 22 | 46k| 18k| 0.000000e+00 | 2.200000e+01 | Inf 747.22/747.54 c 708s| 1190k|378235 | 6168k| 265M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 46k| 19k| 0.000000e+00 | 2.200000e+01 | Inf 752.71/753.03 c 713s| 1200k|379981 | 6215k| 267M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 47k| 19k| 0.000000e+00 | 2.200000e+01 | Inf 758.20/758.56 c 718s| 1210k|381838 | 6262k| 269M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 47k| 19k| 0.000000e+00 | 2.200000e+01 | Inf 763.81/764.10 c 723s| 1220k|383569 | 6309k| 270M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 47k| 19k| 0.000000e+00 | 2.200000e+01 | Inf 769.30/769.65 c 728s| 1230k|385191 | 6356k| 272M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 48k| 19k| 0.000000e+00 | 2.200000e+01 | Inf 774.80/775.16 c 734s| 1240k|387539 | 6405k| 274M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 48k| 19k| 0.000000e+00 | 2.200000e+01 | Inf 780.40/780.71 c 739s| 1250k|389630 | 6453k| 276M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 48k| 19k| 0.000000e+00 | 2.200000e+01 | Inf 786.00/786.31 c 744s| 1260k|391721 | 6501k| 278M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 49k| 19k| 0.000000e+00 | 2.200000e+01 | Inf 791.39/791.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 791.39/791.80 c 749s| 1270k|393410 | 6549k| 279M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 49k| 19k| 0.000000e+00 | 2.200000e+01 | Inf 797.00/797.34 c 755s| 1280k|395116 | 6597k| 281M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 49k| 19k| 0.000000e+00 | 2.200000e+01 | Inf 802.49/802.84 c 760s| 1290k|396769 | 6644k| 283M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 50k| 19k| 0.000000e+00 | 2.200000e+01 | Inf 807.99/808.36 c 765s| 1300k|398271 | 6691k| 284M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 50k| 20k| 0.000000e+00 | 2.200000e+01 | Inf 813.39/813.79 c 770s| 1310k|400559 | 6737k| 286M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 51k| 20k| 0.000000e+00 | 2.200000e+01 | Inf 818.68/819.09 c 775s| 1320k|402477 | 6783k| 288M| 70 | 7 | 190 | 8 | 8 | 190 | 25 | 22 | 51k| 20k| 0.000000e+00 | 2.200000e+01 | Inf 824.28/824.67 c 780s| 1330k|404773 | 6830k| 290M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 51k| 20k| 0.000000e+00 | 2.200000e+01 | Inf 829.88/830.27 c 786s| 1340k|406915 | 6879k| 292M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 52k| 20k| 0.000000e+00 | 2.200000e+01 | Inf 835.49/835.80 c 791s| 1350k|408595 | 6927k| 293M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 52k| 20k| 0.000000e+00 | 2.200000e+01 | Inf 841.09/841.41 c 796s| 1360k|410291 | 6975k| 295M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 53k| 20k| 0.000000e+00 | 2.200000e+01 | Inf 846.68/847.09 c 802s| 1370k|413168 | 7025k| 297M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 53k| 20k| 0.000000e+00 | 2.200000e+01 | Inf 852.28/852.66 c 807s| 1380k|415398 | 7073k| 299M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 53k| 20k| 0.000000e+00 | 2.200000e+01 | Inf 857.98/858.33 c 812s| 1390k|417835 | 7122k| 301M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 54k| 20k| 0.000000e+00 | 2.200000e+01 | Inf 863.67/864.02 c 818s| 1400k|420628 | 7171k| 303M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 54k| 20k| 0.000000e+00 | 2.200000e+01 | Inf 869.17/869.57 c 823s| 1410k|422830 | 7219k| 305M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 54k| 20k| 0.000000e+00 | 2.200000e+01 | Inf 874.67/875.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 874.67/875.01 c 828s| 1420k|424749 | 7265k| 307M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 55k| 21k| 0.000000e+00 | 2.200000e+01 | Inf 880.16/880.56 c 833s| 1430k|426892 | 7313k| 309M| 70 | - | 190 | 10 | 8 | 0 | 0 | 22 | 55k| 21k| 0.000000e+00 | 2.200000e+01 | Inf 885.86/886.23 c 839s| 1440k|429162 | 7363k| 311M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 55k| 21k| 0.000000e+00 | 2.200000e+01 | Inf 891.96/892.32 c 845s| 1450k|433054 | 7415k| 313M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 56k| 21k| 0.000000e+00 | 2.200000e+01 | Inf 897.75/898.15 c 850s| 1460k|436116 | 7464k| 315M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 56k| 21k| 0.000000e+00 | 2.200000e+01 | Inf 903.66/904.09 c 856s| 1470k|439136 | 7515k| 318M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 56k| 21k| 0.000000e+00 | 2.200000e+01 | Inf 909.45/909.87 c 861s| 1480k|442280 | 7565k| 320M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 57k| 21k| 0.000000e+00 | 2.200000e+01 | Inf 915.15/915.57 c 867s| 1490k|445567 | 7614k| 322M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 57k| 21k| 0.000000e+00 | 2.200000e+01 | Inf 920.85/921.29 c 872s| 1500k|448250 | 7664k| 324M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 58k| 21k| 0.000000e+00 | 2.200000e+01 | Inf 926.45/926.85 c 877s| 1510k|450956 | 7713k| 326M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 58k| 21k| 0.000000e+00 | 2.200000e+01 | Inf 932.05/932.46 c 883s| 1520k|453063 | 7763k| 328M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 58k| 21k| 0.000000e+00 | 2.200000e+01 | Inf 937.64/938.08 c 888s| 1530k|455460 | 7811k| 330M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 58k| 21k| 0.000000e+00 | 2.200000e+01 | Inf 943.45/943.80 c 893s| 1540k|458060 | 7861k| 332M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 59k| 22k| 0.000000e+00 | 2.200000e+01 | Inf 949.64/950.00 c 899s| 1550k|462223 | 7912k| 335M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 59k| 22k| 0.000000e+00 | 2.200000e+01 | Inf 955.33/955.74 c 905s| 1560k|465299 | 7963k| 337M| 70 | - | 190 | 9 | 7 | 190 | 25 | 22 | 59k| 22k| 0.000000e+00 | 2.200000e+01 | Inf 960.94/961.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 960.94/961.33 c 910s| 1570k|467842 | 8011k| 339M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 60k| 22k| 0.000000e+00 | 2.200000e+01 | Inf 966.63/967.09 c 915s| 1580k|470549 | 8061k| 341M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 60k| 22k| 0.000000e+00 | 2.200000e+01 | Inf 972.24/972.67 c 921s| 1590k|473306 | 8110k| 343M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 60k| 22k| 0.000000e+00 | 2.200000e+01 | Inf 977.83/978.30 c 926s| 1600k|476347 | 8159k| 345M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 60k| 22k| 0.000000e+00 | 2.200000e+01 | Inf 983.62/984.06 c 932s| 1610k|478853 | 8208k| 347M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 61k| 22k| 0.000000e+00 | 2.200000e+01 | Inf 989.22/989.69 c 937s| 1620k|481541 | 8256k| 349M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 61k| 22k| 0.000000e+00 | 2.200000e+01 | Inf 991.13/991.53 o 20 991.13/991.53 c * 939s| 1623k|476807 | 8272k| 341M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 61k| 22k| 0.000000e+00 | 2.000000e+01 | Inf 994.92/995.32 c 942s| 1630k|478473 | 8304k| 343M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 61k| 22k| 0.000000e+00 | 2.000000e+01 | Inf 1000.42/1000.86 c 948s| 1640k|480910 | 8351k| 345M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 62k| 22k| 0.000000e+00 | 2.000000e+01 | Inf 1006.02/1006.45 c 953s| 1650k|483428 | 8397k| 347M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 62k| 22k| 0.000000e+00 | 2.000000e+01 | Inf 1012.01/1012.43 c 958s| 1660k|486780 | 8446k| 349M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 62k| 22k| 0.000000e+00 | 2.000000e+01 | Inf 1017.82/1018.28 c 964s| 1670k|490608 | 8494k| 351M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 63k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1023.81/1024.30 c 970s| 1680k|494646 | 8542k| 353M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 63k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1029.51/1029.97 c 975s| 1690k|498065 | 8589k| 356M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 63k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1035.11/1035.59 c 980s| 1700k|500855 | 8638k| 358M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 63k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1040.81/1041.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1040.81/1041.22 c 986s| 1710k|503858 | 8684k| 360M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 64k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1046.81/1047.27 c 991s| 1720k|507541 | 8733k| 362M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 64k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1052.50/1052.99 c 997s| 1730k|510931 | 8780k| 364M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 64k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1058.00/1058.47 c 1002s| 1740k|513729 | 8826k| 366M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 65k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1063.80/1064.27 c 1008s| 1750k|517004 | 8873k| 369M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 65k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1069.50/1069.93 c 1013s| 1760k|520351 | 8921k| 371M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 65k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1074.89/1075.34 c 1018s| 1770k|522576 | 8967k| 373M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 65k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1080.90/1081.32 c 1024s| 1780k|526589 | 9015k| 375M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 66k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1086.49/1086.95 c 1029s| 1790k|530296 | 9061k| 377M| 70 | - | 190 | 12 | 8 | 190 | 25 | 22 | 66k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1092.09/1092.55 c 1034s| 1800k|534345 | 9106k| 379M| 70 | - | 190 | 12 | 8 | 190 | 25 | 22 | 66k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1097.49/1097.95 c 1040s| 1810k|537622 | 9151k| 382M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 66k| 23k| 0.000000e+00 | 2.000000e+01 | Inf 1102.89/1103.32 c 1045s| 1820k|540589 | 9195k| 384M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 67k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1108.39/1108.82 c 1050s| 1830k|543821 | 9241k| 386M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 67k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1113.68/1114.11 c 1055s| 1840k|546302 | 9284k| 387M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 67k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1118.98/1119.47 c 1060s| 1850k|548855 | 9329k| 389M| 70 | - | 190 | 12 | 8 | 190 | 25 | 22 | 67k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1124.38/1124.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1124.38/1124.81 c 1065s| 1860k|551419 | 9373k| 391M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 68k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1129.67/1130.20 c 1070s| 1870k|554131 | 9417k| 393M| 70 | - | 190 | 14 | 8 | 190 | 25 | 22 | 68k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1135.08/1135.53 c 1075s| 1880k|556503 | 9461k| 395M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 68k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1140.47/1140.96 c 1080s| 1890k|559321 | 9506k| 397M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 68k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1145.77/1146.29 c 1085s| 1900k|561708 | 9551k| 399M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 69k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1151.27/1151.72 c 1090s| 1910k|564795 | 9596k| 401M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 69k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1156.56/1157.06 c 1095s| 1920k|567185 | 9640k| 403M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 69k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1162.36/1162.89 c 1101s| 1930k|571286 | 9687k| 405M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 70k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1167.96/1168.44 c 1106s| 1940k|574579 | 9734k| 407M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 70k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1173.46/1173.92 c 1111s| 1950k|577906 | 9779k| 409M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 70k| 24k| 0.000000e+00 | 2.000000e+01 | Inf 1178.66/1179.18 c 1116s| 1960k|580786 | 9823k| 411M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 70k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1183.86/1184.39 c 1121s| 1970k|583384 | 9866k| 413M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 71k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1189.35/1189.83 c 1127s| 1980k|586608 | 9911k| 415M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 71k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1194.75/1195.23 c 1132s| 1990k|590219 | 9955k| 417M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 71k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1199.95/1200.42 c 1137s| 2000k|593084 | 9998k| 419M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 71k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1205.25/1205.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1205.25/1205.76 c 1142s| 2010k|595655 | 10043k| 421M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 72k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1210.44/1210.98 c 1147s| 2020k|598184 | 10086k| 423M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 72k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1215.64/1216.17 c 1151s| 2030k|600410 | 10129k| 424M| 70 | - | 190 | 11 | 8 | 0 | 0 | 22 | 72k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1220.94/1221.43 c 1156s| 2040k|602675 | 10174k| 426M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 72k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1226.14/1226.69 c 1161s| 2050k|605088 | 10217k| 428M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 73k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1231.34/1231.87 c 1166s| 2060k|607295 | 10261k| 429M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 73k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1236.53/1237.01 c 1171s| 2070k|609325 | 10304k| 431M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 73k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1241.74/1242.23 c 1176s| 2080k|611561 | 10346k| 433M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 73k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1246.94/1247.44 c 1181s| 2090k|613545 | 10390k| 434M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 74k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1252.13/1252.62 c 1186s| 2100k|615701 | 10432k| 436M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 74k| 25k| 0.000000e+00 | 2.000000e+01 | Inf 1257.33/1257.86 c 1191s| 2110k|617976 | 10476k| 438M| 70 | - | 190 | 11 | 8 | 0 | 0 | 22 | 74k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1262.73/1263.25 c 1196s| 2120k|620354 | 10520k| 439M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 75k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1267.93/1268.45 c 1201s| 2130k|622597 | 10563k| 441M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 75k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1273.13/1273.70 c 1206s| 2140k|624781 | 10607k| 443M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 75k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1278.52/1279.00 c 1211s| 2150k|627240 | 10652k| 445M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 75k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1283.71/1284.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1283.71/1284.26 c 1216s| 2160k|629042 | 10695k| 446M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 76k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1289.02/1289.58 c 1221s| 2170k|631402 | 10740k| 448M| 70 | 8 | 190 | 13 | 8 | 190 | 25 | 22 | 76k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1294.32/1294.84 c 1226s| 2180k|633555 | 10783k| 450M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 76k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1299.62/1300.15 c 1231s| 2190k|635846 | 10826k| 451M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 76k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1304.91/1305.47 c 1236s| 2200k|637979 | 10871k| 453M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 77k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1310.21/1310.70 c 1241s| 2210k|639860 | 10914k| 455M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 77k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1315.51/1316.01 c 1246s| 2220k|642185 | 10958k| 456M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 77k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1320.81/1321.31 c 1251s| 2230k|644268 | 11002k| 458M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 78k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1326.00/1326.59 c 1256s| 2240k|646131 | 11046k| 460M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 78k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1331.40/1331.94 c 1261s| 2250k|648753 | 11090k| 461M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 78k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1336.60/1337.16 c 1266s| 2260k|650768 | 11133k| 463M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 78k| 26k| 0.000000e+00 | 2.000000e+01 | Inf 1341.99/1342.53 c 1271s| 2270k|653037 | 11177k| 465M| 70 | - | 190 | 12 | 8 | 190 | 25 | 22 | 79k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1347.29/1347.84 c 1276s| 2280k|655089 | 11221k| 466M| 70 | - | 190 | 12 | 8 | 190 | 25 | 22 | 79k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1352.59/1353.16 c 1281s| 2290k|657352 | 11265k| 468M| 70 | - | 190 | 12 | 8 | 0 | 0 | 22 | 79k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1357.89/1358.41 c 1286s| 2300k|659192 | 11308k| 470M| 70 | - | 190 | 12 | 10 | 0 | 0 | 22 | 79k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1363.29/1363.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1363.29/1363.80 c 1291s| 2310k|661637 | 11352k| 471M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 80k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1368.58/1369.10 c 1296s| 2320k|663344 | 11396k| 473M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 80k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1373.88/1374.46 c 1301s| 2330k|665970 | 11440k| 475M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 80k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1379.39/1379.91 c 1307s| 2340k|668911 | 11486k| 477M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 81k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1384.68/1385.27 c 1312s| 2350k|671525 | 11530k| 479M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 81k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1389.97/1390.57 c 1317s| 2360k|673908 | 11573k| 480M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 81k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1395.38/1395.93 c 1322s| 2370k|676607 | 11619k| 482M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 82k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1400.78/1401.39 c 1327s| 2380k|678917 | 11664k| 484M| 70 | 8 | 190 | 12 | 9 | 190 | 25 | 22 | 82k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1406.07/1406.69 c 1332s| 2390k|680868 | 11708k| 486M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 82k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1411.37/1411.95 c 1337s| 2400k|682625 | 11753k| 487M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 83k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1416.67/1417.29 c 1342s| 2410k|684644 | 11797k| 489M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 83k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1421.96/1422.56 c 1347s| 2420k|686314 | 11841k| 491M| 70 | - | 190 | 11 | 8 | 0 | 0 | 22 | 83k| 27k| 0.000000e+00 | 2.000000e+01 | Inf 1427.27/1427.81 c 1352s| 2430k|688089 | 11884k| 492M| 70 | - | 190 | 11 | 8 | 0 | 0 | 22 | 84k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1432.56/1433.20 c 1357s| 2440k|690288 | 11929k| 494M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 84k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1437.86/1438.47 c 1362s| 2450k|692377 | 11973k| 495M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 84k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1443.15/1443.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1443.15/1443.78 c 1367s| 2460k|694088 | 12018k| 497M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 85k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1448.46/1449.08 c 1372s| 2470k|695654 | 12063k| 498M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 85k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1453.66/1454.28 c 1377s| 2480k|697279 | 12106k| 500M| 70 | - | 190 | 11 | 8 | 0 | 0 | 22 | 85k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1458.95/1459.55 c 1382s| 2490k|698913 | 12150k| 501M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 86k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1464.35/1464.92 c 1387s| 2500k|701055 | 12195k| 503M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 86k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1469.55/1470.12 c 1392s| 2510k|702936 | 12238k| 504M| 70 | - | 190 | 12 | 7 | 0 | 0 | 22 | 86k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1474.84/1475.46 c 1397s| 2520k|704749 | 12282k| 506M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 86k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1480.25/1480.85 c 1402s| 2530k|707175 | 12326k| 508M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 87k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1485.64/1486.25 c 1407s| 2540k|709394 | 12370k| 510M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 87k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1490.94/1491.50 c 1412s| 2550k|711424 | 12413k| 511M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 87k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1496.14/1496.70 c 1417s| 2560k|713320 | 12456k| 513M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 88k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1501.34/1501.99 c 1422s| 2570k|715170 | 12499k| 515M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 88k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1506.74/1507.37 c 1427s| 2580k|717022 | 12542k| 516M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 88k| 28k| 0.000000e+00 | 2.000000e+01 | Inf 1511.94/1512.58 c 1432s| 2590k|718482 | 12585k| 518M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 89k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1517.33/1517.92 c 1437s| 2600k|720113 | 12630k| 519M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 89k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1522.72/1523.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1522.72/1523.38 c 1443s| 2610k|721892 | 12674k| 520M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 89k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1528.12/1528.76 c 1448s| 2620k|724777 | 12718k| 522M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 90k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1533.32/1533.98 c 1453s| 2630k|727053 | 12762k| 524M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 90k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1538.63/1539.24 c 1458s| 2640k|728965 | 12806k| 526M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 90k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1543.82/1544.50 c 1463s| 2650k|731142 | 12849k| 527M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 90k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1549.12/1549.71 c 1467s| 2660k|732943 | 12893k| 529M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 91k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1554.32/1554.92 c 1472s| 2670k|734619 | 12936k| 530M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 91k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1559.51/1560.12 c 1477s| 2680k|736248 | 12979k| 532M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 91k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1565.11/1565.71 c 1483s| 2690k|738948 | 13023k| 534M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 92k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1570.51/1571.12 c 1488s| 2700k|742210 | 13068k| 536M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 92k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1575.72/1576.38 c 1493s| 2710k|745021 | 13111k| 538M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 92k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1581.00/1581.69 c 1498s| 2720k|747531 | 13154k| 540M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 92k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1586.41/1587.04 c 1503s| 2730k|749813 | 13197k| 541M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 93k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1591.60/1592.22 c 1508s| 2740k|752025 | 13240k| 543M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 93k| 29k| 0.000000e+00 | 2.000000e+01 | Inf 1596.99/1597.60 c 1513s| 2750k|754244 | 13285k| 545M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 93k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1602.30/1602.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1602.30/1602.94 c 1518s| 2760k|756131 | 13329k| 546M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 94k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1607.59/1608.28 c 1523s| 2770k|757806 | 13372k| 548M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 94k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1612.89/1613.60 c 1528s| 2780k|759580 | 13417k| 549M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 94k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1618.29/1618.91 c 1533s| 2790k|761223 | 13461k| 551M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 94k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1623.58/1624.23 c 1538s| 2800k|763445 | 13505k| 553M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 95k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1628.78/1629.49 c 1543s| 2810k|765725 | 13549k| 554M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 95k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1634.08/1634.76 c 1548s| 2820k|767818 | 13593k| 556M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 95k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1639.28/1640.00 c 1553s| 2830k|769612 | 13637k| 558M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 95k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1644.68/1645.30 c 1558s| 2840k|771144 | 13681k| 559M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 96k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1649.88/1650.55 c 1563s| 2850k|772796 | 13725k| 560M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 96k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1655.07/1655.74 c 1568s| 2860k|774686 | 13768k| 562M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 96k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1660.38/1661.01 c 1573s| 2870k|776206 | 13812k| 563M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 97k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1665.57/1666.30 c 1578s| 2880k|778290 | 13856k| 565M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 97k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1670.76/1671.48 c 1583s| 2890k|779870 | 13901k| 566M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 97k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1676.16/1676.81 c 1588s| 2900k|781658 | 13945k| 568M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 98k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1681.36/1682.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1681.36/1682.08 c 1593s| 2910k|783292 | 13988k| 569M| 70 | 8 | 190 | 11 | 9 | 190 | 25 | 22 | 98k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1686.66/1687.36 c 1598s| 2920k|784746 | 14031k| 571M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 98k| 30k| 0.000000e+00 | 2.000000e+01 | Inf 1691.86/1692.52 c 1603s| 2930k|786577 | 14074k| 572M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 98k| 31k| 0.000000e+00 | 2.000000e+01 | Inf 1697.06/1697.75 c 1608s| 2940k|788031 | 14116k| 574M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 99k| 31k| 0.000000e+00 | 2.000000e+01 | Inf 1702.36/1703.01 c 1613s| 2950k|789336 | 14160k| 575M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 99k| 31k| 0.000000e+00 | 2.000000e+01 | Inf 1707.56/1708.25 c 1618s| 2960k|790651 | 14204k| 576M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 99k| 31k| 0.000000e+00 | 2.000000e+01 | Inf 1712.85/1713.53 c 1623s| 2970k|792181 | 14249k| 578M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 100k| 31k| 0.000000e+00 | 2.000000e+01 | Inf 1718.15/1718.82 c 1628s| 2980k|793607 | 14294k| 579M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 100k| 31k| 0.000000e+00 | 2.000000e+01 | Inf 1723.44/1724.17 c 1633s| 2990k|795167 | 14339k| 581M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 100k| 31k| 0.000000e+00 | 2.000000e+01 | Inf 1728.84/1729.53 c 1638s| 3000k|796979 | 14383k| 582M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 101k| 31k| 0.000000e+00 | 2.000000e+01 | Inf 1734.14/1734.80 c 1643s| 3010k|798872 | 14427k| 584M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 101k| 31k| 0.000000e+00 | 2.000000e+01 | Inf 1735.24/1735.93 o 19 1735.24/1735.93 c *1644s| 3012k|795486 | 14436k| 578M| 70 | - | 190 | 10 | 0 | 190 | 25 | 22 | 101k| 31k| 0.000000e+00 | 1.900000e+01 | Inf 1735.34/1736.00 o 17 1735.34/1736.00 c *1644s| 3012k|785278 | 14436k| 562M| 70 | - | 190 | 10 | 0 | 190 | 25 | 22 | 101k| 31k| 0.000000e+00 | 1.700000e+01 | Inf 1739.54/1740.22 c 1648s| 3020k|786376 | 14470k| 563M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 101k| 31k| 0.000000e+00 | 1.700000e+01 | Inf 1744.83/1745.59 c 1653s| 3030k|787506 | 14513k| 564M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 101k| 31k| 0.000000e+00 | 1.700000e+01 | Inf 1750.14/1750.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1750.14/1750.86 c 1658s| 3040k|788947 | 14556k| 565M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 102k| 31k| 0.000000e+00 | 1.700000e+01 | Inf 1755.34/1756.10 c 1663s| 3050k|790358 | 14599k| 566M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 102k| 31k| 0.000000e+00 | 1.700000e+01 | Inf 1760.63/1761.33 c 1668s| 3060k|791935 | 14641k| 568M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 102k| 31k| 0.000000e+00 | 1.700000e+01 | Inf 1766.03/1766.72 c 1673s| 3070k|794072 | 14685k| 569M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 103k| 31k| 0.000000e+00 | 1.700000e+01 | Inf 1771.23/1771.95 c 1678s| 3080k|796583 | 14729k| 571M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 103k| 31k| 0.000000e+00 | 1.700000e+01 | Inf 1776.33/1777.07 c 1683s| 3090k|798486 | 14771k| 573M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 103k| 32k| 0.000000e+00 | 1.700000e+01 | Inf 1781.63/1782.32 c 1688s| 3100k|800217 | 14814k| 574M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 103k| 32k| 0.000000e+00 | 1.700000e+01 | Inf 1786.83/1787.52 c 1693s| 3110k|802375 | 14856k| 576M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 104k| 32k| 0.000000e+00 | 1.700000e+01 | Inf 1791.91/1792.69 c 1698s| 3120k|804877 | 14897k| 577M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 104k| 32k| 0.000000e+00 | 1.700000e+01 | Inf 1797.12/1797.83 c 1703s| 3130k|806769 | 14939k| 579M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 104k| 32k| 0.000000e+00 | 1.700000e+01 | Inf 1800.02/1800.70 c 1800.02/1800.70 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.70 c Solving Time (sec) : 1705.31 1800.02/1800.70 c Solving Nodes : 3135622 1800.02/1800.70 c Primal Bound : +1.70000000000000e+01 (65 solutions) 1800.02/1800.70 c Dual Bound : +0.00000000000000e+00 1800.02/1800.70 c Gap : infinite 1800.02/1800.71 c NODE 3135622 1800.02/1800.71 c DUAL BOUND 0 1800.02/1800.71 c PRIMAL BOUND 17 1800.02/1800.71 c GAP 1e+20 1800.02/1800.71 s SATISFIABLE 1800.02/1800.71 v -x143 -x198 x197 -x196 x195 x194 -x193 -x192 -x191 x190 -x189 x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 1800.02/1800.71 v x176 x175 -x174 x173 -x172 -x171 x170 x169 x168 -x167 -x166 x165 x164 x163 x162 -x161 -x160 x159 x158 -x157 -x156 x155 x154 1800.02/1800.71 v x153 -x152 -x151 -x150 -x149 x148 x147 x146 -x145 x144 -x142 -x141 x140 x139 x138 -x137 x136 x135 -x134 x133 x132 x131 x130 1800.02/1800.71 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 1800.02/1800.71 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 1800.02/1800.71 v -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 1800.02/1800.71 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 1800.02/1800.71 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 1800.02/1800.71 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.71 c Solving Time : 1705.31 1800.02/1800.71 c Original Problem : 1800.02/1800.71 c Problem name : HOME/instance-1869530-1245176836.opb 1800.02/1800.71 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.71 c Constraints : 16 initial, 16 maximal 1800.02/1800.71 c Presolved Problem : 1800.02/1800.71 c Problem name : t_HOME/instance-1869530-1245176836.opb 1800.02/1800.71 c Variables : 190 (190 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.71 c Constraints : 8 initial, 16 maximal 1800.02/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0 1800.02/1800.71 c linear : 0.01 0 8 0 0 0 8 0 0 1800.02/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.71 c root node : - 48 - - 48 - - - - 1800.02/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1800.71 c integral : 0 0 0 2018178 0 138 8933 0 0 4018982 1800.02/1800.71 c linear : 8 6 4980371 0 0 325332 2487097 7 0 0 1800.02/1800.71 c logicor : 0+ 0 124543 0 0 1303 39199 0 0 0 1800.02/1800.71 c countsols : 0 0 0 48 0 0 0 0 0 0 1800.02/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.71 c integral : 30.04 0.00 0.00 30.04 0.00 1800.02/1800.71 c linear : 441.34 0.00 441.34 0.00 0.00 1800.02/1800.71 c logicor : 0.54 0.00 0.54 0.00 0.00 1800.02/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.71 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.71 c rootredcost : 1.65 64 0 48 1800.02/1800.71 c pseudoobj : 45.22 4993272 12994 37716 1800.02/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.71 c propagation : 29.05 338326 103488 119805 71.8 0 0.0 - 1800.02/1800.71 c infeasible LP : 0.24 2926 2868 2956 37.9 0 0.0 0 1800.02/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.71 c pseudo solution : 0.00 2 2 3 52.7 0 0.0 - 1800.02/1800.71 c applied globally : - - - 318 28.7 - - - 1800.02/1800.71 c applied locally : - - - 104406 71.4 - - - 1800.02/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.71 c cut pool : 0.00 5 - - 11 - (maximal pool size: 47) 1800.02/1800.71 c redcost : 62.96 2984356 0 20563498 0 0 1800.02/1800.71 c impliedbounds : 0.00 6 0 0 0 0 1800.02/1800.71 c intobj : 0.00 0 0 0 0 0 1800.02/1800.71 c gomory : 0.01 6 0 0 0 0 1800.02/1800.71 c strongcg : 0.00 6 0 0 11 0 1800.02/1800.71 c cmir : 0.05 6 0 0 20 0 1800.02/1800.71 c flowcover : 0.06 6 0 0 22 0 1800.02/1800.71 c clique : 0.00 1 0 0 0 0 1800.02/1800.71 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.71 c mcf : 0.00 1 0 0 0 0 1800.02/1800.71 c Pricers : Time Calls Vars 1800.02/1800.71 c problem variables: 0.00 0 0 1800.02/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.71 c relpscost : 27.84 2018130 138 8933 0 0 4018982 1800.02/1800.71 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.71 c inference : 0.00 0 0 0 0 0 0 1800.02/1800.71 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.71 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.71 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.71 c random : 0.00 0 0 0 0 0 0 1800.02/1800.71 c Primal Heuristics : Time Calls Found 1800.02/1800.71 c LP solutions : 0.41 - 48 1800.02/1800.71 c pseudo solutions : 0.00 - 0 1800.02/1800.71 c intshifting : 0.10 0 0 1800.02/1800.71 c feaspump : 0.09 1 0 1800.02/1800.71 c oneopt : 1.41 64 0 1800.02/1800.71 c crossover : 19.36 12 1 1800.02/1800.71 c rootsoldiving : 5.79 592 1 1800.02/1800.71 c objpscostdiving : 4.40 2026 0 1800.02/1800.71 c coefdiving : 29.23 4052 2 1800.02/1800.71 c linesearchdiving : 14.35 4052 2 1800.02/1800.71 c pscostdiving : 21.96 4052 2 1800.02/1800.71 c veclendiving : 14.30 4052 2 1800.02/1800.71 c fracdiving : 21.45 4052 2 1800.02/1800.71 c guideddiving : 16.16 4052 5 1800.02/1800.71 c simplerounding : 1.25 0 0 1800.02/1800.71 c rounding : 2.51 20693 0 1800.02/1800.71 c shifting : 7.28 6486 0 1800.02/1800.71 c fixandinfer : 0.00 0 0 1800.02/1800.71 c intdiving : 0.00 0 0 1800.02/1800.71 c actconsdiving : 0.00 0 0 1800.02/1800.71 c octane : 0.00 0 0 1800.02/1800.71 c rens : 0.11 1 0 1800.02/1800.71 c rins : 0.00 0 0 1800.02/1800.71 c localbranching : 0.00 0 0 1800.02/1800.71 c mutation : 0.00 0 0 1800.02/1800.71 c dins : 0.00 0 0 1800.02/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.71 c primal LP : 0.00 0 0 0.00 - 1800.02/1800.71 c dual LP : 687.00 2980390 13945961 4.68 20299.80 1800.02/1800.71 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.71 c diving/probing LP: 66.56 483625 1016829 2.10 15276.88 1800.02/1800.71 c strong branching : 8.63 32261 111701 3.46 12943.34 1800.02/1800.71 c (at root node) : - 22 1060 48.18 - 1800.02/1800.71 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.71 c B&B Tree : 1800.02/1800.71 c number of runs : 1 1800.02/1800.71 c nodes : 3135622 1800.02/1800.71 c nodes (total) : 3135622 1800.02/1800.71 c nodes left : 807584 1800.02/1800.71 c max depth : 70 1800.02/1800.71 c max depth (total): 70 1800.02/1800.71 c backtracks : 503211 (16.0%) 1800.02/1800.71 c delayed cutoffs : 20478 1800.02/1800.71 c repropagations : 40515 (152333 domain reductions, 20477 cutoffs) 1800.02/1800.71 c avg switch length: 5.22 1800.02/1800.71 c switching time : 97.64 1800.02/1800.71 c Solution : 1800.02/1800.71 c Solutions found : 65 (64 improvements) 1800.02/1800.71 c Primal Bound : +1.70000000000000e+01 (in run 1, after 3012037 nodes, 1643.88 seconds, depth 53, found by <relaxation>) 1800.02/1800.71 c Dual Bound : +0.00000000000000e+00 1800.02/1800.71 c Gap : infinite 1800.02/1800.71 c Root Dual Bound : +0.00000000000000e+00
OK 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869530-1245176836/watcher-1869530-1245176836 -o /tmp/evaluation-result-1869530-1245176836/solver-1869530-1245176836 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869530-1245176836.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.92 0.98 0.99 3/65 1841 /proc/meminfo: memFree=1853160/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=6100 CPUtime=0 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 542 0 0 0 0 0 0 0 20 0 1 0 185281999 6246400 524 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/1841/statm: 1525 535 325 886 0 635 0 [startup+0.0233919 s] /proc/loadavg: 0.92 0.98 0.99 3/65 1841 /proc/meminfo: memFree=1853160/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=13188 CPUtime=0.02 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 2723 0 0 0 1 1 0 0 20 0 1 0 185281999 13504512 2351 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 3297 2351 438 886 0 2407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13188 [startup+0.101407 s] /proc/loadavg: 0.92 0.98 0.99 3/65 1841 /proc/meminfo: memFree=1853160/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=13188 CPUtime=0.09 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 2859 0 0 0 8 1 0 0 20 0 1 0 185281999 13504512 2487 1992294400 4194304 7823515 548682068736 18446744073709551615 5593109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 3297 2487 551 886 0 2407 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13188 [startup+0.301444 s] /proc/loadavg: 0.92 0.98 0.99 3/65 1841 /proc/meminfo: memFree=1853160/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=21264 CPUtime=0.29 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 4605 0 0 0 26 3 0 0 22 0 1 0 185281999 21774336 4233 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 5316 4233 560 886 0 4426 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21264 [startup+0.701519 s] /proc/loadavg: 0.92 0.98 0.99 3/65 1841 /proc/meminfo: memFree=1853160/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=16124 CPUtime=0.69 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 4616 0 0 0 63 6 0 0 25 0 1 0 185281999 16510976 3260 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 4031 3260 570 886 0 3141 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16124 [startup+1.50167 s] /proc/loadavg: 0.93 0.98 0.99 2/66 1842 /proc/meminfo: memFree=1842080/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=16264 CPUtime=1.49 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 4676 0 0 0 139 10 0 0 25 0 1 0 185281999 16654336 3320 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 4066 3320 572 886 0 3176 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16264 [startup+3.10197 s] /proc/loadavg: 0.93 0.98 0.99 2/66 1842 /proc/meminfo: memFree=1843872/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=14960 CPUtime=3.09 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 7003 0 0 0 290 19 0 0 25 0 1 0 185281999 15319040 3007 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 3740 3007 572 886 0 2850 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14960 [startup+6.30157 s] /proc/loadavg: 1.01 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1841184/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=16556 CPUtime=6.29 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 12019 0 0 0 592 37 0 0 25 0 1 0 185281999 16953344 3419 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 4139 3419 573 886 0 3249 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16556 [startup+12.7018 s] /proc/loadavg: 1.09 1.02 1.01 2/66 1842 /proc/meminfo: memFree=1831720/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=28116 CPUtime=12.68 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 15889 0 0 0 1192 76 0 0 25 0 1 0 185281999 28790784 5977 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 7029 5977 573 886 0 6139 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28116 [startup+25.5012 s] /proc/loadavg: 1.23 1.05 1.02 2/66 1842 /proc/meminfo: memFree=1832488/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=25440 CPUtime=25.49 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 22045 0 0 0 2407 142 0 0 25 0 1 0 185281999 26050560 5676 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 6360 5676 573 886 0 5470 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25440 [startup+51.102 s] /proc/loadavg: 1.14 1.04 1.01 2/66 1842 /proc/meminfo: memFree=1818024/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=39884 CPUtime=51.07 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 35777 0 0 0 4835 272 0 0 25 0 1 0 185281999 40841216 9371 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 9971 9371 574 886 0 9081 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39884 [startup+102.306 s] /proc/loadavg: 1.06 1.03 1.01 2/66 1842 /proc/meminfo: memFree=1789544/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=68688 CPUtime=102.26 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 57186 0 0 0 9683 543 0 0 25 0 1 0 185281999 70336512 16338 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 17172 16338 574 886 0 16282 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 68688 [startup+162.303 s] /proc/loadavg: 1.02 1.02 1.00 2/66 1842 /proc/meminfo: memFree=1768488/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=89564 CPUtime=162.23 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 80387 0 0 0 15336 887 0 0 25 0 1 0 185281999 91713536 21643 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 22391 21643 574 886 0 21501 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 89564 [startup+222.301 s] /proc/loadavg: 1.01 1.02 1.00 2/66 1842 /proc/meminfo: memFree=1736424/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=121144 CPUtime=222.2 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 98249 0 0 0 21005 1215 0 0 25 0 1 0 185281999 124051456 29614 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 30286 29614 574 886 0 29396 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 121144 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/66 1842 /proc/meminfo: memFree=1713512/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=143608 CPUtime=282.19 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 105960 0 0 0 26681 1538 0 0 25 0 1 0 185281999 147054592 35304 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 35902 35304 574 886 0 35012 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 143608 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.00 2/66 1842 /proc/meminfo: memFree=1695016/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=161692 CPUtime=342.16 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 114672 0 0 0 32356 1860 0 0 25 0 1 0 185281999 165572608 39903 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 40423 39903 574 886 0 39533 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 161692 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1675752/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=183556 CPUtime=402.14 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 119463 0 0 0 38036 2178 0 0 25 0 1 0 185281999 187961344 44694 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 45889 44694 574 886 0 44999 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 183556 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1655208/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=203616 CPUtime=462.12 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 124577 0 0 0 43724 2488 0 0 25 0 1 0 185281999 208502784 49808 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 50904 49808 574 886 0 50014 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 203616 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1628584/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=230048 CPUtime=522.09 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 131268 0 0 0 49408 2801 0 0 25 0 1 0 185281999 235569152 56499 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 57512 56499 574 886 0 56622 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 230048 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1606568/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=251428 CPUtime=582.07 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 136691 0 0 0 55093 3114 0 0 25 0 1 0 185281999 257462272 61922 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 62857 61922 574 886 0 61967 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 251428 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1584360/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=273248 CPUtime=642.05 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 142208 0 0 0 60774 3431 0 0 25 0 1 0 185281999 279805952 67439 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 68312 67439 574 886 0 67422 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 273248 [startup+702.301 s] ################ # More data... # ################ /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 175050 0 0 0 100574 5616 0 0 25 0 1 0 185281999 420356096 100281 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 102626 100281 574 886 0 101736 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 410504 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1431208/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=431024 CPUtime=1121.88 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 180315 0 0 0 106258 5930 0 0 25 0 1 0 185281999 441368576 105546 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 107756 105546 574 886 0 106866 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 431024 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1406568/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=455084 CPUtime=1181.85 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 186455 0 0 0 111940 6245 0 0 25 0 1 0 185281999 466006016 111686 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 113771 111686 574 886 0 112881 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 455084 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1384680/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=476632 CPUtime=1241.83 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 191957 0 0 0 117623 6560 0 0 25 0 1 0 185281999 488071168 117188 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 119158 117188 574 886 0 118268 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 476632 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1366120/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=493848 CPUtime=1301.82 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 196358 0 0 0 123307 6875 0 0 25 0 1 0 185281999 505700352 121589 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 123462 121589 574 886 0 122572 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 493848 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1345768/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=513664 CPUtime=1361.78 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 201407 0 0 0 128992 7186 0 0 25 0 1 0 185281999 525991936 126638 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 128416 126638 574 886 0 127526 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 513664 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1323304/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=535680 CPUtime=1421.77 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 207010 0 0 0 134676 7501 0 0 25 0 1 0 185281999 548536320 132241 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 133920 132241 574 886 0 133030 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 535680 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1307304/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=551228 CPUtime=1481.74 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 211014 0 0 0 140362 7812 0 0 25 0 1 0 185281999 564457472 136245 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 137807 136245 574 886 0 136917 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 551228 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1842 /proc/meminfo: memFree=1291752/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=566304 CPUtime=1541.72 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 214839 0 0 0 146045 8127 0 0 25 0 1 0 185281999 579895296 140070 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 141576 140070 574 886 0 140686 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 566304 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1844 /proc/meminfo: memFree=1271720/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=585816 CPUtime=1601.69 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 219836 0 0 0 151730 8439 0 0 25 0 1 0 185281999 599875584 145067 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 146454 145067 574 886 0 145564 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 585816 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1844 /proc/meminfo: memFree=1253096/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=603952 CPUtime=1661.67 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 224432 0 0 0 157410 8757 0 0 25 0 1 0 185281999 618446848 149663 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 150988 149663 574 886 0 150098 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 603952 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1844 /proc/meminfo: memFree=1239016/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=617644 CPUtime=1721.65 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 227925 0 0 0 163091 9074 0 0 25 0 1 0 185281999 632467456 153156 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 154411 153156 574 886 0 153521 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 617644 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1844 /proc/meminfo: memFree=1228776/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=627360 CPUtime=1781.63 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 231224 0 0 0 168787 9376 0 0 25 0 1 0 185281999 642416640 155608 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 156840 155608 574 886 0 155950 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 627360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1844 /proc/meminfo: memFree=1224744/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=631392 CPUtime=1800.02 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 232260 0 0 0 170531 9471 0 0 25 0 1 0 185281999 646545408 156644 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1841/statm: 157848 156644 574 886 0 156958 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 631392 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -1841 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1844 /proc/meminfo: memFree=1224744/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=631392 CPUtime=1800.72 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 232262 0 0 0 170600 9472 0 0 25 0 1 0 185281999 646545408 156646 1992294400 4194304 7823515 548682068736 18446744073709551615 4743854 0 0 4096 0 0 0 0 17 1 0 0 /proc/1841/statm: 157848 156646 576 886 0 156958 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (KiB) 631392 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1845 /proc/meminfo: memFree=1224736/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=631392 CPUtime=1801.52 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 232262 0 0 0 170680 9472 0 0 25 0 1 0 185281999 646545408 156646 1992294400 4194304 7823515 548682068736 18446744073709551615 4806229 0 0 4096 0 0 0 0 17 1 0 0 /proc/1841/statm: 157848 156646 576 886 0 156958 0 Current children cumulated CPU time (s) 1801.52 Current children cumulated vsize (KiB) 631392 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1845 /proc/meminfo: memFree=1224736/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=631392 CPUtime=1801.92 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 232262 0 0 0 170720 9472 0 0 25 0 1 0 185281999 646545408 156646 1992294400 4194304 7823515 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0 /proc/1841/statm: 157848 156646 576 886 0 156958 0 Current children cumulated CPU time (s) 1801.92 Current children cumulated vsize (KiB) 631392 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/67 1845 /proc/meminfo: memFree=1224736/2055924 swapFree=4179404/4192956 [pid=1841] ppid=1839 vsize=631392 CPUtime=1802.02 /proc/1841/stat : 1841 (pbscip.linux.x8) R 1839 1841 1803 0 -1 4194304 232262 0 0 0 170730 9472 0 0 25 0 1 0 185281999 646545408 156646 1992294400 4194304 7823515 548682068736 18446744073709551615 5875141 0 0 4096 0 0 0 0 17 1 0 0 /proc/1841/statm: 157848 156646 576 886 0 156958 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 631392 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.8 CPU time (s): 1802.13 CPU user time (s): 1707.31 CPU system time (s): 94.8136 CPU usage (%): 99.9624 Max. virtual memory (cumulated for all children) (KiB): 631392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1707.31 system time used= 94.8136 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 232262 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2217 runsolver used 2.05169 second user time and 4.49432 second system time The end
Begin job on node83 at 2009-06-16 20:27:16 IDJOB=1869530 IDBENCH=2920 IDSOLVER=683 FILE ID=node83/1869530-1245176836 PBS_JOBID= 9368274 Free space on /tmp= 66508 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869530-1245176836/watcher-1869530-1245176836 -o /tmp/evaluation-result-1869530-1245176836/solver-1869530-1245176836 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869530-1245176836.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED=665725735 node83.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.265 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.265 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055924 kB MemFree: 1853576 kB Buffers: 29528 kB Cached: 103528 kB SwapCached: 7704 kB Active: 31776 kB Inactive: 110332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1853576 kB SwapTotal: 4192956 kB SwapFree: 4179404 kB Dirty: 9920 kB Writeback: 0 kB Mapped: 14812 kB Slab: 46168 kB Committed_AS: 74592 kB PageTables: 1392 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= 66496 MiB End job on node83 at 2009-06-16 20:57:19