0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-3734866-1338702024.opb>
0.00/0.00 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (2 rounds):
0.00/0.01 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c 8 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.3
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1790
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 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.01 c 0.0s| 1 | 0 | 43 | - | 633k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 o 1094
0.00/0.07 c y 0.1s| 1 | 0 | 99 | - | 686k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 110 | - | 841k| 0 | 13 | 198 | 76 | 198 | 17 | 9 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 120 | - | 900k| 0 | 16 | 198 | 76 | 198 | 22 | 14 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.07/0.09 c 0.1s| 1 | 0 | 133 | - | 929k| 0 | 17 | 198 | 76 | 198 | 24 | 16 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.08/0.10 c 0.1s| 1 | 0 | 137 | - | 935k| 0 | 17 | 198 | 76 | 198 | 25 | 17 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.08/0.11 c 0.1s| 1 | 0 | 140 | - | 953k| 0 | 18 | 198 | 76 | 198 | 27 | 19 | 0 | 0 | 0.000000e+00 | 1.094000e+03 | Inf
0.08/0.14 c 0.1s| 1 | 2 | 140 | - | 953k| 0 | 18 | 198 | 76 | 198 | 27 | 19 | 0 | 9 | 0.000000e+00 | 1.094000e+03 | Inf
0.19/0.21 o 497
0.19/0.21 c p 0.2s| 64 | 65 | 577 | 6.9 |1079k| 41 | - | 198 | 76 | 198 | 18 | 19 | 3 | 258 | 0.000000e+00 | 4.970000e+02 | Inf
0.29/0.36 o 323
0.29/0.36 c f 0.4s| 306 | 307 | 2232 | 6.9 |1210k| 57 | - | 198 | 76 | 198 | 18 | 19 | 10 | 502 | 0.000000e+00 | 3.230000e+02 | Inf
0.59/0.67 o 247
0.59/0.67 c f 0.7s| 1065 | 1064 | 6965 | 6.4 |1549k| 59 | - | 198 | 77 | 198 | 18 | 19 | 28 | 588 | 0.000000e+00 | 2.470000e+02 | Inf
1.38/1.48 o 172
1.38/1.48 c g 1.5s| 3162 | 3159 | 21033 | 6.6 |2459k| 59 | - | 198 | 77 | 198 | 18 | 19 | 88 | 605 | 0.000000e+00 | 1.720000e+02 | Inf
2.79/2.89 o 136
2.79/2.89 c g 2.9s| 6845 | 6817 | 44459 | 6.5 |4086k| 59 | - | 198 | 77 | 198 | 18 | 19 | 189 | 703 | 0.000000e+00 | 1.360000e+02 | Inf
4.19/4.26 c 4.3s| 10000 | 9960 | 67736 | 6.8 |5503k| 59 | 8 | 198 | 13 | 198 | 18 | 19 | 313 | 885 | 0.000000e+00 | 1.360000e+02 | Inf
7.48/7.53 c 7.5s| 20000 | 19917 |123929 | 6.2 |9946k| 59 | 8 | 198 | 13 | 198 | 18 | 19 | 488 |1279 | 0.000000e+00 | 1.360000e+02 | Inf
7.99/8.08 o 135
7.99/8.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.99/8.08 c c 8.1s| 21700 | 21603 |133479 | 6.1 | 10M| 59 | - | 198 | 13 | 198 | 18 | 19 | 512 |1363 | 0.000000e+00 | 1.350000e+02 | Inf
11.09/11.13 c 11.1s| 30000 | 29838 |186261 | 6.2 | 14M| 59 | 8 | 198 | 13 | 198 | 18 | 19 | 681 |1674 | 0.000000e+00 | 1.350000e+02 | Inf
14.29/14.37 c 14.4s| 40000 | 39704 |243646 | 6.1 | 19M| 59 | 8 | 198 | 13 | 198 | 18 | 19 | 849 |2018 | 0.000000e+00 | 1.350000e+02 | Inf
16.38/16.40 o 125
16.38/16.40 c g16.4s| 46089 | 45600 |280745 | 6.1 | 21M| 61 | - | 198 | 13 | 198 | 18 | 19 | 950 |2272 | 0.000000e+00 | 1.250000e+02 | Inf
16.50/16.56 o 97
16.50/16.56 c g16.6s| 46425 | 45516 |283723 | 6.1 | 21M| 61 | - | 198 | 8 | 198 | 18 | 19 | 963 |2338 | 0.000000e+00 | 9.700000e+01 | Inf
17.88/17.95 c 17.9s| 50000 | 48749 |309059 | 6.2 | 23M| 61 | 8 | 198 | 8 | 198 | 18 | 19 |1044 |2527 | 0.000000e+00 | 9.700000e+01 | Inf
21.18/21.23 c 21.2s| 60000 | 57616 |368020 | 6.1 | 28M| 62 | 8 | 198 | 8 | 198 | 18 | 19 |1318 |3000 | 0.000000e+00 | 9.700000e+01 | Inf
21.58/21.65 o 96
21.58/21.65 c *21.6s| 61231 | 58479 |375632 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1351 |3064 | 0.000000e+00 | 9.600000e+01 | Inf
21.58/21.65 o 94
21.58/21.65 c *21.6s| 61233 | 58428 |375633 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1351 |3071 | 0.000000e+00 | 9.400000e+01 | Inf
21.58/21.65 o 92
21.58/21.65 c *21.6s| 61236 | 58341 |375634 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1351 |3078 | 0.000000e+00 | 9.200000e+01 | Inf
21.58/21.65 o 90
21.58/21.65 c *21.6s| 61237 | 58244 |375634 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1351 |3078 | 0.000000e+00 | 9.000000e+01 | Inf
21.68/21.73 o 89
21.68/21.73 c c21.7s| 61477 | 58424 |377083 | 6.1 | 28M| 62 | - | 198 | 8 | 198 | 18 | 19 |1354 |3102 | 0.000000e+00 | 8.900000e+01 | Inf
24.79/24.88 c 24.9s| 70000 | 65782 |432217 | 6.2 | 32M| 62 | 8 | 198 | 8 | 198 | 18 | 19 |1645 |3482 | 0.000000e+00 | 8.900000e+01 | Inf
26.08/26.17 o 87
26.08/26.17 c *26.2s| 73905 | 69013 |455519 | 6.2 | 34M| 62 | - | 198 | 8 | 198 | 18 | 19 |1759 |3666 | 0.000000e+00 | 8.700000e+01 | Inf
28.18/28.26 c 28.3s| 80000 | 74190 |493063 | 6.2 | 37M| 62 | 8 | 198 | 8 | 198 | 18 | 19 |1942 |3900 | 0.000000e+00 | 8.700000e+01 | Inf
31.58/31.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.58/31.65 c 31.7s| 90000 | 82468 |555195 | 6.2 | 42M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |2295 |4193 | 0.000000e+00 | 8.700000e+01 | Inf
33.38/33.42 o 86
33.38/33.42 c *33.4s| 95166 | 86569 |587601 | 6.2 | 44M| 62 | - | 198 | 9 | 198 | 18 | 19 |2497 |4345 | 0.000000e+00 | 8.600000e+01 | Inf
33.38/33.42 o 84
33.38/33.42 c *33.4s| 95169 | 86369 |587603 | 6.2 | 44M| 62 | - | 198 | 9 | 198 | 18 | 19 |2497 |4350 | 0.000000e+00 | 8.400000e+01 | Inf
36.08/36.14 c 36.1s|100000 | 90305 |617760 | 6.2 | 46M| 62 | 8 | 198 | 8 | 198 | 18 | 19 |2667 |4499 | 0.000000e+00 | 8.400000e+01 | Inf
38.48/38.55 o 82
38.48/38.55 c *38.5s|107112 | 95882 |661932 | 6.2 | 49M| 62 | - | 198 | 8 | 198 | 18 | 19 |2936 |4671 | 0.000000e+00 | 8.200000e+01 | Inf
38.48/38.55 o 80
38.48/38.55 c *38.6s|107113 | 95322 |661932 | 6.2 | 49M| 62 | - | 198 | 8 | 198 | 18 | 19 |2936 |4671 | 0.000000e+00 | 8.000000e+01 | Inf
38.77/38.84 o 79
38.77/38.84 c p38.8s|107575 | 95516 |664915 | 6.2 | 49M| 62 | - | 198 | 8 | 198 | 18 | 19 |2952 |4702 | 0.000000e+00 | 7.900000e+01 | Inf
39.68/39.73 o 77
39.68/39.73 c *39.7s|109473 | 96636 |680240 | 6.2 | 49M| 62 | - | 198 | 9 | 198 | 18 | 19 |3089 |4738 | 0.000000e+00 | 7.700000e+01 | Inf
39.87/39.92 c 39.9s|110000 | 97026 |683412 | 6.2 | 49M| 62 | - | 198 | 9 | 198 | 18 | 19 |3115 |4752 | 0.000000e+00 | 7.700000e+01 | Inf
40.68/40.76 o 75
40.68/40.76 c *40.8s|112454 | 98539 |698298 | 6.2 | 50M| 62 | - | 198 | 9 | 198 | 18 | 19 |3222 |4814 | 0.000000e+00 | 7.500000e+01 | Inf
40.68/40.76 o 71
40.68/40.76 c g40.8s|112456 | 97536 |698303 | 6.2 | 49M| 62 | - | 198 | 9 | 198 | 18 | 19 |3222 |4828 | 0.000000e+00 | 7.100000e+01 | Inf
43.38/43.46 c 43.5s|120000 |103393 |746275 | 6.2 | 53M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |3521 |5009 | 0.000000e+00 | 7.100000e+01 | Inf
44.67/44.72 o 69
44.67/44.72 c l44.7s|123730 |105554 |769447 | 6.2 | 54M| 62 | - | 198 | 9 | 198 | 18 | 19 |3722 |5096 | 0.000000e+00 | 6.900000e+01 | Inf
46.97/47.07 c 47.1s|130000 |110012 |811155 | 6.2 | 57M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |4111 |5282 | 0.000000e+00 | 6.900000e+01 | Inf
47.28/47.32 o 68
47.28/47.32 c *47.3s|130750 |110309 |815534 | 6.2 | 57M| 62 | - | 198 | 9 | 198 | 18 | 19 |4140 |5298 | 0.000000e+00 | 6.800000e+01 | Inf
47.28/47.32 o 66
47.28/47.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.28/47.32 c *47.3s|130751 |109645 |815534 | 6.2 | 57M| 62 | - | 198 | 9 | 198 | 18 | 19 |4140 |5298 | 0.000000e+00 | 6.600000e+01 | Inf
50.47/50.52 c 50.5s|140000 |116292 |871282 | 6.2 | 61M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |4576 |5531 | 0.000000e+00 | 6.600000e+01 | Inf
50.97/51.04 o 65
50.97/51.04 c v51.0s|141526 |117068 |880573 | 6.2 | 62M| 62 | - | 198 | 9 | 198 | 18 | 19 |4629 |5554 | 0.000000e+00 | 6.500000e+01 | Inf
53.97/54.07 c 54.1s|150000 |122963 |935056 | 6.2 | 66M| 62 | 8 | 198 | 9 | 198 | 18 | 19 |5037 |5747 | 0.000000e+00 | 6.500000e+01 | Inf
55.87/55.92 o 63
55.87/55.92 c *55.9s|155343 |123449 |967655 | 6.2 | 66M| 63 | - | 198 | 10 | 198 | 18 | 19 |5326 |5882 | 0.000000e+00 | 6.300000e+01 | Inf
56.07/56.18 o 62
56.07/56.18 c *56.2s|156165 |123689 |972573 | 6.2 | 66M| 63 | - | 198 | 10 | 198 | 18 | 19 |5343 |5895 | 0.000000e+00 | 6.200000e+01 | Inf
56.07/56.18 o 60
56.07/56.18 c *56.2s|156166 |122904 |972573 | 6.2 | 65M| 63 | - | 198 | 10 | 198 | 18 | 19 |5343 |5895 | 0.000000e+00 | 6.000000e+01 | Inf
56.18/56.23 o 57
56.18/56.23 c g56.2s|156304 |121549 |973330 | 6.2 | 64M| 63 | - | 198 | 10 | 198 | 18 | 19 |5346 |5899 | 0.000000e+00 | 5.700000e+01 | Inf
57.47/57.59 c 57.6s|160000 |124185 |999170 | 6.2 | 65M| 63 | 8 | 198 | 10 | 198 | 18 | 19 |5501 |6007 | 0.000000e+00 | 5.700000e+01 | Inf
60.76/60.86 c 60.9s|170000 |131170 | 1060k| 6.2 | 70M| 63 | 8 | 198 | 12 | 198 | 18 | 19 |5917 |6251 | 0.000000e+00 | 5.700000e+01 | Inf
64.06/64.15 c 64.1s|180000 |137853 | 1123k| 6.2 | 75M| 63 | 8 | 198 | 12 | 198 | 18 | 19 |6400 |6502 | 0.000000e+00 | 5.700000e+01 | Inf
67.37/67.46 c 67.5s|190000 |144464 | 1186k| 6.2 | 79M| 63 | 8 | 198 | 10 | 198 | 18 | 19 |6842 |6738 | 0.000000e+00 | 5.700000e+01 | Inf
70.66/70.76 c 70.8s|200000 |151389 | 1249k| 6.2 | 84M| 63 | 8 | 198 | 12 | 198 | 18 | 19 |7249 |6944 | 0.000000e+00 | 5.700000e+01 | Inf
73.97/74.08 c 74.1s|210000 |158143 | 1313k| 6.3 | 88M| 63 | 8 | 198 | 13 | 198 | 18 | 19 |7683 |7136 | 0.000000e+00 | 5.700000e+01 | Inf
77.37/77.45 c 77.4s|220000 |164728 | 1378k| 6.3 | 93M| 63 | 8 | 198 | 14 | 198 | 18 | 19 |8210 |7338 | 0.000000e+00 | 5.700000e+01 | Inf
80.76/80.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.76/80.86 c 80.9s|230000 |171308 | 1444k| 6.3 | 97M| 63 | 8 | 198 | 12 | 198 | 18 | 19 |8697 |7521 | 0.000000e+00 | 5.700000e+01 | Inf
84.16/84.22 c 84.2s|240000 |177802 | 1508k| 6.3 | 102M| 63 | - | 198 | 14 | 198 | 18 | 19 |9226 |7671 | 0.000000e+00 | 5.700000e+01 | Inf
87.57/87.61 c 87.6s|250000 |184099 | 1574k| 6.3 | 106M| 63 | 8 | 198 | 14 | 198 | 18 | 19 |9761 |7842 | 0.000000e+00 | 5.700000e+01 | Inf
92.06/92.11 c 92.1s|260000 |190461 | 1640k| 6.3 | 110M| 63 | 8 | 198 | 14 | 198 | 18 | 19 | 10k|8007 | 0.000000e+00 | 5.700000e+01 | Inf
95.46/95.51 c 95.5s|270000 |196831 | 1704k| 6.3 | 115M| 63 | - | 198 | 10 | 198 | 18 | 19 | 10k|8149 | 0.000000e+00 | 5.700000e+01 | Inf
96.36/96.47 o 56
96.36/96.47 c *96.5s|272808 |197966 | 1723k| 6.3 | 115M| 63 | - | 198 | 10 | 198 | 18 | 19 | 10k|8186 | 0.000000e+00 | 5.600000e+01 | Inf
97.36/97.43 o 52
97.36/97.43 c c97.4s|275231 |196145 | 1741k| 6.3 | 111M| 63 | - | 198 | 10 | 198 | 18 | 19 | 11k|8223 | 0.000000e+00 | 5.200000e+01 | Inf
99.16/99.30 c 99.3s|280000 |199053 | 1775k| 6.3 | 113M| 63 | - | 198 | 11 | 198 | 18 | 19 | 11k|8280 | 0.000000e+00 | 5.200000e+01 | Inf
101.86/101.94 o 51
101.86/101.94 c * 102s|287774 |202517 | 1825k| 6.3 | 115M| 63 | - | 198 | 12 | 198 | 18 | 19 | 11k|8389 | 0.000000e+00 | 5.100000e+01 | Inf
102.56/102.65 c 103s|290000 |203760 | 1838k| 6.3 | 116M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 11k|8421 | 0.000000e+00 | 5.100000e+01 | Inf
105.96/106.09 c 106s|300000 |209633 | 1903k| 6.3 | 120M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 12k|8552 | 0.000000e+00 | 5.100000e+01 | Inf
109.35/109.42 c 109s|310000 |215416 | 1966k| 6.3 | 124M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 12k|8688 | 0.000000e+00 | 5.100000e+01 | Inf
109.46/109.50 o 49
109.46/109.50 c * 109s|310240 |213126 | 1968k| 6.3 | 121M| 63 | - | 198 | 12 | 198 | 18 | 19 | 12k|8690 | 0.000000e+00 | 4.900000e+01 | Inf
112.56/112.66 c 113s|320000 |218381 | 2026k| 6.3 | 125M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 13k|8803 | 0.000000e+00 | 4.900000e+01 | Inf
112.76/112.85 o 47
112.76/112.85 c * 113s|320576 |214865 | 2030k| 6.3 | 122M| 63 | - | 198 | 12 | 198 | 18 | 19 | 13k|8817 | 0.000000e+00 | 4.700000e+01 | Inf
112.76/112.86 o 45
112.76/112.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.76/112.86 c * 113s|320577 |212238 | 2030k| 6.3 | 119M| 63 | - | 198 | 12 | 198 | 18 | 19 | 13k|8817 | 0.000000e+00 | 4.500000e+01 | Inf
115.86/115.93 c 116s|330000 |217295 | 2088k| 6.3 | 123M| 63 | - | 198 | 12 | 198 | 18 | 19 | 13k|8949 | 0.000000e+00 | 4.500000e+01 | Inf
119.06/119.11 c 119s|340000 |222283 | 2148k| 6.3 | 127M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 14k|9066 | 0.000000e+00 | 4.500000e+01 | Inf
122.26/122.38 c 122s|350000 |227610 | 2209k| 6.3 | 131M| 63 | - | 198 | 10 | 198 | 18 | 19 | 14k|9209 | 0.000000e+00 | 4.500000e+01 | Inf
122.45/122.54 o 44
122.45/122.54 c * 123s|350501 |226455 | 2211k| 6.3 | 129M| 63 | - | 198 | 10 | 198 | 18 | 19 | 14k|9218 | 0.000000e+00 | 4.400000e+01 | Inf
122.45/122.54 o 42
122.45/122.54 c * 123s|350503 |223383 | 2211k| 6.3 | 126M| 63 | - | 198 | 10 | 198 | 18 | 19 | 14k|9222 | 0.000000e+00 | 4.200000e+01 | Inf
122.45/122.55 o 40
122.45/122.55 c * 123s|350504 |219979 | 2211k| 6.3 | 123M| 63 | - | 198 | 10 | 198 | 18 | 19 | 14k|9222 | 0.000000e+00 | 4.000000e+01 | Inf
126.66/126.74 o 38
126.66/126.74 c * 127s|357613 |219469 | 2252k| 6.3 | 122M| 63 | - | 198 | 10 | 198 | 18 | 19 | 15k|9326 | 0.000000e+00 | 3.800000e+01 | Inf
126.66/126.75 o 36
126.66/126.75 c * 127s|357614 |215474 | 2252k| 6.3 | 119M| 63 | - | 198 | 10 | 198 | 18 | 19 | 15k|9326 | 0.000000e+00 | 3.600000e+01 | Inf
127.45/127.56 c 128s|360000 |216700 | 2266k| 6.3 | 119M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 15k|9355 | 0.000000e+00 | 3.600000e+01 | Inf
131.56/131.60 c 132s|370000 |221090 | 2322k| 6.3 | 123M| 63 | - | 198 | 10 | 198 | 18 | 19 | 15k|9483 | 0.000000e+00 | 3.600000e+01 | Inf
134.56/134.64 c 135s|380000 |225769 | 2377k| 6.3 | 126M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 16k|9617 | 0.000000e+00 | 3.600000e+01 | Inf
138.35/138.47 c 138s|390000 |229940 | 2430k| 6.2 | 130M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 16k|9736 | 0.000000e+00 | 3.600000e+01 | Inf
141.36/141.40 c 141s|400000 |233900 | 2485k| 6.2 | 133M| 63 | - | 198 | 11 | 0 | 0 | 19 | 17k|9876 | 0.000000e+00 | 3.600000e+01 | Inf
144.36/144.45 c 144s|410000 |238320 | 2541k| 6.2 | 137M| 63 | - | 198 | 10 | 198 | 18 | 19 | 17k| 10k| 0.000000e+00 | 3.600000e+01 | Inf
145.26/145.32 o 35
145.26/145.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.26/145.32 c * 145s|412915 |237540 | 2557k| 6.2 | 136M| 63 | - | 198 | 10 | 198 | 18 | 19 | 17k| 10k| 0.000000e+00 | 3.500000e+01 | Inf
145.26/145.33 o 33
145.26/145.33 c * 145s|412917 |233378 | 2557k| 6.2 | 132M| 63 | - | 198 | 10 | 198 | 18 | 19 | 17k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
147.36/147.49 c 147s|420000 |236404 | 2595k| 6.2 | 135M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 17k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
150.36/150.46 c 150s|430000 |240481 | 2648k| 6.2 | 138M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 18k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
154.26/154.39 c 154s|440000 |245132 | 2703k| 6.1 | 141M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 18k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
157.15/157.26 c 157s|450000 |248936 | 2755k| 6.1 | 145M| 63 | - | 198 | 10 | 198 | 18 | 19 | 19k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
160.05/160.16 c 160s|460000 |252931 | 2808k| 6.1 | 148M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 19k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
163.25/163.34 c 163s|470000 |257904 | 2866k| 6.1 | 151M| 63 | - | 198 | 10 | 198 | 18 | 19 | 20k| 10k| 0.000000e+00 | 3.300000e+01 | Inf
163.65/163.74 o 32
163.65/163.74 c * 164s|471243 |247568 | 2872k| 6.1 | 144M| 63 | - | 198 | 10 | 198 | 18 | 19 | 20k| 10k| 0.000000e+00 | 3.200000e+01 | Inf
163.65/163.75 o 30
163.65/163.75 c * 164s|471244 |243464 | 2872k| 6.1 | 141M| 63 | - | 198 | 10 | 198 | 18 | 19 | 20k| 10k| 0.000000e+00 | 3.000000e+01 | Inf
166.35/166.45 c 166s|480000 |248135 | 2924k| 6.1 | 144M| 63 | - | 198 | 9 | 198 | 18 | 19 | 20k| 10k| 0.000000e+00 | 3.000000e+01 | Inf
169.15/169.25 c 169s|490000 |252233 | 2980k| 6.1 | 146M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 20k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
171.95/172.02 c 172s|500000 |256242 | 3035k| 6.1 | 149M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 21k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
174.75/174.81 c 175s|510000 |259992 | 3090k| 6.1 | 152M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 21k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
174.95/175.08 o 28
174.95/175.08 c * 175s|510919 |255687 | 3095k| 6.1 | 148M| 63 | - | 198 | 9 | 198 | 18 | 19 | 21k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
178.45/178.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.45/178.56 c 179s|520000 |258917 | 3143k| 6.0 | 150M| 63 | - | 198 | 9 | 0 | 0 | 19 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
181.25/181.34 c 181s|530000 |262530 | 3198k| 6.0 | 153M| 63 | - | 198 | 10 | 198 | 18 | 19 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
185.05/185.14 c 185s|540000 |266130 | 3253k| 6.0 | 156M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
187.75/187.87 c 188s|550000 |269424 | 3307k| 6.0 | 158M| 63 | - | 198 | 9 | 0 | 0 | 19 | 23k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
190.55/190.61 c 191s|560000 |272901 | 3363k| 6.0 | 160M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 23k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
193.25/193.33 c 193s|570000 |276415 | 3416k| 6.0 | 163M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 24k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
195.85/195.97 c 196s|580000 |279539 | 3469k| 6.0 | 166M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 24k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
198.54/198.63 c 199s|590000 |282275 | 3522k| 6.0 | 168M| 63 | - | 198 | 9 | 198 | 18 | 19 | 25k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
201.25/201.30 c 201s|600000 |285306 | 3575k| 6.0 | 170M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 25k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
203.94/204.04 c 204s|610000 |289191 | 3629k| 6.0 | 173M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
206.54/206.67 c 207s|620000 |292074 | 3681k| 5.9 | 175M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
207.85/207.94 o 26
207.85/207.94 c * 208s|624714 |288148 | 3706k| 5.9 | 171M| 63 | - | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.600000e+01 | Inf
211.24/211.39 o 24
211.24/211.39 c * 211s|629900 |283800 | 3733k| 5.9 | 167M| 63 | - | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
211.34/211.40 o 22
211.34/211.40 c * 211s|629901 |277090 | 3733k| 5.9 | 161M| 63 | - | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
211.34/211.43 c 211s|630000 |277117 | 3734k| 5.9 | 161M| 63 | - | 198 | 9 | 198 | 18 | 19 | 26k| 12k| 0.000000e+00 | 2.200000e+01 | Inf
213.64/213.71 o 21
213.64/213.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.64/213.71 c * 214s|638656 |275814 | 3777k| 5.9 | 159M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 2.100000e+01 | Inf
213.64/213.73 o 19
213.64/213.73 c * 214s|638661 |268090 | 3777k| 5.9 | 153M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.900000e+01 | Inf
213.64/213.74 o 17
213.64/213.74 c * 214s|638662 |259540 | 3777k| 5.9 | 145M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
213.93/214.07 c 214s|640000 |259851 | 3783k| 5.9 | 146M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
216.44/216.53 c 217s|650000 |261925 | 3830k| 5.9 | 147M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
218.94/219.02 c 219s|660000 |263841 | 3877k| 5.9 | 149M| 63 | - | 198 | 9 | 198 | 18 | 19 | 27k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
221.33/221.43 c 221s|670000 |265714 | 3922k| 5.9 | 150M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 28k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
223.74/223.89 c 224s|680000 |267506 | 3968k| 5.8 | 152M| 63 | - | 198 | 9 | 198 | 18 | 19 | 28k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
226.33/226.40 c 226s|690000 |269807 | 4015k| 5.8 | 154M| 63 | - | 198 | 10 | 198 | 18 | 19 | 28k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
228.74/228.81 c 229s|700000 |272000 | 4061k| 5.8 | 156M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 29k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
231.04/231.19 c 231s|710000 |274072 | 4105k| 5.8 | 157M| 63 | - | 198 | 9 | 198 | 18 | 19 | 29k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
233.44/233.55 c 234s|720000 |276113 | 4149k| 5.8 | 159M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 29k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
235.73/235.87 c 236s|730000 |277510 | 4192k| 5.7 | 161M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 30k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
238.24/238.30 c 238s|740000 |280017 | 4237k| 5.7 | 163M| 63 | - | 198 | 10 | 198 | 18 | 19 | 30k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
240.63/240.72 c 241s|750000 |282882 | 4281k| 5.7 | 165M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 31k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
242.93/243.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.93/243.10 c 243s|760000 |284875 | 4325k| 5.7 | 166M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 31k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
245.34/245.47 c 245s|770000 |287272 | 4368k| 5.7 | 168M| 63 | - | 198 | 10 | 0 | 0 | 19 | 31k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
247.83/247.95 c 248s|780000 |290362 | 4412k| 5.7 | 170M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 32k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
250.23/250.31 c 250s|790000 |292634 | 4455k| 5.6 | 172M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 32k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
252.53/252.62 c 253s|800000 |294527 | 4497k| 5.6 | 174M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 32k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
254.83/254.98 c 255s|810000 |296808 | 4540k| 5.6 | 175M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 33k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
257.34/257.47 c 257s|820000 |299973 | 4585k| 5.6 | 178M| 63 | - | 198 | 10 | 198 | 18 | 19 | 33k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
259.73/259.83 c 260s|830000 |302491 | 4626k| 5.6 | 179M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 34k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
262.02/262.13 c 262s|840000 |304718 | 4669k| 5.6 | 181M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 34k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
264.33/264.49 c 264s|850000 |306517 | 4712k| 5.5 | 183M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 34k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
266.72/266.80 c 267s|860000 |308387 | 4755k| 5.5 | 184M| 63 | - | 198 | 9 | 198 | 18 | 19 | 35k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
269.02/269.14 c 269s|870000 |310464 | 4798k| 5.5 | 186M| 63 | - | 198 | 9 | 198 | 18 | 19 | 35k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
271.32/271.43 c 271s|880000 |312072 | 4840k| 5.5 | 187M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 35k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
273.63/273.72 c 274s|890000 |313720 | 4881k| 5.5 | 189M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 36k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
275.92/276.02 c 276s|900000 |315456 | 4923k| 5.5 | 190M| 63 | - | 198 | 9 | 198 | 18 | 19 | 36k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
278.23/278.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.23/278.34 c 278s|910000 |317748 | 4963k| 5.5 | 192M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 37k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
280.63/280.75 c 281s|920000 |320064 | 5006k| 5.4 | 194M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 37k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
282.92/283.05 c 283s|930000 |321611 | 5048k| 5.4 | 195M| 63 | - | 198 | 10 | 198 | 18 | 19 | 37k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
285.23/285.36 c 285s|940000 |323927 | 5090k| 5.4 | 197M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 38k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
287.52/287.60 c 288s|950000 |325524 | 5130k| 5.4 | 198M| 63 | - | 198 | 9 | 198 | 18 | 19 | 38k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
289.82/289.98 c 290s|960000 |327922 | 5172k| 5.4 | 200M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 38k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
292.22/292.32 c 292s|970000 |329987 | 5212k| 5.4 | 202M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 39k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
294.62/294.70 c 295s|980000 |332336 | 5255k| 5.4 | 204M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 39k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
296.93/297.01 c 297s|990000 |334086 | 5297k| 5.4 | 206M| 63 | - | 198 | 9 | 198 | 18 | 19 | 40k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
299.13/299.27 c 299s| 1000k|335433 | 5337k| 5.3 | 207M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 40k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
301.52/301.61 c 302s| 1010k|336828 | 5379k| 5.3 | 208M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 41k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
303.72/303.88 c 304s| 1020k|338450 | 5420k| 5.3 | 210M| 63 | - | 198 | 10 | 198 | 18 | 19 | 41k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
306.02/306.15 c 306s| 1030k|339875 | 5461k| 5.3 | 211M| 63 | - | 198 | 11 | 198 | 18 | 19 | 41k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
308.32/308.42 c 308s| 1040k|341138 | 5502k| 5.3 | 213M| 63 | - | 198 | 9 | 198 | 18 | 19 | 42k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
310.62/310.71 c 311s| 1050k|342591 | 5543k| 5.3 | 214M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 42k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
312.91/313.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.91/313.02 c 313s| 1060k|343827 | 5585k| 5.3 | 215M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 42k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
315.22/315.30 c 315s| 1070k|344903 | 5625k| 5.3 | 217M| 63 | - | 198 | 9 | 198 | 18 | 19 | 43k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
317.42/317.59 c 318s| 1080k|345905 | 5667k| 5.2 | 218M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 43k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
319.72/319.82 c 320s| 1090k|347266 | 5706k| 5.2 | 219M| 63 | - | 198 | 9 | 198 | 18 | 19 | 44k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
322.02/322.10 c 322s| 1100k|348467 | 5747k| 5.2 | 220M| 63 | - | 198 | 9 | 198 | 18 | 19 | 44k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
324.21/324.37 c 324s| 1110k|349421 | 5788k| 5.2 | 221M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 45k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
326.52/326.66 c 327s| 1120k|350413 | 5828k| 5.2 | 223M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 45k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
328.83/328.96 c 329s| 1130k|351664 | 5870k| 5.2 | 224M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 45k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
331.12/331.29 c 331s| 1140k|353066 | 5914k| 5.2 | 225M| 63 | - | 198 | 10 | 198 | 18 | 19 | 46k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
333.51/333.64 c 334s| 1150k|355085 | 5956k| 5.2 | 227M| 63 | - | 198 | 10 | 198 | 18 | 19 | 46k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
335.82/335.98 c 336s| 1160k|357565 | 5998k| 5.2 | 229M| 63 | - | 198 | 10 | 0 | 0 | 19 | 46k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
338.12/338.27 c 338s| 1170k|359638 | 6039k| 5.2 | 231M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 47k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
340.41/340.59 c 341s| 1180k|361517 | 6079k| 5.2 | 232M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 47k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
342.81/342.96 c 343s| 1190k|363835 | 6122k| 5.1 | 234M| 63 | - | 198 | 11 | 198 | 18 | 19 | 48k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
345.22/345.32 c 345s| 1200k|366041 | 6164k| 5.1 | 236M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 48k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
347.52/347.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.52/347.63 c 348s| 1210k|367923 | 6205k| 5.1 | 237M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 49k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
349.82/349.91 c 350s| 1220k|369419 | 6247k| 5.1 | 239M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 49k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
352.02/352.18 c 352s| 1230k|370891 | 6287k| 5.1 | 240M| 63 | - | 198 | 11 | 198 | 18 | 19 | 49k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
354.42/354.52 c 355s| 1240k|372437 | 6330k| 5.1 | 241M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 50k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
356.72/356.85 c 357s| 1250k|374299 | 6372k| 5.1 | 243M| 63 | - | 198 | 11 | 0 | 0 | 19 | 50k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
359.01/359.14 c 359s| 1260k|375624 | 6414k| 5.1 | 244M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 51k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
361.31/361.43 c 361s| 1270k|377178 | 6456k| 5.1 | 246M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 51k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
363.61/363.71 c 364s| 1280k|378582 | 6497k| 5.1 | 247M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 51k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
365.81/365.97 c 366s| 1290k|379763 | 6538k| 5.1 | 248M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 52k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
368.21/368.32 c 368s| 1300k|381297 | 6580k| 5.1 | 250M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 52k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
370.51/370.64 c 371s| 1310k|382469 | 6622k| 5.1 | 251M| 63 | - | 198 | 9 | 198 | 18 | 19 | 53k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
372.82/372.94 c 373s| 1320k|383410 | 6663k| 5.0 | 253M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 53k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
375.12/375.27 c 375s| 1330k|385184 | 6707k| 5.0 | 254M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 54k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
377.41/377.59 c 378s| 1340k|386887 | 6749k| 5.0 | 256M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 54k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
379.81/379.95 c 380s| 1350k|388625 | 6793k| 5.0 | 257M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 54k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
382.11/382.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.11/382.26 c 382s| 1360k|390285 | 6836k| 5.0 | 259M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 55k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
384.41/384.60 c 385s| 1370k|391742 | 6879k| 5.0 | 260M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 55k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
386.81/386.95 c 387s| 1380k|393633 | 6924k| 5.0 | 262M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 56k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
389.31/389.45 c 389s| 1390k|396694 | 6970k| 5.0 | 264M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 56k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
392.01/392.14 c 392s| 1400k|400238 | 7020k| 5.0 | 266M| 63 | - | 198 | 10 | 198 | 18 | 19 | 56k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
394.50/394.61 c 395s| 1410k|403094 | 7066k| 5.0 | 268M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 57k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
396.91/397.00 c 397s| 1420k|405380 | 7110k| 5.0 | 270M| 63 | - | 198 | 10 | 198 | 18 | 19 | 57k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
399.21/399.38 c 399s| 1430k|407567 | 7154k| 5.0 | 272M| 63 | - | 198 | 9 | 198 | 18 | 19 | 57k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
401.71/401.81 c 402s| 1440k|410058 | 7200k| 5.0 | 274M| 63 | - | 198 | 9 | 198 | 18 | 19 | 58k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
404.01/404.18 c 404s| 1450k|411947 | 7245k| 5.0 | 276M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 58k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
406.41/406.50 c 406s| 1460k|413543 | 7288k| 5.0 | 278M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 58k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
408.81/408.91 c 409s| 1470k|415656 | 7332k| 5.0 | 279M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 59k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
411.11/411.25 c 411s| 1480k|417648 | 7374k| 5.0 | 281M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 59k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
413.40/413.60 c 414s| 1490k|419323 | 7418k| 5.0 | 283M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 59k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
415.81/415.99 c 416s| 1500k|421471 | 7462k| 5.0 | 284M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 60k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
418.21/418.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.21/418.32 c 418s| 1510k|423569 | 7503k| 5.0 | 286M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 60k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
420.50/420.68 c 421s| 1520k|425823 | 7545k| 5.0 | 288M| 63 | - | 198 | 12 | 198 | 18 | 19 | 60k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
422.90/423.01 c 423s| 1530k|427917 | 7587k| 5.0 | 290M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 61k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
425.21/425.34 c 425s| 1540k|429739 | 7630k| 5.0 | 291M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 61k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
427.50/427.67 c 428s| 1550k|431720 | 7673k| 5.0 | 293M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 61k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
429.90/430.00 c 430s| 1560k|433487 | 7717k| 4.9 | 295M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 62k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
432.21/432.33 c 432s| 1570k|435074 | 7759k| 4.9 | 296M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 62k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
434.50/434.68 c 435s| 1580k|436556 | 7802k| 4.9 | 297M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 62k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
436.90/437.05 c 437s| 1590k|438694 | 7847k| 4.9 | 299M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 63k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
439.50/439.62 c 440s| 1600k|441694 | 7895k| 4.9 | 301M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 63k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
442.00/442.12 c 442s| 1610k|444634 | 7941k| 4.9 | 303M| 63 | - | 198 | 9 | 0 | 0 | 19 | 63k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
444.41/444.54 c 445s| 1620k|447095 | 7985k| 4.9 | 305M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 64k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
446.90/447.02 c 447s| 1630k|449712 | 8031k| 4.9 | 307M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 64k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
449.40/449.55 c 450s| 1640k|452543 | 8077k| 4.9 | 309M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 65k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
452.00/452.17 c 452s| 1650k|455669 | 8126k| 4.9 | 312M| 63 | - | 198 | 10 | 198 | 18 | 19 | 65k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
454.49/454.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.49/454.66 c 455s| 1660k|458652 | 8172k| 4.9 | 314M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 65k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
456.99/457.17 c 457s| 1670k|461798 | 8218k| 4.9 | 316M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 66k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
459.50/459.63 c 460s| 1680k|464319 | 8263k| 4.9 | 318M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 66k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
461.90/462.10 c 462s| 1690k|466706 | 8310k| 4.9 | 320M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 67k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
464.40/464.52 c 465s| 1700k|468871 | 8355k| 4.9 | 321M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 67k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
466.80/466.90 c 467s| 1710k|470947 | 8400k| 4.9 | 323M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 67k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
469.19/469.35 c 469s| 1720k|473448 | 8445k| 4.9 | 325M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 68k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
471.60/471.76 c 472s| 1730k|475573 | 8490k| 4.9 | 327M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 68k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
474.10/474.24 c 474s| 1740k|478512 | 8536k| 4.9 | 329M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 68k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
476.60/476.76 c 477s| 1750k|481059 | 8583k| 4.9 | 331M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 69k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
479.09/479.20 c 479s| 1760k|483525 | 8629k| 4.9 | 333M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 69k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
481.50/481.65 c 482s| 1770k|485931 | 8674k| 4.9 | 335M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 69k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
483.90/484.04 c 484s| 1780k|488527 | 8719k| 4.9 | 337M| 63 | - | 198 | 11 | 198 | 18 | 19 | 70k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
486.29/486.49 c 486s| 1790k|490833 | 8764k| 4.9 | 339M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 70k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
488.90/489.02 c 489s| 1800k|493846 | 8812k| 4.9 | 341M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 70k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
491.30/491.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.30/491.46 c 491s| 1810k|496448 | 8858k| 4.9 | 343M| 63 | - | 198 | 11 | 198 | 18 | 19 | 71k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
493.69/493.86 c 494s| 1820k|498709 | 8903k| 4.9 | 345M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 71k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
496.09/496.28 c 496s| 1830k|500792 | 8948k| 4.9 | 347M| 63 | - | 198 | 10 | 198 | 18 | 19 | 71k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
498.49/498.67 c 499s| 1840k|503088 | 8993k| 4.9 | 349M| 63 | - | 198 | 11 | 198 | 18 | 19 | 72k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
500.99/501.14 c 501s| 1850k|505341 | 9039k| 4.9 | 351M| 63 | - | 198 | 11 | 198 | 18 | 19 | 72k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
503.39/503.58 c 504s| 1860k|507783 | 9085k| 4.9 | 353M| 63 | - | 198 | 11 | 198 | 18 | 19 | 72k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
505.79/505.95 c 506s| 1870k|509812 | 9131k| 4.9 | 354M| 63 | - | 198 | 11 | 198 | 18 | 19 | 73k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
508.10/508.28 c 508s| 1880k|511491 | 9175k| 4.9 | 356M| 63 | - | 198 | 9 | 198 | 18 | 19 | 73k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
510.59/510.71 c 511s| 1890k|513930 | 9220k| 4.9 | 358M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 73k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
512.89/513.06 c 513s| 1900k|515833 | 9265k| 4.9 | 359M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 74k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
515.29/515.40 c 515s| 1910k|517399 | 9308k| 4.9 | 361M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 74k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
517.59/517.78 c 518s| 1920k|519126 | 9353k| 4.9 | 362M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 74k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
519.99/520.11 c 520s| 1930k|520848 | 9397k| 4.9 | 364M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 75k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
522.29/522.50 c 522s| 1940k|522706 | 9441k| 4.9 | 365M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 75k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
524.69/524.85 c 525s| 1950k|524558 | 9484k| 4.9 | 367M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 75k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
526.99/527.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
526.99/527.17 c 527s| 1960k|526155 | 9527k| 4.9 | 369M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 76k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
529.29/529.48 c 529s| 1970k|527825 | 9570k| 4.9 | 370M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 76k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
531.69/531.80 c 532s| 1980k|529217 | 9613k| 4.9 | 371M| 63 | - | 198 | 9 | 198 | 18 | 19 | 76k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
533.98/534.14 c 534s| 1990k|530889 | 9658k| 4.9 | 373M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 77k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
536.28/536.49 c 536s| 2000k|532176 | 9702k| 4.9 | 375M| 63 | - | 198 | 9 | 198 | 18 | 19 | 77k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
538.68/538.85 c 539s| 2010k|533765 | 9746k| 4.8 | 376M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 77k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
540.98/541.17 c 541s| 2020k|535418 | 9789k| 4.8 | 378M| 63 | - | 198 | 10 | 198 | 18 | 19 | 78k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
543.39/543.52 c 544s| 2030k|537026 | 9833k| 4.8 | 379M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 78k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
545.68/545.87 c 546s| 2040k|538495 | 9876k| 4.8 | 381M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 79k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
548.08/548.26 c 548s| 2050k|540094 | 9920k| 4.8 | 382M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 79k| 24k| 0.000000e+00 | 1.700000e+01 | Inf
550.37/550.56 c 551s| 2060k|541628 | 9962k| 4.8 | 384M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 79k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
552.78/552.90 c 553s| 2070k|543363 | 10006k| 4.8 | 385M| 63 | - | 198 | 9 | 198 | 18 | 19 | 80k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
555.08/555.24 c 555s| 2080k|545234 | 10048k| 4.8 | 387M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 80k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
557.48/557.63 c 558s| 2090k|547337 | 10092k| 4.8 | 389M| 63 | - | 198 | 9 | 0 | 0 | 19 | 80k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
559.78/559.99 c 560s| 2100k|548920 | 10135k| 4.8 | 390M| 63 | - | 198 | 9 | 198 | 18 | 19 | 81k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
562.08/562.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
562.08/562.29 c 562s| 2110k|550144 | 10178k| 4.8 | 391M| 63 | - | 198 | 9 | 198 | 18 | 19 | 81k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
564.58/564.71 c 565s| 2120k|552537 | 10223k| 4.8 | 393M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 82k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
566.87/567.03 c 567s| 2130k|553979 | 10266k| 4.8 | 395M| 63 | - | 198 | 9 | 198 | 18 | 19 | 82k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
569.18/569.37 c 569s| 2140k|555312 | 10309k| 4.8 | 396M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 82k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
571.58/571.72 c 572s| 2150k|556859 | 10353k| 4.8 | 397M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 83k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
573.88/574.07 c 574s| 2160k|559033 | 10395k| 4.8 | 399M| 63 | - | 198 | 10 | 198 | 18 | 19 | 83k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
576.18/576.39 c 576s| 2170k|560193 | 10438k| 4.8 | 400M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 83k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
578.57/578.75 c 579s| 2180k|561611 | 10482k| 4.8 | 402M| 63 | - | 198 | 10 | 198 | 18 | 19 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
580.87/581.07 c 581s| 2190k|562726 | 10526k| 4.8 | 403M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
583.27/583.46 c 583s| 2200k|564274 | 10571k| 4.8 | 405M| 63 | - | 198 | 10 | 198 | 18 | 19 | 85k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
585.67/585.84 c 586s| 2210k|565641 | 10614k| 4.8 | 406M| 63 | - | 198 | 10 | 198 | 18 | 19 | 85k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
587.97/588.16 c 588s| 2220k|567150 | 10657k| 4.8 | 407M| 63 | - | 198 | 10 | 198 | 18 | 19 | 85k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
590.27/590.45 c 590s| 2230k|568302 | 10700k| 4.8 | 409M| 63 | - | 198 | 9 | 198 | 18 | 19 | 86k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
592.57/592.78 c 593s| 2240k|569453 | 10743k| 4.8 | 410M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 86k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
594.97/595.17 c 595s| 2250k|571104 | 10788k| 4.8 | 412M| 63 | - | 198 | 9 | 198 | 18 | 19 | 86k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
597.37/597.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.37/597.53 c 598s| 2260k|572852 | 10832k| 4.8 | 413M| 63 | - | 198 | 9 | 198 | 18 | 19 | 87k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
599.67/599.86 c 600s| 2270k|573925 | 10875k| 4.8 | 414M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 87k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
602.06/602.26 c 602s| 2280k|576110 | 10917k| 4.8 | 416M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 88k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
604.46/604.62 c 605s| 2290k|578359 | 10960k| 4.8 | 418M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 88k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
606.77/606.97 c 607s| 2300k|579949 | 11003k| 4.8 | 419M| 63 | - | 198 | 11 | 198 | 18 | 19 | 88k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
609.17/609.34 c 609s| 2310k|581677 | 11048k| 4.8 | 421M| 63 | - | 198 | 9 | 198 | 18 | 19 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
611.47/611.68 c 612s| 2320k|583153 | 11092k| 4.8 | 422M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
613.86/614.02 c 614s| 2330k|584448 | 11135k| 4.8 | 424M| 63 | - | 198 | 9 | 198 | 18 | 19 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
616.16/616.36 c 616s| 2340k|585564 | 11178k| 4.8 | 425M| 63 | - | 198 | 9 | 198 | 18 | 19 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
618.47/618.68 c 619s| 2350k|587117 | 11220k| 4.8 | 426M| 63 | - | 198 | 9 | 198 | 18 | 19 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
620.76/620.97 c 621s| 2360k|588510 | 11262k| 4.8 | 428M| 63 | - | 198 | 11 | 198 | 18 | 19 | 91k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
623.16/623.33 c 623s| 2370k|589859 | 11306k| 4.8 | 429M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 91k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
625.47/625.64 c 626s| 2380k|591075 | 11348k| 4.8 | 431M| 63 | - | 198 | 10 | 198 | 18 | 19 | 91k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
627.86/628.08 c 628s| 2390k|593239 | 11393k| 4.8 | 432M| 63 | - | 198 | 10 | 198 | 18 | 19 | 92k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
630.26/630.47 c 630s| 2400k|594943 | 11438k| 4.8 | 434M| 63 | - | 198 | 9 | 0 | 0 | 19 | 92k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
632.66/632.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.66/632.89 c 633s| 2410k|597272 | 11483k| 4.8 | 436M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 92k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
635.06/635.27 c 635s| 2420k|599188 | 11528k| 4.8 | 438M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 93k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
637.46/637.62 c 638s| 2430k|601321 | 11572k| 4.8 | 439M| 63 | - | 198 | 9 | 198 | 18 | 19 | 93k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
639.86/640.01 c 640s| 2440k|603379 | 11618k| 4.8 | 441M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 94k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
642.16/642.34 c 642s| 2450k|604981 | 11661k| 4.8 | 443M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 94k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
644.47/644.68 c 645s| 2460k|606324 | 11704k| 4.8 | 444M| 63 | - | 198 | 9 | 0 | 0 | 19 | 94k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
646.85/647.01 c 647s| 2470k|607620 | 11748k| 4.8 | 445M| 63 | - | 198 | 9 | 0 | 0 | 19 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
649.15/649.36 c 649s| 2480k|608902 | 11792k| 4.8 | 447M| 63 | - | 198 | 9 | 198 | 18 | 19 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
651.55/651.70 c 652s| 2490k|610079 | 11836k| 4.8 | 448M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
653.85/654.04 c 654s| 2500k|611193 | 11879k| 4.8 | 449M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 96k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
656.25/656.42 c 656s| 2510k|612776 | 11924k| 4.8 | 451M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 96k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
658.56/658.74 c 659s| 2520k|614057 | 11968k| 4.7 | 452M| 63 | - | 198 | 9 | 198 | 18 | 19 | 97k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
660.85/661.06 c 661s| 2530k|615319 | 12011k| 4.7 | 453M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 97k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
663.16/663.40 c 663s| 2540k|616584 | 12054k| 4.7 | 455M| 63 | - | 198 | 10 | 198 | 18 | 19 | 97k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
665.56/665.76 c 666s| 2550k|617691 | 12098k| 4.7 | 456M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 98k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
667.95/668.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.95/668.12 c 668s| 2560k|619165 | 12142k| 4.7 | 458M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 98k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
670.25/670.45 c 670s| 2570k|620661 | 12185k| 4.7 | 459M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 98k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
672.55/672.77 c 673s| 2580k|622082 | 12228k| 4.7 | 460M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 99k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
674.86/675.08 c 675s| 2590k|623248 | 12270k| 4.7 | 461M| 63 | - | 198 | 9 | 198 | 18 | 19 | 99k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
677.26/677.42 c 677s| 2600k|624580 | 12312k| 4.7 | 463M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 99k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
679.55/679.76 c 680s| 2610k|625475 | 12355k| 4.7 | 464M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 100k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
681.95/682.11 c 682s| 2620k|626518 | 12398k| 4.7 | 465M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 100k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
684.25/684.44 c 684s| 2630k|627757 | 12441k| 4.7 | 467M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
686.55/686.77 c 687s| 2640k|628907 | 12484k| 4.7 | 468M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
688.85/689.09 c 689s| 2650k|629883 | 12527k| 4.7 | 469M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
691.24/691.41 c 691s| 2660k|630873 | 12570k| 4.7 | 470M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 102k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
693.54/693.72 c 694s| 2670k|632050 | 12612k| 4.7 | 471M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 102k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
695.85/696.06 c 696s| 2680k|633373 | 12655k| 4.7 | 473M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 103k| 29k| 0.000000e+00 | 1.700000e+01 | Inf
698.14/698.38 c 698s| 2690k|635096 | 12698k| 4.7 | 474M| 63 | - | 198 | 11 | 198 | 18 | 19 | 103k| 29k| 0.000000e+00 | 1.700000e+01 | Inf
700.35/700.58 o 16
700.35/700.58 c * 701s| 2699k|628902 | 12739k| 4.7 | 466M| 63 | - | 198 | 9 | 198 | 18 | 19 | 103k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
701.45/701.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.45/701.69 c 702s| 2700k|628957 | 12743k| 4.7 | 466M| 63 | - | 198 | 11 | 198 | 18 | 19 | 103k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
703.85/704.01 c 704s| 2710k|630108 | 12788k| 4.7 | 467M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 104k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
706.05/706.29 c 706s| 2720k|631154 | 12834k| 4.7 | 468M| 63 | - | 198 | 9 | 198 | 18 | 19 | 104k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
708.34/708.58 c 709s| 2730k|632411 | 12880k| 4.7 | 469M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 104k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
710.64/710.87 c 711s| 2740k|633629 | 12927k| 4.7 | 470M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 105k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
712.94/713.16 c 713s| 2750k|634557 | 12972k| 4.7 | 471M| 63 | - | 198 | 9 | 0 | 0 | 19 | 105k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
715.24/715.45 c 715s| 2760k|635585 | 13018k| 4.7 | 472M| 63 | - | 198 | 9 | 198 | 18 | 19 | 105k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
717.54/717.75 c 718s| 2770k|636531 | 13064k| 4.7 | 473M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 106k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
719.84/720.06 c 720s| 2780k|637594 | 13111k| 4.7 | 474M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 106k| 29k| 0.000000e+00 | 1.600000e+01 | Inf
722.14/722.36 c 722s| 2790k|638720 | 13157k| 4.7 | 475M| 63 | - | 198 | 9 | 198 | 18 | 19 | 106k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
724.44/724.68 c 725s| 2800k|640003 | 13204k| 4.7 | 476M| 63 | - | 198 | 10 | 0 | 0 | 19 | 107k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
726.84/727.00 c 727s| 2810k|641019 | 13252k| 4.7 | 477M| 63 | - | 198 | 9 | 198 | 18 | 19 | 107k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
729.04/729.29 c 729s| 2820k|641981 | 13298k| 4.7 | 478M| 63 | - | 198 | 9 | 198 | 18 | 19 | 108k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
731.34/731.57 c 732s| 2830k|643110 | 13344k| 4.7 | 479M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 108k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
733.54/733.79 c 734s| 2840k|644187 | 13389k| 4.7 | 480M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 109k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
735.93/736.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.93/736.12 c 736s| 2850k|645559 | 13436k| 4.7 | 481M| 63 | - | 198 | 9 | 198 | 18 | 19 | 109k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
738.24/738.48 c 738s| 2860k|647135 | 13486k| 4.7 | 482M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 109k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
740.54/740.78 c 741s| 2870k|649017 | 13532k| 4.7 | 484M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 110k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
742.94/743.10 c 743s| 2880k|650491 | 13579k| 4.7 | 485M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 111k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
745.13/745.37 c 745s| 2890k|651596 | 13625k| 4.7 | 486M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 111k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
747.44/747.64 c 748s| 2900k|652515 | 13672k| 4.7 | 487M| 63 | - | 198 | 10 | 198 | 18 | 19 | 112k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
749.74/749.92 c 750s| 2910k|653398 | 13718k| 4.7 | 488M| 63 | - | 198 | 9 | 198 | 18 | 19 | 112k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
751.94/752.19 c 752s| 2920k|654464 | 13763k| 4.7 | 489M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 113k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
754.24/754.46 c 754s| 2930k|655641 | 13810k| 4.7 | 490M| 63 | - | 198 | 11 | 198 | 18 | 19 | 113k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
756.54/756.76 c 757s| 2940k|656533 | 13856k| 4.7 | 491M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 113k| 30k| 0.000000e+00 | 1.600000e+01 | Inf
758.84/759.04 c 759s| 2950k|657462 | 13903k| 4.7 | 492M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 114k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
761.13/761.35 c 761s| 2960k|658499 | 13950k| 4.7 | 493M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 114k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
763.43/763.65 c 764s| 2970k|659603 | 13996k| 4.7 | 494M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 115k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
765.74/765.93 c 766s| 2980k|660306 | 14042k| 4.7 | 495M| 63 | - | 198 | 9 | 198 | 18 | 19 | 115k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
768.03/768.23 c 768s| 2990k|661269 | 14089k| 4.7 | 496M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 115k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
770.43/770.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.43/770.60 c 771s| 3000k|663301 | 14137k| 4.7 | 497M| 63 | - | 198 | 11 | 198 | 18 | 19 | 116k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
772.73/772.92 c 773s| 3010k|665349 | 14184k| 4.7 | 499M| 63 | - | 198 | 11 | 198 | 18 | 19 | 116k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
775.03/775.20 c 775s| 3020k|666928 | 14232k| 4.7 | 500M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 117k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
777.23/777.48 c 777s| 3030k|668220 | 14278k| 4.7 | 501M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 117k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
779.53/779.78 c 780s| 3040k|669205 | 14326k| 4.7 | 502M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 118k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
781.83/782.08 c 782s| 3050k|670290 | 14373k| 4.7 | 503M| 63 | - | 198 | 12 | 0 | 0 | 19 | 118k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
784.14/784.37 c 784s| 3060k|671227 | 14419k| 4.7 | 504M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 118k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
786.43/786.65 c 787s| 3070k|672262 | 14466k| 4.7 | 505M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 119k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
788.73/788.95 c 789s| 3080k|673030 | 14512k| 4.7 | 506M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 119k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
791.03/791.23 c 791s| 3090k|674232 | 14559k| 4.7 | 507M| 63 | - | 198 | 11 | 198 | 18 | 19 | 120k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
793.32/793.51 c 794s| 3100k|675387 | 14605k| 4.7 | 508M| 63 | - | 198 | 10 | 0 | 0 | 19 | 120k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
795.53/795.78 c 796s| 3110k|676171 | 14652k| 4.7 | 509M| 63 | - | 198 | 10 | 198 | 18 | 19 | 120k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
797.83/798.07 c 798s| 3120k|676914 | 14699k| 4.7 | 510M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 121k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
800.12/800.32 c 800s| 3130k|677786 | 14745k| 4.7 | 510M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 121k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
802.43/802.62 c 803s| 3140k|678646 | 14792k| 4.7 | 511M| 63 | - | 198 | 10 | 198 | 18 | 19 | 122k| 31k| 0.000000e+00 | 1.600000e+01 | Inf
804.62/804.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
804.62/804.89 c 805s| 3150k|679327 | 14839k| 4.7 | 512M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 122k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
806.92/807.16 c 807s| 3160k|680251 | 14885k| 4.7 | 513M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 122k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
809.22/809.42 c 809s| 3170k|680978 | 14931k| 4.7 | 514M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 123k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
811.53/811.74 c 812s| 3180k|682259 | 14979k| 4.7 | 515M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 123k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
813.83/814.03 c 814s| 3190k|683236 | 15026k| 4.7 | 516M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 124k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
816.14/816.35 c 816s| 3200k|684615 | 15073k| 4.7 | 517M| 63 | - | 198 | 11 | 198 | 18 | 19 | 124k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
818.43/818.67 c 819s| 3210k|685708 | 15120k| 4.7 | 518M| 63 | - | 198 | 11 | 198 | 18 | 19 | 124k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
820.72/820.99 c 821s| 3220k|686496 | 15166k| 4.7 | 519M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 125k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
823.02/823.27 c 823s| 3230k|687615 | 15211k| 4.7 | 520M| 63 | - | 198 | 11 | 198 | 18 | 19 | 125k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
825.33/825.53 c 826s| 3240k|688428 | 15256k| 4.7 | 521M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 126k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
827.62/827.82 c 828s| 3250k|689522 | 15302k| 4.7 | 522M| 63 | - | 198 | 9 | 198 | 18 | 19 | 126k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
829.83/830.08 c 830s| 3260k|690206 | 15349k| 4.7 | 523M| 63 | - | 198 | 9 | 198 | 18 | 19 | 126k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
832.12/832.37 c 832s| 3270k|690909 | 15395k| 4.7 | 524M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 127k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
834.42/834.68 c 835s| 3280k|692314 | 15442k| 4.7 | 525M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 127k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
836.72/836.94 c 837s| 3290k|693211 | 15488k| 4.7 | 526M| 63 | - | 198 | 11 | 0 | 0 | 19 | 128k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
839.02/839.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
839.02/839.22 c 839s| 3300k|694098 | 15534k| 4.7 | 526M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 128k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
841.33/841.50 c 841s| 3310k|695328 | 15580k| 4.7 | 528M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 128k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
843.53/843.78 c 844s| 3320k|696350 | 15626k| 4.7 | 529M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 129k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
845.82/846.09 c 846s| 3330k|697226 | 15673k| 4.7 | 530M| 63 | - | 198 | 12 | 198 | 18 | 19 | 129k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
848.22/848.41 c 848s| 3340k|698416 | 15720k| 4.7 | 531M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 129k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
850.52/850.71 c 851s| 3350k|699708 | 15766k| 4.7 | 532M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 129k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
852.82/853.00 c 853s| 3360k|700750 | 15812k| 4.7 | 533M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 130k| 32k| 0.000000e+00 | 1.600000e+01 | Inf
855.02/855.29 c 855s| 3370k|701931 | 15858k| 4.7 | 534M| 63 | - | 198 | 10 | 198 | 18 | 19 | 130k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
857.32/857.59 c 858s| 3380k|702689 | 15904k| 4.7 | 535M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 131k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
859.72/859.92 c 860s| 3390k|704147 | 15951k| 4.7 | 536M| 63 | - | 198 | 10 | 0 | 0 | 19 | 131k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
862.12/862.30 c 862s| 3400k|705479 | 15999k| 4.7 | 537M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 131k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
864.53/864.73 c 865s| 3410k|707673 | 16049k| 4.7 | 539M| 63 | - | 198 | 9 | 198 | 18 | 19 | 132k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
867.02/867.22 c 867s| 3420k|710366 | 16099k| 4.7 | 541M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 132k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
869.62/869.86 c 870s| 3430k|714060 | 16151k| 4.7 | 543M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 132k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
872.22/872.41 c 872s| 3440k|717211 | 16203k| 4.7 | 545M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 133k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
874.62/874.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.62/874.88 c 875s| 3450k|720300 | 16253k| 4.7 | 547M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 133k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
877.11/877.38 c 877s| 3460k|723037 | 16303k| 4.7 | 548M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 133k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
879.72/879.93 c 880s| 3470k|726241 | 16353k| 4.7 | 550M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 134k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
882.13/882.35 c 882s| 3480k|728649 | 16403k| 4.7 | 552M| 63 | 8 | 198 | 14 | 198 | 18 | 19 | 134k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
884.51/884.76 c 885s| 3490k|731129 | 16450k| 4.7 | 554M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 135k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
887.01/887.21 c 887s| 3500k|733642 | 16501k| 4.7 | 555M| 63 | - | 198 | 13 | 198 | 18 | 19 | 135k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
889.42/889.61 c 890s| 3510k|736084 | 16549k| 4.7 | 557M| 63 | 8 | 198 | 14 | 198 | 18 | 19 | 135k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
893.02/893.26 c 893s| 3520k|739683 | 16603k| 4.7 | 559M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 136k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
895.61/895.81 c 896s| 3530k|742580 | 16654k| 4.7 | 561M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 136k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
898.01/898.27 c 898s| 3540k|744915 | 16705k| 4.7 | 563M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 136k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
900.61/900.90 c 901s| 3550k|748067 | 16757k| 4.7 | 565M| 63 | - | 198 | 14 | 198 | 18 | 19 | 137k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
903.32/903.51 c 904s| 3560k|751235 | 16809k| 4.7 | 567M| 63 | - | 198 | 12 | 198 | 18 | 19 | 137k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
905.91/906.16 c 906s| 3570k|754846 | 16861k| 4.7 | 569M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 138k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
908.52/908.74 c 909s| 3580k|758033 | 16912k| 4.7 | 571M| 63 | - | 198 | 11 | 198 | 18 | 19 | 138k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
911.01/911.26 c 911s| 3590k|761129 | 16961k| 4.7 | 573M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 138k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
913.51/913.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.51/913.77 c 914s| 3600k|764290 | 17011k| 4.7 | 574M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 139k| 33k| 0.000000e+00 | 1.600000e+01 | Inf
916.12/916.39 c 916s| 3610k|767484 | 17063k| 4.7 | 576M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 139k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
918.71/918.97 c 919s| 3620k|770301 | 17115k| 4.7 | 578M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 140k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
921.21/921.41 c 921s| 3630k|772709 | 17165k| 4.7 | 580M| 63 | - | 198 | 14 | 198 | 18 | 19 | 140k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
923.71/923.93 c 924s| 3640k|775723 | 17216k| 4.7 | 582M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 140k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
926.11/926.38 c 926s| 3650k|778048 | 17266k| 4.7 | 583M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 141k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
928.60/928.80 c 929s| 3660k|780494 | 17315k| 4.7 | 585M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 141k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
930.91/931.19 c 931s| 3670k|782463 | 17363k| 4.7 | 587M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 141k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
933.41/933.60 c 934s| 3680k|784734 | 17412k| 4.7 | 588M| 63 | - | 198 | 12 | 0 | 0 | 19 | 142k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
935.81/936.04 c 936s| 3690k|787226 | 17462k| 4.7 | 590M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 142k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
938.21/938.49 c 938s| 3700k|789465 | 17512k| 4.7 | 591M| 63 | 8 | 198 | 14 | 198 | 18 | 19 | 143k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
940.71/940.94 c 941s| 3710k|791692 | 17562k| 4.7 | 593M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 143k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
943.21/943.40 c 943s| 3720k|794072 | 17612k| 4.7 | 595M| 63 | - | 198 | 16 | 198 | 18 | 19 | 143k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
945.60/945.84 c 946s| 3730k|796298 | 17662k| 4.7 | 596M| 63 | - | 198 | 10 | 198 | 18 | 19 | 144k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
948.11/948.33 c 948s| 3740k|799408 | 17712k| 4.7 | 598M| 63 | - | 198 | 13 | 198 | 18 | 19 | 144k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
950.51/950.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.51/950.79 c 951s| 3750k|802203 | 17760k| 4.7 | 600M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 144k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
953.00/953.22 c 953s| 3760k|804768 | 17808k| 4.7 | 602M| 63 | - | 198 | 9 | 198 | 18 | 19 | 145k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
955.30/955.59 c 956s| 3770k|806840 | 17856k| 4.7 | 603M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 145k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
957.81/958.02 c 958s| 3780k|809265 | 17904k| 4.7 | 605M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 145k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
960.30/960.57 c 961s| 3790k|812562 | 17954k| 4.7 | 607M| 63 | - | 198 | 11 | 198 | 18 | 19 | 146k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
962.70/962.94 c 963s| 3800k|815009 | 18001k| 4.7 | 608M| 63 | - | 198 | 12 | 198 | 18 | 19 | 146k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
965.20/965.43 c 965s| 3810k|817817 | 18049k| 4.7 | 610M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 147k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
967.60/967.80 c 968s| 3820k|820204 | 18097k| 4.7 | 612M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 147k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
969.90/970.20 c 970s| 3830k|822280 | 18145k| 4.7 | 613M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 147k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
972.40/972.60 c 973s| 3840k|824408 | 18193k| 4.7 | 615M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 148k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
974.90/975.19 c 975s| 3850k|827992 | 18242k| 4.7 | 617M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 148k| 34k| 0.000000e+00 | 1.600000e+01 | Inf
977.50/977.71 c 978s| 3860k|830852 | 18292k| 4.7 | 619M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 148k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
979.91/980.17 c 980s| 3870k|833488 | 18340k| 4.7 | 621M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 149k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
982.60/982.87 c 983s| 3880k|836979 | 18394k| 4.7 | 623M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 149k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
985.10/985.38 c 985s| 3890k|840272 | 18444k| 4.7 | 625M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 150k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
987.80/988.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.80/988.01 c 988s| 3900k|843909 | 18496k| 4.7 | 627M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 150k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
990.40/990.68 c 991s| 3910k|847553 | 18549k| 4.7 | 629M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 150k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
992.90/993.19 c 993s| 3920k|850709 | 18599k| 4.7 | 631M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 151k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
995.40/995.69 c 996s| 3930k|853835 | 18649k| 4.7 | 633M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 151k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
997.90/998.12 c 998s| 3940k|856502 | 18698k| 4.7 | 634M| 63 | - | 198 | 13 | 198 | 18 | 19 | 151k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1000.40/1000.63 c 1001s| 3950k|859320 | 18748k| 4.7 | 636M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 152k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1002.89/1003.15 c 1003s| 3960k|862160 | 18798k| 4.7 | 638M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 152k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1005.50/1005.79 c 1006s| 3970k|865277 | 18850k| 4.7 | 640M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 152k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1008.20/1008.45 c 1008s| 3980k|869391 | 18901k| 4.7 | 642M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 153k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1010.80/1011.06 c 1011s| 3990k|873071 | 18952k| 4.7 | 644M| 63 | - | 198 | 10 | 198 | 18 | 19 | 153k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1013.30/1013.54 c 1014s| 4000k|876445 | 19000k| 4.8 | 646M| 63 | - | 198 | 10 | 198 | 18 | 19 | 153k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1015.79/1016.00 c 1016s| 4010k|879621 | 19048k| 4.8 | 648M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 154k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1018.19/1018.44 c 1018s| 4020k|882202 | 19096k| 4.8 | 650M| 63 | - | 198 | 12 | 198 | 18 | 19 | 154k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1020.60/1020.86 c 1021s| 4030k|885024 | 19144k| 4.8 | 652M| 63 | - | 198 | 10 | 198 | 18 | 19 | 155k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1023.00/1023.26 c 1023s| 4040k|887783 | 19191k| 4.8 | 653M| 63 | - | 198 | 11 | 0 | 0 | 19 | 155k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1025.49/1025.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.49/1025.78 c 1026s| 4050k|890762 | 19239k| 4.8 | 655M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 155k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1027.99/1028.20 c 1028s| 4060k|893284 | 19287k| 4.8 | 657M| 63 | - | 198 | 10 | 198 | 18 | 19 | 156k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1030.39/1030.62 c 1031s| 4070k|895980 | 19334k| 4.8 | 659M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 156k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1032.80/1033.08 c 1033s| 4080k|898786 | 19382k| 4.8 | 660M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 156k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1035.29/1035.55 c 1036s| 4090k|901602 | 19430k| 4.8 | 662M| 63 | - | 198 | 10 | 198 | 18 | 19 | 157k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1037.69/1037.99 c 1038s| 4100k|904571 | 19478k| 4.8 | 664M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 157k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1040.09/1040.37 c 1040s| 4110k|907069 | 19525k| 4.8 | 666M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 158k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1042.60/1042.85 c 1043s| 4120k|909986 | 19574k| 4.8 | 667M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 158k| 35k| 0.000000e+00 | 1.600000e+01 | Inf
1044.99/1045.27 c 1045s| 4130k|912873 | 19620k| 4.8 | 669M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 158k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1047.49/1047.77 c 1048s| 4140k|916228 | 19668k| 4.8 | 671M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 159k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1049.89/1050.10 c 1050s| 4150k|918428 | 19714k| 4.8 | 673M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 159k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1052.29/1052.51 c 1053s| 4160k|921213 | 19761k| 4.8 | 674M| 63 | - | 198 | 10 | 198 | 18 | 19 | 159k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1054.70/1054.92 c 1055s| 4170k|923781 | 19808k| 4.8 | 676M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 160k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1056.99/1057.29 c 1057s| 4180k|925922 | 19854k| 4.7 | 678M| 63 | - | 198 | 10 | 198 | 18 | 19 | 160k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1059.39/1059.69 c 1060s| 4190k|928306 | 19902k| 4.7 | 679M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 161k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1061.79/1062.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1061.79/1062.04 c 1062s| 4200k|930379 | 19949k| 4.7 | 681M| 63 | - | 198 | 15 | 0 | 0 | 19 | 161k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1064.09/1064.38 c 1064s| 4210k|932270 | 19995k| 4.7 | 682M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 161k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1066.48/1066.75 c 1067s| 4220k|934486 | 20042k| 4.7 | 684M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 162k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1068.89/1069.16 c 1069s| 4230k|936798 | 20089k| 4.7 | 685M| 63 | - | 198 | 12 | 198 | 18 | 19 | 162k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1071.29/1071.53 c 1072s| 4240k|939109 | 20136k| 4.7 | 687M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 162k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1073.68/1073.95 c 1074s| 4250k|941692 | 20183k| 4.7 | 689M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 163k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1076.08/1076.31 c 1076s| 4260k|943974 | 20230k| 4.7 | 690M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 163k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1078.48/1078.76 c 1079s| 4270k|946414 | 20277k| 4.7 | 692M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 164k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1080.98/1081.21 c 1081s| 4280k|949252 | 20325k| 4.7 | 693M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 164k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1083.29/1083.59 c 1084s| 4290k|951717 | 20372k| 4.7 | 695M| 63 | - | 198 | 9 | 198 | 18 | 19 | 164k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1085.78/1086.03 c 1086s| 4300k|954523 | 20419k| 4.7 | 697M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 165k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1088.18/1088.45 c 1088s| 4310k|957097 | 20467k| 4.7 | 699M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 165k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1090.58/1090.84 c 1091s| 4320k|959525 | 20514k| 4.7 | 700M| 63 | - | 198 | 11 | 198 | 18 | 19 | 165k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1093.19/1093.44 c 1093s| 4330k|962476 | 20565k| 4.7 | 702M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 166k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1095.68/1095.96 c 1096s| 4340k|965498 | 20615k| 4.8 | 704M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 166k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1098.28/1098.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.28/1098.52 c 1099s| 4350k|968356 | 20665k| 4.8 | 706M| 63 | - | 198 | 10 | 0 | 0 | 19 | 167k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1100.78/1101.10 c 1101s| 4360k|971998 | 20715k| 4.8 | 708M| 63 | - | 198 | 10 | 198 | 18 | 19 | 167k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1103.29/1103.53 c 1104s| 4370k|974661 | 20764k| 4.8 | 710M| 63 | - | 198 | 10 | 198 | 18 | 19 | 167k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1105.68/1105.90 c 1106s| 4380k|977161 | 20811k| 4.8 | 711M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 168k| 36k| 0.000000e+00 | 1.600000e+01 | Inf
1107.98/1108.28 c 1108s| 4390k|979672 | 20858k| 4.8 | 713M| 63 | - | 198 | 11 | 198 | 18 | 19 | 168k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1110.58/1110.82 c 1111s| 4400k|982539 | 20909k| 4.8 | 715M| 63 | - | 198 | 11 | 198 | 18 | 19 | 168k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1113.08/1113.37 c 1113s| 4410k|985898 | 20960k| 4.8 | 717M| 63 | - | 198 | 12 | 198 | 18 | 19 | 169k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1115.68/1115.99 c 1116s| 4420k|989560 | 21011k| 4.8 | 719M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 169k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1118.18/1118.45 c 1118s| 4430k|992476 | 21059k| 4.8 | 721M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 169k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1120.69/1121.00 c 1121s| 4440k|995621 | 21110k| 4.8 | 722M| 63 | - | 198 | 14 | 198 | 18 | 19 | 169k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1123.18/1123.46 c 1123s| 4450k|998330 | 21159k| 4.8 | 724M| 63 | - | 198 | 12 | 198 | 18 | 19 | 170k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1125.58/1125.88 c 1126s| 4460k| 1001k| 21207k| 4.8 | 726M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 170k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1128.08/1128.33 c 1128s| 4470k| 1003k| 21256k| 4.8 | 728M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 170k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1130.48/1130.79 c 1131s| 4480k| 1006k| 21303k| 4.8 | 729M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 171k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1132.97/1133.21 c 1133s| 4490k| 1009k| 21350k| 4.8 | 731M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 171k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1135.37/1135.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1135.37/1135.64 c 1136s| 4500k| 1012k| 21399k| 4.8 | 733M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 172k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1137.77/1138.03 c 1138s| 4510k| 1014k| 21446k| 4.8 | 734M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 172k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1140.17/1140.45 c 1140s| 4520k| 1017k| 21494k| 4.8 | 736M| 63 | - | 198 | 13 | 198 | 18 | 19 | 172k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1142.57/1142.88 c 1143s| 4530k| 1019k| 21542k| 4.8 | 738M| 63 | 8 | 198 | 16 | 198 | 18 | 19 | 172k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1144.99/1145.24 c 1145s| 4540k| 1022k| 21589k| 4.8 | 739M| 63 | - | 198 | 10 | 198 | 18 | 19 | 173k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1147.38/1147.61 c 1148s| 4550k| 1024k| 21636k| 4.8 | 741M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 173k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1149.77/1150.01 c 1150s| 4560k| 1026k| 21683k| 4.8 | 742M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 174k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1152.17/1152.44 c 1152s| 4570k| 1028k| 21732k| 4.8 | 744M| 63 | - | 198 | 15 | 198 | 18 | 19 | 174k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1154.67/1154.96 c 1155s| 4580k| 1031k| 21782k| 4.8 | 746M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 174k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1157.08/1157.35 c 1157s| 4590k| 1033k| 21829k| 4.8 | 747M| 63 | - | 198 | 11 | 198 | 18 | 19 | 175k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1159.47/1159.75 c 1160s| 4600k| 1035k| 21877k| 4.8 | 749M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 175k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1161.87/1162.12 c 1162s| 4610k| 1037k| 21925k| 4.8 | 750M| 63 | - | 198 | 12 | 0 | 0 | 19 | 175k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1164.27/1164.55 c 1165s| 4620k| 1040k| 21973k| 4.8 | 752M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 176k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1166.77/1167.01 c 1167s| 4630k| 1043k| 22021k| 4.8 | 754M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 176k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1169.17/1169.46 c 1169s| 4640k| 1046k| 22069k| 4.8 | 755M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 176k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1171.57/1171.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.57/1171.85 c 1172s| 4650k| 1048k| 22116k| 4.8 | 757M| 63 | 8 | 198 | 16 | 198 | 18 | 19 | 177k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1173.97/1174.22 c 1174s| 4660k| 1050k| 22162k| 4.8 | 758M| 63 | - | 198 | 10 | 198 | 18 | 19 | 177k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1176.27/1176.57 c 1177s| 4670k| 1052k| 22208k| 4.8 | 760M| 63 | - | 198 | 15 | 198 | 18 | 19 | 178k| 37k| 0.000000e+00 | 1.600000e+01 | Inf
1178.67/1178.94 c 1179s| 4680k| 1055k| 22256k| 4.8 | 762M| 63 | - | 198 | 12 | 198 | 18 | 19 | 178k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1180.97/1181.28 c 1181s| 4690k| 1056k| 22302k| 4.8 | 763M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 178k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1183.37/1183.64 c 1184s| 4700k| 1058k| 22349k| 4.8 | 764M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 178k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1185.77/1186.02 c 1186s| 4710k| 1060k| 22397k| 4.8 | 766M| 63 | 8 | 198 | 16 | 198 | 18 | 19 | 179k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1188.17/1188.41 c 1188s| 4720k| 1063k| 22444k| 4.8 | 767M| 63 | 8 | 198 | 14 | 198 | 18 | 19 | 179k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1190.47/1190.78 c 1191s| 4730k| 1064k| 22491k| 4.8 | 768M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 180k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1192.87/1193.10 c 1193s| 4740k| 1066k| 22537k| 4.8 | 770M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 180k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1195.17/1195.43 c 1195s| 4750k| 1068k| 22583k| 4.8 | 771M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 180k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1197.46/1197.76 c 1198s| 4760k| 1070k| 22629k| 4.8 | 773M| 63 | - | 198 | 12 | 198 | 18 | 19 | 181k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1199.87/1200.10 c 1200s| 4770k| 1072k| 22676k| 4.8 | 774M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 181k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1202.17/1202.42 c 1202s| 4780k| 1074k| 22723k| 4.8 | 775M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 181k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1204.57/1204.81 c 1205s| 4790k| 1077k| 22769k| 4.8 | 777M| 63 | - | 198 | 14 | 198 | 18 | 19 | 182k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1206.96/1207.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.96/1207.29 c 1207s| 4800k| 1080k| 22818k| 4.8 | 779M| 63 | - | 198 | 15 | 198 | 18 | 19 | 182k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1209.37/1209.67 c 1210s| 4810k| 1082k| 22864k| 4.8 | 780M| 63 | - | 198 | 13 | 0 | 0 | 19 | 182k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1211.76/1212.06 c 1212s| 4820k| 1084k| 22912k| 4.8 | 782M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 183k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1214.17/1214.41 c 1214s| 4830k| 1086k| 22958k| 4.8 | 783M| 63 | - | 198 | 12 | 0 | 0 | 19 | 183k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1216.47/1216.74 c 1217s| 4840k| 1088k| 23004k| 4.8 | 785M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 184k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1218.86/1219.15 c 1219s| 4850k| 1091k| 23051k| 4.8 | 786M| 63 | - | 198 | 13 | 198 | 18 | 19 | 184k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1221.26/1221.53 c 1222s| 4860k| 1093k| 23098k| 4.8 | 788M| 63 | - | 198 | 13 | 0 | 0 | 19 | 184k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1223.56/1223.86 c 1224s| 4870k| 1095k| 23144k| 4.8 | 789M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 185k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1225.87/1226.17 c 1226s| 4880k| 1097k| 23189k| 4.8 | 791M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 185k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1228.16/1228.48 c 1228s| 4890k| 1099k| 23235k| 4.8 | 792M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 185k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1230.57/1230.81 c 1231s| 4900k| 1100k| 23280k| 4.8 | 793M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 186k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1232.87/1233.14 c 1233s| 4910k| 1102k| 23326k| 4.8 | 795M| 63 | - | 198 | 10 | 0 | 0 | 19 | 186k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1235.26/1235.53 c 1236s| 4920k| 1104k| 23374k| 4.8 | 796M| 63 | - | 198 | 11 | 0 | 0 | 19 | 186k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1237.56/1237.86 c 1238s| 4930k| 1106k| 23421k| 4.8 | 797M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 187k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1239.96/1240.23 c 1240s| 4940k| 1108k| 23467k| 4.8 | 799M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 187k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1242.26/1242.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1242.26/1242.56 c 1243s| 4950k| 1109k| 23513k| 4.8 | 800M| 63 | - | 198 | 11 | 198 | 18 | 19 | 187k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1244.66/1244.95 c 1245s| 4960k| 1111k| 23561k| 4.8 | 801M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 188k| 38k| 0.000000e+00 | 1.600000e+01 | Inf
1246.96/1247.28 c 1247s| 4970k| 1113k| 23606k| 4.7 | 802M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 188k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1249.37/1249.62 c 1250s| 4980k| 1114k| 23652k| 4.7 | 804M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 188k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1251.67/1251.99 c 1252s| 4990k| 1117k| 23697k| 4.7 | 805M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 189k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1254.06/1254.30 c 1254s| 5000k| 1118k| 23743k| 4.7 | 806M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 189k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1256.36/1256.65 c 1257s| 5010k| 1120k| 23790k| 4.7 | 808M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 189k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1258.76/1259.08 c 1259s| 5020k| 1122k| 23838k| 4.7 | 809M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 190k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1261.16/1261.42 c 1261s| 5030k| 1124k| 23885k| 4.7 | 811M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 190k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1263.46/1263.76 c 1264s| 5040k| 1126k| 23932k| 4.7 | 812M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 190k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1265.76/1266.07 c 1266s| 5050k| 1128k| 23979k| 4.7 | 814M| 63 | - | 198 | 9 | 198 | 18 | 19 | 191k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1268.06/1268.35 c 1268s| 5060k| 1130k| 24024k| 4.7 | 815M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 191k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1270.36/1270.63 c 1271s| 5070k| 1131k| 24070k| 4.7 | 816M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 191k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1272.65/1272.94 c 1273s| 5080k| 1133k| 24116k| 4.7 | 818M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 192k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1274.96/1275.25 c 1275s| 5090k| 1134k| 24162k| 4.7 | 819M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 192k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1277.36/1277.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.36/1277.60 c 1278s| 5100k| 1136k| 24209k| 4.7 | 820M| 63 | - | 198 | 12 | 0 | 0 | 19 | 193k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1279.65/1279.93 c 1280s| 5110k| 1138k| 24256k| 4.7 | 821M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 193k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1281.96/1282.26 c 1282s| 5120k| 1139k| 24303k| 4.7 | 823M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 193k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1284.26/1284.58 c 1285s| 5130k| 1141k| 24349k| 4.7 | 824M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 194k| 39k| 0.000000e+00 | 1.600000e+01 | Inf
1286.05/1286.38 o 14
1286.05/1286.38 c *1286s| 5137k| 1126k| 24385k| 4.7 | 799M| 63 | - | 198 | 11 | 198 | 18 | 19 | 194k| 39k| 0.000000e+00 | 1.400000e+01 | Inf
1286.65/1286.91 c 1287s| 5140k| 1127k| 24395k| 4.7 | 799M| 63 | - | 198 | 11 | 198 | 18 | 19 | 194k| 39k| 0.000000e+00 | 1.400000e+01 | Inf
1288.96/1289.23 c 1289s| 5150k| 1128k| 24439k| 4.7 | 800M| 63 | - | 198 | 11 | 0 | 0 | 19 | 194k| 39k| 0.000000e+00 | 1.400000e+01 | Inf
1291.26/1291.56 c 1292s| 5160k| 1130k| 24483k| 4.7 | 801M| 63 | - | 198 | 12 | 198 | 18 | 19 | 195k| 39k| 0.000000e+00 | 1.400000e+01 | Inf
1293.55/1293.84 c 1294s| 5170k| 1132k| 24526k| 4.7 | 803M| 63 | - | 198 | 9 | 198 | 18 | 19 | 195k| 39k| 0.000000e+00 | 1.400000e+01 | Inf
1295.85/1296.15 c 1296s| 5180k| 1133k| 24570k| 4.7 | 804M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 195k| 39k| 0.000000e+00 | 1.400000e+01 | Inf
1298.15/1298.46 c 1298s| 5190k| 1135k| 24615k| 4.7 | 805M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 196k| 39k| 0.000000e+00 | 1.400000e+01 | Inf
1300.44/1300.75 c 1301s| 5200k| 1136k| 24658k| 4.7 | 806M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 196k| 39k| 0.000000e+00 | 1.400000e+01 | Inf
1302.75/1303.07 c 1303s| 5210k| 1138k| 24701k| 4.7 | 807M| 63 | - | 198 | 9 | 198 | 18 | 19 | 196k| 39k| 0.000000e+00 | 1.400000e+01 | Inf
1305.05/1305.34 c 1305s| 5220k| 1140k| 24745k| 4.7 | 809M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 197k| 39k| 0.000000e+00 | 1.400000e+01 | Inf
1307.35/1307.63 c 1308s| 5230k| 1141k| 24789k| 4.7 | 810M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 197k| 39k| 0.000000e+00 | 1.400000e+01 | Inf
1309.65/1309.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1309.65/1309.90 c 1310s| 5240k| 1143k| 24834k| 4.7 | 811M| 63 | - | 198 | 11 | 198 | 18 | 19 | 197k| 39k| 0.000000e+00 | 1.400000e+01 | Inf
1312.84/1313.16 c 1313s| 5250k| 1145k| 24879k| 4.7 | 812M| 63 | - | 198 | 10 | 198 | 18 | 19 | 198k| 39k| 0.000000e+00 | 1.400000e+01 | Inf
1315.25/1315.59 c 1316s| 5260k| 1147k| 24927k| 4.7 | 814M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 198k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1317.65/1317.95 c 1318s| 5270k| 1149k| 24974k| 4.7 | 815M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 198k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1319.95/1320.29 c 1320s| 5280k| 1151k| 25021k| 4.7 | 817M| 63 | - | 198 | 11 | 198 | 18 | 19 | 199k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1322.34/1322.62 c 1323s| 5290k| 1152k| 25067k| 4.7 | 818M| 63 | - | 198 | 10 | 198 | 18 | 19 | 199k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1324.75/1325.02 c 1325s| 5300k| 1154k| 25115k| 4.7 | 819M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 199k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1327.05/1327.33 c 1327s| 5310k| 1156k| 25161k| 4.7 | 821M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 200k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1329.34/1329.67 c 1330s| 5320k| 1157k| 25207k| 4.7 | 822M| 63 | - | 198 | 10 | 0 | 0 | 19 | 200k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1331.64/1331.97 c 1332s| 5330k| 1158k| 25254k| 4.7 | 823M| 63 | - | 198 | 12 | 198 | 18 | 19 | 200k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1333.94/1334.30 c 1334s| 5340k| 1160k| 25300k| 4.7 | 824M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 201k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1336.35/1336.62 c 1337s| 5350k| 1162k| 25345k| 4.7 | 825M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 201k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1339.65/1339.93 c 1340s| 5360k| 1163k| 25391k| 4.7 | 826M| 63 | - | 198 | 11 | 198 | 18 | 19 | 201k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1341.94/1342.27 c 1342s| 5370k| 1164k| 25437k| 4.7 | 828M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 202k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1344.24/1344.59 c 1345s| 5380k| 1165k| 25482k| 4.7 | 829M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 202k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1346.64/1346.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.64/1346.90 c 1347s| 5390k| 1166k| 25528k| 4.7 | 830M| 63 | - | 198 | 10 | 198 | 18 | 19 | 202k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1348.94/1349.20 c 1349s| 5400k| 1167k| 25573k| 4.7 | 831M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 203k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1351.24/1351.52 c 1352s| 5410k| 1168k| 25619k| 4.7 | 832M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 203k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1353.54/1353.82 c 1354s| 5420k| 1169k| 25665k| 4.7 | 833M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 203k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1355.84/1356.12 c 1356s| 5430k| 1171k| 25710k| 4.7 | 834M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 204k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1358.14/1358.40 c 1358s| 5440k| 1172k| 25753k| 4.7 | 835M| 63 | - | 198 | 11 | 198 | 18 | 19 | 204k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1360.34/1360.68 c 1361s| 5450k| 1173k| 25797k| 4.7 | 836M| 63 | - | 198 | 9 | 198 | 18 | 19 | 205k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1362.65/1362.99 c 1363s| 5460k| 1175k| 25841k| 4.7 | 837M| 63 | - | 198 | 9 | 198 | 18 | 19 | 205k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1364.95/1365.25 c 1365s| 5470k| 1177k| 25885k| 4.7 | 838M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 205k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1367.23/1367.53 c 1368s| 5480k| 1178k| 25930k| 4.7 | 839M| 63 | - | 198 | 9 | 0 | 0 | 19 | 206k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1369.54/1369.82 c 1370s| 5490k| 1180k| 25974k| 4.7 | 840M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 206k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1371.83/1372.14 c 1372s| 5500k| 1182k| 26019k| 4.7 | 842M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 206k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1374.14/1374.42 c 1374s| 5510k| 1183k| 26063k| 4.7 | 843M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 207k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1376.33/1376.68 c 1377s| 5520k| 1185k| 26106k| 4.7 | 844M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 207k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1378.64/1378.97 c 1379s| 5530k| 1186k| 26150k| 4.7 | 845M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 207k| 40k| 0.000000e+00 | 1.400000e+01 | Inf
1380.93/1381.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1380.93/1381.27 c 1381s| 5540k| 1188k| 26193k| 4.7 | 846M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 208k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1383.24/1383.54 c 1384s| 5550k| 1189k| 26237k| 4.7 | 847M| 63 | - | 198 | 10 | 198 | 18 | 19 | 208k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1385.53/1385.82 c 1386s| 5560k| 1190k| 26280k| 4.7 | 848M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 208k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1387.83/1388.11 c 1388s| 5570k| 1192k| 26325k| 4.7 | 850M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 209k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1390.14/1390.41 c 1390s| 5580k| 1194k| 26371k| 4.7 | 851M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 209k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1392.44/1392.70 c 1393s| 5590k| 1195k| 26415k| 4.7 | 852M| 63 | - | 198 | 10 | 198 | 18 | 19 | 210k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1394.73/1395.06 c 1395s| 5600k| 1197k| 26461k| 4.7 | 853M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 210k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1397.14/1397.42 c 1397s| 5610k| 1199k| 26506k| 4.7 | 855M| 63 | - | 198 | 10 | 198 | 18 | 19 | 210k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1399.43/1399.73 c 1400s| 5620k| 1201k| 26552k| 4.7 | 856M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 211k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1401.64/1401.98 c 1402s| 5630k| 1203k| 26596k| 4.7 | 857M| 63 | - | 198 | 11 | 198 | 18 | 19 | 211k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1404.03/1404.32 c 1404s| 5640k| 1204k| 26641k| 4.7 | 859M| 63 | - | 198 | 12 | 198 | 18 | 19 | 211k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1406.33/1406.68 c 1407s| 5650k| 1207k| 26688k| 4.7 | 860M| 63 | - | 198 | 13 | 198 | 18 | 19 | 212k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1408.63/1408.98 c 1409s| 5660k| 1208k| 26735k| 4.7 | 861M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 212k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1410.93/1411.29 c 1411s| 5670k| 1210k| 26781k| 4.7 | 863M| 63 | - | 198 | 13 | 198 | 18 | 19 | 212k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1413.23/1413.59 c 1414s| 5680k| 1211k| 26826k| 4.7 | 864M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 213k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1415.54/1415.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.54/1415.84 c 1416s| 5690k| 1212k| 26871k| 4.7 | 865M| 63 | - | 198 | 10 | 0 | 0 | 19 | 213k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1417.83/1418.12 c 1418s| 5700k| 1213k| 26916k| 4.7 | 866M| 63 | - | 198 | 12 | 198 | 18 | 19 | 213k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1420.13/1420.44 c 1420s| 5710k| 1214k| 26962k| 4.7 | 867M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 214k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1422.43/1422.70 c 1423s| 5720k| 1216k| 27006k| 4.7 | 868M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 214k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1424.63/1424.98 c 1425s| 5730k| 1217k| 27050k| 4.7 | 869M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 214k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1426.93/1427.26 c 1427s| 5740k| 1218k| 27095k| 4.7 | 870M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 215k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1429.22/1429.54 c 1430s| 5750k| 1220k| 27138k| 4.7 | 871M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 215k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1431.52/1431.85 c 1432s| 5760k| 1221k| 27183k| 4.7 | 872M| 63 | - | 198 | 12 | 198 | 18 | 19 | 216k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1433.82/1434.12 c 1434s| 5770k| 1222k| 27227k| 4.7 | 873M| 63 | - | 198 | 10 | 198 | 18 | 19 | 216k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1436.12/1436.41 c 1436s| 5780k| 1223k| 27271k| 4.7 | 874M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 216k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1438.42/1438.70 c 1439s| 5790k| 1224k| 27315k| 4.7 | 875M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 217k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1440.62/1440.96 c 1441s| 5800k| 1225k| 27360k| 4.7 | 876M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 217k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1442.93/1443.23 c 1443s| 5810k| 1227k| 27405k| 4.7 | 877M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 217k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1445.23/1445.52 c 1446s| 5820k| 1228k| 27449k| 4.7 | 878M| 63 | - | 198 | 10 | 198 | 18 | 19 | 218k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1447.52/1447.81 c 1448s| 5830k| 1229k| 27494k| 4.7 | 879M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 218k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1449.72/1450.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.72/1450.08 c 1450s| 5840k| 1230k| 27538k| 4.7 | 880M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 218k| 41k| 0.000000e+00 | 1.400000e+01 | Inf
1452.02/1452.33 c 1452s| 5850k| 1231k| 27582k| 4.7 | 881M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 219k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1454.31/1454.62 c 1455s| 5860k| 1233k| 27626k| 4.7 | 882M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 219k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1456.52/1456.83 c 1457s| 5870k| 1234k| 27669k| 4.7 | 883M| 63 | - | 198 | 9 | 198 | 18 | 19 | 220k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1458.72/1459.08 c 1459s| 5880k| 1235k| 27711k| 4.7 | 884M| 63 | - | 198 | 9 | 0 | 0 | 19 | 220k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1461.02/1461.33 c 1461s| 5890k| 1236k| 27756k| 4.7 | 885M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 220k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1463.22/1463.59 c 1464s| 5900k| 1237k| 27800k| 4.7 | 886M| 63 | - | 198 | 10 | 0 | 0 | 19 | 221k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1465.52/1465.87 c 1466s| 5910k| 1238k| 27843k| 4.7 | 887M| 63 | - | 198 | 9 | 0 | 0 | 19 | 221k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1467.81/1468.17 c 1468s| 5920k| 1239k| 27889k| 4.7 | 888M| 63 | - | 198 | 10 | 0 | 0 | 19 | 221k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1470.12/1470.41 c 1470s| 5930k| 1240k| 27931k| 4.7 | 889M| 63 | - | 198 | 11 | 198 | 18 | 19 | 222k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1472.41/1472.70 c 1473s| 5940k| 1242k| 27975k| 4.7 | 890M| 63 | - | 198 | 9 | 198 | 18 | 19 | 222k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1474.62/1474.96 c 1475s| 5950k| 1243k| 28018k| 4.7 | 891M| 63 | - | 198 | 11 | 198 | 18 | 19 | 222k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1476.92/1477.21 c 1477s| 5960k| 1244k| 28061k| 4.7 | 892M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 223k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1479.11/1479.50 c 1479s| 5970k| 1245k| 28104k| 4.7 | 893M| 63 | - | 198 | 11 | 198 | 18 | 19 | 223k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1481.42/1481.76 c 1482s| 5980k| 1246k| 28147k| 4.7 | 894M| 63 | - | 198 | 10 | 198 | 18 | 19 | 223k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1483.72/1484.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.72/1484.04 c 1484s| 5990k| 1248k| 28191k| 4.7 | 895M| 63 | - | 198 | 11 | 198 | 18 | 19 | 224k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1486.01/1486.30 c 1486s| 6000k| 1249k| 28235k| 4.7 | 896M| 63 | - | 198 | 9 | 0 | 0 | 19 | 224k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1488.21/1488.58 c 1489s| 6010k| 1250k| 28279k| 4.7 | 897M| 63 | - | 198 | 9 | 198 | 18 | 19 | 224k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1490.51/1490.86 c 1491s| 6020k| 1252k| 28322k| 4.7 | 898M| 63 | - | 198 | 10 | 198 | 18 | 19 | 225k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1492.91/1493.27 c 1493s| 6030k| 1254k| 28370k| 4.7 | 900M| 63 | - | 198 | 9 | 198 | 18 | 19 | 225k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1495.32/1495.62 c 1496s| 6040k| 1256k| 28417k| 4.7 | 901M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 226k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1497.61/1497.97 c 1498s| 6050k| 1258k| 28464k| 4.7 | 902M| 63 | - | 198 | 9 | 198 | 18 | 19 | 226k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1500.02/1500.32 c 1500s| 6060k| 1259k| 28510k| 4.7 | 904M| 63 | - | 198 | 10 | 198 | 18 | 19 | 227k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1502.32/1502.67 c 1503s| 6070k| 1260k| 28555k| 4.7 | 905M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 227k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1504.71/1505.01 c 1505s| 6080k| 1262k| 28601k| 4.7 | 906M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 227k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1507.01/1507.34 c 1507s| 6090k| 1263k| 28646k| 4.7 | 907M| 63 | - | 198 | 11 | 198 | 18 | 19 | 228k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1509.41/1509.70 c 1510s| 6100k| 1265k| 28691k| 4.7 | 908M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 228k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1511.70/1512.09 c 1512s| 6110k| 1267k| 28738k| 4.7 | 910M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 229k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1514.11/1514.40 c 1514s| 6120k| 1269k| 28781k| 4.7 | 911M| 63 | - | 198 | 9 | 0 | 0 | 19 | 229k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1516.31/1516.66 c 1517s| 6130k| 1271k| 28825k| 4.7 | 912M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 230k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1518.61/1518.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1518.61/1518.91 c 1519s| 6140k| 1272k| 28868k| 4.7 | 913M| 63 | - | 198 | 11 | 0 | 0 | 19 | 230k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1520.91/1521.20 c 1521s| 6150k| 1274k| 28913k| 4.7 | 915M| 63 | - | 198 | 10 | 198 | 18 | 19 | 230k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1523.22/1523.51 c 1524s| 6160k| 1275k| 28956k| 4.7 | 916M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 231k| 42k| 0.000000e+00 | 1.400000e+01 | Inf
1525.42/1525.80 c 1526s| 6170k| 1276k| 29000k| 4.7 | 917M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 231k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1527.80/1528.13 c 1528s| 6180k| 1277k| 29044k| 4.7 | 918M| 63 | 8 | 198 | 14 | 198 | 18 | 19 | 232k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1530.10/1530.40 c 1530s| 6190k| 1278k| 29087k| 4.7 | 918M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 232k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1532.41/1532.73 c 1533s| 6200k| 1279k| 29131k| 4.7 | 920M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 233k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1534.71/1535.03 c 1535s| 6210k| 1281k| 29175k| 4.7 | 921M| 63 | - | 198 | 10 | 0 | 0 | 19 | 233k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1537.00/1537.35 c 1537s| 6220k| 1282k| 29219k| 4.7 | 922M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 234k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1539.31/1539.64 c 1540s| 6230k| 1283k| 29263k| 4.7 | 923M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 234k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1541.61/1541.99 c 1542s| 6240k| 1284k| 29307k| 4.7 | 924M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 235k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1543.91/1544.25 c 1544s| 6250k| 1285k| 29351k| 4.7 | 925M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 235k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1546.21/1546.55 c 1547s| 6260k| 1287k| 29394k| 4.7 | 926M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 235k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1548.51/1548.84 c 1549s| 6270k| 1288k| 29437k| 4.7 | 927M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 236k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1550.91/1551.21 c 1551s| 6280k| 1290k| 29483k| 4.7 | 928M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 236k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1553.21/1553.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.21/1553.57 c 1554s| 6290k| 1292k| 29530k| 4.7 | 930M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 237k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1555.50/1555.85 c 1556s| 6300k| 1293k| 29574k| 4.7 | 931M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 237k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1557.80/1558.16 c 1558s| 6310k| 1294k| 29619k| 4.7 | 932M| 63 | - | 198 | 10 | 0 | 0 | 19 | 238k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1560.20/1560.50 c 1561s| 6320k| 1296k| 29665k| 4.7 | 933M| 63 | - | 198 | 11 | 0 | 0 | 19 | 238k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1562.50/1562.87 c 1563s| 6330k| 1298k| 29712k| 4.7 | 935M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 238k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1564.90/1565.22 c 1565s| 6340k| 1299k| 29758k| 4.7 | 936M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 239k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1567.21/1567.53 c 1568s| 6350k| 1301k| 29803k| 4.7 | 937M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 239k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1569.50/1569.85 c 1570s| 6360k| 1302k| 29848k| 4.7 | 938M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 240k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1571.90/1572.21 c 1572s| 6370k| 1303k| 29893k| 4.7 | 939M| 63 | - | 198 | 10 | 198 | 18 | 19 | 240k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1574.10/1574.49 c 1574s| 6380k| 1306k| 29939k| 4.7 | 941M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 240k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1576.40/1576.78 c 1577s| 6390k| 1307k| 29983k| 4.7 | 942M| 63 | - | 198 | 12 | 0 | 0 | 19 | 241k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1578.70/1579.06 c 1579s| 6400k| 1309k| 30029k| 4.7 | 943M| 63 | - | 198 | 9 | 0 | 0 | 19 | 241k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1580.99/1581.33 c 1581s| 6410k| 1310k| 30073k| 4.7 | 944M| 63 | - | 198 | 9 | 0 | 0 | 19 | 241k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1583.30/1583.63 c 1584s| 6420k| 1311k| 30118k| 4.7 | 945M| 63 | - | 198 | 9 | 198 | 18 | 19 | 242k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1585.50/1585.89 c 1586s| 6430k| 1312k| 30162k| 4.7 | 946M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 242k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1587.79/1588.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.79/1588.17 c 1588s| 6440k| 1313k| 30205k| 4.7 | 947M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 242k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1590.10/1590.45 c 1590s| 6450k| 1314k| 30249k| 4.7 | 947M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 243k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1592.39/1592.75 c 1593s| 6460k| 1314k| 30293k| 4.7 | 948M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 243k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1594.70/1595.06 c 1595s| 6470k| 1315k| 30337k| 4.7 | 949M| 63 | - | 198 | 11 | 198 | 18 | 19 | 244k| 43k| 0.000000e+00 | 1.400000e+01 | Inf
1597.00/1597.35 c 1597s| 6480k| 1317k| 30382k| 4.7 | 950M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 244k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1599.30/1599.65 c 1600s| 6490k| 1319k| 30426k| 4.7 | 951M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 244k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1601.60/1601.92 c 1602s| 6500k| 1320k| 30470k| 4.7 | 952M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 245k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1603.89/1604.22 c 1604s| 6510k| 1321k| 30514k| 4.7 | 953M| 63 | - | 198 | 11 | 198 | 18 | 19 | 245k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1606.20/1606.50 c 1606s| 6520k| 1322k| 30558k| 4.7 | 954M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 246k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1608.40/1608.77 c 1609s| 6530k| 1323k| 30603k| 4.7 | 955M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 246k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1610.69/1611.09 c 1611s| 6540k| 1324k| 30648k| 4.7 | 956M| 63 | - | 198 | 9 | 198 | 18 | 19 | 246k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1613.00/1613.34 c 1613s| 6550k| 1325k| 30692k| 4.7 | 957M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 247k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1615.30/1615.61 c 1616s| 6560k| 1326k| 30735k| 4.7 | 958M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 247k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1617.59/1617.90 c 1618s| 6570k| 1327k| 30779k| 4.7 | 959M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 248k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1619.89/1620.22 c 1620s| 6580k| 1328k| 30823k| 4.7 | 960M| 63 | - | 198 | 9 | 0 | 0 | 19 | 248k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1622.20/1622.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.20/1622.51 c 1623s| 6590k| 1329k| 30867k| 4.7 | 960M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 249k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1624.40/1624.79 c 1625s| 6600k| 1330k| 30911k| 4.7 | 961M| 63 | - | 198 | 10 | 198 | 18 | 19 | 249k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1626.69/1627.09 c 1627s| 6610k| 1331k| 30955k| 4.7 | 962M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 249k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1628.99/1629.39 c 1629s| 6620k| 1332k| 30997k| 4.7 | 963M| 63 | - | 198 | 9 | 198 | 18 | 19 | 250k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1631.39/1631.71 c 1632s| 6630k| 1333k| 31042k| 4.7 | 964M| 63 | - | 198 | 12 | 198 | 18 | 19 | 250k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1633.69/1634.05 c 1634s| 6640k| 1334k| 31087k| 4.7 | 965M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 251k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1635.99/1636.34 c 1636s| 6650k| 1335k| 31131k| 4.7 | 966M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 251k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1638.29/1638.66 c 1639s| 6660k| 1336k| 31175k| 4.7 | 967M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 252k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1640.59/1640.92 c 1641s| 6670k| 1338k| 31218k| 4.7 | 968M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 252k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1642.89/1643.22 c 1643s| 6680k| 1338k| 31262k| 4.7 | 969M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 253k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1645.19/1645.54 c 1646s| 6690k| 1339k| 31307k| 4.7 | 970M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 253k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1647.39/1647.80 c 1648s| 6700k| 1340k| 31350k| 4.7 | 971M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 254k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1649.70/1650.08 c 1650s| 6710k| 1341k| 31392k| 4.7 | 972M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 254k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1651.99/1652.38 c 1652s| 6720k| 1342k| 31436k| 4.7 | 972M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 255k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1654.29/1654.68 c 1655s| 6730k| 1343k| 31480k| 4.7 | 973M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 255k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1656.58/1656.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1656.58/1656.96 c 1657s| 6740k| 1343k| 31523k| 4.7 | 974M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 255k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1658.89/1659.29 c 1659s| 6750k| 1344k| 31567k| 4.7 | 975M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 256k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1661.19/1661.53 c 1662s| 6760k| 1346k| 31610k| 4.7 | 976M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 256k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1663.38/1663.76 c 1664s| 6770k| 1347k| 31652k| 4.7 | 977M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 256k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1665.69/1666.02 c 1666s| 6780k| 1349k| 31694k| 4.7 | 978M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 257k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1667.89/1668.27 c 1668s| 6790k| 1350k| 31737k| 4.7 | 979M| 63 | - | 198 | 10 | 198 | 18 | 19 | 257k| 44k| 0.000000e+00 | 1.400000e+01 | Inf
1670.19/1670.57 c 1671s| 6800k| 1350k| 31780k| 4.7 | 980M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 258k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1672.48/1672.86 c 1673s| 6810k| 1351k| 31824k| 4.7 | 981M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 258k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1674.79/1675.16 c 1675s| 6820k| 1352k| 31868k| 4.7 | 981M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 258k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1677.08/1677.46 c 1677s| 6830k| 1353k| 31912k| 4.7 | 982M| 63 | - | 198 | 10 | 198 | 18 | 19 | 259k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1679.39/1679.75 c 1680s| 6840k| 1353k| 31956k| 4.7 | 983M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 259k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1681.68/1682.08 c 1682s| 6850k| 1354k| 32000k| 4.7 | 984M| 63 | - | 198 | 9 | 0 | 0 | 19 | 260k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1684.08/1684.41 c 1684s| 6860k| 1355k| 32045k| 4.7 | 985M| 63 | - | 198 | 9 | 198 | 18 | 19 | 260k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1686.38/1686.73 c 1687s| 6870k| 1356k| 32091k| 4.7 | 986M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 261k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1688.68/1689.05 c 1689s| 6880k| 1357k| 32135k| 4.7 | 987M| 63 | - | 198 | 9 | 0 | 0 | 19 | 261k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1690.98/1691.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.98/1691.34 c 1691s| 6890k| 1358k| 32178k| 4.7 | 987M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 261k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1693.28/1693.62 c 1694s| 6900k| 1359k| 32222k| 4.7 | 988M| 63 | - | 198 | 10 | 198 | 18 | 19 | 262k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1695.58/1695.91 c 1696s| 6910k| 1360k| 32265k| 4.7 | 989M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 262k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1697.78/1698.19 c 1698s| 6920k| 1360k| 32308k| 4.7 | 990M| 63 | - | 198 | 9 | 198 | 18 | 19 | 263k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1700.18/1700.56 c 1701s| 6930k| 1361k| 32356k| 4.7 | 991M| 63 | - | 198 | 9 | 198 | 18 | 19 | 263k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1702.49/1702.85 c 1703s| 6940k| 1362k| 32399k| 4.7 | 991M| 63 | 8 | 198 | 9 | 198 | 18 | 19 | 264k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1704.79/1705.17 c 1705s| 6950k| 1362k| 32443k| 4.7 | 992M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 264k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1707.08/1707.46 c 1707s| 6960k| 1363k| 32488k| 4.7 | 993M| 63 | - | 198 | 9 | 198 | 18 | 19 | 264k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1709.38/1709.75 c 1710s| 6970k| 1364k| 32532k| 4.7 | 994M| 63 | - | 198 | 9 | 198 | 18 | 19 | 265k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1711.68/1712.03 c 1712s| 6980k| 1365k| 32575k| 4.7 | 995M| 63 | - | 198 | 9 | 198 | 18 | 19 | 265k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1713.98/1714.33 c 1714s| 6990k| 1366k| 32620k| 4.7 | 996M| 63 | - | 198 | 10 | 0 | 0 | 19 | 265k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1716.17/1716.59 c 1717s| 7000k| 1368k| 32663k| 4.7 | 997M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 266k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1718.58/1718.91 c 1719s| 7010k| 1369k| 32709k| 4.7 | 998M| 63 | 8 | 198 | 14 | 198 | 18 | 19 | 266k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1720.78/1721.17 c 1721s| 7020k| 1371k| 32753k| 4.7 | 999M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 266k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1723.08/1723.45 c 1723s| 7030k| 1372k| 32799k| 4.7 |1000M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 267k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1725.38/1725.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.38/1725.74 c 1726s| 7040k| 1374k| 32843k| 4.7 |1002M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 267k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1727.68/1728.00 c 1728s| 7050k| 1375k| 32886k| 4.7 |1003M| 63 | - | 198 | 12 | 198 | 18 | 19 | 268k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1729.88/1730.25 c 1730s| 7060k| 1376k| 32930k| 4.7 |1003M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 268k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1732.07/1732.50 c 1732s| 7070k| 1377k| 32973k| 4.7 |1004M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 268k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1734.38/1734.78 c 1735s| 7080k| 1378k| 33017k| 4.7 |1005M| 63 | 8 | 198 | 15 | 198 | 18 | 19 | 269k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1736.69/1737.06 c 1737s| 7090k| 1379k| 33062k| 4.7 |1006M| 63 | - | 198 | 14 | 198 | 18 | 19 | 269k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1738.98/1739.30 c 1739s| 7100k| 1380k| 33106k| 4.7 |1007M| 63 | - | 198 | 15 | 198 | 18 | 19 | 269k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1741.18/1741.56 c 1742s| 7110k| 1381k| 33149k| 4.7 |1008M| 63 | - | 198 | 12 | 198 | 18 | 19 | 270k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1743.47/1743.84 c 1744s| 7120k| 1381k| 33193k| 4.7 |1009M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 270k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1745.77/1746.10 c 1746s| 7130k| 1382k| 33237k| 4.7 |1009M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 270k| 45k| 0.000000e+00 | 1.400000e+01 | Inf
1747.98/1748.34 c 1748s| 7140k| 1383k| 33280k| 4.7 |1010M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 271k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1750.27/1750.62 c 1751s| 7150k| 1384k| 33324k| 4.7 |1011M| 63 | - | 198 | 12 | 198 | 18 | 19 | 271k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1752.48/1752.87 c 1753s| 7160k| 1385k| 33367k| 4.7 |1012M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 272k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1754.77/1755.12 c 1755s| 7170k| 1386k| 33410k| 4.7 |1013M| 63 | - | 198 | 11 | 198 | 18 | 19 | 272k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1756.97/1757.36 c 1757s| 7180k| 1387k| 33454k| 4.7 |1013M| 63 | - | 198 | 11 | 0 | 0 | 19 | 272k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1759.27/1759.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1759.27/1759.62 c 1760s| 7190k| 1387k| 33497k| 4.7 |1014M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 273k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1761.57/1761.98 c 1762s| 7200k| 1390k| 33542k| 4.7 |1016M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 273k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1763.87/1764.28 c 1764s| 7210k| 1392k| 33587k| 4.7 |1017M| 63 | 8 | 198 | 14 | 198 | 18 | 19 | 273k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1766.17/1766.54 c 1767s| 7220k| 1394k| 33631k| 4.7 |1018M| 63 | 8 | 198 | 12 | 198 | 18 | 19 | 274k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1768.37/1768.80 c 1769s| 7230k| 1395k| 33674k| 4.7 |1020M| 63 | - | 198 | 10 | 0 | 0 | 19 | 274k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1770.67/1771.04 c 1771s| 7240k| 1397k| 33717k| 4.7 |1021M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 274k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1772.97/1773.32 c 1773s| 7250k| 1398k| 33761k| 4.7 |1022M| 63 | - | 198 | 11 | 198 | 18 | 19 | 275k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1775.17/1775.55 c 1776s| 7260k| 1399k| 33804k| 4.7 |1023M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 275k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1777.47/1777.83 c 1778s| 7270k| 1401k| 33847k| 4.7 |1024M| 63 | - | 198 | 10 | 198 | 18 | 19 | 276k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1779.77/1780.11 c 1780s| 7280k| 1402k| 33891k| 4.7 |1025M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 276k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1781.97/1782.37 c 1782s| 7290k| 1404k| 33933k| 4.7 |1026M| 63 | 8 | 198 | 11 | 198 | 18 | 19 | 276k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1784.27/1784.66 c 1785s| 7300k| 1405k| 33976k| 4.7 |1027M| 63 | 8 | 198 | 10 | 198 | 18 | 19 | 277k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1786.47/1786.86 c 1787s| 7310k| 1406k| 34019k| 4.7 |1028M| 63 | - | 198 | 11 | 198 | 18 | 19 | 277k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1788.67/1789.09 c 1789s| 7320k| 1407k| 34061k| 4.7 |1029M| 63 | 8 | 198 | 13 | 198 | 18 | 19 | 277k| 46k| 0.000000e+00 | 1.400000e+01 | Inf
1789.67/1790.00 c
1789.67/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.67/1790.00 c Solving Time (sec) : 1790.00
1789.67/1790.00 c Solving Nodes : 7324094
1789.67/1790.00 c Primal Bound : +1.40000000000000e+01 (94 solutions)
1789.67/1790.00 c Dual Bound : +0.00000000000000e+00
1789.67/1790.00 c Gap : infinite
1789.67/1790.00 s SATISFIABLE
1789.67/1790.00 v x176 x198 -x197 -x196 -x195 -x194 x193 x192 x191 -x190 -x189 x188 x187 -x186 -x185 -x184 -x183 x182 x181 x180 -x179 x178 -x177
1789.67/1790.00 v -x175 x174 -x173 x172 -x171 -x170 -x169 x168 -x167 x166 x165 x164 -x163 x162 x161 -x160 -x159 x158 -x157 x156 -x155 -x154 x153
1789.67/1790.00 v x152 -x151 x150 -x149 x148 -x147 x146 x145 -x144 x143 x142 -x141 -x140 x139 x138 -x137 x136 -x135 -x134 -x133 x132 x131 x130
1789.67/1790.00 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1789.67/1790.00 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 x89 -x88 -x87 -x86 -x85
1789.67/1790.00 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60
1789.67/1790.00 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1789.67/1790.00 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1789.67/1790.00 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1789.67/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.67/1790.00 c Solving Time : 1790.00
1789.67/1790.00 c Original Problem :
1789.67/1790.00 c Problem name : HOME/instance-3734866-1338702024.opb
1789.67/1790.00 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.67/1790.00 c Constraints : 16 initial, 16 maximal
1789.67/1790.00 c Presolved Problem :
1789.67/1790.00 c Problem name : t_HOME/instance-3734866-1338702024.opb
1789.67/1790.00 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.67/1790.00 c Constraints : 8 initial, 77 maximal
1789.67/1790.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.67/1790.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.00 c implics : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.00 c probing : 0.01 0 0 0 0 0 0 0 0
1789.67/1790.00 c linear : 0.00 0 0 0 0 0 8 0 0
1789.67/1790.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.00 c root node : - 64 - - 64 - - - -
1789.67/1790.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.67/1790.00 c integral : 0 0 0 4467876 0 270 11619 0 0 8912920
1789.67/1790.00 c linear : 8+ 7 11336569 0 0 795006 5836099 0 0 0
1789.67/1790.00 c logicor : 0+ 0 738917 0 0 4682 102109 0 0 0
1789.67/1790.00 c countsols : 0 0 0 39 1 0 0 0 0 0
1789.67/1790.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.67/1790.00 c integral : 31.56 0.00 0.00 31.56 0.00
1789.67/1790.00 c linear : 418.10 0.00 418.10 0.00 0.00
1789.67/1790.00 c logicor : 0.70 0.00 0.70 0.00 0.00
1789.67/1790.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.67/1790.00 c Propagators : Time Calls Cutoffs DomReds
1789.67/1790.00 c vbounds : 1.78 2 0 0
1789.67/1790.00 c rootredcost : 1.80 55 0 64
1789.67/1790.00 c pseudoobj : 35.82 11342762 6350 789139
1789.67/1790.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.67/1790.00 c propagation : 32.13 801510 255800 292894 69.7 19 42.9 -
1789.67/1790.00 c infeasible LP : 1.43 39353 27125 37175 47.0 3 50.7 0
1789.67/1790.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.67/1790.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.67/1790.00 c pseudo solution : 0.00 4 4 4 2.8 0 0.0 -
1789.67/1790.00 c applied globally : - - - 3010 28.4 - - -
1789.67/1790.00 c applied locally : - - - 275074 67.7 - - -
1789.67/1790.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.67/1790.00 c cut pool : 0.00 5 - - 3 - (maximal pool size: 47)
1789.67/1790.00 c redcost : 81.62 6405786 0 43631891 0 0
1789.67/1790.00 c impliedbounds : 0.00 6 0 0 0 0
1789.67/1790.00 c intobj : 0.00 0 0 0 0 0
1789.67/1790.00 c cgmip : 0.00 0 0 0 0 0
1789.67/1790.00 c gomory : 0.00 6 0 0 0 0
1789.67/1790.00 c strongcg : 0.00 6 0 0 16 0
1789.67/1790.00 c cmir : 0.01 6 0 0 12 0
1789.67/1790.00 c flowcover : 0.03 6 0 0 22 0
1789.67/1790.00 c clique : 0.00 1 0 0 0 0
1789.67/1790.00 c zerohalf : 0.00 0 0 0 0 0
1789.67/1790.00 c mcf : 0.00 1 0 0 0 0
1789.67/1790.00 c rapidlearning : 0.05 1 0 0 0 68
1789.67/1790.00 c Pricers : Time Calls Vars
1789.67/1790.00 c problem variables: 0.00 0 0
1789.67/1790.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.67/1790.00 c relpscost : 29.62 4467837 270 11619 0 0 8912920
1789.67/1790.00 c pscost : 0.00 0 0 0 0 0 0
1789.67/1790.00 c inference : 0.00 1 0 0 0 0 2
1789.67/1790.00 c mostinf : 0.00 0 0 0 0 0 0
1789.67/1790.00 c leastinf : 0.00 0 0 0 0 0 0
1789.67/1790.00 c fullstrong : 0.00 0 0 0 0 0 0
1789.67/1790.00 c allfullstrong : 0.00 0 0 0 0 0 0
1789.67/1790.00 c random : 0.00 0 0 0 0 0 0
1789.67/1790.00 c Primal Heuristics : Time Calls Found
1789.67/1790.00 c LP solutions : 0.22 - 39
1789.67/1790.00 c pseudo solutions : 0.00 - 0
1789.67/1790.00 c oneopt : 1.15 55 0
1789.67/1790.00 c crossover : 16.35 17 0
1789.67/1790.00 c rootsoldiving : 6.43 2230 39
1789.67/1790.00 c guideddiving : 15.33 9991 6
1789.67/1790.00 c objpscostdiving : 5.33 4996 0
1789.67/1790.00 c linesearchdiving : 13.68 9992 1
1789.67/1790.00 c coefdiving : 37.10 9992 3
1789.67/1790.00 c pscostdiving : 20.30 9992 2
1789.67/1790.00 c fracdiving : 20.57 9992 2
1789.67/1790.00 c veclendiving : 11.72 9992 1
1789.67/1790.00 c trivial : 0.00 2 0
1789.67/1790.00 c simplerounding : 1.10 0 0
1789.67/1790.00 c zirounding : 1.03 1000 0
1789.67/1790.00 c rounding : 2.13 30889 0
1789.67/1790.00 c shifting : 4.08 9725 0
1789.67/1790.00 c intshifting : 0.11 0 0
1789.67/1790.00 c twoopt : 0.00 0 0
1789.67/1790.00 c fixandinfer : 0.00 0 0
1789.67/1790.00 c feaspump : 0.13 1 0
1789.67/1790.00 c intdiving : 0.00 0 0
1789.67/1790.00 c actconsdiving : 0.00 0 0
1789.67/1790.00 c octane : 0.00 0 0
1789.67/1790.00 c rens : 0.01 1 0
1789.67/1790.00 c rins : 0.00 0 0
1789.67/1790.00 c localbranching : 0.00 0 0
1789.67/1790.00 c mutation : 0.00 0 0
1789.67/1790.00 c dins : 0.00 0 0
1789.67/1790.00 c undercover : 0.00 0 0
1789.67/1790.00 c nlp : 0.78 0 0
1789.67/1790.00 c trysol : 1.35 0 0
1789.67/1790.00 c LP : Time Calls Iterations Iter/call Iter/sec
1789.67/1790.00 c primal LP : 0.00 0 0 0.00 -
1789.67/1790.00 c dual LP : 679.59 6909270 31693989 4.59 46636.68
1789.67/1790.00 c lex dual LP : 0.00 0 0 0.00 -
1789.67/1790.00 c barrier LP : 0.00 0 0 0.00 -
1789.67/1790.00 c diving/probing LP: 67.39 1073307 2385374 2.22 35397.37
1789.67/1790.00 c strong branching : 5.96 46542 157464 3.38 26437.44
1789.67/1790.00 c (at root node) : - 9 325 36.11 -
1789.67/1790.00 c conflict analysis: 0.00 0 0 0.00 -
1789.67/1790.00 c B&B Tree :
1789.67/1790.00 c number of runs : 1
1789.67/1790.00 c nodes : 7324094
1789.67/1790.00 c nodes (total) : 7324094
1789.67/1790.00 c nodes left : 1407788
1789.67/1790.00 c max depth : 63
1789.67/1790.00 c max depth (total): 63
1789.67/1790.00 c backtracks : 1379618 (18.8%)
1789.67/1790.00 c delayed cutoffs : 51894
1789.67/1790.00 c repropagations : 104077 (390213 domain reductions, 51887 cutoffs)
1789.67/1790.00 c avg switch length: 6.08
1789.67/1790.00 c switching time : 148.44
1789.67/1790.00 c Solution :
1789.67/1790.00 c Solutions found : 94 (55 improvements)
1789.67/1790.00 c First Solution : +1.09400000000000e+03 (in run 1, after 1 nodes, 0.06 seconds, depth 0, found by <trysol>)
1789.67/1790.00 c Primal Bound : +1.40000000000000e+01 (in run 1, after 5137688 nodes, 1286.34 seconds, depth 47, found by <relaxation>)
1789.67/1790.00 c Dual Bound : +0.00000000000000e+00
1789.67/1790.00 c Gap : infinite
1789.67/1790.00 c Root Dual Bound : +0.00000000000000e+00
1789.67/1790.00 c Root Iterations : 140
1792.17/1792.53 c Time complete: 1792.2.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734866-1338702024/watcher-3734866-1338702024 -o /tmp/evaluation-result-3734866-1338702024/solver-3734866-1338702024 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3734866-1338702024.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13823
/proc/meminfo: memFree=28071532/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=9972 CPUtime=0 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 1737 0 0 0 0 0 0 0 20 0 1 0 336329228 10211328 1683 33554432000 4194304 8395647 140736293092400 140734090037176 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 2493 1695 374 1026 0 1463 0
[startup+0.0821821 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13823
/proc/meminfo: memFree=28071532/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=23540 CPUtime=0.07 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 5072 0 0 0 7 0 0 0 20 0 1 0 336329228 24104960 4665 33554432000 4194304 8395647 140736293092400 140734090037176 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 5885 4665 607 1026 0 4855 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23540
[startup+0.100258 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13823
/proc/meminfo: memFree=28071532/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=23540 CPUtime=0.08 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 5086 0 0 0 8 0 0 0 20 0 1 0 336329228 24104960 4679 33554432000 4194304 8395647 140736293092400 140734090037176 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 5885 4679 607 1026 0 4855 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23540
[startup+0.300253 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13823
/proc/meminfo: memFree=28071532/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=24572 CPUtime=0.29 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 5693 0 0 0 28 1 0 0 20 0 1 0 336329228 25161728 5286 33554432000 4194304 8395647 140736293092400 140734090037176 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 6143 5286 622 1026 0 5113 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24572
[startup+0.70025 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13823
/proc/meminfo: memFree=28071532/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=24572 CPUtime=0.69 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 5698 0 0 0 67 2 0 0 20 0 1 0 336329228 25161728 5291 33554432000 4194304 8395647 140736293092400 140736293088008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 6143 5291 623 1026 0 5113 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24572
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13824
/proc/meminfo: memFree=28052940/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=24572 CPUtime=1.49 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 5706 0 0 0 144 5 0 0 20 0 1 0 336329228 25161728 5299 33554432000 4194304 8395647 140736293092400 140736293087944 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 6143 5299 623 1026 0 5113 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24572
[startup+3.10025 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13824
/proc/meminfo: memFree=28052188/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=24572 CPUtime=3.09 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 5722 0 0 0 300 9 0 0 20 0 1 0 336329228 25161728 5315 33554432000 4194304 8395647 140736293092400 140736293087624 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 6143 5315 623 1026 0 5113 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24572
[startup+6.30025 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13824
/proc/meminfo: memFree=28052708/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=23548 CPUtime=6.28 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 6267 0 0 0 609 19 0 0 20 0 1 0 336329228 24113152 5124 33554432000 4194304 8395647 140736293092400 140736293088008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 5887 5124 623 1026 0 4857 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23548
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13837
/proc/meminfo: memFree=28059832/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=32672 CPUtime=12.68 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 14658 0 0 0 1228 40 0 0 20 0 1 0 336329228 33456128 7584 33554432000 4194304 8395647 140736293092400 140736293087704 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 8168 7584 623 1026 0 7138 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32672
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13862
/proc/meminfo: memFree=28011972/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=52812 CPUtime=25.49 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 30566 0 0 0 2468 81 0 0 20 0 1 0 336329228 54079488 12353 33554432000 4194304 8395647 140736293092400 140736293087864 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 13203 12353 623 1026 0 12173 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52812
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13862
/proc/meminfo: memFree=27957072/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=84192 CPUtime=51.07 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 69294 0 0 0 4938 169 0 0 20 0 1 0 336329228 86212608 20348 33554432000 4194304 8395647 140736293092400 140736293088008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 21048 20348 624 1026 0 20018 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 84192
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13863
/proc/meminfo: memFree=27851536/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=153940 CPUtime=102.27 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 107899 0 0 0 9905 322 0 0 20 0 1 0 336329228 157634560 37018 33554432000 4194304 8395647 140736293092400 140736293087864 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 38485 37018 624 1026 0 37455 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 153940
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13863
/proc/meminfo: memFree=27792576/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=185284 CPUtime=162.25 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 145469 0 0 0 15704 521 0 0 20 0 1 0 336329228 189730816 45091 33554432000 4194304 8395647 140736293092400 140736293087864 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 46321 45091 624 1026 0 45291 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 185284
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13863
/proc/meminfo: memFree=27738644/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=211856 CPUtime=222.24 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 185647 0 0 0 21505 719 0 0 20 0 1 0 336329228 216940544 51879 33554432000 4194304 8395647 140736293092400 140736293088008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 52964 51879 624 1026 0 51934 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 211856
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13863
/proc/meminfo: memFree=27682912/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=242904 CPUtime=282.22 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 196058 0 0 0 27333 889 0 0 20 0 1 0 336329228 248733696 59854 33554432000 4194304 8395647 140736293092400 140736293088008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 60726 59854 624 1026 0 59696 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 242904
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13863
/proc/meminfo: memFree=27626036/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=279672 CPUtime=342.21 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 206229 0 0 0 33167 1054 0 0 20 0 1 0 336329228 286384128 69168 33554432000 4194304 8395647 140736293092400 140736293088008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 69918 69168 624 1026 0 68888 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 279672
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13864
/proc/meminfo: memFree=27570688/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=318596 CPUtime=402.21 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 216105 0 0 0 38999 1222 0 0 20 0 1 0 336329228 326242304 79044 33554432000 4194304 8395647 140736293092400 140736293088088 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 79649 79044 624 1026 0 78619 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 318596
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13864
/proc/meminfo: memFree=27505964/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=372612 CPUtime=462.2 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 228606 0 0 0 44834 1386 0 0 20 0 1 0 336329228 381554688 90693 33554432000 4194304 8395647 140736293092400 140736293088008 5026819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 93153 90693 624 1026 0 92123 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 372612
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13864
/proc/meminfo: memFree=27448420/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=416900 CPUtime=522.19 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 239864 0 0 0 50659 1560 0 0 20 0 1 0 336329228 426905600 101951 33554432000 4194304 8395647 140736293092400 140736293087864 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 104225 101951 624 1026 0 103195 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 416900
[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 13867
/proc/meminfo: memFree=27398084/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=453556 CPUtime=582.18 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 249200 0 0 0 56496 1722 0 0 20 0 1 0 336329228 464441344 111277 33554432000 4194304 8395647 140736293092400 140736293088008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 113389 111277 624 1026 0 112359 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 453556
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26978628/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=786864 CPUtime=1122.08 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 337835 0 0 0 108908 3300 0 0 20 0 1 0 336329228 805748736 192203 33554432000 4194304 8395647 140736293092400 140736293088008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 196716 192203 624 1026 0 195686 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 786864
[startup+1182.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/178 13872
/proc/meminfo: memFree=26930168/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=825816 CPUtime=1182.07 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 347695 0 0 0 114739 3468 0 0 20 0 1 0 336329228 845635584 202574 33554432000 4194304 8395647 140736293092400 140736293087800 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 206454 202574 624 1026 0 205424 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 825816
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 13895
/proc/meminfo: memFree=26884384/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=861248 CPUtime=1242.06 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 356656 0 0 0 120568 3638 0 0 20 0 1 0 336329228 881917952 211535 33554432000 4194304 8395647 140736293092400 140736293087864 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 215312 211535 624 1026 0 214282 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 861248
[startup+1302.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 13896
/proc/meminfo: memFree=26843972/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=891680 CPUtime=1302.05 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 369836 0 0 0 126396 3809 0 0 20 0 1 0 336329228 913080320 219212 33554432000 4194304 8395647 140736293092400 140736293087960 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 222920 219212 624 1026 0 221890 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 891680
[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 13896
/proc/meminfo: memFree=26817468/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=910384 CPUtime=1362.04 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 377454 0 0 0 132213 3991 0 0 20 0 1 0 336329228 932233216 223947 33554432000 4194304 8395647 140736293092400 140736293088120 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 227596 223947 624 1026 0 226566 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 910384
[startup+1422.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 13896
/proc/meminfo: memFree=26776208/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=940272 CPUtime=1422.03 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 385010 0 0 0 138040 4163 0 0 20 0 1 0 336329228 962838528 231499 33554432000 4194304 8395647 140736293092400 140736293088008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 235068 231499 624 1026 0 234038 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 940272
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 13896
/proc/meminfo: memFree=26739716/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=964456 CPUtime=1482.02 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 391100 0 0 0 143872 4330 0 0 20 0 1 0 336329228 987602944 237794 33554432000 4194304 8395647 140736293092400 140736293088008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 241114 237794 624 1026 0 240084 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 964456
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 13896
/proc/meminfo: memFree=26702640/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=989300 CPUtime=1542.01 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 397310 0 0 0 149705 4496 0 0 20 0 1 0 336329228 1013043200 245026 33554432000 4194304 8395647 140736293092400 140736293087912 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 247325 245026 624 1026 0 246295 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 989300
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13897
/proc/meminfo: memFree=26671148/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=1016440 CPUtime=1601.99 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 404095 0 0 0 155529 4670 0 0 20 0 1 0 336329228 1040834560 251811 33554432000 4194304 8395647 140736293092400 140736293087800 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 254110 251811 624 1026 0 253080 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1016440
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13897
/proc/meminfo: memFree=26644140/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=1037176 CPUtime=1661.98 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 409279 0 0 0 161367 4831 0 0 20 0 1 0 336329228 1062068224 256995 33554432000 4194304 8395647 140736293092400 140736293087800 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 259294 256995 624 1026 0 258264 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1037176
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13897
/proc/meminfo: memFree=26611960/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=1062648 CPUtime=1721.98 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 415679 0 0 0 167202 4996 0 0 20 0 1 0 336329228 1088151552 263395 33554432000 4194304 8395647 140736293092400 140736293087656 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 265662 263395 624 1026 0 264632 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1062648
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13900
/proc/meminfo: memFree=26578728/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=1091512 CPUtime=1781.97 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 422895 0 0 0 173036 5161 0 0 20 0 1 0 336329228 1117708288 270611 33554432000 4194304 8395647 140736293092400 140736293087960 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 272878 270611 624 1026 0 271848 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1091512
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13900
/proc/meminfo: memFree=26577616/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=1092536 CPUtime=1785.27 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 423119 0 0 0 173357 5170 0 0 20 0 1 0 336329228 1118756864 270835 33554432000 4194304 8395647 140736293092400 140736293087800 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 273134 270835 624 1026 0 272104 0
Current children cumulated CPU time (s) 1785.27
Current children cumulated vsize (KiB) 1092536
[startup+1788.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13900
/proc/meminfo: memFree=26576524/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=1093688 CPUtime=1788.46 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 423407 0 0 0 173668 5178 0 0 20 0 1 0 336329228 1119936512 271123 33554432000 4194304 8395647 140736293092400 140736293088008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 273422 271123 624 1026 0 272392 0
Current children cumulated CPU time (s) 1788.46
Current children cumulated vsize (KiB) 1093688
[startup+1790.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13900
/proc/meminfo: memFree=26575904/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=1094200 CPUtime=1790.07 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 423537 0 0 0 173825 5182 0 0 20 0 1 0 336329228 1120460800 271253 33554432000 4194304 8395647 140736293092400 140736293087208 6345370 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 273550 271253 626 1026 0 272520 0
Current children cumulated CPU time (s) 1790.07
Current children cumulated vsize (KiB) 1094200
[startup+1791.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13900
/proc/meminfo: memFree=26576092/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=1094200 CPUtime=1790.87 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 423537 0 0 0 173905 5182 0 0 20 0 1 0 336329228 1120460800 271253 33554432000 4194304 8395647 140736293092400 140736293088232 6345370 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 273550 271253 626 1026 0 272520 0
Current children cumulated CPU time (s) 1790.87
Current children cumulated vsize (KiB) 1094200
[startup+1792.01 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13900
/proc/meminfo: memFree=26576092/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=1094200 CPUtime=1791.68 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 423537 0 0 0 173986 5182 0 0 20 0 1 0 336329228 1120460800 271253 33554432000 4194304 8395647 140736293092400 140736293088232 4664167 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 273550 271253 626 1026 0 272520 0
Current children cumulated CPU time (s) 1791.68
Current children cumulated vsize (KiB) 1094200
[startup+1792.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13900
/proc/meminfo: memFree=26576092/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=1094200 CPUtime=1792.07 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 423537 0 0 0 174025 5182 0 0 20 0 1 0 336329228 1120460800 271253 33554432000 4194304 8395647 140736293092400 140736293088232 6345229 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 273550 271253 626 1026 0 272520 0
Current children cumulated CPU time (s) 1792.07
Current children cumulated vsize (KiB) 1094200
[startup+1792.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13900
/proc/meminfo: memFree=26576092/32873648 swapFree=6864/6864
[pid=13823] ppid=13821 vsize=1094200 CPUtime=1792.17 cores=1,3,5,7
/proc/13823/stat : 13823 (pbscip.linux.x8) R 13821 13823 11712 0 -1 4202496 423537 0 0 0 174035 5182 0 0 20 0 1 0 336329228 1120460800 271253 33554432000 4194304 8395647 140736293092400 140736293088232 6345370 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13823/statm: 273550 271253 626 1026 0 272520 0
Current children cumulated CPU time (s) 1792.17
Current children cumulated vsize (KiB) 1094200
Child status: 0
Real time (s): 1792.53
CPU time (s): 1792.21
CPU user time (s): 1740.37
CPU system time (s): 51.8361
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 1094200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1740.37
system time used= 51.8361
maximum resident set size= 1085012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423540
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= 104
involuntary context switches= 1833
runsolver used 2.6476 second user time and 7.17291 second system time
The end