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-1869494-1245174657.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/140 (72.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 140 variables (140 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.03 c 6 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c OPT-LIN
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = c 1620
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = c 1791
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = c 10000
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving problem
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 64 | 465k| 0 | 6 | 140 | 6 | 6 | 140 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 98 | 548k| 0 | 10 | 140 | 6 | 6 | 140 | 13 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 105 | 605k| 0 | 12 | 140 | 6 | 6 | 140 | 18 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 114 | 636k| 0 | 15 | 140 | 6 | 6 | 140 | 22 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.09 c 0.1s| 1 | 0 | 116 | 642k| 0 | 16 | 140 | 6 | 6 | 140 | 24 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 131 | 654k| 0 | 17 | 140 | 6 | 6 | 140 | 25 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 134 | 660k| 0 | 19 | 140 | 6 | 6 | 140 | 27 | 21 | 0 | 0 | 1.818989e-12 | -- | Inf
0.19/0.23 c 0.2s| 1 | 2 | 134 | 660k| 0 | 19 | 140 | 6 | 6 | 140 | 27 | 21 | 0 | 19 | 1.818989e-12 | -- | Inf
0.39/0.43 o 474
0.39/0.43 c f 0.4s| 96 | 88 | 721 | 763k| 37 | - | 140 | 6 | 0 | 140 | 19 | 21 | 5 | 380 | 1.818989e-12 | 4.740000e+02 | Inf
0.50/0.51 o 473
0.50/0.51 c l 0.5s| 166 | 158 | 1141 | 785k| 38 | - | 140 | 14 | 0 | 140 | 19 | 21 | 14 | 470 | 1.818989e-12 | 4.730000e+02 | Inf
0.50/0.58 o 222
0.50/0.58 c f 0.5s| 260 | 234 | 1537 | 825k| 45 | - | 140 | 14 | 4 | 140 | 19 | 21 | 14 | 541 | 1.818989e-12 | 2.220000e+02 | Inf
0.59/0.62 o 221
0.59/0.62 c l 0.6s| 332 | 298 | 1784 | 856k| 45 | - | 140 | 14 | 0 | 140 | 19 | 21 | 17 | 585 | 1.818989e-12 | 2.210000e+02 | Inf
0.59/0.68 o 219
0.59/0.68 c * 0.6s| 399 | 361 | 2187 | 886k| 45 | - | 140 | 15 | 1 | 140 | 19 | 21 | 18 | 639 | 1.818989e-12 | 2.190000e+02 | Inf
0.59/0.69 o 217
0.59/0.69 c c 0.6s| 402 | 362 | 2196 | 893k| 45 | - | 140 | 15 | 1 | 140 | 19 | 21 | 19 | 655 | 1.818989e-12 | 2.170000e+02 | Inf
0.69/0.76 o 215
0.69/0.76 c l 0.7s| 491 | 444 | 2708 | 938k| 45 | - | 140 | 15 | 0 | 140 | 19 | 21 | 24 | 680 | 1.818989e-12 | 2.150000e+02 | Inf
0.69/0.79 o 213
0.69/0.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.79 c p 0.7s| 536 | 486 | 2932 | 957k| 45 | - | 140 | 15 | 1 | 140 | 19 | 21 | 26 | 688 | 1.818989e-12 | 2.130000e+02 | Inf
0.80/0.84 o 212
0.80/0.84 c * 0.8s| 603 | 548 | 3231 | 990k| 45 | - | 140 | 15 | 3 | 140 | 19 | 21 | 26 | 706 | 1.818989e-12 | 2.120000e+02 | Inf
0.80/0.87 o 150
0.80/0.87 c g 0.8s| 649 | 553 | 3442 | 993k| 45 | - | 140 | 15 | 1 | 140 | 19 | 21 | 26 | 725 | 1.818989e-12 | 1.500000e+02 | Inf
1.09/1.15 o 149
1.09/1.15 c p 1.1s| 1004 | 887 | 5803 |1166k| 45 | - | 140 | 26 | 0 | 140 | 19 | 21 | 46 | 767 | 1.818989e-12 | 1.490000e+02 | Inf
1.09/1.17 o 148
1.09/1.17 c v 1.1s| 1025 | 906 | 5977 |1183k| 45 | - | 140 | 26 | 3 | 140 | 19 | 21 | 50 | 771 | 1.818989e-12 | 1.480000e+02 | Inf
1.19/1.22 o 146
1.19/1.22 c f 1.1s| 1094 | 972 | 6400 |1215k| 45 | - | 140 | 26 | 1 | 140 | 19 | 21 | 57 | 775 | 1.818989e-12 | 1.460000e+02 | Inf
1.49/1.53 o 144
1.49/1.53 c f 1.4s| 1528 | 1385 | 9125 |1440k| 49 | - | 140 | 39 | 3 | 140 | 19 | 21 | 81 | 811 | 1.818989e-12 | 1.440000e+02 | Inf
2.49/2.51 o 142
2.49/2.51 c f 2.3s| 2675 | 2507 | 17333 |1969k| 49 | - | 140 | 52 | 17 | 140 | 19 | 21 | 164 | 823 | 1.818989e-12 | 1.420000e+02 | Inf
2.49/2.58 o 101
2.49/2.58 c c 2.4s| 2739 | 2473 | 17866 |1933k| 49 | - | 140 | 52 | 22 | 140 | 19 | 21 | 171 | 823 | 1.818989e-12 | 1.010000e+02 | Inf
2.69/2.77 o 99
2.69/2.77 c p 2.6s| 2956 | 2674 | 19385 |2017k| 49 | - | 140 | 46 | 7 | 140 | 19 | 21 | 193 | 827 | 1.818989e-12 | 9.900000e+01 | Inf
2.78/2.87 o 97
2.78/2.87 c l 2.6s| 3071 | 2785 | 20224 |2070k| 49 | - | 140 | 46 | 5 | 140 | 19 | 21 | 201 | 827 | 1.818989e-12 | 9.700000e+01 | Inf
2.99/3.01 o 95
2.99/3.01 c l 2.8s| 3255 | 2951 | 21379 |2148k| 49 | - | 140 | 46 | 0 | 140 | 19 | 21 | 217 | 829 | 1.818989e-12 | 9.500000e+01 | Inf
2.99/3.07 o 93
2.99/3.07 c l 2.8s| 3321 | 3002 | 22182 |2173k| 49 | - | 140 | 51 | 14 | 140 | 19 | 21 | 227 | 832 | 1.818989e-12 | 9.300000e+01 | Inf
3.18/3.23 o 92
3.18/3.23 c * 3.0s| 3505 | 3176 | 23567 |2254k| 49 | - | 140 | 51 | 12 | 140 | 19 | 21 | 236 | 838 | 1.818989e-12 | 9.200000e+01 | Inf
3.18/3.23 o 90
3.18/3.23 c * 3.0s| 3506 | 3166 | 23569 |2250k| 49 | - | 140 | 51 | 12 | 140 | 19 | 21 | 236 | 840 | 1.818989e-12 | 9.000000e+01 | Inf
3.48/3.59 o 89
3.48/3.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.48/3.59 c p 3.3s| 3891 | 3520 | 26432 |2419k| 49 | - | 140 | 51 | 11 | 140 | 19 | 21 | 264 | 847 | 1.818989e-12 | 8.900000e+01 | Inf
3.69/3.73 o 86
3.69/3.73 c c 3.5s| 4045 | 3651 | 27464 |2463k| 49 | - | 140 | 51 | 11 | 140 | 19 | 21 | 276 | 850 | 1.818989e-12 | 8.600000e+01 | Inf
3.69/3.74 o 85
3.69/3.74 c * 3.5s| 4061 | 3665 | 27567 |2470k| 49 | - | 140 | 51 | 6 | 140 | 19 | 21 | 276 | 857 | 1.818989e-12 | 8.500000e+01 | Inf
3.88/3.90 o 84
3.88/3.90 c c 3.6s| 4246 | 3844 | 28712 |2552k| 49 | - | 140 | 51 | 9 | 140 | 19 | 21 | 292 | 867 | 1.818989e-12 | 8.400000e+01 | Inf
3.88/3.90 o 82
3.88/3.90 c p 3.6s| 4246 | 3837 | 28713 |2551k| 49 | - | 140 | 51 | 9 | 140 | 19 | 21 | 293 | 867 | 1.818989e-12 | 8.200000e+01 | Inf
5.08/5.17 o 78
5.08/5.17 c c 4.8s| 5529 | 4988 | 39042 |3080k| 49 | - | 140 | 48 | 9 | 140 | 19 | 21 | 437 | 887 | 1.818989e-12 | 7.800000e+01 | Inf
5.19/5.29 o 76
5.19/5.29 c p 4.9s| 5634 | 5076 | 39932 |3126k| 49 | - | 140 | 48 | 13 | 140 | 19 | 21 | 445 | 887 | 1.818989e-12 | 7.600000e+01 | Inf
5.49/5.54 o 75
5.49/5.54 c * 5.2s| 5880 | 5276 | 41984 |3227k| 49 | - | 140 | 44 | 3 | 140 | 19 | 21 | 469 | 892 | 1.818989e-12 | 7.500000e+01 | Inf
5.49/5.55 o 73
5.49/5.55 c * 5.2s| 5881 | 5263 | 41987 |3216k| 49 | - | 140 | 44 | 3 | 140 | 19 | 21 | 469 | 892 | 1.818989e-12 | 7.300000e+01 | Inf
5.88/5.90 o 66
5.88/5.90 c g 5.5s| 6197 | 5460 | 44834 |3310k| 49 | - | 140 | 41 | 6 | 140 | 19 | 21 | 505 | 901 | 1.818989e-12 | 6.600000e+01 | Inf
6.08/6.15 o 65
6.08/6.15 c p 5.7s| 6433 | 5647 | 46685 |3410k| 49 | - | 140 | 38 | 6 | 140 | 19 | 21 | 524 | 918 | 1.818989e-12 | 6.500000e+01 | Inf
6.08/6.16 o 64
6.08/6.16 c * 5.7s| 6448 | 5637 | 46786 |3412k| 49 | - | 140 | 38 | 7 | 140 | 19 | 21 | 526 | 921 | 1.818989e-12 | 6.400000e+01 | Inf
7.89/7.98 o 62
7.89/7.98 c l 7.4s| 8284 | 7137 | 61320 |4182k| 49 | - | 140 | 30 | 2 | 140 | 19 | 21 | 785 | 994 | 1.818989e-12 | 6.200000e+01 | Inf
9.29/9.40 o 61
9.29/9.40 c v 8.7s| 9655 | 8298 | 72380 |4743k| 49 | - | 140 | 32 | 2 | 140 | 19 | 21 | 970 |1043 | 1.818989e-12 | 6.100000e+01 | Inf
9.38/9.43 o 59
9.38/9.43 c f 8.8s| 9698 | 8301 | 72717 |4756k| 49 | - | 140 | 32 | 2 | 140 | 19 | 21 | 973 |1045 | 1.818989e-12 | 5.900000e+01 | Inf
9.58/9.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.58/9.69 c 9.0s| 10000 | 8538 | 74671 |4871k| 49 | 6 | 140 | 32 | 12 | 140 | 19 | 21 |1002 |1051 | 1.818989e-12 | 5.900000e+01 | Inf
9.79/9.81 o 57
9.79/9.81 c * 9.1s| 10133 | 8589 | 75715 |4894k| 49 | - | 140 | 32 | 2 | 140 | 19 | 21 |1012 |1063 | 1.818989e-12 | 5.700000e+01 | Inf
10.19/10.22 o 56
10.19/10.22 c s 9.5s| 10635 | 8923 | 79077 |5082k| 49 | - | 140 | 32 | 6 | 140 | 19 | 21 |1045 |1083 | 1.818989e-12 | 5.600000e+01 | Inf
10.59/10.64 o 23
10.59/10.64 c c 9.9s| 11036 | 7020 | 82252 |3940k| 49 | - | 140 | 35 | 6 | 140 | 19 | 21 |1085 |1096 | 1.818989e-12 | 2.300000e+01 | Inf
11.19/11.20 o 22
11.19/11.20 c *10.4s| 11782 | 7381 | 86163 |4150k| 49 | - | 140 | 32 | 2 | 140 | 19 | 21 |1150 |1141 | 1.818989e-12 | 2.200000e+01 | Inf
11.19/11.20 o 20
11.19/11.20 c *10.4s| 11784 | 7259 | 86165 |4078k| 49 | - | 140 | 32 | 2 | 140 | 19 | 21 |1150 |1143 | 1.818989e-12 | 2.000000e+01 | Inf
14.88/14.99 o 18
14.88/14.99 c *14.0s| 17454 | 9876 |112977 |5868k| 49 | - | 140 | 42 | 4 | 140 | 19 | 21 |1641 |1456 | 1.818989e-12 | 1.800000e+01 | Inf
17.68/17.77 c 16.5s| 20000 | 10764 |123917 |6606k| 49 | - | 140 | 49 | 10 | 140 | 19 | 21 |1837 |1567 | 1.818989e-12 | 1.800000e+01 | Inf
17.89/17.95 o 16
17.89/17.95 c *16.7s| 20253 | 10302 |125215 |6089k| 49 | - | 140 | 49 | 2 | 140 | 19 | 21 |1859 |1592 | 1.818989e-12 | 1.600000e+01 | Inf
22.98/23.04 c 21.5s| 30000 | 13301 |166655 |7996k| 49 | 6 | 140 | 55 | 11 | 140 | 19 | 21 |2359 |1922 | 1.818989e-12 | 1.600000e+01 | Inf
24.78/24.83 o 14
24.78/24.83 c *23.1s| 33158 | 14189 |180978 |8507k| 49 | - | 140 | 57 | 2 | 140 | 19 | 21 |2554 |2009 | 1.818989e-12 | 1.400000e+01 | Inf
24.78/24.84 o 12
24.78/24.84 c *23.2s| 33183 | 13879 |181108 |8166k| 49 | - | 140 | 57 | 3 | 140 | 19 | 21 |2554 |2014 | 1.818989e-12 | 1.200000e+01 | Inf
28.68/28.77 c 26.8s| 40000 | 15547 |208670 |9342k| 49 | 6 | 140 | 70 | 13 | 140 | 19 | 21 |2929 |2195 | 1.818989e-12 | 1.200000e+01 | Inf
33.37/33.47 c 31.2s| 50000 | 17456 |247550 | 10M| 49 | - | 140 | 63 | 7 | 0 | 0 | 21 |3429 |2459 | 1.818989e-12 | 1.200000e+01 | Inf
37.66/37.78 c 35.2s| 60000 | 18627 |284571 | 11M| 49 | - | 140 | 50 | 8 | 0 | 0 | 21 |3855 |2746 | 1.818989e-12 | 1.200000e+01 | Inf
42.46/42.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.46/42.57 c 39.7s| 70000 | 21517 |324798 | 13M| 49 | - | 140 | 46 | 8 | 140 | 19 | 21 |4348 |2947 | 1.818989e-12 | 1.200000e+01 | Inf
47.47/47.59 c 44.4s| 80000 | 24837 |365897 | 15M| 49 | 6 | 140 | 46 | 9 | 140 | 19 | 21 |4933 |3130 | 1.818989e-12 | 1.200000e+01 | Inf
52.07/52.16 c 48.7s| 90000 | 27362 |404160 | 17M| 49 | 6 | 140 | 40 | 9 | 140 | 19 | 21 |5468 |3333 | 1.818989e-12 | 1.200000e+01 | Inf
56.86/56.98 c 53.2s|100000 | 30108 |444602 | 18M| 49 | 6 | 140 | 44 | 8 | 140 | 19 | 21 |5948 |3491 | 1.818989e-12 | 1.200000e+01 | Inf
61.76/61.83 c 57.8s|110000 | 33285 |485648 | 20M| 49 | - | 140 | 47 | 9 | 0 | 0 | 21 |6465 |3678 | 1.818989e-12 | 1.200000e+01 | Inf
66.26/66.36 c 62.0s|120000 | 35812 |524169 | 22M| 49 | 6 | 140 | 53 | 9 | 140 | 19 | 21 |6851 |3841 | 1.818989e-12 | 1.200000e+01 | Inf
70.66/70.70 c 66.0s|130000 | 38035 |560769 | 23M| 49 | - | 140 | 43 | 11 | 140 | 19 | 21 |7314 |4001 | 1.818989e-12 | 1.200000e+01 | Inf
74.95/75.02 c 70.1s|140000 | 40221 |598363 | 25M| 49 | 6 | 140 | 38 | 9 | 140 | 19 | 21 |7751 |4172 | 1.818989e-12 | 1.200000e+01 | Inf
79.26/79.35 c 74.1s|150000 | 41814 |634705 | 26M| 49 | 6 | 140 | 32 | 8 | 140 | 19 | 21 |8061 |4294 | 1.818989e-12 | 1.200000e+01 | Inf
83.45/83.55 c 78.0s|160000 | 43146 |670573 | 27M| 49 | - | 140 | 34 | 10 | 140 | 19 | 21 |8402 |4430 | 1.818989e-12 | 1.200000e+01 | Inf
87.65/87.78 c 82.0s|170000 | 44568 |707883 | 28M| 49 | - | 140 | 34 | 9 | 140 | 19 | 21 |8773 |4557 | 1.818989e-12 | 1.200000e+01 | Inf
91.85/91.94 c 85.8s|180000 | 45420 |744485 | 29M| 49 | 6 | 140 | 35 | 8 | 140 | 19 | 21 |9096 |4695 | 1.818989e-12 | 1.200000e+01 | Inf
96.05/96.11 c 89.8s|190000 | 46385 |781337 | 30M| 49 | - | 140 | 36 | 7 | 0 | 0 | 21 |9402 |4832 | 1.818989e-12 | 1.200000e+01 | Inf
100.15/100.28 c 93.6s|200000 | 47294 |817550 | 31M| 49 | - | 140 | 31 | 8 | 140 | 19 | 21 |9678 |4957 | 1.818989e-12 | 1.200000e+01 | Inf
104.35/104.44 c 97.5s|210000 | 48416 |853837 | 32M| 49 | 6 | 140 | 32 | 8 | 140 | 19 | 21 |9958 |5061 | 1.818989e-12 | 1.200000e+01 | Inf
108.55/108.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.55/108.60 c 101s|220000 | 49180 |891139 | 32M| 49 | 6 | 140 | 34 | 9 | 140 | 19 | 21 | 10k|5179 | 1.818989e-12 | 1.200000e+01 | Inf
112.64/112.77 c 105s|230000 | 49942 |928409 | 33M| 49 | 6 | 140 | 31 | 8 | 140 | 19 | 21 | 10k|5283 | 1.818989e-12 | 1.200000e+01 | Inf
116.94/117.00 c 109s|240000 | 50874 |965921 | 34M| 49 | - | 140 | 30 | 8 | 140 | 19 | 21 | 10k|5405 | 1.818989e-12 | 1.200000e+01 | Inf
121.14/121.26 c 113s|250000 | 51903 | 1003k| 35M| 49 | - | 140 | 29 | 7 | 140 | 19 | 21 | 11k|5506 | 1.818989e-12 | 1.200000e+01 | Inf
125.34/125.48 c 117s|260000 | 53233 | 1040k| 36M| 49 | 6 | 140 | 30 | 8 | 140 | 19 | 21 | 11k|5607 | 1.818989e-12 | 1.200000e+01 | Inf
128.04/128.11 o 10
128.04/128.11 c * 120s|266297 | 52682 | 1063k| 35M| 49 | - | 140 | 30 | 2 | 140 | 19 | 21 | 11k|5678 | 1.818989e-12 | 1.000000e+01 | Inf
129.54/129.60 c 121s|270000 | 52725 | 1075k| 35M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 11k|5708 | 1.818989e-12 | 1.000000e+01 | Inf
133.45/133.60 c 125s|280000 | 53169 | 1111k| 35M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 11k|5824 | 1.818989e-12 | 1.000000e+01 | Inf
137.44/137.53 c 128s|290000 | 53729 | 1145k| 36M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 12k|5906 | 1.818989e-12 | 1.000000e+01 | Inf
141.54/141.60 c 132s|300000 | 54546 | 1180k| 36M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 12k|6011 | 1.818989e-12 | 1.000000e+01 | Inf
145.84/145.90 c 136s|310000 | 56422 | 1218k| 38M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 12k|6098 | 1.818989e-12 | 1.000000e+01 | Inf
150.24/150.30 c 140s|320000 | 58586 | 1256k| 39M| 49 | 6 | 140 | 33 | 8 | 140 | 19 | 21 | 13k|6196 | 1.818989e-12 | 1.000000e+01 | Inf
154.64/154.76 c 145s|330000 | 61528 | 1295k| 41M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 13k|6282 | 1.818989e-12 | 1.000000e+01 | Inf
159.03/159.13 c 149s|340000 | 64176 | 1333k| 42M| 49 | - | 140 | 29 | 8 | 140 | 19 | 21 | 13k|6389 | 1.818989e-12 | 1.000000e+01 | Inf
163.23/163.38 c 153s|350000 | 66368 | 1369k| 43M| 49 | 6 | 140 | 32 | 8 | 140 | 19 | 21 | 14k|6490 | 1.818989e-12 | 1.000000e+01 | Inf
167.33/167.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.33/167.46 c 156s|360000 | 68189 | 1404k| 44M| 49 | 6 | 140 | 32 | 8 | 140 | 19 | 21 | 14k|6598 | 1.818989e-12 | 1.000000e+01 | Inf
171.44/171.53 c 160s|370000 | 70159 | 1439k| 46M| 49 | 6 | 140 | 32 | 8 | 140 | 19 | 21 | 14k|6708 | 1.818989e-12 | 1.000000e+01 | Inf
175.43/175.56 c 164s|380000 | 71709 | 1475k| 47M| 49 | 6 | 140 | 29 | 8 | 140 | 19 | 21 | 15k|6787 | 1.818989e-12 | 1.000000e+01 | Inf
179.63/179.73 c 168s|390000 | 73756 | 1511k| 48M| 49 | 6 | 140 | 29 | 8 | 140 | 19 | 21 | 15k|6889 | 1.818989e-12 | 1.000000e+01 | Inf
183.53/183.61 c 172s|400000 | 74831 | 1544k| 49M| 49 | - | 140 | 35 | 9 | 0 | 0 | 21 | 15k|6992 | 1.818989e-12 | 1.000000e+01 | Inf
187.53/187.63 c 175s|410000 | 76204 | 1579k| 50M| 49 | 6 | 140 | 36 | 9 | 140 | 19 | 21 | 16k|7075 | 1.818989e-12 | 1.000000e+01 | Inf
191.43/191.54 c 179s|420000 | 77574 | 1613k| 51M| 49 | - | 140 | 28 | 8 | 0 | 0 | 21 | 16k|7163 | 1.818989e-12 | 1.000000e+01 | Inf
195.33/195.41 c 183s|430000 | 78426 | 1647k| 51M| 49 | - | 140 | 29 | 9 | 0 | 0 | 21 | 16k|7258 | 1.818989e-12 | 1.000000e+01 | Inf
199.32/199.40 c 186s|440000 | 79661 | 1681k| 52M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 17k|7331 | 1.818989e-12 | 1.000000e+01 | Inf
203.22/203.31 c 190s|450000 | 80652 | 1713k| 53M| 49 | - | 140 | 27 | 8 | 140 | 19 | 21 | 17k|7412 | 1.818989e-12 | 1.000000e+01 | Inf
207.13/207.26 c 194s|460000 | 81705 | 1746k| 54M| 49 | 6 | 140 | 28 | 9 | 140 | 19 | 21 | 17k|7493 | 1.818989e-12 | 1.000000e+01 | Inf
211.02/211.15 c 197s|470000 | 82616 | 1780k| 55M| 49 | - | 140 | 27 | 8 | 0 | 0 | 21 | 17k|7581 | 1.818989e-12 | 1.000000e+01 | Inf
214.92/215.03 c 201s|480000 | 83819 | 1813k| 55M| 49 | - | 140 | 26 | 8 | 140 | 19 | 21 | 18k|7656 | 1.818989e-12 | 1.000000e+01 | Inf
218.83/218.93 c 204s|490000 | 84323 | 1845k| 56M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 18k|7737 | 1.818989e-12 | 1.000000e+01 | Inf
222.72/222.89 c 208s|500000 | 85203 | 1879k| 57M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 18k|7828 | 1.818989e-12 | 1.000000e+01 | Inf
226.61/226.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.61/226.78 c 212s|510000 | 85837 | 1913k| 57M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 19k|7899 | 1.818989e-12 | 1.000000e+01 | Inf
230.52/230.61 c 215s|520000 | 86398 | 1946k| 58M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 19k|7973 | 1.818989e-12 | 1.000000e+01 | Inf
234.31/234.49 c 219s|530000 | 87000 | 1980k| 58M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 19k|8043 | 1.818989e-12 | 1.000000e+01 | Inf
238.22/238.33 c 223s|540000 | 87693 | 2013k| 59M| 49 | 6 | 140 | 29 | 8 | 140 | 19 | 21 | 20k|8132 | 1.818989e-12 | 1.000000e+01 | Inf
242.12/242.21 c 226s|550000 | 88545 | 2046k| 60M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 20k|8196 | 1.818989e-12 | 1.000000e+01 | Inf
246.01/246.14 c 230s|560000 | 89390 | 2079k| 60M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 20k|8273 | 1.818989e-12 | 1.000000e+01 | Inf
249.91/250.07 c 234s|570000 | 90156 | 2114k| 61M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 21k|8336 | 1.818989e-12 | 1.000000e+01 | Inf
253.92/254.02 c 237s|580000 | 90985 | 2148k| 62M| 49 | - | 140 | 26 | 8 | 140 | 19 | 21 | 21k|8400 | 1.818989e-12 | 1.000000e+01 | Inf
257.71/257.89 c 241s|590000 | 91507 | 2183k| 62M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 21k|8488 | 1.818989e-12 | 1.000000e+01 | Inf
261.61/261.75 c 244s|600000 | 91844 | 2216k| 63M| 49 | - | 140 | 27 | 8 | 140 | 19 | 21 | 21k|8577 | 1.818989e-12 | 1.000000e+01 | Inf
265.60/265.75 c 248s|610000 | 93102 | 2251k| 64M| 49 | 6 | 140 | 30 | 8 | 140 | 19 | 21 | 22k|8645 | 1.818989e-12 | 1.000000e+01 | Inf
269.50/269.66 c 252s|620000 | 94479 | 2285k| 64M| 49 | 6 | 140 | 29 | 8 | 140 | 19 | 21 | 22k|8710 | 1.818989e-12 | 1.000000e+01 | Inf
273.51/273.64 c 256s|630000 | 96320 | 2321k| 66M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 22k|8779 | 1.818989e-12 | 1.000000e+01 | Inf
277.40/277.54 c 259s|640000 | 97239 | 2354k| 66M| 49 | 6 | 140 | 29 | 8 | 140 | 19 | 21 | 23k|8845 | 1.818989e-12 | 1.000000e+01 | Inf
281.30/281.41 c 263s|650000 | 97913 | 2387k| 67M| 49 | 6 | 140 | 29 | 8 | 140 | 19 | 21 | 23k|8931 | 1.818989e-12 | 1.000000e+01 | Inf
285.20/285.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.20/285.34 c 267s|660000 | 98618 | 2421k| 68M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 23k|9033 | 1.818989e-12 | 1.000000e+01 | Inf
289.00/289.16 c 270s|670000 | 99046 | 2454k| 68M| 49 | - | 140 | 28 | 8 | 140 | 19 | 21 | 24k|9100 | 1.818989e-12 | 1.000000e+01 | Inf
292.90/293.01 c 274s|680000 | 99889 | 2487k| 69M| 49 | - | 140 | 30 | 9 | 140 | 19 | 21 | 24k|9170 | 1.818989e-12 | 1.000000e+01 | Inf
296.70/296.85 c 277s|690000 |100567 | 2521k| 69M| 49 | - | 140 | 28 | 8 | 140 | 19 | 21 | 24k|9247 | 1.818989e-12 | 1.000000e+01 | Inf
300.60/300.73 c 281s|700000 |101335 | 2556k| 70M| 49 | - | 140 | 29 | 8 | 140 | 19 | 21 | 24k|9310 | 1.818989e-12 | 1.000000e+01 | Inf
304.39/304.56 c 285s|710000 |101591 | 2589k| 70M| 49 | - | 140 | 28 | 8 | 140 | 19 | 21 | 25k|9393 | 1.818989e-12 | 1.000000e+01 | Inf
308.19/308.38 c 288s|720000 |101965 | 2621k| 71M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 25k|9478 | 1.818989e-12 | 1.000000e+01 | Inf
312.19/312.31 c 292s|730000 |102995 | 2657k| 72M| 49 | - | 140 | 28 | 8 | 140 | 19 | 21 | 25k|9550 | 1.818989e-12 | 1.000000e+01 | Inf
315.99/316.13 c 295s|740000 |103468 | 2691k| 72M| 49 | - | 140 | 28 | 8 | 140 | 19 | 21 | 26k|9613 | 1.818989e-12 | 1.000000e+01 | Inf
319.80/319.99 c 299s|750000 |103825 | 2724k| 72M| 49 | - | 140 | 28 | 8 | 140 | 19 | 21 | 26k|9679 | 1.818989e-12 | 1.000000e+01 | Inf
323.70/323.85 c 303s|760000 |104269 | 2756k| 73M| 49 | - | 140 | 28 | 8 | 140 | 19 | 21 | 26k|9747 | 1.818989e-12 | 1.000000e+01 | Inf
327.59/327.77 c 306s|770000 |105245 | 2791k| 74M| 49 | 6 | 140 | 32 | 8 | 140 | 19 | 21 | 26k|9825 | 1.818989e-12 | 1.000000e+01 | Inf
331.49/331.62 c 310s|780000 |105742 | 2824k| 74M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 27k|9899 | 1.818989e-12 | 1.000000e+01 | Inf
335.39/335.51 c 313s|790000 |106555 | 2858k| 75M| 49 | - | 140 | 31 | 9 | 140 | 19 | 21 | 27k|9965 | 1.818989e-12 | 1.000000e+01 | Inf
339.18/339.36 c 317s|800000 |107203 | 2892k| 76M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 27k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
342.99/343.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.99/343.20 c 321s|810000 |107495 | 2925k| 76M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 28k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
346.89/347.05 c 324s|820000 |107640 | 2959k| 76M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 28k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
350.69/350.82 c 328s|830000 |107619 | 2991k| 76M| 49 | 6 | 140 | 29 | 9 | 140 | 19 | 21 | 28k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
354.48/354.67 c 331s|840000 |107865 | 3025k| 77M| 49 | - | 140 | 27 | 8 | 140 | 19 | 21 | 28k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
358.38/358.52 c 335s|850000 |108251 | 3059k| 77M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 29k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
362.18/362.34 c 339s|860000 |108888 | 3092k| 78M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 29k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
365.98/366.12 c 342s|870000 |108970 | 3124k| 78M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 29k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
369.68/369.89 c 346s|880000 |109148 | 3157k| 78M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 30k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
373.47/373.66 c 349s|890000 |109188 | 3191k| 79M| 49 | 6 | 140 | 30 | 10 | 140 | 19 | 21 | 30k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
377.28/377.45 c 353s|900000 |109179 | 3224k| 79M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 30k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
381.18/381.39 c 356s|910000 |110295 | 3258k| 80M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 30k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
385.18/385.38 c 360s|920000 |111393 | 3293k| 80M| 49 | 6 | 140 | 27 | 9 | 140 | 19 | 21 | 30k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
389.08/389.23 c 364s|930000 |111920 | 3326k| 81M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 31k| 10k| 1.818989e-12 | 1.000000e+01 | Inf
389.88/390.01 o 9
389.88/390.01 c * 364s|931979 |111044 | 3333k| 79M| 49 | - | 140 | 28 | 2 | 140 | 19 | 21 | 31k| 10k| 1.818989e-12 | 9.000000e+00 | Inf
392.88/393.09 c 367s|940000 |111531 | 3360k| 80M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 31k| 10k| 1.818989e-12 | 9.000000e+00 | Inf
396.77/396.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.77/396.96 c 371s|950000 |112247 | 3394k| 80M| 49 | - | 140 | 30 | 8 | 140 | 19 | 21 | 31k| 10k| 1.818989e-12 | 9.000000e+00 | Inf
402.27/402.44 c 376s|960000 |112721 | 3425k| 81M| 49 | - | 140 | 26 | 8 | 0 | 0 | 21 | 31k| 11k| 1.818989e-12 | 9.000000e+00 | Inf
406.07/406.22 c 379s|970000 |113069 | 3457k| 81M| 49 | - | 140 | 27 | 10 | 0 | 0 | 21 | 32k| 11k| 1.818989e-12 | 9.000000e+00 | Inf
409.77/409.97 c 383s|980000 |113400 | 3489k| 82M| 49 | 6 | 140 | 30 | 8 | 140 | 19 | 21 | 32k| 11k| 1.818989e-12 | 9.000000e+00 | Inf
413.47/413.69 c 386s|990000 |113918 | 3521k| 82M| 49 | 6 | 140 | 29 | 9 | 140 | 19 | 21 | 32k| 11k| 1.818989e-12 | 9.000000e+00 | Inf
417.27/417.46 c 390s| 1000k|114298 | 3554k| 83M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 32k| 11k| 1.818989e-12 | 9.000000e+00 | Inf
421.07/421.28 c 394s| 1010k|114650 | 3587k| 83M| 49 | - | 140 | 27 | 8 | 140 | 19 | 21 | 33k| 11k| 1.818989e-12 | 9.000000e+00 | Inf
424.86/425.06 c 397s| 1020k|114645 | 3619k| 83M| 49 | - | 140 | 27 | 8 | 140 | 19 | 21 | 33k| 11k| 1.818989e-12 | 9.000000e+00 | Inf
428.67/428.87 c 401s| 1030k|115279 | 3651k| 84M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 33k| 11k| 1.818989e-12 | 9.000000e+00 | Inf
434.26/434.48 c 406s| 1040k|115832 | 3686k| 84M| 49 | 6 | 140 | 31 | 8 | 140 | 19 | 21 | 33k| 11k| 1.818989e-12 | 9.000000e+00 | Inf
438.26/438.46 c 409s| 1050k|116887 | 3722k| 85M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 34k| 11k| 1.818989e-12 | 9.000000e+00 | Inf
442.26/442.44 c 413s| 1060k|117761 | 3758k| 86M| 49 | - | 140 | 32 | 9 | 140 | 19 | 21 | 34k| 11k| 1.818989e-12 | 9.000000e+00 | Inf
446.16/446.33 c 417s| 1070k|118206 | 3792k| 86M| 49 | 6 | 140 | 31 | 8 | 140 | 19 | 21 | 34k| 11k| 1.818989e-12 | 9.000000e+00 | Inf
450.05/450.22 c 420s| 1080k|118716 | 3827k| 87M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 34k| 11k| 1.818989e-12 | 9.000000e+00 | Inf
450.96/451.10 o 8
450.96/451.10 c * 421s| 1082k|116057 | 3834k| 83M| 49 | - | 140 | 25 | 2 | 140 | 19 | 21 | 34k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
453.86/454.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.86/454.06 c 424s| 1090k|116264 | 3861k| 83M| 49 | - | 140 | 22 | 8 | 0 | 0 | 21 | 34k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
457.76/457.92 c 428s| 1100k|116728 | 3898k| 84M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 35k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
461.66/461.81 c 431s| 1110k|117265 | 3935k| 84M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 35k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
465.45/465.68 c 435s| 1120k|117789 | 3970k| 85M| 49 | - | 140 | 23 | 8 | 0 | 0 | 21 | 35k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
469.25/469.49 c 438s| 1130k|118142 | 4006k| 85M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 35k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
473.05/473.29 c 442s| 1140k|119034 | 4043k| 86M| 49 | 6 | 140 | 19 | 8 | 140 | 19 | 21 | 36k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
476.95/477.11 c 446s| 1150k|119567 | 4079k| 86M| 49 | - | 140 | 18 | 8 | 140 | 19 | 21 | 36k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
480.65/480.85 c 449s| 1160k|119797 | 4115k| 87M| 49 | 6 | 140 | 19 | 8 | 140 | 19 | 21 | 36k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
484.45/484.62 c 453s| 1170k|119978 | 4150k| 87M| 49 | - | 140 | 23 | 8 | 140 | 19 | 21 | 36k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
488.15/488.39 c 456s| 1180k|119798 | 4185k| 87M| 49 | 6 | 140 | 19 | 8 | 140 | 19 | 21 | 37k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
491.95/492.14 c 460s| 1190k|119749 | 4220k| 87M| 49 | 5 | 140 | 20 | 8 | 140 | 19 | 21 | 37k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
495.64/495.87 c 463s| 1200k|119679 | 4255k| 87M| 49 | 6 | 140 | 23 | 9 | 140 | 19 | 21 | 37k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
499.44/499.61 c 467s| 1210k|119558 | 4290k| 87M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 37k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
503.24/503.41 c 470s| 1220k|119797 | 4326k| 88M| 49 | 6 | 140 | 19 | 8 | 140 | 19 | 21 | 37k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
506.94/507.15 c 474s| 1230k|119767 | 4361k| 88M| 49 | 6 | 140 | 20 | 8 | 140 | 19 | 21 | 38k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
510.64/510.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.64/510.88 c 477s| 1240k|119722 | 4396k| 88M| 49 | - | 140 | 26 | 8 | 140 | 19 | 21 | 38k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
514.34/514.58 c 481s| 1250k|119678 | 4431k| 88M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 38k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
518.14/518.38 c 484s| 1260k|119843 | 4467k| 88M| 49 | - | 140 | 20 | 7 | 0 | 0 | 21 | 38k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
522.04/522.26 c 488s| 1270k|120783 | 4503k| 89M| 49 | - | 140 | 20 | 7 | 0 | 0 | 21 | 39k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
526.04/526.24 c 491s| 1280k|121949 | 4540k| 89M| 49 | - | 140 | 30 | 9 | 140 | 19 | 21 | 39k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
529.84/530.10 c 495s| 1290k|122916 | 4576k| 90M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 39k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
533.83/534.01 c 499s| 1300k|124509 | 4612k| 91M| 49 | 6 | 140 | 30 | 8 | 140 | 19 | 21 | 39k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
537.74/537.95 c 502s| 1310k|125989 | 4648k| 92M| 49 | - | 140 | 26 | 8 | 140 | 19 | 21 | 39k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
541.73/541.92 c 506s| 1320k|127769 | 4684k| 93M| 49 | - | 140 | 37 | 10 | 140 | 19 | 21 | 40k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
545.54/545.78 c 510s| 1330k|129024 | 4718k| 94M| 49 | 6 | 140 | 27 | 9 | 140 | 19 | 21 | 40k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
549.33/549.52 c 513s| 1340k|129864 | 4752k| 94M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 40k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
553.13/553.37 c 517s| 1350k|131281 | 4787k| 95M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 41k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
556.93/557.15 c 520s| 1360k|132110 | 4822k| 96M| 49 | - | 140 | 24 | 8 | 140 | 19 | 21 | 41k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
560.73/560.92 c 524s| 1370k|132655 | 4856k| 96M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 41k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
564.53/564.70 c 527s| 1380k|133609 | 4890k| 97M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 41k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
568.22/568.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.22/568.42 c 531s| 1390k|134305 | 4923k| 98M| 49 | 6 | 140 | 20 | 8 | 140 | 19 | 21 | 42k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
571.93/572.17 c 534s| 1400k|134891 | 4958k| 98M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 42k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
575.62/575.84 c 538s| 1410k|135333 | 4991k| 99M| 49 | 6 | 140 | 20 | 8 | 140 | 19 | 21 | 42k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
579.32/579.57 c 541s| 1420k|135844 | 5024k| 99M| 49 | - | 140 | 27 | 9 | 140 | 19 | 21 | 42k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
583.12/583.32 c 545s| 1430k|136108 | 5058k| 99M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 42k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
586.82/587.10 c 548s| 1440k|136514 | 5092k| 100M| 49 | 6 | 140 | 26 | 10 | 140 | 19 | 21 | 43k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
590.62/590.85 c 552s| 1450k|136728 | 5125k| 100M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 43k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
594.42/594.60 c 555s| 1460k|137036 | 5158k| 100M| 49 | - | 140 | 24 | 8 | 140 | 19 | 21 | 43k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
598.02/598.28 c 559s| 1470k|137548 | 5191k| 101M| 49 | - | 140 | 24 | 8 | 140 | 19 | 21 | 43k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
601.82/602.05 c 562s| 1480k|138275 | 5225k| 101M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 44k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
605.51/605.72 c 566s| 1490k|138440 | 5258k| 102M| 49 | - | 140 | 23 | 7 | 140 | 19 | 21 | 44k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
609.21/609.46 c 569s| 1500k|138445 | 5291k| 102M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 44k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
612.90/613.14 c 573s| 1510k|138855 | 5324k| 102M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 44k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
616.61/616.81 c 576s| 1520k|139014 | 5356k| 102M| 49 | 6 | 140 | 26 | 10 | 140 | 19 | 21 | 44k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
620.30/620.55 c 579s| 1530k|139192 | 5390k| 103M| 49 | - | 140 | 24 | 9 | 140 | 19 | 21 | 45k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
624.10/624.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.10/624.30 c 583s| 1540k|139548 | 5423k| 103M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 45k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
627.71/627.98 c 586s| 1550k|139527 | 5455k| 103M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 45k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
631.60/631.82 c 590s| 1560k|139929 | 5490k| 104M| 49 | - | 140 | 21 | 8 | 140 | 19 | 21 | 45k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
635.30/635.51 c 593s| 1570k|139847 | 5523k| 104M| 49 | - | 140 | 29 | 9 | 140 | 19 | 21 | 46k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
639.00/639.23 c 597s| 1580k|140255 | 5555k| 104M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 46k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
642.70/642.96 c 600s| 1590k|140236 | 5588k| 104M| 49 | - | 140 | 27 | 8 | 140 | 19 | 21 | 46k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
646.40/646.61 c 604s| 1600k|140293 | 5620k| 104M| 49 | - | 140 | 28 | 9 | 0 | 0 | 21 | 46k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
650.09/650.36 c 607s| 1610k|140312 | 5653k| 105M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 46k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
653.80/654.04 c 611s| 1620k|140374 | 5686k| 105M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 47k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
657.50/657.72 c 614s| 1630k|140329 | 5718k| 105M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 47k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
661.20/661.43 c 618s| 1640k|140510 | 5751k| 105M| 49 | - | 140 | 28 | 8 | 140 | 19 | 21 | 47k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
664.89/665.11 c 621s| 1650k|140501 | 5783k| 105M| 49 | - | 140 | 24 | 8 | 140 | 19 | 21 | 47k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
668.59/668.86 c 624s| 1660k|140377 | 5815k| 105M| 49 | - | 140 | 27 | 8 | 140 | 19 | 21 | 47k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
672.29/672.55 c 628s| 1670k|140382 | 5848k| 106M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 48k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
675.99/676.23 c 631s| 1680k|140256 | 5881k| 106M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 48k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
679.69/679.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.69/679.96 c 635s| 1690k|140421 | 5914k| 106M| 49 | - | 140 | 24 | 8 | 140 | 19 | 21 | 48k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
683.49/683.72 c 638s| 1700k|140257 | 5946k| 106M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 48k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
687.19/687.40 c 642s| 1710k|140257 | 5979k| 106M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 48k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
690.79/691.06 c 645s| 1720k|140091 | 6010k| 106M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 49k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
694.48/694.74 c 649s| 1730k|139959 | 6042k| 106M| 49 | - | 140 | 23 | 8 | 0 | 0 | 21 | 49k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
698.18/698.41 c 652s| 1740k|139775 | 6075k| 106M| 49 | 6 | 140 | 28 | 12 | 140 | 19 | 21 | 49k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
701.78/702.08 c 655s| 1750k|139538 | 6106k| 106M| 49 | - | 140 | 22 | 8 | 0 | 0 | 21 | 49k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
705.57/705.80 c 659s| 1760k|139689 | 6139k| 106M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 50k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
709.18/709.50 c 662s| 1770k|139704 | 6172k| 106M| 49 | 6 | 140 | 29 | 8 | 140 | 19 | 21 | 50k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
712.88/713.14 c 666s| 1780k|139935 | 6204k| 107M| 49 | - | 140 | 26 | 8 | 140 | 19 | 21 | 50k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
716.47/716.78 c 669s| 1790k|139929 | 6236k| 107M| 49 | - | 140 | 29 | 10 | 140 | 19 | 21 | 50k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
720.27/720.53 c 673s| 1800k|140141 | 6269k| 107M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 51k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
723.98/724.26 c 676s| 1810k|140889 | 6303k| 108M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 51k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
727.68/727.95 c 680s| 1820k|141343 | 6336k| 108M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 51k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
731.28/731.54 c 683s| 1830k|141484 | 6368k| 108M| 49 | - | 140 | 24 | 8 | 140 | 19 | 21 | 51k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
734.87/735.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.87/735.17 c 686s| 1840k|142118 | 6400k| 109M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 51k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
738.47/738.74 c 690s| 1850k|142366 | 6431k| 109M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 52k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
742.06/742.36 c 693s| 1860k|142765 | 6463k| 109M| 49 | - | 140 | 25 | 7 | 0 | 0 | 21 | 52k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
745.66/745.97 c 696s| 1870k|143048 | 6494k| 110M| 49 | - | 140 | 28 | 8 | 140 | 19 | 21 | 52k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
749.27/749.53 c 700s| 1880k|143214 | 6526k| 110M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 52k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
752.76/753.07 c 703s| 1890k|143061 | 6557k| 110M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 52k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
756.27/756.60 c 706s| 1900k|142678 | 6587k| 110M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 53k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
759.96/760.20 c 710s| 1910k|142390 | 6618k| 110M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 53k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
763.46/763.76 c 713s| 1920k|142271 | 6649k| 110M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 53k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
767.06/767.32 c 716s| 1930k|142419 | 6679k| 110M| 49 | - | 140 | 27 | 7 | 140 | 19 | 21 | 53k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
770.57/770.86 c 720s| 1940k|142624 | 6710k| 110M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 53k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
774.17/774.43 c 723s| 1950k|142536 | 6741k| 110M| 49 | 6 | 140 | 26 | 9 | 140 | 19 | 21 | 53k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
777.76/778.04 c 726s| 1960k|142420 | 6773k| 110M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 54k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
781.36/781.64 c 730s| 1970k|142262 | 6803k| 110M| 49 | - | 140 | 24 | 8 | 140 | 19 | 21 | 54k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
784.96/785.27 c 733s| 1980k|142059 | 6835k| 110M| 49 | - | 140 | 27 | 8 | 0 | 0 | 21 | 54k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
788.46/788.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
788.46/788.79 c 736s| 1990k|141963 | 6865k| 110M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 54k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
792.15/792.43 c 740s| 2000k|141918 | 6898k| 110M| 49 | - | 140 | 28 | 8 | 140 | 19 | 21 | 55k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
795.75/796.03 c 743s| 2010k|142334 | 6930k| 111M| 49 | - | 140 | 28 | 8 | 140 | 19 | 21 | 55k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
799.25/799.59 c 747s| 2020k|142123 | 6961k| 111M| 49 | - | 140 | 27 | 8 | 140 | 19 | 21 | 55k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
802.95/803.21 c 750s| 2030k|141798 | 6992k| 111M| 49 | - | 140 | 34 | 13 | 140 | 19 | 21 | 55k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
806.55/806.83 c 753s| 2040k|141830 | 7024k| 111M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 55k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
810.05/810.38 c 757s| 2050k|141927 | 7055k| 111M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 56k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
813.65/813.95 c 760s| 2060k|141523 | 7086k| 111M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 56k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
817.24/817.54 c 763s| 2070k|141076 | 7117k| 111M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 56k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
820.84/821.15 c 767s| 2080k|140748 | 7148k| 110M| 49 | - | 140 | 24 | 8 | 0 | 0 | 21 | 56k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
824.44/824.79 c 770s| 2090k|140380 | 7180k| 110M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 56k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
828.14/828.42 c 773s| 2100k|140587 | 7212k| 111M| 49 | - | 140 | 26 | 8 | 0 | 0 | 21 | 57k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
831.74/832.03 c 777s| 2110k|140202 | 7244k| 110M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 57k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
835.54/835.89 c 780s| 2120k|141235 | 7277k| 111M| 49 | 6 | 140 | 25 | 9 | 140 | 19 | 21 | 57k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
839.44/839.71 c 784s| 2130k|141807 | 7309k| 112M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 57k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
843.14/843.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.14/843.47 c 787s| 2140k|142737 | 7341k| 112M| 49 | 6 | 140 | 23 | 9 | 140 | 19 | 21 | 58k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
846.84/847.12 c 791s| 2150k|142950 | 7371k| 112M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 58k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
850.54/850.83 c 794s| 2160k|143071 | 7403k| 113M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 58k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
854.23/854.52 c 798s| 2170k|143150 | 7435k| 113M| 49 | 6 | 140 | 23 | 10 | 140 | 19 | 21 | 58k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
857.93/858.24 c 801s| 2180k|143077 | 7466k| 113M| 49 | 6 | 140 | 24 | 9 | 140 | 19 | 21 | 58k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
861.83/862.18 c 805s| 2190k|144311 | 7502k| 114M| 49 | - | 140 | 24 | 7 | 0 | 0 | 21 | 59k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
865.64/865.95 c 808s| 2200k|144967 | 7534k| 114M| 49 | - | 140 | 24 | 8 | 0 | 0 | 21 | 59k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
869.33/869.67 c 812s| 2210k|145393 | 7567k| 115M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 59k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
873.13/873.42 c 815s| 2220k|145377 | 7600k| 115M| 49 | - | 140 | 25 | 7 | 140 | 19 | 21 | 59k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
876.83/877.17 c 819s| 2230k|145667 | 7634k| 115M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 60k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
880.62/880.94 c 822s| 2240k|146243 | 7666k| 116M| 49 | 6 | 140 | 25 | 10 | 140 | 19 | 21 | 60k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
884.43/884.74 c 826s| 2250k|146752 | 7699k| 116M| 49 | - | 140 | 22 | 8 | 0 | 0 | 21 | 60k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
888.12/888.46 c 829s| 2260k|147091 | 7732k| 117M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 60k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
891.83/892.12 c 833s| 2270k|147315 | 7764k| 117M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 61k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
895.53/895.81 c 836s| 2280k|147316 | 7796k| 117M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 61k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
899.22/899.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.22/899.56 c 840s| 2290k|147279 | 7829k| 117M| 49 | - | 140 | 22 | 8 | 0 | 0 | 21 | 61k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
902.92/903.24 c 843s| 2300k|146960 | 7861k| 117M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 61k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
906.52/906.87 c 847s| 2310k|147120 | 7891k| 117M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 62k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
910.22/910.59 c 850s| 2320k|147158 | 7923k| 118M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 62k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
914.02/914.34 c 854s| 2330k|147368 | 7956k| 118M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 62k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
917.71/918.00 c 857s| 2340k|147578 | 7987k| 118M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 62k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
921.32/921.67 c 860s| 2350k|147555 | 8019k| 118M| 49 | - | 140 | 23 | 8 | 140 | 19 | 21 | 62k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
925.02/925.36 c 864s| 2360k|147434 | 8050k| 118M| 49 | - | 140 | 26 | 9 | 0 | 0 | 21 | 63k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
928.81/929.10 c 867s| 2370k|147408 | 8083k| 118M| 49 | - | 140 | 25 | 10 | 0 | 0 | 21 | 63k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
932.42/932.77 c 871s| 2380k|147285 | 8115k| 118M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 63k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
936.12/936.43 c 874s| 2390k|147490 | 8147k| 119M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 63k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
939.71/940.02 c 878s| 2400k|147290 | 8178k| 119M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 64k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
943.31/943.69 c 881s| 2410k|146839 | 8209k| 118M| 49 | - | 140 | 27 | 8 | 140 | 19 | 21 | 64k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
947.01/947.34 c 884s| 2420k|146223 | 8239k| 118M| 49 | - | 140 | 27 | 9 | 140 | 19 | 21 | 64k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
950.71/951.03 c 888s| 2430k|146243 | 8270k| 118M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 64k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
954.41/954.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.41/954.72 c 891s| 2440k|146053 | 8301k| 118M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 65k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
958.11/958.46 c 895s| 2450k|145618 | 8333k| 118M| 49 | - | 140 | 24 | 8 | 140 | 19 | 21 | 65k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
961.80/962.11 c 898s| 2460k|145151 | 8364k| 118M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 65k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
965.61/965.96 c 902s| 2470k|145659 | 8397k| 118M| 49 | - | 140 | 30 | 10 | 140 | 19 | 21 | 65k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
969.30/969.61 c 905s| 2480k|145204 | 8428k| 118M| 49 | - | 140 | 23 | 8 | 140 | 19 | 21 | 66k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
973.00/973.33 c 909s| 2490k|144962 | 8461k| 118M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 66k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
976.60/976.98 c 912s| 2500k|144446 | 8492k| 117M| 49 | - | 140 | 26 | 8 | 140 | 19 | 21 | 66k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
980.20/980.59 c 915s| 2510k|144170 | 8522k| 117M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 66k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
983.90/984.25 c 919s| 2520k|143616 | 8553k| 117M| 49 | - | 140 | 24 | 8 | 140 | 19 | 21 | 67k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
987.51/987.88 c 922s| 2530k|143249 | 8584k| 117M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 67k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
991.20/991.58 c 926s| 2540k|142787 | 8617k| 116M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 67k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
994.79/995.18 c 929s| 2550k|142423 | 8647k| 116M| 49 | - | 140 | 21 | 8 | 0 | 0 | 21 | 67k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
998.50/998.87 c 933s| 2560k|142636 | 8680k| 116M| 49 | - | 140 | 26 | 8 | 140 | 19 | 21 | 67k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1002.20/1002.50 c 936s| 2570k|142464 | 8712k| 116M| 49 | - | 140 | 21 | 8 | 140 | 19 | 21 | 68k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1005.89/1006.23 c 939s| 2580k|142825 | 8746k| 117M| 49 | 6 | 140 | 20 | 8 | 140 | 19 | 21 | 68k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1009.50/1009.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1009.50/1009.85 c 943s| 2590k|143236 | 8779k| 117M| 49 | 6 | 140 | 23 | 10 | 140 | 19 | 21 | 68k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1013.09/1013.44 c 946s| 2600k|143333 | 8812k| 117M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 68k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1016.69/1017.08 c 950s| 2610k|143600 | 8845k| 117M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 68k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1020.39/1020.72 c 953s| 2620k|143726 | 8878k| 118M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 69k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1023.89/1024.29 c 956s| 2630k|143480 | 8910k| 118M| 49 | - | 140 | 22 | 8 | 0 | 0 | 21 | 69k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1027.49/1027.87 c 960s| 2640k|143331 | 8943k| 118M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 69k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1031.08/1031.49 c 963s| 2650k|143887 | 8977k| 118M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 69k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1034.79/1035.14 c 966s| 2660k|144368 | 9010k| 118M| 49 | 6 | 140 | 23 | 9 | 140 | 19 | 21 | 69k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1038.29/1038.69 c 970s| 2670k|144320 | 9042k| 119M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 69k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1041.88/1042.22 c 973s| 2680k|144078 | 9073k| 119M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 70k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1045.39/1045.76 c 976s| 2690k|143800 | 9104k| 118M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 70k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1048.89/1049.30 c 980s| 2700k|143162 | 9135k| 118M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 70k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1052.58/1052.92 c 983s| 2710k|142738 | 9168k| 118M| 49 | - | 140 | 25 | 9 | 140 | 19 | 21 | 70k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1056.28/1056.60 c 986s| 2720k|142613 | 9201k| 118M| 49 | - | 140 | 21 | 8 | 0 | 0 | 21 | 70k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1059.87/1060.22 c 990s| 2730k|142217 | 9232k| 117M| 49 | - | 140 | 22 | 9 | 140 | 19 | 21 | 71k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1063.48/1063.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.48/1063.81 c 993s| 2740k|142002 | 9263k| 117M| 49 | - | 140 | 27 | 8 | 140 | 19 | 21 | 71k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1067.17/1067.52 c 997s| 2750k|141783 | 9296k| 117M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 71k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1070.78/1071.16 c 1000s| 2760k|141448 | 9328k| 117M| 49 | - | 140 | 21 | 7 | 0 | 0 | 21 | 71k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1074.47/1074.87 c 1003s| 2770k|141856 | 9360k| 117M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 71k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1078.17/1078.52 c 1007s| 2780k|141677 | 9391k| 117M| 49 | - | 140 | 21 | 9 | 140 | 19 | 21 | 72k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1081.87/1082.21 c 1010s| 2790k|141702 | 9423k| 117M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 72k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1085.57/1085.91 c 1014s| 2800k|141608 | 9456k| 117M| 49 | 6 | 140 | 20 | 8 | 140 | 19 | 21 | 72k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1089.17/1089.54 c 1017s| 2810k|141383 | 9488k| 117M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 72k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1092.77/1093.19 c 1020s| 2820k|141058 | 9520k| 117M| 49 | - | 140 | 22 | 8 | 0 | 0 | 21 | 72k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1096.47/1096.82 c 1024s| 2830k|140774 | 9552k| 117M| 49 | 6 | 140 | 19 | 8 | 140 | 19 | 21 | 73k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1100.07/1100.49 c 1027s| 2840k|140419 | 9583k| 117M| 49 | - | 140 | 19 | 8 | 140 | 19 | 21 | 73k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1103.77/1104.16 c 1031s| 2850k|140160 | 9616k| 117M| 49 | - | 140 | 23 | 8 | 140 | 19 | 21 | 73k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1107.37/1107.78 c 1034s| 2860k|139974 | 9649k| 117M| 49 | 6 | 140 | 22 | 9 | 140 | 19 | 21 | 73k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1111.06/1111.43 c 1038s| 2870k|139839 | 9681k| 116M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 73k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1114.56/1114.99 c 1041s| 2880k|139573 | 9712k| 116M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 74k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1118.27/1118.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.27/1118.68 c 1044s| 2890k|139614 | 9746k| 116M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 74k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1121.96/1122.34 c 1048s| 2900k|138999 | 9777k| 116M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 74k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1125.66/1126.02 c 1051s| 2910k|138692 | 9809k| 116M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 74k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1129.26/1129.65 c 1054s| 2920k|138537 | 9842k| 116M| 49 | - | 140 | 19 | 8 | 0 | 0 | 21 | 74k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1132.86/1133.28 c 1058s| 2930k|138718 | 9874k| 116M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 75k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1136.46/1136.82 c 1061s| 2940k|138817 | 9906k| 116M| 49 | 6 | 140 | 19 | 8 | 140 | 19 | 21 | 75k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1139.96/1140.37 c 1064s| 2950k|138321 | 9937k| 116M| 49 | 6 | 140 | 18 | 8 | 140 | 19 | 21 | 75k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1143.66/1144.00 c 1068s| 2960k|138063 | 9968k| 116M| 49 | 6 | 140 | 19 | 8 | 140 | 19 | 21 | 75k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1147.25/1147.66 c 1071s| 2970k|137743 | 10000k| 115M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 75k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1150.96/1151.39 c 1075s| 2980k|137844 | 10034k| 116M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 76k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1154.66/1155.02 c 1078s| 2990k|137522 | 10066k| 115M| 49 | - | 140 | 23 | 8 | 140 | 19 | 21 | 76k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1158.25/1158.66 c 1082s| 3000k|136907 | 10098k| 115M| 49 | 6 | 140 | 19 | 8 | 140 | 19 | 21 | 76k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1161.95/1162.37 c 1085s| 3010k|136692 | 10131k| 115M| 49 | - | 140 | 21 | 10 | 140 | 19 | 21 | 76k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1165.65/1166.07 c 1088s| 3020k|137023 | 10164k| 115M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 77k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1169.25/1169.64 c 1092s| 3030k|136604 | 10194k| 115M| 49 | - | 140 | 23 | 8 | 140 | 19 | 21 | 77k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1172.85/1173.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.85/1173.27 c 1095s| 3040k|136265 | 10226k| 115M| 49 | - | 140 | 22 | 9 | 140 | 19 | 21 | 77k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1176.65/1177.01 c 1099s| 3050k|136046 | 10260k| 114M| 49 | - | 140 | 20 | 9 | 0 | 0 | 21 | 77k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1180.34/1180.74 c 1102s| 3060k|136310 | 10295k| 115M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 77k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1184.05/1184.43 c 1106s| 3070k|136156 | 10327k| 115M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 78k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1188.34/1188.72 c 1110s| 3080k|138528 | 10367k| 116M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 78k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1192.34/1192.74 c 1113s| 3090k|140555 | 10405k| 117M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 78k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1196.44/1196.82 c 1117s| 3100k|142723 | 10442k| 118M| 49 | - | 140 | 31 | 8 | 140 | 19 | 21 | 79k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1200.44/1200.82 c 1121s| 3110k|144371 | 10479k| 119M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 79k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1204.44/1204.81 c 1125s| 3120k|145811 | 10517k| 120M| 49 | - | 140 | 28 | 8 | 140 | 19 | 21 | 79k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1208.24/1208.63 c 1128s| 3130k|147043 | 10553k| 121M| 49 | - | 140 | 27 | 8 | 140 | 19 | 21 | 79k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1212.03/1212.44 c 1132s| 3140k|148037 | 10588k| 122M| 49 | - | 140 | 26 | 8 | 140 | 19 | 21 | 80k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1215.93/1216.35 c 1135s| 3150k|149344 | 10624k| 122M| 49 | - | 140 | 26 | 8 | 140 | 19 | 21 | 80k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1219.83/1220.24 c 1139s| 3160k|150796 | 10660k| 123M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 80k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1223.64/1224.09 c 1143s| 3170k|151949 | 10697k| 124M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 80k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1227.54/1227.97 c 1146s| 3180k|152726 | 10733k| 125M| 49 | - | 140 | 24 | 8 | 140 | 19 | 21 | 81k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1231.54/1231.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.54/1231.97 c 1150s| 3190k|154111 | 10771k| 126M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 81k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1235.33/1235.77 c 1153s| 3200k|155197 | 10807k| 126M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 81k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1239.23/1239.70 c 1157s| 3210k|157094 | 10844k| 127M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 81k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1243.13/1243.53 c 1161s| 3220k|158034 | 10880k| 128M| 49 | 6 | 140 | 29 | 9 | 140 | 19 | 21 | 82k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1247.03/1247.41 c 1164s| 3230k|159178 | 10916k| 129M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 82k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1250.83/1251.21 c 1168s| 3240k|159896 | 10952k| 129M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 82k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1254.53/1254.97 c 1171s| 3250k|160878 | 10987k| 130M| 49 | - | 140 | 26 | 10 | 140 | 19 | 21 | 82k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1258.33/1258.76 c 1175s| 3260k|161689 | 11022k| 131M| 49 | - | 140 | 25 | 11 | 0 | 0 | 21 | 83k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1262.12/1262.52 c 1178s| 3270k|162563 | 11057k| 131M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 83k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1265.92/1266.36 c 1182s| 3280k|163348 | 11093k| 132M| 49 | - | 140 | 21 | 8 | 0 | 0 | 21 | 83k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1269.72/1270.18 c 1186s| 3290k|164449 | 11128k| 133M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 83k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1273.62/1274.07 c 1189s| 3300k|165849 | 11165k| 133M| 49 | - | 140 | 29 | 8 | 140 | 19 | 21 | 84k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1277.42/1277.90 c 1193s| 3310k|166798 | 11201k| 134M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 84k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1281.32/1281.72 c 1196s| 3320k|167779 | 11237k| 135M| 49 | - | 140 | 22 | 9 | 140 | 19 | 21 | 84k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1285.12/1285.55 c 1200s| 3330k|168932 | 11272k| 135M| 49 | 6 | 140 | 25 | 9 | 140 | 19 | 21 | 85k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1288.82/1289.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.82/1289.25 c 1203s| 3340k|169600 | 11306k| 136M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 85k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1292.62/1293.04 c 1207s| 3350k|170106 | 11341k| 136M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 85k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1296.42/1296.84 c 1210s| 3360k|170659 | 11377k| 137M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 85k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1300.22/1300.63 c 1214s| 3370k|171341 | 11412k| 138M| 49 | - | 140 | 25 | 8 | 0 | 0 | 21 | 86k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1304.11/1304.57 c 1218s| 3380k|172563 | 11449k| 138M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 86k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1307.91/1308.35 c 1221s| 3390k|173429 | 11484k| 139M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 86k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1311.71/1312.11 c 1225s| 3400k|174177 | 11519k| 140M| 49 | - | 140 | 26 | 8 | 140 | 19 | 21 | 86k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1315.40/1315.84 c 1228s| 3410k|175303 | 11552k| 140M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 87k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1319.21/1319.64 c 1232s| 3420k|175709 | 11587k| 141M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 87k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1323.01/1323.49 c 1235s| 3430k|176403 | 11622k| 141M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 87k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1326.81/1327.24 c 1239s| 3440k|177218 | 11657k| 142M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 87k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1330.60/1331.03 c 1242s| 3450k|177841 | 11692k| 142M| 49 | - | 140 | 26 | 8 | 140 | 19 | 21 | 88k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1334.40/1334.80 c 1246s| 3460k|178252 | 11727k| 143M| 49 | - | 140 | 23 | 8 | 140 | 19 | 21 | 88k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1338.10/1338.57 c 1250s| 3470k|178654 | 11762k| 143M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 88k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1342.01/1342.41 c 1253s| 3480k|179255 | 11797k| 144M| 49 | - | 140 | 24 | 7 | 140 | 19 | 21 | 88k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1346.00/1346.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.00/1346.48 c 1257s| 3490k|181455 | 11835k| 145M| 49 | 6 | 140 | 20 | 8 | 140 | 19 | 21 | 89k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1350.00/1350.42 c 1261s| 3500k|183053 | 11873k| 146M| 49 | - | 140 | 25 | 9 | 140 | 19 | 21 | 89k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1353.80/1354.26 c 1264s| 3510k|184345 | 11909k| 147M| 49 | - | 140 | 21 | 7 | 0 | 0 | 21 | 89k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1357.70/1358.12 c 1268s| 3520k|185396 | 11946k| 147M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 89k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1361.60/1362.06 c 1271s| 3530k|186563 | 11983k| 148M| 49 | - | 140 | 26 | 8 | 140 | 19 | 21 | 90k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1365.39/1365.88 c 1275s| 3540k|187209 | 12019k| 149M| 49 | - | 140 | 23 | 8 | 0 | 0 | 21 | 90k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1369.20/1369.63 c 1279s| 3550k|188020 | 12054k| 149M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 90k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1373.00/1373.45 c 1282s| 3560k|188543 | 12090k| 150M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 91k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1376.80/1377.30 c 1286s| 3570k|189248 | 12126k| 150M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 91k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1380.69/1381.13 c 1289s| 3580k|190012 | 12162k| 151M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 91k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1384.69/1385.13 c 1293s| 3590k|191317 | 12200k| 152M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 91k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1388.59/1389.06 c 1297s| 3600k|192722 | 12237k| 153M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 92k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1392.58/1393.04 c 1300s| 3610k|194017 | 12275k| 153M| 49 | - | 140 | 23 | 8 | 140 | 19 | 21 | 92k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1396.38/1396.90 c 1304s| 3620k|195101 | 12312k| 154M| 49 | - | 140 | 21 | 8 | 140 | 19 | 21 | 92k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1400.29/1400.77 c 1308s| 3630k|195934 | 12348k| 155M| 49 | 6 | 140 | 26 | 9 | 140 | 19 | 21 | 92k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1404.19/1404.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.19/1404.67 c 1311s| 3640k|196990 | 12384k| 155M| 49 | - | 140 | 21 | 8 | 140 | 19 | 21 | 93k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1407.98/1408.49 c 1315s| 3650k|197845 | 12419k| 156M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 93k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1411.78/1412.29 c 1318s| 3660k|198444 | 12454k| 157M| 49 | - | 140 | 24 | 10 | 140 | 19 | 21 | 93k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1415.58/1416.09 c 1322s| 3670k|199100 | 12490k| 157M| 49 | - | 140 | 21 | 8 | 0 | 0 | 21 | 93k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1419.38/1419.87 c 1325s| 3680k|199736 | 12525k| 158M| 49 | 6 | 140 | 24 | 9 | 140 | 19 | 21 | 94k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1423.18/1423.68 c 1329s| 3690k|200307 | 12560k| 158M| 49 | 6 | 140 | 26 | 9 | 140 | 19 | 21 | 94k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1427.07/1427.50 c 1333s| 3700k|200727 | 12595k| 159M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 94k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1430.88/1431.34 c 1336s| 3710k|201055 | 12631k| 159M| 49 | - | 140 | 21 | 8 | 0 | 0 | 21 | 95k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1434.68/1435.19 c 1340s| 3720k|201493 | 12668k| 159M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 95k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1438.47/1438.93 c 1343s| 3730k|201690 | 12701k| 160M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 95k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1442.27/1442.71 c 1347s| 3740k|201958 | 12736k| 160M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 95k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1446.07/1446.52 c 1350s| 3750k|202365 | 12771k| 160M| 49 | - | 140 | 21 | 8 | 140 | 19 | 21 | 96k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1449.77/1450.28 c 1354s| 3760k|202714 | 12806k| 161M| 49 | 6 | 140 | 28 | 9 | 140 | 19 | 21 | 96k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1453.57/1454.04 c 1357s| 3770k|203397 | 12841k| 161M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 96k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1457.37/1457.86 c 1361s| 3780k|203605 | 12876k| 162M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 96k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1461.17/1461.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1461.17/1461.65 c 1364s| 3790k|204183 | 12911k| 162M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 96k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1464.96/1465.42 c 1368s| 3800k|204351 | 12946k| 162M| 49 | 6 | 140 | 21 | 10 | 140 | 19 | 21 | 97k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1468.67/1469.13 c 1371s| 3810k|205001 | 12980k| 163M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 97k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1472.47/1472.90 c 1375s| 3820k|205563 | 13015k| 163M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 97k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1476.17/1476.62 c 1378s| 3830k|205968 | 13049k| 164M| 49 | - | 140 | 20 | 9 | 140 | 19 | 21 | 97k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1479.97/1480.43 c 1382s| 3840k|206043 | 13083k| 164M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 98k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1483.96/1484.45 c 1386s| 3850k|207713 | 13121k| 165M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 98k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1487.86/1488.31 c 1389s| 3860k|208582 | 13156k| 166M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 98k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1491.56/1492.08 c 1393s| 3870k|209399 | 13191k| 166M| 49 | 6 | 140 | 19 | 9 | 140 | 19 | 21 | 98k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1495.47/1495.91 c 1396s| 3880k|210434 | 13228k| 167M| 49 | - | 140 | 18 | 8 | 0 | 0 | 21 | 99k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1499.26/1499.74 c 1400s| 3890k|210878 | 13262k| 167M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 99k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1503.16/1503.61 c 1404s| 3900k|211930 | 13298k| 168M| 49 | 6 | 140 | 25 | 9 | 140 | 19 | 21 | 99k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1507.06/1507.51 c 1407s| 3910k|212848 | 13334k| 169M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 99k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1511.05/1511.53 c 1411s| 3920k|214280 | 13371k| 170M| 49 | - | 140 | 22 | 8 | 0 | 0 | 21 | 100k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1514.85/1515.37 c 1415s| 3930k|214836 | 13406k| 170M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 100k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1518.85/1519.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1518.85/1519.33 c 1418s| 3940k|216239 | 13442k| 171M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 100k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1522.65/1523.19 c 1422s| 3950k|216779 | 13477k| 172M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 100k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1526.45/1526.98 c 1425s| 3960k|217185 | 13511k| 172M| 49 | 6 | 140 | 20 | 8 | 140 | 19 | 21 | 101k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1530.25/1530.77 c 1429s| 3970k|217815 | 13545k| 172M| 49 | - | 140 | 24 | 8 | 140 | 19 | 21 | 101k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1534.05/1534.56 c 1433s| 3980k|218347 | 13581k| 173M| 49 | - | 140 | 24 | 8 | 140 | 19 | 21 | 101k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1537.84/1538.35 c 1436s| 3990k|218632 | 13614k| 173M| 49 | 6 | 140 | 26 | 9 | 140 | 19 | 21 | 101k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1541.75/1542.21 c 1440s| 4000k|219222 | 13649k| 174M| 49 | 6 | 140 | 20 | 8 | 140 | 19 | 21 | 101k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1545.55/1546.09 c 1443s| 4010k|219461 | 13685k| 174M| 49 | - | 140 | 19 | 8 | 140 | 19 | 21 | 102k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1549.35/1549.86 c 1447s| 4020k|219804 | 13719k| 174M| 49 | 6 | 140 | 19 | 8 | 140 | 19 | 21 | 102k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1553.14/1553.62 c 1450s| 4030k|220196 | 13754k| 175M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 102k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1556.94/1557.45 c 1454s| 4040k|220343 | 13788k| 175M| 49 | - | 140 | 23 | 8 | 140 | 19 | 21 | 102k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1560.74/1561.29 c 1457s| 4050k|220460 | 13823k| 175M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 103k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1564.54/1565.07 c 1461s| 4060k|220730 | 13857k| 176M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 103k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1568.44/1568.98 c 1465s| 4070k|221880 | 13893k| 176M| 49 | 6 | 140 | 21 | 9 | 140 | 19 | 21 | 103k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1572.34/1572.85 c 1468s| 4080k|222845 | 13928k| 177M| 49 | - | 140 | 21 | 8 | 140 | 19 | 21 | 103k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1576.13/1576.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.13/1576.62 c 1472s| 4090k|223486 | 13963k| 178M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 103k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1579.93/1580.42 c 1475s| 4100k|223699 | 13997k| 178M| 49 | 6 | 140 | 26 | 12 | 140 | 19 | 21 | 104k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1583.74/1584.26 c 1479s| 4110k|224010 | 14031k| 178M| 49 | - | 140 | 19 | 8 | 140 | 19 | 21 | 104k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1587.53/1588.04 c 1482s| 4120k|224368 | 14066k| 179M| 49 | 6 | 140 | 24 | 9 | 140 | 19 | 21 | 104k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1591.23/1591.79 c 1486s| 4130k|224627 | 14100k| 179M| 49 | 6 | 140 | 19 | 8 | 140 | 19 | 21 | 105k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1595.23/1595.73 c 1490s| 4140k|226364 | 14137k| 180M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 105k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1599.03/1599.59 c 1493s| 4150k|227670 | 14172k| 181M| 49 | 6 | 140 | 19 | 8 | 140 | 19 | 21 | 105k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1602.93/1603.44 c 1497s| 4160k|228686 | 14208k| 182M| 49 | - | 140 | 24 | 8 | 0 | 0 | 21 | 105k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1606.83/1607.38 c 1501s| 4170k|230262 | 14243k| 182M| 49 | - | 140 | 24 | 8 | 140 | 19 | 21 | 105k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1610.72/1611.23 c 1504s| 4180k|231599 | 14279k| 183M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 106k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1614.63/1615.16 c 1508s| 4190k|233343 | 14313k| 184M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 106k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1618.73/1619.24 c 1512s| 4200k|235339 | 14349k| 185M| 49 | 6 | 140 | 33 | 8 | 140 | 19 | 21 | 106k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1622.92/1623.40 c 1516s| 4210k|238133 | 14386k| 187M| 49 | 6 | 140 | 28 | 8 | 140 | 19 | 21 | 107k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1627.02/1627.59 c 1519s| 4220k|240598 | 14424k| 188M| 49 | - | 140 | 23 | 8 | 140 | 19 | 21 | 107k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1631.02/1631.53 c 1523s| 4230k|242609 | 14460k| 189M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 107k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1635.01/1635.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.01/1635.53 c 1527s| 4240k|244801 | 14497k| 190M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 107k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1638.91/1639.44 c 1531s| 4250k|246459 | 14532k| 191M| 49 | - | 140 | 27 | 8 | 140 | 19 | 21 | 108k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1642.82/1643.38 c 1534s| 4260k|248289 | 14567k| 192M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 108k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1646.81/1647.30 c 1538s| 4270k|249938 | 14603k| 193M| 49 | 6 | 140 | 19 | 8 | 140 | 19 | 21 | 108k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1650.71/1651.23 c 1542s| 4280k|251749 | 14638k| 194M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 109k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1654.81/1655.33 c 1545s| 4290k|254060 | 14676k| 195M| 49 | 6 | 140 | 33 | 14 | 140 | 19 | 21 | 109k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1658.81/1659.34 c 1549s| 4300k|255846 | 14713k| 196M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 109k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1662.81/1663.34 c 1553s| 4310k|257429 | 14749k| 197M| 49 | - | 140 | 21 | 8 | 140 | 19 | 21 | 110k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1666.81/1667.36 c 1557s| 4320k|259056 | 14786k| 198M| 49 | - | 140 | 34 | 10 | 140 | 19 | 21 | 110k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1670.70/1671.25 c 1560s| 4330k|260554 | 14821k| 199M| 49 | - | 140 | 28 | 8 | 140 | 19 | 21 | 110k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1674.61/1675.16 c 1564s| 4340k|261941 | 14857k| 200M| 49 | 6 | 140 | 25 | 9 | 140 | 19 | 21 | 110k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1678.51/1679.07 c 1568s| 4350k|263579 | 14892k| 201M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 111k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1682.41/1682.93 c 1571s| 4360k|264705 | 14926k| 202M| 49 | 6 | 140 | 28 | 9 | 140 | 19 | 21 | 111k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1686.30/1686.88 c 1575s| 4370k|265998 | 14963k| 203M| 49 | - | 140 | 23 | 8 | 140 | 19 | 21 | 111k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1690.21/1690.72 c 1579s| 4380k|267070 | 14999k| 203M| 49 | - | 140 | 22 | 9 | 140 | 19 | 21 | 112k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1694.00/1694.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.00/1694.54 c 1582s| 4390k|268367 | 15033k| 204M| 49 | 6 | 140 | 22 | 9 | 140 | 19 | 21 | 112k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1698.20/1698.71 c 1586s| 4400k|271085 | 15071k| 206M| 49 | 6 | 140 | 26 | 8 | 140 | 19 | 21 | 112k| 23k| 1.818989e-12 | 8.000000e+00 | Inf
1702.00/1702.59 c 1590s| 4410k|273095 | 15107k| 207M| 49 | 6 | 140 | 32 | 9 | 140 | 19 | 21 | 113k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1705.90/1706.43 c 1593s| 4420k|274703 | 15141k| 208M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 113k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1709.79/1710.33 c 1597s| 4430k|276544 | 15177k| 209M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 113k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1713.59/1714.18 c 1600s| 4440k|278091 | 15213k| 210M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 113k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1717.29/1717.88 c 1604s| 4450k|279237 | 15247k| 210M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 114k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1721.29/1721.86 c 1608s| 4460k|281123 | 15282k| 211M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 114k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1725.09/1725.63 c 1611s| 4470k|282453 | 15316k| 212M| 49 | 6 | 140 | 23 | 8 | 140 | 19 | 21 | 114k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1728.89/1729.45 c 1615s| 4480k|283648 | 15350k| 213M| 49 | - | 140 | 22 | 8 | 140 | 19 | 21 | 114k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1732.69/1733.23 c 1618s| 4490k|284656 | 15385k| 214M| 49 | 6 | 140 | 20 | 8 | 140 | 19 | 21 | 115k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1736.49/1737.04 c 1622s| 4500k|285987 | 15419k| 215M| 49 | - | 140 | 25 | 9 | 0 | 0 | 21 | 115k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1740.29/1740.88 c 1625s| 4510k|287197 | 15453k| 215M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 115k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1744.09/1744.67 c 1629s| 4520k|288264 | 15487k| 216M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 115k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1747.98/1748.51 c 1633s| 4530k|289467 | 15521k| 217M| 49 | 6 | 140 | 27 | 8 | 140 | 19 | 21 | 116k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1751.78/1752.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1751.78/1752.32 c 1636s| 4540k|290713 | 15555k| 218M| 49 | - | 140 | 24 | 9 | 140 | 19 | 21 | 116k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1755.58/1756.12 c 1640s| 4550k|291781 | 15589k| 218M| 49 | 6 | 140 | 21 | 8 | 140 | 19 | 21 | 116k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1759.38/1759.91 c 1643s| 4560k|293119 | 15623k| 219M| 49 | - | 140 | 23 | 8 | 140 | 19 | 21 | 116k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1763.17/1763.78 c 1647s| 4570k|294170 | 15658k| 220M| 49 | 6 | 140 | 24 | 9 | 140 | 19 | 21 | 117k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1767.07/1767.61 c 1650s| 4580k|295101 | 15692k| 221M| 49 | - | 140 | 23 | 8 | 140 | 19 | 21 | 117k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1770.87/1771.40 c 1654s| 4590k|296245 | 15726k| 221M| 49 | - | 140 | 25 | 8 | 140 | 19 | 21 | 117k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1774.57/1775.16 c 1658s| 4600k|297148 | 15760k| 222M| 49 | 6 | 140 | 24 | 8 | 140 | 19 | 21 | 117k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1778.37/1778.98 c 1661s| 4610k|298078 | 15794k| 223M| 49 | 6 | 140 | 22 | 8 | 140 | 19 | 21 | 118k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1782.17/1782.73 c 1665s| 4620k|299374 | 15827k| 223M| 49 | - | 140 | 21 | 8 | 140 | 19 | 21 | 118k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1785.97/1786.55 c 1668s| 4630k|300413 | 15861k| 224M| 49 | 6 | 140 | 25 | 8 | 140 | 19 | 21 | 118k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1789.77/1790.35 c 1672s| 4640k|301652 | 15895k| 225M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 118k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1793.57/1794.17 c 1675s| 4650k|302541 | 15928k| 225M| 49 | - | 140 | 20 | 8 | 140 | 19 | 21 | 119k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1797.46/1798.03 c 1679s| 4660k|303899 | 15963k| 226M| 49 | - | 140 | 20 | 8 | 0 | 0 | 21 | 119k| 24k| 1.818989e-12 | 8.000000e+00 | Inf
1800.07/1800.60 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1681.30
1800.07/1800.61 c Solving Nodes : 4666811
1800.07/1800.61 c Primal Bound : +8.00000000000000e+00 (53 solutions)
1800.07/1800.61 c Dual Bound : +1.81898940354586e-12
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c NODE 4666811
1800.07/1800.61 c DUAL BOUND 1.81899e-12
1800.07/1800.61 c PRIMAL BOUND 8
1800.07/1800.61 c GAP 1e+20
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 v -x146 x145 x144 -x143 -x142 x141 x140 x139 -x138 x137 -x136 -x135 x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124
1800.07/1800.61 v x123 -x122 x121 x120 x119 -x118 -x117 x116 -x115 x114 -x113 x112 x111 -x110 x109 -x108 x107 x106 x105 -x104 -x103 x102 x101
1800.07/1800.61 v -x100 x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
1800.07/1800.61 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1800.07/1800.61 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
1800.07/1800.61 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1681.30
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-1869494-1245174657.opb
1800.07/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 12 initial, 12 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-1869494-1245174657.opb
1800.07/1800.61 c Variables : 140 (140 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 6 initial, 70 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.00 0 6 0 0 0 6 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 60 - - 60 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 2504582 0 68 3981 0 0 5001136
1800.07/1800.61 c linear : 6 6 6468686 0 0 887474 6029344 10 0 0
1800.07/1800.61 c logicor : 0+ 0 1246736 0 0 6232 31811 0 0 0
1800.07/1800.61 c countsols : 0 0 0 18 0 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 30.10 0.00 0.00 30.10 0.00
1800.07/1800.61 c linear : 418.56 0.00 418.56 0.00 0.00
1800.07/1800.61 c logicor : 2.27 0.00 2.27 0.00 0.00
1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c rootredcost : 2.19 49 0 60
1800.07/1800.61 c pseudoobj : 52.08 6498165 29618 101730
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 56.44 923243 112757 139009 46.4 0 0.0 -
1800.07/1800.61 c infeasible LP : 0.39 6662 6662 6951 21.5 0 0.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 6704 20.9 - - -
1800.07/1800.61 c applied locally : - - - 112759 46.5 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 5 - - 8 - (maximal pool size: 57)
1800.07/1800.61 c redcost : 50.67 3305621 0 14794394 0 0
1800.07/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.01 6 0 0 0 0
1800.07/1800.61 c strongcg : 0.02 6 0 0 22 0
1800.07/1800.61 c cmir : 0.01 6 0 0 12 0
1800.07/1800.61 c flowcover : 0.05 6 0 0 16 0
1800.07/1800.61 c clique : 0.00 1 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 1 0 0 0 0
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 27.93 2504564 68 3981 0 0 5001136
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.06 - 18
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c feaspump : 0.41 1 0
1800.07/1800.61 c oneopt : 2.22 48 0
1800.07/1800.61 c crossover : 6.72 5 0
1800.07/1800.61 c guideddiving : 9.24 6082 2
1800.07/1800.61 c veclendiving : 10.13 6083 2
1800.07/1800.61 c fracdiving : 11.42 6083 6
1800.07/1800.61 c linesearchdiving : 9.82 6083 7
1800.07/1800.61 c pscostdiving : 11.98 6083 7
1800.07/1800.61 c coefdiving : 13.68 6083 6
1800.07/1800.61 c simplerounding : 1.58 0 0
1800.07/1800.61 c rounding : 2.46 24368 0
1800.07/1800.61 c shifting : 21.96 23093 1
1800.07/1800.61 c intshifting : 0.15 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c objpscostdiving : 5.49 3042 2
1800.07/1800.61 c rootsoldiving : 5.78 1129 2
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.05 1 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 666.50 4274355 15197980 3.56 22802.67
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 38.72 314884 789067 2.51 20378.80
1800.07/1800.61 c strong branching : 5.39 24601 75450 3.07 13998.14
1800.07/1800.61 c (at root node) : - 19 697 36.68 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 4666811
1800.07/1800.61 c nodes (total) : 4666811
1800.07/1800.61 c nodes left : 304559
1800.07/1800.61 c max depth : 49
1800.07/1800.61 c max depth (total): 49
1800.07/1800.61 c backtracks : 1106390 (23.7%)
1800.07/1800.61 c delayed cutoffs : 20791
1800.07/1800.61 c repropagations : 33717 (124185 domain reductions, 20516 cutoffs)
1800.07/1800.61 c avg switch length: 5.20
1800.07/1800.61 c switching time : 113.19
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 53 (49 improvements)
1800.07/1800.61 c Primal Bound : +8.00000000000000e+00 (in run 1, after 1082337 nodes, 421.31 seconds, depth 39, found by <relaxation>)
1800.07/1800.61 c Dual Bound : +1.81898940354586e-12
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +1.81898940354586e-12
1801.35/1801.90 c Time complete: 1801.35.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869494-1245174657/watcher-1869494-1245174657 -o /tmp/evaluation-result-1869494-1245174657/solver-1869494-1245174657 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869494-1245174657.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 10920
/proc/meminfo: memFree=1853488/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=4324 CPUtime=0
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 469 0 0 0 0 0 0 0 18 0 1 0 185061765 4427776 454 1992294400 4194304 7823515 548682068736 18446744073709551615 6804637 0 0 4096 0 0 0 0 17 1 0 0
/proc/10920/statm: 1082 463 300 886 0 192 0
[startup+0.0928261 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 10920
/proc/meminfo: memFree=1853488/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=13056 CPUtime=0.08
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 2830 0 0 0 7 1 0 0 18 0 1 0 185061765 13369344 2458 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 3264 2458 551 886 0 2374 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13056
[startup+0.102826 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 10920
/proc/meminfo: memFree=1853488/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=13056 CPUtime=0.09
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 2830 0 0 0 8 1 0 0 18 0 1 0 185061765 13369344 2458 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 3264 2458 551 886 0 2374 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13056
[startup+0.301843 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 10920
/proc/meminfo: memFree=1853488/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=15640 CPUtime=0.29
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 4451 0 0 0 26 3 0 0 19 0 1 0 185061765 16015360 3136 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 3910 3136 568 886 0 3020 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15640
[startup+0.702879 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 10920
/proc/meminfo: memFree=1853488/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=15640 CPUtime=0.69
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 4459 0 0 0 63 6 0 0 22 0 1 0 185061765 16015360 3144 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 3910 3144 573 886 0 3020 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15640
[startup+1.50195 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 10921
/proc/meminfo: memFree=1842920/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=13808 CPUtime=1.49
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 5354 0 0 0 138 11 0 0 25 0 1 0 185061765 14139392 2717 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 3452 2717 573 886 0 2562 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13808
[startup+3.1011 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 10921
/proc/meminfo: memFree=1843752/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=14788 CPUtime=3.08
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 7582 0 0 0 286 22 0 0 25 0 1 0 185061765 15142912 2958 1992294400 4194304 7823515 548682068736 18446744073709551615 6255744 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10920/statm: 3697 2958 573 886 0 2807 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14788
[startup+6.30137 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 10921
/proc/meminfo: memFree=1842096/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=16384 CPUtime=6.29
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 11956 0 0 0 585 44 0 0 25 0 1 0 185061765 16777216 3379 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 4096 3379 573 886 0 3206 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16384
[startup+12.7019 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 10921
/proc/meminfo: memFree=1839600/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=18656 CPUtime=12.68
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 20433 0 0 0 1184 84 0 0 25 0 1 0 185061765 19103744 3960 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 4664 3960 573 886 0 3774 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18656
[startup+25.5011 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 10921
/proc/meminfo: memFree=1828912/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=31072 CPUtime=25.48
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 30283 0 0 0 2374 174 0 0 25 0 1 0 185061765 31817728 6740 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 7768 6740 573 886 0 6878 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31072
[startup+51.1013 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 10921
/proc/meminfo: memFree=1826992/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=31368 CPUtime=51.06
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 35662 0 0 0 4767 339 0 0 25 0 1 0 185061765 32120832 7192 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 7842 7192 573 886 0 6952 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 31368
[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 10923
/proc/meminfo: memFree=1810096/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=47872 CPUtime=102.25
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 42104 0 0 0 9550 675 0 0 25 0 1 0 185061765 49020928 11397 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 11968 11397 573 886 0 11078 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 47872
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10923
/proc/meminfo: memFree=1797040/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=63384 CPUtime=162.23
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 51478 0 0 0 15159 1064 0 0 25 0 1 0 185061765 64905216 14944 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 15846 14944 573 886 0 14956 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 63384
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10923
/proc/meminfo: memFree=1781872/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=76956 CPUtime=222.21
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 55577 0 0 0 20763 1458 0 0 25 0 1 0 185061765 78802944 18394 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 19239 18394 573 886 0 18349 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 76956
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10923
/proc/meminfo: memFree=1771696/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=86908 CPUtime=282.21
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 58113 0 0 0 26370 1851 0 0 25 0 1 0 185061765 88993792 20930 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 21727 20930 573 886 0 20837 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 86908
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10923
/proc/meminfo: memFree=1760752/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=97572 CPUtime=342.18
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 61472 0 0 0 31975 2243 0 0 25 0 1 0 185061765 99913728 23644 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 24393 23644 573 886 0 23503 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 97572
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10923
/proc/meminfo: memFree=1744880/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=105376 CPUtime=402.17
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 65414 0 0 0 37580 2637 0 0 25 0 1 0 185061765 107905024 25612 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 26344 25612 573 886 0 25454 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 105376
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10923
/proc/meminfo: memFree=1744944/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=113148 CPUtime=462.16
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 69327 0 0 0 43177 3039 0 0 25 0 1 0 185061765 115863552 27542 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 28287 27542 573 886 0 27397 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 113148
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10923
/proc/meminfo: memFree=1742960/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=115068 CPUtime=522.14
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 69812 0 0 0 48774 3440 0 0 25 0 1 0 185061765 117829632 28027 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 28767 28027 573 886 0 27877 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 115068
[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10923
/proc/meminfo: memFree=1733936/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=123816 CPUtime=582.13
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 72041 0 0 0 54380 3833 0 0 25 0 1 0 185061765 126787584 30256 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 30954 30256 573 886 0 30064 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 123816
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10929
/proc/meminfo: memFree=1728688/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=128896 CPUtime=642.1
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 73326 0 0 0 59971 4239 0 0 25 0 1 0 185061765 131989504 31541 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 32224 31541 573 886 0 31334 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 128896
[startup+702.302 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.10 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1712944/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=143852 CPUtime=1001.99
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 77085 0 0 0 93577 6622 0 0 25 0 1 0 185061765 147304448 35300 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 35963 35300 573 886 0 35073 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 143852
[startup+1062.3 s]
/proc/loadavg: 1.07 1.01 1.00 2/65 10929
/proc/meminfo: memFree=1709424/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=147232 CPUtime=1061.98
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 77931 0 0 0 99174 7024 0 0 25 0 1 0 185061765 150765568 36146 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 36808 36146 573 886 0 35918 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 147232
[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 10929
/proc/meminfo: memFree=1709424/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=147232 CPUtime=1121.96
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 77931 0 0 0 104763 7433 0 0 25 0 1 0 185061765 150765568 36146 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 36808 36146 573 886 0 35918 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 147232
[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1709232/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=147232 CPUtime=1181.94
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 77931 0 0 0 110356 7838 0 0 25 0 1 0 185061765 150765568 36146 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 36808 36146 573 886 0 35918 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 147232
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1704304/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=151856 CPUtime=1241.93
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 79147 0 0 0 115954 8239 0 0 25 0 1 0 185061765 155500544 37362 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 37964 37362 573 886 0 37074 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 151856
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1693808/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=162180 CPUtime=1301.92
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 81738 0 0 0 121563 8629 0 0 25 0 1 0 185061765 166072320 39953 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 40545 39953 573 886 0 39655 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 162180
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1683952/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=172044 CPUtime=1361.9
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 84248 0 0 0 127163 9027 0 0 25 0 1 0 185061765 176173056 42463 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 43011 42463 573 886 0 42121 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 172044
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1674288/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=186036 CPUtime=1421.88
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 86763 0 0 0 132769 9419 0 0 25 0 1 0 185061765 190500864 44978 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 46509 44978 573 886 0 45619 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 186036
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1666352/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=192952 CPUtime=1481.86
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 88518 0 0 0 138370 9816 0 0 25 0 1 0 185061765 197582848 46733 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 48238 46733 573 886 0 47348 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 192952
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1654000/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=204984 CPUtime=1541.84
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 91575 0 0 0 143972 10212 0 0 25 0 1 0 185061765 209903616 49790 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 51246 49790 573 886 0 50356 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 204984
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1646704/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=212028 CPUtime=1601.83
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 93371 0 0 0 149578 10605 0 0 25 0 1 0 185061765 217116672 51586 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 53007 51586 573 886 0 52117 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 212028
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1630256/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=227920 CPUtime=1661.81
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 97458 0 0 0 155197 10984 0 0 25 0 1 0 185061765 233390080 55673 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 56980 55673 573 886 0 56090 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 227920
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1615600/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=242036 CPUtime=1721.79
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 101094 0 0 0 160807 11372 0 0 25 0 1 0 185061765 247844864 59309 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 60509 59309 573 886 0 59619 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 242036
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1603760/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=253432 CPUtime=1781.77
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 104031 0 0 0 166420 11757 0 0 25 0 1 0 185061765 259514368 62246 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 63358 62246 573 886 0 62468 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 253432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1599984/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=257064 CPUtime=1800.07
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 104959 0 0 0 168130 11877 0 0 25 0 1 0 185061765 263233536 63174 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10920/statm: 64266 63174 573 886 0 63376 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 257064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10929
/proc/meminfo: memFree=1599984/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=257064 CPUtime=1800.86
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 104961 0 0 0 168209 11877 0 0 25 0 1 0 185061765 263233536 63176 1992294400 4194304 7823515 548682068736 18446744073709551615 5875134 0 0 4096 0 0 0 0 17 0 0 0
/proc/10920/statm: 64266 63176 575 886 0 63376 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 257064
[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10930
/proc/meminfo: memFree=1599976/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=257064 CPUtime=1801.26
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 104961 0 0 0 168249 11877 0 0 25 0 1 0 185061765 263233536 63176 1992294400 4194304 7823515 548682068736 18446744073709551615 4745004 0 0 4096 0 0 0 0 17 1 0 0
/proc/10920/statm: 64266 63176 575 886 0 63376 0
Current children cumulated CPU time (s) 1801.26
Current children cumulated vsize (KiB) 257064
[startup+1801.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10930
/proc/meminfo: memFree=1599976/2055920 swapFree=4182220/4192956
[pid=10920] ppid=10918 vsize=5196 CPUtime=1801.35
/proc/10920/stat : 10920 (pbscip.linux.x8) R 10918 10920 10541 0 -1 4194304 104961 0 0 0 168254 11881 0 0 25 0 1 0 185061765 5320704 825 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/10920/statm: 1299 825 575 886 0 409 0
Current children cumulated CPU time (s) 1801.35
Current children cumulated vsize (KiB) 5196
Child status: 0
Real time (s): 1801.9
CPU time (s): 1801.37
CPU user time (s): 1682.55
CPU system time (s): 118.817
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 257064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1682.55
system time used= 118.817
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104964
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= 2608
runsolver used 1.37279 second user time and 3.82242 second system time
The end