0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667092-1276613511.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 24 | - | 422k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 o 615
0.09/0.12 c y 0.1s| 1 | 0 | 56 | - | 454k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 66 | - | 586k| 0 | 10 | 120 | 102 | 120 | 10 | 5 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 73 | - | 631k| 0 | 11 | 120 | 102 | 120 | 14 | 9 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 85 | - | 655k| 0 | 13 | 120 | 102 | 120 | 18 | 13 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 92 | - | 673k| 0 | 15 | 120 | 102 | 120 | 20 | 15 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 97 | - | 690k| 0 | 16 | 120 | 102 | 120 | 23 | 18 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.09/0.18 c 0.1s| 1 | 0 | 104 | - | 694k| 0 | 17 | 120 | 102 | 120 | 24 | 19 | 0 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
0.19/0.27 c 0.2s| 1 | 2 | 104 | - | 695k| 0 | 17 | 120 | 102 | 120 | 24 | 19 | 0 | 9 | 0.000000e+00 | 6.150000e+02 | Inf
0.29/0.30 o 140
0.29/0.30 c c 0.2s| 16 | 17 | 241 | 9.1 | 748k| 15 | - | 120 | 102 | 120 | 18 | 19 | 1 | 84 | 0.000000e+00 | 1.400000e+02 | Inf
0.39/0.44 o 139
0.39/0.44 c * 0.4s| 136 | 135 | 892 | 5.8 | 798k| 34 | - | 120 | 105 | 120 | 18 | 19 | 9 | 297 | 0.000000e+00 | 1.390000e+02 | Inf
0.39/0.46 o 138
0.39/0.46 c * 0.4s| 146 | 143 | 933 | 5.7 | 808k| 34 | - | 120 | 105 | 120 | 18 | 19 | 9 | 327 | 0.000000e+00 | 1.380000e+02 | Inf
0.39/0.46 o 136
0.39/0.46 c * 0.4s| 147 | 139 | 933 | 5.7 | 808k| 34 | - | 120 | 105 | 120 | 18 | 19 | 9 | 327 | 0.000000e+00 | 1.360000e+02 | Inf
0.49/0.50 o 134
0.49/0.50 c * 0.4s| 191 | 180 | 1168 | 5.6 | 835k| 34 | - | 120 | 105 | 120 | 18 | 19 | 14 | 348 | 0.000000e+00 | 1.340000e+02 | Inf
1.00/1.05 o 106
1.00/1.05 c g 0.9s| 779 | 754 | 3728 | 4.7 |1145k| 36 | - | 120 | 123 | 120 | 18 | 19 | 59 | 490 | 0.000000e+00 | 1.060000e+02 | Inf
1.49/1.54 o 81
1.49/1.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.54 c g 1.4s| 1566 | 1522 | 7740 | 4.9 |1526k| 36 | - | 120 | 160 | 120 | 18 | 19 | 144 | 526 | 0.000000e+00 | 8.100000e+01 | Inf
1.49/1.57 o 79
1.49/1.57 c v 1.4s| 1618 | 1572 | 7982 | 4.9 |1556k| 36 | - | 120 | 162 | 120 | 18 | 19 | 153 | 531 | 0.000000e+00 | 7.900000e+01 | Inf
1.59/1.64 o 64
1.59/1.64 c f 1.5s| 1698 | 1602 | 8526 | 5.0 |1584k| 36 | - | 120 | 167 | 120 | 18 | 19 | 164 | 534 | 0.000000e+00 | 6.400000e+01 | Inf
1.79/1.83 o 63
1.79/1.83 c l 1.6s| 2011 | 1907 | 9965 | 4.9 |1730k| 36 | - | 120 | 176 | 120 | 18 | 19 | 204 | 562 | 0.000000e+00 | 6.300000e+01 | Inf
2.29/2.33 o 40
2.29/2.33 c g 2.1s| 2827 | 2571 | 14105 | 5.0 |2053k| 36 | - | 120 | 193 | 120 | 18 | 19 | 282 | 603 | 0.000000e+00 | 4.000000e+01 | Inf
4.09/4.17 o 38
4.09/4.17 c * 3.8s| 4897 | 4433 | 28990 | 5.9 |3168k| 36 | - | 120 | 224 | 120 | 18 | 19 | 665 | 618 | 0.000000e+00 | 3.800000e+01 | Inf
4.29/4.39 o 37
4.29/4.39 c v 4.0s| 5164 | 4648 | 30727 | 5.9 |3283k| 36 | - | 120 | 133 | 120 | 18 | 19 | 713 | 627 | 0.000000e+00 | 3.700000e+01 | Inf
6.19/6.26 o 36
6.19/6.26 c * 5.7s| 7821 | 6791 | 45259 | 5.8 |4425k| 36 | - | 120 | 157 | 120 | 18 | 19 |1059 | 729 | 0.000000e+00 | 3.600000e+01 | Inf
6.19/6.26 o 34
6.19/6.26 c * 5.7s| 7824 | 6732 | 45283 | 5.8 |4384k| 36 | - | 120 | 157 | 120 | 18 | 19 |1059 | 730 | 0.000000e+00 | 3.400000e+01 | Inf
6.78/6.84 o 33
6.78/6.84 c * 6.2s| 8851 | 7522 | 49675 | 5.6 |4847k| 38 | - | 120 | 147 | 120 | 18 | 19 |1140 | 786 | 0.000000e+00 | 3.300000e+01 | Inf
7.49/7.51 c 6.8s| 10000 | 8322 | 54144 | 5.4 |5394k| 38 | 5 | 120 | 189 | 120 | 18 | 19 |1319 | 842 | 0.000000e+00 | 3.300000e+01 | Inf
7.89/7.99 o 31
7.89/7.99 c * 7.2s| 10825 | 7738 | 57693 | 5.3 |5050k| 38 | - | 120 | 252 | 120 | 18 | 19 |1484 | 865 | 0.000000e+00 | 3.100000e+01 | Inf
8.19/8.20 o 29
8.19/8.20 c * 7.4s| 11163 | 7947 | 59366 | 5.3 |5152k| 38 | - | 120 | 205 | 120 | 18 | 19 |1540 | 902 | 0.000000e+00 | 2.900000e+01 | Inf
8.48/8.57 o 27
8.48/8.57 c * 7.8s| 11808 | 8259 | 62060 | 5.2 |5311k| 38 | - | 120 | 202 | 120 | 18 | 19 |1616 | 939 | 0.000000e+00 | 2.700000e+01 | Inf
8.58/8.63 o 26
8.58/8.63 c * 7.8s| 11932 | 8299 | 62619 | 5.2 |5315k| 38 | - | 120 | 201 | 120 | 18 | 19 |1628 | 948 | 0.000000e+00 | 2.600000e+01 | Inf
9.09/9.16 o 25
9.09/9.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.09/9.16 c * 8.3s| 12898 | 8897 | 66593 | 5.2 |5632k| 38 | - | 120 | 202 | 120 | 18 | 19 |1743 | 996 | 0.000000e+00 | 2.500000e+01 | Inf
9.09/9.16 o 23
9.09/9.16 c * 8.3s| 12899 | 8788 | 66593 | 5.2 |5546k| 38 | - | 120 | 202 | 120 | 18 | 19 |1743 | 996 | 0.000000e+00 | 2.300000e+01 | Inf
9.39/9.41 o 22
9.39/9.41 c * 8.5s| 13362 | 8985 | 68435 | 5.1 |5659k| 38 | - | 120 | 204 | 120 | 18 | 19 |1796 |1018 | 0.000000e+00 | 2.200000e+01 | Inf
9.49/9.51 o 21
9.49/9.51 c * 8.6s| 13566 | 9022 | 69218 | 5.1 |5667k| 38 | - | 120 | 204 | 120 | 18 | 19 |1809 |1029 | 0.000000e+00 | 2.100000e+01 | Inf
10.59/10.61 o 20
10.59/10.61 c * 9.6s| 15599 | 9929 | 77253 | 4.9 |6248k| 38 | - | 120 | 205 | 120 | 18 | 19 |2127 |1144 | 0.000000e+00 | 2.000000e+01 | Inf
10.59/10.61 o 18
10.59/10.61 c p 9.6s| 15601 | 9794 | 77265 | 4.9 |6130k| 38 | - | 120 | 207 | 120 | 18 | 19 |2130 |1146 | 0.000000e+00 | 1.800000e+01 | Inf
11.29/11.37 o 16
11.29/11.37 c C10.3s| 17001 | 9584 | 82714 | 4.9 |6024k| 38 | 5 | 120 | 198 | 120 | 18 | 19 |2294 |1186 | 0.000000e+00 | 1.600000e+01 | Inf
11.59/11.60 o 15
11.59/11.60 c *10.5s| 17469 | 9659 | 84489 | 4.8 |6029k| 38 | - | 120 | 164 | 120 | 18 | 19 |2338 |1206 | 0.000000e+00 | 1.500000e+01 | Inf
11.79/11.86 o 14
11.79/11.86 c *10.8s| 17977 | 9766 | 86436 | 4.8 |6055k| 38 | - | 120 | 164 | 120 | 18 | 19 |2395 |1237 | 0.000000e+00 | 1.400000e+01 | Inf
12.79/12.86 c 11.7s| 20000 | 10613 | 94433 | 4.7 |6516k| 38 | 5 | 120 | 170 | 120 | 18 | 19 |2654 |1300 | 0.000000e+00 | 1.400000e+01 | Inf
13.10/13.13 o 13
13.10/13.13 c *11.9s| 20503 | 10734 | 96564 | 4.7 |6548k| 38 | - | 120 | 171 | 120 | 18 | 19 |2733 |1315 | 0.000000e+00 | 1.300000e+01 | Inf
13.10/13.13 o 11
13.10/13.13 c *11.9s| 20504 | 10480 | 96564 | 4.7 |6291k| 38 | - | 120 | 171 | 120 | 18 | 19 |2733 |1315 | 0.000000e+00 | 1.100000e+01 | Inf
14.59/14.65 o 9
14.59/14.65 c *13.3s| 24144 | 11118 |108319 | 4.5 |6546k| 38 | - | 120 | 182 | 120 | 18 | 19 |3055 |1421 | 0.000000e+00 | 9.000000e+00 | Inf
18.49/18.57 c 16.7s| 30000 | 12049 |127250 | 4.2 |7222k| 38 | - | 120 | 209 | 120 | 18 | 19 |3535 |1649 | 0.000000e+00 | 9.000000e+00 | Inf
22.99/23.06 c 20.8s| 40000 | 13337 |158178 | 4.0 |8155k| 38 | 5 | 120 | 215 | 120 | 18 | 19 |4147 |2067 | 0.000000e+00 | 9.000000e+00 | Inf
26.78/26.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.78/26.87 c 24.2s| 50000 | 13992 |188290 | 3.8 |8775k| 38 | 5 | 120 | 206 | 120 | 18 | 19 |4798 |2415 | 0.000000e+00 | 9.000000e+00 | Inf
31.18/31.27 c 28.2s| 60000 | 15026 |219171 | 3.7 |9585k| 38 | 5 | 120 | 189 | 120 | 18 | 19 |5418 |2790 | 0.000000e+00 | 9.000000e+00 | Inf
35.09/35.11 c 31.7s| 70000 | 16479 |249690 | 3.6 | 10M| 38 | - | 120 | 178 | 120 | 18 | 19 |6141 |3101 | 0.000000e+00 | 9.000000e+00 | Inf
37.29/37.36 o 8
37.29/37.36 c *33.7s| 75969 | 16506 |267086 | 3.5 | 10M| 38 | - | 120 | 167 | 120 | 18 | 19 |6567 |3304 | 0.000000e+00 | 8.000000e+00 | Inf
38.69/38.77 c 35.0s| 80000 | 16665 |278839 | 3.5 | 10M| 38 | - | 120 | 134 | 120 | 18 | 19 |6823 |3380 | 0.000000e+00 | 8.000000e+00 | Inf
42.08/42.17 c 38.0s| 90000 | 16749 |308005 | 3.4 | 11M| 38 | 5 | 120 | 126 | 120 | 18 | 19 |7404 |3549 | 0.000000e+00 | 8.000000e+00 | Inf
45.48/45.59 c 41.1s|100000 | 16766 |337484 | 3.4 | 11M| 38 | - | 120 | 135 | 120 | 18 | 19 |8121 |3686 | 0.000000e+00 | 8.000000e+00 | Inf
47.58/47.64 o 7
47.58/47.64 c *43.0s|106066 | 16292 |354453 | 3.3 | 10M| 38 | - | 120 | 111 | 120 | 18 | 19 |8529 |3772 | 0.000000e+00 | 7.000000e+00 | Inf
48.88/48.96 c 44.2s|110000 | 16286 |365464 | 3.3 | 10M| 38 | 5 | 120 | 114 | 120 | 18 | 19 |8752 |3819 | 0.000000e+00 | 7.000000e+00 | Inf
53.57/53.65 c 48.4s|120000 | 16340 |394264 | 3.3 | 11M| 38 | - | 120 | 120 | 120 | 18 | 19 |9354 |3941 | 0.000000e+00 | 7.000000e+00 | Inf
56.87/56.97 c 51.4s|130000 | 16169 |422361 | 3.2 | 11M| 38 | - | 120 | 145 | 120 | 18 | 19 | 10k|4053 | 0.000000e+00 | 7.000000e+00 | Inf
60.17/60.29 c 54.4s|140000 | 16163 |450906 | 3.2 | 11M| 38 | - | 120 | 112 | 0 | 0 | 19 | 10k|4166 | 0.000000e+00 | 7.000000e+00 | Inf
63.57/63.65 c 57.4s|150000 | 16756 |480105 | 3.2 | 11M| 38 | - | 120 | 114 | 120 | 18 | 19 | 11k|4274 | 0.000000e+00 | 7.000000e+00 | Inf
66.87/66.95 c 60.4s|160000 | 17266 |507943 | 3.2 | 12M| 38 | - | 120 | 133 | 120 | 18 | 19 | 12k|4370 | 0.000000e+00 | 7.000000e+00 | Inf
70.07/70.18 c 63.3s|170000 | 17044 |534317 | 3.1 | 12M| 38 | 5 | 120 | 120 | 120 | 18 | 19 | 12k|4458 | 0.000000e+00 | 7.000000e+00 | Inf
73.37/73.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.37/73.45 c 66.2s|180000 | 17219 |561524 | 3.1 | 12M| 38 | 5 | 120 | 132 | 120 | 18 | 19 | 13k|4552 | 0.000000e+00 | 7.000000e+00 | Inf
76.57/76.61 c 69.0s|190000 | 17030 |587504 | 3.1 | 12M| 38 | - | 120 | 132 | 120 | 18 | 19 | 13k|4647 | 0.000000e+00 | 7.000000e+00 | Inf
79.77/79.85 c 72.0s|200000 | 17067 |613766 | 3.1 | 12M| 38 | - | 120 | 120 | 120 | 18 | 19 | 14k|4729 | 0.000000e+00 | 7.000000e+00 | Inf
82.96/83.08 c 74.9s|210000 | 17796 |641448 | 3.1 | 12M| 38 | 5 | 120 | 121 | 120 | 18 | 19 | 14k|4841 | 0.000000e+00 | 7.000000e+00 | Inf
86.17/86.23 c 77.7s|220000 | 17795 |667400 | 3.0 | 13M| 38 | - | 120 | 121 | 0 | 0 | 19 | 15k|4935 | 0.000000e+00 | 7.000000e+00 | Inf
89.37/89.43 c 80.5s|230000 | 18185 |694008 | 3.0 | 13M| 38 | 5 | 120 | 129 | 120 | 18 | 19 | 15k|5028 | 0.000000e+00 | 7.000000e+00 | Inf
92.57/92.60 c 83.4s|240000 | 17794 |719853 | 3.0 | 13M| 38 | - | 120 | 120 | 120 | 18 | 19 | 16k|5118 | 0.000000e+00 | 7.000000e+00 | Inf
93.76/93.81 o 6
93.76/93.81 c p84.5s|243646 | 17829 |730278 | 3.0 | 13M| 38 | - | 120 | 117 | 120 | 18 | 19 | 16k|5158 | 0.000000e+00 | 6.000000e+00 | Inf
93.76/93.82 o 4
93.76/93.82 c v84.5s|243646 | 16578 |730278 | 3.0 | 11M| 38 | - | 120 | 118 | 120 | 18 | 19 | 16k|5158 | 0.000000e+00 | 4.000000e+00 | Inf
93.76/93.84 o 2
93.76/93.84 c *84.5s|243695 | 15339 |730445 | 3.0 |9477k| 38 | - | 120 | 81 | 120 | 18 | 19 | 16k|5158 | 0.000000e+00 | 2.000000e+00 | Inf
96.46/96.59 c 86.9s|250000 | 15506 |746811 | 3.0 |9666k| 38 | - | 120 | 100 | 120 | 18 | 19 | 16k|5200 | 0.000000e+00 | 2.000000e+00 | Inf
99.26/99.31 c 89.3s|260000 | 15296 |770664 | 3.0 |9614k| 38 | 5 | 120 | 113 | 120 | 18 | 19 | 17k|5267 | 0.000000e+00 | 2.000000e+00 | Inf
102.26/102.34 c 92.0s|270000 | 14853 |795068 | 2.9 |9315k| 38 | 5 | 120 | 104 | 120 | 18 | 19 | 17k|5326 | 0.000000e+00 | 2.000000e+00 | Inf
104.96/105.06 c 94.4s|280000 | 14566 |819533 | 2.9 |9078k| 38 | 5 | 120 | 114 | 120 | 18 | 19 | 18k|5404 | 0.000000e+00 | 2.000000e+00 | Inf
107.66/107.79 c 96.8s|290000 | 14468 |844319 | 2.9 |9001k| 38 | - | 120 | 126 | 120 | 18 | 19 | 18k|5463 | 0.000000e+00 | 2.000000e+00 | Inf
110.45/110.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.45/110.53 c 99.3s|300000 | 14072 |869230 | 2.9 |8647k| 38 | - | 120 | 113 | 0 | 0 | 19 | 18k|5525 | 0.000000e+00 | 2.000000e+00 | Inf
113.26/113.33 c 102s|310000 | 14848 |894814 | 2.9 |9032k| 38 | - | 120 | 112 | 120 | 18 | 19 | 19k|5572 | 0.000000e+00 | 2.000000e+00 | Inf
115.95/116.05 c 104s|320000 | 14971 |919064 | 2.9 |9230k| 38 | 5 | 120 | 106 | 120 | 18 | 19 | 19k|5621 | 0.000000e+00 | 2.000000e+00 | Inf
118.66/118.76 c 107s|330000 | 14808 |942821 | 2.9 |9231k| 38 | - | 120 | 111 | 120 | 18 | 19 | 19k|5687 | 0.000000e+00 | 2.000000e+00 | Inf
121.35/121.45 c 109s|340000 | 14473 |966353 | 2.8 |9037k| 38 | - | 120 | 120 | 120 | 18 | 19 | 20k|5749 | 0.000000e+00 | 2.000000e+00 | Inf
124.16/124.21 c 111s|350000 | 14503 |990080 | 2.8 |8876k| 38 | - | 120 | 135 | 0 | 0 | 19 | 20k|5780 | 0.000000e+00 | 2.000000e+00 | Inf
126.86/126.95 c 114s|360000 | 14563 | 1013k| 2.8 |9018k| 38 | 5 | 120 | 138 | 120 | 18 | 19 | 20k|5835 | 0.000000e+00 | 2.000000e+00 | Inf
129.55/129.63 c 116s|370000 | 14188 | 1036k| 2.8 |8810k| 38 | - | 120 | 129 | 120 | 18 | 19 | 21k|5898 | 0.000000e+00 | 2.000000e+00 | Inf
132.35/132.41 c 119s|380000 | 14524 | 1062k| 2.8 |8855k| 38 | 5 | 120 | 119 | 120 | 18 | 19 | 21k|5943 | 0.000000e+00 | 2.000000e+00 | Inf
135.05/135.11 c 121s|390000 | 14539 | 1086k| 2.8 |9018k| 38 | 5 | 120 | 125 | 120 | 18 | 19 | 22k|5990 | 0.000000e+00 | 2.000000e+00 | Inf
137.75/137.81 c 123s|400000 | 13884 | 1110k| 2.8 |8454k| 38 | 5 | 120 | 114 | 120 | 18 | 19 | 22k|6072 | 0.000000e+00 | 2.000000e+00 | Inf
140.45/140.53 c 126s|410000 | 13751 | 1137k| 2.8 |8358k| 38 | - | 120 | 106 | 120 | 18 | 19 | 22k|6134 | 0.000000e+00 | 2.000000e+00 | Inf
143.15/143.27 c 128s|420000 | 13705 | 1162k| 2.8 |8310k| 38 | - | 120 | 114 | 120 | 18 | 19 | 23k|6189 | 0.000000e+00 | 2.000000e+00 | Inf
145.85/145.96 c 131s|430000 | 13506 | 1186k| 2.8 |8125k| 38 | 5 | 120 | 105 | 120 | 18 | 19 | 23k|6233 | 0.000000e+00 | 2.000000e+00 | Inf
148.64/148.71 c 133s|440000 | 13503 | 1210k| 2.8 |8100k| 38 | - | 120 | 126 | 120 | 18 | 19 | 23k|6295 | 0.000000e+00 | 2.000000e+00 | Inf
152.35/152.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.35/152.42 c 136s|450000 | 13092 | 1234k| 2.7 |7749k| 38 | 5 | 120 | 91 | 120 | 18 | 19 | 24k|6426 | 0.000000e+00 | 2.000000e+00 | Inf
155.06/155.13 c 139s|460000 | 13401 | 1260k| 2.7 |8003k| 38 | - | 120 | 130 | 120 | 18 | 19 | 24k|6494 | 0.000000e+00 | 2.000000e+00 | Inf
157.74/157.83 c 141s|470000 | 13171 | 1286k| 2.7 |7857k| 38 | - | 120 | 128 | 120 | 18 | 19 | 24k|6545 | 0.000000e+00 | 2.000000e+00 | Inf
160.45/160.51 c 144s|480000 | 13118 | 1311k| 2.7 |7798k| 38 | - | 120 | 133 | 120 | 18 | 19 | 25k|6575 | 0.000000e+00 | 2.000000e+00 | Inf
163.14/163.28 c 146s|490000 | 12961 | 1338k| 2.7 |7696k| 38 | 5 | 120 | 133 | 120 | 18 | 19 | 25k|6635 | 0.000000e+00 | 2.000000e+00 | Inf
165.95/166.02 c 149s|500000 | 13118 | 1366k| 2.7 |7853k| 38 | 5 | 120 | 145 | 120 | 18 | 19 | 25k|6700 | 0.000000e+00 | 2.000000e+00 | Inf
168.65/168.79 c 151s|510000 | 13180 | 1393k| 2.7 |7886k| 38 | - | 120 | 144 | 120 | 18 | 19 | 26k|6738 | 0.000000e+00 | 2.000000e+00 | Inf
171.45/171.59 c 154s|520000 | 12963 | 1420k| 2.7 |7703k| 38 | - | 120 | 119 | 120 | 18 | 19 | 26k|6858 | 0.000000e+00 | 2.000000e+00 | Inf
174.24/174.32 c 156s|530000 | 12874 | 1446k| 2.7 |7655k| 38 | - | 120 | 135 | 120 | 18 | 19 | 26k|6892 | 0.000000e+00 | 2.000000e+00 | Inf
176.95/177.05 c 158s|540000 | 12526 | 1472k| 2.7 |7419k| 38 | - | 120 | 118 | 0 | 0 | 19 | 27k|6938 | 0.000000e+00 | 2.000000e+00 | Inf
179.74/179.80 c 161s|550000 | 12432 | 1497k| 2.7 |7361k| 38 | 5 | 120 | 111 | 120 | 18 | 19 | 27k|7006 | 0.000000e+00 | 2.000000e+00 | Inf
182.45/182.55 c 163s|560000 | 12261 | 1523k| 2.7 |7256k| 38 | 5 | 120 | 112 | 120 | 18 | 19 | 27k|7073 | 0.000000e+00 | 2.000000e+00 | Inf
185.13/185.29 c 166s|570000 | 12609 | 1549k| 2.7 |7494k| 38 | - | 120 | 124 | 0 | 0 | 19 | 28k|7151 | 0.000000e+00 | 2.000000e+00 | Inf
187.94/188.04 c 168s|580000 | 12372 | 1574k| 2.7 |7360k| 38 | - | 120 | 140 | 120 | 18 | 19 | 28k|7218 | 0.000000e+00 | 2.000000e+00 | Inf
190.64/190.73 c 171s|590000 | 12080 | 1600k| 2.7 |7146k| 38 | - | 120 | 136 | 120 | 18 | 19 | 29k|7298 | 0.000000e+00 | 2.000000e+00 | Inf
193.34/193.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.34/193.48 c 173s|600000 | 11814 | 1627k| 2.7 |6959k| 38 | 5 | 120 | 100 | 120 | 18 | 19 | 29k|7367 | 0.000000e+00 | 2.000000e+00 | Inf
196.23/196.30 c 176s|610000 | 11670 | 1655k| 2.7 |6859k| 38 | - | 120 | 102 | 120 | 18 | 19 | 29k|7504 | 0.000000e+00 | 2.000000e+00 | Inf
199.13/199.22 c 178s|620000 | 12404 | 1683k| 2.7 |7329k| 38 | - | 120 | 109 | 120 | 18 | 19 | 30k|7588 | 0.000000e+00 | 2.000000e+00 | Inf
201.83/201.98 c 181s|630000 | 12871 | 1710k| 2.7 |7693k| 38 | 5 | 120 | 106 | 120 | 18 | 19 | 30k|7634 | 0.000000e+00 | 2.000000e+00 | Inf
204.64/204.77 c 183s|640000 | 13055 | 1737k| 2.7 |7905k| 38 | - | 120 | 122 | 120 | 18 | 19 | 30k|7702 | 0.000000e+00 | 2.000000e+00 | Inf
207.43/207.51 c 185s|650000 | 12754 | 1762k| 2.7 |7802k| 38 | - | 120 | 112 | 120 | 18 | 19 | 31k|7783 | 0.000000e+00 | 2.000000e+00 | Inf
210.23/210.34 c 188s|660000 | 13104 | 1788k| 2.7 |8021k| 38 | - | 120 | 117 | 0 | 0 | 19 | 31k|7846 | 0.000000e+00 | 2.000000e+00 | Inf
213.13/213.21 c 191s|670000 | 13569 | 1816k| 2.7 |8393k| 38 | - | 120 | 133 | 120 | 18 | 19 | 32k|7900 | 0.000000e+00 | 2.000000e+00 | Inf
215.93/216.02 c 193s|680000 | 13443 | 1842k| 2.7 |8421k| 38 | 5 | 120 | 142 | 120 | 18 | 19 | 32k|7976 | 0.000000e+00 | 2.000000e+00 | Inf
218.73/218.80 c 196s|690000 | 13393 | 1869k| 2.7 |8448k| 38 | 5 | 120 | 144 | 120 | 18 | 19 | 32k|8028 | 0.000000e+00 | 2.000000e+00 | Inf
221.42/221.56 c 198s|700000 | 12996 | 1895k| 2.7 |8164k| 38 | - | 120 | 128 | 0 | 0 | 19 | 33k|8072 | 0.000000e+00 | 2.000000e+00 | Inf
224.23/224.31 c 200s|710000 | 12488 | 1921k| 2.7 |7760k| 38 | 5 | 120 | 106 | 120 | 18 | 19 | 33k|8145 | 0.000000e+00 | 2.000000e+00 | Inf
226.93/227.07 c 203s|720000 | 12166 | 1947k| 2.7 |7407k| 38 | 5 | 120 | 117 | 120 | 18 | 19 | 34k|8194 | 0.000000e+00 | 2.000000e+00 | Inf
229.63/229.80 c 205s|730000 | 11774 | 1973k| 2.7 |6990k| 38 | 5 | 120 | 117 | 120 | 18 | 19 | 34k|8247 | 0.000000e+00 | 2.000000e+00 | Inf
232.43/232.57 c 208s|740000 | 11573 | 2000k| 2.7 |6781k| 38 | 5 | 120 | 97 | 120 | 18 | 19 | 34k|8317 | 0.000000e+00 | 2.000000e+00 | Inf
235.23/235.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.23/235.34 c 210s|750000 | 11312 | 2028k| 2.7 |6603k| 38 | - | 120 | 90 | 120 | 18 | 19 | 35k|8463 | 0.000000e+00 | 2.000000e+00 | Inf
238.02/238.11 c 213s|760000 | 11211 | 2056k| 2.7 |6531k| 38 | 5 | 120 | 103 | 120 | 18 | 19 | 35k|8531 | 0.000000e+00 | 2.000000e+00 | Inf
240.92/241.02 c 215s|770000 | 11827 | 2084k| 2.7 |6925k| 38 | 5 | 120 | 126 | 120 | 18 | 19 | 35k|8608 | 0.000000e+00 | 2.000000e+00 | Inf
243.72/243.80 c 218s|780000 | 12072 | 2110k| 2.7 |7182k| 38 | 5 | 120 | 123 | 120 | 18 | 19 | 36k|8660 | 0.000000e+00 | 2.000000e+00 | Inf
246.52/246.61 c 220s|790000 | 12477 | 2137k| 2.7 |7486k| 38 | - | 120 | 112 | 0 | 0 | 19 | 36k|8706 | 0.000000e+00 | 2.000000e+00 | Inf
249.22/249.35 c 223s|800000 | 12450 | 2164k| 2.7 |7570k| 38 | - | 120 | 123 | 120 | 18 | 19 | 37k|8768 | 0.000000e+00 | 2.000000e+00 | Inf
251.92/252.08 c 225s|810000 | 12320 | 2189k| 2.7 |7555k| 38 | 5 | 120 | 124 | 120 | 18 | 19 | 37k|8810 | 0.000000e+00 | 2.000000e+00 | Inf
254.71/254.81 c 228s|820000 | 11957 | 2215k| 2.7 |7316k| 38 | 5 | 120 | 140 | 120 | 18 | 19 | 37k|8872 | 0.000000e+00 | 2.000000e+00 | Inf
257.51/257.61 c 230s|830000 | 12419 | 2241k| 2.7 |7586k| 38 | 5 | 120 | 136 | 120 | 18 | 19 | 38k|8934 | 0.000000e+00 | 2.000000e+00 | Inf
260.32/260.40 c 233s|840000 | 12603 | 2267k| 2.7 |7817k| 38 | 5 | 120 | 156 | 120 | 18 | 19 | 38k|8990 | 0.000000e+00 | 2.000000e+00 | Inf
263.02/263.14 c 235s|850000 | 12305 | 2292k| 2.7 |7694k| 38 | - | 120 | 155 | 120 | 18 | 19 | 38k|9032 | 0.000000e+00 | 2.000000e+00 | Inf
265.71/265.87 c 237s|860000 | 12025 | 2317k| 2.7 |7456k| 38 | 5 | 120 | 163 | 120 | 18 | 19 | 39k|9073 | 0.000000e+00 | 2.000000e+00 | Inf
268.41/268.56 c 240s|870000 | 11819 | 2342k| 2.7 |7262k| 38 | - | 120 | 137 | 120 | 18 | 19 | 39k|9130 | 0.000000e+00 | 2.000000e+00 | Inf
271.11/271.28 c 242s|880000 | 11614 | 2367k| 2.7 |7084k| 38 | 5 | 120 | 140 | 120 | 18 | 19 | 39k|9210 | 0.000000e+00 | 2.000000e+00 | Inf
273.91/274.01 c 245s|890000 | 11403 | 2393k| 2.7 |6839k| 38 | - | 120 | 120 | 120 | 18 | 19 | 40k|9284 | 0.000000e+00 | 2.000000e+00 | Inf
276.61/276.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.61/276.72 c 247s|900000 | 11319 | 2419k| 2.7 |6735k| 38 | 5 | 120 | 128 | 120 | 18 | 19 | 40k|9321 | 0.000000e+00 | 2.000000e+00 | Inf
279.41/279.59 c 250s|910000 | 12113 | 2446k| 2.7 |7203k| 38 | - | 120 | 118 | 120 | 18 | 19 | 41k|9386 | 0.000000e+00 | 2.000000e+00 | Inf
282.31/282.41 c 252s|920000 | 12668 | 2473k| 2.7 |7613k| 38 | 5 | 120 | 124 | 120 | 18 | 19 | 41k|9441 | 0.000000e+00 | 2.000000e+00 | Inf
285.01/285.13 c 255s|930000 | 12534 | 2498k| 2.7 |7655k| 38 | - | 120 | 125 | 120 | 18 | 19 | 41k|9478 | 0.000000e+00 | 2.000000e+00 | Inf
287.71/287.85 c 257s|940000 | 12211 | 2523k| 2.7 |7524k| 38 | 5 | 120 | 124 | 120 | 18 | 19 | 42k|9552 | 0.000000e+00 | 2.000000e+00 | Inf
290.41/290.55 c 259s|950000 | 11919 | 2548k| 2.7 |7363k| 38 | - | 120 | 129 | 120 | 18 | 19 | 42k|9593 | 0.000000e+00 | 2.000000e+00 | Inf
293.11/293.28 c 262s|960000 | 11870 | 2574k| 2.7 |7347k| 38 | 5 | 120 | 136 | 120 | 18 | 19 | 42k|9653 | 0.000000e+00 | 2.000000e+00 | Inf
295.90/296.03 c 264s|970000 | 11605 | 2600k| 2.7 |7089k| 38 | 5 | 120 | 129 | 120 | 18 | 19 | 43k|9733 | 0.000000e+00 | 2.000000e+00 | Inf
298.70/298.84 c 267s|980000 | 12453 | 2627k| 2.7 |7631k| 38 | - | 120 | 146 | 120 | 18 | 19 | 43k|9800 | 0.000000e+00 | 2.000000e+00 | Inf
301.50/301.60 c 269s|990000 | 12391 | 2652k| 2.7 |7707k| 38 | 5 | 120 | 145 | 120 | 18 | 19 | 44k|9866 | 0.000000e+00 | 2.000000e+00 | Inf
304.21/304.34 c 272s| 1000k| 11976 | 2678k| 2.7 |7496k| 38 | 5 | 120 | 149 | 120 | 18 | 19 | 44k|9941 | 0.000000e+00 | 2.000000e+00 | Inf
306.90/307.08 c 274s| 1010k| 11801 | 2703k| 2.7 |7380k| 38 | - | 120 | 159 | 120 | 18 | 19 | 44k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
309.70/309.81 c 277s| 1020k| 11596 | 2729k| 2.7 |7071k| 38 | 5 | 120 | 147 | 120 | 18 | 19 | 45k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
312.40/312.53 c 279s| 1030k| 11443 | 2755k| 2.7 |6811k| 38 | 5 | 120 | 136 | 120 | 18 | 19 | 45k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
315.10/315.23 c 281s| 1040k| 11336 | 2781k| 2.7 |6784k| 38 | 5 | 120 | 136 | 120 | 18 | 19 | 45k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
317.81/317.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.81/317.95 c 284s| 1050k| 11236 | 2807k| 2.7 |6660k| 38 | - | 120 | 152 | 120 | 18 | 19 | 46k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
320.60/320.70 c 286s| 1060k| 11099 | 2834k| 2.7 |6490k| 38 | - | 120 | 114 | 120 | 18 | 19 | 46k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
323.49/323.63 c 289s| 1070k| 11988 | 2863k| 2.7 |7015k| 38 | - | 120 | 178 | 120 | 18 | 19 | 46k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
326.30/326.46 c 291s| 1080k| 12642 | 2891k| 2.7 |7479k| 38 | 5 | 120 | 173 | 120 | 18 | 19 | 47k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
329.10/329.25 c 294s| 1090k| 12784 | 2917k| 2.7 |7683k| 38 | - | 120 | 183 | 120 | 18 | 19 | 47k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
331.90/332.01 c 296s| 1100k| 12877 | 2944k| 2.7 |7828k| 38 | 5 | 120 | 176 | 120 | 18 | 19 | 48k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
334.60/334.79 c 299s| 1110k| 12925 | 2971k| 2.7 |7930k| 38 | 5 | 120 | 184 | 120 | 18 | 19 | 48k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
337.40/337.56 c 301s| 1120k| 12721 | 2998k| 2.7 |7879k| 38 | - | 120 | 189 | 120 | 18 | 19 | 48k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
340.19/340.33 c 304s| 1130k| 12602 | 3024k| 2.7 |7813k| 38 | 5 | 120 | 191 | 120 | 18 | 19 | 49k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
343.00/343.20 c 306s| 1140k| 13357 | 3052k| 2.7 |8338k| 38 | 5 | 120 | 212 | 120 | 18 | 19 | 49k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
345.89/346.03 c 309s| 1150k| 13325 | 3078k| 2.7 |8414k| 38 | 5 | 120 | 205 | 120 | 18 | 19 | 50k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
348.69/348.89 c 311s| 1160k| 14327 | 3105k| 2.7 |9028k| 38 | - | 120 | 213 | 120 | 18 | 19 | 50k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
351.59/351.75 c 314s| 1170k| 15113 | 3131k| 2.7 |9519k| 38 | - | 120 | 207 | 120 | 18 | 19 | 50k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
354.29/354.47 c 316s| 1180k| 15159 | 3156k| 2.7 |9691k| 38 | - | 120 | 201 | 120 | 18 | 19 | 51k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
357.09/357.24 c 319s| 1190k| 15272 | 3182k| 2.7 |9854k| 38 | - | 120 | 218 | 120 | 18 | 19 | 51k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
359.79/359.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.79/359.95 c 321s| 1200k| 14814 | 3206k| 2.7 |9673k| 38 | - | 120 | 197 | 0 | 0 | 19 | 51k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
362.58/362.72 c 324s| 1210k| 14581 | 3232k| 2.7 |9587k| 38 | - | 120 | 186 | 120 | 18 | 19 | 52k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
365.29/365.48 c 326s| 1220k| 14285 | 3257k| 2.7 |9397k| 38 | 5 | 120 | 199 | 120 | 18 | 19 | 52k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
368.08/368.25 c 329s| 1230k| 14407 | 3283k| 2.7 |9530k| 38 | - | 120 | 202 | 0 | 0 | 19 | 52k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
370.88/371.03 c 331s| 1240k| 14319 | 3309k| 2.7 |9508k| 38 | 5 | 120 | 211 | 120 | 18 | 19 | 53k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
373.58/373.75 c 334s| 1250k| 13880 | 3335k| 2.7 |9166k| 38 | 5 | 120 | 204 | 120 | 18 | 19 | 53k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
376.39/376.51 c 336s| 1260k| 13795 | 3361k| 2.7 |9070k| 38 | 5 | 120 | 207 | 120 | 18 | 19 | 54k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
379.19/379.37 c 339s| 1270k| 14466 | 3389k| 2.7 |9562k| 38 | - | 120 | 236 | 120 | 18 | 19 | 54k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
381.98/382.16 c 341s| 1280k| 14862 | 3415k| 2.7 |9884k| 38 | - | 120 | 244 | 120 | 18 | 19 | 54k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
384.79/384.96 c 344s| 1290k| 14870 | 3441k| 2.7 | 10M| 38 | 5 | 120 | 293 | 120 | 18 | 19 | 55k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
387.58/387.77 c 346s| 1300k| 14906 | 3468k| 2.7 | 10M| 38 | 5 | 120 | 253 | 120 | 18 | 19 | 55k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
390.39/390.54 c 349s| 1310k| 14968 | 3495k| 2.7 | 10M| 38 | 5 | 120 | 273 | 120 | 18 | 19 | 56k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
393.17/393.31 c 351s| 1320k| 14754 | 3520k| 2.7 | 10M| 38 | 5 | 120 | 267 | 120 | 18 | 19 | 56k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
395.88/396.09 c 354s| 1330k| 14683 | 3547k| 2.7 | 10M| 38 | 5 | 120 | 242 | 120 | 18 | 19 | 57k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
398.67/398.86 c 356s| 1340k| 14567 | 3574k| 2.7 |9997k| 38 | 5 | 120 | 243 | 120 | 18 | 19 | 57k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
401.39/401.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.39/401.59 c 358s| 1350k| 14588 | 3601k| 2.7 | 10M| 38 | 5 | 120 | 252 | 120 | 18 | 19 | 57k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
404.18/404.36 c 361s| 1360k| 14513 | 3628k| 2.7 |9991k| 38 | 5 | 120 | 226 | 120 | 18 | 19 | 58k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
406.97/407.13 c 363s| 1370k| 14444 | 3656k| 2.7 |9936k| 38 | 5 | 120 | 240 | 120 | 18 | 19 | 58k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
409.78/409.93 c 366s| 1380k| 14363 | 3684k| 2.7 |9850k| 38 | - | 120 | 246 | 0 | 0 | 19 | 59k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
412.57/412.70 c 368s| 1390k| 14244 | 3710k| 2.7 |9786k| 38 | 5 | 120 | 263 | 120 | 18 | 19 | 59k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
415.27/415.48 c 371s| 1400k| 14025 | 3739k| 2.7 |9508k| 38 | - | 120 | 230 | 120 | 18 | 19 | 59k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
418.07/418.26 c 373s| 1410k| 13937 | 3767k| 2.7 |9428k| 38 | 5 | 120 | 242 | 120 | 18 | 19 | 60k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
420.97/421.15 c 376s| 1420k| 14671 | 3795k| 2.7 |9865k| 38 | 5 | 120 | 232 | 120 | 18 | 19 | 60k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
423.77/423.93 c 378s| 1430k| 14802 | 3822k| 2.7 | 10M| 38 | - | 120 | 222 | 120 | 18 | 19 | 61k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
426.58/426.78 c 381s| 1440k| 15122 | 3850k| 2.7 | 10M| 38 | 5 | 120 | 230 | 120 | 18 | 19 | 61k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
429.36/429.54 c 383s| 1450k| 15005 | 3876k| 2.7 | 10M| 38 | - | 120 | 226 | 120 | 18 | 19 | 61k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
432.17/432.33 c 386s| 1460k| 14597 | 3904k| 2.7 | 10M| 38 | 5 | 120 | 230 | 120 | 18 | 19 | 62k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
434.97/435.14 c 388s| 1470k| 14919 | 3931k| 2.7 | 10M| 38 | 5 | 120 | 258 | 120 | 18 | 19 | 62k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
437.77/437.91 c 391s| 1480k| 14846 | 3959k| 2.7 | 10M| 38 | - | 120 | 235 | 120 | 18 | 19 | 62k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
440.47/440.67 c 393s| 1490k| 15040 | 3986k| 2.7 | 10M| 38 | 5 | 120 | 253 | 120 | 18 | 19 | 63k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
443.17/443.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.17/443.38 c 396s| 1500k| 14739 | 4012k| 2.7 | 10M| 38 | - | 120 | 242 | 120 | 18 | 19 | 63k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
445.96/446.12 c 398s| 1510k| 14342 | 4040k| 2.7 |9906k| 38 | 5 | 120 | 228 | 120 | 18 | 19 | 63k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
448.67/448.88 c 400s| 1520k| 13861 | 4067k| 2.7 |9340k| 38 | - | 120 | 240 | 120 | 18 | 19 | 63k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
451.47/451.65 c 403s| 1530k| 13782 | 4094k| 2.7 |9194k| 38 | - | 120 | 229 | 120 | 18 | 19 | 64k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
454.26/454.46 c 405s| 1540k| 13818 | 4122k| 2.7 |9238k| 38 | 5 | 120 | 250 | 120 | 18 | 19 | 64k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
456.96/457.18 c 408s| 1550k| 13556 | 4148k| 2.7 |8980k| 38 | - | 120 | 219 | 120 | 18 | 19 | 64k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
459.76/459.92 c 410s| 1560k| 13331 | 4174k| 2.7 |8799k| 38 | - | 120 | 221 | 120 | 18 | 19 | 65k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
462.46/462.69 c 413s| 1570k| 13147 | 4201k| 2.7 |8664k| 38 | - | 120 | 219 | 120 | 18 | 19 | 65k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
465.26/465.43 c 415s| 1580k| 12738 | 4227k| 2.7 |8278k| 38 | - | 120 | 197 | 120 | 18 | 19 | 66k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
467.96/468.19 c 418s| 1590k| 12831 | 4255k| 2.7 |8382k| 38 | - | 120 | 201 | 120 | 18 | 19 | 66k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
470.76/470.97 c 420s| 1600k| 12716 | 4283k| 2.7 |8276k| 38 | - | 120 | 206 | 120 | 18 | 19 | 66k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
473.55/473.75 c 423s| 1610k| 12499 | 4310k| 2.7 |8065k| 38 | 5 | 120 | 213 | 120 | 18 | 19 | 67k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
476.36/476.50 c 425s| 1620k| 12367 | 4336k| 2.7 |7946k| 38 | 5 | 120 | 225 | 120 | 18 | 19 | 67k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
479.06/479.27 c 428s| 1630k| 12144 | 4364k| 2.7 |7728k| 38 | - | 120 | 211 | 120 | 18 | 19 | 67k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
481.85/482.05 c 430s| 1640k| 11875 | 4391k| 2.7 |7433k| 38 | 5 | 120 | 195 | 120 | 18 | 19 | 68k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
484.65/484.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.65/484.85 c 432s| 1650k| 12735 | 4418k| 2.7 |7975k| 38 | 5 | 120 | 210 | 120 | 18 | 19 | 68k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
487.35/487.56 c 435s| 1660k| 12702 | 4443k| 2.7 |8070k| 38 | - | 120 | 210 | 120 | 18 | 19 | 68k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
490.05/490.25 c 437s| 1670k| 12494 | 4468k| 2.7 |7997k| 38 | - | 120 | 213 | 120 | 18 | 19 | 69k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
492.76/492.92 c 440s| 1680k| 12207 | 4492k| 2.7 |7790k| 38 | 5 | 120 | 215 | 120 | 18 | 19 | 69k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
495.45/495.66 c 442s| 1690k| 12274 | 4519k| 2.7 |7794k| 38 | 5 | 120 | 219 | 120 | 18 | 19 | 69k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
498.25/498.40 c 444s| 1700k| 12287 | 4546k| 2.7 |7859k| 38 | 5 | 120 | 223 | 120 | 18 | 19 | 70k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
500.95/501.16 c 447s| 1710k| 12341 | 4572k| 2.7 |7927k| 38 | 5 | 120 | 237 | 120 | 18 | 19 | 70k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
503.66/503.88 c 449s| 1720k| 11950 | 4598k| 2.7 |7537k| 38 | - | 120 | 215 | 120 | 18 | 19 | 70k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
506.45/506.65 c 452s| 1730k| 12037 | 4624k| 2.7 |7491k| 38 | 5 | 120 | 201 | 120 | 18 | 19 | 71k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
509.25/509.40 c 454s| 1740k| 12000 | 4652k| 2.7 |7549k| 38 | - | 120 | 205 | 120 | 18 | 19 | 71k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
511.94/512.16 c 457s| 1750k| 11773 | 4680k| 2.7 |7335k| 38 | 5 | 120 | 211 | 120 | 18 | 19 | 71k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
514.74/514.91 c 459s| 1760k| 11756 | 4705k| 2.7 |7288k| 38 | 5 | 120 | 209 | 120 | 18 | 19 | 72k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
517.54/517.70 c 462s| 1770k| 11698 | 4733k| 2.7 |7258k| 38 | - | 120 | 196 | 120 | 18 | 19 | 72k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
520.24/520.49 c 464s| 1780k| 11967 | 4762k| 2.7 |7423k| 38 | 5 | 120 | 204 | 120 | 18 | 19 | 72k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
522.94/523.19 c 466s| 1790k| 11793 | 4787k| 2.7 |7369k| 38 | 5 | 120 | 195 | 120 | 18 | 19 | 73k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
525.74/525.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.74/525.95 c 469s| 1800k| 11792 | 4814k| 2.7 |7293k| 38 | - | 120 | 215 | 120 | 18 | 19 | 73k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
528.54/528.75 c 471s| 1810k| 11820 | 4842k| 2.7 |7390k| 38 | 5 | 120 | 230 | 120 | 18 | 19 | 74k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
531.34/531.51 c 474s| 1820k| 11643 | 4869k| 2.7 |7197k| 38 | 5 | 120 | 223 | 120 | 18 | 19 | 74k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
534.03/534.28 c 476s| 1830k| 11939 | 4896k| 2.7 |7361k| 38 | - | 120 | 251 | 120 | 18 | 19 | 74k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
536.84/537.00 c 479s| 1840k| 11690 | 4920k| 2.7 |7280k| 38 | 5 | 120 | 253 | 120 | 18 | 19 | 75k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
539.54/539.78 c 481s| 1850k| 11817 | 4945k| 2.7 |7362k| 38 | - | 120 | 276 | 120 | 18 | 19 | 75k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
542.33/542.55 c 484s| 1860k| 11563 | 4972k| 2.7 |7137k| 38 | 5 | 120 | 251 | 120 | 18 | 19 | 76k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
545.14/545.30 c 486s| 1870k| 11518 | 4998k| 2.7 |7063k| 38 | 5 | 120 | 235 | 120 | 18 | 19 | 76k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
547.84/548.04 c 489s| 1880k| 11405 | 5024k| 2.7 |6961k| 38 | 5 | 120 | 218 | 120 | 18 | 19 | 76k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
550.52/550.78 c 491s| 1890k| 11259 | 5051k| 2.7 |6774k| 38 | 5 | 120 | 217 | 120 | 18 | 19 | 77k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
553.32/553.55 c 493s| 1900k| 11212 | 5078k| 2.7 |6637k| 38 | 5 | 120 | 207 | 120 | 18 | 19 | 77k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
556.22/556.44 c 496s| 1910k| 11199 | 5105k| 2.7 |6604k| 38 | - | 120 | 212 | 0 | 0 | 19 | 77k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
558.92/559.16 c 498s| 1920k| 11208 | 5130k| 2.7 |6676k| 38 | 5 | 120 | 226 | 120 | 18 | 19 | 78k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
561.62/561.87 c 501s| 1930k| 11258 | 5155k| 2.7 |6741k| 38 | 5 | 120 | 246 | 120 | 18 | 19 | 78k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
564.32/564.56 c 503s| 1940k| 11125 | 5180k| 2.7 |6606k| 38 | - | 120 | 229 | 120 | 18 | 19 | 78k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
567.02/567.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.02/567.24 c 506s| 1950k| 11081 | 5205k| 2.7 |6585k| 38 | 5 | 120 | 252 | 120 | 18 | 19 | 79k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
569.92/570.10 c 508s| 1960k| 11806 | 5232k| 2.7 |6962k| 38 | - | 120 | 235 | 120 | 18 | 19 | 79k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
572.61/572.87 c 511s| 1970k| 12159 | 5259k| 2.7 |7278k| 38 | 5 | 120 | 240 | 120 | 18 | 19 | 79k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
575.41/575.61 c 513s| 1980k| 12260 | 5285k| 2.7 |7446k| 38 | - | 120 | 258 | 120 | 18 | 19 | 80k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
578.11/578.34 c 516s| 1990k| 12212 | 5311k| 2.7 |7474k| 38 | - | 120 | 242 | 120 | 18 | 19 | 80k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
580.92/581.10 c 518s| 2000k| 12670 | 5337k| 2.7 |7807k| 38 | - | 120 | 264 | 120 | 18 | 19 | 80k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
583.61/583.84 c 520s| 2010k| 12779 | 5361k| 2.7 |7961k| 38 | - | 120 | 273 | 120 | 18 | 19 | 81k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
586.32/586.57 c 523s| 2020k| 12756 | 5387k| 2.7 |8006k| 38 | - | 120 | 272 | 0 | 0 | 19 | 81k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
589.11/589.30 c 525s| 2030k| 12638 | 5412k| 2.7 |7990k| 38 | - | 120 | 290 | 120 | 18 | 19 | 81k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
591.81/592.02 c 528s| 2040k| 12634 | 5438k| 2.7 |8011k| 38 | - | 120 | 301 | 0 | 0 | 19 | 82k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
594.51/594.75 c 530s| 2050k| 12379 | 5463k| 2.7 |7855k| 38 | 5 | 120 | 282 | 120 | 18 | 19 | 82k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
597.31/597.50 c 532s| 2060k| 12234 | 5489k| 2.7 |7756k| 38 | - | 120 | 273 | 0 | 0 | 19 | 83k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
600.11/600.30 c 535s| 2070k| 12327 | 5515k| 2.7 |7811k| 38 | - | 120 | 277 | 120 | 18 | 19 | 83k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
602.81/603.01 c 537s| 2080k| 12209 | 5541k| 2.7 |7791k| 38 | 5 | 120 | 286 | 120 | 18 | 19 | 83k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
605.51/605.74 c 540s| 2090k| 11900 | 5566k| 2.7 |7532k| 38 | - | 120 | 287 | 120 | 18 | 19 | 84k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
608.30/608.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.30/608.53 c 542s| 2100k| 11903 | 5592k| 2.7 |7490k| 38 | - | 120 | 275 | 120 | 18 | 19 | 84k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
611.01/611.23 c 545s| 2110k| 11675 | 5619k| 2.7 |7316k| 38 | 5 | 120 | 273 | 120 | 18 | 19 | 84k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
613.71/613.96 c 547s| 2120k| 11551 | 5644k| 2.7 |7176k| 38 | 5 | 120 | 281 | 120 | 18 | 19 | 85k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
616.51/616.72 c 550s| 2130k| 11467 | 5671k| 2.7 |7102k| 38 | - | 120 | 287 | 0 | 0 | 19 | 85k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
619.20/619.47 c 552s| 2140k| 11421 | 5697k| 2.7 |7034k| 38 | 5 | 120 | 296 | 120 | 18 | 19 | 86k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
622.00/622.23 c 554s| 2150k| 11367 | 5724k| 2.7 |6943k| 38 | 5 | 120 | 304 | 120 | 18 | 19 | 86k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
624.70/624.93 c 557s| 2160k| 11262 | 5749k| 2.7 |6893k| 38 | 5 | 120 | 323 | 120 | 18 | 19 | 86k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
627.40/627.67 c 559s| 2170k| 11262 | 5774k| 2.7 |6901k| 38 | - | 120 | 341 | 120 | 18 | 19 | 87k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
630.20/630.41 c 562s| 2180k| 11180 | 5801k| 2.7 |6700k| 38 | 5 | 120 | 279 | 120 | 18 | 19 | 87k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
632.90/633.15 c 564s| 2190k| 11292 | 5826k| 2.7 |6845k| 38 | 5 | 120 | 296 | 120 | 18 | 19 | 87k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
635.60/635.89 c 567s| 2200k| 11302 | 5852k| 2.7 |6738k| 38 | - | 120 | 305 | 120 | 18 | 19 | 88k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
638.30/638.57 c 569s| 2210k| 11223 | 5876k| 2.7 |6743k| 38 | - | 120 | 299 | 120 | 18 | 19 | 88k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
641.01/641.27 c 571s| 2220k| 11022 | 5901k| 2.7 |6557k| 38 | 5 | 120 | 300 | 120 | 18 | 19 | 88k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
643.80/644.09 c 574s| 2230k| 11283 | 5928k| 2.7 |6765k| 38 | - | 120 | 262 | 120 | 18 | 19 | 89k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
646.61/646.82 c 576s| 2240k| 11278 | 5953k| 2.7 |6766k| 38 | 5 | 120 | 266 | 120 | 18 | 19 | 89k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
649.30/649.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.30/649.53 c 579s| 2250k| 11141 | 5978k| 2.7 |6629k| 38 | 5 | 120 | 260 | 120 | 18 | 19 | 89k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
652.00/652.25 c 581s| 2260k| 11164 | 6004k| 2.7 |6626k| 38 | 5 | 120 | 261 | 120 | 18 | 19 | 90k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
654.79/655.00 c 584s| 2270k| 11125 | 6029k| 2.7 |6652k| 38 | - | 120 | 265 | 120 | 18 | 19 | 90k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
657.50/657.72 c 586s| 2280k| 10969 | 6054k| 2.7 |6490k| 38 | - | 120 | 215 | 120 | 18 | 19 | 90k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
660.30/660.60 c 589s| 2290k| 11805 | 6082k| 2.7 |7009k| 38 | - | 120 | 224 | 120 | 18 | 19 | 91k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
663.10/663.38 c 591s| 2300k| 12010 | 6108k| 2.7 |7243k| 38 | 5 | 120 | 251 | 120 | 18 | 19 | 91k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
665.89/666.13 c 593s| 2310k| 11977 | 6133k| 2.7 |7303k| 38 | 5 | 120 | 241 | 120 | 18 | 19 | 91k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
668.59/668.89 c 596s| 2320k| 12001 | 6159k| 2.7 |7351k| 38 | 5 | 120 | 243 | 120 | 18 | 19 | 92k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
671.39/671.61 c 598s| 2330k| 11828 | 6184k| 2.7 |7304k| 38 | - | 120 | 270 | 120 | 18 | 19 | 92k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
674.09/674.31 c 601s| 2340k| 11507 | 6209k| 2.7 |7079k| 38 | 5 | 120 | 271 | 120 | 18 | 19 | 93k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
676.78/677.07 c 603s| 2350k| 11489 | 6235k| 2.7 |7096k| 38 | - | 120 | 288 | 120 | 18 | 19 | 93k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
679.49/679.79 c 606s| 2360k| 11223 | 6260k| 2.7 |6843k| 38 | 5 | 120 | 287 | 120 | 18 | 19 | 93k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
682.29/682.52 c 608s| 2370k| 10985 | 6286k| 2.7 |6550k| 38 | - | 120 | 288 | 120 | 18 | 19 | 94k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
685.09/685.31 c 611s| 2380k| 11159 | 6312k| 2.7 |6703k| 38 | - | 120 | 341 | 120 | 18 | 19 | 94k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
687.79/688.05 c 613s| 2390k| 11146 | 6338k| 2.7 |6727k| 38 | - | 120 | 299 | 120 | 18 | 19 | 94k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
690.59/690.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.59/690.84 c 615s| 2400k| 11080 | 6365k| 2.7 |6645k| 38 | - | 120 | 327 | 120 | 18 | 19 | 95k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
693.39/693.61 c 618s| 2410k| 10962 | 6392k| 2.7 |6553k| 38 | 5 | 120 | 334 | 120 | 18 | 19 | 95k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
696.09/696.36 c 620s| 2420k| 10955 | 6417k| 2.7 |6566k| 38 | 5 | 120 | 363 | 120 | 18 | 19 | 95k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
698.89/699.10 c 623s| 2430k| 10910 | 6443k| 2.7 |6498k| 38 | 5 | 120 | 221 | 120 | 18 | 19 | 96k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
701.58/701.82 c 625s| 2440k| 10791 | 6469k| 2.7 |6415k| 38 | - | 120 | 154 | 120 | 18 | 19 | 96k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
704.38/704.60 c 628s| 2450k| 11241 | 6495k| 2.7 |6709k| 38 | - | 120 | 178 | 120 | 18 | 19 | 96k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
707.09/707.31 c 630s| 2460k| 11117 | 6521k| 2.7 |6712k| 38 | - | 120 | 182 | 120 | 18 | 19 | 97k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
709.77/710.08 c 633s| 2470k| 11358 | 6547k| 2.7 |6931k| 38 | - | 120 | 187 | 120 | 18 | 19 | 97k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
712.59/712.85 c 635s| 2480k| 11592 | 6573k| 2.7 |7106k| 38 | - | 120 | 195 | 120 | 18 | 19 | 98k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
715.28/715.57 c 637s| 2490k| 11649 | 6599k| 2.7 |7212k| 38 | 5 | 120 | 216 | 120 | 18 | 19 | 98k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
717.98/718.27 c 640s| 2500k| 11458 | 6624k| 2.6 |7111k| 38 | - | 120 | 206 | 120 | 18 | 19 | 98k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
720.77/721.02 c 642s| 2510k| 11226 | 6650k| 2.6 |6843k| 38 | - | 120 | 195 | 120 | 18 | 19 | 99k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
723.48/723.75 c 645s| 2520k| 11156 | 6676k| 2.6 |6881k| 38 | 5 | 120 | 214 | 120 | 18 | 19 | 99k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
726.27/726.51 c 647s| 2530k| 10822 | 6702k| 2.6 |6449k| 38 | - | 120 | 199 | 120 | 18 | 19 | 99k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
728.98/729.28 c 650s| 2540k| 11163 | 6726k| 2.6 |6741k| 38 | 5 | 120 | 235 | 120 | 18 | 19 | 100k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
731.77/732.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.77/732.01 c 652s| 2550k| 10970 | 6751k| 2.6 |6658k| 38 | - | 120 | 251 | 120 | 18 | 19 | 100k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
734.47/734.77 c 655s| 2560k| 10905 | 6776k| 2.6 |6570k| 38 | 5 | 120 | 246 | 120 | 18 | 19 | 100k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
737.17/737.49 c 657s| 2570k| 10924 | 6801k| 2.6 |6603k| 38 | 5 | 120 | 265 | 120 | 18 | 19 | 101k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
739.97/740.23 c 659s| 2580k| 10803 | 6826k| 2.6 |6508k| 38 | 5 | 120 | 293 | 120 | 18 | 19 | 101k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
742.67/742.94 c 662s| 2590k| 10820 | 6851k| 2.6 |6528k| 38 | 5 | 120 | 316 | 120 | 18 | 19 | 101k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
745.37/745.70 c 664s| 2600k| 10857 | 6877k| 2.6 |6559k| 38 | - | 120 | 323 | 0 | 0 | 19 | 102k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
748.17/748.46 c 667s| 2610k| 10799 | 6903k| 2.6 |6466k| 38 | - | 120 | 211 | 120 | 18 | 19 | 102k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
750.98/751.25 c 669s| 2620k| 10618 | 6930k| 2.6 |6351k| 38 | 5 | 120 | 164 | 120 | 18 | 19 | 102k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
753.87/754.10 c 672s| 2630k| 11557 | 6957k| 2.6 |6878k| 38 | 5 | 120 | 169 | 120 | 18 | 19 | 103k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
756.57/756.89 c 674s| 2640k| 11902 | 6984k| 2.6 |7184k| 38 | - | 120 | 174 | 120 | 18 | 19 | 103k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
759.47/759.75 c 677s| 2650k| 12450 | 7011k| 2.6 |7547k| 38 | 5 | 120 | 169 | 120 | 18 | 19 | 103k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
762.27/762.56 c 679s| 2660k| 13405 | 7037k| 2.6 |8184k| 38 | - | 120 | 190 | 120 | 18 | 19 | 104k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
765.06/765.33 c 682s| 2670k| 13956 | 7062k| 2.6 |8609k| 38 | 5 | 120 | 198 | 120 | 18 | 19 | 104k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
767.77/768.08 c 684s| 2680k| 14084 | 7087k| 2.6 |8793k| 38 | 5 | 120 | 194 | 120 | 18 | 19 | 105k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
770.46/770.79 c 687s| 2690k| 14184 | 7111k| 2.6 |8959k| 38 | 5 | 120 | 211 | 120 | 18 | 19 | 105k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
773.26/773.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.26/773.55 c 689s| 2700k| 14438 | 7137k| 2.6 |9161k| 38 | - | 120 | 202 | 120 | 18 | 19 | 105k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
776.06/776.34 c 692s| 2710k| 14978 | 7162k| 2.6 |9580k| 38 | - | 120 | 215 | 120 | 18 | 19 | 106k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
778.76/779.09 c 694s| 2720k| 15001 | 7187k| 2.6 |9701k| 38 | 5 | 120 | 213 | 120 | 18 | 19 | 106k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
781.56/781.86 c 697s| 2730k| 15176 | 7212k| 2.6 |9875k| 38 | - | 120 | 230 | 120 | 18 | 19 | 107k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
784.26/784.58 c 699s| 2740k| 15222 | 7237k| 2.6 |9982k| 38 | - | 120 | 216 | 120 | 18 | 19 | 107k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
787.05/787.35 c 701s| 2750k| 15771 | 7263k| 2.6 | 10M| 38 | 5 | 120 | 229 | 120 | 18 | 19 | 107k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
789.75/790.09 c 704s| 2760k| 15877 | 7287k| 2.6 | 10M| 38 | 5 | 120 | 225 | 120 | 18 | 19 | 108k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
792.56/792.80 c 706s| 2770k| 15711 | 7312k| 2.6 | 10M| 38 | 5 | 120 | 216 | 120 | 18 | 19 | 108k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
795.25/795.54 c 709s| 2780k| 15491 | 7336k| 2.6 | 10M| 38 | - | 120 | 206 | 0 | 0 | 19 | 108k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
797.95/798.27 c 711s| 2790k| 15567 | 7361k| 2.6 | 10M| 38 | 5 | 120 | 213 | 120 | 18 | 19 | 109k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
800.65/800.99 c 714s| 2800k| 15420 | 7386k| 2.6 | 10M| 38 | - | 120 | 200 | 120 | 18 | 19 | 109k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
803.45/803.71 c 716s| 2810k| 15342 | 7411k| 2.6 | 10M| 38 | - | 120 | 225 | 120 | 18 | 19 | 109k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
806.15/806.44 c 718s| 2820k| 15301 | 7435k| 2.6 | 10M| 38 | 5 | 120 | 226 | 120 | 18 | 19 | 110k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
808.85/809.19 c 721s| 2830k| 15274 | 7459k| 2.6 | 10M| 38 | 5 | 120 | 213 | 120 | 18 | 19 | 110k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
811.65/811.97 c 723s| 2840k| 15598 | 7484k| 2.6 | 10M| 38 | 5 | 120 | 233 | 120 | 18 | 19 | 111k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
814.34/814.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
814.34/814.70 c 726s| 2850k| 15347 | 7509k| 2.6 | 10M| 38 | - | 120 | 227 | 0 | 0 | 19 | 111k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
817.14/817.46 c 728s| 2860k| 15799 | 7535k| 2.6 | 10M| 38 | - | 120 | 234 | 120 | 18 | 19 | 112k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
819.94/820.21 c 731s| 2870k| 16002 | 7561k| 2.6 | 11M| 38 | - | 120 | 238 | 120 | 18 | 19 | 112k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
822.64/822.92 c 733s| 2880k| 16122 | 7586k| 2.6 | 11M| 38 | - | 120 | 258 | 120 | 18 | 19 | 112k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
825.34/825.67 c 735s| 2890k| 16397 | 7612k| 2.6 | 11M| 38 | - | 120 | 240 | 0 | 0 | 19 | 113k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
828.14/828.40 c 738s| 2900k| 16494 | 7637k| 2.6 | 11M| 38 | - | 120 | 240 | 120 | 18 | 19 | 113k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
830.84/831.15 c 740s| 2910k| 16182 | 7662k| 2.6 | 11M| 38 | 5 | 120 | 228 | 120 | 18 | 19 | 114k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
833.64/833.94 c 743s| 2920k| 16284 | 7688k| 2.6 | 11M| 38 | - | 120 | 207 | 120 | 18 | 19 | 114k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
836.54/836.81 c 745s| 2930k| 17358 | 7714k| 2.6 | 12M| 38 | 5 | 120 | 210 | 120 | 18 | 19 | 114k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
839.34/839.65 c 748s| 2940k| 18119 | 7740k| 2.6 | 12M| 38 | - | 120 | 223 | 120 | 18 | 19 | 115k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
842.14/842.43 c 750s| 2950k| 18223 | 7765k| 2.6 | 12M| 38 | - | 120 | 213 | 120 | 18 | 19 | 115k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
844.84/845.18 c 753s| 2960k| 18382 | 7790k| 2.6 | 13M| 38 | 5 | 120 | 218 | 120 | 18 | 19 | 116k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
847.63/847.93 c 755s| 2970k| 18544 | 7814k| 2.6 | 13M| 38 | 5 | 120 | 219 | 120 | 18 | 19 | 116k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
850.33/850.65 c 758s| 2980k| 18439 | 7839k| 2.6 | 13M| 38 | - | 120 | 226 | 120 | 18 | 19 | 116k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
853.03/853.39 c 760s| 2990k| 18263 | 7863k| 2.6 | 13M| 38 | 5 | 120 | 229 | 120 | 18 | 19 | 117k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
855.93/856.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.93/856.20 c 763s| 3000k| 18654 | 7888k| 2.6 | 13M| 38 | - | 120 | 238 | 120 | 18 | 19 | 117k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
858.63/858.96 c 765s| 3010k| 19481 | 7915k| 2.6 | 14M| 38 | - | 120 | 247 | 120 | 18 | 19 | 117k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
861.33/861.69 c 768s| 3020k| 19761 | 7940k| 2.6 | 14M| 38 | - | 120 | 239 | 120 | 18 | 19 | 118k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
864.03/864.39 c 770s| 3030k| 19737 | 7964k| 2.6 | 14M| 38 | - | 120 | 252 | 120 | 18 | 19 | 118k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
866.82/867.16 c 772s| 3040k| 20041 | 7989k| 2.6 | 14M| 38 | 5 | 120 | 275 | 120 | 18 | 19 | 119k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
869.62/869.93 c 775s| 3050k| 19989 | 8014k| 2.6 | 14M| 38 | 5 | 120 | 275 | 120 | 18 | 19 | 119k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
872.32/872.67 c 777s| 3060k| 19339 | 8038k| 2.6 | 14M| 38 | - | 120 | 228 | 120 | 18 | 19 | 120k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
875.12/875.42 c 780s| 3070k| 18940 | 8063k| 2.6 | 14M| 38 | - | 120 | 228 | 120 | 18 | 19 | 120k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
877.83/878.19 c 782s| 3080k| 18909 | 8088k| 2.6 | 14M| 38 | - | 120 | 230 | 120 | 18 | 19 | 121k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
880.63/880.94 c 785s| 3090k| 19270 | 8115k| 2.6 | 14M| 38 | 5 | 120 | 242 | 120 | 18 | 19 | 121k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
883.32/883.69 c 787s| 3100k| 19538 | 8142k| 2.6 | 14M| 38 | 5 | 120 | 257 | 120 | 18 | 19 | 121k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
886.12/886.42 c 790s| 3110k| 19565 | 8168k| 2.6 | 14M| 38 | 5 | 120 | 249 | 120 | 18 | 19 | 122k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
888.83/889.15 c 792s| 3120k| 19654 | 8194k| 2.6 | 14M| 38 | 5 | 120 | 273 | 120 | 18 | 19 | 122k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
891.53/891.86 c 794s| 3130k| 19386 | 8218k| 2.6 | 14M| 38 | 5 | 120 | 248 | 120 | 18 | 19 | 122k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
894.22/894.58 c 797s| 3140k| 19242 | 8245k| 2.6 | 14M| 38 | 5 | 120 | 270 | 120 | 18 | 19 | 123k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
897.02/897.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.02/897.31 c 799s| 3150k| 18859 | 8269k| 2.6 | 14M| 38 | 5 | 120 | 246 | 120 | 18 | 19 | 123k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
899.72/900.08 c 802s| 3160k| 18674 | 8295k| 2.6 | 14M| 38 | - | 120 | 243 | 120 | 18 | 19 | 123k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
902.51/902.84 c 804s| 3170k| 18525 | 8321k| 2.6 | 14M| 38 | - | 120 | 245 | 120 | 18 | 19 | 124k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
905.21/905.57 c 806s| 3180k| 18221 | 8345k| 2.6 | 13M| 38 | 5 | 120 | 222 | 120 | 18 | 19 | 124k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
908.02/908.36 c 809s| 3190k| 18652 | 8372k| 2.6 | 14M| 38 | - | 120 | 229 | 0 | 0 | 19 | 125k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
910.81/911.12 c 811s| 3200k| 18523 | 8398k| 2.6 | 14M| 38 | 5 | 120 | 243 | 120 | 18 | 19 | 125k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
913.51/913.87 c 814s| 3210k| 18136 | 8424k| 2.6 | 13M| 38 | 5 | 120 | 232 | 120 | 18 | 19 | 125k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
916.31/916.63 c 816s| 3220k| 18354 | 8450k| 2.6 | 13M| 38 | - | 120 | 262 | 120 | 18 | 19 | 126k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
919.11/919.44 c 819s| 3230k| 18789 | 8476k| 2.6 | 14M| 38 | 5 | 120 | 273 | 120 | 18 | 19 | 126k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
921.92/922.24 c 821s| 3240k| 19792 | 8502k| 2.6 | 14M| 38 | - | 120 | 297 | 120 | 18 | 19 | 127k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
924.72/925.02 c 824s| 3250k| 20288 | 8527k| 2.6 | 15M| 38 | - | 120 | 276 | 120 | 18 | 19 | 127k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
927.41/927.78 c 826s| 3260k| 20622 | 8553k| 2.6 | 15M| 38 | - | 120 | 266 | 120 | 18 | 19 | 127k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
930.22/930.53 c 829s| 3270k| 20822 | 8578k| 2.6 | 15M| 38 | - | 120 | 273 | 120 | 18 | 19 | 128k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
932.91/933.24 c 831s| 3280k| 20639 | 8602k| 2.6 | 15M| 38 | - | 120 | 275 | 120 | 18 | 19 | 128k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
935.60/935.96 c 833s| 3290k| 20432 | 8627k| 2.6 | 15M| 38 | 5 | 120 | 280 | 120 | 18 | 19 | 128k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
938.31/938.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
938.31/938.66 c 836s| 3300k| 20059 | 8651k| 2.6 | 15M| 38 | 5 | 120 | 284 | 120 | 18 | 19 | 129k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
941.00/941.37 c 838s| 3310k| 19725 | 8675k| 2.6 | 15M| 38 | 5 | 120 | 272 | 120 | 18 | 19 | 129k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
943.70/944.09 c 841s| 3320k| 19723 | 8701k| 2.6 | 15M| 38 | - | 120 | 280 | 120 | 18 | 19 | 129k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
946.40/946.79 c 843s| 3330k| 19614 | 8726k| 2.6 | 15M| 38 | - | 120 | 278 | 120 | 18 | 19 | 130k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
949.20/949.51 c 846s| 3340k| 19395 | 8750k| 2.6 | 15M| 38 | - | 120 | 302 | 0 | 0 | 19 | 130k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
951.91/952.22 c 848s| 3350k| 19324 | 8775k| 2.6 | 15M| 38 | 5 | 120 | 294 | 120 | 18 | 19 | 130k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
954.61/954.91 c 850s| 3360k| 19113 | 8800k| 2.6 | 14M| 38 | 5 | 120 | 290 | 120 | 18 | 19 | 131k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
957.30/957.62 c 853s| 3370k| 18937 | 8824k| 2.6 | 14M| 38 | - | 120 | 298 | 120 | 18 | 19 | 131k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
960.01/960.33 c 855s| 3380k| 19024 | 8849k| 2.6 | 14M| 38 | - | 120 | 304 | 120 | 18 | 19 | 132k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
962.80/963.10 c 858s| 3390k| 18932 | 8874k| 2.6 | 14M| 38 | - | 120 | 296 | 120 | 18 | 19 | 132k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
965.50/965.83 c 860s| 3400k| 18909 | 8900k| 2.6 | 14M| 38 | - | 120 | 292 | 0 | 0 | 19 | 132k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
968.19/968.57 c 863s| 3410k| 18559 | 8924k| 2.6 | 14M| 38 | - | 120 | 288 | 120 | 18 | 19 | 133k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
971.01/971.33 c 865s| 3420k| 18615 | 8949k| 2.6 | 14M| 38 | 5 | 120 | 282 | 120 | 18 | 19 | 133k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
973.69/974.08 c 867s| 3430k| 18907 | 8974k| 2.6 | 14M| 38 | 5 | 120 | 285 | 120 | 18 | 19 | 134k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
976.59/976.90 c 870s| 3440k| 19415 | 9000k| 2.6 | 14M| 38 | - | 120 | 299 | 120 | 18 | 19 | 134k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
979.30/979.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.30/979.61 c 872s| 3450k| 19070 | 9024k| 2.6 | 14M| 38 | - | 120 | 302 | 120 | 18 | 19 | 134k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
982.00/982.35 c 875s| 3460k| 18946 | 9049k| 2.6 | 14M| 38 | 5 | 120 | 294 | 120 | 18 | 19 | 135k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
984.69/985.08 c 877s| 3470k| 18619 | 9073k| 2.6 | 14M| 38 | 5 | 120 | 291 | 120 | 18 | 19 | 135k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
987.50/987.81 c 880s| 3480k| 18548 | 9098k| 2.6 | 14M| 38 | 5 | 120 | 305 | 120 | 18 | 19 | 136k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
990.19/990.55 c 882s| 3490k| 18336 | 9123k| 2.6 | 14M| 38 | 5 | 120 | 266 | 120 | 18 | 19 | 136k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
992.89/993.30 c 885s| 3500k| 18071 | 9148k| 2.6 | 13M| 38 | 5 | 120 | 281 | 120 | 18 | 19 | 136k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
995.79/996.12 c 887s| 3510k| 18513 | 9176k| 2.6 | 14M| 38 | 5 | 120 | 293 | 120 | 18 | 19 | 137k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
998.49/998.87 c 890s| 3520k| 18132 | 9202k| 2.6 | 13M| 38 | 5 | 120 | 283 | 120 | 18 | 19 | 137k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1001.29/1001.61 c 892s| 3530k| 18282 | 9229k| 2.6 | 14M| 38 | - | 120 | 276 | 120 | 18 | 19 | 137k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1004.00/1004.33 c 894s| 3540k| 18265 | 9253k| 2.6 | 14M| 38 | - | 120 | 295 | 120 | 18 | 19 | 138k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1006.69/1007.00 c 897s| 3550k| 18148 | 9276k| 2.6 | 14M| 38 | - | 120 | 299 | 120 | 18 | 19 | 138k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1009.39/1009.73 c 899s| 3560k| 18092 | 9301k| 2.6 | 13M| 38 | - | 120 | 288 | 120 | 18 | 19 | 138k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1012.08/1012.49 c 902s| 3570k| 18099 | 9325k| 2.6 | 13M| 38 | - | 120 | 321 | 120 | 18 | 19 | 139k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1014.89/1015.24 c 904s| 3580k| 17693 | 9350k| 2.6 | 13M| 38 | - | 120 | 269 | 120 | 18 | 19 | 139k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1017.59/1017.99 c 907s| 3590k| 17626 | 9374k| 2.6 | 13M| 38 | 5 | 120 | 286 | 120 | 18 | 19 | 139k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1020.39/1020.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.39/1020.75 c 909s| 3600k| 17595 | 9399k| 2.6 | 13M| 38 | - | 120 | 287 | 120 | 18 | 19 | 140k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1023.08/1023.49 c 911s| 3610k| 17226 | 9424k| 2.6 | 13M| 38 | 5 | 120 | 251 | 120 | 18 | 19 | 140k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1025.89/1026.23 c 914s| 3620k| 17129 | 9449k| 2.6 | 13M| 38 | 5 | 120 | 266 | 120 | 18 | 19 | 141k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1028.57/1028.99 c 916s| 3630k| 17132 | 9475k| 2.6 | 13M| 38 | - | 120 | 284 | 120 | 18 | 19 | 141k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1031.38/1031.71 c 919s| 3640k| 17011 | 9500k| 2.6 | 13M| 38 | 5 | 120 | 269 | 120 | 18 | 19 | 141k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1034.08/1034.43 c 921s| 3650k| 17136 | 9524k| 2.6 | 13M| 38 | 5 | 120 | 306 | 120 | 18 | 19 | 142k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1036.78/1037.15 c 924s| 3660k| 16899 | 9548k| 2.6 | 13M| 38 | - | 120 | 293 | 120 | 18 | 19 | 142k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1039.58/1039.91 c 926s| 3670k| 16687 | 9572k| 2.6 | 12M| 38 | - | 120 | 269 | 120 | 18 | 19 | 143k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1042.27/1042.63 c 929s| 3680k| 16460 | 9597k| 2.6 | 12M| 38 | 5 | 120 | 257 | 120 | 18 | 19 | 143k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1044.97/1045.33 c 931s| 3690k| 16463 | 9621k| 2.6 | 12M| 38 | 5 | 120 | 256 | 120 | 18 | 19 | 143k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1047.67/1048.06 c 933s| 3700k| 16565 | 9646k| 2.6 | 12M| 38 | - | 120 | 263 | 0 | 0 | 19 | 144k| 27k| 0.000000e+00 | 2.000000e+00 | Inf
1050.37/1050.79 c 936s| 3710k| 16301 | 9670k| 2.6 | 12M| 38 | - | 120 | 267 | 0 | 0 | 19 | 144k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1053.17/1053.53 c 938s| 3720k| 16139 | 9696k| 2.6 | 12M| 38 | - | 120 | 263 | 120 | 18 | 19 | 144k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1055.87/1056.27 c 941s| 3730k| 15869 | 9721k| 2.6 | 12M| 38 | 5 | 120 | 244 | 120 | 18 | 19 | 145k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1058.57/1058.99 c 943s| 3740k| 15660 | 9746k| 2.6 | 11M| 38 | - | 120 | 270 | 120 | 18 | 19 | 145k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1061.27/1061.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1061.27/1061.67 c 946s| 3750k| 15488 | 9771k| 2.6 | 11M| 38 | 5 | 120 | 275 | 120 | 18 | 19 | 145k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1064.07/1064.41 c 948s| 3760k| 15501 | 9797k| 2.6 | 11M| 38 | 5 | 120 | 286 | 120 | 18 | 19 | 146k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1066.77/1067.13 c 950s| 3770k| 15329 | 9822k| 2.6 | 11M| 38 | 5 | 120 | 283 | 120 | 18 | 19 | 146k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1069.47/1069.88 c 953s| 3780k| 15438 | 9849k| 2.6 | 11M| 38 | - | 120 | 303 | 0 | 0 | 19 | 146k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1072.17/1072.58 c 955s| 3790k| 15186 | 9872k| 2.6 | 11M| 38 | - | 120 | 286 | 120 | 18 | 19 | 147k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1074.87/1075.30 c 958s| 3800k| 14951 | 9897k| 2.6 | 11M| 38 | 5 | 120 | 264 | 120 | 18 | 19 | 147k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1077.68/1078.03 c 960s| 3810k| 14893 | 9922k| 2.6 | 11M| 38 | 5 | 120 | 263 | 120 | 18 | 19 | 147k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1080.37/1080.74 c 963s| 3820k| 14558 | 9947k| 2.6 | 10M| 38 | - | 120 | 251 | 120 | 18 | 19 | 148k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1083.07/1083.43 c 965s| 3830k| 14254 | 9971k| 2.6 | 10M| 38 | 5 | 120 | 257 | 120 | 18 | 19 | 148k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1085.76/1086.11 c 967s| 3840k| 14175 | 9996k| 2.6 | 10M| 38 | - | 120 | 265 | 120 | 18 | 19 | 148k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1088.46/1088.83 c 970s| 3850k| 14051 | 10021k| 2.6 | 10M| 38 | 5 | 120 | 262 | 120 | 18 | 19 | 149k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1091.16/1091.57 c 972s| 3860k| 13939 | 10046k| 2.6 | 10M| 38 | 5 | 120 | 266 | 120 | 18 | 19 | 149k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1093.86/1094.27 c 975s| 3870k| 13959 | 10070k| 2.6 | 10M| 38 | - | 120 | 267 | 120 | 18 | 19 | 149k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1096.56/1096.98 c 977s| 3880k| 13787 | 10095k| 2.6 | 10M| 38 | 5 | 120 | 264 | 120 | 18 | 19 | 150k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1099.36/1099.70 c 979s| 3890k| 13695 | 10119k| 2.6 |9962k| 38 | 5 | 120 | 285 | 120 | 18 | 19 | 150k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1102.05/1102.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.05/1102.43 c 982s| 3900k| 13813 | 10144k| 2.6 | 10M| 38 | - | 120 | 307 | 0 | 0 | 19 | 150k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1104.75/1105.14 c 984s| 3910k| 13596 | 10168k| 2.6 |9888k| 38 | - | 120 | 314 | 120 | 18 | 19 | 151k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1107.56/1107.98 c 987s| 3920k| 14275 | 10194k| 2.6 | 10M| 38 | - | 120 | 337 | 120 | 18 | 19 | 151k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1110.36/1110.78 c 989s| 3930k| 14333 | 10220k| 2.6 | 10M| 38 | - | 120 | 319 | 120 | 18 | 19 | 151k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1113.15/1113.52 c 992s| 3940k| 14476 | 10245k| 2.6 | 10M| 38 | 5 | 120 | 318 | 120 | 18 | 19 | 152k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1115.95/1116.30 c 994s| 3950k| 14287 | 10270k| 2.6 | 10M| 38 | - | 120 | 337 | 120 | 18 | 19 | 152k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1118.66/1119.07 c 997s| 3960k| 13706 | 10295k| 2.6 | 10M| 38 | - | 120 | 312 | 120 | 18 | 19 | 153k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1121.45/1121.82 c 999s| 3970k| 13950 | 10320k| 2.6 | 10M| 38 | 5 | 120 | 337 | 120 | 18 | 19 | 153k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1124.15/1124.53 c 1001s| 3980k| 13780 | 10344k| 2.6 | 10M| 38 | 5 | 120 | 333 | 120 | 18 | 19 | 153k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1126.85/1127.29 c 1004s| 3990k| 13662 | 10369k| 2.6 |9935k| 38 | 5 | 120 | 340 | 120 | 18 | 19 | 154k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1129.65/1130.03 c 1006s| 4000k| 13480 | 10394k| 2.6 |9709k| 38 | - | 120 | 309 | 120 | 18 | 19 | 154k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1132.35/1132.76 c 1009s| 4010k| 13673 | 10418k| 2.6 |9920k| 38 | - | 120 | 339 | 0 | 0 | 19 | 154k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1135.05/1135.48 c 1011s| 4020k| 13502 | 10444k| 2.6 |9814k| 38 | 5 | 120 | 339 | 120 | 18 | 19 | 155k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1137.85/1138.27 c 1014s| 4030k| 13674 | 10470k| 2.6 |9899k| 38 | - | 120 | 358 | 120 | 18 | 19 | 155k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1140.64/1141.06 c 1016s| 4040k| 13909 | 10494k| 2.6 | 10M| 38 | - | 120 | 357 | 120 | 18 | 19 | 156k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1143.44/1143.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.44/1143.85 c 1019s| 4050k| 13938 | 10519k| 2.6 | 10M| 38 | - | 120 | 362 | 120 | 18 | 19 | 156k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1146.24/1146.61 c 1021s| 4060k| 13839 | 10543k| 2.6 | 10M| 38 | - | 120 | 358 | 120 | 18 | 19 | 157k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1148.95/1149.35 c 1024s| 4070k| 13702 | 10567k| 2.6 | 10M| 38 | - | 120 | 361 | 120 | 18 | 19 | 157k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1151.74/1152.12 c 1026s| 4080k| 13402 | 10593k| 2.6 |9658k| 38 | 5 | 120 | 337 | 120 | 18 | 19 | 157k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1154.44/1154.85 c 1028s| 4090k| 13323 | 10618k| 2.6 |9558k| 38 | 5 | 120 | 304 | 120 | 18 | 19 | 157k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1157.24/1157.61 c 1031s| 4100k| 13368 | 10643k| 2.6 |9588k| 38 | 5 | 120 | 317 | 120 | 18 | 19 | 158k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1159.94/1160.30 c 1033s| 4110k| 13274 | 10668k| 2.6 |9519k| 38 | 5 | 120 | 317 | 120 | 18 | 19 | 158k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1162.64/1163.05 c 1036s| 4120k| 13167 | 10693k| 2.6 |9339k| 38 | 5 | 120 | 283 | 120 | 18 | 19 | 158k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1165.44/1165.80 c 1038s| 4130k| 13750 | 10718k| 2.6 |9788k| 38 | 5 | 120 | 282 | 120 | 18 | 19 | 159k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1168.14/1168.51 c 1041s| 4140k| 13353 | 10744k| 2.6 |9591k| 38 | - | 120 | 298 | 120 | 18 | 19 | 159k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1170.84/1171.20 c 1043s| 4150k| 13108 | 10768k| 2.6 |9355k| 38 | - | 120 | 308 | 120 | 18 | 19 | 159k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1173.54/1173.93 c 1045s| 4160k| 13318 | 10794k| 2.6 |9544k| 38 | - | 120 | 316 | 120 | 18 | 19 | 160k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1176.24/1176.65 c 1048s| 4170k| 13013 | 10820k| 2.6 |9272k| 38 | 5 | 120 | 324 | 120 | 18 | 19 | 160k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1179.04/1179.41 c 1050s| 4180k| 12781 | 10845k| 2.6 |8979k| 38 | - | 120 | 269 | 120 | 18 | 19 | 160k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1181.73/1182.12 c 1053s| 4190k| 12701 | 10870k| 2.6 |8881k| 38 | 5 | 120 | 269 | 120 | 18 | 19 | 161k| 31k| 0.000000e+00 | 2.000000e+00 | Inf
1184.43/1184.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.43/1184.84 c 1055s| 4200k| 12636 | 10895k| 2.6 |8784k| 38 | 5 | 120 | 277 | 120 | 18 | 19 | 161k| 31k| 0.000000e+00 | 2.000000e+00 | Inf
1187.13/1187.57 c 1057s| 4210k| 12518 | 10920k| 2.6 |8687k| 38 | - | 120 | 287 | 120 | 18 | 19 | 161k| 31k| 0.000000e+00 | 2.000000e+00 | Inf
1189.84/1190.28 c 1060s| 4220k| 12399 | 10945k| 2.6 |8531k| 38 | - | 120 | 286 | 0 | 0 | 19 | 162k| 31k| 0.000000e+00 | 2.000000e+00 | Inf
1192.63/1193.01 c 1062s| 4230k| 12426 | 10971k| 2.6 |8513k| 38 | - | 120 | 295 | 120 | 18 | 19 | 162k| 31k| 0.000000e+00 | 2.000000e+00 | Inf
1195.34/1195.72 c 1065s| 4240k| 12238 | 10995k| 2.6 |8369k| 38 | 5 | 120 | 279 | 120 | 18 | 19 | 162k| 31k| 0.000000e+00 | 2.000000e+00 | Inf
1198.13/1198.55 c 1067s| 4250k| 12500 | 11021k| 2.6 |8480k| 38 | - | 120 | 298 | 120 | 18 | 19 | 163k| 31k| 0.000000e+00 | 2.000000e+00 | Inf
1200.92/1201.31 c 1070s| 4260k| 13089 | 11047k| 2.6 |8896k| 38 | 5 | 120 | 317 | 120 | 18 | 19 | 163k| 31k| 0.000000e+00 | 2.000000e+00 | Inf
1203.63/1204.02 c 1072s| 4270k| 13016 | 11072k| 2.6 |8929k| 38 | 5 | 120 | 297 | 120 | 18 | 19 | 164k| 31k| 0.000000e+00 | 2.000000e+00 | Inf
1206.53/1206.90 c 1075s| 4280k| 13637 | 11099k| 2.6 |9377k| 38 | 5 | 120 | 285 | 120 | 18 | 19 | 164k| 31k| 0.000000e+00 | 2.000000e+00 | Inf
1209.22/1209.65 c 1077s| 4290k| 13799 | 11126k| 2.6 |9533k| 38 | 5 | 120 | 266 | 120 | 18 | 19 | 164k| 31k| 0.000000e+00 | 2.000000e+00 | Inf
1212.03/1212.43 c 1080s| 4300k| 14460 | 11151k| 2.6 | 10M| 38 | 5 | 120 | 304 | 120 | 18 | 19 | 165k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1214.72/1215.17 c 1082s| 4310k| 14388 | 11176k| 2.6 | 10M| 38 | 5 | 120 | 295 | 120 | 18 | 19 | 165k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1217.42/1217.88 c 1084s| 4320k| 14128 | 11201k| 2.6 |9947k| 38 | 5 | 120 | 275 | 120 | 18 | 19 | 165k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1220.12/1220.59 c 1087s| 4330k| 14243 | 11225k| 2.6 | 10M| 38 | - | 120 | 323 | 120 | 18 | 19 | 166k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1222.83/1223.29 c 1089s| 4340k| 14269 | 11251k| 2.6 | 10M| 38 | 5 | 120 | 275 | 120 | 18 | 19 | 166k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1225.62/1226.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1225.62/1226.00 c 1092s| 4350k| 14154 | 11276k| 2.6 | 10M| 38 | 5 | 120 | 293 | 120 | 18 | 19 | 166k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1228.22/1228.69 c 1094s| 4360k| 14222 | 11301k| 2.6 | 10M| 38 | 5 | 120 | 307 | 120 | 18 | 19 | 167k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1230.92/1231.40 c 1096s| 4370k| 14152 | 11325k| 2.6 | 10M| 38 | - | 120 | 302 | 120 | 18 | 19 | 167k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1233.72/1234.10 c 1099s| 4380k| 14202 | 11350k| 2.6 | 10M| 38 | 5 | 120 | 291 | 120 | 18 | 19 | 167k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1236.41/1236.81 c 1101s| 4390k| 14440 | 11376k| 2.6 | 10M| 38 | 5 | 120 | 312 | 120 | 18 | 19 | 168k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1239.12/1239.50 c 1104s| 4400k| 14224 | 11401k| 2.6 | 10M| 38 | - | 120 | 304 | 120 | 18 | 19 | 168k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1241.81/1242.20 c 1106s| 4410k| 14287 | 11426k| 2.6 | 10M| 38 | - | 120 | 311 | 120 | 18 | 19 | 168k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1244.52/1244.93 c 1109s| 4420k| 14154 | 11451k| 2.6 | 10M| 38 | 5 | 120 | 310 | 120 | 18 | 19 | 169k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1247.22/1247.66 c 1111s| 4430k| 13948 | 11477k| 2.6 | 10M| 38 | 5 | 120 | 296 | 120 | 18 | 19 | 169k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1250.02/1250.40 c 1113s| 4440k| 13965 | 11502k| 2.6 | 10M| 38 | 5 | 120 | 276 | 120 | 18 | 19 | 170k| 32k| 0.000000e+00 | 2.000000e+00 | Inf
1252.71/1253.17 c 1116s| 4450k| 14179 | 11527k| 2.6 | 10M| 38 | 5 | 120 | 290 | 120 | 18 | 19 | 170k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1255.50/1255.91 c 1118s| 4460k| 14035 | 11552k| 2.6 | 10M| 38 | 5 | 120 | 305 | 120 | 18 | 19 | 170k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1258.20/1258.64 c 1121s| 4470k| 14361 | 11577k| 2.6 | 10M| 38 | - | 120 | 296 | 120 | 18 | 19 | 171k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1260.91/1261.37 c 1123s| 4480k| 14270 | 11602k| 2.6 | 10M| 38 | 5 | 120 | 314 | 120 | 18 | 19 | 171k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1263.70/1264.11 c 1126s| 4490k| 14311 | 11628k| 2.6 | 10M| 38 | - | 120 | 341 | 0 | 0 | 19 | 172k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1266.40/1266.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1266.40/1266.82 c 1128s| 4500k| 14126 | 11652k| 2.6 | 10M| 38 | 5 | 120 | 317 | 120 | 18 | 19 | 172k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1269.10/1269.55 c 1130s| 4510k| 13875 | 11677k| 2.6 | 10M| 38 | 5 | 120 | 292 | 120 | 18 | 19 | 172k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1271.81/1272.27 c 1133s| 4520k| 13824 | 11702k| 2.6 | 10M| 38 | - | 120 | 287 | 120 | 18 | 19 | 173k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1274.51/1274.99 c 1135s| 4530k| 13654 | 11727k| 2.6 |9894k| 38 | - | 120 | 308 | 0 | 0 | 19 | 173k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1277.30/1277.72 c 1138s| 4540k| 13576 | 11753k| 2.6 |9821k| 38 | 5 | 120 | 299 | 120 | 18 | 19 | 173k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1280.00/1280.44 c 1140s| 4550k| 13708 | 11777k| 2.6 |9948k| 38 | - | 120 | 320 | 120 | 18 | 19 | 174k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1282.70/1283.16 c 1143s| 4560k| 13831 | 11803k| 2.6 | 10M| 38 | - | 120 | 342 | 120 | 18 | 19 | 174k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1285.40/1285.87 c 1145s| 4570k| 13879 | 11828k| 2.6 | 10M| 38 | 5 | 120 | 340 | 120 | 18 | 19 | 174k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1288.10/1288.59 c 1147s| 4580k| 13689 | 11854k| 2.6 |9982k| 38 | 5 | 120 | 339 | 120 | 18 | 19 | 175k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1290.90/1291.33 c 1150s| 4590k| 13624 | 11879k| 2.6 |9897k| 38 | 5 | 120 | 338 | 120 | 18 | 19 | 175k| 33k| 0.000000e+00 | 2.000000e+00 | Inf
1293.59/1294.07 c 1152s| 4600k| 13344 | 11904k| 2.6 |9608k| 38 | 5 | 120 | 313 | 120 | 18 | 19 | 176k| 34k| 0.000000e+00 | 2.000000e+00 | Inf
1296.29/1296.74 c 1155s| 4610k| 13270 | 11929k| 2.6 |9524k| 38 | 5 | 120 | 317 | 120 | 18 | 19 | 176k| 34k| 0.000000e+00 | 2.000000e+00 | Inf
1299.09/1299.50 c 1157s| 4620k| 13695 | 11955k| 2.6 |9740k| 38 | 5 | 120 | 318 | 120 | 18 | 19 | 176k| 34k| 0.000000e+00 | 2.000000e+00 | Inf
1301.79/1302.21 c 1160s| 4630k| 13715 | 11980k| 2.6 |9879k| 38 | - | 120 | 335 | 120 | 18 | 19 | 177k| 34k| 0.000000e+00 | 2.000000e+00 | Inf
1304.50/1304.94 c 1162s| 4640k| 13455 | 12004k| 2.6 |9732k| 38 | - | 120 | 341 | 120 | 18 | 19 | 177k| 34k| 0.000000e+00 | 2.000000e+00 | Inf
1307.19/1307.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.19/1307.69 c 1164s| 4650k| 13264 | 12029k| 2.6 |9521k| 38 | - | 120 | 338 | 120 | 18 | 19 | 178k| 34k| 0.000000e+00 | 2.000000e+00 | Inf
1309.89/1310.39 c 1167s| 4660k| 13116 | 12053k| 2.6 |9386k| 38 | 5 | 120 | 296 | 120 | 18 | 19 | 178k| 34k| 0.000000e+00 | 2.000000e+00 | Inf
1312.69/1313.11 c 1169s| 4670k| 12917 | 12079k| 2.6 |9156k| 38 | 5 | 120 | 286 | 120 | 18 | 19 | 178k| 34k| 0.000000e+00 | 2.000000e+00 | Inf
1315.39/1315.89 c 1172s| 4680k| 12898 | 12104k| 2.6 |9127k| 38 | - | 120 | 291 | 120 | 18 | 19 | 179k| 34k| 0.000000e+00 | 2.000000e+00 | Inf
1318.09/1318.59 c 1174s| 4690k| 13005 | 12129k| 2.6 |9243k| 38 | - | 120 | 321 | 0 | 0 | 19 | 179k| 34k| 0.000000e+00 | 2.000000e+00 | Inf
1320.89/1321.33 c 1177s| 4700k| 13230 | 12154k| 2.6 |9444k| 38 | 5 | 120 | 339 | 120 | 18 | 19 | 180k| 34k| 0.000000e+00 | 2.000000e+00 | Inf
1323.58/1324.05 c 1179s| 4710k| 13109 | 12178k| 2.6 |9406k| 38 | - | 120 | 350 | 120 | 18 | 19 | 180k| 34k| 0.000000e+00 | 2.000000e+00 | Inf
1326.28/1326.79 c 1181s| 4720k| 12827 | 12202k| 2.6 |9078k| 38 | - | 120 | 321 | 0 | 0 | 19 | 181k| 34k| 0.000000e+00 | 2.000000e+00 | Inf
1329.09/1329.52 c 1184s| 4730k| 12899 | 12227k| 2.6 |9162k| 38 | - | 120 | 344 | 120 | 18 | 19 | 181k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1331.78/1332.23 c 1186s| 4740k| 12845 | 12252k| 2.6 |9106k| 38 | - | 120 | 335 | 120 | 18 | 19 | 181k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1334.48/1334.95 c 1189s| 4750k| 12804 | 12277k| 2.6 |9084k| 38 | 5 | 120 | 351 | 120 | 18 | 19 | 182k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1337.18/1337.69 c 1191s| 4760k| 12660 | 12302k| 2.6 |8892k| 38 | - | 120 | 299 | 120 | 18 | 19 | 182k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1339.98/1340.41 c 1194s| 4770k| 13245 | 12328k| 2.6 |9260k| 38 | 5 | 120 | 308 | 120 | 18 | 19 | 183k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1342.69/1343.13 c 1196s| 4780k| 13379 | 12353k| 2.6 |9458k| 38 | - | 120 | 339 | 120 | 18 | 19 | 183k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1345.38/1345.84 c 1198s| 4790k| 13043 | 12377k| 2.6 |9274k| 38 | - | 120 | 319 | 120 | 18 | 19 | 183k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1348.08/1348.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1348.08/1348.54 c 1201s| 4800k| 13166 | 12402k| 2.6 |9386k| 38 | - | 120 | 324 | 120 | 18 | 19 | 184k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1350.78/1351.23 c 1203s| 4810k| 12875 | 12426k| 2.6 |9156k| 38 | 5 | 120 | 344 | 120 | 18 | 19 | 184k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1353.47/1353.96 c 1206s| 4820k| 12756 | 12451k| 2.6 |9035k| 38 | 5 | 120 | 351 | 120 | 18 | 19 | 184k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1356.17/1356.68 c 1208s| 4830k| 12827 | 12477k| 2.6 |9145k| 38 | - | 120 | 350 | 120 | 18 | 19 | 185k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1358.87/1359.37 c 1211s| 4840k| 12805 | 12502k| 2.6 |9121k| 38 | 5 | 120 | 357 | 120 | 18 | 19 | 185k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1361.68/1362.10 c 1213s| 4850k| 13101 | 12526k| 2.6 |9375k| 38 | - | 120 | 368 | 120 | 18 | 19 | 186k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1364.27/1364.78 c 1215s| 4860k| 12684 | 12551k| 2.6 |8909k| 38 | - | 120 | 319 | 120 | 18 | 19 | 186k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1367.08/1367.51 c 1218s| 4870k| 12605 | 12576k| 2.6 |8829k| 38 | 5 | 120 | 333 | 120 | 18 | 19 | 186k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1369.68/1370.19 c 1220s| 4880k| 12511 | 12601k| 2.6 |8707k| 38 | 5 | 120 | 332 | 120 | 18 | 19 | 187k| 35k| 0.000000e+00 | 2.000000e+00 | Inf
1372.47/1372.91 c 1223s| 4890k| 12432 | 12626k| 2.6 |8643k| 38 | 5 | 120 | 344 | 120 | 18 | 19 | 187k| 36k| 0.000000e+00 | 2.000000e+00 | Inf
1375.27/1375.73 c 1225s| 4900k| 13038 | 12652k| 2.6 |8919k| 38 | 5 | 120 | 355 | 120 | 18 | 19 | 187k| 36k| 0.000000e+00 | 2.000000e+00 | Inf
1378.07/1378.51 c 1228s| 4910k| 13573 | 12678k| 2.6 |9337k| 38 | - | 120 | 356 | 120 | 18 | 19 | 188k| 36k| 0.000000e+00 | 2.000000e+00 | Inf
1380.67/1381.19 c 1230s| 4920k| 13730 | 12703k| 2.6 |9537k| 38 | 5 | 120 | 346 | 120 | 18 | 19 | 188k| 36k| 0.000000e+00 | 2.000000e+00 | Inf
1383.47/1383.90 c 1232s| 4930k| 13508 | 12727k| 2.6 |9494k| 38 | - | 120 | 348 | 120 | 18 | 19 | 188k| 36k| 0.000000e+00 | 2.000000e+00 | Inf
1386.17/1386.64 c 1235s| 4940k| 13289 | 12752k| 2.6 |9395k| 38 | - | 120 | 375 | 120 | 18 | 19 | 189k| 36k| 0.000000e+00 | 2.000000e+00 | Inf
1388.88/1389.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1388.88/1389.33 c 1237s| 4950k| 13246 | 12776k| 2.6 |9403k| 38 | 5 | 120 | 374 | 120 | 18 | 19 | 189k| 36k| 0.000000e+00 | 2.000000e+00 | Inf
1391.56/1392.06 c 1240s| 4960k| 13156 | 12800k| 2.6 |9370k| 38 | 5 | 120 | 359 | 120 | 18 | 19 | 189k| 36k| 0.000000e+00 | 2.000000e+00 | Inf
1394.27/1394.80 c 1242s| 4970k| 12923 | 12825k| 2.6 |9178k| 38 | - | 120 | 377 | 120 | 18 | 19 | 190k| 36k| 0.000000e+00 | 2.000000e+00 | Inf
1397.06/1397.51 c 1245s| 4980k| 12832 | 12849k| 2.6 |9089k| 38 | - | 120 | 388 | 120 | 18 | 19 | 190k| 36k| 0.000000e+00 | 2.000000e+00 | Inf
1399.78/1400.23 c 1247s| 4990k| 12688 | 12874k| 2.6 |8947k| 38 | 5 | 120 | 366 | 120 | 18 | 19 | 191k| 36k| 0.000000e+00 | 2.000000e+00 | Inf
1402.46/1402.95 c 1249s| 5000k| 12446 | 12899k| 2.6 |8689k| 38 | - | 120 | 358 | 120 | 18 | 19 | 191k| 36k| 0.000000e+00 | 2.000000e+00 | Inf
1405.16/1405.65 c 1252s| 5010k| 12435 | 12923k| 2.6 |8625k| 38 | 5 | 120 | 371 | 120 | 18 | 19 | 191k| 36k| 0.000000e+00 | 2.000000e+00 | Inf
1407.87/1408.39 c 1254s| 5020k| 12276 | 12948k| 2.6 |8456k| 38 | - | 120 | 342 | 120 | 18 | 19 | 192k| 37k| 0.000000e+00 | 2.000000e+00 | Inf
1410.66/1411.12 c 1257s| 5030k| 12275 | 12973k| 2.6 |8450k| 38 | 5 | 120 | 321 | 120 | 18 | 19 | 192k| 37k| 0.000000e+00 | 2.000000e+00 | Inf
1413.37/1413.84 c 1259s| 5040k| 12115 | 12997k| 2.6 |8281k| 38 | - | 120 | 333 | 120 | 18 | 19 | 193k| 37k| 0.000000e+00 | 2.000000e+00 | Inf
1416.06/1416.58 c 1262s| 5050k| 12079 | 13023k| 2.6 |8251k| 38 | 5 | 120 | 351 | 120 | 18 | 19 | 193k| 37k| 0.000000e+00 | 2.000000e+00 | Inf
1418.86/1419.32 c 1264s| 5060k| 12326 | 13048k| 2.6 |8424k| 38 | - | 120 | 325 | 120 | 18 | 19 | 194k| 37k| 0.000000e+00 | 2.000000e+00 | Inf
1421.56/1422.05 c 1266s| 5070k| 12203 | 13073k| 2.6 |8321k| 38 | 5 | 120 | 314 | 120 | 18 | 19 | 194k| 37k| 0.000000e+00 | 2.000000e+00 | Inf
1424.26/1424.78 c 1269s| 5080k| 12031 | 13099k| 2.6 |8171k| 38 | 5 | 120 | 311 | 120 | 18 | 19 | 195k| 37k| 0.000000e+00 | 2.000000e+00 | Inf
1427.05/1427.55 c 1271s| 5090k| 12477 | 13125k| 2.6 |8450k| 38 | - | 120 | 333 | 120 | 18 | 19 | 195k| 37k| 0.000000e+00 | 2.000000e+00 | Inf
1429.86/1430.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1429.86/1430.32 c 1274s| 5100k| 12986 | 13150k| 2.6 |8839k| 38 | - | 120 | 351 | 120 | 18 | 19 | 195k| 37k| 0.000000e+00 | 2.000000e+00 | Inf
1432.66/1433.12 c 1276s| 5110k| 13660 | 13175k| 2.6 |9294k| 38 | - | 120 | 354 | 120 | 18 | 19 | 196k| 37k| 0.000000e+00 | 2.000000e+00 | Inf
1435.35/1435.87 c 1279s| 5120k| 13714 | 13201k| 2.6 |9433k| 38 | 5 | 120 | 341 | 120 | 18 | 19 | 196k| 37k| 0.000000e+00 | 2.000000e+00 | Inf
1438.16/1438.62 c 1281s| 5130k| 14063 | 13226k| 2.6 |9727k| 38 | - | 120 | 334 | 120 | 18 | 19 | 196k| 37k| 0.000000e+00 | 2.000000e+00 | Inf
1440.85/1441.36 c 1284s| 5140k| 14173 | 13252k| 2.6 |9898k| 38 | - | 120 | 347 | 120 | 18 | 19 | 197k| 37k| 0.000000e+00 | 2.000000e+00 | Inf
1443.56/1444.09 c 1286s| 5150k| 13980 | 13277k| 2.6 |9847k| 38 | - | 120 | 335 | 120 | 18 | 19 | 197k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1446.35/1446.85 c 1288s| 5160k| 14094 | 13302k| 2.6 |9978k| 38 | - | 120 | 361 | 120 | 18 | 19 | 197k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1449.15/1449.61 c 1291s| 5170k| 13979 | 13328k| 2.6 |9948k| 38 | 5 | 120 | 348 | 120 | 18 | 19 | 198k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1451.85/1452.37 c 1293s| 5180k| 13806 | 13352k| 2.6 |9851k| 38 | 5 | 120 | 314 | 120 | 18 | 19 | 198k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1454.64/1455.11 c 1296s| 5190k| 13738 | 13377k| 2.6 |9845k| 38 | 5 | 120 | 345 | 120 | 18 | 19 | 199k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1457.34/1457.83 c 1298s| 5200k| 13619 | 13402k| 2.6 |9757k| 38 | - | 120 | 318 | 120 | 18 | 19 | 199k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1460.05/1460.59 c 1301s| 5210k| 13316 | 13427k| 2.6 |9533k| 38 | - | 120 | 320 | 120 | 18 | 19 | 200k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1462.85/1463.30 c 1303s| 5220k| 13000 | 13453k| 2.6 |9271k| 38 | 5 | 120 | 327 | 120 | 18 | 19 | 200k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1465.54/1466.06 c 1306s| 5230k| 13267 | 13479k| 2.6 |9464k| 38 | 5 | 120 | 346 | 120 | 18 | 19 | 200k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1468.34/1468.80 c 1308s| 5240k| 12992 | 13504k| 2.6 |9287k| 38 | - | 120 | 338 | 120 | 18 | 19 | 200k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1471.04/1471.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.04/1471.50 c 1310s| 5250k| 13027 | 13528k| 2.6 |9302k| 38 | - | 120 | 340 | 120 | 18 | 19 | 201k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1473.84/1474.33 c 1313s| 5260k| 13976 | 13554k| 2.6 |9789k| 38 | 5 | 120 | 351 | 120 | 18 | 19 | 201k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1476.64/1477.12 c 1315s| 5270k| 14742 | 13580k| 2.6 | 10M| 38 | - | 120 | 349 | 0 | 0 | 19 | 202k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1479.35/1479.87 c 1318s| 5280k| 15126 | 13605k| 2.6 | 10M| 38 | 5 | 120 | 350 | 120 | 18 | 19 | 202k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1482.04/1482.57 c 1320s| 5290k| 15380 | 13629k| 2.6 | 10M| 38 | - | 120 | 346 | 120 | 18 | 19 | 202k| 38k| 0.000000e+00 | 2.000000e+00 | Inf
1484.84/1485.31 c 1323s| 5300k| 15293 | 13654k| 2.6 | 10M| 38 | - | 120 | 347 | 0 | 0 | 19 | 203k| 39k| 0.000000e+00 | 2.000000e+00 | Inf
1487.54/1488.07 c 1325s| 5310k| 16048 | 13679k| 2.6 | 11M| 38 | 5 | 120 | 355 | 120 | 18 | 19 | 203k| 39k| 0.000000e+00 | 2.000000e+00 | Inf
1490.34/1490.83 c 1328s| 5320k| 16276 | 13704k| 2.6 | 11M| 38 | 5 | 120 | 352 | 120 | 18 | 19 | 203k| 39k| 0.000000e+00 | 2.000000e+00 | Inf
1493.04/1493.54 c 1330s| 5330k| 16361 | 13729k| 2.6 | 11M| 38 | - | 120 | 341 | 120 | 18 | 19 | 204k| 39k| 0.000000e+00 | 2.000000e+00 | Inf
1495.74/1496.29 c 1332s| 5340k| 16485 | 13753k| 2.6 | 11M| 38 | - | 120 | 311 | 120 | 18 | 19 | 204k| 39k| 0.000000e+00 | 2.000000e+00 | Inf
1498.53/1499.03 c 1335s| 5350k| 16558 | 13778k| 2.6 | 12M| 38 | - | 120 | 324 | 120 | 18 | 19 | 205k| 39k| 0.000000e+00 | 2.000000e+00 | Inf
1501.24/1501.73 c 1337s| 5360k| 16437 | 13802k| 2.6 | 12M| 38 | - | 120 | 312 | 0 | 0 | 19 | 205k| 39k| 0.000000e+00 | 2.000000e+00 | Inf
1503.94/1504.47 c 1340s| 5370k| 16473 | 13827k| 2.6 | 12M| 38 | 5 | 120 | 333 | 120 | 18 | 19 | 205k| 39k| 0.000000e+00 | 2.000000e+00 | Inf
1506.63/1507.17 c 1342s| 5380k| 16532 | 13851k| 2.6 | 12M| 38 | - | 120 | 316 | 0 | 0 | 19 | 206k| 39k| 0.000000e+00 | 2.000000e+00 | Inf
1509.33/1509.88 c 1345s| 5390k| 16273 | 13875k| 2.6 | 12M| 38 | 5 | 120 | 310 | 120 | 18 | 19 | 206k| 39k| 0.000000e+00 | 2.000000e+00 | Inf
1512.04/1512.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1512.04/1512.57 c 1347s| 5400k| 16023 | 13899k| 2.6 | 12M| 38 | - | 120 | 307 | 120 | 18 | 19 | 207k| 39k| 0.000000e+00 | 2.000000e+00 | Inf
1514.73/1515.28 c 1349s| 5410k| 15655 | 13924k| 2.6 | 11M| 38 | 5 | 120 | 297 | 120 | 18 | 19 | 207k| 39k| 0.000000e+00 | 2.000000e+00 | Inf
1517.54/1518.02 c 1352s| 5420k| 15608 | 13948k| 2.6 | 11M| 38 | - | 120 | 322 | 120 | 18 | 19 | 207k| 39k| 0.000000e+00 | 2.000000e+00 | Inf
1520.23/1520.74 c 1354s| 5430k| 15155 | 13973k| 2.6 | 11M| 38 | 5 | 120 | 296 | 120 | 18 | 19 | 208k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1522.93/1523.48 c 1357s| 5440k| 15320 | 13998k| 2.6 | 11M| 38 | 5 | 120 | 331 | 120 | 18 | 19 | 208k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1525.73/1526.22 c 1359s| 5450k| 15380 | 14023k| 2.6 | 11M| 38 | 5 | 120 | 326 | 120 | 18 | 19 | 209k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1528.33/1528.90 c 1362s| 5460k| 15596 | 14047k| 2.6 | 11M| 38 | - | 120 | 333 | 120 | 18 | 19 | 209k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1531.12/1531.60 c 1364s| 5470k| 15235 | 14071k| 2.6 | 11M| 38 | 5 | 120 | 330 | 120 | 18 | 19 | 209k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1533.72/1534.30 c 1366s| 5480k| 14911 | 14096k| 2.6 | 11M| 38 | 5 | 120 | 315 | 120 | 18 | 19 | 210k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1536.52/1537.06 c 1369s| 5490k| 15373 | 14121k| 2.6 | 11M| 38 | 5 | 120 | 310 | 120 | 18 | 19 | 210k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1539.22/1539.76 c 1371s| 5500k| 14851 | 14146k| 2.6 | 11M| 38 | - | 120 | 301 | 0 | 0 | 19 | 210k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1541.92/1542.45 c 1374s| 5510k| 14863 | 14170k| 2.6 | 11M| 38 | - | 120 | 304 | 120 | 18 | 19 | 211k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1544.62/1545.14 c 1376s| 5520k| 15038 | 14194k| 2.6 | 11M| 38 | 5 | 120 | 317 | 120 | 18 | 19 | 211k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1547.32/1547.80 c 1378s| 5530k| 14829 | 14218k| 2.6 | 11M| 38 | - | 120 | 321 | 120 | 18 | 19 | 211k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1549.92/1550.49 c 1381s| 5540k| 14590 | 14243k| 2.6 | 11M| 38 | 5 | 120 | 306 | 120 | 18 | 19 | 212k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1552.73/1553.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.73/1553.21 c 1383s| 5550k| 14391 | 14267k| 2.6 | 10M| 38 | 5 | 120 | 309 | 120 | 18 | 19 | 212k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1555.42/1555.92 c 1386s| 5560k| 13983 | 14292k| 2.6 | 10M| 38 | 5 | 120 | 309 | 120 | 18 | 19 | 212k| 40k| 0.000000e+00 | 2.000000e+00 | Inf
1558.12/1558.65 c 1388s| 5570k| 14237 | 14317k| 2.6 | 10M| 38 | - | 120 | 288 | 120 | 18 | 19 | 213k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1560.81/1561.35 c 1390s| 5580k| 14467 | 14343k| 2.6 | 10M| 38 | 5 | 120 | 305 | 120 | 18 | 19 | 213k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1563.51/1564.08 c 1393s| 5590k| 14406 | 14367k| 2.6 | 10M| 38 | - | 120 | 303 | 120 | 18 | 19 | 214k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1566.21/1566.74 c 1395s| 5600k| 14141 | 14392k| 2.6 | 10M| 38 | 5 | 120 | 310 | 120 | 18 | 19 | 214k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1568.92/1569.48 c 1398s| 5610k| 13865 | 14416k| 2.6 | 10M| 38 | 5 | 120 | 301 | 120 | 18 | 19 | 214k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1571.71/1572.22 c 1400s| 5620k| 13830 | 14441k| 2.6 | 10M| 38 | - | 120 | 315 | 120 | 18 | 19 | 215k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1574.41/1574.94 c 1403s| 5630k| 13710 | 14465k| 2.6 | 10M| 38 | 5 | 120 | 326 | 120 | 18 | 19 | 215k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1577.11/1577.64 c 1405s| 5640k| 13492 | 14490k| 2.6 | 10M| 38 | 5 | 120 | 318 | 120 | 18 | 19 | 216k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1579.81/1580.33 c 1407s| 5650k| 13268 | 14515k| 2.6 |9786k| 38 | 5 | 120 | 307 | 120 | 18 | 19 | 216k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1582.51/1583.07 c 1410s| 5660k| 13927 | 14540k| 2.6 | 10M| 38 | - | 120 | 305 | 120 | 18 | 19 | 216k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1585.20/1585.75 c 1412s| 5670k| 13278 | 14563k| 2.6 |9818k| 38 | 5 | 120 | 301 | 120 | 18 | 19 | 217k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1587.92/1588.45 c 1415s| 5680k| 13116 | 14588k| 2.6 |9635k| 38 | 5 | 120 | 300 | 120 | 18 | 19 | 217k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1590.71/1591.20 c 1417s| 5690k| 13080 | 14615k| 2.6 |9539k| 38 | - | 120 | 312 | 120 | 18 | 19 | 218k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1593.32/1593.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.32/1593.89 c 1419s| 5700k| 13159 | 14641k| 2.6 |9663k| 38 | 5 | 120 | 314 | 120 | 18 | 19 | 218k| 41k| 0.000000e+00 | 2.000000e+00 | Inf
1596.10/1596.60 c 1422s| 5710k| 12928 | 14666k| 2.6 |9370k| 38 | - | 120 | 321 | 120 | 18 | 19 | 218k| 42k| 0.000000e+00 | 2.000000e+00 | Inf
1598.81/1599.32 c 1424s| 5720k| 13138 | 14691k| 2.6 |9580k| 38 | - | 120 | 332 | 120 | 18 | 19 | 219k| 42k| 0.000000e+00 | 2.000000e+00 | Inf
1601.50/1602.03 c 1427s| 5730k| 12885 | 14717k| 2.6 |9263k| 38 | 5 | 120 | 298 | 120 | 18 | 19 | 219k| 42k| 0.000000e+00 | 2.000000e+00 | Inf
1604.20/1604.74 c 1429s| 5740k| 12644 | 14742k| 2.6 |9053k| 38 | 5 | 120 | 316 | 120 | 18 | 19 | 219k| 42k| 0.000000e+00 | 2.000000e+00 | Inf
1606.90/1607.45 c 1432s| 5750k| 12977 | 14767k| 2.6 |9277k| 38 | - | 120 | 334 | 120 | 18 | 19 | 220k| 42k| 0.000000e+00 | 2.000000e+00 | Inf
1609.60/1610.19 c 1434s| 5760k| 13357 | 14792k| 2.6 |9558k| 38 | 5 | 120 | 332 | 120 | 18 | 19 | 220k| 42k| 0.000000e+00 | 2.000000e+00 | Inf
1612.40/1612.91 c 1436s| 5770k| 13987 | 14816k| 2.6 | 10M| 38 | - | 120 | 336 | 120 | 18 | 19 | 221k| 42k| 0.000000e+00 | 2.000000e+00 | Inf
1615.10/1615.60 c 1439s| 5780k| 13857 | 14840k| 2.6 | 10M| 38 | - | 120 | 328 | 120 | 18 | 19 | 221k| 42k| 0.000000e+00 | 2.000000e+00 | Inf
1617.70/1618.26 c 1441s| 5790k| 13841 | 14863k| 2.6 | 10M| 38 | 5 | 120 | 335 | 120 | 18 | 19 | 221k| 42k| 0.000000e+00 | 2.000000e+00 | Inf
1620.39/1620.96 c 1444s| 5800k| 13496 | 14887k| 2.6 |9885k| 38 | - | 120 | 328 | 120 | 18 | 19 | 222k| 42k| 0.000000e+00 | 2.000000e+00 | Inf
1623.11/1623.65 c 1446s| 5810k| 13290 | 14912k| 2.6 |9632k| 38 | 5 | 120 | 320 | 120 | 18 | 19 | 222k| 42k| 0.000000e+00 | 2.000000e+00 | Inf
1625.79/1626.31 c 1448s| 5820k| 13104 | 14937k| 2.6 |9586k| 38 | - | 120 | 322 | 120 | 18 | 19 | 222k| 42k| 0.000000e+00 | 2.000000e+00 | Inf
1628.50/1629.01 c 1451s| 5830k| 13045 | 14961k| 2.6 |9514k| 38 | 5 | 120 | 328 | 120 | 18 | 19 | 222k| 42k| 0.000000e+00 | 2.000000e+00 | Inf
1631.10/1631.68 c 1453s| 5840k| 12805 | 14985k| 2.6 |9299k| 38 | 5 | 120 | 331 | 120 | 18 | 19 | 223k| 43k| 0.000000e+00 | 2.000000e+00 | Inf
1633.80/1634.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.80/1634.39 c 1456s| 5850k| 12676 | 15011k| 2.6 |9130k| 38 | - | 120 | 337 | 0 | 0 | 19 | 223k| 43k| 0.000000e+00 | 2.000000e+00 | Inf
1636.49/1637.07 c 1458s| 5860k| 12902 | 15035k| 2.6 |9254k| 38 | - | 120 | 347 | 120 | 18 | 19 | 223k| 43k| 0.000000e+00 | 2.000000e+00 | Inf
1639.29/1639.82 c 1460s| 5870k| 13429 | 15060k| 2.6 |9638k| 38 | 5 | 120 | 358 | 120 | 18 | 19 | 224k| 43k| 0.000000e+00 | 2.000000e+00 | Inf
1641.99/1642.50 c 1463s| 5880k| 13180 | 15084k| 2.6 |9553k| 38 | 5 | 120 | 340 | 120 | 18 | 19 | 224k| 43k| 0.000000e+00 | 2.000000e+00 | Inf
1644.69/1645.20 c 1465s| 5890k| 13154 | 15109k| 2.6 |9574k| 38 | 5 | 120 | 353 | 120 | 18 | 19 | 225k| 43k| 0.000000e+00 | 2.000000e+00 | Inf
1647.30/1647.88 c 1467s| 5900k| 13084 | 15132k| 2.6 |9551k| 38 | - | 120 | 361 | 120 | 18 | 19 | 225k| 43k| 0.000000e+00 | 2.000000e+00 | Inf
1649.99/1650.59 c 1470s| 5910k| 13003 | 15156k| 2.6 |9454k| 38 | 5 | 120 | 359 | 120 | 18 | 19 | 225k| 43k| 0.000000e+00 | 2.000000e+00 | Inf
1652.80/1653.32 c 1472s| 5920k| 12969 | 15181k| 2.6 |9430k| 38 | - | 120 | 375 | 120 | 18 | 19 | 226k| 43k| 0.000000e+00 | 2.000000e+00 | Inf
1655.38/1655.99 c 1475s| 5930k| 12847 | 15204k| 2.6 |9323k| 38 | - | 120 | 373 | 120 | 18 | 19 | 226k| 43k| 0.000000e+00 | 2.000000e+00 | Inf
1658.08/1658.65 c 1477s| 5940k| 12736 | 15228k| 2.6 |9241k| 38 | 5 | 120 | 374 | 120 | 18 | 19 | 227k| 43k| 0.000000e+00 | 2.000000e+00 | Inf
1660.78/1661.36 c 1479s| 5950k| 12854 | 15252k| 2.6 |9256k| 38 | 5 | 120 | 364 | 120 | 18 | 19 | 227k| 43k| 0.000000e+00 | 2.000000e+00 | Inf
1663.48/1664.09 c 1482s| 5960k| 12779 | 15276k| 2.6 |9145k| 38 | 5 | 120 | 383 | 120 | 18 | 19 | 227k| 44k| 0.000000e+00 | 2.000000e+00 | Inf
1666.18/1666.77 c 1484s| 5970k| 12642 | 15300k| 2.6 |9063k| 38 | 5 | 120 | 389 | 120 | 18 | 19 | 228k| 44k| 0.000000e+00 | 2.000000e+00 | Inf
1668.88/1669.49 c 1487s| 5980k| 12898 | 15325k| 2.6 |9239k| 38 | - | 120 | 388 | 120 | 18 | 19 | 228k| 44k| 0.000000e+00 | 2.000000e+00 | Inf
1671.68/1672.21 c 1489s| 5990k| 12479 | 15350k| 2.6 |8897k| 38 | - | 120 | 355 | 120 | 18 | 19 | 228k| 44k| 0.000000e+00 | 2.000000e+00 | Inf
1674.37/1674.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.37/1674.93 c 1492s| 6000k| 12456 | 15375k| 2.6 |8845k| 38 | - | 120 | 344 | 120 | 18 | 19 | 229k| 44k| 0.000000e+00 | 2.000000e+00 | Inf
1677.08/1677.66 c 1494s| 6010k| 12530 | 15399k| 2.6 |8926k| 38 | 5 | 120 | 384 | 120 | 18 | 19 | 229k| 44k| 0.000000e+00 | 2.000000e+00 | Inf
1679.77/1680.36 c 1496s| 6020k| 12428 | 15425k| 2.6 |8778k| 38 | - | 120 | 354 | 120 | 18 | 19 | 230k| 44k| 0.000000e+00 | 2.000000e+00 | Inf
1682.48/1683.07 c 1499s| 6030k| 12423 | 15449k| 2.6 |8690k| 38 | 5 | 120 | 333 | 120 | 18 | 19 | 230k| 44k| 0.000000e+00 | 2.000000e+00 | Inf
1685.18/1685.73 c 1501s| 6040k| 12225 | 15474k| 2.6 |8579k| 38 | 5 | 120 | 330 | 120 | 18 | 19 | 230k| 44k| 0.000000e+00 | 2.000000e+00 | Inf
1687.88/1688.45 c 1504s| 6050k| 12423 | 15497k| 2.6 |8697k| 38 | 5 | 120 | 349 | 120 | 18 | 19 | 231k| 44k| 0.000000e+00 | 2.000000e+00 | Inf
1690.57/1691.13 c 1506s| 6060k| 12192 | 15521k| 2.6 |8562k| 38 | 5 | 120 | 369 | 120 | 18 | 19 | 231k| 44k| 0.000000e+00 | 2.000000e+00 | Inf
1693.27/1693.84 c 1508s| 6070k| 12216 | 15546k| 2.6 |8463k| 38 | 5 | 120 | 311 | 120 | 18 | 19 | 232k| 44k| 0.000000e+00 | 2.000000e+00 | Inf
1695.97/1696.52 c 1511s| 6080k| 12042 | 15571k| 2.6 |8287k| 38 | 5 | 120 | 310 | 120 | 18 | 19 | 232k| 44k| 0.000000e+00 | 2.000000e+00 | Inf
1698.67/1699.21 c 1513s| 6090k| 12570 | 15595k| 2.6 |8681k| 38 | - | 120 | 319 | 0 | 0 | 19 | 232k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1701.26/1701.88 c 1516s| 6100k| 12588 | 15619k| 2.6 |8764k| 38 | - | 120 | 313 | 120 | 18 | 19 | 233k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1703.97/1704.57 c 1518s| 6110k| 12224 | 15643k| 2.6 |8503k| 38 | 5 | 120 | 318 | 120 | 18 | 19 | 233k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1706.67/1707.25 c 1520s| 6120k| 12265 | 15666k| 2.6 |8493k| 38 | 5 | 120 | 335 | 120 | 18 | 19 | 234k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1709.37/1709.90 c 1523s| 6130k| 12156 | 15690k| 2.6 |8395k| 38 | - | 120 | 334 | 120 | 18 | 19 | 234k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1711.97/1712.58 c 1525s| 6140k| 11930 | 15714k| 2.6 |8134k| 38 | 5 | 120 | 290 | 120 | 18 | 19 | 234k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1714.67/1715.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.67/1715.28 c 1527s| 6150k| 12115 | 15738k| 2.6 |8212k| 38 | 5 | 120 | 280 | 120 | 18 | 19 | 235k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1717.37/1717.98 c 1530s| 6160k| 12172 | 15763k| 2.6 |8262k| 38 | - | 120 | 275 | 120 | 18 | 19 | 235k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1720.06/1720.62 c 1532s| 6170k| 11909 | 15787k| 2.6 |8120k| 38 | 5 | 120 | 290 | 120 | 18 | 19 | 235k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1722.77/1723.31 c 1535s| 6180k| 11781 | 15812k| 2.6 |7947k| 38 | - | 120 | 277 | 0 | 0 | 19 | 236k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1725.46/1726.01 c 1537s| 6190k| 11992 | 15837k| 2.6 |8059k| 38 | 5 | 120 | 274 | 120 | 18 | 19 | 236k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1728.06/1728.62 c 1539s| 6200k| 12019 | 15860k| 2.6 |8176k| 38 | - | 120 | 278 | 120 | 18 | 19 | 236k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1730.66/1731.26 c 1542s| 6210k| 11839 | 15885k| 2.6 |8021k| 38 | 5 | 120 | 270 | 120 | 18 | 19 | 236k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1733.36/1733.98 c 1544s| 6220k| 11724 | 15911k| 2.6 |7794k| 38 | - | 120 | 255 | 120 | 18 | 19 | 237k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1736.16/1736.73 c 1547s| 6230k| 12397 | 15936k| 2.6 |8271k| 38 | - | 120 | 271 | 120 | 18 | 19 | 237k| 45k| 0.000000e+00 | 2.000000e+00 | Inf
1738.86/1739.44 c 1549s| 6240k| 12615 | 15961k| 2.6 |8511k| 38 | - | 120 | 283 | 120 | 18 | 19 | 238k| 46k| 0.000000e+00 | 2.000000e+00 | Inf
1741.55/1742.12 c 1551s| 6250k| 12814 | 15985k| 2.6 |8722k| 38 | 5 | 120 | 281 | 120 | 18 | 19 | 238k| 46k| 0.000000e+00 | 2.000000e+00 | Inf
1744.26/1744.80 c 1554s| 6260k| 12646 | 16009k| 2.6 |8684k| 38 | 5 | 120 | 278 | 120 | 18 | 19 | 238k| 46k| 0.000000e+00 | 2.000000e+00 | Inf
1746.95/1747.51 c 1556s| 6270k| 12624 | 16034k| 2.6 |8691k| 38 | 5 | 120 | 284 | 120 | 18 | 19 | 239k| 46k| 0.000000e+00 | 2.000000e+00 | Inf
1749.66/1750.20 c 1558s| 6280k| 12443 | 16059k| 2.6 |8601k| 38 | - | 120 | 295 | 120 | 18 | 19 | 239k| 46k| 0.000000e+00 | 2.000000e+00 | Inf
1752.35/1752.91 c 1561s| 6290k| 12626 | 16084k| 2.6 |8796k| 38 | 5 | 120 | 322 | 120 | 18 | 19 | 240k| 46k| 0.000000e+00 | 2.000000e+00 | Inf
1754.96/1755.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1754.96/1755.58 c 1563s| 6300k| 12610 | 16107k| 2.6 |8794k| 38 | 5 | 120 | 289 | 120 | 18 | 19 | 240k| 46k| 0.000000e+00 | 2.000000e+00 | Inf
1757.65/1758.27 c 1566s| 6310k| 12326 | 16132k| 2.6 |8579k| 38 | 5 | 120 | 277 | 120 | 18 | 19 | 240k| 46k| 0.000000e+00 | 2.000000e+00 | Inf
1760.35/1760.96 c 1568s| 6320k| 12163 | 16157k| 2.6 |8427k| 38 | - | 120 | 279 | 120 | 18 | 19 | 241k| 46k| 0.000000e+00 | 2.000000e+00 | Inf
1763.05/1763.69 c 1570s| 6330k| 12427 | 16182k| 2.6 |8579k| 38 | 5 | 120 | 291 | 120 | 18 | 19 | 241k| 46k| 0.000000e+00 | 2.000000e+00 | Inf
1765.75/1766.38 c 1573s| 6340k| 12032 | 16206k| 2.6 |8300k| 38 | - | 120 | 286 | 120 | 18 | 19 | 242k| 46k| 0.000000e+00 | 2.000000e+00 | Inf
1768.45/1769.08 c 1575s| 6350k| 11993 | 16231k| 2.6 |8284k| 38 | - | 120 | 300 | 120 | 18 | 19 | 242k| 46k| 0.000000e+00 | 2.000000e+00 | Inf
1771.15/1771.75 c 1578s| 6360k| 12117 | 16255k| 2.6 |8381k| 38 | - | 120 | 309 | 120 | 18 | 19 | 242k| 46k| 0.000000e+00 | 2.000000e+00 | Inf
1773.85/1774.41 c 1580s| 6370k| 12170 | 16279k| 2.6 |8326k| 38 | 5 | 120 | 312 | 120 | 18 | 19 | 243k| 47k| 0.000000e+00 | 2.000000e+00 | Inf
1776.45/1777.09 c 1582s| 6380k| 11949 | 16303k| 2.6 |8252k| 38 | - | 120 | 333 | 120 | 18 | 19 | 243k| 47k| 0.000000e+00 | 2.000000e+00 | Inf
1779.15/1779.79 c 1585s| 6390k| 12163 | 16328k| 2.6 |8327k| 38 | 5 | 120 | 324 | 120 | 18 | 19 | 244k| 47k| 0.000000e+00 | 2.000000e+00 | Inf
1781.85/1782.48 c 1587s| 6400k| 11862 | 16352k| 2.6 |8108k| 38 | 5 | 120 | 310 | 120 | 18 | 19 | 244k| 47k| 0.000000e+00 | 2.000000e+00 | Inf
1784.55/1785.19 c 1590s| 6410k| 11845 | 16377k| 2.6 |8068k| 38 | 5 | 120 | 299 | 120 | 18 | 19 | 244k| 47k| 0.000000e+00 | 2.000000e+00 | Inf
1787.24/1787.89 c 1592s| 6420k| 11778 | 16403k| 2.6 |8028k| 38 | - | 120 | 304 | 120 | 18 | 19 | 245k| 47k| 0.000000e+00 | 2.000000e+00 | Inf
1789.94/1790.57 c 1594s| 6430k| 11920 | 16427k| 2.6 |8059k| 38 | 5 | 120 | 319 | 120 | 18 | 19 | 245k| 47k| 0.000000e+00 | 2.000000e+00 | Inf
1792.64/1793.21 c 1597s| 6440k| 12249 | 16451k| 2.6 |8355k| 38 | - | 120 | 321 | 120 | 18 | 19 | 245k| 47k| 0.000000e+00 | 2.000000e+00 | Inf
1795.24/1795.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.24/1795.85 c 1599s| 6450k| 11951 | 16474k| 2.6 |8194k| 38 | 5 | 120 | 335 | 120 | 18 | 19 | 246k| 47k| 0.000000e+00 | 2.000000e+00 | Inf
1797.84/1798.47 c 1601s| 6460k| 11773 | 16498k| 2.6 |7999k| 38 | 5 | 120 | 324 | 120 | 18 | 19 | 246k| 47k| 0.000000e+00 | 2.000000e+00 | Inf
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1603.31
1800.06/1800.61 c Solving Nodes : 6468151
1800.06/1800.61 c Primal Bound : +2.00000000000000e+00 (42 solutions)
1800.06/1800.61 c Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 s SATISFIABLE
1800.06/1800.61 v x120 x119 x118 -x117 -x116 x115 -x114 x113 x112 -x111 x110 x109 x108 x107 x106 -x105 -x104 x103 x102 x101 x100 x99 x98 -x97 -x96
1800.06/1800.61 v -x95 -x94 -x93 -x92 -x91 x90 x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1800.06/1800.61 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45
1800.06/1800.61 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1800.06/1800.61 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time : 1603.31
1800.06/1800.61 c Original Problem :
1800.06/1800.61 c Problem name : HOME/instance-2667092-1276613511.opb
1800.06/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 10 initial, 10 maximal
1800.06/1800.61 c Presolved Problem :
1800.06/1800.61 c Problem name : t_HOME/instance-2667092-1276613511.opb
1800.06/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 5 initial, 400 maximal
1800.06/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.61 c linear : 0.00 0 0 0 0 0 5 0 0
1800.06/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c root node : - 70 - - 70 - - - -
1800.06/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c integral : 0 0 0 3294204 0 14401 29262 0 0 6501126
1800.06/1800.61 c linear : 5+ 7 7860720 0 0 695010 4670804 0 0 0
1800.06/1800.61 c logicor : 0+ 0 3454533 0 0 35230 72390 0 0 0
1800.06/1800.61 c countsols : 0 0 0 25 0 0 0 0 0 0
1800.06/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.61 c integral : 38.84 0.00 0.00 38.84 0.00
1800.06/1800.61 c linear : 338.73 0.00 338.73 0.00 0.00
1800.06/1800.61 c logicor : 15.40 0.00 15.40 0.00 0.00
1800.06/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.61 c vbounds : 3.62 2 0 0
1800.06/1800.61 c rootredcost : 3.35 38 0 70
1800.06/1800.61 c pseudoobj : 43.77 7861702 1154 242284
1800.06/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.61 c propagation : 32.47 731394 216383 265897 34.8 3 30.7 -
1800.06/1800.61 c infeasible LP : 1.35 28911 28901 31855 18.9 4 27.0 0
1800.06/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.61 c applied globally : - - - 54702 22.9 - - -
1800.06/1800.61 c applied locally : - - - 192343 35.6 - - -
1800.06/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.61 c cut pool : 0.00 5 - - 3 - (maximal pool size: 63)
1800.06/1800.61 c redcost : 26.50 3520329 0 3285633 0 0
1800.06/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.06/1800.61 c intobj : 0.00 0 0 0 0 0
1800.06/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.61 c gomory : 0.00 6 0 0 0 0
1800.06/1800.61 c strongcg : 0.01 6 0 0 15 0
1800.06/1800.61 c cmir : 0.03 6 0 0 25 0
1800.06/1800.61 c flowcover : 0.03 6 0 0 25 0
1800.06/1800.61 c clique : 0.00 1 0 0 0 0
1800.06/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.61 c mcf : 0.00 1 0 0 0 0
1800.06/1800.61 c rapidlearning : 0.07 1 0 0 0 97
1800.06/1800.61 c Pricers : Time Calls Vars
1800.06/1800.61 c problem variables: 0.00 0 0
1800.06/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c relpscost : 34.27 3294179 14401 29262 0 0 6501126
1800.06/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.06/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c random : 0.00 0 0 0 0 0 0
1800.06/1800.61 c Primal Heuristics : Time Calls Found
1800.06/1800.61 c LP solutions : 0.01 - 25
1800.06/1800.61 c pseudo solutions : 0.00 - 0
1800.06/1800.61 c feaspump : 0.13 1 0
1800.06/1800.62 c oneopt : 4.07 37 0
1800.06/1800.62 c crossover : 8.76 10 1
1800.06/1800.62 c rootsoldiving : 8.24 4237 0
1800.06/1800.62 c coefdiving : 10.64 14654 1
1800.06/1800.62 c guideddiving : 10.08 14654 3
1800.06/1800.62 c linesearchdiving : 9.72 14654 1
1800.06/1800.62 c pscostdiving : 10.21 14654 2
1800.06/1800.62 c fracdiving : 9.78 14654 1
1800.06/1800.62 c veclendiving : 10.17 14654 3
1800.06/1800.62 c objpscostdiving : 7.20 7656 1
1800.06/1800.62 c trivial : 0.00 2 0
1800.06/1800.62 c simplerounding : 2.01 0 0
1800.06/1800.62 c zirounding : 3.05 1000 0
1800.06/1800.62 c rounding : 3.05 26442 0
1800.06/1800.62 c shifting : 14.12 18849 3
1800.06/1800.62 c intshifting : 0.42 0 0
1800.06/1800.62 c twoopt : 0.00 0 0
1800.06/1800.62 c fixandinfer : 0.00 0 0
1800.06/1800.62 c intdiving : 0.00 0 0
1800.06/1800.62 c actconsdiving : 0.00 0 0
1800.06/1800.62 c octane : 0.00 0 0
1800.06/1800.62 c rens : 0.05 1 0
1800.06/1800.62 c rins : 0.00 0 0
1800.06/1800.62 c localbranching : 0.00 0 0
1800.06/1800.62 c mutation : 0.00 0 0
1800.06/1800.62 c dins : 0.00 0 0
1800.06/1800.62 c undercover : 0.00 0 0
1800.06/1800.62 c nlp : 2.66 0 0
1800.06/1800.62 c trysol : 4.68 0 0
1800.06/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.62 c dual LP : 585.98 6092117 15797877 2.59 26959.75
1800.06/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.62 c diving/probing LP: 30.69 306828 719779 2.35 23453.21
1800.06/1800.62 c strong branching : 6.99 47755 63009 1.32 9014.16
1800.06/1800.62 c (at root node) : - 9 383 42.56 -
1800.06/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.62 c B&B Tree :
1800.06/1800.62 c number of runs : 1
1800.06/1800.62 c nodes : 6468151
1800.06/1800.62 c nodes (total) : 6468151
1800.06/1800.62 c nodes left : 11712
1800.06/1800.62 c max depth : 38
1800.06/1800.62 c max depth (total): 38
1800.06/1800.62 c backtracks : 1885991 (29.2%)
1800.06/1800.62 c delayed cutoffs : 14057
1800.06/1800.62 c repropagations : 76849 (100899 domain reductions, 10076 cutoffs)
1800.06/1800.62 c avg switch length: 4.67
1800.06/1800.62 c switching time : 117.90
1800.06/1800.62 c Solution :
1800.06/1800.62 c Solutions found : 42 (38 improvements)
1800.06/1800.62 c First Solution : +6.15000000000000e+02 (in run 1, after 1 nodes, 0.08 seconds, depth 0, found by <trysol>)
1800.06/1800.62 c Primal Bound : +2.00000000000000e+00 (in run 1, after 243695 nodes, 84.51 seconds, depth 31, found by <relaxation>)
1800.06/1800.62 c Dual Bound : +0.00000000000000e+00
1800.06/1800.62 c Gap : infinite
1800.06/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.62 c Root Iterations : 104
1800.06/1800.67 c Time complete: 1800.11.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667092-1276613511/watcher-2667092-1276613511 -o /tmp/evaluation-result-2667092-1276613511/solver-2667092-1276613511 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667092-1276613511.opb -t 1800 -m 1800
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: 1.00 1.00 1.00 2/106 11839
/proc/meminfo: memFree=1705636/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=7724 CPUtime=0
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 1104 0 0 0 0 0 0 0 24 0 1 0 2644849 7909376 1024 1992294400 4194304 8223781 140735066276112 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11839/statm: 1931 1034 348 984 0 944 0
[startup+0.096489 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11839
/proc/meminfo: memFree=1705636/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=20244 CPUtime=0.08
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 4784 0 0 0 6 2 0 0 24 0 1 0 2644849 20729856 3815 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 5061 3815 565 984 0 4074 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20244
[startup+0.10049 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11839
/proc/meminfo: memFree=1705636/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=20244 CPUtime=0.09
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 4788 0 0 0 7 2 0 0 24 0 1 0 2644849 20729856 3819 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 5061 3819 565 984 0 4074 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20244
[startup+0.30051 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11839
/proc/meminfo: memFree=1705636/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=14100 CPUtime=0.29
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 8123 0 0 0 24 5 0 0 25 0 1 0 2644849 14438400 2685 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 3525 2685 587 984 0 2538 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14100
[startup+0.700551 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11839
/proc/meminfo: memFree=1705636/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=21180 CPUtime=0.69
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 10597 0 0 0 61 8 0 0 25 0 1 0 2644849 21688320 4121 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 5295 4121 589 984 0 4308 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21180
[startup+1.50063 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11840
/proc/meminfo: memFree=1696700/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=14260 CPUtime=1.49
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 10620 0 0 0 134 15 0 0 25 0 1 0 2644849 14602240 2699 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 3565 2699 589 984 0 2578 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14260
[startup+3.10079 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11840
/proc/meminfo: memFree=1696328/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=15832 CPUtime=3.09
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 11637 0 0 0 281 28 0 0 25 0 1 0 2644849 16211968 3113 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 3958 3113 589 984 0 2971 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15832
[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11840
/proc/meminfo: memFree=1693352/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=18148 CPUtime=6.29
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 15833 0 0 0 572 57 0 0 25 0 1 0 2644849 18583552 3704 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 4537 3704 589 984 0 3550 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18148
[startup+12.7018 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 11840
/proc/meminfo: memFree=1688640/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=21512 CPUtime=12.69
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 32915 0 0 0 1151 118 0 0 25 0 1 0 2644849 22028288 4581 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 5378 4581 591 984 0 4391 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21512
[startup+25.5011 s]
/proc/loadavg: 1.28 1.06 1.02 2/107 11840
/proc/meminfo: memFree=1687028/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=23320 CPUtime=25.49
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 44164 0 0 0 2300 249 0 0 25 0 1 0 2644849 23879680 5045 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 5830 5045 591 984 0 4843 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23320
[startup+51.1007 s]
/proc/loadavg: 1.26 1.07 1.02 2/107 11840
/proc/meminfo: memFree=1683804/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=26508 CPUtime=51.08
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 54753 0 0 0 4612 496 0 0 25 0 1 0 2644849 27144192 5854 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 6627 5854 591 984 0 5640 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26508
[startup+102.308 s]
/proc/loadavg: 1.18 1.07 1.02 2/107 11842
/proc/meminfo: memFree=1681324/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=28828 CPUtime=102.26
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 69936 0 0 0 9197 1029 0 0 25 0 1 0 2644849 29519872 6439 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 7207 6439 591 984 0 6220 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28828
[startup+162.301 s]
/proc/loadavg: 1.14 1.07 1.02 2/107 11844
/proc/meminfo: memFree=1681076/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=28836 CPUtime=162.25
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 76630 0 0 0 14529 1696 0 0 25 0 1 0 2644849 29528064 6441 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 7209 6441 591 984 0 6222 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 28836
[startup+222.301 s]
/proc/loadavg: 1.09 1.07 1.02 2/107 11846
/proc/meminfo: memFree=1681200/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=28836 CPUtime=222.22
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 77222 0 0 0 19860 2362 0 0 25 0 1 0 2644849 29528064 6441 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 7209 6441 591 984 0 6222 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 28836
[startup+282.301 s]
/proc/loadavg: 1.03 1.06 1.02 2/107 11846
/proc/meminfo: memFree=1681200/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=28836 CPUtime=282.21
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 77222 0 0 0 25207 3014 0 0 25 0 1 0 2644849 29528064 6441 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 7209 6441 591 984 0 6222 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 28836
[startup+342.301 s]
/proc/loadavg: 1.01 1.04 1.01 2/107 11848
/proc/meminfo: memFree=1681076/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=28836 CPUtime=342.19
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 77814 0 0 0 30555 3664 0 0 25 0 1 0 2644849 29528064 6441 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 7209 6441 591 984 0 6222 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 28836
[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 11850
/proc/meminfo: memFree=1680952/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=28836 CPUtime=402.18
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 77814 0 0 0 35904 4314 0 0 25 0 1 0 2644849 29528064 6441 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 7209 6441 591 984 0 6222 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 28836
[startup+462.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11852
/proc/meminfo: memFree=1680828/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=28836 CPUtime=462.15
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 77814 0 0 0 41242 4973 0 0 25 0 1 0 2644849 29528064 6441 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 7209 6441 591 984 0 6222 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 28836
[startup+522.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11854
/proc/meminfo: memFree=1680704/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=28836 CPUtime=522.14
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 77814 0 0 0 46569 5645 0 0 25 0 1 0 2644849 29528064 6441 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 7209 6441 591 984 0 6222 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 28836
[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11863
/proc/meminfo: memFree=1680208/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=28872 CPUtime=582.12
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 78416 0 0 0 51903 6309 0 0 25 0 1 0 2644849 29564928 6450 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 7218 6450 591 984 0 6231 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 28872
[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11865
/proc/meminfo: memFree=1680208/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=28872 CPUtime=642.11
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 78416 0 0 0 57233 6978 0 0 25 0 1 0 2644849 29564928 6450 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 7218 6450 591 984 0 6231 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 28872
[startup+702.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11871
/proc/meminfo: memFree=1680084/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=28872 CPUtime=822.04
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 78416 0 0 0 73243 8961 0 0 25 0 1 0 2644849 29564928 6450 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 7218 6450 591 984 0 6231 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 28872
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11871
/proc/meminfo: memFree=1677108/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32176 CPUtime=882.02
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 79250 0 0 0 78587 9615 0 0 25 0 1 0 2644849 32948224 7284 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8044 7284 591 984 0 7057 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 32176
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11873
/proc/meminfo: memFree=1676364/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32824 CPUtime=942.01
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 79415 0 0 0 83916 10285 0 0 25 0 1 0 2644849 33611776 7449 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8206 7449 591 984 0 7219 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 32824
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11875
/proc/meminfo: memFree=1675496/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1001.99
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 89257 10942 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 32904
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11877
/proc/meminfo: memFree=1675496/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1061.97
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 94606 11591 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 32904
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11879
/proc/meminfo: memFree=1675496/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1121.95
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 99947 12248 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 32904
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11879
/proc/meminfo: memFree=1675124/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1181.93
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 105278 12915 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 32904
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11881
/proc/meminfo: memFree=1675000/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1241.92
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 110619 13573 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 32904
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11883
/proc/meminfo: memFree=1674752/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1301.9
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 115962 14228 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 32904
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11885
/proc/meminfo: memFree=1674752/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1361.88
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 121315 14873 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 32904
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11887
/proc/meminfo: memFree=1674752/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1421.87
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 126660 15527 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 32904
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11887
/proc/meminfo: memFree=1674504/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1481.85
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 132011 16174 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 32904
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11889
/proc/meminfo: memFree=1674628/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1541.83
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 137352 16831 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 32904
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11891
/proc/meminfo: memFree=1674380/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1601.8
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 142695 17485 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 32904
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11893
/proc/meminfo: memFree=1674256/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1661.78
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 148023 18155 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 32904
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11895
/proc/meminfo: memFree=1674132/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1721.77
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 153369 18808 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 32904
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11895
/proc/meminfo: memFree=1673760/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1781.74
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 158703 19471 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 32904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 11897
/proc/meminfo: memFree=1673760/2059040 swapFree=4192956/4192956
[pid=11839] ppid=11837 vsize=32904 CPUtime=1800.06
/proc/11839/stat : 11839 (pbscip.linux.x8) R 11837 11839 11203 0 -1 4202496 80029 0 0 0 160331 19675 0 0 25 0 1 0 2644849 33693696 7469 1992294400 4194304 8223781 140735066276112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11839/statm: 8226 7469 591 984 0 7239 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 32904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.11
CPU user time (s): 1603.36
CPU system time (s): 196.753
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 36732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1603.36
system time used= 196.753
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80035
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= 1
involuntary context switches= 5336
runsolver used 3.00154 second user time and 8.5377 second system time
The end