0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3452526-1307096434.opb>
0.00/0.00 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 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.00 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 7 deleted constraints, 0 added 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 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.01 c 6 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.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.4
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 = 1800
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 # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
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 | 32 | - | 293k| 0 | 6 | 50 | 20 | 50 | 6 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 107 | - | 341k| 0 | 9 | 50 | 28 | 50 | 11 | 5 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 113 | - | 372k| 0 | 9 | 50 | 28 | 50 | 15 | 9 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 119 | - | 401k| 0 | 11 | 50 | 28 | 50 | 20 | 14 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 121 | - | 410k| 0 | 13 | 50 | 28 | 50 | 22 | 16 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 125 | - | 417k| 0 | 16 | 50 | 28 | 50 | 24 | 18 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 131 | - | 422k| 0 | 17 | 50 | 28 | 50 | 26 | 20 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 2 | 131 | - | 423k| 0 | 17 | 50 | 28 | 50 | 26 | 20 | 14 | 12 | 0.000000e+00 | -- | Inf
1.49/1.56 c 1.6s| 10000 | 3714 | 23815 | 2.4 |3824k| 44 | - | 50 |2705 | 50 | 17 | 20 |4555 | 525 | 0.000000e+00 | -- | Inf
2.99/3.01 c 3.0s| 20000 | 6783 | 46937 | 2.3 |5582k| 44 | 6 | 50 |1625 | 50 | 17 | 20 |9534 | 689 | 0.000000e+00 | -- | Inf
4.29/4.39 c 4.4s| 30000 | 9660 | 70159 | 2.3 |7613k| 44 | 6 | 50 |2117 | 50 | 17 | 20 | 14k| 834 | 0.000000e+00 | -- | Inf
5.79/5.81 c 5.8s| 40000 | 12417 | 93400 | 2.3 |9475k| 44 | - | 50 |2032 | 50 | 17 | 20 | 19k| 939 | 0.000000e+00 | -- | Inf
7.20/7.23 c 7.2s| 50000 | 15036 |115928 | 2.3 | 11M| 44 | 6 | 50 |2050 | 50 | 17 | 20 | 25k|1009 | 0.000000e+00 | -- | Inf
8.59/8.65 c 8.6s| 60000 | 17766 |139171 | 2.3 | 13M| 44 | - | 50 |2316 | 50 | 17 | 20 | 30k|1072 | 0.000000e+00 | -- | Inf
10.09/10.10 c 10.1s| 70000 | 20303 |162081 | 2.3 | 14M| 44 | 6 | 50 |2133 | 50 | 17 | 20 | 35k|1138 | 0.000000e+00 | -- | Inf
11.39/11.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.39/11.49 c 11.5s| 80000 | 23147 |185106 | 2.3 | 17M| 44 | 6 | 50 |2698 | 50 | 17 | 20 | 40k|1193 | 0.000000e+00 | -- | Inf
12.89/12.98 c 13.0s| 90000 | 25522 |207479 | 2.3 | 18M| 44 | - | 50 |2204 | 50 | 17 | 20 | 46k|1238 | 0.000000e+00 | -- | Inf
14.31/14.35 c 14.4s|100000 | 28735 |230840 | 2.3 | 20M| 44 | - | 50 |2935 | 50 | 17 | 20 | 51k|1286 | 0.000000e+00 | -- | Inf
15.79/15.87 c 15.9s|110000 | 31114 |253391 | 2.3 | 22M| 44 | - | 50 |2818 | 50 | 17 | 20 | 56k|1340 | 0.000000e+00 | -- | Inf
17.29/17.36 c 17.4s|120000 | 33561 |276551 | 2.3 | 24M| 44 | - | 50 |2745 | 50 | 17 | 20 | 61k|1394 | 0.000000e+00 | -- | Inf
18.80/18.87 c 18.9s|130000 | 35955 |299475 | 2.3 | 26M| 44 | - | 50 |2891 | 50 | 17 | 20 | 67k|1440 | 0.000000e+00 | -- | Inf
20.29/20.34 c 20.3s|140000 | 38367 |321748 | 2.3 | 28M| 44 | - | 50 |3106 | 50 | 17 | 20 | 72k|1480 | 0.000000e+00 | -- | Inf
21.80/21.82 c 21.8s|150000 | 40977 |343970 | 2.3 | 30M| 44 | 6 | 50 |3316 | 50 | 17 | 20 | 78k|1532 | 0.000000e+00 | -- | Inf
23.39/23.41 c 23.4s|160000 | 43087 |366508 | 2.3 | 31M| 44 | - | 50 |2928 | 50 | 17 | 20 | 83k|1576 | 0.000000e+00 | -- | Inf
24.89/24.93 c 24.9s|170000 | 45459 |388905 | 2.3 | 33M| 44 | 6 | 50 |3214 | 50 | 17 | 20 | 89k|1608 | 0.000000e+00 | -- | Inf
26.41/26.48 c 26.5s|180000 | 47713 |411110 | 2.3 | 35M| 44 | - | 50 |3175 | 50 | 17 | 20 | 94k|1644 | 0.000000e+00 | -- | Inf
27.89/27.99 c 28.0s|190000 | 50229 |434040 | 2.3 | 37M| 44 | 6 | 50 |3581 | 50 | 17 | 20 | 100k|1679 | 0.000000e+00 | -- | Inf
29.49/29.56 c 29.6s|200000 | 52492 |456211 | 2.3 | 39M| 44 | - | 50 |2817 | 0 | 0 | 20 | 105k|1719 | 0.000000e+00 | -- | Inf
31.09/31.12 c 31.1s|210000 | 54648 |478838 | 2.3 | 40M| 44 | - | 50 |3107 | 50 | 17 | 20 | 111k|1752 | 0.000000e+00 | -- | Inf
32.59/32.61 c 32.6s|220000 | 57093 |501251 | 2.3 | 42M| 44 | 6 | 50 |3042 | 50 | 17 | 20 | 116k|1792 | 0.000000e+00 | -- | Inf
34.10/34.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.10/34.14 c 34.1s|230000 | 59473 |523730 | 2.3 | 44M| 44 | - | 50 |3516 | 50 | 17 | 20 | 122k|1832 | 0.000000e+00 | -- | Inf
35.59/35.68 c 35.7s|240000 | 61841 |546167 | 2.3 | 46M| 44 | - | 50 |3612 | 0 | 0 | 20 | 127k|1869 | 0.000000e+00 | -- | Inf
37.19/37.27 c 37.3s|250000 | 63932 |568610 | 2.3 | 48M| 44 | - | 50 |3359 | 0 | 0 | 20 | 133k|1905 | 0.000000e+00 | -- | Inf
38.79/38.82 c 38.8s|260000 | 66134 |590695 | 2.3 | 49M| 44 | 6 | 50 |3553 | 50 | 17 | 20 | 138k|1940 | 0.000000e+00 | -- | Inf
40.29/40.38 c 40.4s|270000 | 68415 |613484 | 2.3 | 51M| 44 | - | 50 |3454 | 50 | 17 | 20 | 144k|1979 | 0.000000e+00 | -- | Inf
41.81/41.91 c 41.9s|280000 | 70643 |635667 | 2.3 | 53M| 44 | 6 | 50 |3164 | 50 | 17 | 20 | 149k|2011 | 0.000000e+00 | -- | Inf
43.39/43.49 c 43.5s|290000 | 72583 |658094 | 2.3 | 55M| 44 | 6 | 50 |3666 | 50 | 17 | 20 | 155k|2046 | 0.000000e+00 | -- | Inf
45.00/45.06 c 45.1s|300000 | 74845 |680139 | 2.3 | 56M| 44 | - | 50 |3933 | 0 | 0 | 20 | 160k|2085 | 0.000000e+00 | -- | Inf
46.59/46.67 c 46.7s|310000 | 76885 |702224 | 2.3 | 58M| 44 | 6 | 50 |3441 | 50 | 17 | 20 | 166k|2123 | 0.000000e+00 | -- | Inf
48.09/48.18 c 48.2s|320000 | 79153 |723940 | 2.3 | 60M| 44 | - | 50 |3904 | 50 | 17 | 20 | 171k|2155 | 0.000000e+00 | -- | Inf
49.69/49.79 c 49.8s|330000 | 81291 |746380 | 2.3 | 62M| 44 | 6 | 50 |3850 | 50 | 17 | 20 | 177k|2190 | 0.000000e+00 | -- | Inf
51.40/51.44 c 51.4s|340000 | 83280 |768368 | 2.3 | 63M| 44 | - | 50 |3362 | 50 | 17 | 20 | 183k|2214 | 0.000000e+00 | -- | Inf
52.81/52.90 c 52.9s|350000 | 86124 |791263 | 2.3 | 66M| 44 | - | 50 |5085 | 0 | 0 | 20 | 188k|2243 | 0.000000e+00 | -- | Inf
54.50/54.56 c 54.6s|360000 | 88433 |813676 | 2.3 | 67M| 44 | 6 | 50 |3617 | 50 | 17 | 20 | 193k|2282 | 0.000000e+00 | -- | Inf
56.11/56.19 c 56.2s|370000 | 90527 |835957 | 2.3 | 69M| 44 | 6 | 50 |3407 | 50 | 17 | 20 | 199k|2322 | 0.000000e+00 | -- | Inf
57.80/57.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.80/57.80 c 57.8s|380000 | 92574 |858438 | 2.3 | 71M| 44 | 6 | 50 |3867 | 50 | 17 | 20 | 204k|2351 | 0.000000e+00 | -- | Inf
59.29/59.39 c 59.4s|390000 | 94830 |880404 | 2.3 | 72M| 44 | - | 50 |3828 | 50 | 17 | 20 | 210k|2384 | 0.000000e+00 | -- | Inf
60.89/60.99 c 61.0s|400000 | 96919 |902841 | 2.3 | 74M| 44 | 6 | 50 |4007 | 50 | 17 | 20 | 215k|2421 | 0.000000e+00 | -- | Inf
62.59/62.63 c 62.6s|410000 | 99001 |925274 | 2.3 | 76M| 44 | 6 | 50 |4028 | 50 | 17 | 20 | 221k|2451 | 0.000000e+00 | -- | Inf
64.10/64.18 c 64.2s|420000 |101490 |948005 | 2.3 | 78M| 44 | 6 | 50 |4263 | 50 | 17 | 20 | 226k|2481 | 0.000000e+00 | -- | Inf
65.79/65.80 c 65.8s|430000 |103672 |969992 | 2.3 | 79M| 44 | - | 50 |4029 | 50 | 17 | 20 | 232k|2507 | 0.000000e+00 | -- | Inf
67.29/67.35 c 67.3s|440000 |106032 |991765 | 2.3 | 81M| 44 | 6 | 50 |4151 | 50 | 17 | 20 | 237k|2540 | 0.000000e+00 | -- | Inf
68.89/68.98 c 69.0s|450000 |108178 | 1014k| 2.3 | 83M| 44 | - | 50 |4169 | 50 | 17 | 20 | 243k|2564 | 0.000000e+00 | -- | Inf
70.60/70.62 c 70.6s|460000 |110275 | 1036k| 2.3 | 85M| 44 | 6 | 50 |3910 | 50 | 17 | 20 | 248k|2595 | 0.000000e+00 | -- | Inf
72.20/72.22 c 72.2s|470000 |112400 | 1058k| 2.3 | 86M| 44 | 6 | 50 |3852 | 50 | 17 | 20 | 254k|2612 | 0.000000e+00 | -- | Inf
73.89/73.90 c 73.9s|480000 |114199 | 1079k| 2.2 | 88M| 44 | 6 | 50 |3215 | 50 | 17 | 20 | 260k|2640 | 0.000000e+00 | -- | Inf
75.40/75.49 c 75.5s|490000 |116372 | 1102k| 2.2 | 90M| 44 | - | 50 |3722 | 50 | 17 | 20 | 265k|2675 | 0.000000e+00 | -- | Inf
77.11/77.13 c 77.1s|500000 |118493 | 1125k| 2.3 | 92M| 44 | 6 | 50 |4636 | 50 | 17 | 20 | 271k|2706 | 0.000000e+00 | -- | Inf
78.79/78.80 c 78.8s|510000 |120531 | 1147k| 2.2 | 93M| 44 | - | 50 |4667 | 0 | 0 | 20 | 277k|2731 | 0.000000e+00 | -- | Inf
80.41/80.46 c 80.5s|520000 |122548 | 1169k| 2.2 | 95M| 44 | 6 | 50 |4582 | 50 | 17 | 20 | 282k|2768 | 0.000000e+00 | -- | Inf
82.09/82.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.09/82.10 c 82.1s|530000 |124675 | 1191k| 2.2 | 97M| 44 | - | 50 |4557 | 50 | 17 | 20 | 288k|2792 | 0.000000e+00 | -- | Inf
83.79/83.80 c 83.8s|540000 |126765 | 1213k| 2.2 | 99M| 44 | 6 | 50 |4309 | 50 | 17 | 20 | 293k|2813 | 0.000000e+00 | -- | Inf
85.39/85.43 c 85.4s|550000 |128856 | 1236k| 2.2 | 100M| 44 | - | 50 |4049 | 50 | 17 | 20 | 299k|2836 | 0.000000e+00 | -- | Inf
87.09/87.11 c 87.1s|560000 |130753 | 1258k| 2.2 | 102M| 44 | - | 50 |4014 | 50 | 17 | 20 | 304k|2860 | 0.000000e+00 | -- | Inf
88.69/88.75 c 88.7s|570000 |132908 | 1280k| 2.2 | 103M| 44 | 6 | 50 |3646 | 50 | 17 | 20 | 310k|2885 | 0.000000e+00 | -- | Inf
90.31/90.37 c 90.4s|580000 |134991 | 1303k| 2.2 | 105M| 44 | 6 | 50 |3927 | 50 | 17 | 20 | 315k|2905 | 0.000000e+00 | -- | Inf
91.89/91.97 c 92.0s|590000 |137081 | 1325k| 2.2 | 107M| 44 | 6 | 50 |3979 | 50 | 17 | 20 | 321k|2929 | 0.000000e+00 | -- | Inf
93.50/93.59 c 93.6s|600000 |139201 | 1347k| 2.2 | 109M| 44 | - | 50 |4234 | 50 | 17 | 20 | 326k|2943 | 0.000000e+00 | -- | Inf
95.20/95.21 c 95.2s|610000 |141263 | 1369k| 2.2 | 110M| 44 | 6 | 50 |4575 | 50 | 17 | 20 | 332k|2967 | 0.000000e+00 | -- | Inf
96.81/96.85 c 96.8s|620000 |143405 | 1391k| 2.2 | 112M| 44 | - | 50 |4331 | 50 | 17 | 20 | 337k|2993 | 0.000000e+00 | -- | Inf
98.49/98.54 c 98.5s|630000 |145323 | 1414k| 2.2 | 114M| 44 | - | 50 |4261 | 50 | 17 | 20 | 343k|3011 | 0.000000e+00 | -- | Inf
100.21/100.22 c 100s|640000 |147428 | 1437k| 2.2 | 116M| 44 | 6 | 50 |4962 | 50 | 17 | 20 | 349k|3030 | 0.000000e+00 | -- | Inf
101.90/101.93 c 102s|650000 |149472 | 1459k| 2.2 | 117M| 44 | 6 | 50 |4625 | 50 | 17 | 20 | 354k|3054 | 0.000000e+00 | -- | Inf
103.51/103.59 c 104s|660000 |151811 | 1482k| 2.2 | 119M| 44 | 6 | 50 |4954 | 50 | 17 | 20 | 360k|3078 | 0.000000e+00 | -- | Inf
105.19/105.23 c 105s|670000 |154097 | 1504k| 2.2 | 121M| 44 | 6 | 50 |5973 | 50 | 17 | 20 | 365k|3104 | 0.000000e+00 | -- | Inf
106.90/106.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.90/106.96 c 107s|680000 |156285 | 1526k| 2.2 | 123M| 44 | - | 50 |5179 | 50 | 17 | 20 | 370k|3124 | 0.000000e+00 | -- | Inf
108.70/108.72 c 109s|690000 |158269 | 1548k| 2.2 | 124M| 44 | 6 | 50 |4512 | 50 | 17 | 20 | 376k|3142 | 0.000000e+00 | -- | Inf
110.39/110.41 c 110s|700000 |160257 | 1571k| 2.2 | 126M| 44 | - | 50 |4771 | 50 | 17 | 20 | 382k|3167 | 0.000000e+00 | -- | Inf
112.09/112.19 c 112s|710000 |162087 | 1594k| 2.2 | 128M| 44 | 6 | 50 |3598 | 50 | 17 | 20 | 388k|3188 | 0.000000e+00 | -- | Inf
113.70/113.79 c 114s|720000 |164156 | 1617k| 2.2 | 129M| 44 | - | 50 |4167 | 50 | 17 | 20 | 393k|3206 | 0.000000e+00 | -- | Inf
115.40/115.44 c 115s|730000 |166354 | 1639k| 2.2 | 131M| 44 | 6 | 50 |4475 | 50 | 17 | 20 | 399k|3221 | 0.000000e+00 | -- | Inf
117.10/117.11 c 117s|740000 |168323 | 1661k| 2.2 | 133M| 44 | 6 | 50 |4477 | 50 | 17 | 20 | 404k|3234 | 0.000000e+00 | -- | Inf
118.69/118.78 c 119s|750000 |170564 | 1683k| 2.2 | 135M| 44 | 6 | 50 |4992 | 50 | 17 | 20 | 409k|3269 | 0.000000e+00 | -- | Inf
120.49/120.50 c 120s|760000 |172716 | 1706k| 2.2 | 137M| 44 | 6 | 50 |5258 | 50 | 17 | 20 | 415k|3287 | 0.000000e+00 | -- | Inf
122.11/122.15 c 122s|770000 |174975 | 1729k| 2.2 | 139M| 44 | 6 | 50 |6690 | 50 | 17 | 20 | 421k|3299 | 0.000000e+00 | -- | Inf
123.89/123.94 c 124s|780000 |177090 | 1751k| 2.2 | 140M| 44 | 6 | 50 |5396 | 50 | 17 | 20 | 426k|3317 | 0.000000e+00 | -- | Inf
125.59/125.60 c 126s|790000 |179395 | 1774k| 2.2 | 142M| 44 | - | 50 |5518 | 50 | 17 | 20 | 431k|3332 | 0.000000e+00 | -- | Inf
127.30/127.31 c 127s|800000 |181695 | 1796k| 2.2 | 144M| 44 | 6 | 50 |5500 | 50 | 17 | 20 | 437k|3348 | 0.000000e+00 | -- | Inf
129.10/129.10 c 129s|810000 |183624 | 1818k| 2.2 | 146M| 44 | 6 | 50 |4957 | 50 | 17 | 20 | 443k|3371 | 0.000000e+00 | -- | Inf
130.80/130.84 c 131s|820000 |185469 | 1840k| 2.2 | 147M| 44 | 6 | 50 |5190 | 50 | 17 | 20 | 448k|3397 | 0.000000e+00 | -- | Inf
132.59/132.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.59/132.63 c 133s|830000 |187274 | 1862k| 2.2 | 149M| 44 | - | 50 |4142 | 50 | 17 | 20 | 454k|3411 | 0.000000e+00 | -- | Inf
134.31/134.33 c 134s|840000 |189223 | 1884k| 2.2 | 150M| 44 | - | 50 |4227 | 50 | 17 | 20 | 460k|3427 | 0.000000e+00 | -- | Inf
136.00/136.03 c 136s|850000 |191332 | 1907k| 2.2 | 152M| 44 | 6 | 50 |4924 | 50 | 17 | 20 | 465k|3444 | 0.000000e+00 | -- | Inf
137.70/137.78 c 138s|860000 |193237 | 1929k| 2.2 | 154M| 44 | 6 | 50 |4717 | 50 | 17 | 20 | 471k|3461 | 0.000000e+00 | -- | Inf
139.49/139.51 c 140s|870000 |195132 | 1951k| 2.2 | 155M| 44 | - | 50 |4791 | 50 | 17 | 20 | 477k|3475 | 0.000000e+00 | -- | Inf
141.20/141.21 c 141s|880000 |197067 | 1973k| 2.2 | 157M| 44 | 6 | 50 |4616 | 50 | 17 | 20 | 482k|3491 | 0.000000e+00 | -- | Inf
142.89/142.99 c 143s|890000 |198776 | 1995k| 2.2 | 158M| 44 | 6 | 50 |4209 | 50 | 17 | 20 | 488k|3518 | 0.000000e+00 | -- | Inf
144.60/144.60 c 145s|900000 |201055 | 2018k| 2.2 | 161M| 44 | 6 | 50 |5459 | 50 | 17 | 20 | 494k|3539 | 0.000000e+00 | -- | Inf
146.31/146.33 c 146s|910000 |203205 | 2040k| 2.2 | 162M| 44 | - | 50 |4880 | 50 | 17 | 20 | 499k|3560 | 0.000000e+00 | -- | Inf
148.10/148.12 c 148s|920000 |204998 | 2062k| 2.2 | 164M| 44 | - | 50 |4541 | 50 | 17 | 20 | 505k|3579 | 0.000000e+00 | -- | Inf
149.80/149.82 c 150s|930000 |206897 | 2085k| 2.2 | 166M| 44 | 6 | 50 |5316 | 50 | 17 | 20 | 510k|3596 | 0.000000e+00 | -- | Inf
151.60/151.66 c 152s|940000 |208693 | 2107k| 2.2 | 167M| 44 | 6 | 50 |4637 | 50 | 17 | 20 | 516k|3614 | 0.000000e+00 | -- | Inf
153.30/153.34 c 153s|950000 |210674 | 2130k| 2.2 | 169M| 44 | - | 50 |5904 | 0 | 0 | 20 | 522k|3633 | 0.000000e+00 | -- | Inf
155.00/155.03 c 155s|960000 |213051 | 2152k| 2.2 | 171M| 44 | 6 | 50 |5476 | 50 | 17 | 20 | 527k|3649 | 0.000000e+00 | -- | Inf
156.79/156.86 c 157s|970000 |214867 | 2175k| 2.2 | 172M| 44 | 6 | 50 |4787 | 50 | 17 | 20 | 533k|3666 | 0.000000e+00 | -- | Inf
158.51/158.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.51/158.52 c 159s|980000 |217065 | 2196k| 2.2 | 174M| 44 | - | 50 |5428 | 50 | 17 | 20 | 538k|3687 | 0.000000e+00 | -- | Inf
160.09/160.19 c 160s|990000 |219364 | 2219k| 2.2 | 176M| 44 | - | 50 |5615 | 50 | 17 | 20 | 543k|3702 | 0.000000e+00 | -- | Inf
161.90/161.95 c 162s| 1000k|221516 | 2241k| 2.2 | 177M| 44 | 6 | 50 |4754 | 50 | 17 | 20 | 549k|3720 | 0.000000e+00 | -- | Inf
163.69/163.78 c 164s| 1010k|223259 | 2264k| 2.2 | 179M| 44 | 6 | 50 |4824 | 50 | 17 | 20 | 555k|3746 | 0.000000e+00 | -- | Inf
165.49/165.51 c 166s| 1020k|225230 | 2286k| 2.2 | 181M| 44 | 6 | 50 |4614 | 50 | 17 | 20 | 560k|3765 | 0.000000e+00 | -- | Inf
167.31/167.33 c 167s| 1030k|226922 | 2308k| 2.2 | 182M| 44 | - | 50 |4794 | 50 | 17 | 20 | 566k|3785 | 0.000000e+00 | -- | Inf
169.00/169.08 c 169s| 1040k|228769 | 2331k| 2.2 | 184M| 44 | 6 | 50 |5416 | 50 | 17 | 20 | 572k|3806 | 0.000000e+00 | -- | Inf
170.79/170.82 c 171s| 1050k|230817 | 2352k| 2.2 | 186M| 44 | - | 50 |4640 | 50 | 17 | 20 | 577k|3818 | 0.000000e+00 | -- | Inf
172.49/172.55 c 173s| 1060k|232690 | 2374k| 2.2 | 187M| 44 | 6 | 50 |4744 | 50 | 17 | 20 | 583k|3832 | 0.000000e+00 | -- | Inf
174.30/174.33 c 174s| 1070k|234385 | 2396k| 2.2 | 189M| 44 | 6 | 50 |4024 | 50 | 17 | 20 | 589k|3848 | 0.000000e+00 | -- | Inf
175.90/176.00 c 176s| 1080k|236487 | 2418k| 2.2 | 191M| 44 | - | 50 |4777 | 50 | 17 | 20 | 594k|3863 | 0.000000e+00 | -- | Inf
177.70/177.73 c 178s| 1090k|238410 | 2441k| 2.2 | 192M| 44 | - | 50 |4410 | 50 | 17 | 20 | 600k|3878 | 0.000000e+00 | -- | Inf
179.32/179.39 c 179s| 1100k|240379 | 2464k| 2.2 | 194M| 44 | - | 50 |5126 | 50 | 17 | 20 | 606k|3896 | 0.000000e+00 | -- | Inf
181.09/181.12 c 181s| 1110k|242343 | 2486k| 2.2 | 195M| 44 | 6 | 50 |4305 | 50 | 17 | 20 | 611k|3914 | 0.000000e+00 | -- | Inf
182.80/182.87 c 183s| 1120k|244156 | 2509k| 2.2 | 197M| 44 | 6 | 50 |4537 | 50 | 17 | 20 | 617k|3942 | 0.000000e+00 | -- | Inf
184.50/184.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.50/184.57 c 185s| 1130k|246116 | 2531k| 2.2 | 199M| 44 | 6 | 50 |5087 | 50 | 17 | 20 | 623k|3957 | 0.000000e+00 | -- | Inf
186.40/186.45 c 186s| 1140k|247818 | 2553k| 2.2 | 200M| 44 | 6 | 50 |4315 | 50 | 17 | 20 | 628k|3984 | 0.000000e+00 | -- | Inf
188.12/188.17 c 188s| 1150k|249668 | 2575k| 2.2 | 202M| 44 | 6 | 50 |4701 | 50 | 17 | 20 | 634k|4002 | 0.000000e+00 | -- | Inf
189.80/189.81 c 190s| 1160k|251911 | 2597k| 2.2 | 204M| 44 | - | 50 |5392 | 50 | 17 | 20 | 639k|4023 | 0.000000e+00 | -- | Inf
191.60/191.67 c 192s| 1170k|253766 | 2620k| 2.2 | 205M| 44 | 6 | 50 |4485 | 50 | 17 | 20 | 645k|4043 | 0.000000e+00 | -- | Inf
193.39/193.42 c 193s| 1180k|255562 | 2642k| 2.2 | 207M| 44 | - | 50 |5073 | 0 | 0 | 20 | 651k|4061 | 0.000000e+00 | -- | Inf
195.19/195.20 c 195s| 1190k|257428 | 2664k| 2.2 | 209M| 44 | 6 | 50 |3950 | 50 | 17 | 20 | 656k|4076 | 0.000000e+00 | -- | Inf
196.79/196.91 c 197s| 1200k|259312 | 2687k| 2.2 | 210M| 44 | - | 50 |4745 | 0 | 0 | 20 | 662k|4089 | 0.000000e+00 | -- | Inf
198.70/198.72 c 199s| 1210k|261149 | 2709k| 2.2 | 212M| 44 | 6 | 50 |4320 | 50 | 17 | 20 | 668k|4103 | 0.000000e+00 | -- | Inf
200.40/200.42 c 200s| 1220k|263277 | 2731k| 2.2 | 214M| 44 | - | 50 |4628 | 50 | 17 | 20 | 673k|4121 | 0.000000e+00 | -- | Inf
202.20/202.22 c 202s| 1230k|265097 | 2753k| 2.2 | 215M| 44 | 6 | 50 |4271 | 50 | 17 | 20 | 679k|4143 | 0.000000e+00 | -- | Inf
203.80/203.86 c 204s| 1240k|267160 | 2776k| 2.2 | 217M| 44 | 6 | 50 |5633 | 50 | 17 | 20 | 685k|4161 | 0.000000e+00 | -- | Inf
205.71/205.75 c 206s| 1250k|268824 | 2798k| 2.2 | 218M| 44 | - | 50 |4467 | 50 | 17 | 20 | 691k|4174 | 0.000000e+00 | -- | Inf
207.50/207.52 c 208s| 1260k|270571 | 2820k| 2.2 | 220M| 44 | - | 50 |4481 | 50 | 17 | 20 | 696k|4193 | 0.000000e+00 | -- | Inf
209.20/209.26 c 209s| 1270k|272626 | 2842k| 2.2 | 222M| 44 | 6 | 50 |4475 | 50 | 17 | 20 | 702k|4209 | 0.000000e+00 | -- | Inf
210.80/210.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.80/210.85 c 211s| 1280k|275538 | 2865k| 2.2 | 224M| 44 | 6 | 50 |6548 | 50 | 17 | 20 | 707k|4222 | 0.000000e+00 | -- | Inf
212.60/212.64 c 213s| 1290k|277962 | 2888k| 2.2 | 226M| 44 | 6 | 50 |7236 | 50 | 17 | 20 | 712k|4238 | 0.000000e+00 | -- | Inf
214.51/214.61 c 215s| 1300k|279928 | 2911k| 2.2 | 228M| 44 | 6 | 50 |5679 | 50 | 17 | 20 | 718k|4253 | 0.000000e+00 | -- | Inf
216.40/216.48 c 216s| 1310k|281752 | 2933k| 2.2 | 229M| 44 | 6 | 50 |5345 | 50 | 17 | 20 | 724k|4268 | 0.000000e+00 | -- | Inf
218.30/218.38 c 218s| 1320k|283355 | 2955k| 2.2 | 231M| 44 | 6 | 50 |5052 | 50 | 17 | 20 | 730k|4282 | 0.000000e+00 | -- | Inf
219.90/219.99 c 220s| 1330k|286049 | 2978k| 2.2 | 233M| 44 | 6 | 50 |6013 | 50 | 17 | 20 | 734k|4303 | 0.000000e+00 | -- | Inf
221.80/221.87 c 222s| 1340k|287990 | 3000k| 2.2 | 234M| 44 | 6 | 50 |4704 | 50 | 17 | 20 | 740k|4316 | 0.000000e+00 | -- | Inf
223.60/223.62 c 224s| 1350k|289953 | 3022k| 2.2 | 236M| 44 | 6 | 50 |5065 | 50 | 17 | 20 | 746k|4333 | 0.000000e+00 | -- | Inf
225.30/225.40 c 225s| 1360k|292053 | 3046k| 2.2 | 238M| 44 | - | 50 |5554 | 50 | 17 | 20 | 751k|4349 | 0.000000e+00 | -- | Inf
227.20/227.22 c 227s| 1370k|293982 | 3068k| 2.2 | 239M| 44 | - | 50 |5486 | 50 | 17 | 20 | 757k|4361 | 0.000000e+00 | -- | Inf
228.91/228.92 c 229s| 1380k|296283 | 3091k| 2.2 | 241M| 44 | 6 | 50 |6490 | 50 | 17 | 20 | 762k|4380 | 0.000000e+00 | -- | Inf
230.70/230.70 c 231s| 1390k|298322 | 3113k| 2.2 | 243M| 44 | - | 50 |6789 | 50 | 17 | 20 | 768k|4393 | 0.000000e+00 | -- | Inf
232.60/232.63 c 233s| 1400k|300111 | 3137k| 2.2 | 245M| 44 | 6 | 50 |6219 | 50 | 17 | 20 | 773k|4407 | 0.000000e+00 | -- | Inf
234.42/234.44 c 234s| 1410k|302153 | 3160k| 2.2 | 247M| 44 | 6 | 50 |6879 | 50 | 17 | 20 | 779k|4422 | 0.000000e+00 | -- | Inf
236.30/236.37 c 236s| 1420k|304098 | 3182k| 2.2 | 248M| 44 | 6 | 50 |5329 | 50 | 17 | 20 | 784k|4438 | 0.000000e+00 | -- | Inf
238.00/238.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.00/238.05 c 238s| 1430k|306548 | 3206k| 2.2 | 250M| 44 | 6 | 50 |6949 | 50 | 17 | 20 | 789k|4448 | 0.000000e+00 | -- | Inf
239.91/239.96 c 240s| 1440k|308640 | 3229k| 2.2 | 252M| 44 | - | 50 |6313 | 0 | 0 | 20 | 795k|4463 | 0.000000e+00 | -- | Inf
241.80/241.84 c 242s| 1450k|310723 | 3252k| 2.2 | 253M| 44 | 6 | 50 |6178 | 50 | 17 | 20 | 801k|4475 | 0.000000e+00 | -- | Inf
243.69/243.75 c 244s| 1460k|312516 | 3274k| 2.2 | 255M| 44 | - | 50 |5791 | 50 | 17 | 20 | 806k|4489 | 0.000000e+00 | -- | Inf
245.50/245.58 c 246s| 1470k|314451 | 3296k| 2.2 | 257M| 44 | 6 | 50 |5973 | 50 | 17 | 20 | 812k|4509 | 0.000000e+00 | -- | Inf
247.30/247.31 c 247s| 1480k|316614 | 3318k| 2.2 | 259M| 44 | 6 | 50 |7114 | 50 | 17 | 20 | 817k|4527 | 0.000000e+00 | -- | Inf
249.20/249.27 c 249s| 1490k|318508 | 3341k| 2.2 | 260M| 44 | - | 50 |5513 | 50 | 17 | 20 | 823k|4542 | 0.000000e+00 | -- | Inf
251.10/251.18 c 251s| 1500k|320191 | 3362k| 2.2 | 261M| 44 | 6 | 50 |4697 | 50 | 17 | 20 | 829k|4561 | 0.000000e+00 | -- | Inf
252.90/252.93 c 253s| 1510k|322035 | 3385k| 2.2 | 263M| 44 | - | 50 |5337 | 50 | 17 | 20 | 834k|4576 | 0.000000e+00 | -- | Inf
254.60/254.69 c 255s| 1520k|324090 | 3409k| 2.2 | 265M| 44 | 6 | 50 |5160 | 50 | 17 | 20 | 840k|4589 | 0.000000e+00 | -- | Inf
256.50/256.55 c 257s| 1530k|325787 | 3431k| 2.2 | 266M| 44 | 6 | 50 |4803 | 50 | 17 | 20 | 846k|4603 | 0.000000e+00 | -- | Inf
258.20/258.28 c 258s| 1540k|327693 | 3454k| 2.2 | 268M| 44 | 6 | 50 |5735 | 50 | 17 | 20 | 852k|4619 | 0.000000e+00 | -- | Inf
260.00/260.07 c 260s| 1550k|329658 | 3476k| 2.2 | 270M| 44 | 6 | 50 |6070 | 50 | 17 | 20 | 857k|4635 | 0.000000e+00 | -- | Inf
261.81/261.89 c 262s| 1560k|331712 | 3498k| 2.2 | 272M| 44 | 6 | 50 |5419 | 50 | 17 | 20 | 863k|4654 | 0.000000e+00 | -- | Inf
263.70/263.71 c 264s| 1570k|333553 | 3520k| 2.2 | 273M| 44 | 6 | 50 |4572 | 50 | 17 | 20 | 868k|4664 | 0.000000e+00 | -- | Inf
265.40/265.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.40/265.48 c 265s| 1580k|335414 | 3543k| 2.2 | 275M| 44 | 6 | 50 |5360 | 50 | 17 | 20 | 874k|4680 | 0.000000e+00 | -- | Inf
267.32/267.35 c 267s| 1590k|337119 | 3565k| 2.2 | 276M| 44 | - | 50 |4932 | 50 | 17 | 20 | 880k|4694 | 0.000000e+00 | -- | Inf
269.20/269.25 c 269s| 1600k|338802 | 3588k| 2.2 | 278M| 44 | 6 | 50 |4822 | 50 | 17 | 20 | 885k|4704 | 0.000000e+00 | -- | Inf
271.10/271.12 c 271s| 1610k|340568 | 3610k| 2.2 | 279M| 44 | - | 50 |4880 | 0 | 0 | 20 | 891k|4716 | 0.000000e+00 | -- | Inf
272.92/272.98 c 273s| 1620k|342339 | 3632k| 2.2 | 281M| 44 | 6 | 50 |4513 | 50 | 17 | 20 | 897k|4731 | 0.000000e+00 | -- | Inf
274.70/274.72 c 275s| 1630k|344315 | 3655k| 2.2 | 283M| 44 | 6 | 50 |4958 | 50 | 17 | 20 | 902k|4742 | 0.000000e+00 | -- | Inf
276.40/276.40 c 276s| 1640k|346513 | 3677k| 2.2 | 285M| 44 | 6 | 50 |5595 | 50 | 17 | 20 | 908k|4759 | 0.000000e+00 | -- | Inf
278.20/278.26 c 278s| 1650k|348319 | 3699k| 2.2 | 286M| 44 | 6 | 50 |4937 | 50 | 17 | 20 | 914k|4776 | 0.000000e+00 | -- | Inf
280.00/280.07 c 280s| 1660k|350100 | 3722k| 2.2 | 288M| 44 | 6 | 50 |5187 | 50 | 17 | 20 | 919k|4787 | 0.000000e+00 | -- | Inf
281.90/281.91 c 282s| 1670k|351800 | 3744k| 2.2 | 289M| 44 | 6 | 50 |4821 | 50 | 17 | 20 | 925k|4803 | 0.000000e+00 | -- | Inf
283.70/283.72 c 284s| 1680k|353617 | 3766k| 2.2 | 291M| 44 | - | 50 |4652 | 50 | 17 | 20 | 931k|4823 | 0.000000e+00 | -- | Inf
285.41/285.42 c 285s| 1690k|355614 | 3788k| 2.2 | 293M| 44 | - | 50 |5991 | 50 | 17 | 20 | 936k|4838 | 0.000000e+00 | -- | Inf
287.12/287.19 c 287s| 1700k|357743 | 3811k| 2.2 | 295M| 44 | - | 50 |6524 | 50 | 17 | 20 | 942k|4856 | 0.000000e+00 | -- | Inf
288.90/288.91 c 289s| 1710k|360271 | 3833k| 2.2 | 297M| 44 | 6 | 50 |7724 | 50 | 17 | 20 | 947k|4870 | 0.000000e+00 | -- | Inf
290.90/290.94 c 291s| 1720k|362123 | 3856k| 2.2 | 298M| 44 | 6 | 50 |6060 | 50 | 17 | 20 | 952k|4885 | 0.000000e+00 | -- | Inf
292.80/292.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.80/292.82 c 293s| 1730k|364145 | 3878k| 2.2 | 300M| 44 | 6 | 50 |5547 | 50 | 17 | 20 | 958k|4907 | 0.000000e+00 | -- | Inf
294.70/294.80 c 295s| 1740k|365863 | 3901k| 2.2 | 301M| 44 | 6 | 50 |4505 | 50 | 17 | 20 | 963k|4918 | 0.000000e+00 | -- | Inf
296.61/296.61 c 297s| 1750k|367682 | 3924k| 2.2 | 303M| 44 | - | 50 |5972 | 50 | 17 | 20 | 969k|4929 | 0.000000e+00 | -- | Inf
298.30/298.39 c 298s| 1760k|369787 | 3947k| 2.2 | 305M| 44 | 6 | 50 |6923 | 50 | 17 | 20 | 975k|4943 | 0.000000e+00 | -- | Inf
300.20/300.28 c 300s| 1770k|371820 | 3970k| 2.2 | 306M| 44 | - | 50 |6367 | 50 | 17 | 20 | 980k|4955 | 0.000000e+00 | -- | Inf
302.20/302.21 c 302s| 1780k|373510 | 3992k| 2.2 | 308M| 44 | - | 50 |5749 | 50 | 17 | 20 | 986k|4972 | 0.000000e+00 | -- | Inf
304.00/304.09 c 304s| 1790k|375396 | 4014k| 2.2 | 309M| 44 | 6 | 50 |4822 | 50 | 17 | 20 | 992k|4985 | 0.000000e+00 | -- | Inf
305.82/305.88 c 306s| 1800k|377201 | 4036k| 2.2 | 311M| 44 | 6 | 50 |5334 | 50 | 17 | 20 | 997k|5010 | 0.000000e+00 | -- | Inf
307.70/307.80 c 308s| 1810k|378888 | 4058k| 2.2 | 312M| 44 | - | 50 |4824 | 50 | 17 | 20 |1003k|5024 | 0.000000e+00 | -- | Inf
309.70/309.70 c 310s| 1820k|380555 | 4081k| 2.2 | 314M| 44 | - | 50 |5049 | 0 | 0 | 20 |1009k|5035 | 0.000000e+00 | -- | Inf
311.50/311.59 c 312s| 1830k|382202 | 4103k| 2.2 | 315M| 44 | 6 | 50 |4525 | 50 | 17 | 20 |1015k|5057 | 0.000000e+00 | -- | Inf
313.30/313.35 c 313s| 1840k|384168 | 4125k| 2.2 | 317M| 44 | 6 | 50 |5316 | 50 | 17 | 20 |1020k|5071 | 0.000000e+00 | -- | Inf
315.10/315.18 c 315s| 1850k|385968 | 4147k| 2.2 | 319M| 44 | 6 | 50 |5145 | 50 | 17 | 20 |1026k|5083 | 0.000000e+00 | -- | Inf
317.00/317.06 c 317s| 1860k|387559 | 4170k| 2.2 | 320M| 44 | - | 50 |4411 | 0 | 0 | 20 |1032k|5096 | 0.000000e+00 | -- | Inf
318.80/318.89 c 319s| 1870k|389193 | 4192k| 2.2 | 321M| 44 | 6 | 50 |4587 | 50 | 17 | 20 |1038k|5111 | 0.000000e+00 | -- | Inf
320.70/320.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.70/320.71 c 321s| 1880k|391032 | 4215k| 2.2 | 323M| 44 | 6 | 50 |4873 | 50 | 17 | 20 |1043k|5124 | 0.000000e+00 | -- | Inf
322.60/322.61 c 323s| 1890k|392579 | 4237k| 2.2 | 325M| 44 | 6 | 50 |5311 | 50 | 17 | 20 |1049k|5145 | 0.000000e+00 | -- | Inf
324.40/324.45 c 324s| 1900k|394428 | 4260k| 2.2 | 326M| 44 | - | 50 |5580 | 50 | 17 | 20 |1055k|5153 | 0.000000e+00 | -- | Inf
326.10/326.12 c 326s| 1910k|396863 | 4283k| 2.2 | 328M| 44 | 6 | 50 |6506 | 50 | 17 | 20 |1060k|5168 | 0.000000e+00 | -- | Inf
327.82/327.89 c 328s| 1920k|399273 | 4306k| 2.2 | 331M| 44 | 6 | 50 |7622 | 50 | 17 | 20 |1065k|5189 | 0.000000e+00 | -- | Inf
329.70/329.72 c 330s| 1930k|401619 | 4331k| 2.2 | 333M| 44 | 6 | 50 |8791 | 50 | 17 | 20 |1071k|5205 | 0.000000e+00 | -- | Inf
331.80/331.85 c 332s| 1940k|403587 | 4353k| 2.2 | 334M| 44 | 6 | 50 |6822 | 50 | 17 | 20 |1076k|5215 | 0.000000e+00 | -- | Inf
333.80/333.85 c 334s| 1950k|405386 | 4375k| 2.2 | 335M| 44 | 6 | 50 |5302 | 50 | 17 | 20 |1081k|5232 | 0.000000e+00 | -- | Inf
335.80/335.82 c 336s| 1960k|407031 | 4397k| 2.2 | 336M| 44 | - | 50 |5025 | 50 | 17 | 20 |1087k|5240 | 0.000000e+00 | -- | Inf
337.60/337.66 c 338s| 1970k|408789 | 4420k| 2.2 | 338M| 44 | - | 50 |5249 | 50 | 17 | 20 |1093k|5250 | 0.000000e+00 | -- | Inf
339.60/339.63 c 340s| 1980k|410332 | 4442k| 2.2 | 339M| 44 | 6 | 50 |4953 | 50 | 17 | 20 |1099k|5265 | 0.000000e+00 | -- | Inf
341.51/341.55 c 342s| 1990k|412145 | 4464k| 2.2 | 341M| 44 | 6 | 50 |4283 | 50 | 17 | 20 |1104k|5278 | 0.000000e+00 | -- | Inf
343.40/343.43 c 343s| 2000k|413682 | 4487k| 2.2 | 342M| 44 | - | 50 |4452 | 0 | 0 | 20 |1110k|5291 | 0.000000e+00 | -- | Inf
345.20/345.21 c 345s| 2010k|415484 | 4510k| 2.2 | 344M| 44 | - | 50 |5432 | 50 | 17 | 20 |1116k|5306 | 0.000000e+00 | -- | Inf
346.90/346.99 c 347s| 2020k|417682 | 4531k| 2.2 | 346M| 44 | - | 50 |6081 | 50 | 17 | 20 |1121k|5315 | 0.000000e+00 | -- | Inf
348.72/348.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.72/348.74 c 349s| 2030k|420087 | 4553k| 2.2 | 348M| 44 | - | 50 |6816 | 50 | 17 | 20 |1126k|5335 | 0.000000e+00 | -- | Inf
350.50/350.55 c 351s| 2040k|422129 | 4575k| 2.2 | 350M| 44 | 6 | 50 |7065 | 50 | 17 | 20 |1132k|5347 | 0.000000e+00 | -- | Inf
352.30/352.38 c 352s| 2050k|424172 | 4598k| 2.2 | 352M| 44 | - | 50 |7611 | 50 | 17 | 20 |1137k|5356 | 0.000000e+00 | -- | Inf
354.50/354.50 c 355s| 2060k|425567 | 4620k| 2.2 | 353M| 44 | 6 | 50 |5886 | 50 | 17 | 20 |1143k|5367 | 0.000000e+00 | -- | Inf
356.31/356.34 c 356s| 2070k|427730 | 4643k| 2.2 | 355M| 44 | 6 | 50 |6118 | 50 | 17 | 20 |1148k|5382 | 0.000000e+00 | -- | Inf
358.20/358.28 c 358s| 2080k|429374 | 4666k| 2.2 | 357M| 44 | 6 | 50 |6365 | 50 | 17 | 20 |1154k|5394 | 0.000000e+00 | -- | Inf
360.20/360.20 c 360s| 2090k|431338 | 4688k| 2.2 | 358M| 44 | 6 | 50 |6216 | 50 | 17 | 20 |1159k|5406 | 0.000000e+00 | -- | Inf
362.21/362.22 c 362s| 2100k|433034 | 4710k| 2.2 | 360M| 44 | 6 | 50 |6301 | 50 | 17 | 20 |1165k|5421 | 0.000000e+00 | -- | Inf
364.22/364.23 c 364s| 2110k|434807 | 4733k| 2.2 | 361M| 44 | 6 | 50 |5840 | 50 | 17 | 20 |1171k|5436 | 0.000000e+00 | -- | Inf
366.20/366.21 c 366s| 2120k|436523 | 4755k| 2.2 | 363M| 44 | 6 | 50 |6197 | 50 | 17 | 20 |1177k|5450 | 0.000000e+00 | -- | Inf
368.20/368.22 c 368s| 2130k|438176 | 4778k| 2.2 | 364M| 44 | - | 50 |5902 | 0 | 0 | 20 |1182k|5466 | 0.000000e+00 | -- | Inf
370.10/370.15 c 370s| 2140k|439860 | 4800k| 2.2 | 366M| 44 | 6 | 50 |5004 | 50 | 17 | 20 |1188k|5481 | 0.000000e+00 | -- | Inf
371.92/371.99 c 372s| 2150k|441753 | 4822k| 2.2 | 368M| 44 | 6 | 50 |5297 | 50 | 17 | 20 |1194k|5490 | 0.000000e+00 | -- | Inf
373.70/373.78 c 374s| 2160k|443702 | 4844k| 2.2 | 369M| 44 | 6 | 50 |6285 | 50 | 17 | 20 |1199k|5502 | 0.000000e+00 | -- | Inf
375.70/375.75 c 376s| 2170k|445559 | 4867k| 2.2 | 371M| 44 | 6 | 50 |5258 | 50 | 17 | 20 |1205k|5512 | 0.000000e+00 | -- | Inf
377.60/377.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.60/377.69 c 378s| 2180k|447218 | 4890k| 2.2 | 372M| 44 | 6 | 50 |5126 | 50 | 17 | 20 |1211k|5530 | 0.000000e+00 | -- | Inf
379.52/379.59 c 380s| 2190k|448972 | 4912k| 2.2 | 374M| 44 | 6 | 50 |5024 | 50 | 17 | 20 |1217k|5546 | 0.000000e+00 | -- | Inf
381.51/381.52 c 382s| 2200k|450660 | 4934k| 2.2 | 375M| 44 | 6 | 50 |4920 | 50 | 17 | 20 |1222k|5564 | 0.000000e+00 | -- | Inf
383.41/383.46 c 383s| 2210k|452262 | 4957k| 2.2 | 377M| 44 | - | 50 |5169 | 50 | 17 | 20 |1228k|5577 | 0.000000e+00 | -- | Inf
385.40/385.44 c 385s| 2220k|453888 | 4980k| 2.2 | 378M| 44 | - | 50 |5019 | 50 | 17 | 20 |1234k|5595 | 0.000000e+00 | -- | Inf
387.32/387.39 c 387s| 2230k|455502 | 5003k| 2.2 | 380M| 44 | - | 50 |5597 | 50 | 17 | 20 |1240k|5607 | 0.000000e+00 | -- | Inf
389.10/389.14 c 389s| 2240k|457693 | 5025k| 2.2 | 382M| 44 | 6 | 50 |6420 | 50 | 17 | 20 |1245k|5623 | 0.000000e+00 | -- | Inf
391.00/391.08 c 391s| 2250k|459418 | 5048k| 2.2 | 384M| 44 | - | 50 |6002 | 50 | 17 | 20 |1250k|5633 | 0.000000e+00 | -- | Inf
393.10/393.15 c 393s| 2260k|460918 | 5070k| 2.2 | 385M| 44 | - | 50 |4980 | 50 | 17 | 20 |1256k|5647 | 0.000000e+00 | -- | Inf
394.70/394.79 c 395s| 2270k|463102 | 5093k| 2.2 | 387M| 44 | - | 50 |6179 | 0 | 0 | 20 |1262k|5663 | 0.000000e+00 | -- | Inf
396.70/396.72 c 397s| 2280k|464779 | 5116k| 2.2 | 389M| 44 | - | 50 |6409 | 0 | 0 | 20 |1267k|5674 | 0.000000e+00 | -- | Inf
398.71/398.77 c 399s| 2290k|466466 | 5138k| 2.2 | 390M| 44 | - | 50 |5144 | 50 | 17 | 20 |1273k|5689 | 0.000000e+00 | -- | Inf
400.61/400.64 c 401s| 2300k|468386 | 5160k| 2.2 | 392M| 44 | - | 50 |5591 | 50 | 17 | 20 |1279k|5704 | 0.000000e+00 | -- | Inf
402.50/402.59 c 403s| 2310k|470006 | 5183k| 2.2 | 393M| 44 | - | 50 |5461 | 0 | 0 | 20 |1284k|5718 | 0.000000e+00 | -- | Inf
404.50/404.55 c 405s| 2320k|471606 | 5205k| 2.2 | 395M| 44 | 6 | 50 |5501 | 50 | 17 | 20 |1290k|5730 | 0.000000e+00 | -- | Inf
406.40/406.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.40/406.47 c 406s| 2330k|473338 | 5227k| 2.2 | 396M| 44 | - | 50 |5905 | 0 | 0 | 20 |1296k|5748 | 0.000000e+00 | -- | Inf
408.30/408.36 c 408s| 2340k|475041 | 5250k| 2.2 | 398M| 44 | 6 | 50 |5933 | 50 | 17 | 20 |1301k|5762 | 0.000000e+00 | -- | Inf
410.32/410.37 c 410s| 2350k|476668 | 5272k| 2.2 | 399M| 44 | 6 | 50 |5615 | 50 | 17 | 20 |1307k|5772 | 0.000000e+00 | -- | Inf
412.41/412.45 c 412s| 2360k|478141 | 5294k| 2.2 | 401M| 44 | 6 | 50 |5046 | 50 | 17 | 20 |1313k|5791 | 0.000000e+00 | -- | Inf
414.21/414.23 c 414s| 2370k|479938 | 5317k| 2.2 | 403M| 44 | 6 | 50 |6484 | 50 | 17 | 20 |1319k|5810 | 0.000000e+00 | -- | Inf
416.10/416.17 c 416s| 2380k|481845 | 5341k| 2.2 | 404M| 44 | 6 | 50 |6224 | 50 | 17 | 20 |1324k|5825 | 0.000000e+00 | -- | Inf
418.12/418.14 c 418s| 2390k|483801 | 5363k| 2.2 | 406M| 44 | 6 | 50 |5762 | 50 | 17 | 20 |1330k|5835 | 0.000000e+00 | -- | Inf
420.10/420.18 c 420s| 2400k|485346 | 5386k| 2.2 | 407M| 44 | 6 | 50 |5667 | 50 | 17 | 20 |1336k|5850 | 0.000000e+00 | -- | Inf
422.10/422.14 c 422s| 2410k|486910 | 5409k| 2.2 | 409M| 44 | - | 50 |5577 | 50 | 17 | 20 |1342k|5859 | 0.000000e+00 | -- | Inf
423.81/423.87 c 424s| 2420k|489151 | 5431k| 2.2 | 411M| 44 | - | 50 |7115 | 0 | 0 | 20 |1347k|5872 | 0.000000e+00 | -- | Inf
425.91/425.92 c 426s| 2430k|490998 | 5453k| 2.2 | 412M| 44 | 6 | 50 |6574 | 50 | 17 | 20 |1353k|5885 | 0.000000e+00 | -- | Inf
427.81/427.90 c 428s| 2440k|492834 | 5476k| 2.2 | 414M| 44 | - | 50 |6803 | 50 | 17 | 20 |1358k|5897 | 0.000000e+00 | -- | Inf
429.91/429.95 c 430s| 2450k|494447 | 5499k| 2.2 | 415M| 44 | 6 | 50 |5693 | 50 | 17 | 20 |1364k|5916 | 0.000000e+00 | -- | Inf
431.61/431.66 c 432s| 2460k|496957 | 5521k| 2.2 | 418M| 44 | 6 | 50 |6984 | 50 | 17 | 20 |1370k|5924 | 0.000000e+00 | -- | Inf
433.52/433.54 c 434s| 2470k|498820 | 5544k| 2.2 | 419M| 44 | - | 50 |7325 | 0 | 0 | 20 |1375k|5935 | 0.000000e+00 | -- | Inf
435.50/435.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.50/435.53 c 436s| 2480k|500486 | 5567k| 2.2 | 421M| 44 | - | 50 |7376 | 0 | 0 | 20 |1381k|5945 | 0.000000e+00 | -- | Inf
437.61/437.70 c 438s| 2490k|502058 | 5589k| 2.2 | 422M| 44 | - | 50 |5794 | 50 | 17 | 20 |1387k|5957 | 0.000000e+00 | -- | Inf
439.60/439.62 c 440s| 2500k|503919 | 5612k| 2.2 | 424M| 44 | 6 | 50 |6509 | 50 | 17 | 20 |1392k|5968 | 0.000000e+00 | -- | Inf
441.61/441.62 c 442s| 2510k|505692 | 5635k| 2.2 | 425M| 44 | 6 | 50 |6146 | 50 | 17 | 20 |1398k|5979 | 0.000000e+00 | -- | Inf
443.42/443.42 c 443s| 2520k|507838 | 5658k| 2.2 | 427M| 44 | - | 50 |8205 | 50 | 17 | 20 |1403k|5988 | 0.000000e+00 | -- | Inf
445.40/445.51 c 446s| 2530k|509503 | 5680k| 2.2 | 429M| 44 | 6 | 50 |6531 | 50 | 17 | 20 |1409k|6003 | 0.000000e+00 | -- | Inf
447.61/447.70 c 448s| 2540k|511021 | 5702k| 2.2 | 430M| 44 | - | 50 |4935 | 50 | 17 | 20 |1415k|6012 | 0.000000e+00 | -- | Inf
449.61/449.66 c 450s| 2550k|512702 | 5724k| 2.2 | 431M| 44 | 6 | 50 |5009 | 50 | 17 | 20 |1421k|6021 | 0.000000e+00 | -- | Inf
451.41/451.42 c 451s| 2560k|514829 | 5747k| 2.2 | 433M| 44 | 6 | 50 |6581 | 50 | 17 | 20 |1426k|6038 | 0.000000e+00 | -- | Inf
453.41/453.40 c 453s| 2570k|516663 | 5770k| 2.2 | 435M| 44 | 6 | 50 |6080 | 50 | 17 | 20 |1432k|6045 | 0.000000e+00 | -- | Inf
455.30/455.32 c 455s| 2580k|518605 | 5793k| 2.2 | 436M| 44 | 6 | 50 |5934 | 50 | 17 | 20 |1437k|6059 | 0.000000e+00 | -- | Inf
457.30/457.38 c 457s| 2590k|520211 | 5815k| 2.2 | 438M| 44 | - | 50 |5725 | 50 | 17 | 20 |1443k|6069 | 0.000000e+00 | -- | Inf
459.20/459.28 c 459s| 2600k|522205 | 5840k| 2.2 | 440M| 44 | 6 | 50 |6828 | 50 | 17 | 20 |1449k|6080 | 0.000000e+00 | -- | Inf
461.41/461.41 c 461s| 2610k|523530 | 5863k| 2.2 | 441M| 44 | 6 | 50 |5494 | 50 | 17 | 20 |1455k|6092 | 0.000000e+00 | -- | Inf
463.40/463.45 c 463s| 2620k|525097 | 5885k| 2.2 | 442M| 44 | - | 50 |5490 | 0 | 0 | 20 |1460k|6104 | 0.000000e+00 | -- | Inf
465.32/465.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.32/465.41 c 465s| 2630k|526801 | 5908k| 2.2 | 444M| 44 | - | 50 |5757 | 0 | 0 | 20 |1466k|6115 | 0.000000e+00 | -- | Inf
467.30/467.34 c 467s| 2640k|528538 | 5930k| 2.2 | 446M| 44 | - | 50 |6263 | 50 | 17 | 20 |1472k|6127 | 0.000000e+00 | -- | Inf
469.10/469.19 c 469s| 2650k|530557 | 5953k| 2.2 | 448M| 44 | 6 | 50 |7323 | 50 | 17 | 20 |1477k|6141 | 0.000000e+00 | -- | Inf
471.11/471.19 c 471s| 2660k|532410 | 5975k| 2.2 | 449M| 44 | 6 | 50 |7765 | 50 | 17 | 20 |1483k|6157 | 0.000000e+00 | -- | Inf
473.31/473.30 c 473s| 2670k|533973 | 5998k| 2.2 | 451M| 44 | 6 | 50 |6624 | 50 | 17 | 20 |1489k|6170 | 0.000000e+00 | -- | Inf
475.22/475.28 c 475s| 2680k|535869 | 6020k| 2.2 | 452M| 44 | 6 | 50 |6791 | 50 | 17 | 20 |1495k|6176 | 0.000000e+00 | -- | Inf
477.31/477.37 c 477s| 2690k|537397 | 6042k| 2.2 | 454M| 44 | 6 | 50 |6070 | 50 | 17 | 20 |1500k|6189 | 0.000000e+00 | -- | Inf
479.31/479.31 c 479s| 2700k|539159 | 6065k| 2.2 | 455M| 44 | 6 | 50 |6036 | 50 | 17 | 20 |1506k|6201 | 0.000000e+00 | -- | Inf
481.41/481.42 c 481s| 2710k|540612 | 6087k| 2.2 | 457M| 44 | 6 | 50 |5721 | 50 | 17 | 20 |1512k|6210 | 0.000000e+00 | -- | Inf
483.30/483.37 c 483s| 2720k|542412 | 6110k| 2.2 | 458M| 44 | - | 50 |5724 | 50 | 17 | 20 |1518k|6219 | 0.000000e+00 | -- | Inf
485.41/485.41 c 485s| 2730k|543822 | 6132k| 2.2 | 460M| 44 | - | 50 |5206 | 50 | 17 | 20 |1524k|6237 | 0.000000e+00 | -- | Inf
487.33/487.34 c 487s| 2740k|545490 | 6154k| 2.2 | 461M| 44 | 6 | 50 |5411 | 50 | 17 | 20 |1529k|6244 | 0.000000e+00 | -- | Inf
489.21/489.27 c 489s| 2750k|547198 | 6177k| 2.2 | 463M| 44 | 6 | 50 |6408 | 50 | 17 | 20 |1535k|6260 | 0.000000e+00 | -- | Inf
491.20/491.29 c 491s| 2760k|548861 | 6199k| 2.2 | 464M| 44 | 6 | 50 |5537 | 50 | 17 | 20 |1541k|6272 | 0.000000e+00 | -- | Inf
493.11/493.17 c 493s| 2770k|550613 | 6222k| 2.2 | 466M| 44 | 6 | 50 |5794 | 50 | 17 | 20 |1547k|6281 | 0.000000e+00 | -- | Inf
495.12/495.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.12/495.15 c 495s| 2780k|552355 | 6244k| 2.2 | 467M| 44 | - | 50 |5363 | 50 | 17 | 20 |1552k|6290 | 0.000000e+00 | -- | Inf
497.11/497.14 c 497s| 2790k|553906 | 6267k| 2.2 | 469M| 44 | 6 | 50 |4945 | 50 | 17 | 20 |1558k|6299 | 0.000000e+00 | -- | Inf
499.01/499.01 c 499s| 2800k|555629 | 6289k| 2.2 | 470M| 44 | 6 | 50 |5399 | 50 | 17 | 20 |1564k|6308 | 0.000000e+00 | -- | Inf
500.91/500.93 c 501s| 2810k|557323 | 6311k| 2.2 | 472M| 44 | - | 50 |5957 | 50 | 17 | 20 |1569k|6315 | 0.000000e+00 | -- | Inf
502.91/502.92 c 503s| 2820k|558963 | 6334k| 2.2 | 474M| 44 | 6 | 50 |5351 | 50 | 17 | 20 |1575k|6332 | 0.000000e+00 | -- | Inf
504.81/504.83 c 505s| 2830k|560638 | 6356k| 2.2 | 475M| 44 | 6 | 50 |5566 | 50 | 17 | 20 |1581k|6351 | 0.000000e+00 | -- | Inf
506.71/506.70 c 507s| 2840k|562596 | 6379k| 2.2 | 477M| 44 | - | 50 |6383 | 50 | 17 | 20 |1586k|6360 | 0.000000e+00 | -- | Inf
508.71/508.78 c 509s| 2850k|564132 | 6401k| 2.2 | 478M| 44 | 6 | 50 |5655 | 50 | 17 | 20 |1592k|6370 | 0.000000e+00 | -- | Inf
510.61/510.66 c 511s| 2860k|565945 | 6423k| 2.2 | 480M| 44 | 6 | 50 |6417 | 50 | 17 | 20 |1598k|6383 | 0.000000e+00 | -- | Inf
512.72/512.76 c 513s| 2870k|567587 | 6446k| 2.2 | 482M| 44 | 6 | 50 |5878 | 50 | 17 | 20 |1604k|6392 | 0.000000e+00 | -- | Inf
514.71/514.81 c 515s| 2880k|569078 | 6469k| 2.2 | 483M| 44 | - | 50 |6168 | 50 | 17 | 20 |1609k|6406 | 0.000000e+00 | -- | Inf
516.81/516.85 c 517s| 2890k|570871 | 6492k| 2.2 | 485M| 44 | 6 | 50 |6186 | 50 | 17 | 20 |1615k|6415 | 0.000000e+00 | -- | Inf
519.01/519.02 c 519s| 2900k|572360 | 6515k| 2.2 | 486M| 44 | 6 | 50 |5310 | 50 | 17 | 20 |1621k|6425 | 0.000000e+00 | -- | Inf
521.01/521.03 c 521s| 2910k|573954 | 6538k| 2.2 | 488M| 44 | 6 | 50 |5549 | 50 | 17 | 20 |1627k|6441 | 0.000000e+00 | -- | Inf
523.01/523.08 c 523s| 2920k|575435 | 6560k| 2.2 | 489M| 44 | - | 50 |5033 | 50 | 17 | 20 |1633k|6452 | 0.000000e+00 | -- | Inf
525.01/525.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.01/525.00 c 525s| 2930k|577070 | 6583k| 2.2 | 491M| 44 | - | 50 |5334 | 50 | 17 | 20 |1639k|6461 | 0.000000e+00 | -- | Inf
526.92/526.92 c 527s| 2940k|578799 | 6607k| 2.2 | 493M| 44 | - | 50 |6867 | 50 | 17 | 20 |1645k|6473 | 0.000000e+00 | -- | Inf
529.01/529.00 c 529s| 2950k|580416 | 6630k| 2.2 | 494M| 44 | 6 | 50 |6497 | 50 | 17 | 20 |1650k|6483 | 0.000000e+00 | -- | Inf
531.01/531.00 c 531s| 2960k|582116 | 6652k| 2.2 | 495M| 44 | - | 50 |6493 | 50 | 17 | 20 |1656k|6498 | 0.000000e+00 | -- | Inf
533.01/533.04 c 533s| 2970k|583662 | 6674k| 2.2 | 497M| 44 | 6 | 50 |6317 | 50 | 17 | 20 |1662k|6504 | 0.000000e+00 | -- | Inf
535.11/535.15 c 535s| 2980k|585119 | 6697k| 2.2 | 498M| 44 | 6 | 50 |5812 | 50 | 17 | 20 |1668k|6518 | 0.000000e+00 | -- | Inf
537.11/537.16 c 537s| 2990k|586749 | 6719k| 2.2 | 500M| 44 | 6 | 50 |5842 | 50 | 17 | 20 |1673k|6527 | 0.000000e+00 | -- | Inf
539.12/539.12 c 539s| 3000k|588482 | 6740k| 2.2 | 501M| 44 | 6 | 50 |5853 | 50 | 17 | 20 |1679k|6541 | 0.000000e+00 | -- | Inf
541.01/541.07 c 541s| 3010k|590474 | 6763k| 2.2 | 503M| 44 | 6 | 50 |5367 | 50 | 17 | 20 |1685k|6556 | 0.000000e+00 | -- | Inf
542.91/542.92 c 543s| 3020k|592370 | 6785k| 2.2 | 504M| 44 | 6 | 50 |5572 | 50 | 17 | 20 |1690k|6566 | 0.000000e+00 | -- | Inf
544.91/544.92 c 545s| 3030k|593967 | 6808k| 2.2 | 506M| 44 | - | 50 |5249 | 50 | 17 | 20 |1696k|6575 | 0.000000e+00 | -- | Inf
546.72/546.73 c 547s| 3040k|595976 | 6831k| 2.2 | 508M| 44 | 6 | 50 |6613 | 50 | 17 | 20 |1701k|6583 | 0.000000e+00 | -- | Inf
548.81/548.81 c 549s| 3050k|597665 | 6854k| 2.2 | 509M| 44 | 6 | 50 |6073 | 50 | 17 | 20 |1707k|6593 | 0.000000e+00 | -- | Inf
550.80/550.86 c 551s| 3060k|599157 | 6876k| 2.2 | 511M| 44 | 6 | 50 |5612 | 50 | 17 | 20 |1713k|6600 | 0.000000e+00 | -- | Inf
552.91/552.90 c 553s| 3070k|600756 | 6898k| 2.2 | 512M| 44 | 6 | 50 |5628 | 50 | 17 | 20 |1719k|6614 | 0.000000e+00 | -- | Inf
554.91/554.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.91/554.90 c 555s| 3080k|602427 | 6921k| 2.2 | 514M| 44 | 6 | 50 |5548 | 50 | 17 | 20 |1724k|6629 | 0.000000e+00 | -- | Inf
556.91/556.91 c 557s| 3090k|604024 | 6944k| 2.2 | 515M| 44 | 6 | 50 |5233 | 50 | 17 | 20 |1730k|6637 | 0.000000e+00 | -- | Inf
558.71/558.79 c 559s| 3100k|605791 | 6966k| 2.2 | 517M| 44 | 6 | 50 |5744 | 50 | 17 | 20 |1736k|6650 | 0.000000e+00 | -- | Inf
560.81/560.81 c 561s| 3110k|607381 | 6988k| 2.2 | 518M| 44 | 6 | 50 |5282 | 50 | 17 | 20 |1741k|6665 | 0.000000e+00 | -- | Inf
562.71/562.75 c 563s| 3120k|608952 | 7011k| 2.2 | 520M| 44 | - | 50 |6120 | 50 | 17 | 20 |1747k|6680 | 0.000000e+00 | -- | Inf
564.71/564.75 c 565s| 3130k|610556 | 7034k| 2.2 | 522M| 44 | 6 | 50 |6628 | 50 | 17 | 20 |1753k|6698 | 0.000000e+00 | -- | Inf
566.53/566.61 c 567s| 3140k|612691 | 7057k| 2.2 | 523M| 44 | 6 | 50 |7408 | 50 | 17 | 20 |1758k|6704 | 0.000000e+00 | -- | Inf
568.61/568.60 c 569s| 3150k|614371 | 7079k| 2.2 | 525M| 44 | 6 | 50 |7114 | 50 | 17 | 20 |1764k|6716 | 0.000000e+00 | -- | Inf
570.61/570.68 c 571s| 3160k|616001 | 7101k| 2.2 | 526M| 44 | 6 | 50 |6901 | 50 | 17 | 20 |1770k|6729 | 0.000000e+00 | -- | Inf
572.71/572.77 c 573s| 3170k|617555 | 7124k| 2.2 | 528M| 44 | - | 50 |5944 | 50 | 17 | 20 |1776k|6744 | 0.000000e+00 | -- | Inf
574.71/574.70 c 575s| 3180k|619350 | 7146k| 2.2 | 529M| 44 | 6 | 50 |6660 | 50 | 17 | 20 |1781k|6760 | 0.000000e+00 | -- | Inf
576.91/576.91 c 577s| 3190k|620774 | 7168k| 2.2 | 531M| 44 | 6 | 50 |5639 | 50 | 17 | 20 |1787k|6766 | 0.000000e+00 | -- | Inf
578.81/578.89 c 579s| 3200k|622464 | 7191k| 2.2 | 532M| 44 | 6 | 50 |5945 | 50 | 17 | 20 |1793k|6781 | 0.000000e+00 | -- | Inf
580.82/580.90 c 581s| 3210k|624026 | 7213k| 2.2 | 534M| 44 | 6 | 50 |5685 | 50 | 17 | 20 |1798k|6794 | 0.000000e+00 | -- | Inf
582.91/582.94 c 583s| 3220k|625504 | 7235k| 2.2 | 535M| 44 | 6 | 50 |5410 | 50 | 17 | 20 |1804k|6807 | 0.000000e+00 | -- | Inf
584.81/584.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.81/584.89 c 585s| 3230k|627255 | 7258k| 2.2 | 537M| 44 | 6 | 50 |5989 | 50 | 17 | 20 |1810k|6818 | 0.000000e+00 | -- | Inf
586.91/586.95 c 587s| 3240k|628863 | 7281k| 2.2 | 538M| 44 | - | 50 |5861 | 50 | 17 | 20 |1816k|6827 | 0.000000e+00 | -- | Inf
588.71/588.75 c 589s| 3250k|630818 | 7304k| 2.2 | 540M| 44 | 6 | 50 |7525 | 50 | 17 | 20 |1821k|6836 | 0.000000e+00 | -- | Inf
590.83/590.87 c 591s| 3260k|632709 | 7328k| 2.2 | 542M| 44 | 6 | 50 |6902 | 50 | 17 | 20 |1827k|6845 | 0.000000e+00 | -- | Inf
592.62/592.64 c 593s| 3270k|635388 | 7351k| 2.2 | 544M| 44 | 6 | 50 |8183 | 50 | 17 | 20 |1831k|6862 | 0.000000e+00 | -- | Inf
594.51/594.58 c 595s| 3280k|637803 | 7374k| 2.2 | 546M| 44 | 6 | 50 |8924 | 50 | 17 | 20 |1836k|6871 | 0.000000e+00 | -- | Inf
596.61/596.67 c 597s| 3290k|639841 | 7397k| 2.2 | 548M| 44 | - | 50 |8477 | 50 | 17 | 20 |1841k|6885 | 0.000000e+00 | -- | Inf
599.01/599.09 c 599s| 3300k|641432 | 7419k| 2.2 | 549M| 44 | 6 | 50 |6698 | 50 | 17 | 20 |1847k|6897 | 0.000000e+00 | -- | Inf
600.91/600.95 c 601s| 3310k|643812 | 7441k| 2.2 | 551M| 44 | 6 | 50 |7555 | 50 | 17 | 20 |1852k|6903 | 0.000000e+00 | -- | Inf
602.83/602.83 c 603s| 3320k|646323 | 7464k| 2.2 | 553M| 44 | - | 50 |8270 | 0 | 0 | 20 |1857k|6911 | 0.000000e+00 | -- | Inf
604.91/604.94 c 605s| 3330k|648203 | 7486k| 2.2 | 554M| 44 | 6 | 50 |8012 | 50 | 17 | 20 |1862k|6916 | 0.000000e+00 | -- | Inf
606.91/606.98 c 607s| 3340k|650101 | 7508k| 2.2 | 556M| 44 | 6 | 50 |8360 | 50 | 17 | 20 |1867k|6924 | 0.000000e+00 | -- | Inf
608.91/608.99 c 609s| 3350k|652029 | 7530k| 2.2 | 558M| 44 | - | 50 |9029 | 0 | 0 | 20 |1873k|6937 | 0.000000e+00 | -- | Inf
611.31/611.36 c 611s| 3360k|653625 | 7552k| 2.2 | 559M| 44 | 6 | 50 |7103 | 50 | 17 | 20 |1879k|6945 | 0.000000e+00 | -- | Inf
613.51/613.60 c 614s| 3370k|655099 | 7575k| 2.2 | 560M| 44 | 6 | 50 |6442 | 50 | 17 | 20 |1884k|6962 | 0.000000e+00 | -- | Inf
615.72/615.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.72/615.70 c 616s| 3380k|656804 | 7598k| 2.2 | 562M| 44 | - | 50 |6279 | 0 | 0 | 20 |1890k|6969 | 0.000000e+00 | -- | Inf
617.81/617.89 c 618s| 3390k|658245 | 7620k| 2.2 | 563M| 44 | 6 | 50 |5441 | 50 | 17 | 20 |1896k|6982 | 0.000000e+00 | -- | Inf
619.81/619.83 c 620s| 3400k|660052 | 7643k| 2.2 | 564M| 44 | - | 50 |5769 | 50 | 17 | 20 |1902k|6989 | 0.000000e+00 | -- | Inf
621.71/621.70 c 622s| 3410k|662227 | 7666k| 2.2 | 566M| 44 | - | 50 |6803 | 50 | 17 | 20 |1907k|7003 | 0.000000e+00 | -- | Inf
623.61/623.70 c 624s| 3420k|663960 | 7688k| 2.2 | 568M| 44 | 6 | 50 |6460 | 50 | 17 | 20 |1913k|7015 | 0.000000e+00 | -- | Inf
625.51/625.57 c 626s| 3430k|666046 | 7711k| 2.2 | 570M| 44 | - | 50 |7540 | 50 | 17 | 20 |1918k|7032 | 0.000000e+00 | -- | Inf
627.91/627.90 c 628s| 3440k|667429 | 7733k| 2.2 | 571M| 44 | 6 | 50 |5757 | 50 | 17 | 20 |1924k|7046 | 0.000000e+00 | -- | Inf
629.92/629.95 c 630s| 3450k|668888 | 7756k| 2.2 | 573M| 44 | 6 | 50 |6662 | 50 | 17 | 20 |1930k|7054 | 0.000000e+00 | -- | Inf
632.01/632.06 c 632s| 3460k|670665 | 7778k| 2.2 | 574M| 44 | 6 | 50 |6294 | 50 | 17 | 20 |1935k|7067 | 0.000000e+00 | -- | Inf
634.21/634.24 c 634s| 3470k|672126 | 7801k| 2.2 | 575M| 44 | 6 | 50 |5687 | 50 | 17 | 20 |1941k|7071 | 0.000000e+00 | -- | Inf
636.41/636.43 c 636s| 3480k|673472 | 7824k| 2.2 | 577M| 44 | - | 50 |5967 | 50 | 17 | 20 |1947k|7086 | 0.000000e+00 | -- | Inf
638.51/638.54 c 639s| 3490k|675155 | 7846k| 2.2 | 578M| 44 | 6 | 50 |6125 | 50 | 17 | 20 |1953k|7091 | 0.000000e+00 | -- | Inf
640.41/640.48 c 640s| 3500k|677089 | 7868k| 2.2 | 580M| 44 | 6 | 50 |7281 | 50 | 17 | 20 |1959k|7108 | 0.000000e+00 | -- | Inf
642.53/642.59 c 643s| 3510k|678656 | 7891k| 2.2 | 582M| 44 | 6 | 50 |8006 | 50 | 17 | 20 |1965k|7118 | 0.000000e+00 | -- | Inf
644.81/644.83 c 645s| 3520k|680159 | 7913k| 2.2 | 583M| 44 | - | 50 |6866 | 50 | 17 | 20 |1970k|7131 | 0.000000e+00 | -- | Inf
647.21/647.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.21/647.25 c 647s| 3530k|681330 | 7936k| 2.2 | 584M| 44 | 6 | 50 |5432 | 50 | 17 | 20 |1977k|7145 | 0.000000e+00 | -- | Inf
649.31/649.33 c 649s| 3540k|682903 | 7959k| 2.2 | 586M| 44 | 6 | 50 |6099 | 50 | 17 | 20 |1983k|7151 | 0.000000e+00 | -- | Inf
651.41/651.40 c 651s| 3550k|684592 | 7981k| 2.2 | 587M| 44 | - | 50 |5790 | 50 | 17 | 20 |1988k|7159 | 0.000000e+00 | -- | Inf
653.43/653.49 c 653s| 3560k|686220 | 8003k| 2.2 | 589M| 44 | 6 | 50 |5846 | 50 | 17 | 20 |1994k|7165 | 0.000000e+00 | -- | Inf
655.31/655.32 c 655s| 3570k|688084 | 8026k| 2.2 | 591M| 44 | - | 50 |8041 | 50 | 17 | 20 |1999k|7186 | 0.000000e+00 | -- | Inf
657.32/657.37 c 657s| 3580k|690079 | 8049k| 2.2 | 593M| 44 | 6 | 50 |7898 | 50 | 17 | 20 |2005k|7196 | 0.000000e+00 | -- | Inf
659.51/659.55 c 660s| 3590k|691992 | 8072k| 2.2 | 594M| 44 | - | 50 |7182 | 50 | 17 | 20 |2010k|7206 | 0.000000e+00 | -- | Inf
661.51/661.52 c 662s| 3600k|693745 | 8095k| 2.2 | 596M| 44 | - | 50 |7832 | 0 | 0 | 20 |2016k|7212 | 0.000000e+00 | -- | Inf
663.71/663.79 c 664s| 3610k|695185 | 8117k| 2.2 | 597M| 44 | 6 | 50 |6343 | 50 | 17 | 20 |2022k|7228 | 0.000000e+00 | -- | Inf
665.71/665.79 c 666s| 3620k|697001 | 8140k| 2.2 | 599M| 44 | - | 50 |7406 | 0 | 0 | 20 |2027k|7235 | 0.000000e+00 | -- | Inf
668.02/668.00 c 668s| 3630k|698588 | 8162k| 2.2 | 600M| 44 | 6 | 50 |6532 | 50 | 17 | 20 |2033k|7245 | 0.000000e+00 | -- | Inf
670.11/670.15 c 670s| 3640k|700316 | 8185k| 2.2 | 602M| 44 | 6 | 50 |7139 | 50 | 17 | 20 |2039k|7260 | 0.000000e+00 | -- | Inf
672.41/672.46 c 672s| 3650k|701855 | 8208k| 2.2 | 603M| 44 | - | 50 |6883 | 50 | 17 | 20 |2045k|7269 | 0.000000e+00 | -- | Inf
674.71/674.71 c 675s| 3660k|703381 | 8232k| 2.2 | 604M| 44 | - | 50 |6223 | 50 | 17 | 20 |2051k|7277 | 0.000000e+00 | -- | Inf
676.71/676.74 c 677s| 3670k|705088 | 8254k| 2.2 | 606M| 44 | - | 50 |5996 | 50 | 17 | 20 |2056k|7287 | 0.000000e+00 | -- | Inf
678.92/678.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.92/678.90 c 679s| 3680k|706421 | 8277k| 2.2 | 607M| 44 | - | 50 |5393 | 50 | 17 | 20 |2062k|7298 | 0.000000e+00 | -- | Inf
680.82/680.83 c 681s| 3690k|708184 | 8299k| 2.2 | 609M| 44 | - | 50 |6409 | 0 | 0 | 20 |2068k|7309 | 0.000000e+00 | -- | Inf
682.91/682.94 c 683s| 3700k|709858 | 8321k| 2.2 | 610M| 44 | - | 50 |6483 | 0 | 0 | 20 |2074k|7316 | 0.000000e+00 | -- | Inf
684.82/684.85 c 685s| 3710k|711891 | 8344k| 2.2 | 612M| 44 | 6 | 50 |7678 | 50 | 17 | 20 |2079k|7331 | 0.000000e+00 | -- | Inf
686.71/686.77 c 687s| 3720k|713930 | 8368k| 2.2 | 614M| 44 | - | 50 |9138 | 0 | 0 | 20 |2085k|7342 | 0.000000e+00 | -- | Inf
689.12/689.19 c 689s| 3730k|715457 | 8391k| 2.2 | 615M| 44 | - | 50 |6976 | 50 | 17 | 20 |2091k|7353 | 0.000000e+00 | -- | Inf
691.41/691.46 c 691s| 3740k|716831 | 8414k| 2.2 | 617M| 44 | 6 | 50 |5863 | 50 | 17 | 20 |2097k|7360 | 0.000000e+00 | -- | Inf
693.62/693.61 c 694s| 3750k|718334 | 8436k| 2.2 | 618M| 44 | - | 50 |5608 | 50 | 17 | 20 |2103k|7369 | 0.000000e+00 | -- | Inf
695.52/695.58 c 696s| 3760k|719870 | 8458k| 2.2 | 619M| 44 | - | 50 |5740 | 50 | 17 | 20 |2108k|7375 | 0.000000e+00 | -- | Inf
697.61/697.64 c 698s| 3770k|721362 | 8482k| 2.2 | 621M| 44 | - | 50 |5993 | 50 | 17 | 20 |2114k|7387 | 0.000000e+00 | -- | Inf
699.81/699.80 c 700s| 3780k|722791 | 8504k| 2.2 | 622M| 44 | 6 | 50 |5814 | 50 | 17 | 20 |2120k|7393 | 0.000000e+00 | -- | Inf
701.93/701.91 c 702s| 3790k|724241 | 8526k| 2.2 | 624M| 44 | - | 50 |6282 | 0 | 0 | 20 |2126k|7402 | 0.000000e+00 | -- | Inf
703.92/703.99 c 704s| 3800k|725780 | 8549k| 2.2 | 625M| 44 | - | 50 |5804 | 50 | 17 | 20 |2132k|7419 | 0.000000e+00 | -- | Inf
706.02/706.03 c 706s| 3810k|727445 | 8571k| 2.2 | 627M| 44 | 6 | 50 |6194 | 50 | 17 | 20 |2138k|7425 | 0.000000e+00 | -- | Inf
708.22/708.22 c 708s| 3820k|728927 | 8595k| 2.3 | 628M| 44 | - | 50 |6157 | 50 | 17 | 20 |2144k|7436 | 0.000000e+00 | -- | Inf
710.12/710.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.12/710.17 c 710s| 3830k|730666 | 8617k| 2.2 | 630M| 44 | - | 50 |6796 | 50 | 17 | 20 |2150k|7440 | 0.000000e+00 | -- | Inf
712.31/712.30 c 712s| 3840k|732031 | 8639k| 2.2 | 631M| 44 | 6 | 50 |6018 | 50 | 17 | 20 |2156k|7459 | 0.000000e+00 | -- | Inf
714.41/714.40 c 714s| 3850k|733584 | 8661k| 2.2 | 633M| 44 | - | 50 |5617 | 50 | 17 | 20 |2161k|7464 | 0.000000e+00 | -- | Inf
716.41/716.44 c 716s| 3860k|735150 | 8685k| 2.2 | 634M| 44 | 6 | 50 |6091 | 50 | 17 | 20 |2167k|7476 | 0.000000e+00 | -- | Inf
718.43/718.45 c 718s| 3870k|736886 | 8707k| 2.2 | 636M| 44 | - | 50 |6187 | 50 | 17 | 20 |2173k|7483 | 0.000000e+00 | -- | Inf
720.53/720.52 c 721s| 3880k|738367 | 8729k| 2.2 | 637M| 44 | 6 | 50 |6136 | 50 | 17 | 20 |2179k|7493 | 0.000000e+00 | -- | Inf
722.52/722.56 c 723s| 3890k|739707 | 8752k| 2.2 | 639M| 44 | - | 50 |5867 | 50 | 17 | 20 |2185k|7507 | 0.000000e+00 | -- | Inf
724.61/724.69 c 725s| 3900k|741137 | 8775k| 2.3 | 640M| 44 | - | 50 |5774 | 50 | 17 | 20 |2191k|7517 | 0.000000e+00 | -- | Inf
726.51/726.59 c 727s| 3910k|743077 | 8798k| 2.3 | 642M| 44 | 6 | 50 |7496 | 50 | 17 | 20 |2196k|7528 | 0.000000e+00 | -- | Inf
728.81/728.88 c 729s| 3920k|744529 | 8821k| 2.3 | 643M| 44 | 6 | 50 |5626 | 50 | 17 | 20 |2202k|7539 | 0.000000e+00 | -- | Inf
730.91/730.94 c 731s| 3930k|746027 | 8844k| 2.3 | 644M| 44 | - | 50 |5579 | 50 | 17 | 20 |2208k|7548 | 0.000000e+00 | -- | Inf
733.02/733.08 c 733s| 3940k|747509 | 8866k| 2.3 | 646M| 44 | 6 | 50 |5466 | 50 | 17 | 20 |2214k|7557 | 0.000000e+00 | -- | Inf
735.12/735.12 c 735s| 3950k|749136 | 8889k| 2.3 | 647M| 44 | 6 | 50 |5453 | 50 | 17 | 20 |2220k|7568 | 0.000000e+00 | -- | Inf
737.13/737.18 c 737s| 3960k|750636 | 8912k| 2.3 | 649M| 44 | 6 | 50 |5265 | 50 | 17 | 20 |2226k|7584 | 0.000000e+00 | -- | Inf
739.23/739.23 c 739s| 3970k|752192 | 8935k| 2.3 | 650M| 44 | 6 | 50 |5757 | 50 | 17 | 20 |2231k|7589 | 0.000000e+00 | -- | Inf
741.11/741.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.11/741.18 c 741s| 3980k|753964 | 8957k| 2.3 | 652M| 44 | 6 | 50 |6246 | 50 | 17 | 20 |2237k|7602 | 0.000000e+00 | -- | Inf
743.21/743.20 c 743s| 3990k|755547 | 8980k| 2.3 | 653M| 44 | 6 | 50 |5353 | 50 | 17 | 20 |2243k|7617 | 0.000000e+00 | -- | Inf
745.32/745.37 c 745s| 4000k|756946 | 9002k| 2.3 | 654M| 44 | 6 | 50 |4449 | 50 | 17 | 20 |2249k|7632 | 0.000000e+00 | -- | Inf
747.52/747.51 c 748s| 4010k|758121 | 9025k| 2.3 | 656M| 44 | - | 50 |4772 | 50 | 17 | 20 |2255k|7646 | 0.000000e+00 | -- | Inf
749.52/749.52 c 750s| 4020k|759654 | 9047k| 2.3 | 657M| 44 | - | 50 |5439 | 0 | 0 | 20 |2261k|7655 | 0.000000e+00 | -- | Inf
751.61/751.63 c 752s| 4030k|761116 | 9070k| 2.3 | 659M| 44 | - | 50 |5552 | 50 | 17 | 20 |2266k|7673 | 0.000000e+00 | -- | Inf
753.72/753.71 c 754s| 4040k|762541 | 9092k| 2.3 | 661M| 44 | - | 50 |6037 | 50 | 17 | 20 |2273k|7682 | 0.000000e+00 | -- | Inf
755.73/755.74 c 756s| 4050k|764146 | 9114k| 2.3 | 662M| 44 | - | 50 |6033 | 50 | 17 | 20 |2278k|7693 | 0.000000e+00 | -- | Inf
757.93/757.94 c 758s| 4060k|765496 | 9137k| 2.3 | 663M| 44 | 6 | 50 |5219 | 50 | 17 | 20 |2284k|7697 | 0.000000e+00 | -- | Inf
759.92/759.99 c 760s| 4070k|766902 | 9159k| 2.3 | 665M| 44 | - | 50 |5392 | 0 | 0 | 20 |2290k|7707 | 0.000000e+00 | -- | Inf
761.92/761.99 c 762s| 4080k|768531 | 9183k| 2.3 | 666M| 44 | 6 | 50 |5850 | 50 | 17 | 20 |2296k|7713 | 0.000000e+00 | -- | Inf
764.12/764.16 c 764s| 4090k|769810 | 9205k| 2.3 | 668M| 44 | 6 | 50 |5306 | 50 | 17 | 20 |2302k|7725 | 0.000000e+00 | -- | Inf
766.02/766.07 c 766s| 4100k|771641 | 9229k| 2.3 | 670M| 44 | 6 | 50 |6847 | 50 | 17 | 20 |2308k|7740 | 0.000000e+00 | -- | Inf
768.32/768.37 c 768s| 4110k|773014 | 9252k| 2.3 | 671M| 44 | 6 | 50 |5939 | 50 | 17 | 20 |2314k|7750 | 0.000000e+00 | -- | Inf
770.52/770.54 c 771s| 4120k|774411 | 9275k| 2.3 | 672M| 44 | - | 50 |5504 | 0 | 0 | 20 |2320k|7760 | 0.000000e+00 | -- | Inf
772.51/772.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.51/772.52 c 773s| 4130k|776024 | 9298k| 2.3 | 674M| 44 | 6 | 50 |6136 | 50 | 17 | 20 |2326k|7769 | 0.000000e+00 | -- | Inf
774.43/774.50 c 775s| 4140k|777733 | 9320k| 2.3 | 676M| 44 | 6 | 50 |6804 | 50 | 17 | 20 |2332k|7777 | 0.000000e+00 | -- | Inf
776.32/776.39 c 776s| 4150k|780017 | 9343k| 2.3 | 678M| 44 | - | 50 |8226 | 50 | 17 | 20 |2337k|7789 | 0.000000e+00 | -- | Inf
778.72/778.79 c 779s| 4160k|781374 | 9366k| 2.3 | 679M| 44 | 6 | 50 |6660 | 50 | 17 | 20 |2343k|7800 | 0.000000e+00 | -- | Inf
780.81/780.82 c 781s| 4170k|782879 | 9390k| 2.3 | 680M| 44 | 6 | 50 |7071 | 50 | 17 | 20 |2349k|7810 | 0.000000e+00 | -- | Inf
783.01/783.09 c 783s| 4180k|784336 | 9413k| 2.3 | 681M| 44 | 6 | 50 |5624 | 50 | 17 | 20 |2354k|7825 | 0.000000e+00 | -- | Inf
785.12/785.13 c 785s| 4190k|785807 | 9436k| 2.3 | 683M| 44 | 6 | 50 |6409 | 50 | 17 | 20 |2360k|7831 | 0.000000e+00 | -- | Inf
787.32/787.37 c 787s| 4200k|787247 | 9459k| 2.3 | 684M| 44 | 6 | 50 |6037 | 50 | 17 | 20 |2366k|7842 | 0.000000e+00 | -- | Inf
789.21/789.21 c 789s| 4210k|789300 | 9481k| 2.3 | 686M| 44 | - | 50 |7428 | 50 | 17 | 20 |2372k|7851 | 0.000000e+00 | -- | Inf
791.22/791.20 c 791s| 4220k|791208 | 9503k| 2.3 | 688M| 44 | - | 50 |7551 | 50 | 17 | 20 |2377k|7858 | 0.000000e+00 | -- | Inf
793.31/793.30 c 793s| 4230k|793053 | 9525k| 2.3 | 690M| 44 | - | 50 |7618 | 50 | 17 | 20 |2383k|7870 | 0.000000e+00 | -- | Inf
795.43/795.44 c 795s| 4240k|794818 | 9548k| 2.3 | 691M| 44 | 6 | 50 |7147 | 50 | 17 | 20 |2388k|7880 | 0.000000e+00 | -- | Inf
797.53/797.54 c 798s| 4250k|796508 | 9571k| 2.3 | 692M| 44 | - | 50 |6503 | 0 | 0 | 20 |2394k|7887 | 0.000000e+00 | -- | Inf
799.52/799.53 c 800s| 4260k|798222 | 9595k| 2.3 | 694M| 44 | 6 | 50 |6791 | 50 | 17 | 20 |2400k|7895 | 0.000000e+00 | -- | Inf
801.62/801.60 c 802s| 4270k|799839 | 9617k| 2.3 | 696M| 44 | 6 | 50 |7294 | 50 | 17 | 20 |2406k|7902 | 0.000000e+00 | -- | Inf
803.82/803.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.82/803.81 c 804s| 4280k|801473 | 9640k| 2.3 | 697M| 44 | 6 | 50 |6400 | 50 | 17 | 20 |2411k|7912 | 0.000000e+00 | -- | Inf
805.91/805.98 c 806s| 4290k|803076 | 9662k| 2.3 | 698M| 44 | 6 | 50 |6271 | 50 | 17 | 20 |2417k|7926 | 0.000000e+00 | -- | Inf
808.32/808.32 c 808s| 4300k|804279 | 9685k| 2.3 | 700M| 44 | 6 | 50 |5699 | 50 | 17 | 20 |2423k|7941 | 0.000000e+00 | -- | Inf
810.62/810.61 c 811s| 4310k|805485 | 9707k| 2.3 | 701M| 44 | 6 | 50 |6093 | 50 | 17 | 20 |2429k|7946 | 0.000000e+00 | -- | Inf
812.72/812.70 c 813s| 4320k|807071 | 9730k| 2.3 | 703M| 44 | 6 | 50 |6740 | 50 | 17 | 20 |2435k|7954 | 0.000000e+00 | -- | Inf
815.02/815.05 c 815s| 4330k|808302 | 9753k| 2.3 | 704M| 44 | 6 | 50 |6055 | 50 | 17 | 20 |2441k|7966 | 0.000000e+00 | -- | Inf
816.82/816.86 c 817s| 4340k|810790 | 9775k| 2.3 | 706M| 44 | 6 | 50 |7217 | 50 | 17 | 20 |2446k|7975 | 0.000000e+00 | -- | Inf
818.62/818.66 c 819s| 4350k|813624 | 9797k| 2.3 | 708M| 44 | - | 50 |8245 | 0 | 0 | 20 |2451k|7982 | 0.000000e+00 | -- | Inf
820.52/820.58 c 821s| 4360k|815844 | 9820k| 2.3 | 710M| 44 | 6 | 50 |7565 | 50 | 17 | 20 |2456k|7995 | 0.000000e+00 | -- | Inf
822.51/822.59 c 823s| 4370k|817870 | 9842k| 2.3 | 712M| 44 | - | 50 |8187 | 50 | 17 | 20 |2461k|8006 | 0.000000e+00 | -- | Inf
824.62/824.60 c 825s| 4380k|819906 | 9865k| 2.3 | 713M| 44 | 6 | 50 |8096 | 50 | 17 | 20 |2467k|8015 | 0.000000e+00 | -- | Inf
826.62/826.61 c 827s| 4390k|821989 | 9887k| 2.3 | 715M| 44 | 6 | 50 |8630 | 50 | 17 | 20 |2472k|8022 | 0.000000e+00 | -- | Inf
828.62/828.61 c 829s| 4400k|824148 | 9909k| 2.3 | 717M| 44 | 6 | 50 |8551 | 50 | 17 | 20 |2477k|8034 | 0.000000e+00 | -- | Inf
830.64/830.64 c 831s| 4410k|825881 | 9931k| 2.3 | 719M| 44 | - | 50 |9060 | 50 | 17 | 20 |2482k|8042 | 0.000000e+00 | -- | Inf
832.62/832.61 c 833s| 4420k|828417 | 9953k| 2.3 | 721M| 44 | 6 | 50 |9340 | 50 | 17 | 20 |2487k|8049 | 0.000000e+00 | -- | Inf
834.72/834.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.72/834.79 c 835s| 4430k|830342 | 9975k| 2.3 | 722M| 44 | 6 | 50 |8409 | 50 | 17 | 20 |2492k|8059 | 0.000000e+00 | -- | Inf
837.02/837.03 c 837s| 4440k|832025 | 9998k| 2.3 | 723M| 44 | - | 50 |6709 | 50 | 17 | 20 |2498k|8064 | 0.000000e+00 | -- | Inf
839.22/839.30 c 839s| 4450k|833554 | 10021k| 2.3 | 725M| 44 | 6 | 50 |6316 | 50 | 17 | 20 |2504k|8077 | 0.000000e+00 | -- | Inf
841.42/841.40 c 841s| 4460k|835368 | 10044k| 2.3 | 726M| 44 | 6 | 50 |7141 | 50 | 17 | 20 |2509k|8086 | 0.000000e+00 | -- | Inf
843.73/843.72 c 844s| 4470k|836846 | 10067k| 2.3 | 727M| 44 | 6 | 50 |5368 | 50 | 17 | 20 |2515k|8096 | 0.000000e+00 | -- | Inf
845.93/845.94 c 846s| 4480k|838182 | 10090k| 2.3 | 729M| 44 | 6 | 50 |5638 | 50 | 17 | 20 |2521k|8104 | 0.000000e+00 | -- | Inf
848.02/848.04 c 848s| 4490k|839714 | 10113k| 2.3 | 730M| 44 | 6 | 50 |5354 | 50 | 17 | 20 |2527k|8117 | 0.000000e+00 | -- | Inf
850.02/850.08 c 850s| 4500k|841222 | 10136k| 2.3 | 732M| 44 | 6 | 50 |5925 | 50 | 17 | 20 |2533k|8122 | 0.000000e+00 | -- | Inf
852.22/852.26 c 852s| 4510k|842655 | 10159k| 2.3 | 734M| 44 | 6 | 50 |6449 | 50 | 17 | 20 |2539k|8131 | 0.000000e+00 | -- | Inf
854.32/854.36 c 854s| 4520k|844387 | 10181k| 2.3 | 735M| 44 | - | 50 |6613 | 50 | 17 | 20 |2545k|8145 | 0.000000e+00 | -- | Inf
856.32/856.34 c 856s| 4530k|846388 | 10205k| 2.3 | 737M| 44 | 6 | 50 |7490 | 50 | 17 | 20 |2550k|8156 | 0.000000e+00 | -- | Inf
858.42/858.40 c 858s| 4540k|848255 | 10227k| 2.3 | 739M| 44 | - | 50 |8059 | 50 | 17 | 20 |2556k|8160 | 0.000000e+00 | -- | Inf
860.72/860.74 c 861s| 4550k|849782 | 10250k| 2.3 | 740M| 44 | 6 | 50 |8376 | 50 | 17 | 20 |2562k|8171 | 0.000000e+00 | -- | Inf
862.82/862.87 c 863s| 4560k|851551 | 10273k| 2.3 | 742M| 44 | - | 50 |9311 | 50 | 17 | 20 |2568k|8183 | 0.000000e+00 | -- | Inf
865.32/865.32 c 865s| 4570k|853176 | 10297k| 2.3 | 743M| 44 | 6 | 50 |8759 | 50 | 17 | 20 |2573k|8192 | 0.000000e+00 | -- | Inf
867.72/867.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.72/867.75 c 868s| 4580k|854744 | 10321k| 2.3 | 745M| 44 | - | 50 |8028 | 0 | 0 | 20 |2579k|8200 | 0.000000e+00 | -- | Inf
870.14/870.14 c 870s| 4590k|856223 | 10343k| 2.3 | 746M| 44 | 6 | 50 |7218 | 50 | 17 | 20 |2585k|8208 | 0.000000e+00 | -- | Inf
872.22/872.20 c 872s| 4600k|857974 | 10366k| 2.3 | 748M| 44 | 6 | 50 |8476 | 50 | 17 | 20 |2591k|8217 | 0.000000e+00 | -- | Inf
874.54/874.56 c 875s| 4610k|859513 | 10389k| 2.3 | 749M| 44 | 6 | 50 |7304 | 50 | 17 | 20 |2597k|8224 | 0.000000e+00 | -- | Inf
876.73/876.73 c 877s| 4620k|861162 | 10411k| 2.3 | 751M| 44 | - | 50 |7761 | 50 | 17 | 20 |2603k|8235 | 0.000000e+00 | -- | Inf
878.93/878.99 c 879s| 4630k|862664 | 10434k| 2.3 | 752M| 44 | 6 | 50 |7086 | 50 | 17 | 20 |2608k|8241 | 0.000000e+00 | -- | Inf
881.32/881.31 c 881s| 4640k|864146 | 10456k| 2.3 | 753M| 44 | 6 | 50 |6208 | 50 | 17 | 20 |2614k|8249 | 0.000000e+00 | -- | Inf
883.44/883.44 c 883s| 4650k|865627 | 10479k| 2.3 | 755M| 44 | 6 | 50 |6783 | 50 | 17 | 20 |2620k|8260 | 0.000000e+00 | -- | Inf
885.53/885.52 c 886s| 4660k|867270 | 10501k| 2.3 | 756M| 44 | 6 | 50 |6649 | 50 | 17 | 20 |2626k|8268 | 0.000000e+00 | -- | Inf
887.73/887.74 c 888s| 4670k|868664 | 10523k| 2.3 | 757M| 44 | - | 50 |5733 | 0 | 0 | 20 |2632k|8276 | 0.000000e+00 | -- | Inf
889.82/889.91 c 890s| 4680k|870096 | 10546k| 2.3 | 759M| 44 | - | 50 |6125 | 50 | 17 | 20 |2637k|8282 | 0.000000e+00 | -- | Inf
892.13/892.17 c 892s| 4690k|871471 | 10569k| 2.3 | 760M| 44 | 6 | 50 |5923 | 50 | 17 | 20 |2643k|8292 | 0.000000e+00 | -- | Inf
894.34/894.38 c 894s| 4700k|872820 | 10592k| 2.3 | 762M| 44 | 6 | 50 |5404 | 50 | 17 | 20 |2649k|8299 | 0.000000e+00 | -- | Inf
896.54/896.60 c 897s| 4710k|874115 | 10615k| 2.3 | 763M| 44 | 6 | 50 |5517 | 50 | 17 | 20 |2655k|8310 | 0.000000e+00 | -- | Inf
898.52/898.56 c 899s| 4720k|875901 | 10637k| 2.3 | 765M| 44 | - | 50 |6997 | 50 | 17 | 20 |2661k|8318 | 0.000000e+00 | -- | Inf
900.72/900.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.72/900.72 c 901s| 4730k|877514 | 10659k| 2.3 | 766M| 44 | - | 50 |6163 | 50 | 17 | 20 |2667k|8321 | 0.000000e+00 | -- | Inf
902.92/902.99 c 903s| 4740k|879015 | 10682k| 2.3 | 768M| 44 | 6 | 50 |5932 | 50 | 17 | 20 |2673k|8332 | 0.000000e+00 | -- | Inf
904.92/904.99 c 905s| 4750k|880826 | 10705k| 2.3 | 769M| 44 | 6 | 50 |6436 | 50 | 17 | 20 |2678k|8343 | 0.000000e+00 | -- | Inf
906.92/906.94 c 907s| 4760k|882875 | 10728k| 2.3 | 771M| 44 | - | 50 |8166 | 50 | 17 | 20 |2684k|8351 | 0.000000e+00 | -- | Inf
909.32/909.32 c 909s| 4770k|884230 | 10751k| 2.3 | 772M| 44 | - | 50 |5863 | 50 | 17 | 20 |2690k|8361 | 0.000000e+00 | -- | Inf
911.52/911.54 c 912s| 4780k|885617 | 10774k| 2.3 | 774M| 44 | - | 50 |5925 | 50 | 17 | 20 |2695k|8370 | 0.000000e+00 | -- | Inf
913.62/913.61 c 914s| 4790k|887214 | 10796k| 2.3 | 775M| 44 | - | 50 |6830 | 50 | 17 | 20 |2701k|8376 | 0.000000e+00 | -- | Inf
915.72/915.72 c 916s| 4800k|888842 | 10818k| 2.3 | 777M| 44 | 6 | 50 |6780 | 50 | 17 | 20 |2707k|8383 | 0.000000e+00 | -- | Inf
917.92/917.95 c 918s| 4810k|890295 | 10841k| 2.3 | 778M| 44 | - | 50 |5858 | 50 | 17 | 20 |2713k|8392 | 0.000000e+00 | -- | Inf
919.93/919.90 c 920s| 4820k|892362 | 10865k| 2.3 | 780M| 44 | 6 | 50 |6557 | 50 | 17 | 20 |2719k|8403 | 0.000000e+00 | -- | Inf
922.02/922.08 c 922s| 4830k|893615 | 10888k| 2.3 | 781M| 44 | 6 | 50 |7219 | 50 | 17 | 20 |2725k|8412 | 0.000000e+00 | -- | Inf
924.32/924.34 c 924s| 4840k|894983 | 10910k| 2.3 | 783M| 44 | 6 | 50 |6784 | 50 | 17 | 20 |2731k|8424 | 0.000000e+00 | -- | Inf
926.63/926.61 c 927s| 4850k|896429 | 10932k| 2.3 | 784M| 44 | - | 50 |6319 | 50 | 17 | 20 |2736k|8439 | 0.000000e+00 | -- | Inf
928.82/928.81 c 929s| 4860k|897870 | 10956k| 2.3 | 785M| 44 | - | 50 |6266 | 50 | 17 | 20 |2742k|8449 | 0.000000e+00 | -- | Inf
930.93/930.97 c 931s| 4870k|899461 | 10978k| 2.3 | 787M| 44 | 6 | 50 |6538 | 50 | 17 | 20 |2748k|8451 | 0.000000e+00 | -- | Inf
932.94/932.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.94/932.96 c 933s| 4880k|901304 | 11001k| 2.3 | 789M| 44 | 6 | 50 |8129 | 50 | 17 | 20 |2754k|8457 | 0.000000e+00 | -- | Inf
935.32/935.36 c 935s| 4890k|902543 | 11024k| 2.3 | 790M| 44 | 6 | 50 |7043 | 50 | 17 | 20 |2760k|8461 | 0.000000e+00 | -- | Inf
937.72/937.73 c 938s| 4900k|903921 | 11048k| 2.3 | 791M| 44 | - | 50 |6407 | 50 | 17 | 20 |2766k|8466 | 0.000000e+00 | -- | Inf
940.03/940.00 c 940s| 4910k|905282 | 11070k| 2.3 | 792M| 44 | 6 | 50 |5645 | 50 | 17 | 20 |2772k|8475 | 0.000000e+00 | -- | Inf
942.12/942.11 c 942s| 4920k|906832 | 11093k| 2.3 | 794M| 44 | 6 | 50 |6024 | 50 | 17 | 20 |2778k|8481 | 0.000000e+00 | -- | Inf
944.12/944.19 c 944s| 4930k|908354 | 11115k| 2.3 | 796M| 44 | - | 50 |6664 | 50 | 17 | 20 |2784k|8489 | 0.000000e+00 | -- | Inf
946.42/946.45 c 946s| 4940k|909632 | 11137k| 2.3 | 797M| 44 | - | 50 |6287 | 50 | 17 | 20 |2790k|8497 | 0.000000e+00 | -- | Inf
948.62/948.63 c 949s| 4950k|911127 | 11160k| 2.3 | 798M| 44 | - | 50 |5935 | 50 | 17 | 20 |2796k|8510 | 0.000000e+00 | -- | Inf
950.72/950.78 c 951s| 4960k|912531 | 11183k| 2.3 | 800M| 44 | 6 | 50 |5893 | 50 | 17 | 20 |2802k|8515 | 0.000000e+00 | -- | Inf
952.92/952.92 c 953s| 4970k|914007 | 11205k| 2.3 | 801M| 44 | 6 | 50 |6446 | 50 | 17 | 20 |2808k|8522 | 0.000000e+00 | -- | Inf
955.12/955.14 c 955s| 4980k|915380 | 11228k| 2.3 | 803M| 44 | 6 | 50 |6373 | 50 | 17 | 20 |2814k|8533 | 0.000000e+00 | -- | Inf
957.13/957.18 c 957s| 4990k|916896 | 11251k| 2.3 | 804M| 44 | 6 | 50 |7173 | 50 | 17 | 20 |2820k|8553 | 0.000000e+00 | -- | Inf
959.42/959.47 c 959s| 5000k|918229 | 11273k| 2.3 | 806M| 44 | 6 | 50 |6509 | 50 | 17 | 20 |2826k|8564 | 0.000000e+00 | -- | Inf
961.53/961.53 c 962s| 5010k|919910 | 11295k| 2.3 | 807M| 44 | 6 | 50 |6956 | 50 | 17 | 20 |2831k|8570 | 0.000000e+00 | -- | Inf
963.64/963.70 c 964s| 5020k|921284 | 11317k| 2.3 | 809M| 44 | 6 | 50 |7166 | 50 | 17 | 20 |2837k|8575 | 0.000000e+00 | -- | Inf
966.02/966.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.02/966.04 c 966s| 5030k|922613 | 11340k| 2.3 | 810M| 44 | 6 | 50 |6562 | 50 | 17 | 20 |2843k|8584 | 0.000000e+00 | -- | Inf
968.22/968.22 c 968s| 5040k|924035 | 11364k| 2.3 | 811M| 44 | 6 | 50 |6477 | 50 | 17 | 20 |2849k|8592 | 0.000000e+00 | -- | Inf
970.33/970.37 c 970s| 5050k|925573 | 11387k| 2.3 | 813M| 44 | 6 | 50 |6564 | 50 | 17 | 20 |2855k|8604 | 0.000000e+00 | -- | Inf
972.73/972.71 c 973s| 5060k|926781 | 11409k| 2.3 | 814M| 44 | 6 | 50 |5199 | 50 | 17 | 20 |2861k|8616 | 0.000000e+00 | -- | Inf
974.74/974.74 c 975s| 5070k|928181 | 11432k| 2.3 | 816M| 44 | - | 50 |6332 | 0 | 0 | 20 |2867k|8628 | 0.000000e+00 | -- | Inf
976.84/976.83 c 977s| 5080k|929766 | 11455k| 2.3 | 817M| 44 | 6 | 50 |6628 | 50 | 17 | 20 |2873k|8639 | 0.000000e+00 | -- | Inf
979.04/979.11 c 979s| 5090k|931264 | 11478k| 2.3 | 818M| 44 | - | 50 |5321 | 50 | 17 | 20 |2879k|8647 | 0.000000e+00 | -- | Inf
981.12/981.16 c 981s| 5100k|932888 | 11501k| 2.3 | 820M| 44 | 6 | 50 |6052 | 50 | 17 | 20 |2884k|8661 | 0.000000e+00 | -- | Inf
983.33/983.34 c 983s| 5110k|934424 | 11524k| 2.3 | 821M| 44 | 6 | 50 |5632 | 50 | 17 | 20 |2890k|8671 | 0.000000e+00 | -- | Inf
985.33/985.34 c 985s| 5120k|935964 | 11546k| 2.3 | 823M| 44 | 6 | 50 |7330 | 50 | 17 | 20 |2896k|8681 | 0.000000e+00 | -- | Inf
987.53/987.59 c 988s| 5130k|937494 | 11569k| 2.3 | 825M| 44 | - | 50 |6744 | 0 | 0 | 20 |2902k|8689 | 0.000000e+00 | -- | Inf
989.83/989.86 c 990s| 5140k|938814 | 11591k| 2.3 | 826M| 44 | 6 | 50 |6679 | 50 | 17 | 20 |2908k|8695 | 0.000000e+00 | -- | Inf
991.93/991.95 c 992s| 5150k|940570 | 11615k| 2.3 | 828M| 44 | 6 | 50 |7158 | 50 | 17 | 20 |2914k|8702 | 0.000000e+00 | -- | Inf
994.22/994.25 c 994s| 5160k|941882 | 11639k| 2.3 | 829M| 44 | 6 | 50 |6272 | 50 | 17 | 20 |2920k|8715 | 0.000000e+00 | -- | Inf
996.42/996.46 c 996s| 5170k|943413 | 11662k| 2.3 | 830M| 44 | - | 50 |5700 | 0 | 0 | 20 |2926k|8724 | 0.000000e+00 | -- | Inf
998.53/998.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.53/998.50 c 999s| 5180k|945121 | 11684k| 2.3 | 832M| 44 | 6 | 50 |6656 | 50 | 17 | 20 |2932k|8734 | 0.000000e+00 | -- | Inf
1000.92/1000.92 c 1001s| 5190k|946473 | 11707k| 2.3 | 833M| 44 | 6 | 50 |5767 | 50 | 17 | 20 |2938k|8743 | 0.000000e+00 | -- | Inf
1003.03/1003.04 c 1003s| 5200k|947905 | 11729k| 2.3 | 835M| 44 | 6 | 50 |7312 | 50 | 17 | 20 |2944k|8750 | 0.000000e+00 | -- | Inf
1005.32/1005.31 c 1005s| 5210k|949294 | 11752k| 2.3 | 836M| 44 | 6 | 50 |6864 | 50 | 17 | 20 |2950k|8757 | 0.000000e+00 | -- | Inf
1007.64/1007.61 c 1008s| 5220k|950646 | 11775k| 2.3 | 838M| 44 | - | 50 |6450 | 50 | 17 | 20 |2956k|8765 | 0.000000e+00 | -- | Inf
1009.63/1009.60 c 1010s| 5230k|952356 | 11797k| 2.3 | 839M| 44 | - | 50 |8107 | 50 | 17 | 20 |2961k|8770 | 0.000000e+00 | -- | Inf
1012.04/1012.06 c 1012s| 5240k|953676 | 11820k| 2.3 | 840M| 44 | - | 50 |6289 | 0 | 0 | 20 |2968k|8779 | 0.000000e+00 | -- | Inf
1014.34/1014.35 c 1014s| 5250k|955027 | 11843k| 2.3 | 842M| 44 | 6 | 50 |6472 | 50 | 17 | 20 |2974k|8786 | 0.000000e+00 | -- | Inf
1016.44/1016.50 c 1016s| 5260k|956735 | 11866k| 2.3 | 844M| 44 | - | 50 |7105 | 50 | 17 | 20 |2979k|8796 | 0.000000e+00 | -- | Inf
1018.64/1018.68 c 1019s| 5270k|958122 | 11889k| 2.3 | 845M| 44 | - | 50 |7330 | 50 | 17 | 20 |2985k|8814 | 0.000000e+00 | -- | Inf
1020.94/1020.93 c 1021s| 5280k|959676 | 11913k| 2.3 | 847M| 44 | 6 | 50 |7774 | 50 | 17 | 20 |2991k|8824 | 0.000000e+00 | -- | Inf
1023.23/1023.28 c 1023s| 5290k|961175 | 11936k| 2.3 | 848M| 44 | - | 50 |6948 | 50 | 17 | 20 |2997k|8835 | 0.000000e+00 | -- | Inf
1025.42/1025.42 c 1025s| 5300k|962726 | 11959k| 2.3 | 849M| 44 | 6 | 50 |7458 | 50 | 17 | 20 |3003k|8847 | 0.000000e+00 | -- | Inf
1027.73/1027.77 c 1028s| 5310k|964097 | 11982k| 2.3 | 851M| 44 | 6 | 50 |6793 | 50 | 17 | 20 |3009k|8853 | 0.000000e+00 | -- | Inf
1029.83/1029.88 c 1030s| 5320k|965661 | 12004k| 2.3 | 852M| 44 | - | 50 |6497 | 0 | 0 | 20 |3015k|8860 | 0.000000e+00 | -- | Inf
1032.13/1032.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.13/1032.10 c 1032s| 5330k|967170 | 12026k| 2.3 | 853M| 44 | - | 50 |6013 | 50 | 17 | 20 |3020k|8868 | 0.000000e+00 | -- | Inf
1034.43/1034.47 c 1034s| 5340k|968418 | 12049k| 2.3 | 855M| 44 | 6 | 50 |5476 | 50 | 17 | 20 |3026k|8880 | 0.000000e+00 | -- | Inf
1036.82/1036.81 c 1037s| 5350k|969681 | 12072k| 2.3 | 856M| 44 | 6 | 50 |5639 | 50 | 17 | 20 |3032k|8890 | 0.000000e+00 | -- | Inf
1038.93/1038.96 c 1039s| 5360k|971287 | 12095k| 2.3 | 858M| 44 | 6 | 50 |6635 | 50 | 17 | 20 |3038k|8899 | 0.000000e+00 | -- | Inf
1041.03/1041.08 c 1041s| 5370k|972974 | 12118k| 2.3 | 860M| 44 | 6 | 50 |7981 | 50 | 17 | 20 |3044k|8909 | 0.000000e+00 | -- | Inf
1043.43/1043.42 c 1043s| 5380k|974611 | 12142k| 2.3 | 861M| 44 | - | 50 |7069 | 0 | 0 | 20 |3050k|8917 | 0.000000e+00 | -- | Inf
1045.73/1045.70 c 1046s| 5390k|976000 | 12165k| 2.3 | 862M| 44 | - | 50 |7088 | 50 | 17 | 20 |3056k|8930 | 0.000000e+00 | -- | Inf
1047.92/1047.93 c 1048s| 5400k|977644 | 12187k| 2.3 | 863M| 44 | 6 | 50 |6452 | 50 | 17 | 20 |3061k|8943 | 0.000000e+00 | -- | Inf
1050.32/1050.39 c 1050s| 5410k|978909 | 12210k| 2.3 | 865M| 44 | 6 | 50 |5861 | 50 | 17 | 20 |3067k|8948 | 0.000000e+00 | -- | Inf
1052.52/1052.58 c 1053s| 5420k|980308 | 12232k| 2.3 | 866M| 44 | 6 | 50 |6207 | 50 | 17 | 20 |3073k|8953 | 0.000000e+00 | -- | Inf
1054.53/1054.54 c 1055s| 5430k|982261 | 12255k| 2.3 | 868M| 44 | - | 50 |7629 | 50 | 17 | 20 |3079k|8966 | 0.000000e+00 | -- | Inf
1056.72/1056.74 c 1057s| 5440k|983630 | 12279k| 2.3 | 869M| 44 | - | 50 |7130 | 0 | 0 | 20 |3085k|8969 | 0.000000e+00 | -- | Inf
1058.82/1058.84 c 1059s| 5450k|985329 | 12301k| 2.3 | 871M| 44 | 6 | 50 |8844 | 50 | 17 | 20 |3091k|8981 | 0.000000e+00 | -- | Inf
1061.02/1061.09 c 1061s| 5460k|987498 | 12324k| 2.3 | 873M| 44 | 6 | 50 |8560 | 50 | 17 | 20 |3096k|8994 | 0.000000e+00 | -- | Inf
1063.23/1063.20 c 1063s| 5470k|989830 | 12346k| 2.3 | 875M| 44 | - | 50 |9450 | 50 | 17 | 20 |3101k|9000 | 0.000000e+00 | -- | Inf
1065.32/1065.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.32/1065.32 c 1065s| 5480k|992119 | 12369k| 2.3 | 877M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |3106k|9006 | 0.000000e+00 | -- | Inf
1067.43/1067.43 c 1067s| 5490k|994649 | 12392k| 2.3 | 879M| 44 | 6 | 50 | 11k| 50 | 17 | 20 |3111k|9012 | 0.000000e+00 | -- | Inf
1069.73/1069.74 c 1070s| 5500k|996781 | 12414k| 2.3 | 881M| 44 | 6 | 50 | 11k| 50 | 17 | 20 |3116k|9020 | 0.000000e+00 | -- | Inf
1072.13/1072.10 c 1072s| 5510k|998649 | 12437k| 2.3 | 882M| 44 | - | 50 | 10k| 50 | 17 | 20 |3122k|9032 | 0.000000e+00 | -- | Inf
1074.43/1074.47 c 1074s| 5520k| 1000k| 12460k| 2.3 | 884M| 44 | - | 50 | 10k| 50 | 17 | 20 |3127k|9038 | 0.000000e+00 | -- | Inf
1076.63/1076.65 c 1077s| 5530k| 1002k| 12482k| 2.3 | 886M| 44 | - | 50 | 10k| 50 | 17 | 20 |3133k|9047 | 0.000000e+00 | -- | Inf
1079.03/1079.11 c 1079s| 5540k| 1004k| 12505k| 2.3 | 887M| 44 | - | 50 | 10k| 50 | 17 | 20 |3138k|9060 | 0.000000e+00 | -- | Inf
1081.63/1081.62 c 1082s| 5550k| 1005k| 12528k| 2.3 | 888M| 44 | - | 50 |9901 | 50 | 17 | 20 |3144k|9066 | 0.000000e+00 | -- | Inf
1084.03/1084.03 c 1084s| 5560k| 1007k| 12551k| 2.3 | 890M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |3149k|9076 | 0.000000e+00 | -- | Inf
1086.62/1086.67 c 1087s| 5570k| 1008k| 12574k| 2.3 | 891M| 44 | 6 | 50 |7989 | 50 | 17 | 20 |3155k|9085 | 0.000000e+00 | -- | Inf
1089.15/1089.14 c 1089s| 5580k| 1010k| 12596k| 2.3 | 892M| 44 | 6 | 50 |6967 | 50 | 17 | 20 |3161k|9095 | 0.000000e+00 | -- | Inf
1091.24/1091.23 c 1091s| 5590k| 1011k| 12619k| 2.3 | 894M| 44 | - | 50 |7755 | 50 | 17 | 20 |3167k|9101 | 0.000000e+00 | -- | Inf
1093.73/1093.73 c 1094s| 5600k| 1012k| 12642k| 2.3 | 895M| 44 | 6 | 50 |6247 | 50 | 17 | 20 |3173k|9106 | 0.000000e+00 | -- | Inf
1095.75/1095.73 c 1096s| 5610k| 1014k| 12664k| 2.3 | 897M| 44 | 6 | 50 |6918 | 50 | 17 | 20 |3179k|9114 | 0.000000e+00 | -- | Inf
1098.03/1098.01 c 1098s| 5620k| 1016k| 12686k| 2.3 | 898M| 44 | 6 | 50 |5946 | 50 | 17 | 20 |3184k|9121 | 0.000000e+00 | -- | Inf
1100.14/1100.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.14/1100.13 c 1100s| 5630k| 1017k| 12709k| 2.3 | 899M| 44 | 6 | 50 |6703 | 50 | 17 | 20 |3190k|9127 | 0.000000e+00 | -- | Inf
1102.13/1102.12 c 1102s| 5640k| 1019k| 12731k| 2.3 | 902M| 44 | 6 | 50 |8677 | 50 | 17 | 20 |3196k|9136 | 0.000000e+00 | -- | Inf
1104.54/1104.52 c 1105s| 5650k| 1021k| 12754k| 2.3 | 903M| 44 | 6 | 50 |7475 | 50 | 17 | 20 |3202k|9139 | 0.000000e+00 | -- | Inf
1107.03/1107.09 c 1107s| 5660k| 1022k| 12776k| 2.3 | 904M| 44 | - | 50 |6401 | 50 | 17 | 20 |3208k|9149 | 0.000000e+00 | -- | Inf
1109.43/1109.46 c 1109s| 5670k| 1023k| 12799k| 2.3 | 905M| 44 | 6 | 50 |5916 | 50 | 17 | 20 |3214k|9159 | 0.000000e+00 | -- | Inf
1111.43/1111.47 c 1111s| 5680k| 1025k| 12822k| 2.3 | 907M| 44 | 6 | 50 |7012 | 50 | 17 | 20 |3219k|9163 | 0.000000e+00 | -- | Inf
1113.43/1113.40 c 1113s| 5690k| 1028k| 12845k| 2.3 | 909M| 44 | 6 | 50 |8251 | 50 | 17 | 20 |3224k|9169 | 0.000000e+00 | -- | Inf
1115.83/1115.88 c 1116s| 5700k| 1029k| 12867k| 2.3 | 910M| 44 | - | 50 |6146 | 0 | 0 | 20 |3230k|9180 | 0.000000e+00 | -- | Inf
1117.83/1117.88 c 1118s| 5710k| 1030k| 12890k| 2.3 | 912M| 44 | 6 | 50 |7743 | 50 | 17 | 20 |3236k|9191 | 0.000000e+00 | -- | Inf
1120.23/1120.27 c 1120s| 5720k| 1032k| 12912k| 2.3 | 912M| 44 | - | 50 |6184 | 50 | 17 | 20 |3242k|9205 | 0.000000e+00 | -- | Inf
1122.53/1122.50 c 1122s| 5730k| 1033k| 12935k| 2.3 | 914M| 44 | 6 | 50 |6375 | 50 | 17 | 20 |3248k|9211 | 0.000000e+00 | -- | Inf
1124.83/1124.80 c 1125s| 5740k| 1035k| 12957k| 2.3 | 915M| 44 | - | 50 |6133 | 50 | 17 | 20 |3254k|9216 | 0.000000e+00 | -- | Inf
1127.03/1127.05 c 1127s| 5750k| 1036k| 12980k| 2.3 | 917M| 44 | 6 | 50 |6299 | 50 | 17 | 20 |3260k|9224 | 0.000000e+00 | -- | Inf
1129.42/1129.42 c 1129s| 5760k| 1037k| 13003k| 2.3 | 918M| 44 | 6 | 50 |6286 | 50 | 17 | 20 |3266k|9231 | 0.000000e+00 | -- | Inf
1131.43/1131.44 c 1131s| 5770k| 1039k| 13025k| 2.3 | 920M| 44 | - | 50 |7239 | 0 | 0 | 20 |3271k|9238 | 0.000000e+00 | -- | Inf
1133.53/1133.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.53/1133.58 c 1134s| 5780k| 1041k| 13047k| 2.3 | 922M| 44 | 6 | 50 |8542 | 50 | 17 | 20 |3277k|9250 | 0.000000e+00 | -- | Inf
1135.93/1135.91 c 1136s| 5790k| 1042k| 13071k| 2.3 | 923M| 44 | - | 50 |7986 | 50 | 17 | 20 |3283k|9258 | 0.000000e+00 | -- | Inf
1138.23/1138.27 c 1138s| 5800k| 1044k| 13093k| 2.3 | 924M| 44 | 6 | 50 |7710 | 50 | 17 | 20 |3289k|9264 | 0.000000e+00 | -- | Inf
1140.75/1140.78 c 1141s| 5810k| 1045k| 13116k| 2.3 | 925M| 44 | 6 | 50 |6168 | 50 | 17 | 20 |3295k|9269 | 0.000000e+00 | -- | Inf
1143.23/1143.20 c 1143s| 5820k| 1046k| 13139k| 2.3 | 926M| 44 | 6 | 50 |5825 | 50 | 17 | 20 |3301k|9279 | 0.000000e+00 | -- | Inf
1145.53/1145.59 c 1146s| 5830k| 1047k| 13162k| 2.3 | 928M| 44 | - | 50 |6152 | 50 | 17 | 20 |3307k|9287 | 0.000000e+00 | -- | Inf
1147.83/1147.86 c 1148s| 5840k| 1048k| 13184k| 2.3 | 929M| 44 | 6 | 50 |6702 | 50 | 17 | 20 |3314k|9290 | 0.000000e+00 | -- | Inf
1149.93/1149.97 c 1150s| 5850k| 1050k| 13207k| 2.3 | 931M| 44 | 6 | 50 |7827 | 50 | 17 | 20 |3319k|9296 | 0.000000e+00 | -- | Inf
1152.43/1152.40 c 1152s| 5860k| 1052k| 13230k| 2.3 | 932M| 44 | 6 | 50 |6999 | 50 | 17 | 20 |3325k|9300 | 0.000000e+00 | -- | Inf
1154.53/1154.57 c 1155s| 5870k| 1053k| 13253k| 2.3 | 934M| 44 | 6 | 50 |7163 | 50 | 17 | 20 |3331k|9306 | 0.000000e+00 | -- | Inf
1156.73/1156.72 c 1157s| 5880k| 1055k| 13276k| 2.3 | 936M| 44 | - | 50 |7808 | 50 | 17 | 20 |3336k|9312 | 0.000000e+00 | -- | Inf
1159.23/1159.24 c 1159s| 5890k| 1056k| 13298k| 2.3 | 937M| 44 | 6 | 50 |6858 | 50 | 17 | 20 |3342k|9321 | 0.000000e+00 | -- | Inf
1161.64/1161.63 c 1162s| 5900k| 1058k| 13321k| 2.3 | 938M| 44 | 6 | 50 |6900 | 50 | 17 | 20 |3348k|9328 | 0.000000e+00 | -- | Inf
1163.84/1163.89 c 1164s| 5910k| 1059k| 13344k| 2.3 | 940M| 44 | 6 | 50 |7080 | 50 | 17 | 20 |3354k|9332 | 0.000000e+00 | -- | Inf
1166.23/1166.29 c 1166s| 5920k| 1060k| 13367k| 2.3 | 941M| 44 | 6 | 50 |6379 | 50 | 17 | 20 |3360k|9342 | 0.000000e+00 | -- | Inf
1168.43/1168.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.43/1168.42 c 1168s| 5930k| 1062k| 13389k| 2.3 | 942M| 44 | 6 | 50 |6682 | 50 | 17 | 20 |3366k|9348 | 0.000000e+00 | -- | Inf
1170.83/1170.86 c 1171s| 5940k| 1063k| 13412k| 2.3 | 944M| 44 | - | 50 |6180 | 0 | 0 | 20 |3372k|9355 | 0.000000e+00 | -- | Inf
1173.13/1173.11 c 1173s| 5950k| 1064k| 13435k| 2.3 | 945M| 44 | 6 | 50 |5393 | 50 | 17 | 20 |3378k|9361 | 0.000000e+00 | -- | Inf
1175.33/1175.33 c 1175s| 5960k| 1066k| 13458k| 2.3 | 946M| 44 | - | 50 |5840 | 50 | 17 | 20 |3384k|9368 | 0.000000e+00 | -- | Inf
1177.43/1177.49 c 1177s| 5970k| 1067k| 13481k| 2.3 | 948M| 44 | 6 | 50 |6434 | 50 | 17 | 20 |3390k|9377 | 0.000000e+00 | -- | Inf
1179.73/1179.76 c 1180s| 5980k| 1069k| 13503k| 2.3 | 949M| 44 | - | 50 |6471 | 50 | 17 | 20 |3396k|9388 | 0.000000e+00 | -- | Inf
1182.03/1182.06 c 1182s| 5990k| 1070k| 13526k| 2.3 | 950M| 44 | 6 | 50 |5770 | 50 | 17 | 20 |3402k|9398 | 0.000000e+00 | -- | Inf
1184.03/1184.04 c 1184s| 6000k| 1071k| 13548k| 2.3 | 952M| 44 | - | 50 |7229 | 50 | 17 | 20 |3408k|9403 | 0.000000e+00 | -- | Inf
1186.33/1186.34 c 1186s| 6010k| 1073k| 13571k| 2.3 | 953M| 44 | 6 | 50 |6186 | 50 | 17 | 20 |3414k|9411 | 0.000000e+00 | -- | Inf
1188.73/1188.70 c 1189s| 6020k| 1074k| 13594k| 2.3 | 955M| 44 | 6 | 50 |6092 | 50 | 17 | 20 |3420k|9419 | 0.000000e+00 | -- | Inf
1190.93/1190.90 c 1191s| 6030k| 1075k| 13617k| 2.3 | 956M| 44 | - | 50 |6119 | 0 | 0 | 20 |3426k|9428 | 0.000000e+00 | -- | Inf
1192.93/1192.90 c 1193s| 6040k| 1077k| 13639k| 2.3 | 958M| 44 | - | 50 |7041 | 50 | 17 | 20 |3432k|9437 | 0.000000e+00 | -- | Inf
1194.93/1194.92 c 1195s| 6050k| 1079k| 13661k| 2.3 | 960M| 44 | - | 50 |8058 | 50 | 17 | 20 |3437k|9446 | 0.000000e+00 | -- | Inf
1197.33/1197.31 c 1197s| 6060k| 1080k| 13684k| 2.3 | 961M| 44 | 6 | 50 |7029 | 50 | 17 | 20 |3443k|9455 | 0.000000e+00 | -- | Inf
1199.63/1199.64 c 1200s| 6070k| 1082k| 13707k| 2.3 | 962M| 44 | - | 50 |7043 | 50 | 17 | 20 |3449k|9462 | 0.000000e+00 | -- | Inf
1201.83/1201.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1201.83/1201.87 c 1202s| 6080k| 1083k| 13730k| 2.3 | 964M| 44 | - | 50 |7297 | 50 | 17 | 20 |3455k|9468 | 0.000000e+00 | -- | Inf
1204.13/1204.18 c 1204s| 6090k| 1085k| 13752k| 2.3 | 965M| 44 | 6 | 50 |7204 | 50 | 17 | 20 |3461k|9477 | 0.000000e+00 | -- | Inf
1206.33/1206.36 c 1206s| 6100k| 1087k| 13775k| 2.3 | 967M| 44 | 6 | 50 |7849 | 50 | 17 | 20 |3466k|9480 | 0.000000e+00 | -- | Inf
1208.33/1208.31 c 1208s| 6110k| 1090k| 13797k| 2.3 | 969M| 44 | 6 | 50 |8918 | 50 | 17 | 20 |3471k|9488 | 0.000000e+00 | -- | Inf
1210.43/1210.48 c 1210s| 6120k| 1092k| 13820k| 2.3 | 971M| 44 | 6 | 50 |9529 | 50 | 17 | 20 |3476k|9498 | 0.000000e+00 | -- | Inf
1212.73/1212.73 c 1213s| 6130k| 1094k| 13843k| 2.3 | 972M| 44 | 6 | 50 |9315 | 50 | 17 | 20 |3481k|9506 | 0.000000e+00 | -- | Inf
1215.04/1215.07 c 1215s| 6140k| 1096k| 13866k| 2.3 | 974M| 44 | - | 50 |9633 | 50 | 17 | 20 |3487k|9513 | 0.000000e+00 | -- | Inf
1217.53/1217.54 c 1218s| 6150k| 1098k| 13889k| 2.3 | 975M| 44 | - | 50 |8488 | 50 | 17 | 20 |3492k|9518 | 0.000000e+00 | -- | Inf
1219.63/1219.63 c 1220s| 6160k| 1100k| 13910k| 2.3 | 977M| 44 | - | 50 |9915 | 0 | 0 | 20 |3498k|9526 | 0.000000e+00 | -- | Inf
1222.14/1222.14 c 1222s| 6170k| 1101k| 13933k| 2.3 | 978M| 44 | 6 | 50 |9007 | 50 | 17 | 20 |3503k|9534 | 0.000000e+00 | -- | Inf
1224.83/1224.84 c 1225s| 6180k| 1102k| 13956k| 2.3 | 979M| 44 | - | 50 |7233 | 50 | 17 | 20 |3509k|9544 | 0.000000e+00 | -- | Inf
1227.34/1227.33 c 1227s| 6190k| 1104k| 13978k| 2.3 | 980M| 44 | - | 50 |6104 | 50 | 17 | 20 |3515k|9552 | 0.000000e+00 | -- | Inf
1229.53/1229.59 c 1230s| 6200k| 1105k| 14000k| 2.3 | 982M| 44 | - | 50 |6347 | 50 | 17 | 20 |3521k|9559 | 0.000000e+00 | -- | Inf
1231.83/1231.89 c 1232s| 6210k| 1106k| 14023k| 2.3 | 983M| 44 | 6 | 50 |6620 | 50 | 17 | 20 |3527k|9564 | 0.000000e+00 | -- | Inf
1234.54/1234.52 c 1235s| 6220k| 1107k| 14046k| 2.3 | 984M| 44 | 6 | 50 |5919 | 50 | 17 | 20 |3534k|9571 | 0.000000e+00 | -- | Inf
1236.83/1236.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1236.83/1236.84 c 1237s| 6230k| 1109k| 14068k| 2.3 | 986M| 44 | - | 50 |6233 | 0 | 0 | 20 |3540k|9578 | 0.000000e+00 | -- | Inf
1239.03/1239.00 c 1239s| 6240k| 1110k| 14091k| 2.3 | 987M| 44 | - | 50 |6729 | 50 | 17 | 20 |3545k|9590 | 0.000000e+00 | -- | Inf
1240.94/1240.99 c 1241s| 6250k| 1112k| 14114k| 2.3 | 989M| 44 | - | 50 |7910 | 50 | 17 | 20 |3550k|9597 | 0.000000e+00 | -- | Inf
1243.23/1243.30 c 1243s| 6260k| 1114k| 14136k| 2.3 | 991M| 44 | - | 50 |6953 | 0 | 0 | 20 |3556k|9604 | 0.000000e+00 | -- | Inf
1245.34/1245.39 c 1245s| 6270k| 1115k| 14159k| 2.3 | 992M| 44 | 6 | 50 |8152 | 50 | 17 | 20 |3562k|9614 | 0.000000e+00 | -- | Inf
1247.73/1247.73 c 1248s| 6280k| 1117k| 14185k| 2.3 | 994M| 44 | 6 | 50 |9316 | 50 | 17 | 20 |3568k|9624 | 0.000000e+00 | -- | Inf
1250.14/1250.18 c 1250s| 6290k| 1119k| 14207k| 2.3 | 995M| 44 | 6 | 50 |7258 | 50 | 17 | 20 |3574k|9632 | 0.000000e+00 | -- | Inf
1252.63/1252.69 c 1253s| 6300k| 1120k| 14230k| 2.3 | 996M| 44 | 6 | 50 |6619 | 50 | 17 | 20 |3580k|9640 | 0.000000e+00 | -- | Inf
1254.83/1254.81 c 1255s| 6310k| 1121k| 14252k| 2.3 | 998M| 44 | 6 | 50 |7050 | 50 | 17 | 20 |3585k|9648 | 0.000000e+00 | -- | Inf
1256.83/1256.84 c 1257s| 6320k| 1124k| 14276k| 2.3 |1000M| 44 | - | 50 |8678 | 0 | 0 | 20 |3590k|9656 | 0.000000e+00 | -- | Inf
1259.33/1259.35 c 1259s| 6330k| 1125k| 14299k| 2.3 |1001M| 44 | - | 50 |6888 | 50 | 17 | 20 |3596k|9664 | 0.000000e+00 | -- | Inf
1261.54/1261.52 c 1262s| 6340k| 1127k| 14321k| 2.3 |1003M| 44 | - | 50 |7896 | 50 | 17 | 20 |3602k|9672 | 0.000000e+00 | -- | Inf
1263.95/1263.93 c 1264s| 6350k| 1128k| 14344k| 2.3 |1004M| 44 | 6 | 50 |7012 | 50 | 17 | 20 |3608k|9677 | 0.000000e+00 | -- | Inf
1266.04/1266.08 c 1266s| 6360k| 1130k| 14367k| 2.3 |1005M| 44 | - | 50 |7979 | 50 | 17 | 20 |3613k|9687 | 0.000000e+00 | -- | Inf
1268.63/1268.64 c 1269s| 6370k| 1131k| 14389k| 2.3 |1006M| 44 | 6 | 50 |6446 | 50 | 17 | 20 |3619k|9697 | 0.000000e+00 | -- | Inf
1270.83/1270.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.83/1270.86 c 1271s| 6380k| 1133k| 14411k| 2.3 |1008M| 44 | 6 | 50 |7188 | 50 | 17 | 20 |3625k|9706 | 0.000000e+00 | -- | Inf
1273.03/1273.09 c 1273s| 6390k| 1134k| 14434k| 2.3 |1010M| 44 | - | 50 |8328 | 50 | 17 | 20 |3631k|9715 | 0.000000e+00 | -- | Inf
1275.63/1275.64 c 1276s| 6400k| 1136k| 14457k| 2.3 |1011M| 44 | 6 | 50 |6841 | 50 | 17 | 20 |3637k|9729 | 0.000000e+00 | -- | Inf
1278.03/1278.07 c 1278s| 6410k| 1137k| 14479k| 2.3 |1012M| 44 | 6 | 50 |6524 | 50 | 17 | 20 |3643k|9735 | 0.000000e+00 | -- | Inf
1279.94/1279.92 c 1280s| 6420k| 1139k| 14502k| 2.3 |1014M| 44 | 6 | 50 |8067 | 50 | 17 | 20 |3648k|9744 | 0.000000e+00 | -- | Inf
1282.13/1282.10 c 1282s| 6430k| 1142k| 14524k| 2.3 |1016M| 44 | - | 50 |8723 | 50 | 17 | 20 |3652k|9752 | 0.000000e+00 | -- | Inf
1284.34/1284.36 c 1284s| 6440k| 1143k| 14547k| 2.3 |1018M| 44 | - | 50 |8884 | 50 | 17 | 20 |3657k|9762 | 0.000000e+00 | -- | Inf
1287.15/1287.18 c 1287s| 6450k| 1145k| 14569k| 2.3 |1018M| 44 | 6 | 50 |6504 | 50 | 17 | 20 |3663k|9771 | 0.000000e+00 | -- | Inf
1289.35/1289.39 c 1289s| 6460k| 1146k| 14592k| 2.3 |1020M| 44 | - | 50 |7475 | 0 | 0 | 20 |3669k|9776 | 0.000000e+00 | -- | Inf
1291.74/1291.73 c 1292s| 6470k| 1147k| 14615k| 2.3 |1021M| 44 | 6 | 50 |6365 | 50 | 17 | 20 |3675k|9781 | 0.000000e+00 | -- | Inf
1293.75/1293.78 c 1294s| 6480k| 1149k| 14637k| 2.3 |1023M| 44 | - | 50 |7765 | 50 | 17 | 20 |3681k|9793 | 0.000000e+00 | -- | Inf
1296.04/1296.02 c 1296s| 6490k| 1151k| 14660k| 2.3 |1025M| 44 | 6 | 50 |8955 | 50 | 17 | 20 |3686k|9799 | 0.000000e+00 | -- | Inf
1298.63/1298.67 c 1299s| 6500k| 1152k| 14682k| 2.3 |1026M| 44 | 6 | 50 |6655 | 50 | 17 | 20 |3692k|9806 | 0.000000e+00 | -- | Inf
1301.04/1301.04 c 1301s| 6510k| 1153k| 14705k| 2.3 |1027M| 44 | 6 | 50 |7201 | 50 | 17 | 20 |3698k|9813 | 0.000000e+00 | -- | Inf
1303.44/1303.40 c 1303s| 6520k| 1155k| 14728k| 2.3 |1028M| 44 | - | 50 |7044 | 0 | 0 | 20 |3704k|9821 | 0.000000e+00 | -- | Inf
1305.44/1305.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.44/1305.49 c 1305s| 6530k| 1157k| 14751k| 2.3 |1030M| 44 | 6 | 50 |8112 | 50 | 17 | 20 |3710k|9827 | 0.000000e+00 | -- | Inf
1307.74/1307.77 c 1308s| 6540k| 1158k| 14775k| 2.3 |1032M| 44 | - | 50 |8695 | 50 | 17 | 20 |3715k|9836 | 0.000000e+00 | -- | Inf
1310.25/1310.28 c 1310s| 6550k| 1159k| 14798k| 2.3 |1033M| 44 | - | 50 |6986 | 50 | 17 | 20 |3722k|9842 | 0.000000e+00 | -- | Inf
1312.73/1312.70 c 1313s| 6560k| 1161k| 14822k| 2.3 |1034M| 44 | - | 50 |5914 | 50 | 17 | 20 |3728k|9851 | 0.000000e+00 | -- | Inf
1314.74/1314.73 c 1315s| 6570k| 1162k| 14844k| 2.3 |1036M| 44 | 6 | 50 |7818 | 50 | 17 | 20 |3733k|9858 | 0.000000e+00 | -- | Inf
1316.93/1316.98 c 1317s| 6580k| 1164k| 14868k| 2.3 |1037M| 44 | 6 | 50 |8473 | 50 | 17 | 20 |3739k|9865 | 0.000000e+00 | -- | Inf
1319.24/1319.25 c 1319s| 6590k| 1165k| 14890k| 2.3 |1039M| 44 | - | 50 |8399 | 50 | 17 | 20 |3745k|9870 | 0.000000e+00 | -- | Inf
1321.44/1321.47 c 1321s| 6600k| 1167k| 14913k| 2.3 |1040M| 44 | 6 | 50 |9369 | 50 | 17 | 20 |3751k|9878 | 0.000000e+00 | -- | Inf
1324.13/1324.12 c 1324s| 6610k| 1168k| 14936k| 2.3 |1041M| 44 | 6 | 50 |7195 | 50 | 17 | 20 |3757k|9883 | 0.000000e+00 | -- | Inf
1326.43/1326.45 c 1326s| 6620k| 1170k| 14959k| 2.3 |1043M| 44 | - | 50 |7152 | 50 | 17 | 20 |3763k|9890 | 0.000000e+00 | -- | Inf
1328.73/1328.76 c 1329s| 6630k| 1171k| 14984k| 2.3 |1044M| 44 | 6 | 50 |7822 | 50 | 17 | 20 |3769k|9899 | 0.000000e+00 | -- | Inf
1331.24/1331.23 c 1331s| 6640k| 1172k| 15007k| 2.3 |1045M| 44 | - | 50 |6949 | 50 | 17 | 20 |3775k|9909 | 0.000000e+00 | -- | Inf
1333.53/1333.54 c 1334s| 6650k| 1174k| 15029k| 2.3 |1047M| 44 | 6 | 50 |6588 | 50 | 17 | 20 |3781k|9911 | 0.000000e+00 | -- | Inf
1335.93/1335.94 c 1336s| 6660k| 1175k| 15052k| 2.3 |1048M| 44 | - | 50 |6078 | 50 | 17 | 20 |3787k|9921 | 0.000000e+00 | -- | Inf
1338.23/1338.24 c 1338s| 6670k| 1177k| 15075k| 2.3 |1049M| 44 | 6 | 50 |6137 | 50 | 17 | 20 |3793k|9927 | 0.000000e+00 | -- | Inf
1340.14/1340.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.14/1340.14 c 1340s| 6680k| 1179k| 15098k| 2.3 |1052M| 44 | 6 | 50 |7339 | 50 | 17 | 20 |3798k|9934 | 0.000000e+00 | -- | Inf
1342.15/1342.17 c 1342s| 6690k| 1182k| 15120k| 2.3 |1054M| 44 | 6 | 50 |8107 | 50 | 17 | 20 |3803k|9943 | 0.000000e+00 | -- | Inf
1344.36/1344.34 c 1344s| 6700k| 1184k| 15143k| 2.3 |1055M| 44 | 6 | 50 |8270 | 50 | 17 | 20 |3808k|9950 | 0.000000e+00 | -- | Inf
1346.55/1346.58 c 1347s| 6710k| 1186k| 15165k| 2.3 |1057M| 44 | 6 | 50 |8604 | 50 | 17 | 20 |3814k|9960 | 0.000000e+00 | -- | Inf
1348.94/1348.91 c 1349s| 6720k| 1187k| 15188k| 2.3 |1058M| 44 | 6 | 50 |7925 | 50 | 17 | 20 |3819k|9970 | 0.000000e+00 | -- | Inf
1351.24/1351.21 c 1351s| 6730k| 1189k| 15211k| 2.3 |1060M| 44 | - | 50 |8941 | 50 | 17 | 20 |3825k|9979 | 0.000000e+00 | -- | Inf
1353.54/1353.52 c 1354s| 6740k| 1190k| 15233k| 2.3 |1062M| 44 | 6 | 50 |8783 | 50 | 17 | 20 |3831k|9988 | 0.000000e+00 | -- | Inf
1355.63/1355.65 c 1356s| 6750k| 1193k| 15256k| 2.3 |1063M| 44 | - | 50 |9289 | 50 | 17 | 20 |3836k|9991 | 0.000000e+00 | -- | Inf
1357.94/1357.98 c 1358s| 6760k| 1195k| 15279k| 2.3 |1065M| 44 | - | 50 |8825 | 50 | 17 | 20 |3841k|9999 | 0.000000e+00 | -- | Inf
1360.34/1360.39 c 1360s| 6770k| 1197k| 15302k| 2.3 |1066M| 44 | - | 50 |8576 | 50 | 17 | 20 |3847k| 10k| 0.000000e+00 | -- | Inf
1362.95/1362.92 c 1363s| 6780k| 1198k| 15325k| 2.3 |1068M| 44 | - | 50 |8181 | 50 | 17 | 20 |3853k| 10k| 0.000000e+00 | -- | Inf
1365.25/1365.25 c 1365s| 6790k| 1200k| 15348k| 2.3 |1069M| 44 | 6 | 50 |8678 | 50 | 17 | 20 |3859k| 10k| 0.000000e+00 | -- | Inf
1367.64/1367.61 c 1368s| 6800k| 1201k| 15371k| 2.3 |1070M| 44 | 6 | 50 |8300 | 50 | 17 | 20 |3865k| 10k| 0.000000e+00 | -- | Inf
1369.66/1369.63 c 1370s| 6810k| 1204k| 15394k| 2.3 |1073M| 44 | 6 | 50 |9878 | 50 | 17 | 20 |3870k| 10k| 0.000000e+00 | -- | Inf
1372.04/1372.08 c 1372s| 6820k| 1205k| 15417k| 2.3 |1074M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |3876k| 10k| 0.000000e+00 | -- | Inf
1374.63/1374.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1374.63/1374.67 c 1375s| 6830k| 1207k| 15440k| 2.3 |1075M| 44 | 6 | 50 |9404 | 50 | 17 | 20 |3881k| 10k| 0.000000e+00 | -- | Inf
1377.25/1377.25 c 1377s| 6840k| 1208k| 15462k| 2.3 |1077M| 44 | 6 | 50 |8191 | 50 | 17 | 20 |3887k| 10k| 0.000000e+00 | -- | Inf
1379.24/1379.26 c 1379s| 6850k| 1211k| 15486k| 2.3 |1079M| 44 | 6 | 50 |9996 | 50 | 17 | 20 |3892k| 10k| 0.000000e+00 | -- | Inf
1381.54/1381.54 c 1382s| 6860k| 1212k| 15510k| 2.3 |1081M| 44 | - | 50 | 10k| 50 | 17 | 20 |3898k| 10k| 0.000000e+00 | -- | Inf
1384.14/1384.13 c 1384s| 6870k| 1214k| 15533k| 2.3 |1082M| 44 | 6 | 50 |9709 | 50 | 17 | 20 |3903k| 10k| 0.000000e+00 | -- | Inf
1386.74/1386.70 c 1387s| 6880k| 1215k| 15556k| 2.3 |1083M| 44 | 6 | 50 |8319 | 50 | 17 | 20 |3909k| 10k| 0.000000e+00 | -- | Inf
1389.24/1389.30 c 1389s| 6890k| 1217k| 15579k| 2.3 |1084M| 44 | - | 50 |7053 | 50 | 17 | 20 |3915k| 10k| 0.000000e+00 | -- | Inf
1391.55/1391.57 c 1392s| 6900k| 1218k| 15602k| 2.3 |1086M| 44 | 6 | 50 |7371 | 50 | 17 | 20 |3921k| 10k| 0.000000e+00 | -- | Inf
1393.76/1393.75 c 1394s| 6910k| 1220k| 15627k| 2.3 |1087M| 44 | 6 | 50 |7951 | 50 | 17 | 20 |3927k| 10k| 0.000000e+00 | -- | Inf
1396.14/1396.12 c 1396s| 6920k| 1221k| 15651k| 2.3 |1088M| 44 | - | 50 |6589 | 50 | 17 | 20 |3933k| 10k| 0.000000e+00 | -- | Inf
1398.64/1398.63 c 1399s| 6930k| 1223k| 15673k| 2.3 |1089M| 44 | - | 50 |5526 | 50 | 17 | 20 |3939k| 10k| 0.000000e+00 | -- | Inf
1400.64/1400.66 c 1401s| 6940k| 1224k| 15696k| 2.3 |1091M| 44 | 6 | 50 |7323 | 50 | 17 | 20 |3945k| 10k| 0.000000e+00 | -- | Inf
1403.04/1403.07 c 1403s| 6950k| 1226k| 15719k| 2.3 |1093M| 44 | - | 50 |6570 | 50 | 17 | 20 |3951k| 10k| 0.000000e+00 | -- | Inf
1405.34/1405.40 c 1405s| 6960k| 1227k| 15741k| 2.3 |1094M| 44 | 6 | 50 |6630 | 50 | 17 | 20 |3957k| 10k| 0.000000e+00 | -- | Inf
1407.94/1407.92 c 1408s| 6970k| 1228k| 15764k| 2.3 |1095M| 44 | - | 50 |6438 | 50 | 17 | 20 |3963k| 10k| 0.000000e+00 | -- | Inf
1410.35/1410.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.35/1410.35 c 1410s| 6980k| 1229k| 15787k| 2.3 |1097M| 44 | 6 | 50 |6926 | 50 | 17 | 20 |3969k| 10k| 0.000000e+00 | -- | Inf
1412.94/1412.93 c 1413s| 6990k| 1230k| 15811k| 2.3 |1098M| 44 | - | 50 |6725 | 50 | 17 | 20 |3976k| 10k| 0.000000e+00 | -- | Inf
1415.34/1415.34 c 1415s| 7000k| 1232k| 15834k| 2.3 |1099M| 44 | 6 | 50 |7218 | 50 | 17 | 20 |3982k| 10k| 0.000000e+00 | -- | Inf
1417.63/1417.69 c 1418s| 7010k| 1233k| 15857k| 2.3 |1101M| 44 | 6 | 50 |7286 | 50 | 17 | 20 |3987k| 10k| 0.000000e+00 | -- | Inf
1420.04/1420.04 c 1420s| 7020k| 1235k| 15880k| 2.3 |1102M| 44 | - | 50 |7716 | 50 | 17 | 20 |3993k| 10k| 0.000000e+00 | -- | Inf
1422.35/1422.32 c 1422s| 7030k| 1236k| 15903k| 2.3 |1104M| 44 | - | 50 |8501 | 0 | 0 | 20 |3999k| 10k| 0.000000e+00 | -- | Inf
1424.84/1424.83 c 1425s| 7040k| 1238k| 15927k| 2.3 |1106M| 44 | 6 | 50 |8833 | 50 | 17 | 20 |4005k| 10k| 0.000000e+00 | -- | Inf
1427.34/1427.38 c 1427s| 7050k| 1239k| 15948k| 2.3 |1107M| 44 | - | 50 |8340 | 50 | 17 | 20 |4012k| 10k| 0.000000e+00 | -- | Inf
1429.74/1429.77 c 1430s| 7060k| 1240k| 15971k| 2.3 |1108M| 44 | 6 | 50 |7302 | 50 | 17 | 20 |4017k| 10k| 0.000000e+00 | -- | Inf
1431.84/1431.81 c 1432s| 7070k| 1242k| 15993k| 2.3 |1110M| 44 | - | 50 |8907 | 50 | 17 | 20 |4023k| 10k| 0.000000e+00 | -- | Inf
1434.14/1434.16 c 1434s| 7080k| 1244k| 16014k| 2.3 |1111M| 44 | 6 | 50 |8511 | 50 | 17 | 20 |4028k| 10k| 0.000000e+00 | -- | Inf
1436.34/1436.30 c 1436s| 7090k| 1246k| 16035k| 2.3 |1113M| 44 | - | 50 |9500 | 50 | 17 | 20 |4034k| 10k| 0.000000e+00 | -- | Inf
1438.64/1438.67 c 1439s| 7100k| 1247k| 16057k| 2.3 |1114M| 44 | - | 50 |9777 | 50 | 17 | 20 |4039k| 10k| 0.000000e+00 | -- | Inf
1440.94/1440.97 c 1441s| 7110k| 1249k| 16078k| 2.3 |1116M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |4045k| 10k| 0.000000e+00 | -- | Inf
1443.44/1443.46 c 1443s| 7120k| 1250k| 16101k| 2.3 |1117M| 44 | - | 50 |9769 | 0 | 0 | 20 |4051k| 10k| 0.000000e+00 | -- | Inf
1445.64/1445.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1445.64/1445.66 c 1446s| 7130k| 1252k| 16122k| 2.3 |1119M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |4056k| 10k| 0.000000e+00 | -- | Inf
1448.14/1448.12 c 1448s| 7140k| 1253k| 16143k| 2.3 |1120M| 44 | 6 | 50 |9829 | 50 | 17 | 20 |4062k| 10k| 0.000000e+00 | -- | Inf
1450.54/1450.54 c 1451s| 7150k| 1255k| 16164k| 2.3 |1121M| 44 | 6 | 50 |9423 | 50 | 17 | 20 |4067k| 10k| 0.000000e+00 | -- | Inf
1452.84/1452.88 c 1453s| 7160k| 1257k| 16186k| 2.3 |1123M| 44 | - | 50 | 10k| 50 | 17 | 20 |4072k| 10k| 0.000000e+00 | -- | Inf
1455.54/1455.51 c 1456s| 7170k| 1258k| 16209k| 2.3 |1124M| 44 | 6 | 50 |8504 | 50 | 17 | 20 |4078k| 10k| 0.000000e+00 | -- | Inf
1457.74/1457.78 c 1458s| 7180k| 1260k| 16231k| 2.3 |1125M| 44 | 6 | 50 |8289 | 50 | 17 | 20 |4083k| 10k| 0.000000e+00 | -- | Inf
1460.44/1460.42 c 1460s| 7190k| 1261k| 16253k| 2.3 |1126M| 44 | - | 50 |6918 | 50 | 17 | 20 |4089k| 10k| 0.000000e+00 | -- | Inf
1462.94/1462.90 c 1463s| 7200k| 1262k| 16276k| 2.3 |1128M| 44 | - | 50 |6972 | 50 | 17 | 20 |4096k| 10k| 0.000000e+00 | -- | Inf
1465.44/1465.43 c 1465s| 7210k| 1263k| 16299k| 2.3 |1129M| 44 | 6 | 50 |6737 | 50 | 17 | 20 |4101k| 10k| 0.000000e+00 | -- | Inf
1467.94/1467.90 c 1468s| 7220k| 1265k| 16321k| 2.3 |1130M| 44 | - | 50 |6428 | 50 | 17 | 20 |4108k| 10k| 0.000000e+00 | -- | Inf
1470.14/1470.12 c 1470s| 7230k| 1266k| 16344k| 2.3 |1132M| 44 | 6 | 50 |6995 | 50 | 17 | 20 |4113k| 10k| 0.000000e+00 | -- | Inf
1472.64/1472.62 c 1473s| 7240k| 1267k| 16367k| 2.3 |1133M| 44 | - | 50 |6614 | 50 | 17 | 20 |4120k| 10k| 0.000000e+00 | -- | Inf
1474.94/1474.94 c 1475s| 7250k| 1268k| 16390k| 2.3 |1135M| 44 | 6 | 50 |7275 | 50 | 17 | 20 |4126k| 10k| 0.000000e+00 | -- | Inf
1477.64/1477.63 c 1478s| 7260k| 1270k| 16413k| 2.3 |1136M| 44 | 6 | 50 |6439 | 50 | 17 | 20 |4132k| 10k| 0.000000e+00 | -- | Inf
1480.14/1480.19 c 1480s| 7270k| 1271k| 16437k| 2.3 |1137M| 44 | 6 | 50 |6439 | 50 | 17 | 20 |4138k| 10k| 0.000000e+00 | -- | Inf
1482.54/1482.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.54/1482.56 c 1483s| 7280k| 1272k| 16459k| 2.3 |1138M| 44 | - | 50 |6594 | 50 | 17 | 20 |4144k| 10k| 0.000000e+00 | -- | Inf
1484.84/1484.85 c 1485s| 7290k| 1273k| 16483k| 2.3 |1140M| 44 | - | 50 |7509 | 0 | 0 | 20 |4150k| 10k| 0.000000e+00 | -- | Inf
1487.04/1487.02 c 1487s| 7300k| 1275k| 16505k| 2.3 |1142M| 44 | 6 | 50 |8086 | 50 | 17 | 20 |4155k| 10k| 0.000000e+00 | -- | Inf
1489.34/1489.41 c 1489s| 7310k| 1277k| 16528k| 2.3 |1143M| 44 | - | 50 |8836 | 50 | 17 | 20 |4161k| 10k| 0.000000e+00 | -- | Inf
1492.14/1492.11 c 1492s| 7320k| 1278k| 16551k| 2.3 |1144M| 44 | 6 | 50 |6768 | 50 | 17 | 20 |4167k| 10k| 0.000000e+00 | -- | Inf
1494.64/1494.63 c 1495s| 7330k| 1279k| 16574k| 2.3 |1145M| 44 | 6 | 50 |6764 | 50 | 17 | 20 |4173k| 10k| 0.000000e+00 | -- | Inf
1497.04/1497.11 c 1497s| 7340k| 1280k| 16597k| 2.3 |1147M| 44 | - | 50 |6523 | 0 | 0 | 20 |4180k| 10k| 0.000000e+00 | -- | Inf
1499.35/1499.41 c 1499s| 7350k| 1282k| 16620k| 2.3 |1148M| 44 | 6 | 50 |7788 | 50 | 17 | 20 |4186k| 10k| 0.000000e+00 | -- | Inf
1502.04/1502.03 c 1502s| 7360k| 1283k| 16644k| 2.3 |1149M| 44 | 6 | 50 |6654 | 50 | 17 | 20 |4192k| 10k| 0.000000e+00 | -- | Inf
1504.04/1504.07 c 1504s| 7370k| 1285k| 16667k| 2.3 |1151M| 44 | - | 50 |8400 | 0 | 0 | 20 |4197k| 10k| 0.000000e+00 | -- | Inf
1506.34/1506.39 c 1506s| 7380k| 1286k| 16690k| 2.3 |1153M| 44 | - | 50 |9257 | 50 | 17 | 20 |4204k| 10k| 0.000000e+00 | -- | Inf
1509.04/1509.08 c 1509s| 7390k| 1287k| 16713k| 2.3 |1154M| 44 | - | 50 |8098 | 50 | 17 | 20 |4210k| 10k| 0.000000e+00 | -- | Inf
1511.56/1511.55 c 1512s| 7400k| 1288k| 16735k| 2.3 |1155M| 44 | 6 | 50 |7478 | 50 | 17 | 20 |4216k| 10k| 0.000000e+00 | -- | Inf
1514.14/1514.19 c 1514s| 7410k| 1289k| 16758k| 2.3 |1156M| 44 | - | 50 |6666 | 50 | 17 | 20 |4222k| 10k| 0.000000e+00 | -- | Inf
1516.54/1516.54 c 1517s| 7420k| 1291k| 16781k| 2.3 |1158M| 44 | 6 | 50 |6856 | 50 | 17 | 20 |4228k| 10k| 0.000000e+00 | -- | Inf
1519.04/1519.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.04/1519.04 c 1519s| 7430k| 1292k| 16803k| 2.3 |1159M| 44 | 6 | 50 |7026 | 50 | 17 | 20 |4234k| 10k| 0.000000e+00 | -- | Inf
1521.45/1521.44 c 1521s| 7440k| 1293k| 16826k| 2.3 |1160M| 44 | 6 | 50 |6746 | 50 | 17 | 20 |4240k| 10k| 0.000000e+00 | -- | Inf
1523.85/1523.81 c 1524s| 7450k| 1295k| 16849k| 2.3 |1162M| 44 | - | 50 |7219 | 50 | 17 | 20 |4245k| 10k| 0.000000e+00 | -- | Inf
1526.34/1526.38 c 1526s| 7460k| 1296k| 16872k| 2.3 |1163M| 44 | - | 50 |6546 | 50 | 17 | 20 |4252k| 10k| 0.000000e+00 | -- | Inf
1528.64/1528.61 c 1529s| 7470k| 1297k| 16896k| 2.3 |1165M| 44 | 6 | 50 |7794 | 50 | 17 | 20 |4258k| 10k| 0.000000e+00 | -- | Inf
1530.84/1530.85 c 1531s| 7480k| 1299k| 16918k| 2.3 |1167M| 44 | - | 50 |9051 | 50 | 17 | 20 |4264k| 10k| 0.000000e+00 | -- | Inf
1533.46/1533.43 c 1533s| 7490k| 1300k| 16940k| 2.3 |1168M| 44 | 6 | 50 |7703 | 50 | 17 | 20 |4270k| 10k| 0.000000e+00 | -- | Inf
1535.95/1535.92 c 1536s| 7500k| 1301k| 16963k| 2.3 |1169M| 44 | 6 | 50 |7443 | 50 | 17 | 20 |4276k| 10k| 0.000000e+00 | -- | Inf
1538.05/1538.02 c 1538s| 7510k| 1303k| 16985k| 2.3 |1171M| 44 | 6 | 50 |9099 | 50 | 17 | 20 |4281k| 10k| 0.000000e+00 | -- | Inf
1540.65/1540.65 c 1541s| 7520k| 1304k| 17008k| 2.3 |1172M| 44 | 6 | 50 |7111 | 50 | 17 | 20 |4287k| 10k| 0.000000e+00 | -- | Inf
1543.24/1543.22 c 1543s| 7530k| 1305k| 17031k| 2.3 |1173M| 44 | 6 | 50 |6136 | 50 | 17 | 20 |4294k| 10k| 0.000000e+00 | -- | Inf
1545.75/1545.75 c 1546s| 7540k| 1306k| 17054k| 2.3 |1174M| 44 | - | 50 |6560 | 50 | 17 | 20 |4300k| 10k| 0.000000e+00 | -- | Inf
1547.86/1547.84 c 1548s| 7550k| 1308k| 17077k| 2.3 |1176M| 44 | - | 50 |7809 | 50 | 17 | 20 |4306k| 10k| 0.000000e+00 | -- | Inf
1550.14/1550.13 c 1550s| 7560k| 1310k| 17099k| 2.3 |1178M| 44 | - | 50 |8354 | 0 | 0 | 20 |4312k| 10k| 0.000000e+00 | -- | Inf
1552.44/1552.42 c 1552s| 7570k| 1311k| 17122k| 2.3 |1179M| 44 | 6 | 50 |9258 | 50 | 17 | 20 |4318k| 10k| 0.000000e+00 | -- | Inf
1554.84/1554.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1554.84/1554.81 c 1555s| 7580k| 1312k| 17143k| 2.3 |1180M| 44 | 6 | 50 |8986 | 50 | 17 | 20 |4324k| 10k| 0.000000e+00 | -- | Inf
1557.44/1557.48 c 1557s| 7590k| 1314k| 17165k| 2.3 |1181M| 44 | - | 50 |7264 | 50 | 17 | 20 |4330k| 10k| 0.000000e+00 | -- | Inf
1560.04/1560.01 c 1560s| 7600k| 1315k| 17187k| 2.3 |1182M| 44 | - | 50 |6739 | 0 | 0 | 20 |4336k| 10k| 0.000000e+00 | -- | Inf
1562.35/1562.30 c 1562s| 7610k| 1316k| 17210k| 2.3 |1184M| 44 | - | 50 |7582 | 50 | 17 | 20 |4342k| 10k| 0.000000e+00 | -- | Inf
1564.36/1564.39 c 1564s| 7620k| 1318k| 17232k| 2.3 |1186M| 44 | - | 50 |9015 | 50 | 17 | 20 |4347k| 10k| 0.000000e+00 | -- | Inf
1566.56/1566.59 c 1567s| 7630k| 1320k| 17254k| 2.3 |1188M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |4352k| 10k| 0.000000e+00 | -- | Inf
1569.15/1569.12 c 1569s| 7640k| 1321k| 17277k| 2.3 |1189M| 44 | - | 50 |9332 | 50 | 17 | 20 |4358k| 10k| 0.000000e+00 | -- | Inf
1571.65/1571.69 c 1572s| 7650k| 1323k| 17300k| 2.3 |1190M| 44 | 6 | 50 |8311 | 50 | 17 | 20 |4364k| 10k| 0.000000e+00 | -- | Inf
1574.35/1574.32 c 1574s| 7660k| 1324k| 17323k| 2.3 |1191M| 44 | 6 | 50 |6875 | 50 | 17 | 20 |4371k| 10k| 0.000000e+00 | -- | Inf
1576.46/1576.48 c 1576s| 7670k| 1325k| 17346k| 2.3 |1193M| 44 | - | 50 |8667 | 50 | 17 | 20 |4376k| 10k| 0.000000e+00 | -- | Inf
1579.15/1579.15 c 1579s| 7680k| 1327k| 17369k| 2.3 |1194M| 44 | 6 | 50 |7150 | 50 | 17 | 20 |4382k| 10k| 0.000000e+00 | -- | Inf
1581.65/1581.63 c 1582s| 7690k| 1328k| 17391k| 2.3 |1195M| 44 | 6 | 50 |6913 | 50 | 17 | 20 |4388k| 10k| 0.000000e+00 | -- | Inf
1584.06/1584.08 c 1584s| 7700k| 1329k| 17414k| 2.3 |1197M| 44 | - | 50 |7114 | 50 | 17 | 20 |4394k| 10k| 0.000000e+00 | -- | Inf
1586.75/1586.72 c 1587s| 7710k| 1330k| 17437k| 2.3 |1198M| 44 | 6 | 50 |6023 | 50 | 17 | 20 |4400k| 10k| 0.000000e+00 | -- | Inf
1588.95/1588.99 c 1589s| 7720k| 1332k| 17460k| 2.3 |1200M| 44 | 6 | 50 |7804 | 50 | 17 | 20 |4406k| 10k| 0.000000e+00 | -- | Inf
1591.55/1591.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1591.55/1591.51 c 1592s| 7730k| 1333k| 17482k| 2.3 |1201M| 44 | - | 50 |7114 | 50 | 17 | 20 |4412k| 10k| 0.000000e+00 | -- | Inf
1593.64/1593.60 c 1594s| 7740k| 1335k| 17506k| 2.3 |1203M| 44 | 6 | 50 |8540 | 50 | 17 | 20 |4418k| 10k| 0.000000e+00 | -- | Inf
1596.04/1596.03 c 1596s| 7750k| 1337k| 17530k| 2.3 |1204M| 44 | - | 50 |8609 | 50 | 17 | 20 |4423k| 10k| 0.000000e+00 | -- | Inf
1598.55/1598.52 c 1599s| 7760k| 1338k| 17553k| 2.3 |1205M| 44 | - | 50 |7471 | 50 | 17 | 20 |4429k| 10k| 0.000000e+00 | -- | Inf
1600.94/1600.93 c 1601s| 7770k| 1339k| 17576k| 2.3 |1207M| 44 | 6 | 50 |7447 | 50 | 17 | 20 |4436k| 10k| 0.000000e+00 | -- | Inf
1602.95/1602.96 c 1603s| 7780k| 1341k| 17598k| 2.3 |1209M| 44 | - | 50 |9251 | 50 | 17 | 20 |4441k| 10k| 0.000000e+00 | -- | Inf
1605.65/1605.64 c 1606s| 7790k| 1342k| 17620k| 2.3 |1210M| 44 | 6 | 50 |7614 | 50 | 17 | 20 |4447k| 10k| 0.000000e+00 | -- | Inf
1608.14/1608.14 c 1608s| 7800k| 1344k| 17643k| 2.3 |1211M| 44 | - | 50 |7307 | 0 | 0 | 20 |4452k| 10k| 0.000000e+00 | -- | Inf
1610.46/1610.50 c 1611s| 7810k| 1346k| 17665k| 2.3 |1213M| 44 | 6 | 50 |7683 | 50 | 17 | 20 |4458k| 10k| 0.000000e+00 | -- | Inf
1613.35/1613.30 c 1613s| 7820k| 1347k| 17689k| 2.3 |1213M| 44 | - | 50 |6315 | 50 | 17 | 20 |4464k| 10k| 0.000000e+00 | -- | Inf
1615.65/1615.65 c 1616s| 7830k| 1348k| 17712k| 2.3 |1215M| 44 | - | 50 |7531 | 50 | 17 | 20 |4470k| 10k| 0.000000e+00 | -- | Inf
1618.05/1618.09 c 1618s| 7840k| 1349k| 17736k| 2.3 |1217M| 44 | 6 | 50 |7799 | 50 | 17 | 20 |4476k| 10k| 0.000000e+00 | -- | Inf
1620.84/1620.86 c 1621s| 7850k| 1350k| 17759k| 2.3 |1218M| 44 | 6 | 50 |7010 | 50 | 17 | 20 |4483k| 10k| 0.000000e+00 | -- | Inf
1623.45/1623.46 c 1623s| 7860k| 1352k| 17781k| 2.3 |1219M| 44 | 6 | 50 |6554 | 50 | 17 | 20 |4489k| 10k| 0.000000e+00 | -- | Inf
1625.45/1625.43 c 1625s| 7870k| 1354k| 17805k| 2.3 |1221M| 44 | 6 | 50 |7855 | 50 | 17 | 20 |4494k| 10k| 0.000000e+00 | -- | Inf
1627.64/1627.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.64/1627.62 c 1628s| 7880k| 1356k| 17829k| 2.3 |1223M| 44 | - | 50 |7998 | 50 | 17 | 20 |4500k| 10k| 0.000000e+00 | -- | Inf
1629.95/1629.91 c 1630s| 7890k| 1357k| 17853k| 2.3 |1224M| 44 | - | 50 |8371 | 50 | 17 | 20 |4507k| 10k| 0.000000e+00 | -- | Inf
1632.24/1632.27 c 1632s| 7900k| 1358k| 17876k| 2.3 |1226M| 44 | - | 50 |8776 | 0 | 0 | 20 |4513k| 10k| 0.000000e+00 | -- | Inf
1634.66/1634.69 c 1635s| 7910k| 1360k| 17900k| 2.3 |1227M| 44 | 6 | 50 |9112 | 50 | 17 | 20 |4519k| 10k| 0.000000e+00 | -- | Inf
1637.05/1637.05 c 1637s| 7920k| 1361k| 17925k| 2.3 |1229M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |4525k| 10k| 0.000000e+00 | -- | Inf
1639.65/1639.67 c 1640s| 7930k| 1362k| 17949k| 2.3 |1230M| 44 | - | 50 |9270 | 0 | 0 | 20 |4531k| 10k| 0.000000e+00 | -- | Inf
1642.15/1642.13 c 1642s| 7940k| 1364k| 17972k| 2.3 |1232M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |4538k| 10k| 0.000000e+00 | -- | Inf
1644.75/1644.73 c 1645s| 7950k| 1365k| 17995k| 2.3 |1233M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |4544k| 10k| 0.000000e+00 | -- | Inf
1647.45/1647.42 c 1647s| 7960k| 1366k| 18018k| 2.3 |1234M| 44 | - | 50 |9357 | 50 | 17 | 20 |4550k| 10k| 0.000000e+00 | -- | Inf
1650.24/1650.21 c 1650s| 7970k| 1367k| 18041k| 2.3 |1235M| 44 | - | 50 |7893 | 0 | 0 | 20 |4556k| 10k| 0.000000e+00 | -- | Inf
1652.65/1652.63 c 1653s| 7980k| 1368k| 18064k| 2.3 |1236M| 44 | 6 | 50 |8640 | 50 | 17 | 20 |4562k| 10k| 0.000000e+00 | -- | Inf
1655.14/1655.10 c 1655s| 7990k| 1370k| 18087k| 2.3 |1238M| 44 | 6 | 50 |8452 | 50 | 17 | 20 |4568k| 10k| 0.000000e+00 | -- | Inf
1657.95/1657.94 c 1658s| 8000k| 1371k| 18110k| 2.3 |1238M| 44 | 6 | 50 |6775 | 50 | 17 | 20 |4574k| 10k| 0.000000e+00 | -- | Inf
1660.06/1660.09 c 1660s| 8010k| 1373k| 18132k| 2.3 |1240M| 44 | 6 | 50 |7423 | 50 | 17 | 20 |4580k| 10k| 0.000000e+00 | -- | Inf
1662.45/1662.40 c 1662s| 8020k| 1374k| 18154k| 2.3 |1242M| 44 | 6 | 50 |8276 | 50 | 17 | 20 |4586k| 10k| 0.000000e+00 | -- | Inf
1664.85/1664.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.85/1664.88 c 1665s| 8030k| 1375k| 18177k| 2.3 |1243M| 44 | 6 | 50 |8667 | 50 | 17 | 20 |4592k| 10k| 0.000000e+00 | -- | Inf
1667.54/1667.50 c 1667s| 8040k| 1376k| 18201k| 2.3 |1245M| 44 | 6 | 50 |9121 | 50 | 17 | 20 |4598k| 10k| 0.000000e+00 | -- | Inf
1670.35/1670.34 c 1670s| 8050k| 1378k| 18223k| 2.3 |1246M| 44 | - | 50 |7312 | 50 | 17 | 20 |4604k| 10k| 0.000000e+00 | -- | Inf
1672.65/1672.63 c 1673s| 8060k| 1379k| 18246k| 2.3 |1247M| 44 | 6 | 50 |8300 | 50 | 17 | 20 |4610k| 10k| 0.000000e+00 | -- | Inf
1675.05/1675.05 c 1675s| 8070k| 1381k| 18269k| 2.3 |1249M| 44 | 6 | 50 |7874 | 50 | 17 | 20 |4616k| 10k| 0.000000e+00 | -- | Inf
1677.85/1677.80 c 1678s| 8080k| 1382k| 18292k| 2.3 |1250M| 44 | - | 50 |6603 | 50 | 17 | 20 |4622k| 10k| 0.000000e+00 | -- | Inf
1680.25/1680.20 c 1680s| 8090k| 1383k| 18315k| 2.3 |1251M| 44 | - | 50 |7310 | 50 | 17 | 20 |4628k| 10k| 0.000000e+00 | -- | Inf
1682.65/1682.69 c 1683s| 8100k| 1384k| 18338k| 2.3 |1252M| 44 | 6 | 50 |7326 | 50 | 17 | 20 |4634k| 10k| 0.000000e+00 | -- | Inf
1685.27/1685.24 c 1685s| 8110k| 1386k| 18360k| 2.3 |1254M| 44 | - | 50 |6966 | 50 | 17 | 20 |4640k| 10k| 0.000000e+00 | -- | Inf
1687.64/1687.66 c 1688s| 8120k| 1387k| 18384k| 2.3 |1255M| 44 | 6 | 50 |7450 | 50 | 17 | 20 |4647k| 10k| 0.000000e+00 | -- | Inf
1690.44/1690.48 c 1690s| 8130k| 1388k| 18406k| 2.3 |1256M| 44 | 6 | 50 |6226 | 50 | 17 | 20 |4653k| 11k| 0.000000e+00 | -- | Inf
1692.75/1692.72 c 1693s| 8140k| 1389k| 18429k| 2.3 |1258M| 44 | 6 | 50 |7280 | 50 | 17 | 20 |4658k| 11k| 0.000000e+00 | -- | Inf
1695.26/1695.29 c 1695s| 8150k| 1390k| 18451k| 2.3 |1259M| 44 | 6 | 50 |6227 | 50 | 17 | 20 |4664k| 11k| 0.000000e+00 | -- | Inf
1697.46/1697.46 c 1697s| 8160k| 1392k| 18474k| 2.3 |1260M| 44 | 6 | 50 |7725 | 50 | 17 | 20 |4670k| 11k| 0.000000e+00 | -- | Inf
1699.85/1699.89 c 1700s| 8170k| 1393k| 18497k| 2.3 |1262M| 44 | 6 | 50 |6934 | 50 | 17 | 20 |4676k| 11k| 0.000000e+00 | -- | Inf
1702.65/1702.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.65/1702.64 c 1703s| 8180k| 1394k| 18520k| 2.3 |1263M| 44 | - | 50 |6074 | 50 | 17 | 20 |4683k| 11k| 0.000000e+00 | -- | Inf
1704.95/1705.00 c 1705s| 8190k| 1395k| 18542k| 2.3 |1264M| 44 | - | 50 |6557 | 50 | 17 | 20 |4689k| 11k| 0.000000e+00 | -- | Inf
1707.54/1707.58 c 1708s| 8200k| 1396k| 18565k| 2.3 |1265M| 44 | 6 | 50 |5304 | 50 | 17 | 20 |4695k| 11k| 0.000000e+00 | -- | Inf
1709.75/1709.75 c 1710s| 8210k| 1398k| 18587k| 2.3 |1267M| 44 | 6 | 50 |6774 | 50 | 17 | 20 |4701k| 11k| 0.000000e+00 | -- | Inf
1712.15/1712.12 c 1712s| 8220k| 1399k| 18611k| 2.3 |1268M| 44 | - | 50 |6744 | 50 | 17 | 20 |4707k| 11k| 0.000000e+00 | -- | Inf
1714.65/1714.65 c 1715s| 8230k| 1400k| 18633k| 2.3 |1269M| 44 | 6 | 50 |6102 | 50 | 17 | 20 |4713k| 11k| 0.000000e+00 | -- | Inf
1717.05/1717.08 c 1717s| 8240k| 1401k| 18656k| 2.3 |1270M| 44 | 6 | 50 |6389 | 50 | 17 | 20 |4719k| 11k| 0.000000e+00 | -- | Inf
1719.55/1719.55 c 1720s| 8250k| 1402k| 18679k| 2.3 |1272M| 44 | - | 50 |6590 | 50 | 17 | 20 |4725k| 11k| 0.000000e+00 | -- | Inf
1721.95/1721.92 c 1722s| 8260k| 1404k| 18702k| 2.3 |1273M| 44 | 6 | 50 |7401 | 50 | 17 | 20 |4731k| 11k| 0.000000e+00 | -- | Inf
1724.55/1724.53 c 1725s| 8270k| 1405k| 18725k| 2.3 |1274M| 44 | - | 50 |6584 | 0 | 0 | 20 |4738k| 11k| 0.000000e+00 | -- | Inf
1727.06/1727.07 c 1727s| 8280k| 1406k| 18748k| 2.3 |1275M| 44 | 6 | 50 |6307 | 50 | 17 | 20 |4744k| 11k| 0.000000e+00 | -- | Inf
1729.44/1729.44 c 1729s| 8290k| 1408k| 18772k| 2.3 |1277M| 44 | 6 | 50 |7647 | 50 | 17 | 20 |4750k| 11k| 0.000000e+00 | -- | Inf
1732.05/1732.02 c 1732s| 8300k| 1409k| 18795k| 2.3 |1278M| 44 | 6 | 50 |7072 | 50 | 17 | 20 |4756k| 11k| 0.000000e+00 | -- | Inf
1734.34/1734.31 c 1734s| 8310k| 1410k| 18818k| 2.3 |1280M| 44 | - | 50 |7616 | 50 | 17 | 20 |4762k| 11k| 0.000000e+00 | -- | Inf
1736.85/1736.86 c 1737s| 8320k| 1411k| 18841k| 2.3 |1281M| 44 | 6 | 50 |6593 | 50 | 17 | 20 |4768k| 11k| 0.000000e+00 | -- | Inf
1739.27/1739.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1739.27/1739.27 c 1739s| 8330k| 1413k| 18864k| 2.3 |1282M| 44 | 6 | 50 |6502 | 50 | 17 | 20 |4774k| 11k| 0.000000e+00 | -- | Inf
1741.55/1741.55 c 1742s| 8340k| 1414k| 18888k| 2.3 |1284M| 44 | 6 | 50 |7573 | 50 | 17 | 20 |4780k| 11k| 0.000000e+00 | -- | Inf
1743.95/1743.99 c 1744s| 8350k| 1416k| 18911k| 2.3 |1286M| 44 | - | 50 |8063 | 0 | 0 | 20 |4786k| 11k| 0.000000e+00 | -- | Inf
1746.25/1746.27 c 1746s| 8360k| 1417k| 18936k| 2.3 |1288M| 44 | - | 50 | 10k| 0 | 0 | 20 |4792k| 11k| 0.000000e+00 | -- | Inf
1749.17/1749.12 c 1749s| 8370k| 1419k| 18958k| 2.3 |1289M| 44 | 6 | 50 |8967 | 50 | 17 | 20 |4798k| 11k| 0.000000e+00 | -- | Inf
1751.75/1751.78 c 1752s| 8380k| 1420k| 18982k| 2.3 |1289M| 44 | 6 | 50 |7105 | 50 | 17 | 20 |4804k| 11k| 0.000000e+00 | -- | Inf
1754.35/1754.35 c 1754s| 8390k| 1421k| 19005k| 2.3 |1291M| 44 | 6 | 50 |6763 | 50 | 17 | 20 |4810k| 11k| 0.000000e+00 | -- | Inf
1756.77/1756.74 c 1757s| 8400k| 1422k| 19028k| 2.3 |1292M| 44 | 6 | 50 |6559 | 50 | 17 | 20 |4816k| 11k| 0.000000e+00 | -- | Inf
1759.15/1759.16 c 1759s| 8410k| 1423k| 19051k| 2.3 |1293M| 44 | 6 | 50 |7010 | 50 | 17 | 20 |4823k| 11k| 0.000000e+00 | -- | Inf
1761.75/1761.72 c 1762s| 8420k| 1425k| 19074k| 2.3 |1295M| 44 | 6 | 50 |7087 | 50 | 17 | 20 |4829k| 11k| 0.000000e+00 | -- | Inf
1764.25/1764.22 c 1764s| 8430k| 1426k| 19097k| 2.3 |1296M| 44 | 6 | 50 |7171 | 50 | 17 | 20 |4835k| 11k| 0.000000e+00 | -- | Inf
1766.55/1766.52 c 1767s| 8440k| 1428k| 19120k| 2.3 |1298M| 44 | 6 | 50 |7688 | 50 | 17 | 20 |4841k| 11k| 0.000000e+00 | -- | Inf
1769.05/1769.08 c 1769s| 8450k| 1429k| 19143k| 2.3 |1299M| 44 | 6 | 50 |6929 | 50 | 17 | 20 |4847k| 11k| 0.000000e+00 | -- | Inf
1771.55/1771.54 c 1772s| 8460k| 1430k| 19167k| 2.3 |1300M| 44 | - | 50 |6804 | 50 | 17 | 20 |4853k| 11k| 0.000000e+00 | -- | Inf
1773.75/1773.71 c 1774s| 8470k| 1432k| 19189k| 2.3 |1302M| 44 | 6 | 50 |8117 | 50 | 17 | 20 |4859k| 11k| 0.000000e+00 | -- | Inf
1776.15/1776.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.15/1776.10 c 1776s| 8480k| 1433k| 19212k| 2.3 |1304M| 44 | - | 50 |8863 | 50 | 17 | 20 |4865k| 11k| 0.000000e+00 | -- | Inf
1778.35/1778.35 c 1778s| 8490k| 1435k| 19234k| 2.3 |1305M| 44 | 6 | 50 |8582 | 50 | 17 | 20 |4870k| 11k| 0.000000e+00 | -- | Inf
1780.65/1780.62 c 1781s| 8500k| 1437k| 19256k| 2.3 |1307M| 44 | 6 | 50 |8641 | 50 | 17 | 20 |4875k| 11k| 0.000000e+00 | -- | Inf
1783.05/1783.05 c 1783s| 8510k| 1438k| 19279k| 2.3 |1308M| 44 | - | 50 |8802 | 0 | 0 | 20 |4881k| 11k| 0.000000e+00 | -- | Inf
1785.75/1785.74 c 1786s| 8520k| 1439k| 19301k| 2.3 |1309M| 44 | - | 50 |6859 | 50 | 17 | 20 |4887k| 11k| 0.000000e+00 | -- | Inf
1788.25/1788.20 c 1788s| 8530k| 1441k| 19324k| 2.3 |1310M| 44 | - | 50 |6362 | 50 | 17 | 20 |4893k| 11k| 0.000000e+00 | -- | Inf
1790.86/1790.83 c 1791s| 8540k| 1442k| 19347k| 2.3 |1311M| 44 | - | 50 |6143 | 50 | 17 | 20 |4899k| 11k| 0.000000e+00 | -- | Inf
1793.25/1793.25 c 1793s| 8550k| 1443k| 19370k| 2.3 |1312M| 44 | 6 | 50 |6484 | 50 | 17 | 20 |4905k| 11k| 0.000000e+00 | -- | Inf
1795.65/1795.64 c 1796s| 8560k| 1444k| 19392k| 2.3 |1314M| 44 | - | 50 |7103 | 50 | 17 | 20 |4912k| 11k| 0.000000e+00 | -- | Inf
1797.75/1797.73 c 1798s| 8570k| 1446k| 19415k| 2.3 |1316M| 44 | - | 50 |8762 | 50 | 17 | 20 |4917k| 11k| 0.000000e+00 | -- | Inf
1799.95/1799.92 c 1800s| 8580k| 1448k| 19438k| 2.3 |1318M| 44 | - | 50 | 10k| 50 | 17 | 20 |4923k| 11k| 0.000000e+00 | -- | Inf
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 8580325
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Total Time : 1800.00
1800.05/1800.00 c solving : 1800.00
1800.05/1800.00 c presolving : 0.00 (included in solving)
1800.05/1800.00 c reading : 0.00 (included in solving)
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-3452526-1307096434.opb
1800.05/1800.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 13 initial, 13 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-3452526-1307096434.opb
1800.05/1800.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 6 initial, 11702 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 0 0 7 0 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 5176522 0 4 0 1175 5465 0 0 10340396
1800.05/1800.00 c linear : 6+ 7 20785936 0 1 3 11876861 1009490 13679233 0 0 0
1800.05/1800.00 c logicor : 0+ 6 9225916 0 0 0 7358012 41324 3510473 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.00 c integral : 29.67 0.00 0.00 29.67 0.00 0.00 0.00
1800.05/1800.00 c linear : 172.10 0.00 146.69 0.00 0.00 0.00 25.42
1800.05/1800.00 c logicor : 386.00 0.00 375.61 0.00 0.00 0.00 10.39
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.00 c vbounds : 0 0 0 0
1800.05/1800.00 c rootredcost : 0 0 0 0
1800.05/1800.00 c pseudoobj : 0 0 0 0
1800.05/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.00 c vbounds : 3.01 3.01 0.00
1800.05/1800.00 c rootredcost : 3.29 3.29 0.00
1800.05/1800.00 c pseudoobj : 2.32 2.32 0.00
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 39.87 1050814 900841 2803802 35.3 231 30.2 -
1800.05/1800.00 c infeasible LP : 69.80 2647356 2647249 5030269 24.1 32808 29.3 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 3886308 21.1 - - -
1800.05/1800.00 c applied locally : - - - 1037221 33.9 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 5 - - 17 - (maximal pool size: 76)
1800.05/1800.00 c redcost : 5.46 5176527 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 6 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 6 0 0 13 0
1800.05/1800.00 c cmir : 0.01 6 0 0 30 0
1800.05/1800.00 c flowcover : 0.01 6 0 0 41 0
1800.05/1800.00 c clique : 0.00 1 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 1 0 0 0 0
1800.05/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.01 1 0 0 0 8
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 27.04 5176522 1175 5465 0 0 10340396
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 2.20 0 0
1800.05/1800.00 c crossover : 1.37 0 0
1800.05/1800.00 c guideddiving : 0.19 0 0
1800.05/1800.00 c pscostdiving : 0.19 107 0
1800.05/1800.00 c fracdiving : 0.20 107 0
1800.05/1800.00 c veclendiving : 0.17 107 0
1800.05/1800.00 c linesearchdiving : 0.17 107 0
1800.05/1800.00 c objpscostdiving : 0.16 54 0
1800.05/1800.00 c rootsoldiving : 0.17 54 0
1800.05/1800.00 c coefdiving : 0.17 108 0
1800.05/1800.00 c feaspump : 0.16 54 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c shiftandpropagate: 0.00 1 0
1800.05/1800.00 c simplerounding : 0.90 0 0
1800.05/1800.00 c zirounding : 13.25 0 0
1800.05/1800.00 c rounding : 1.97 32262 0
1800.05/1800.00 c shifting : 2.36 9293 0
1800.05/1800.00 c intshifting : 0.08 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c clique : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.02 1 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c vbounds : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c subnlp : 1.13 0 0
1800.05/1800.00 c trysol : 1.53 0 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 368.35 7659684 19435176 2.54 52762.78
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.11 2088 3899 1.87 36688.53
1800.05/1800.00 c strong branching : 0.98 11285 46220 4.10 47006.42
1800.05/1800.00 c (at root node) : - 12 596 49.67 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 8580325
1800.05/1800.00 c nodes (total) : 8580325
1800.05/1800.00 c nodes left : 1448240
1800.05/1800.00 c max depth : 44
1800.05/1800.00 c max depth (total): 44
1800.05/1800.00 c backtracks : 1388544 (16.2%)
1800.05/1800.00 c delayed cutoffs : 311834
1800.05/1800.00 c repropagations : 6943133 (6006924 domain reductions, 287933 cutoffs)
1800.05/1800.00 c avg switch length: 5.45
1800.05/1800.00 c switching time : 457.17
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 131
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3452526-1307096434/watcher-3452526-1307096434 -o /tmp/evaluation-result-3452526-1307096434/solver-3452526-1307096434 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452526-1307096434.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: 1.92 1.99 1.99 2/429 22599
/proc/meminfo: memFree=27625512/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=18116 CPUtime=0.01 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 3504 0 0 0 1 0 0 0 18 0 1 0 821243827 18550784 3200 33554432000 4194304 9128323 140733824796544 18446744073709551615 4338848 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 4529 3215 674 1205 0 3320 0
[startup+0.108949 s]
/proc/loadavg: 1.92 1.99 1.99 2/429 22599
/proc/meminfo: memFree=27625512/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=27448 CPUtime=0.09 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 6132 0 0 0 8 1 0 0 18 0 1 0 821243827 28106752 5475 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 6862 5475 721 1205 0 5653 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27448
[startup+0.20092 s]
/proc/loadavg: 1.92 1.99 1.99 2/429 22599
/proc/meminfo: memFree=27625512/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=27448 CPUtime=0.19 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 6134 0 0 0 16 3 0 0 18 0 1 0 821243827 28106752 5477 33554432000 4194304 9128323 140733824796544 18446744073709551615 5874702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 6862 5477 723 1205 0 5653 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27448
[startup+0.3009 s]
/proc/loadavg: 1.92 1.99 1.99 2/429 22599
/proc/meminfo: memFree=27625512/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=27448 CPUtime=0.29 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 6135 0 0 0 26 3 0 0 18 0 1 0 821243827 28106752 5478 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 6862 5478 723 1205 0 5653 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27448
[startup+0.700829 s]
/proc/loadavg: 1.92 1.99 1.99 2/429 22599
/proc/meminfo: memFree=27625512/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=27448 CPUtime=0.69 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 6139 0 0 0 61 8 0 0 18 0 1 0 821243827 28106752 5482 33554432000 4194304 9128323 140733824796544 18446744073709551615 4907248 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 6862 5482 723 1205 0 5653 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27448
[startup+1.50068 s]
/proc/loadavg: 1.92 1.99 1.99 3/430 22600
/proc/meminfo: memFree=27605232/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=27448 CPUtime=1.49 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 6146 0 0 0 132 17 0 0 19 0 1 0 821243827 28106752 5489 33554432000 4194304 9128323 140733824796544 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 6862 5489 723 1205 0 5653 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27448
[startup+3.10038 s]
/proc/loadavg: 1.92 1.99 1.99 3/430 22600
/proc/meminfo: memFree=27602852/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=27448 CPUtime=3.09 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 6159 0 0 0 277 32 0 0 25 0 1 0 821243827 28106752 5502 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 6862 5502 723 1205 0 5653 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27448
[startup+6.30079 s]
/proc/loadavg: 1.93 1.99 1.99 3/430 22600
/proc/meminfo: memFree=27598388/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=29504 CPUtime=6.3 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 6958 0 0 0 564 66 0 0 25 0 1 0 821243827 30212096 6301 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 7376 6301 723 1205 0 6167 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 29504
[startup+12.7006 s]
/proc/loadavg: 1.93 1.99 1.99 3/430 22600
/proc/meminfo: memFree=27583408/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=37876 CPUtime=12.69 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 9131 0 0 0 1137 132 0 0 25 0 1 0 821243827 38785024 8474 33554432000 4194304 9128323 140733824796544 18446744073709551615 5333608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 9469 8474 723 1205 0 8260 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37876
[startup+25.5002 s]
/proc/loadavg: 1.95 1.99 1.99 3/430 22601
/proc/meminfo: memFree=27549324/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=55292 CPUtime=25.49 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 13506 0 0 0 2288 261 0 0 25 0 1 0 821243827 56619008 12849 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 13823 12849 723 1205 0 12614 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55292
[startup+51.1005 s]
/proc/loadavg: 1.96 1.99 1.99 3/430 22602
/proc/meminfo: memFree=27493500/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=89452 CPUtime=51.1 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 21672 0 0 0 4601 509 0 0 25 0 1 0 821243827 91598848 21015 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 22363 21015 723 1205 0 21154 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 89452
[startup+102.301 s]
/proc/loadavg: 2.19 2.05 2.01 3/430 22603
/proc/meminfo: memFree=27390020/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=149756 CPUtime=102.3 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 36946 0 0 0 9263 967 0 0 25 0 1 0 821243827 153350144 36289 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 37439 36289 723 1205 0 36230 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 149756
[startup+162.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/430 22604
/proc/meminfo: memFree=27277304/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=213148 CPUtime=162.3 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 52016 0 0 0 14739 1491 0 0 25 0 1 0 821243827 218263552 51359 33554432000 4194304 9128323 140733824796544 18446744073709551615 5333240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 53287 51359 723 1205 0 52078 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 213148
[startup+222.317 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 22606
/proc/meminfo: memFree=27159624/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=272952 CPUtime=222.31 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 67163 0 0 0 20231 2000 0 0 25 0 1 0 821243827 279502848 66506 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 68238 66506 723 1205 0 67029 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 272952
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 22608
/proc/meminfo: memFree=27052232/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=328828 CPUtime=282.3 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 81418 0 0 0 25738 2492 0 0 25 0 1 0 821243827 336719872 80761 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 82207 80761 723 1205 0 80998 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 328828
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22609
/proc/meminfo: memFree=26950672/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=376340 CPUtime=342.3 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 93527 0 0 0 31236 2994 0 0 25 0 1 0 821243827 385372160 92870 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 94085 92870 723 1205 0 92876 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 376340
[startup+402.3 s]
/proc/loadavg: 1.96 2.00 1.99 3/430 22639
/proc/meminfo: memFree=28661840/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=435624 CPUtime=402.3 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 106491 0 0 0 36733 3497 0 0 25 0 1 0 821243827 446078976 105834 33554432000 4194304 9128323 140733824796544 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 108906 105834 723 1205 0 107697 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 435624
[startup+462.301 s]
/proc/loadavg: 1.98 2.00 1.99 3/430 22640
/proc/meminfo: memFree=28530756/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=486772 CPUtime=462.31 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 119458 0 0 0 42234 3997 0 0 25 0 1 0 821243827 498454528 118801 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 121693 118801 723 1205 0 120484 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 486772
[startup+522.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/430 22642
/proc/meminfo: memFree=28413780/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=532588 CPUtime=522.31 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 131189 0 0 0 47746 4485 0 0 25 0 1 0 821243827 545370112 130532 33554432000 4194304 9128323 140733824796544 18446744073709551615 6807056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 133147 130532 723 1205 0 131938 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 532588
[startup+582.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/430 22644
/proc/meminfo: memFree=28306208/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=579240 CPUtime=582.31 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 142952 0 0 0 53258 4973 0 0 25 0 1 0 821243827 593141760 142295 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 144810 142295 723 1205 0 143601 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 579240
[startup+642.301 s]
################
# More data... #
################
[startup+882.316 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 22652
/proc/meminfo: memFree=27806760/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=796064 CPUtime=882.34 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 197909 0 0 0 80910 7324 0 0 25 0 1 0 821243827 815169536 197252 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 199016 197252 723 1205 0 197807 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 796064
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 22653
/proc/meminfo: memFree=27720772/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=833372 CPUtime=942.33 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 207516 0 0 0 86445 7788 0 0 25 0 1 0 821243827 853372928 206859 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 208343 206859 723 1205 0 207134 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 833372
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 22655
/proc/meminfo: memFree=27628316/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=874696 CPUtime=1002.32 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 218090 0 0 0 91977 8255 0 0 25 0 1 0 821243827 895688704 217433 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 218674 217433 723 1205 0 217465 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 874696
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22656
/proc/meminfo: memFree=27547900/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=931544 CPUtime=1062.33 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 228107 0 0 0 97520 8713 0 0 25 0 1 0 821243827 953901056 227450 33554432000 4194304 9128323 140733824796544 18446744073709551615 6807060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 232886 227450 723 1205 0 231677 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 931544
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22658
/proc/meminfo: memFree=27457176/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=969672 CPUtime=1122.33 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 237853 0 0 0 103078 9155 0 0 25 0 1 0 821243827 992944128 237196 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 242418 237196 723 1205 0 241209 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 969672
[startup+1182.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/430 22660
/proc/meminfo: memFree=27372024/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=1006228 CPUtime=1182.33 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 247188 0 0 0 108649 9584 0 0 25 0 1 0 821243827 1030377472 246531 33554432000 4194304 9128323 140733824796544 18446744073709551615 4553104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 251557 246531 723 1205 0 250348 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1006228
[startup+1242.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/430 22661
/proc/meminfo: memFree=27294352/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=1043288 CPUtime=1242.33 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 256727 0 0 0 114201 10032 0 0 25 0 1 0 821243827 1068326912 256070 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 260822 256070 723 1205 0 259613 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1043288
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/430 22663
/proc/meminfo: memFree=27217648/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=1083840 CPUtime=1302.33 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 266718 0 0 0 119774 10459 0 0 25 0 1 0 821243827 1109852160 266061 33554432000 4194304 9128323 140733824796544 18446744073709551615 6580960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 270960 266061 723 1205 0 269751 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1083840
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 22664
/proc/meminfo: memFree=27140588/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=1121736 CPUtime=1362.34 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 276476 0 0 0 125335 10899 0 0 25 0 1 0 821243827 1148657664 275819 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 280434 275819 723 1205 0 279225 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1121736
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22666
/proc/meminfo: memFree=27059804/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=1156860 CPUtime=1422.35 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 285453 0 0 0 130902 11333 0 0 25 0 1 0 821243827 1184624640 284796 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 289215 284796 723 1205 0 288006 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1156860
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22668
/proc/meminfo: memFree=26983984/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=1193768 CPUtime=1482.34 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 294884 0 0 0 136480 11754 0 0 25 0 1 0 821243827 1222418432 294227 33554432000 4194304 9128323 140733824796544 18446744073709551615 4207439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 298442 294227 723 1205 0 297233 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1193768
[startup+1542.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 22669
/proc/meminfo: memFree=26907180/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=1225216 CPUtime=1542.36 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 302984 0 0 0 142054 12182 0 0 25 0 1 0 821243827 1254621184 302327 33554432000 4194304 9128323 140733824796544 18446744073709551615 6554140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 306304 302327 723 1205 0 305095 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 1225216
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22671
/proc/meminfo: memFree=26836068/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=1264696 CPUtime=1602.35 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 312562 0 0 0 147637 12598 0 0 25 0 1 0 821243827 1295048704 311905 33554432000 4194304 9128323 140733824796544 18446744073709551615 5235019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 316174 311905 723 1205 0 314965 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1264696
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22672
/proc/meminfo: memFree=26763712/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=1292732 CPUtime=1662.34 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 319771 0 0 0 153225 13009 0 0 25 0 1 0 821243827 1323757568 319114 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 323183 319114 723 1205 0 321974 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1292732
[startup+1722.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/430 22674
/proc/meminfo: memFree=26690508/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=1325216 CPUtime=1722.35 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 328111 0 0 0 158809 13426 0 0 25 0 1 0 821243827 1357021184 327454 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 331304 327454 723 1205 0 330095 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1325216
[startup+1782.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/430 22676
/proc/meminfo: memFree=26618632/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=1359140 CPUtime=1782.35 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 336770 0 0 0 164382 13853 0 0 25 0 1 0 821243827 1391759360 336113 33554432000 4194304 9128323 140733824796544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22599/statm: 339785 336113 723 1205 0 338576 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1359140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.13 2.06 2.02 3/430 22676
/proc/meminfo: memFree=26595532/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=1368936 CPUtime=1800.07 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 339286 0 0 0 166027 13980 0 0 25 0 1 0 821243827 1401790464 338629 33554432000 4194304 9128323 140733824796544 18446744073709551615 5320780 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22599/statm: 342234 338629 725 1205 0 341025 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1368936
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.13 2.06 2.02 3/430 22676
/proc/meminfo: memFree=26595532/32951124 swapFree=43324008/67111528
[pid=22599] ppid=22597 vsize=1368936 CPUtime=1800.07 cores=1,3,5,7
/proc/22599/stat : 22599 (scip-2.0.1.4.li) R 22597 22599 22076 0 -1 4202496 339286 0 0 0 166027 13980 0 0 25 0 1 0 821243827 1401790464 338629 33554432000 4194304 9128323 140733824796544 18446744073709551615 5320780 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22599/statm: 342234 338629 725 1205 0 341025 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1368936
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.07
CPU time (s): 1800.13
CPU user time (s): 1660.27
CPU system time (s): 139.86
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1368936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1660.27
system time used= 139.86
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339286
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= 6
involuntary context switches= 1156
runsolver used 7.13891 second user time and 17.7693 second system time
The end