0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3734989-1338715767.opb>
0.00/0.00 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 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.01 c (round 2) 1 del vars, 6 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, 6 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 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.01 c 5 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.5
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 = 1797
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 | 27 | - | 254k| 0 | 5 | 40 | 19 | 40 | 5 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 91 | - | 297k| 0 | 8 | 40 | 33 | 40 | 9 | 4 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 98 | - | 322k| 0 | 11 | 40 | 33 | 40 | 14 | 9 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 105 | - | 341k| 0 | 12 | 40 | 33 | 40 | 17 | 12 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 111 | - | 360k| 0 | 14 | 40 | 33 | 40 | 20 | 15 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 120 | - | 377k| 0 | 17 | 40 | 33 | 40 | 24 | 19 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 130 | - | 384k| 0 | 15 | 40 | 33 | 40 | 27 | 22 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 2 | 130 | - | 385k| 0 | 15 | 40 | 33 | 40 | 27 | 22 | 14 | 9 | 0.000000e+00 | -- | Inf
1.39/1.47 c 1.5s| 10000 | 3978 | 20812 | 2.1 |3807k| 35 | 5 | 40 |3147 | 40 | 17 | 22 |4209 | 494 | 0.000000e+00 | -- | Inf
2.79/2.87 c 2.9s| 20000 | 7739 | 41081 | 2.0 |5618k| 35 | 5 | 40 |2167 | 40 | 17 | 22 |8433 | 653 | 0.000000e+00 | -- | Inf
4.09/4.18 c 4.2s| 30000 | 11278 | 61606 | 2.0 |7560k| 35 | 5 | 40 |2307 | 40 | 17 | 22 | 12k| 770 | 0.000000e+00 | -- | Inf
5.49/5.55 c 5.5s| 40000 | 14574 | 81879 | 2.0 |9550k| 35 | 5 | 40 |2646 | 40 | 17 | 22 | 17k| 880 | 0.000000e+00 | -- | Inf
6.89/6.97 c 7.0s| 50000 | 17666 |102234 | 2.0 | 11M| 35 | 5 | 40 |2660 | 40 | 17 | 22 | 21k| 979 | 0.000000e+00 | -- | Inf
8.28/8.36 c 8.4s| 60000 | 20831 |122781 | 2.0 | 13M| 35 | 5 | 40 |3390 | 40 | 17 | 22 | 26k|1062 | 0.000000e+00 | -- | Inf
9.89/9.90 c 9.9s| 70000 | 23533 |142900 | 2.0 | 14M| 35 | 5 | 40 |2951 | 40 | 17 | 22 | 31k|1145 | 0.000000e+00 | -- | Inf
11.29/11.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.29/11.37 c 11.4s| 80000 | 26402 |163157 | 2.0 | 16M| 35 | 5 | 40 |3165 | 40 | 17 | 22 | 36k|1216 | 0.000000e+00 | -- | Inf
12.89/12.90 c 12.9s| 90000 | 29148 |183537 | 2.0 | 18M| 35 | 5 | 40 |3308 | 40 | 17 | 22 | 41k|1287 | 0.000000e+00 | -- | Inf
14.39/14.40 c 14.4s|100000 | 31879 |204061 | 2.0 | 20M| 35 | 5 | 40 |3756 | 40 | 17 | 22 | 46k|1348 | 0.000000e+00 | -- | Inf
15.99/16.02 c 16.0s|110000 | 34486 |224587 | 2.0 | 21M| 35 | 5 | 40 |3250 | 40 | 17 | 22 | 51k|1411 | 0.000000e+00 | -- | Inf
17.50/17.53 c 17.5s|120000 | 37382 |245221 | 2.0 | 23M| 35 | - | 40 |3660 | 40 | 17 | 22 | 56k|1495 | 0.000000e+00 | -- | Inf
19.08/19.14 c 19.1s|130000 | 39856 |265599 | 2.0 | 25M| 35 | 5 | 40 |3908 | 40 | 17 | 22 | 61k|1553 | 0.000000e+00 | -- | Inf
20.68/20.74 c 20.7s|140000 | 42494 |286085 | 2.0 | 26M| 35 | 5 | 40 |4226 | 40 | 17 | 22 | 66k|1611 | 0.000000e+00 | -- | Inf
22.39/22.44 c 22.4s|150000 | 44744 |306317 | 2.0 | 28M| 35 | - | 40 |4051 | 0 | 0 | 22 | 71k|1662 | 0.000000e+00 | -- | Inf
23.99/24.05 c 24.1s|160000 | 47159 |326523 | 2.0 | 29M| 35 | 5 | 40 |4532 | 40 | 17 | 22 | 76k|1705 | 0.000000e+00 | -- | Inf
25.68/25.77 c 25.8s|170000 | 49409 |346959 | 2.0 | 31M| 35 | 5 | 40 |4522 | 40 | 17 | 22 | 81k|1758 | 0.000000e+00 | -- | Inf
27.39/27.42 c 27.4s|180000 | 52083 |367532 | 2.0 | 33M| 35 | - | 40 |5060 | 40 | 17 | 22 | 87k|1810 | 0.000000e+00 | -- | Inf
28.98/29.02 c 29.0s|190000 | 54534 |387674 | 2.0 | 34M| 35 | 5 | 40 |5059 | 40 | 17 | 22 | 92k|1855 | 0.000000e+00 | -- | Inf
30.69/30.72 c 30.7s|200000 | 56965 |408537 | 2.0 | 36M| 35 | 5 | 40 |5016 | 40 | 17 | 22 | 97k|1902 | 0.000000e+00 | -- | Inf
32.28/32.34 c 32.3s|210000 | 59875 |429246 | 2.0 | 38M| 35 | 5 | 40 |6115 | 40 | 17 | 22 | 102k|1938 | 0.000000e+00 | -- | Inf
34.18/34.23 c 34.2s|220000 | 62012 |449963 | 2.0 | 39M| 35 | 5 | 40 |5394 | 40 | 17 | 22 | 107k|1992 | 0.000000e+00 | -- | Inf
35.98/36.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.98/36.02 c 36.0s|230000 | 64215 |470580 | 2.0 | 41M| 35 | 5 | 40 |5954 | 40 | 17 | 22 | 113k|2043 | 0.000000e+00 | -- | Inf
37.77/37.86 c 37.9s|240000 | 66283 |491131 | 2.0 | 42M| 35 | 5 | 40 |5100 | 40 | 17 | 22 | 118k|2086 | 0.000000e+00 | -- | Inf
39.47/39.51 c 39.5s|250000 | 68521 |511630 | 2.0 | 44M| 35 | 5 | 40 |6417 | 40 | 17 | 22 | 124k|2130 | 0.000000e+00 | -- | Inf
41.37/41.41 c 41.4s|260000 | 70603 |532181 | 2.0 | 45M| 35 | 5 | 40 |6033 | 40 | 17 | 22 | 129k|2168 | 0.000000e+00 | -- | Inf
43.17/43.25 c 43.2s|270000 | 72665 |552823 | 2.0 | 47M| 35 | 5 | 40 |5740 | 40 | 17 | 22 | 135k|2217 | 0.000000e+00 | -- | Inf
44.86/44.99 c 45.0s|280000 | 75206 |573524 | 2.0 | 49M| 35 | 5 | 40 |7242 | 40 | 17 | 22 | 140k|2260 | 0.000000e+00 | -- | Inf
46.77/46.86 c 46.9s|290000 | 77569 |593823 | 2.0 | 51M| 35 | 5 | 40 |7668 | 40 | 17 | 22 | 145k|2308 | 0.000000e+00 | -- | Inf
48.77/48.87 c 48.9s|300000 | 79630 |614097 | 2.0 | 52M| 35 | - | 40 |6287 | 40 | 17 | 22 | 151k|2346 | 0.000000e+00 | -- | Inf
50.66/50.70 c 50.7s|310000 | 81683 |635442 | 2.0 | 53M| 35 | 5 | 40 |6047 | 40 | 17 | 22 | 156k|2383 | 0.000000e+00 | -- | Inf
52.47/52.50 c 52.5s|320000 | 83934 |656382 | 2.1 | 55M| 35 | 5 | 40 |7730 | 40 | 17 | 22 | 162k|2420 | 0.000000e+00 | -- | Inf
54.46/54.53 c 54.5s|330000 | 85977 |677712 | 2.1 | 57M| 35 | - | 40 |8284 | 40 | 17 | 22 | 167k|2457 | 0.000000e+00 | -- | Inf
56.56/56.63 c 56.6s|340000 | 87718 |698061 | 2.1 | 58M| 35 | 5 | 40 |6363 | 40 | 17 | 22 | 173k|2484 | 0.000000e+00 | -- | Inf
58.26/58.38 c 58.4s|350000 | 89816 |718875 | 2.1 | 59M| 35 | - | 40 |6522 | 40 | 17 | 22 | 179k|2525 | 0.000000e+00 | -- | Inf
59.96/60.02 c 60.0s|360000 | 92354 |739436 | 2.1 | 61M| 35 | 5 | 40 |8487 | 40 | 17 | 22 | 184k|2564 | 0.000000e+00 | -- | Inf
62.05/62.10 c 62.1s|370000 | 94163 |760434 | 2.1 | 62M| 35 | 5 | 40 |6887 | 40 | 17 | 22 | 190k|2602 | 0.000000e+00 | -- | Inf
63.96/64.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.96/64.00 c 64.0s|380000 | 96071 |781138 | 2.1 | 64M| 35 | - | 40 |6511 | 40 | 17 | 22 | 195k|2637 | 0.000000e+00 | -- | Inf
65.76/65.88 c 65.9s|390000 | 97775 |801781 | 2.1 | 65M| 35 | 5 | 40 |6605 | 40 | 17 | 22 | 201k|2684 | 0.000000e+00 | -- | Inf
67.65/67.75 c 67.7s|400000 | 99481 |822566 | 2.1 | 66M| 35 | - | 40 |7262 | 40 | 17 | 22 | 207k|2712 | 0.000000e+00 | -- | Inf
69.55/69.67 c 69.7s|410000 |101259 |843333 | 2.1 | 68M| 35 | - | 40 |6852 | 0 | 0 | 22 | 213k|2755 | 0.000000e+00 | -- | Inf
71.46/71.56 c 71.6s|420000 |103068 |864067 | 2.1 | 69M| 35 | - | 40 |7758 | 40 | 17 | 22 | 219k|2779 | 0.000000e+00 | -- | Inf
73.35/73.46 c 73.5s|430000 |105045 |884964 | 2.1 | 70M| 35 | 5 | 40 |6899 | 40 | 17 | 22 | 224k|2815 | 0.000000e+00 | -- | Inf
75.25/75.35 c 75.4s|440000 |106796 |905702 | 2.1 | 72M| 35 | 5 | 40 |7974 | 40 | 17 | 22 | 230k|2851 | 0.000000e+00 | -- | Inf
77.25/77.36 c 77.4s|450000 |108539 |926131 | 2.1 | 73M| 35 | - | 40 |6946 | 40 | 17 | 22 | 236k|2874 | 0.000000e+00 | -- | Inf
79.25/79.31 c 79.3s|460000 |110262 |946638 | 2.1 | 75M| 35 | 5 | 40 |7626 | 40 | 17 | 22 | 242k|2909 | 0.000000e+00 | -- | Inf
81.35/81.40 c 81.4s|470000 |111914 |967576 | 2.1 | 76M| 35 | 5 | 40 |6849 | 40 | 17 | 22 | 248k|2947 | 0.000000e+00 | -- | Inf
83.25/83.36 c 83.4s|480000 |113671 |988797 | 2.1 | 77M| 35 | - | 40 |6884 | 40 | 17 | 22 | 253k|2964 | 0.000000e+00 | -- | Inf
85.25/85.38 c 85.4s|490000 |115294 | 1009k| 2.1 | 78M| 35 | 5 | 40 |6895 | 40 | 17 | 22 | 259k|2997 | 0.000000e+00 | -- | Inf
87.25/87.30 c 87.3s|500000 |117254 | 1030k| 2.1 | 80M| 35 | 5 | 40 |7551 | 40 | 17 | 22 | 265k|3023 | 0.000000e+00 | -- | Inf
89.15/89.25 c 89.2s|510000 |119127 | 1051k| 2.1 | 82M| 35 | 5 | 40 |8997 | 40 | 17 | 22 | 271k|3059 | 0.000000e+00 | -- | Inf
91.25/91.39 c 91.4s|520000 |120896 | 1072k| 2.1 | 83M| 35 | - | 40 |8058 | 40 | 17 | 22 | 277k|3090 | 0.000000e+00 | -- | Inf
93.55/93.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.55/93.69 c 93.7s|530000 |122426 | 1093k| 2.1 | 84M| 35 | - | 40 |7207 | 40 | 17 | 22 | 283k|3113 | 0.000000e+00 | -- | Inf
95.75/95.84 c 95.8s|540000 |123858 | 1114k| 2.1 | 85M| 35 | - | 40 |6705 | 40 | 17 | 22 | 289k|3143 | 0.000000e+00 | -- | Inf
97.95/98.00 c 98.0s|550000 |125282 | 1135k| 2.1 | 86M| 35 | 5 | 40 |6857 | 40 | 17 | 22 | 295k|3188 | 0.000000e+00 | -- | Inf
99.84/99.97 c 100s|560000 |127113 | 1155k| 2.1 | 88M| 35 | 5 | 40 |8081 | 40 | 17 | 22 | 301k|3217 | 0.000000e+00 | -- | Inf
102.05/102.11 c 102s|570000 |128742 | 1177k| 2.1 | 89M| 35 | 5 | 40 |8466 | 40 | 17 | 22 | 307k|3250 | 0.000000e+00 | -- | Inf
104.25/104.32 c 104s|580000 |130374 | 1197k| 2.1 | 90M| 35 | - | 40 |7492 | 0 | 0 | 22 | 312k|3274 | 0.000000e+00 | -- | Inf
106.25/106.36 c 106s|590000 |132042 | 1218k| 2.1 | 92M| 35 | - | 40 |8354 | 0 | 0 | 22 | 318k|3302 | 0.000000e+00 | -- | Inf
108.44/108.50 c 108s|600000 |133785 | 1239k| 2.1 | 93M| 35 | - | 40 |7601 | 40 | 17 | 22 | 324k|3333 | 0.000000e+00 | -- | Inf
110.35/110.43 c 110s|610000 |135917 | 1261k| 2.1 | 95M| 35 | 5 | 40 |8517 | 40 | 17 | 22 | 330k|3517 | 0.000000e+00 | -- | Inf
112.35/112.40 c 112s|620000 |137948 | 1282k| 2.1 | 97M| 35 | 5 | 40 |9728 | 40 | 17 | 22 | 336k|3634 | 0.000000e+00 | -- | Inf
114.64/114.75 c 115s|630000 |139295 | 1304k| 2.1 | 98M| 35 | - | 40 | 10k| 40 | 17 | 22 | 342k|3634 | 0.000000e+00 | -- | Inf
117.14/117.29 c 117s|640000 |140685 | 1324k| 2.1 | 99M| 35 | - | 40 |8170 | 40 | 17 | 22 | 348k|3634 | 0.000000e+00 | -- | Inf
119.15/119.26 c 119s|650000 |142641 | 1345k| 2.1 | 101M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 354k|3634 | 0.000000e+00 | -- | Inf
121.54/121.68 c 122s|660000 |144056 | 1366k| 2.1 | 102M| 35 | 5 | 40 |9629 | 40 | 17 | 22 | 360k|3634 | 0.000000e+00 | -- | Inf
124.04/124.11 c 124s|670000 |145300 | 1387k| 2.1 | 102M| 35 | 5 | 40 |7556 | 40 | 17 | 22 | 366k|3645 | 0.000000e+00 | -- | Inf
126.35/126.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.35/126.40 c 126s|680000 |146565 | 1408k| 2.1 | 103M| 35 | - | 40 |7514 | 0 | 0 | 22 | 373k|3678 | 0.000000e+00 | -- | Inf
128.45/128.59 c 129s|690000 |147996 | 1429k| 2.1 | 105M| 35 | - | 40 |8088 | 0 | 0 | 22 | 379k|3711 | 0.000000e+00 | -- | Inf
130.85/130.98 c 131s|700000 |149211 | 1450k| 2.1 | 106M| 35 | - | 40 |7405 | 40 | 17 | 22 | 385k|3733 | 0.000000e+00 | -- | Inf
132.95/133.03 c 133s|710000 |151086 | 1470k| 2.1 | 107M| 35 | - | 40 |8414 | 40 | 17 | 22 | 391k|3763 | 0.000000e+00 | -- | Inf
135.15/135.21 c 135s|720000 |152714 | 1490k| 2.1 | 109M| 35 | - | 40 |8905 | 40 | 17 | 22 | 397k|3794 | 0.000000e+00 | -- | Inf
137.25/137.40 c 137s|730000 |154305 | 1512k| 2.1 | 110M| 35 | 5 | 40 |8587 | 40 | 17 | 22 | 403k|3822 | 0.000000e+00 | -- | Inf
139.74/139.82 c 140s|740000 |155624 | 1533k| 2.1 | 111M| 35 | - | 40 |8086 | 40 | 17 | 22 | 409k|3853 | 0.000000e+00 | -- | Inf
142.04/142.10 c 142s|750000 |156909 | 1554k| 2.1 | 112M| 35 | 5 | 40 |8639 | 40 | 17 | 22 | 415k|3877 | 0.000000e+00 | -- | Inf
144.24/144.30 c 144s|760000 |158619 | 1574k| 2.1 | 114M| 35 | 5 | 40 |8422 | 40 | 17 | 22 | 421k|3901 | 0.000000e+00 | -- | Inf
146.34/146.45 c 146s|770000 |160287 | 1595k| 2.1 | 115M| 35 | 5 | 40 |9972 | 40 | 17 | 22 | 427k|3936 | 0.000000e+00 | -- | Inf
148.84/148.96 c 149s|780000 |161590 | 1616k| 2.1 | 116M| 35 | 5 | 40 |7856 | 40 | 17 | 22 | 433k|3957 | 0.000000e+00 | -- | Inf
151.04/151.11 c 151s|790000 |163190 | 1637k| 2.1 | 118M| 35 | - | 40 |9614 | 0 | 0 | 22 | 439k|3973 | 0.000000e+00 | -- | Inf
153.24/153.39 c 153s|800000 |164807 | 1658k| 2.1 | 119M| 35 | 5 | 40 | 11k| 40 | 17 | 22 | 445k|3989 | 0.000000e+00 | -- | Inf
155.84/155.92 c 156s|810000 |166178 | 1679k| 2.1 | 120M| 35 | 5 | 40 |9809 | 40 | 17 | 22 | 451k|4003 | 0.000000e+00 | -- | Inf
158.13/158.25 c 158s|820000 |167893 | 1700k| 2.1 | 121M| 35 | - | 40 |8974 | 40 | 17 | 22 | 457k|4027 | 0.000000e+00 | -- | Inf
160.13/160.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.13/160.25 c 160s|830000 |169877 | 1720k| 2.1 | 124M| 35 | 5 | 40 | 11k| 40 | 17 | 22 | 463k|4044 | 0.000000e+00 | -- | Inf
162.73/162.90 c 163s|840000 |171241 | 1741k| 2.1 | 125M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 469k|4067 | 0.000000e+00 | -- | Inf
165.23/165.39 c 165s|850000 |172562 | 1762k| 2.1 | 126M| 35 | - | 40 |9379 | 40 | 17 | 22 | 475k|4088 | 0.000000e+00 | -- | Inf
167.53/167.65 c 168s|860000 |174153 | 1782k| 2.1 | 127M| 35 | 5 | 40 |8992 | 40 | 17 | 22 | 481k|4111 | 0.000000e+00 | -- | Inf
169.82/169.90 c 170s|870000 |175578 | 1803k| 2.1 | 128M| 35 | 5 | 40 |9903 | 40 | 17 | 22 | 487k|4142 | 0.000000e+00 | -- | Inf
172.33/172.49 c 172s|880000 |176896 | 1824k| 2.1 | 129M| 35 | 5 | 40 |8297 | 40 | 17 | 22 | 494k|4157 | 0.000000e+00 | -- | Inf
174.53/174.67 c 175s|890000 |178696 | 1844k| 2.1 | 130M| 35 | - | 40 |9115 | 40 | 17 | 22 | 499k|4175 | 0.000000e+00 | -- | Inf
176.82/176.91 c 177s|900000 |180335 | 1864k| 2.1 | 132M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 505k|4200 | 0.000000e+00 | -- | Inf
179.13/179.30 c 179s|910000 |181746 | 1885k| 2.1 | 133M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 511k|4219 | 0.000000e+00 | -- | Inf
181.62/181.79 c 182s|920000 |183079 | 1906k| 2.1 | 134M| 35 | 5 | 40 |9656 | 40 | 17 | 22 | 517k|4234 | 0.000000e+00 | -- | Inf
184.02/184.14 c 184s|930000 |184475 | 1926k| 2.1 | 136M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 523k|4243 | 0.000000e+00 | -- | Inf
186.61/186.72 c 187s|940000 |185562 | 1947k| 2.1 | 136M| 35 | - | 40 |8757 | 0 | 0 | 22 | 530k|4265 | 0.000000e+00 | -- | Inf
188.82/188.96 c 189s|950000 |187051 | 1967k| 2.1 | 138M| 35 | 5 | 40 |9301 | 40 | 17 | 22 | 536k|4286 | 0.000000e+00 | -- | Inf
191.22/191.40 c 191s|960000 |188219 | 1988k| 2.1 | 138M| 35 | - | 40 |8099 | 40 | 17 | 22 | 542k|4302 | 0.000000e+00 | -- | Inf
193.62/193.74 c 194s|970000 |189425 | 2009k| 2.1 | 140M| 35 | 5 | 40 |7849 | 40 | 17 | 22 | 549k|4333 | 0.000000e+00 | -- | Inf
195.71/195.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.71/195.88 c 196s|980000 |190927 | 2030k| 2.1 | 141M| 35 | - | 40 |9114 | 40 | 17 | 22 | 555k|4359 | 0.000000e+00 | -- | Inf
198.31/198.41 c 198s|990000 |191766 | 2051k| 2.1 | 142M| 35 | 5 | 40 |8376 | 40 | 17 | 22 | 561k|4377 | 0.000000e+00 | -- | Inf
200.60/200.74 c 201s| 1000k|192837 | 2071k| 2.1 | 143M| 35 | - | 40 |8354 | 40 | 17 | 22 | 568k|4409 | 0.000000e+00 | -- | Inf
202.81/202.92 c 203s| 1010k|194125 | 2092k| 2.1 | 144M| 35 | - | 40 |8292 | 40 | 17 | 22 | 574k|4436 | 0.000000e+00 | -- | Inf
205.10/205.25 c 205s| 1020k|195208 | 2113k| 2.1 | 145M| 35 | 5 | 40 |7636 | 40 | 17 | 22 | 580k|4457 | 0.000000e+00 | -- | Inf
207.20/207.38 c 207s| 1030k|196657 | 2133k| 2.1 | 146M| 35 | 5 | 40 |8722 | 40 | 17 | 22 | 586k|4472 | 0.000000e+00 | -- | Inf
209.60/209.76 c 210s| 1040k|197759 | 2154k| 2.1 | 147M| 35 | 5 | 40 |8196 | 40 | 17 | 22 | 593k|4491 | 0.000000e+00 | -- | Inf
212.00/212.13 c 212s| 1050k|198867 | 2175k| 2.1 | 148M| 35 | 5 | 40 |7976 | 40 | 17 | 22 | 599k|4512 | 0.000000e+00 | -- | Inf
214.20/214.30 c 214s| 1060k|200284 | 2195k| 2.1 | 150M| 35 | - | 40 |8917 | 40 | 17 | 22 | 605k|4532 | 0.000000e+00 | -- | Inf
216.40/216.53 c 217s| 1070k|201818 | 2216k| 2.1 | 151M| 36 | 5 | 40 |8794 | 40 | 17 | 22 | 611k|4546 | 0.000000e+00 | -- | Inf
218.60/218.70 c 219s| 1080k|203194 | 2237k| 2.1 | 153M| 36 | - | 40 | 10k| 40 | 17 | 22 | 618k|4566 | 0.000000e+00 | -- | Inf
221.10/221.22 c 221s| 1090k|204287 | 2258k| 2.1 | 153M| 36 | 5 | 40 |8485 | 40 | 17 | 22 | 624k|4580 | 0.000000e+00 | -- | Inf
223.20/223.38 c 223s| 1100k|205705 | 2279k| 2.1 | 155M| 36 | 5 | 40 |9816 | 40 | 17 | 22 | 630k|4598 | 0.000000e+00 | -- | Inf
225.70/225.86 c 226s| 1110k|206989 | 2299k| 2.1 | 156M| 36 | 5 | 40 |9884 | 40 | 17 | 22 | 636k|4618 | 0.000000e+00 | -- | Inf
228.30/228.44 c 228s| 1120k|208030 | 2320k| 2.1 | 157M| 36 | 5 | 40 |8920 | 40 | 17 | 22 | 643k|4634 | 0.000000e+00 | -- | Inf
230.60/230.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.60/230.74 c 231s| 1130k|209240 | 2341k| 2.1 | 158M| 36 | 5 | 40 |9634 | 40 | 17 | 22 | 649k|4655 | 0.000000e+00 | -- | Inf
232.90/233.07 c 233s| 1140k|210801 | 2361k| 2.1 | 159M| 36 | - | 40 |9937 | 40 | 17 | 22 | 655k|4673 | 0.000000e+00 | -- | Inf
235.30/235.48 c 235s| 1150k|211952 | 2382k| 2.1 | 161M| 36 | - | 40 | 10k| 40 | 17 | 22 | 661k|4686 | 0.000000e+00 | -- | Inf
237.80/237.96 c 238s| 1160k|213147 | 2402k| 2.1 | 162M| 36 | 5 | 40 |9624 | 40 | 17 | 22 | 667k|4701 | 0.000000e+00 | -- | Inf
239.90/240.03 c 240s| 1170k|215249 | 2423k| 2.1 | 163M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 673k|4714 | 0.000000e+00 | -- | Inf
242.10/242.28 c 242s| 1180k|217038 | 2443k| 2.1 | 165M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 679k|4729 | 0.000000e+00 | -- | Inf
244.59/244.76 c 245s| 1190k|218188 | 2464k| 2.1 | 166M| 36 | - | 40 | 11k| 40 | 17 | 22 | 685k|4749 | 0.000000e+00 | -- | Inf
246.90/247.02 c 247s| 1200k|220059 | 2485k| 2.1 | 168M| 36 | - | 40 | 13k| 0 | 0 | 22 | 691k|4765 | 0.000000e+00 | -- | Inf
249.79/249.94 c 250s| 1210k|221151 | 2505k| 2.1 | 169M| 36 | 5 | 40 | 13k| 40 | 17 | 22 | 697k|4779 | 0.000000e+00 | -- | Inf
252.50/252.66 c 253s| 1220k|222372 | 2525k| 2.1 | 170M| 36 | - | 40 | 14k| 0 | 0 | 22 | 703k|4794 | 0.000000e+00 | -- | Inf
255.29/255.45 c 255s| 1230k|223605 | 2546k| 2.1 | 171M| 36 | - | 40 | 11k| 40 | 17 | 22 | 709k|4815 | 0.000000e+00 | -- | Inf
257.99/258.13 c 258s| 1240k|224700 | 2567k| 2.1 | 172M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 716k|4829 | 0.000000e+00 | -- | Inf
260.80/260.95 c 261s| 1250k|225751 | 2587k| 2.1 | 172M| 36 | - | 40 | 10k| 40 | 17 | 22 | 722k|4849 | 0.000000e+00 | -- | Inf
263.10/263.25 c 263s| 1260k|227131 | 2608k| 2.1 | 174M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 728k|4866 | 0.000000e+00 | -- | Inf
265.49/265.69 c 266s| 1270k|228567 | 2628k| 2.1 | 175M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 734k|4882 | 0.000000e+00 | -- | Inf
268.00/268.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.00/268.18 c 268s| 1280k|230195 | 2648k| 2.1 | 176M| 36 | - | 40 | 11k| 0 | 0 | 22 | 740k|4903 | 0.000000e+00 | -- | Inf
270.70/270.81 c 271s| 1290k|231454 | 2669k| 2.1 | 177M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 746k|4914 | 0.000000e+00 | -- | Inf
273.60/273.73 c 274s| 1300k|232346 | 2690k| 2.1 | 178M| 36 | - | 40 |9098 | 40 | 17 | 22 | 753k|4932 | 0.000000e+00 | -- | Inf
276.09/276.29 c 276s| 1310k|233440 | 2711k| 2.1 | 179M| 36 | - | 40 |9467 | 40 | 17 | 22 | 759k|4956 | 0.000000e+00 | -- | Inf
278.89/279.01 c 279s| 1320k|234516 | 2731k| 2.1 | 180M| 36 | 5 | 40 |9058 | 40 | 17 | 22 | 766k|4971 | 0.000000e+00 | -- | Inf
281.09/281.20 c 281s| 1330k|236006 | 2751k| 2.1 | 182M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 772k|4991 | 0.000000e+00 | -- | Inf
283.79/283.90 c 284s| 1340k|237048 | 2771k| 2.1 | 183M| 36 | - | 40 | 10k| 0 | 0 | 22 | 778k|5004 | 0.000000e+00 | -- | Inf
286.59/286.77 c 287s| 1350k|238062 | 2791k| 2.1 | 183M| 36 | 5 | 40 |8903 | 40 | 17 | 22 | 784k|5017 | 0.000000e+00 | -- | Inf
288.99/289.16 c 289s| 1360k|239659 | 2812k| 2.1 | 184M| 36 | 5 | 40 |9662 | 40 | 17 | 22 | 790k|5033 | 0.000000e+00 | -- | Inf
291.40/291.56 c 292s| 1370k|240969 | 2833k| 2.1 | 186M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 796k|5045 | 0.000000e+00 | -- | Inf
293.99/294.17 c 294s| 1380k|242211 | 2853k| 2.1 | 187M| 36 | - | 40 | 10k| 40 | 17 | 22 | 803k|5060 | 0.000000e+00 | -- | Inf
296.39/296.55 c 297s| 1390k|243572 | 2874k| 2.1 | 189M| 36 | 5 | 40 | 12k| 40 | 17 | 22 | 809k|5075 | 0.000000e+00 | -- | Inf
299.29/299.43 c 299s| 1400k|244848 | 2894k| 2.1 | 189M| 36 | - | 40 | 11k| 40 | 17 | 22 | 815k|5084 | 0.000000e+00 | -- | Inf
302.39/302.53 c 303s| 1410k|245741 | 2915k| 2.1 | 190M| 36 | 5 | 40 |9126 | 40 | 17 | 22 | 821k|5106 | 0.000000e+00 | -- | Inf
304.89/305.02 c 305s| 1420k|246828 | 2936k| 2.1 | 191M| 36 | 5 | 40 |9816 | 40 | 17 | 22 | 828k|5117 | 0.000000e+00 | -- | Inf
307.69/307.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.69/307.80 c 308s| 1430k|247666 | 2957k| 2.1 | 192M| 36 | 5 | 40 |8705 | 40 | 17 | 22 | 834k|5131 | 0.000000e+00 | -- | Inf
309.89/310.04 c 310s| 1440k|249039 | 2978k| 2.1 | 194M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 841k|5155 | 0.000000e+00 | -- | Inf
312.59/312.79 c 313s| 1450k|250311 | 2998k| 2.1 | 195M| 36 | - | 40 | 10k| 40 | 17 | 22 | 847k|5169 | 0.000000e+00 | -- | Inf
315.38/315.51 c 316s| 1460k|251315 | 3018k| 2.1 | 196M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 854k|5181 | 0.000000e+00 | -- | Inf
318.09/318.25 c 318s| 1470k|252340 | 3040k| 2.1 | 196M| 36 | - | 40 | 10k| 40 | 17 | 22 | 860k|5191 | 0.000000e+00 | -- | Inf
320.59/320.77 c 321s| 1480k|253604 | 3061k| 2.1 | 198M| 36 | - | 40 | 10k| 40 | 17 | 22 | 866k|5204 | 0.000000e+00 | -- | Inf
323.38/323.59 c 324s| 1490k|254501 | 3082k| 2.1 | 198M| 36 | 5 | 40 |8581 | 40 | 17 | 22 | 873k|5217 | 0.000000e+00 | -- | Inf
326.09/326.27 c 326s| 1500k|255270 | 3102k| 2.1 | 199M| 36 | 5 | 40 |8233 | 40 | 17 | 22 | 880k|5231 | 0.000000e+00 | -- | Inf
328.69/328.80 c 329s| 1510k|256439 | 3123k| 2.1 | 200M| 36 | 5 | 40 |8055 | 40 | 17 | 22 | 886k|5247 | 0.000000e+00 | -- | Inf
330.99/331.17 c 331s| 1520k|257648 | 3144k| 2.1 | 201M| 36 | 5 | 40 |9162 | 40 | 17 | 22 | 892k|5265 | 0.000000e+00 | -- | Inf
333.39/333.57 c 334s| 1530k|258983 | 3165k| 2.1 | 203M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 899k|5281 | 0.000000e+00 | -- | Inf
335.88/336.07 c 336s| 1540k|260186 | 3185k| 2.1 | 204M| 36 | - | 40 | 10k| 0 | 0 | 22 | 905k|5289 | 0.000000e+00 | -- | Inf
338.59/338.76 c 339s| 1550k|261129 | 3206k| 2.1 | 205M| 36 | - | 40 |9105 | 40 | 17 | 22 | 911k|5304 | 0.000000e+00 | -- | Inf
341.28/341.40 c 341s| 1560k|262163 | 3227k| 2.1 | 206M| 36 | - | 40 |8704 | 40 | 17 | 22 | 918k|5316 | 0.000000e+00 | -- | Inf
343.88/344.07 c 344s| 1570k|263362 | 3247k| 2.1 | 207M| 36 | 5 | 40 |9229 | 40 | 17 | 22 | 924k|5332 | 0.000000e+00 | -- | Inf
346.47/346.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.47/346.61 c 347s| 1580k|264424 | 3268k| 2.1 | 208M| 36 | 5 | 40 |9796 | 40 | 17 | 22 | 930k|5346 | 0.000000e+00 | -- | Inf
349.08/349.27 c 349s| 1590k|265318 | 3289k| 2.1 | 209M| 36 | - | 40 |9700 | 40 | 17 | 22 | 937k|5364 | 0.000000e+00 | -- | Inf
351.78/351.90 c 352s| 1600k|266355 | 3310k| 2.1 | 210M| 36 | 5 | 40 |8688 | 40 | 17 | 22 | 944k|5377 | 0.000000e+00 | -- | Inf
354.17/354.36 c 354s| 1610k|267506 | 3331k| 2.1 | 211M| 36 | 5 | 40 |9891 | 40 | 17 | 22 | 950k|5392 | 0.000000e+00 | -- | Inf
356.57/356.76 c 357s| 1620k|268733 | 3351k| 2.1 | 212M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 956k|5404 | 0.000000e+00 | -- | Inf
359.48/359.63 c 360s| 1630k|269779 | 3372k| 2.1 | 213M| 36 | - | 40 |9626 | 40 | 17 | 22 | 963k|5411 | 0.000000e+00 | -- | Inf
362.07/362.22 c 362s| 1640k|270876 | 3392k| 2.1 | 214M| 36 | 5 | 40 |9274 | 40 | 17 | 22 | 969k|5428 | 0.000000e+00 | -- | Inf
364.57/364.76 c 365s| 1650k|272154 | 3413k| 2.1 | 216M| 36 | - | 40 | 10k| 40 | 17 | 22 | 976k|5442 | 0.000000e+00 | -- | Inf
367.27/367.41 c 367s| 1660k|273222 | 3434k| 2.1 | 217M| 36 | - | 40 |9515 | 40 | 17 | 22 | 982k|5460 | 0.000000e+00 | -- | Inf
369.76/369.98 c 370s| 1670k|274345 | 3454k| 2.1 | 218M| 36 | 5 | 40 |9542 | 40 | 17 | 22 | 988k|5471 | 0.000000e+00 | -- | Inf
371.86/372.07 c 372s| 1680k|275949 | 3475k| 2.1 | 220M| 36 | 5 | 40 | 12k| 40 | 17 | 22 | 994k|5484 | 0.000000e+00 | -- | Inf
374.57/374.77 c 375s| 1690k|276991 | 3494k| 2.1 | 220M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1001k|5506 | 0.000000e+00 | -- | Inf
376.85/377.09 c 377s| 1700k|278794 | 3516k| 2.1 | 222M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1006k|5523 | 0.000000e+00 | -- | Inf
379.16/379.37 c 379s| 1710k|280224 | 3537k| 2.1 | 224M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1012k|5536 | 0.000000e+00 | -- | Inf
381.96/382.15 c 382s| 1720k|281230 | 3558k| 2.1 | 225M| 36 | - | 40 | 14k| 0 | 0 | 22 |1019k|5556 | 0.000000e+00 | -- | Inf
385.35/385.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.35/385.56 c 386s| 1730k|282172 | 3578k| 2.1 | 225M| 36 | - | 40 | 12k| 40 | 17 | 22 |1025k|5571 | 0.000000e+00 | -- | Inf
388.25/388.42 c 388s| 1740k|283125 | 3598k| 2.1 | 226M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1032k|5591 | 0.000000e+00 | -- | Inf
390.75/390.94 c 391s| 1750k|284357 | 3618k| 2.1 | 227M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1039k|5602 | 0.000000e+00 | -- | Inf
393.25/393.40 c 393s| 1760k|285669 | 3640k| 2.1 | 229M| 36 | - | 40 | 12k| 40 | 17 | 22 |1045k|5623 | 0.000000e+00 | -- | Inf
396.05/396.26 c 396s| 1770k|286755 | 3660k| 2.1 | 229M| 36 | - | 40 | 10k| 40 | 17 | 22 |1051k|5642 | 0.000000e+00 | -- | Inf
398.95/399.13 c 399s| 1780k|287564 | 3681k| 2.1 | 230M| 36 | 5 | 40 |9899 | 40 | 17 | 22 |1058k|5656 | 0.000000e+00 | -- | Inf
401.55/401.77 c 402s| 1790k|288511 | 3702k| 2.1 | 231M| 36 | 5 | 40 |9412 | 40 | 17 | 22 |1064k|5670 | 0.000000e+00 | -- | Inf
404.15/404.34 c 404s| 1800k|289421 | 3723k| 2.1 | 232M| 36 | - | 40 |9209 | 40 | 17 | 22 |1071k|5676 | 0.000000e+00 | -- | Inf
406.75/406.94 c 407s| 1810k|290121 | 3743k| 2.1 | 233M| 36 | - | 40 |8455 | 40 | 17 | 22 |1078k|5694 | 0.000000e+00 | -- | Inf
409.05/409.22 c 409s| 1820k|291177 | 3764k| 2.1 | 234M| 36 | 5 | 40 |9488 | 40 | 17 | 22 |1084k|5707 | 0.000000e+00 | -- | Inf
411.64/411.80 c 412s| 1830k|292088 | 3785k| 2.1 | 235M| 36 | 5 | 40 |9114 | 40 | 17 | 22 |1091k|5730 | 0.000000e+00 | -- | Inf
414.34/414.54 c 415s| 1840k|292857 | 3806k| 2.1 | 235M| 36 | 5 | 40 |8287 | 40 | 17 | 22 |1097k|5744 | 0.000000e+00 | -- | Inf
416.75/416.94 c 417s| 1850k|293897 | 3827k| 2.1 | 237M| 36 | 5 | 40 |9339 | 40 | 17 | 22 |1104k|5760 | 0.000000e+00 | -- | Inf
419.04/419.29 c 419s| 1860k|295165 | 3848k| 2.1 | 238M| 36 | 5 | 40 |9836 | 40 | 17 | 22 |1110k|5779 | 0.000000e+00 | -- | Inf
421.55/421.75 c 422s| 1870k|296238 | 3869k| 2.1 | 239M| 36 | - | 40 |9731 | 40 | 17 | 22 |1117k|5800 | 0.000000e+00 | -- | Inf
424.24/424.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.24/424.45 c 424s| 1880k|297104 | 3890k| 2.1 | 240M| 36 | - | 40 |8843 | 40 | 17 | 22 |1123k|5811 | 0.000000e+00 | -- | Inf
426.65/426.86 c 427s| 1890k|298207 | 3911k| 2.1 | 241M| 36 | - | 40 | 10k| 40 | 17 | 22 |1130k|5822 | 0.000000e+00 | -- | Inf
428.94/429.18 c 429s| 1900k|299368 | 3931k| 2.1 | 243M| 36 | - | 40 | 11k| 0 | 0 | 22 |1136k|5836 | 0.000000e+00 | -- | Inf
431.74/431.95 c 432s| 1910k|300280 | 3952k| 2.1 | 243M| 36 | - | 40 | 11k| 0 | 0 | 22 |1143k|5847 | 0.000000e+00 | -- | Inf
434.54/434.80 c 435s| 1920k|301293 | 3972k| 2.1 | 244M| 36 | - | 40 | 11k| 40 | 17 | 22 |1149k|5854 | 0.000000e+00 | -- | Inf
437.14/437.39 c 437s| 1930k|302614 | 3993k| 2.1 | 246M| 36 | - | 40 | 12k| 40 | 17 | 22 |1156k|5870 | 0.000000e+00 | -- | Inf
439.94/440.16 c 440s| 1940k|303803 | 4014k| 2.1 | 247M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1162k|5889 | 0.000000e+00 | -- | Inf
443.04/443.20 c 443s| 1950k|304566 | 4035k| 2.1 | 247M| 36 | 5 | 40 |9501 | 40 | 17 | 22 |1169k|5904 | 0.000000e+00 | -- | Inf
445.94/446.13 c 446s| 1960k|305231 | 4056k| 2.1 | 248M| 36 | - | 40 |8431 | 40 | 17 | 22 |1175k|5914 | 0.000000e+00 | -- | Inf
448.54/448.73 c 449s| 1970k|306127 | 4077k| 2.1 | 249M| 36 | - | 40 |8379 | 40 | 17 | 22 |1182k|5934 | 0.000000e+00 | -- | Inf
451.14/451.34 c 451s| 1980k|306966 | 4098k| 2.1 | 250M| 36 | 5 | 40 |8615 | 40 | 17 | 22 |1189k|5946 | 0.000000e+00 | -- | Inf
453.54/453.72 c 454s| 1990k|308178 | 4119k| 2.1 | 251M| 36 | - | 40 |9776 | 40 | 17 | 22 |1195k|5973 | 0.000000e+00 | -- | Inf
455.73/455.97 c 456s| 2000k|309787 | 4140k| 2.1 | 253M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1201k|5982 | 0.000000e+00 | -- | Inf
458.44/458.65 c 459s| 2010k|310825 | 4161k| 2.1 | 254M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1207k|5997 | 0.000000e+00 | -- | Inf
461.53/461.75 c 462s| 2020k|311686 | 4182k| 2.1 | 254M| 36 | - | 40 | 10k| 40 | 17 | 22 |1214k|6009 | 0.000000e+00 | -- | Inf
464.23/464.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.23/464.45 c 464s| 2030k|312713 | 4203k| 2.1 | 256M| 36 | - | 40 | 11k| 40 | 17 | 22 |1221k|6021 | 0.000000e+00 | -- | Inf
467.14/467.33 c 467s| 2040k|313903 | 4225k| 2.1 | 257M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1227k|6031 | 0.000000e+00 | -- | Inf
469.93/470.10 c 470s| 2050k|315085 | 4245k| 2.1 | 257M| 36 | - | 40 |9630 | 40 | 17 | 22 |1233k|6053 | 0.000000e+00 | -- | Inf
472.24/472.43 c 472s| 2060k|316468 | 4266k| 2.1 | 259M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1239k|6063 | 0.000000e+00 | -- | Inf
475.23/475.41 c 475s| 2070k|317450 | 4287k| 2.1 | 260M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1246k|6083 | 0.000000e+00 | -- | Inf
478.13/478.32 c 478s| 2080k|318394 | 4307k| 2.1 | 260M| 36 | 5 | 40 |8884 | 40 | 17 | 22 |1252k|6093 | 0.000000e+00 | -- | Inf
480.63/480.83 c 481s| 2090k|319460 | 4329k| 2.1 | 262M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1259k|6112 | 0.000000e+00 | -- | Inf
483.03/483.23 c 483s| 2100k|321096 | 4349k| 2.1 | 264M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1265k|6120 | 0.000000e+00 | -- | Inf
486.13/486.39 c 486s| 2110k|321925 | 4370k| 2.1 | 264M| 36 | - | 40 | 11k| 0 | 0 | 22 |1272k|6135 | 0.000000e+00 | -- | Inf
489.34/489.57 c 490s| 2120k|322879 | 4391k| 2.1 | 265M| 36 | - | 40 | 11k| 40 | 17 | 22 |1278k|6146 | 0.000000e+00 | -- | Inf
492.64/492.80 c 493s| 2130k|323552 | 4412k| 2.1 | 266M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1285k|6165 | 0.000000e+00 | -- | Inf
495.03/495.20 c 495s| 2140k|325119 | 4433k| 2.1 | 268M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1291k|6176 | 0.000000e+00 | -- | Inf
497.93/498.14 c 498s| 2150k|326092 | 4453k| 2.1 | 268M| 36 | - | 40 | 10k| 40 | 17 | 22 |1298k|6185 | 0.000000e+00 | -- | Inf
500.63/500.80 c 501s| 2160k|327166 | 4473k| 2.1 | 270M| 36 | - | 40 | 11k| 40 | 17 | 22 |1304k|6194 | 0.000000e+00 | -- | Inf
503.92/504.13 c 504s| 2170k|327840 | 4494k| 2.1 | 270M| 36 | - | 40 |9921 | 40 | 17 | 22 |1311k|6203 | 0.000000e+00 | -- | Inf
506.63/506.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.63/506.82 c 507s| 2180k|329187 | 4514k| 2.1 | 271M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1317k|6220 | 0.000000e+00 | -- | Inf
508.93/509.17 c 509s| 2190k|330491 | 4534k| 2.1 | 273M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1323k|6229 | 0.000000e+00 | -- | Inf
511.23/511.49 c 511s| 2200k|332070 | 4554k| 2.1 | 274M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1329k|6239 | 0.000000e+00 | -- | Inf
514.03/514.28 c 514s| 2210k|332974 | 4573k| 2.1 | 275M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1336k|6265 | 0.000000e+00 | -- | Inf
517.12/517.35 c 517s| 2220k|333618 | 4593k| 2.1 | 276M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1343k|6274 | 0.000000e+00 | -- | Inf
520.83/521.06 c 521s| 2230k|334185 | 4614k| 2.1 | 277M| 36 | - | 40 | 11k| 40 | 17 | 22 |1350k|6288 | 0.000000e+00 | -- | Inf
523.83/524.08 c 524s| 2240k|335048 | 4634k| 2.1 | 277M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1356k|6289 | 0.000000e+00 | -- | Inf
526.23/526.49 c 526s| 2250k|336824 | 4654k| 2.1 | 279M| 36 | - | 40 | 10k| 40 | 17 | 22 |1362k|6299 | 0.000000e+00 | -- | Inf
528.62/528.83 c 529s| 2260k|338538 | 4673k| 2.1 | 280M| 36 | 5 | 40 |9998 | 40 | 17 | 22 |1368k|6304 | 0.000000e+00 | -- | Inf
530.93/531.12 c 531s| 2270k|340389 | 4691k| 2.1 | 282M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1373k|6307 | 0.000000e+00 | -- | Inf
533.42/533.65 c 534s| 2280k|342063 | 4710k| 2.1 | 283M| 36 | - | 40 | 12k| 40 | 17 | 22 |1379k|6317 | 0.000000e+00 | -- | Inf
536.23/536.45 c 536s| 2290k|343099 | 4728k| 2.1 | 284M| 36 | - | 40 | 10k| 40 | 17 | 22 |1385k|6321 | 0.000000e+00 | -- | Inf
539.03/539.28 c 539s| 2300k|343924 | 4747k| 2.1 | 285M| 36 | - | 40 | 10k| 40 | 17 | 22 |1391k|6330 | 0.000000e+00 | -- | Inf
541.62/541.89 c 542s| 2310k|345220 | 4766k| 2.1 | 286M| 36 | - | 40 | 11k| 0 | 0 | 22 |1398k|6346 | 0.000000e+00 | -- | Inf
544.42/544.64 c 545s| 2320k|346134 | 4785k| 2.1 | 287M| 36 | - | 40 | 12k| 40 | 17 | 22 |1404k|6354 | 0.000000e+00 | -- | Inf
547.53/547.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.53/547.71 c 548s| 2330k|346863 | 4804k| 2.1 | 288M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1411k|6360 | 0.000000e+00 | -- | Inf
550.52/550.77 c 551s| 2340k|347497 | 4823k| 2.1 | 289M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1417k|6374 | 0.000000e+00 | -- | Inf
553.52/553.74 c 554s| 2350k|348199 | 4842k| 2.1 | 289M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1424k|6382 | 0.000000e+00 | -- | Inf
557.32/557.52 c 558s| 2360k|348578 | 4863k| 2.1 | 289M| 36 | - | 40 |9480 | 40 | 17 | 22 |1431k|6401 | 0.000000e+00 | -- | Inf
560.32/560.52 c 561s| 2370k|349325 | 4884k| 2.1 | 290M| 36 | - | 40 |9332 | 40 | 17 | 22 |1438k|6417 | 0.000000e+00 | -- | Inf
563.22/563.40 c 563s| 2380k|350182 | 4904k| 2.1 | 291M| 36 | - | 40 |9727 | 0 | 0 | 22 |1444k|6418 | 0.000000e+00 | -- | Inf
566.22/566.43 c 566s| 2390k|350977 | 4925k| 2.1 | 292M| 36 | - | 40 |9527 | 40 | 17 | 22 |1451k|6428 | 0.000000e+00 | -- | Inf
568.82/569.07 c 569s| 2400k|352170 | 4946k| 2.1 | 293M| 36 | 5 | 40 |9176 | 40 | 17 | 22 |1458k|6435 | 0.000000e+00 | -- | Inf
571.22/571.48 c 571s| 2410k|353296 | 4966k| 2.1 | 294M| 36 | - | 40 |9509 | 40 | 17 | 22 |1464k|6446 | 0.000000e+00 | -- | Inf
573.52/573.79 c 574s| 2420k|354306 | 4987k| 2.1 | 296M| 36 | - | 40 | 11k| 40 | 17 | 22 |1471k|6457 | 0.000000e+00 | -- | Inf
576.51/576.72 c 577s| 2430k|355112 | 5008k| 2.1 | 296M| 36 | 5 | 40 |9687 | 40 | 17 | 22 |1478k|6470 | 0.000000e+00 | -- | Inf
579.12/579.33 c 579s| 2440k|356245 | 5028k| 2.1 | 298M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1485k|6479 | 0.000000e+00 | -- | Inf
581.92/582.11 c 582s| 2450k|357283 | 5049k| 2.1 | 299M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1491k|6492 | 0.000000e+00 | -- | Inf
584.41/584.69 c 585s| 2460k|358513 | 5070k| 2.1 | 300M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1498k|6506 | 0.000000e+00 | -- | Inf
587.31/587.54 c 588s| 2470k|359504 | 5091k| 2.1 | 301M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1504k|6513 | 0.000000e+00 | -- | Inf
590.62/590.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
590.62/590.85 c 591s| 2480k|360189 | 5112k| 2.1 | 302M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1511k|6525 | 0.000000e+00 | -- | Inf
593.91/594.19 c 594s| 2490k|360823 | 5132k| 2.1 | 302M| 36 | - | 40 |9127 | 40 | 17 | 22 |1518k|6546 | 0.000000e+00 | -- | Inf
596.81/597.07 c 597s| 2500k|361596 | 5153k| 2.1 | 303M| 36 | 5 | 40 |8641 | 40 | 17 | 22 |1524k|6551 | 0.000000e+00 | -- | Inf
599.61/599.88 c 600s| 2510k|362273 | 5173k| 2.1 | 304M| 36 | 5 | 40 |9173 | 40 | 17 | 22 |1531k|6566 | 0.000000e+00 | -- | Inf
602.11/602.33 c 602s| 2520k|363429 | 5193k| 2.1 | 305M| 36 | - | 40 |9959 | 0 | 0 | 22 |1537k|6572 | 0.000000e+00 | -- | Inf
604.61/604.83 c 605s| 2530k|364244 | 5212k| 2.1 | 306M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1544k|6576 | 0.000000e+00 | -- | Inf
607.31/607.51 c 608s| 2540k|365440 | 5232k| 2.1 | 307M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1550k|6590 | 0.000000e+00 | -- | Inf
609.80/610.02 c 610s| 2550k|366903 | 5252k| 2.1 | 309M| 36 | - | 40 | 12k| 40 | 17 | 22 |1556k|6608 | 0.000000e+00 | -- | Inf
612.91/613.19 c 613s| 2560k|367785 | 5272k| 2.1 | 310M| 36 | - | 40 | 12k| 40 | 17 | 22 |1563k|6616 | 0.000000e+00 | -- | Inf
616.11/616.38 c 616s| 2570k|368520 | 5293k| 2.1 | 310M| 36 | - | 40 |9995 | 40 | 17 | 22 |1570k|6635 | 0.000000e+00 | -- | Inf
619.10/619.36 c 619s| 2580k|369259 | 5314k| 2.1 | 311M| 36 | 5 | 40 |9686 | 40 | 17 | 22 |1577k|6645 | 0.000000e+00 | -- | Inf
622.10/622.35 c 622s| 2590k|369989 | 5335k| 2.1 | 312M| 36 | 5 | 40 |9057 | 40 | 17 | 22 |1583k|6653 | 0.000000e+00 | -- | Inf
625.00/625.22 c 625s| 2600k|370646 | 5355k| 2.1 | 312M| 36 | 5 | 40 |8895 | 40 | 17 | 22 |1590k|6675 | 0.000000e+00 | -- | Inf
627.80/628.02 c 628s| 2610k|371421 | 5376k| 2.1 | 313M| 36 | - | 40 |9692 | 40 | 17 | 22 |1596k|6689 | 0.000000e+00 | -- | Inf
629.99/630.25 c 630s| 2620k|373185 | 5397k| 2.1 | 315M| 36 | - | 40 | 11k| 0 | 0 | 22 |1602k|6700 | 0.000000e+00 | -- | Inf
632.79/633.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.79/633.03 c 633s| 2630k|373938 | 5418k| 2.1 | 317M| 36 | - | 40 | 12k| 40 | 17 | 22 |1609k|6718 | 0.000000e+00 | -- | Inf
636.28/636.51 c 637s| 2640k|374533 | 5439k| 2.1 | 317M| 36 | - | 40 | 10k| 40 | 17 | 22 |1616k|6735 | 0.000000e+00 | -- | Inf
639.19/639.45 c 639s| 2650k|375200 | 5459k| 2.1 | 317M| 36 | 5 | 40 |9294 | 40 | 17 | 22 |1622k|6747 | 0.000000e+00 | -- | Inf
641.99/642.21 c 642s| 2660k|376053 | 5480k| 2.1 | 318M| 36 | 5 | 40 |9894 | 40 | 17 | 22 |1629k|6758 | 0.000000e+00 | -- | Inf
644.48/644.77 c 645s| 2670k|377079 | 5501k| 2.1 | 320M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1636k|6769 | 0.000000e+00 | -- | Inf
647.18/647.41 c 647s| 2680k|378059 | 5522k| 2.1 | 321M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1642k|6779 | 0.000000e+00 | -- | Inf
649.58/649.87 c 650s| 2690k|379085 | 5542k| 2.1 | 322M| 36 | - | 40 | 12k| 40 | 17 | 22 |1649k|6790 | 0.000000e+00 | -- | Inf
652.38/652.61 c 653s| 2700k|380468 | 5564k| 2.1 | 323M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1655k|6805 | 0.000000e+00 | -- | Inf
654.78/655.08 c 655s| 2710k|382030 | 5585k| 2.1 | 325M| 36 | - | 40 | 13k| 40 | 17 | 22 |1661k|6819 | 0.000000e+00 | -- | Inf
657.78/658.06 c 658s| 2720k|382863 | 5607k| 2.1 | 326M| 36 | - | 40 | 14k| 40 | 17 | 22 |1668k|6825 | 0.000000e+00 | -- | Inf
660.47/660.78 c 661s| 2730k|384260 | 5627k| 2.1 | 327M| 36 | - | 40 | 15k| 40 | 17 | 22 |1674k|6838 | 0.000000e+00 | -- | Inf
663.37/663.62 c 664s| 2740k|385690 | 5647k| 2.1 | 329M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1680k|6854 | 0.000000e+00 | -- | Inf
666.39/666.64 c 667s| 2750k|387186 | 5669k| 2.1 | 330M| 36 | - | 40 | 17k| 40 | 17 | 22 |1686k|6863 | 0.000000e+00 | -- | Inf
669.87/670.17 c 670s| 2760k|388006 | 5690k| 2.1 | 332M| 36 | - | 40 | 18k| 40 | 17 | 22 |1692k|6880 | 0.000000e+00 | -- | Inf
673.07/673.38 c 673s| 2770k|389255 | 5712k| 2.1 | 333M| 36 | - | 40 | 19k| 40 | 17 | 22 |1699k|6890 | 0.000000e+00 | -- | Inf
676.58/676.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.58/676.83 c 677s| 2780k|390425 | 5733k| 2.1 | 334M| 36 | - | 40 | 18k| 40 | 17 | 22 |1705k|6900 | 0.000000e+00 | -- | Inf
680.28/680.50 c 680s| 2790k|391345 | 5752k| 2.1 | 334M| 36 | - | 40 | 16k| 40 | 17 | 22 |1712k|6913 | 0.000000e+00 | -- | Inf
683.88/684.13 c 684s| 2800k|392104 | 5773k| 2.1 | 335M| 36 | - | 40 | 14k| 40 | 17 | 22 |1719k|6925 | 0.000000e+00 | -- | Inf
686.77/687.01 c 687s| 2810k|393142 | 5793k| 2.1 | 336M| 36 | - | 40 | 15k| 40 | 17 | 22 |1725k|6931 | 0.000000e+00 | -- | Inf
689.57/689.88 c 690s| 2820k|394674 | 5814k| 2.1 | 338M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1731k|6939 | 0.000000e+00 | -- | Inf
692.87/693.11 c 693s| 2830k|395703 | 5834k| 2.1 | 339M| 36 | - | 40 | 16k| 40 | 17 | 22 |1738k|6955 | 0.000000e+00 | -- | Inf
696.67/696.96 c 697s| 2840k|396443 | 5855k| 2.1 | 339M| 36 | - | 40 | 13k| 40 | 17 | 22 |1744k|6966 | 0.000000e+00 | -- | Inf
699.87/700.19 c 700s| 2850k|397380 | 5876k| 2.1 | 339M| 36 | - | 40 | 12k| 40 | 17 | 22 |1751k|6982 | 0.000000e+00 | -- | Inf
702.58/702.81 c 703s| 2860k|398698 | 5897k| 2.1 | 341M| 36 | - | 40 | 14k| 40 | 17 | 22 |1757k|6989 | 0.000000e+00 | -- | Inf
705.77/706.01 c 706s| 2870k|399473 | 5917k| 2.1 | 342M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1764k|7003 | 0.000000e+00 | -- | Inf
709.37/709.65 c 710s| 2880k|400162 | 5938k| 2.1 | 342M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1771k|7011 | 0.000000e+00 | -- | Inf
712.58/712.82 c 713s| 2890k|400887 | 5958k| 2.1 | 343M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1778k|7020 | 0.000000e+00 | -- | Inf
714.87/715.19 c 715s| 2900k|403110 | 5980k| 2.1 | 344M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1783k|7031 | 0.000000e+00 | -- | Inf
717.17/717.41 c 717s| 2910k|405263 | 6000k| 2.1 | 346M| 36 | - | 40 | 12k| 40 | 17 | 22 |1789k|7046 | 0.000000e+00 | -- | Inf
719.57/719.81 c 720s| 2920k|407270 | 6021k| 2.1 | 348M| 36 | - | 40 | 12k| 40 | 17 | 22 |1794k|7056 | 0.000000e+00 | -- | Inf
721.77/722.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.77/722.04 c 722s| 2930k|409668 | 6042k| 2.1 | 350M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |1800k|7064 | 0.000000e+00 | -- | Inf
724.77/725.04 c 725s| 2940k|411221 | 6063k| 2.1 | 351M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1806k|7078 | 0.000000e+00 | -- | Inf
727.67/727.95 c 728s| 2950k|412646 | 6084k| 2.1 | 352M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1812k|7085 | 0.000000e+00 | -- | Inf
730.67/730.99 c 731s| 2960k|413851 | 6104k| 2.1 | 353M| 36 | - | 40 | 13k| 40 | 17 | 22 |1818k|7101 | 0.000000e+00 | -- | Inf
733.57/733.86 c 734s| 2970k|415226 | 6125k| 2.1 | 355M| 36 | - | 40 | 13k| 40 | 17 | 22 |1824k|7105 | 0.000000e+00 | -- | Inf
736.56/736.89 c 737s| 2980k|416460 | 6145k| 2.1 | 356M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |1831k|7120 | 0.000000e+00 | -- | Inf
739.56/739.82 c 740s| 2990k|417832 | 6165k| 2.1 | 357M| 36 | - | 40 | 15k| 40 | 17 | 22 |1837k|7131 | 0.000000e+00 | -- | Inf
742.27/742.57 c 743s| 3000k|419784 | 6186k| 2.1 | 359M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1843k|7142 | 0.000000e+00 | -- | Inf
745.47/745.80 c 746s| 3010k|421103 | 6207k| 2.1 | 361M| 36 | - | 40 | 18k| 0 | 0 | 22 |1849k|7158 | 0.000000e+00 | -- | Inf
749.06/749.30 c 749s| 3020k|422179 | 6228k| 2.1 | 362M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1856k|7165 | 0.000000e+00 | -- | Inf
752.66/752.95 c 753s| 3030k|423353 | 6250k| 2.1 | 364M| 36 | 5 | 40 | 20k| 40 | 17 | 22 |1863k|7173 | 0.000000e+00 | -- | Inf
756.66/756.93 c 757s| 3040k|424410 | 6271k| 2.1 | 364M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1870k|7186 | 0.000000e+00 | -- | Inf
759.96/760.29 c 760s| 3050k|425920 | 6291k| 2.1 | 365M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1876k|7198 | 0.000000e+00 | -- | Inf
763.96/764.22 c 764s| 3060k|426772 | 6312k| 2.1 | 366M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1883k|7204 | 0.000000e+00 | -- | Inf
768.16/768.44 c 768s| 3070k|427309 | 6333k| 2.1 | 367M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1889k|7218 | 0.000000e+00 | -- | Inf
771.56/771.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
771.56/771.83 c 772s| 3080k|428289 | 6354k| 2.1 | 368M| 36 | - | 40 | 16k| 40 | 17 | 22 |1896k|7230 | 0.000000e+00 | -- | Inf
775.55/775.84 c 776s| 3090k|428901 | 6374k| 2.1 | 368M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1903k|7243 | 0.000000e+00 | -- | Inf
778.86/779.19 c 779s| 3100k|429906 | 6395k| 2.1 | 370M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1910k|7252 | 0.000000e+00 | -- | Inf
782.66/782.93 c 783s| 3110k|431146 | 6416k| 2.1 | 371M| 36 | - | 40 | 15k| 0 | 0 | 22 |1916k|7267 | 0.000000e+00 | -- | Inf
785.45/785.79 c 786s| 3120k|433029 | 6436k| 2.1 | 372M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1922k|7276 | 0.000000e+00 | -- | Inf
788.46/788.74 c 789s| 3130k|434804 | 6457k| 2.1 | 374M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1928k|7284 | 0.000000e+00 | -- | Inf
792.16/792.42 c 792s| 3140k|436274 | 6477k| 2.1 | 375M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1934k|7299 | 0.000000e+00 | -- | Inf
795.95/796.22 c 796s| 3150k|437303 | 6498k| 2.1 | 376M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1941k|7311 | 0.000000e+00 | -- | Inf
799.65/799.93 c 800s| 3160k|438269 | 6519k| 2.1 | 377M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1948k|7321 | 0.000000e+00 | -- | Inf
803.95/804.23 c 804s| 3170k|438988 | 6539k| 2.1 | 378M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1954k|7329 | 0.000000e+00 | -- | Inf
807.95/808.22 c 808s| 3180k|440050 | 6559k| 2.1 | 379M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1961k|7338 | 0.000000e+00 | -- | Inf
810.95/811.27 c 811s| 3190k|441454 | 6580k| 2.1 | 381M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1967k|7347 | 0.000000e+00 | -- | Inf
814.85/815.13 c 815s| 3200k|442447 | 6601k| 2.1 | 382M| 36 | 5 | 40 | 20k| 40 | 17 | 22 |1974k|7361 | 0.000000e+00 | -- | Inf
819.45/819.76 c 820s| 3210k|443196 | 6621k| 2.1 | 382M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1980k|7374 | 0.000000e+00 | -- | Inf
823.05/823.33 c 823s| 3220k|444770 | 6642k| 2.1 | 383M| 36 | - | 40 | 17k| 40 | 17 | 22 |1986k|7389 | 0.000000e+00 | -- | Inf
826.25/826.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.25/826.55 c 827s| 3230k|446536 | 6662k| 2.1 | 385M| 36 | - | 40 | 18k| 40 | 17 | 22 |1992k|7392 | 0.000000e+00 | -- | Inf
829.75/830.09 c 830s| 3240k|447792 | 6682k| 2.1 | 386M| 36 | - | 40 | 19k| 40 | 17 | 22 |1999k|7399 | 0.000000e+00 | -- | Inf
833.46/833.79 c 834s| 3250k|448951 | 6702k| 2.1 | 388M| 36 | - | 40 | 21k| 40 | 17 | 22 |2005k|7412 | 0.000000e+00 | -- | Inf
837.25/837.50 c 837s| 3260k|450405 | 6723k| 2.1 | 389M| 36 | 5 | 40 | 22k| 40 | 17 | 22 |2011k|7426 | 0.000000e+00 | -- | Inf
841.26/841.53 c 842s| 3270k|451723 | 6743k| 2.1 | 391M| 36 | - | 40 | 23k| 40 | 17 | 22 |2018k|7432 | 0.000000e+00 | -- | Inf
847.35/847.64 c 848s| 3280k|452271 | 6764k| 2.1 | 390M| 36 | - | 40 | 15k| 40 | 17 | 22 |2025k|7445 | 0.000000e+00 | -- | Inf
851.06/851.33 c 851s| 3290k|453035 | 6784k| 2.1 | 390M| 36 | - | 40 | 14k| 0 | 0 | 22 |2031k|7458 | 0.000000e+00 | -- | Inf
855.05/855.30 c 855s| 3300k|453643 | 6805k| 2.1 | 391M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2038k|7462 | 0.000000e+00 | -- | Inf
858.35/858.69 c 859s| 3310k|454588 | 6826k| 2.1 | 391M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2045k|7474 | 0.000000e+00 | -- | Inf
861.94/862.27 c 862s| 3320k|455172 | 6846k| 2.1 | 392M| 36 | - | 40 |9860 | 40 | 17 | 22 |2052k|7486 | 0.000000e+00 | -- | Inf
864.95/865.23 c 865s| 3330k|456019 | 6867k| 2.1 | 393M| 36 | - | 40 | 10k| 40 | 17 | 22 |2058k|7494 | 0.000000e+00 | -- | Inf
868.44/868.76 c 869s| 3340k|456601 | 6888k| 2.1 | 394M| 36 | - | 40 | 10k| 40 | 17 | 22 |2065k|7510 | 0.000000e+00 | -- | Inf
871.15/871.49 c 871s| 3350k|457771 | 6911k| 2.1 | 395M| 36 | - | 40 | 11k| 40 | 17 | 22 |2072k|7521 | 0.000000e+00 | -- | Inf
874.35/874.67 c 875s| 3360k|458635 | 6932k| 2.1 | 396M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2079k|7528 | 0.000000e+00 | -- | Inf
877.95/878.29 c 878s| 3370k|459161 | 6953k| 2.1 | 396M| 36 | 5 | 40 |9616 | 40 | 17 | 22 |2086k|7542 | 0.000000e+00 | -- | Inf
881.34/881.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.34/881.69 c 882s| 3380k|459736 | 6974k| 2.1 | 397M| 36 | 5 | 40 |9470 | 40 | 17 | 22 |2093k|7551 | 0.000000e+00 | -- | Inf
884.15/884.42 c 884s| 3390k|460561 | 6994k| 2.1 | 398M| 36 | - | 40 | 10k| 40 | 17 | 22 |2099k|7561 | 0.000000e+00 | -- | Inf
887.84/888.16 c 888s| 3400k|460926 | 7015k| 2.1 | 399M| 36 | - | 40 |9710 | 40 | 17 | 22 |2106k|7571 | 0.000000e+00 | -- | Inf
890.84/891.18 c 891s| 3410k|461767 | 7035k| 2.1 | 400M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2113k|7580 | 0.000000e+00 | -- | Inf
893.15/893.44 c 893s| 3420k|463615 | 7056k| 2.1 | 402M| 36 | - | 40 | 12k| 0 | 0 | 22 |2119k|7592 | 0.000000e+00 | -- | Inf
895.94/896.23 c 896s| 3430k|464529 | 7077k| 2.1 | 403M| 36 | - | 40 | 12k| 0 | 0 | 22 |2125k|7612 | 0.000000e+00 | -- | Inf
899.74/900.00 c 900s| 3440k|465099 | 7097k| 2.1 | 403M| 36 | - | 40 | 10k| 40 | 17 | 22 |2132k|7625 | 0.000000e+00 | -- | Inf
903.13/903.42 c 903s| 3450k|465599 | 7118k| 2.1 | 403M| 36 | - | 40 |8739 | 0 | 0 | 22 |2139k|7632 | 0.000000e+00 | -- | Inf
906.24/906.52 c 907s| 3460k|466134 | 7139k| 2.1 | 404M| 36 | - | 40 |8920 | 0 | 0 | 22 |2146k|7641 | 0.000000e+00 | -- | Inf
909.34/909.67 c 910s| 3470k|466683 | 7160k| 2.1 | 405M| 36 | 5 | 40 |9938 | 40 | 17 | 22 |2153k|7644 | 0.000000e+00 | -- | Inf
912.83/913.13 c 913s| 3480k|467067 | 7180k| 2.1 | 406M| 36 | 5 | 40 |8983 | 40 | 17 | 22 |2160k|7653 | 0.000000e+00 | -- | Inf
915.13/915.49 c 915s| 3490k|468651 | 7201k| 2.1 | 407M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2166k|7663 | 0.000000e+00 | -- | Inf
918.14/918.41 c 918s| 3500k|469247 | 7222k| 2.1 | 408M| 36 | - | 40 | 11k| 0 | 0 | 22 |2173k|7677 | 0.000000e+00 | -- | Inf
921.84/922.14 c 922s| 3510k|469670 | 7242k| 2.1 | 409M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2180k|7694 | 0.000000e+00 | -- | Inf
925.04/925.38 c 925s| 3520k|470370 | 7263k| 2.1 | 410M| 36 | - | 40 | 10k| 40 | 17 | 22 |2187k|7705 | 0.000000e+00 | -- | Inf
927.83/928.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.83/928.19 c 928s| 3530k|471217 | 7283k| 2.1 | 411M| 36 | - | 40 | 11k| 40 | 17 | 22 |2194k|7713 | 0.000000e+00 | -- | Inf
931.63/931.93 c 932s| 3540k|471562 | 7304k| 2.1 | 411M| 36 | - | 40 |9315 | 40 | 17 | 22 |2201k|7730 | 0.000000e+00 | -- | Inf
934.33/934.61 c 935s| 3550k|473276 | 7324k| 2.1 | 412M| 36 | 5 | 40 |9920 | 40 | 17 | 22 |2207k|7733 | 0.000000e+00 | -- | Inf
936.62/936.98 c 937s| 3560k|475223 | 7345k| 2.1 | 414M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2213k|7746 | 0.000000e+00 | -- | Inf
939.13/939.45 c 939s| 3570k|477150 | 7365k| 2.1 | 416M| 36 | - | 40 | 13k| 40 | 17 | 22 |2219k|7753 | 0.000000e+00 | -- | Inf
941.93/942.29 c 942s| 3580k|478690 | 7386k| 2.1 | 418M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2225k|7759 | 0.000000e+00 | -- | Inf
945.02/945.36 c 945s| 3590k|480030 | 7406k| 2.1 | 419M| 36 | - | 40 | 14k| 40 | 17 | 22 |2231k|7764 | 0.000000e+00 | -- | Inf
947.92/948.21 c 948s| 3600k|481584 | 7427k| 2.1 | 420M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2237k|7772 | 0.000000e+00 | -- | Inf
951.12/951.50 c 951s| 3610k|482786 | 7447k| 2.1 | 422M| 36 | - | 40 | 15k| 40 | 17 | 22 |2243k|7778 | 0.000000e+00 | -- | Inf
954.92/955.21 c 955s| 3620k|483744 | 7467k| 2.1 | 422M| 36 | - | 40 | 14k| 0 | 0 | 22 |2250k|7791 | 0.000000e+00 | -- | Inf
958.11/958.43 c 958s| 3630k|484863 | 7488k| 2.1 | 424M| 36 | - | 40 | 15k| 0 | 0 | 22 |2256k|7795 | 0.000000e+00 | -- | Inf
961.61/961.91 c 962s| 3640k|485877 | 7509k| 2.1 | 425M| 36 | - | 40 | 15k| 40 | 17 | 22 |2263k|7797 | 0.000000e+00 | -- | Inf
964.61/964.92 c 965s| 3650k|487197 | 7529k| 2.1 | 426M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2269k|7812 | 0.000000e+00 | -- | Inf
968.51/968.82 c 969s| 3660k|488118 | 7550k| 2.1 | 427M| 36 | - | 40 | 17k| 40 | 17 | 22 |2276k|7817 | 0.000000e+00 | -- | Inf
972.61/972.97 c 973s| 3670k|488896 | 7571k| 2.1 | 428M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2283k|7822 | 0.000000e+00 | -- | Inf
976.01/976.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
976.01/976.30 c 976s| 3680k|490509 | 7591k| 2.1 | 430M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2289k|7836 | 0.000000e+00 | -- | Inf
979.90/980.29 c 980s| 3690k|491303 | 7612k| 2.1 | 431M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |2296k|7847 | 0.000000e+00 | -- | Inf
984.60/984.91 c 985s| 3700k|491889 | 7631k| 2.1 | 432M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2302k|7866 | 0.000000e+00 | -- | Inf
988.69/989.05 c 989s| 3710k|492500 | 7652k| 2.1 | 433M| 36 | - | 40 | 18k| 40 | 17 | 22 |2309k|7887 | 0.000000e+00 | -- | Inf
993.39/993.70 c 994s| 3720k|493075 | 7673k| 2.1 | 432M| 36 | - | 40 | 13k| 40 | 17 | 22 |2316k|7893 | 0.000000e+00 | -- | Inf
997.19/997.50 c 997s| 3730k|493831 | 7693k| 2.1 | 432M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2323k|7905 | 0.000000e+00 | -- | Inf
999.99/1000.32 c 1000s| 3740k|495057 | 7714k| 2.1 | 433M| 36 | - | 40 | 11k| 40 | 17 | 22 |2329k|7918 | 0.000000e+00 | -- | Inf
1002.69/1003.02 c 1003s| 3750k|496532 | 7735k| 2.1 | 434M| 36 | - | 40 | 11k| 40 | 17 | 22 |2336k|7930 | 0.000000e+00 | -- | Inf
1005.00/1005.40 c 1005s| 3760k|498317 | 7756k| 2.1 | 436M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2341k|7944 | 0.000000e+00 | -- | Inf
1007.79/1008.17 c 1008s| 3770k|499681 | 7776k| 2.1 | 438M| 36 | - | 40 | 13k| 40 | 17 | 22 |2348k|7948 | 0.000000e+00 | -- | Inf
1010.69/1011.06 c 1011s| 3780k|500777 | 7797k| 2.1 | 439M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2354k|7962 | 0.000000e+00 | -- | Inf
1013.68/1014.02 c 1014s| 3790k|501775 | 7817k| 2.1 | 440M| 36 | - | 40 | 14k| 40 | 17 | 22 |2361k|7980 | 0.000000e+00 | -- | Inf
1016.88/1017.26 c 1017s| 3800k|502666 | 7838k| 2.1 | 441M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2367k|7985 | 0.000000e+00 | -- | Inf
1020.19/1020.55 c 1021s| 3810k|503396 | 7859k| 2.1 | 443M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2374k|7990 | 0.000000e+00 | -- | Inf
1023.89/1024.29 c 1024s| 3820k|504125 | 7879k| 2.1 | 443M| 36 | - | 40 | 14k| 40 | 17 | 22 |2381k|8003 | 0.000000e+00 | -- | Inf
1027.49/1027.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1027.49/1027.80 c 1028s| 3830k|504962 | 7900k| 2.1 | 443M| 36 | - | 40 | 13k| 40 | 17 | 22 |2388k|8011 | 0.000000e+00 | -- | Inf
1030.39/1030.73 c 1031s| 3840k|506236 | 7921k| 2.1 | 445M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2394k|8023 | 0.000000e+00 | -- | Inf
1033.78/1034.15 c 1034s| 3850k|506823 | 7941k| 2.1 | 446M| 36 | - | 40 | 14k| 0 | 0 | 22 |2401k|8029 | 0.000000e+00 | -- | Inf
1036.38/1036.74 c 1037s| 3860k|509248 | 7962k| 2.1 | 447M| 36 | - | 40 | 14k| 40 | 17 | 22 |2407k|8039 | 0.000000e+00 | -- | Inf
1039.28/1039.68 c 1040s| 3870k|510863 | 7983k| 2.1 | 449M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2413k|8048 | 0.000000e+00 | -- | Inf
1042.58/1042.92 c 1043s| 3880k|512077 | 8004k| 2.1 | 450M| 36 | - | 40 | 16k| 40 | 17 | 22 |2419k|8053 | 0.000000e+00 | -- | Inf
1045.88/1046.29 c 1046s| 3890k|513219 | 8025k| 2.1 | 451M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2426k|8061 | 0.000000e+00 | -- | Inf
1049.68/1050.01 c 1050s| 3900k|514093 | 8046k| 2.1 | 453M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2433k|8075 | 0.000000e+00 | -- | Inf
1053.38/1053.80 c 1054s| 3910k|514852 | 8067k| 2.1 | 454M| 36 | - | 40 | 17k| 40 | 17 | 22 |2439k|8084 | 0.000000e+00 | -- | Inf
1057.17/1057.50 c 1057s| 3920k|515545 | 8088k| 2.1 | 455M| 36 | - | 40 | 17k| 40 | 17 | 22 |2446k|8090 | 0.000000e+00 | -- | Inf
1061.38/1061.75 c 1062s| 3930k|515905 | 8109k| 2.1 | 455M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2453k|8107 | 0.000000e+00 | -- | Inf
1065.48/1065.89 c 1066s| 3940k|516530 | 8129k| 2.1 | 456M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2460k|8121 | 0.000000e+00 | -- | Inf
1069.47/1069.88 c 1070s| 3950k|517267 | 8150k| 2.1 | 456M| 36 | - | 40 | 13k| 40 | 17 | 22 |2467k|8129 | 0.000000e+00 | -- | Inf
1071.98/1072.33 c 1072s| 3960k|518847 | 8171k| 2.1 | 458M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2473k|8137 | 0.000000e+00 | -- | Inf
1074.88/1075.29 c 1075s| 3970k|520321 | 8193k| 2.1 | 459M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2479k|8144 | 0.000000e+00 | -- | Inf
1078.68/1079.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.68/1079.04 c 1079s| 3980k|520878 | 8214k| 2.1 | 460M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2486k|8153 | 0.000000e+00 | -- | Inf
1083.08/1083.44 c 1083s| 3990k|521493 | 8235k| 2.1 | 460M| 36 | - | 40 | 13k| 40 | 17 | 22 |2493k|8162 | 0.000000e+00 | -- | Inf
1086.18/1086.54 c 1087s| 4000k|522493 | 8255k| 2.1 | 461M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2499k|8170 | 0.000000e+00 | -- | Inf
1089.28/1089.68 c 1090s| 4010k|523918 | 8277k| 2.1 | 462M| 36 | - | 40 | 14k| 0 | 0 | 22 |2506k|8180 | 0.000000e+00 | -- | Inf
1092.38/1092.70 c 1093s| 4020k|524759 | 8298k| 2.1 | 464M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2512k|8194 | 0.000000e+00 | -- | Inf
1096.68/1097.09 c 1097s| 4030k|525229 | 8318k| 2.1 | 464M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2519k|8207 | 0.000000e+00 | -- | Inf
1099.97/1100.35 c 1100s| 4040k|526126 | 8339k| 2.1 | 465M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2526k|8217 | 0.000000e+00 | -- | Inf
1103.68/1104.03 c 1104s| 4050k|526720 | 8359k| 2.1 | 465M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2533k|8221 | 0.000000e+00 | -- | Inf
1106.98/1107.38 c 1107s| 4060k|527351 | 8379k| 2.1 | 465M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2540k|8234 | 0.000000e+00 | -- | Inf
1110.28/1110.61 c 1111s| 4070k|528059 | 8400k| 2.1 | 466M| 36 | 5 | 40 |9727 | 40 | 17 | 22 |2546k|8243 | 0.000000e+00 | -- | Inf
1113.57/1113.92 c 1114s| 4080k|528632 | 8421k| 2.1 | 467M| 36 | - | 40 |9670 | 40 | 17 | 22 |2553k|8255 | 0.000000e+00 | -- | Inf
1116.57/1116.92 c 1117s| 4090k|529392 | 8442k| 2.1 | 468M| 36 | - | 40 | 10k| 40 | 17 | 22 |2560k|8324 | 0.000000e+00 | -- | Inf
1119.07/1119.41 c 1119s| 4100k|530411 | 8463k| 2.1 | 470M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2567k|8324 | 0.000000e+00 | -- | Inf
1122.68/1123.08 c 1123s| 4110k|531017 | 8484k| 2.1 | 470M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2573k|8326 | 0.000000e+00 | -- | Inf
1125.77/1126.13 c 1126s| 4120k|531747 | 8504k| 2.1 | 471M| 36 | - | 40 | 12k| 40 | 17 | 22 |2580k|8326 | 0.000000e+00 | -- | Inf
1129.28/1129.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.28/1129.65 c 1130s| 4130k|532241 | 8525k| 2.1 | 472M| 36 | - | 40 | 10k| 40 | 17 | 22 |2587k|8389 | 0.000000e+00 | -- | Inf
1132.57/1132.92 c 1133s| 4140k|532827 | 8545k| 2.1 | 473M| 36 | - | 40 | 11k| 40 | 17 | 22 |2594k|8389 | 0.000000e+00 | -- | Inf
1135.87/1136.26 c 1136s| 4150k|533439 | 8566k| 2.1 | 473M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2601k|8389 | 0.000000e+00 | -- | Inf
1139.46/1139.87 c 1140s| 4160k|533794 | 8586k| 2.1 | 473M| 36 | 5 | 40 |9295 | 40 | 17 | 22 |2608k|8393 | 0.000000e+00 | -- | Inf
1142.76/1143.17 c 1143s| 4170k|534257 | 8607k| 2.1 | 474M| 36 | 5 | 40 |9128 | 40 | 17 | 22 |2615k|8393 | 0.000000e+00 | -- | Inf
1145.97/1146.38 c 1146s| 4180k|534866 | 8628k| 2.1 | 475M| 36 | 5 | 40 |9921 | 40 | 17 | 22 |2621k|8393 | 0.000000e+00 | -- | Inf
1148.87/1149.20 c 1149s| 4190k|535758 | 8649k| 2.1 | 476M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2628k|8403 | 0.000000e+00 | -- | Inf
1152.06/1152.41 c 1152s| 4200k|536562 | 8669k| 2.1 | 477M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2635k|8411 | 0.000000e+00 | -- | Inf
1155.16/1155.50 c 1156s| 4210k|537708 | 8690k| 2.1 | 478M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2641k|8418 | 0.000000e+00 | -- | Inf
1157.76/1158.18 c 1158s| 4220k|539073 | 8710k| 2.1 | 480M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2647k|8421 | 0.000000e+00 | -- | Inf
1160.76/1161.15 c 1161s| 4230k|540169 | 8731k| 2.1 | 481M| 36 | - | 40 | 15k| 40 | 17 | 22 |2653k|8425 | 0.000000e+00 | -- | Inf
1164.76/1165.13 c 1165s| 4240k|540765 | 8751k| 2.1 | 482M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2660k|8430 | 0.000000e+00 | -- | Inf
1168.16/1168.56 c 1169s| 4250k|541439 | 8771k| 2.1 | 482M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2667k|8439 | 0.000000e+00 | -- | Inf
1171.86/1172.23 c 1172s| 4260k|542061 | 8792k| 2.1 | 483M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2674k|8452 | 0.000000e+00 | -- | Inf
1175.16/1175.58 c 1176s| 4270k|542827 | 8813k| 2.1 | 483M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2680k|8466 | 0.000000e+00 | -- | Inf
1178.76/1179.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1178.76/1179.14 c 1179s| 4280k|543351 | 8835k| 2.1 | 484M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2688k|8471 | 0.000000e+00 | -- | Inf
1181.86/1182.21 c 1182s| 4290k|544211 | 8855k| 2.1 | 485M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2695k|8478 | 0.000000e+00 | -- | Inf
1185.06/1185.43 c 1185s| 4300k|544908 | 8876k| 2.1 | 486M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2701k|8479 | 0.000000e+00 | -- | Inf
1188.86/1189.22 c 1189s| 4310k|545286 | 8897k| 2.1 | 486M| 36 | - | 40 |9486 | 0 | 0 | 22 |2708k|8488 | 0.000000e+00 | -- | Inf
1191.46/1191.87 c 1192s| 4320k|546288 | 8918k| 2.1 | 488M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2715k|8500 | 0.000000e+00 | -- | Inf
1194.46/1194.82 c 1195s| 4330k|547196 | 8938k| 2.1 | 489M| 36 | - | 40 | 13k| 40 | 17 | 22 |2721k|8512 | 0.000000e+00 | -- | Inf
1198.36/1198.72 c 1199s| 4340k|547608 | 8959k| 2.1 | 489M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2729k|8525 | 0.000000e+00 | -- | Inf
1201.56/1201.96 c 1202s| 4350k|548160 | 8980k| 2.1 | 490M| 36 | - | 40 | 10k| 40 | 17 | 22 |2735k|8531 | 0.000000e+00 | -- | Inf
1204.46/1204.86 c 1205s| 4360k|548972 | 9001k| 2.1 | 491M| 36 | - | 40 | 11k| 40 | 17 | 22 |2742k|8535 | 0.000000e+00 | -- | Inf
1208.16/1208.51 c 1209s| 4370k|549366 | 9022k| 2.1 | 491M| 36 | 5 | 40 |9896 | 40 | 17 | 22 |2749k|8548 | 0.000000e+00 | -- | Inf
1211.36/1211.76 c 1212s| 4380k|549900 | 9042k| 2.1 | 492M| 36 | 5 | 40 |9689 | 40 | 17 | 22 |2756k|8563 | 0.000000e+00 | -- | Inf
1214.66/1215.01 c 1215s| 4390k|550472 | 9063k| 2.1 | 493M| 36 | - | 40 |9998 | 40 | 17 | 22 |2763k|8576 | 0.000000e+00 | -- | Inf
1217.76/1218.13 c 1218s| 4400k|551228 | 9084k| 2.1 | 494M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2770k|8585 | 0.000000e+00 | -- | Inf
1220.95/1221.34 c 1221s| 4410k|551900 | 9105k| 2.1 | 495M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2776k|8655 | 0.000000e+00 | -- | Inf
1224.15/1224.51 c 1225s| 4420k|552679 | 9125k| 2.1 | 495M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2783k|8655 | 0.000000e+00 | -- | Inf
1226.75/1227.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.75/1227.13 c 1227s| 4430k|553668 | 9146k| 2.1 | 497M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2789k|8655 | 0.000000e+00 | -- | Inf
1229.85/1230.23 c 1230s| 4440k|554684 | 9167k| 2.1 | 499M| 36 | - | 40 | 14k| 40 | 17 | 22 |2796k|8655 | 0.000000e+00 | -- | Inf
1233.55/1233.90 c 1234s| 4450k|555524 | 9188k| 2.1 | 499M| 36 | - | 40 | 13k| 40 | 17 | 22 |2803k|8659 | 0.000000e+00 | -- | Inf
1237.25/1237.67 c 1238s| 4460k|556114 | 9209k| 2.1 | 499M| 36 | - | 40 | 11k| 40 | 17 | 22 |2810k|8659 | 0.000000e+00 | -- | Inf
1240.36/1240.79 c 1241s| 4470k|557117 | 9231k| 2.1 | 501M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2816k|8663 | 0.000000e+00 | -- | Inf
1243.95/1244.38 c 1244s| 4480k|557615 | 9251k| 2.1 | 501M| 36 | - | 40 | 11k| 0 | 0 | 22 |2823k|8676 | 0.000000e+00 | -- | Inf
1247.45/1247.82 c 1248s| 4490k|558270 | 9272k| 2.1 | 502M| 36 | - | 40 | 11k| 40 | 17 | 22 |2830k|8685 | 0.000000e+00 | -- | Inf
1251.15/1251.53 c 1252s| 4500k|558732 | 9292k| 2.1 | 502M| 36 | 5 | 40 |9297 | 40 | 17 | 22 |2837k|8691 | 0.000000e+00 | -- | Inf
1254.45/1254.81 c 1255s| 4510k|559292 | 9313k| 2.1 | 503M| 36 | 5 | 40 |9755 | 40 | 17 | 22 |2844k|8700 | 0.000000e+00 | -- | Inf
1257.65/1258.06 c 1258s| 4520k|559883 | 9334k| 2.1 | 504M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2851k|8705 | 0.000000e+00 | -- | Inf
1260.75/1261.18 c 1261s| 4530k|560570 | 9355k| 2.1 | 505M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2857k|8711 | 0.000000e+00 | -- | Inf
1263.35/1263.73 c 1264s| 4540k|561801 | 9376k| 2.1 | 507M| 36 | - | 40 | 12k| 40 | 17 | 22 |2864k|8716 | 0.000000e+00 | -- | Inf
1266.75/1267.15 c 1267s| 4550k|562599 | 9397k| 2.1 | 507M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2871k|8724 | 0.000000e+00 | -- | Inf
1269.94/1270.40 c 1270s| 4560k|563473 | 9417k| 2.1 | 508M| 36 | - | 40 | 12k| 40 | 17 | 22 |2877k|8728 | 0.000000e+00 | -- | Inf
1272.94/1273.31 c 1273s| 4570k|564622 | 9439k| 2.1 | 510M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2884k|8733 | 0.000000e+00 | -- | Inf
1275.85/1276.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.85/1276.29 c 1276s| 4580k|565370 | 9460k| 2.1 | 511M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2891k|8740 | 0.000000e+00 | -- | Inf
1279.15/1279.50 c 1279s| 4590k|566247 | 9481k| 2.1 | 512M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2897k|8747 | 0.000000e+00 | -- | Inf
1282.75/1283.14 c 1283s| 4600k|566962 | 9501k| 2.1 | 512M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2904k|8761 | 0.000000e+00 | -- | Inf
1286.34/1286.76 c 1287s| 4610k|567642 | 9522k| 2.1 | 513M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2911k|8767 | 0.000000e+00 | -- | Inf
1288.95/1289.32 c 1289s| 4620k|569174 | 9542k| 2.1 | 515M| 36 | - | 40 | 15k| 40 | 17 | 22 |2917k|8771 | 0.000000e+00 | -- | Inf
1292.54/1292.91 c 1293s| 4630k|569834 | 9562k| 2.1 | 516M| 36 | - | 40 | 14k| 40 | 17 | 22 |2924k|8775 | 0.000000e+00 | -- | Inf
1296.64/1297.09 c 1297s| 4640k|570258 | 9583k| 2.1 | 516M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2931k|8783 | 0.000000e+00 | -- | Inf
1300.04/1300.47 c 1300s| 4650k|570967 | 9603k| 2.1 | 516M| 36 | - | 40 | 11k| 40 | 17 | 22 |2938k|8786 | 0.000000e+00 | -- | Inf
1303.94/1304.33 c 1304s| 4660k|571362 | 9624k| 2.1 | 517M| 36 | - | 40 | 10k| 40 | 17 | 22 |2944k|8800 | 0.000000e+00 | -- | Inf
1307.45/1307.83 c 1308s| 4670k|571931 | 9645k| 2.1 | 517M| 36 | 5 | 40 |9899 | 40 | 17 | 22 |2951k|8804 | 0.000000e+00 | -- | Inf
1310.14/1310.54 c 1311s| 4680k|573062 | 9665k| 2.1 | 519M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2958k|8814 | 0.000000e+00 | -- | Inf
1313.05/1313.47 c 1313s| 4690k|573809 | 9684k| 2.1 | 520M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2965k|8823 | 0.000000e+00 | -- | Inf
1316.73/1317.18 c 1317s| 4700k|574194 | 9704k| 2.1 | 520M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2972k|8833 | 0.000000e+00 | -- | Inf
1319.94/1320.32 c 1320s| 4710k|575419 | 9725k| 2.1 | 521M| 36 | - | 40 | 11k| 40 | 17 | 22 |2978k|8842 | 0.000000e+00 | -- | Inf
1322.54/1322.97 c 1323s| 4720k|576976 | 9748k| 2.1 | 523M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2984k|8854 | 0.000000e+00 | -- | Inf
1325.44/1325.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1325.44/1325.89 c 1326s| 4730k|578354 | 9770k| 2.1 | 525M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2991k|8857 | 0.000000e+00 | -- | Inf
1328.73/1329.13 c 1329s| 4740k|579284 | 9792k| 2.1 | 526M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2998k|8867 | 0.000000e+00 | -- | Inf
1332.14/1332.53 c 1333s| 4750k|580074 | 9813k| 2.1 | 527M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3005k|8873 | 0.000000e+00 | -- | Inf
1335.64/1336.08 c 1336s| 4760k|580767 | 9834k| 2.1 | 528M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3012k|8885 | 0.000000e+00 | -- | Inf
1339.74/1340.10 c 1340s| 4770k|581187 | 9856k| 2.1 | 529M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3020k|8891 | 0.000000e+00 | -- | Inf
1344.14/1344.57 c 1345s| 4780k|581718 | 9877k| 2.1 | 529M| 36 | - | 40 | 13k| 40 | 17 | 22 |3026k|8895 | 0.000000e+00 | -- | Inf
1348.25/1348.64 c 1349s| 4790k|582323 | 9897k| 2.1 | 529M| 36 | - | 40 | 13k| 40 | 17 | 22 |3033k|8905 | 0.000000e+00 | -- | Inf
1352.03/1352.40 c 1352s| 4800k|583037 | 9918k| 2.1 | 530M| 36 | - | 40 | 13k| 40 | 17 | 22 |3040k|8914 | 0.000000e+00 | -- | Inf
1355.43/1355.83 c 1356s| 4810k|583973 | 9939k| 2.1 | 531M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3047k|8917 | 0.000000e+00 | -- | Inf
1358.63/1359.01 c 1359s| 4820k|584907 | 9959k| 2.1 | 532M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3053k|8926 | 0.000000e+00 | -- | Inf
1361.94/1362.34 c 1362s| 4830k|585829 | 9980k| 2.1 | 533M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3060k|8935 | 0.000000e+00 | -- | Inf
1365.93/1366.34 c 1366s| 4840k|586507 | 10001k| 2.1 | 534M| 36 | - | 40 | 12k| 40 | 17 | 22 |3067k|8939 | 0.000000e+00 | -- | Inf
1368.73/1369.13 c 1369s| 4850k|588306 | 10021k| 2.1 | 535M| 36 | - | 40 | 13k| 40 | 17 | 22 |3072k|8945 | 0.000000e+00 | -- | Inf
1371.73/1372.12 c 1372s| 4860k|589650 | 10041k| 2.1 | 537M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3079k|8952 | 0.000000e+00 | -- | Inf
1375.04/1375.41 c 1375s| 4870k|590723 | 10061k| 2.1 | 538M| 36 | - | 40 | 15k| 0 | 0 | 22 |3085k|8960 | 0.000000e+00 | -- | Inf
1378.43/1378.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.43/1378.89 c 1379s| 4880k|591699 | 10081k| 2.1 | 540M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |3092k|8965 | 0.000000e+00 | -- | Inf
1382.93/1383.34 c 1383s| 4890k|592096 | 10101k| 2.1 | 540M| 36 | - | 40 | 16k| 40 | 17 | 22 |3099k|8971 | 0.000000e+00 | -- | Inf
1387.22/1387.65 c 1388s| 4900k|592712 | 10122k| 2.1 | 541M| 36 | - | 40 | 14k| 40 | 17 | 22 |3106k|8976 | 0.000000e+00 | -- | Inf
1391.03/1391.41 c 1391s| 4910k|593599 | 10143k| 2.1 | 541M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3113k|8976 | 0.000000e+00 | -- | Inf
1395.02/1395.40 c 1395s| 4920k|594233 | 10164k| 2.1 | 541M| 36 | - | 40 | 11k| 40 | 17 | 22 |3120k|8981 | 0.000000e+00 | -- | Inf
1398.42/1398.84 c 1399s| 4930k|594977 | 10184k| 2.1 | 542M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3126k|9008 | 0.000000e+00 | -- | Inf
1401.32/1401.71 c 1402s| 4940k|596251 | 10204k| 2.1 | 544M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3133k|9008 | 0.000000e+00 | -- | Inf
1404.22/1404.70 c 1405s| 4950k|597491 | 10226k| 2.1 | 545M| 36 | - | 40 | 14k| 40 | 17 | 22 |3139k|9008 | 0.000000e+00 | -- | Inf
1407.91/1408.35 c 1408s| 4960k|598324 | 10246k| 2.1 | 546M| 36 | - | 40 | 13k| 40 | 17 | 22 |3146k|9008 | 0.000000e+00 | -- | Inf
1411.61/1412.01 c 1412s| 4970k|598944 | 10267k| 2.1 | 547M| 36 | - | 40 | 14k| 40 | 17 | 22 |3153k|9014 | 0.000000e+00 | -- | Inf
1414.90/1415.31 c 1415s| 4980k|599828 | 10287k| 2.1 | 548M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3160k|9021 | 0.000000e+00 | -- | Inf
1418.90/1419.31 c 1419s| 4990k|600312 | 10308k| 2.1 | 548M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3166k|9022 | 0.000000e+00 | -- | Inf
1422.80/1423.22 c 1423s| 5000k|600711 | 10328k| 2.1 | 548M| 36 | - | 40 | 10k| 0 | 0 | 22 |3174k|9030 | 0.000000e+00 | -- | Inf
1426.20/1426.68 c 1427s| 5010k|601209 | 10348k| 2.1 | 549M| 36 | - | 40 | 10k| 0 | 0 | 22 |3180k|9037 | 0.000000e+00 | -- | Inf
1429.70/1430.11 c 1430s| 5020k|601685 | 10369k| 2.1 | 550M| 36 | 5 | 40 |9766 | 40 | 17 | 22 |3187k|9048 | 0.000000e+00 | -- | Inf
1432.90/1433.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.90/1433.37 c 1433s| 5030k|602158 | 10390k| 2.1 | 550M| 36 | 5 | 40 |9603 | 40 | 17 | 22 |3194k|9059 | 0.000000e+00 | -- | Inf
1436.10/1436.59 c 1437s| 5040k|602820 | 10410k| 2.1 | 551M| 36 | 5 | 40 |9641 | 40 | 17 | 22 |3201k|9069 | 0.000000e+00 | -- | Inf
1439.39/1439.83 c 1440s| 5050k|603209 | 10431k| 2.1 | 552M| 36 | 5 | 40 |9666 | 40 | 17 | 22 |3208k|9074 | 0.000000e+00 | -- | Inf
1442.80/1443.28 c 1443s| 5060k|603496 | 10451k| 2.1 | 552M| 36 | 5 | 40 |8668 | 40 | 17 | 22 |3215k|9084 | 0.000000e+00 | -- | Inf
1446.09/1446.51 c 1447s| 5070k|603884 | 10472k| 2.1 | 553M| 36 | 5 | 40 |8724 | 40 | 17 | 22 |3222k|9109 | 0.000000e+00 | -- | Inf
1448.29/1448.74 c 1449s| 5080k|605364 | 10492k| 2.1 | 554M| 36 | - | 40 | 10k| 40 | 17 | 22 |3228k|9109 | 0.000000e+00 | -- | Inf
1451.39/1451.89 c 1452s| 5090k|605667 | 10512k| 2.1 | 555M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3235k|9119 | 0.000000e+00 | -- | Inf
1454.68/1455.10 c 1455s| 5100k|606196 | 10532k| 2.1 | 556M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3242k|9123 | 0.000000e+00 | -- | Inf
1457.19/1457.69 c 1458s| 5110k|607282 | 10553k| 2.1 | 557M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3248k|9136 | 0.000000e+00 | -- | Inf
1460.49/1460.96 c 1461s| 5120k|607851 | 10574k| 2.1 | 558M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3255k|9145 | 0.000000e+00 | -- | Inf
1463.88/1464.39 c 1464s| 5130k|608432 | 10595k| 2.1 | 558M| 36 | - | 40 | 11k| 40 | 17 | 22 |3262k|9151 | 0.000000e+00 | -- | Inf
1467.48/1467.93 c 1468s| 5140k|608898 | 10615k| 2.1 | 559M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3269k|9158 | 0.000000e+00 | -- | Inf
1470.88/1471.31 c 1471s| 5150k|609338 | 10636k| 2.1 | 560M| 36 | - | 40 | 10k| 0 | 0 | 22 |3276k|9165 | 0.000000e+00 | -- | Inf
1473.39/1473.83 c 1474s| 5160k|610621 | 10657k| 2.1 | 561M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3282k|9172 | 0.000000e+00 | -- | Inf
1475.98/1476.46 c 1476s| 5170k|611374 | 10678k| 2.1 | 562M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3289k|9177 | 0.000000e+00 | -- | Inf
1479.38/1479.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1479.38/1479.88 c 1480s| 5180k|611977 | 10699k| 2.1 | 563M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3296k|9183 | 0.000000e+00 | -- | Inf
1482.39/1482.86 c 1483s| 5190k|612868 | 10720k| 2.1 | 564M| 36 | - | 40 | 12k| 40 | 17 | 22 |3302k|9196 | 0.000000e+00 | -- | Inf
1486.08/1486.55 c 1487s| 5200k|613287 | 10740k| 2.1 | 564M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3309k|9206 | 0.000000e+00 | -- | Inf
1489.38/1489.88 c 1490s| 5210k|613714 | 10760k| 2.1 | 564M| 36 | - | 40 |9495 | 40 | 17 | 22 |3316k|9218 | 0.000000e+00 | -- | Inf
1492.68/1493.11 c 1493s| 5220k|614233 | 10781k| 2.1 | 565M| 36 | 5 | 40 |9743 | 40 | 17 | 22 |3323k|9225 | 0.000000e+00 | -- | Inf
1495.68/1496.10 c 1496s| 5230k|614829 | 10802k| 2.1 | 566M| 36 | - | 40 |9792 | 40 | 17 | 22 |3330k|9235 | 0.000000e+00 | -- | Inf
1498.98/1499.41 c 1499s| 5240k|615212 | 10822k| 2.1 | 566M| 36 | 5 | 40 |9271 | 40 | 17 | 22 |3337k|9243 | 0.000000e+00 | -- | Inf
1501.57/1502.03 c 1502s| 5250k|616181 | 10843k| 2.1 | 568M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3344k|9253 | 0.000000e+00 | -- | Inf
1504.88/1505.36 c 1505s| 5260k|616749 | 10864k| 2.1 | 568M| 36 | - | 40 | 10k| 40 | 17 | 22 |3350k|9259 | 0.000000e+00 | -- | Inf
1508.38/1508.87 c 1509s| 5270k|617251 | 10884k| 2.1 | 569M| 36 | 5 | 40 |9725 | 40 | 17 | 22 |3357k|9263 | 0.000000e+00 | -- | Inf
1511.07/1511.57 c 1512s| 5280k|618173 | 10904k| 2.1 | 570M| 36 | - | 40 | 11k| 0 | 0 | 22 |3364k|9265 | 0.000000e+00 | -- | Inf
1514.58/1515.02 c 1515s| 5290k|618678 | 10925k| 2.1 | 571M| 36 | - | 40 | 10k| 40 | 17 | 22 |3371k|9270 | 0.000000e+00 | -- | Inf
1518.08/1518.59 c 1519s| 5300k|618921 | 10946k| 2.1 | 571M| 36 | 5 | 40 |9274 | 40 | 17 | 22 |3378k|9298 | 0.000000e+00 | -- | Inf
1521.28/1521.78 c 1522s| 5310k|619395 | 10967k| 2.1 | 572M| 36 | - | 40 |9759 | 40 | 17 | 22 |3385k|9298 | 0.000000e+00 | -- | Inf
1524.47/1524.92 c 1525s| 5320k|620126 | 10988k| 2.1 | 573M| 36 | - | 40 |9863 | 40 | 17 | 22 |3392k|9301 | 0.000000e+00 | -- | Inf
1526.98/1527.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.98/1527.47 c 1527s| 5330k|621226 | 11008k| 2.1 | 575M| 36 | - | 40 | 12k| 40 | 17 | 22 |3398k|9310 | 0.000000e+00 | -- | Inf
1530.28/1530.79 c 1531s| 5340k|621817 | 11028k| 2.1 | 575M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3405k|9315 | 0.000000e+00 | -- | Inf
1533.97/1534.43 c 1534s| 5350k|622238 | 11049k| 2.1 | 575M| 36 | - | 40 | 10k| 40 | 17 | 22 |3412k|9319 | 0.000000e+00 | -- | Inf
1537.38/1537.82 c 1538s| 5360k|622690 | 11069k| 2.1 | 576M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3419k|9325 | 0.000000e+00 | -- | Inf
1539.97/1540.42 c 1540s| 5370k|623818 | 11089k| 2.1 | 577M| 36 | - | 40 | 11k| 40 | 17 | 22 |3425k|9332 | 0.000000e+00 | -- | Inf
1542.67/1543.20 c 1543s| 5380k|624680 | 11110k| 2.1 | 579M| 36 | - | 40 | 13k| 0 | 0 | 22 |3432k|9337 | 0.000000e+00 | -- | Inf
1545.57/1546.02 c 1546s| 5390k|625782 | 11131k| 2.1 | 581M| 36 | - | 40 | 15k| 40 | 17 | 22 |3439k|9343 | 0.000000e+00 | -- | Inf
1549.87/1550.35 c 1550s| 5400k|626058 | 11151k| 2.1 | 580M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3446k|9354 | 0.000000e+00 | -- | Inf
1553.17/1553.69 c 1554s| 5410k|626865 | 11172k| 2.1 | 581M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3452k|9358 | 0.000000e+00 | -- | Inf
1556.17/1556.62 c 1557s| 5420k|627774 | 11192k| 2.1 | 582M| 36 | - | 40 | 13k| 40 | 17 | 22 |3459k|9364 | 0.000000e+00 | -- | Inf
1559.97/1560.43 c 1560s| 5430k|628114 | 11212k| 2.1 | 582M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3466k|9369 | 0.000000e+00 | -- | Inf
1562.77/1563.28 c 1563s| 5440k|628896 | 11233k| 2.1 | 583M| 36 | - | 40 | 11k| 40 | 17 | 22 |3473k|9376 | 0.000000e+00 | -- | Inf
1565.97/1566.44 c 1566s| 5450k|629681 | 11253k| 2.1 | 584M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3479k|9380 | 0.000000e+00 | -- | Inf
1569.66/1570.11 c 1570s| 5460k|630208 | 11274k| 2.1 | 584M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3486k|9387 | 0.000000e+00 | -- | Inf
1572.87/1573.39 c 1573s| 5470k|630805 | 11295k| 2.1 | 585M| 36 | - | 40 | 10k| 0 | 0 | 22 |3493k|9396 | 0.000000e+00 | -- | Inf
1576.07/1576.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.07/1576.50 c 1576s| 5480k|631545 | 11315k| 2.1 | 586M| 36 | - | 40 | 10k| 40 | 17 | 22 |3500k|9403 | 0.000000e+00 | -- | Inf
1579.07/1579.58 c 1580s| 5490k|632199 | 11336k| 2.1 | 587M| 36 | - | 40 | 12k| 40 | 17 | 22 |3506k|9405 | 0.000000e+00 | -- | Inf
1583.06/1583.51 c 1584s| 5500k|632537 | 11357k| 2.1 | 587M| 36 | 5 | 40 |9625 | 40 | 17 | 22 |3513k|9414 | 0.000000e+00 | -- | Inf
1586.06/1586.56 c 1587s| 5510k|633129 | 11377k| 2.1 | 588M| 36 | - | 40 | 10k| 0 | 0 | 22 |3520k|9426 | 0.000000e+00 | -- | Inf
1589.47/1589.95 c 1590s| 5520k|633607 | 11398k| 2.1 | 589M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3527k|9430 | 0.000000e+00 | -- | Inf
1592.56/1593.07 c 1593s| 5530k|634245 | 11419k| 2.1 | 590M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3534k|9436 | 0.000000e+00 | -- | Inf
1595.96/1596.40 c 1596s| 5540k|634883 | 11439k| 2.1 | 591M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3541k|9438 | 0.000000e+00 | -- | Inf
1599.47/1599.97 c 1600s| 5550k|635529 | 11460k| 2.1 | 592M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3548k|9450 | 0.000000e+00 | -- | Inf
1602.66/1603.10 c 1603s| 5560k|636240 | 11481k| 2.1 | 593M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3554k|9455 | 0.000000e+00 | -- | Inf
1606.06/1606.53 c 1607s| 5570k|636920 | 11501k| 2.1 | 593M| 36 | - | 40 | 11k| 0 | 0 | 22 |3561k|9460 | 0.000000e+00 | -- | Inf
1609.76/1610.27 c 1610s| 5580k|637244 | 11522k| 2.1 | 593M| 36 | - | 40 |9793 | 40 | 17 | 22 |3568k|9468 | 0.000000e+00 | -- | Inf
1613.06/1613.58 c 1614s| 5590k|637828 | 11543k| 2.1 | 594M| 36 | - | 40 | 10k| 40 | 17 | 22 |3575k|9479 | 0.000000e+00 | -- | Inf
1616.16/1616.64 c 1617s| 5600k|638542 | 11564k| 2.1 | 595M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3582k|9484 | 0.000000e+00 | -- | Inf
1618.96/1619.47 c 1619s| 5610k|639556 | 11584k| 2.1 | 597M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3588k|9492 | 0.000000e+00 | -- | Inf
1622.46/1622.92 c 1623s| 5620k|640103 | 11604k| 2.1 | 597M| 36 | - | 40 | 10k| 0 | 0 | 22 |3595k|9502 | 0.000000e+00 | -- | Inf
1625.76/1626.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.76/1626.21 c 1626s| 5630k|640540 | 11625k| 2.1 | 598M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3602k|9512 | 0.000000e+00 | -- | Inf
1629.16/1629.63 c 1630s| 5640k|640987 | 11646k| 2.1 | 598M| 36 | - | 40 | 10k| 0 | 0 | 22 |3609k|9513 | 0.000000e+00 | -- | Inf
1632.56/1633.07 c 1633s| 5650k|641363 | 11666k| 2.1 | 599M| 36 | - | 40 | 10k| 0 | 0 | 22 |3616k|9520 | 0.000000e+00 | -- | Inf
1636.06/1636.57 c 1637s| 5660k|641773 | 11687k| 2.1 | 599M| 36 | - | 40 |9623 | 40 | 17 | 22 |3623k|9524 | 0.000000e+00 | -- | Inf
1639.26/1639.79 c 1640s| 5670k|642310 | 11707k| 2.1 | 600M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3630k|9528 | 0.000000e+00 | -- | Inf
1642.66/1643.10 c 1643s| 5680k|642992 | 11728k| 2.1 | 601M| 36 | - | 40 | 10k| 40 | 17 | 22 |3637k|9542 | 0.000000e+00 | -- | Inf
1645.76/1646.30 c 1646s| 5690k|643687 | 11749k| 2.1 | 602M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3643k|9549 | 0.000000e+00 | -- | Inf
1649.56/1650.01 c 1650s| 5700k|644020 | 11769k| 2.1 | 603M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3650k|9570 | 0.000000e+00 | -- | Inf
1652.96/1653.46 c 1653s| 5710k|644483 | 11790k| 2.1 | 603M| 36 | - | 40 |9779 | 40 | 17 | 22 |3657k|9570 | 0.000000e+00 | -- | Inf
1656.06/1656.51 c 1657s| 5720k|645076 | 11810k| 2.1 | 604M| 36 | - | 40 | 10k| 40 | 17 | 22 |3664k|9571 | 0.000000e+00 | -- | Inf
1658.95/1659.48 c 1659s| 5730k|646246 | 11831k| 2.1 | 605M| 36 | - | 40 | 11k| 0 | 0 | 22 |3671k|9575 | 0.000000e+00 | -- | Inf
1661.75/1662.27 c 1662s| 5740k|647335 | 11853k| 2.1 | 607M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3678k|9581 | 0.000000e+00 | -- | Inf
1665.16/1665.67 c 1666s| 5750k|647741 | 11875k| 2.1 | 608M| 36 | - | 40 | 13k| 40 | 17 | 22 |3685k|9589 | 0.000000e+00 | -- | Inf
1668.95/1669.41 c 1669s| 5760k|648335 | 11895k| 2.1 | 608M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3692k|9599 | 0.000000e+00 | -- | Inf
1673.05/1673.59 c 1674s| 5770k|648676 | 11916k| 2.1 | 608M| 36 | - | 40 | 10k| 40 | 17 | 22 |3699k|9606 | 0.000000e+00 | -- | Inf
1676.55/1677.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1676.55/1677.03 c 1677s| 5780k|649201 | 11936k| 2.1 | 609M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3706k|9613 | 0.000000e+00 | -- | Inf
1679.75/1680.21 c 1680s| 5790k|649863 | 11957k| 2.1 | 610M| 36 | - | 40 | 10k| 40 | 17 | 22 |3713k|9620 | 0.000000e+00 | -- | Inf
1683.05/1683.51 c 1684s| 5800k|650459 | 11978k| 2.1 | 611M| 36 | - | 40 | 10k| 0 | 0 | 22 |3720k|9629 | 0.000000e+00 | -- | Inf
1686.45/1686.91 c 1687s| 5810k|650940 | 11999k| 2.1 | 611M| 36 | - | 40 | 10k| 40 | 17 | 22 |3727k|9638 | 0.000000e+00 | -- | Inf
1689.45/1689.91 c 1690s| 5820k|651759 | 12019k| 2.1 | 613M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3733k|9647 | 0.000000e+00 | -- | Inf
1693.15/1693.67 c 1694s| 5830k|652183 | 12040k| 2.1 | 613M| 36 | - | 40 | 10k| 40 | 17 | 22 |3740k|9654 | 0.000000e+00 | -- | Inf
1696.44/1696.99 c 1697s| 5840k|652704 | 12061k| 2.1 | 614M| 36 | - | 40 | 12k| 40 | 17 | 22 |3747k|9658 | 0.000000e+00 | -- | Inf
1700.45/1700.97 c 1701s| 5850k|652962 | 12081k| 2.1 | 614M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3755k|9663 | 0.000000e+00 | -- | Inf
1703.94/1704.41 c 1704s| 5860k|653460 | 12102k| 2.1 | 615M| 36 | - | 40 | 10k| 40 | 17 | 22 |3762k|9667 | 0.000000e+00 | -- | Inf
1707.15/1707.65 c 1708s| 5870k|654099 | 12122k| 2.1 | 616M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3768k|9674 | 0.000000e+00 | -- | Inf
1711.05/1711.51 c 1712s| 5880k|654458 | 12143k| 2.1 | 617M| 36 | - | 40 | 12k| 40 | 17 | 22 |3775k|9681 | 0.000000e+00 | -- | Inf
1714.25/1714.71 c 1715s| 5890k|655296 | 12164k| 2.1 | 618M| 36 | - | 40 | 12k| 40 | 17 | 22 |3782k|9685 | 0.000000e+00 | -- | Inf
1717.85/1718.31 c 1718s| 5900k|655949 | 12185k| 2.1 | 618M| 36 | - | 40 | 10k| 40 | 17 | 22 |3789k|9687 | 0.000000e+00 | -- | Inf
1721.24/1721.76 c 1722s| 5910k|656492 | 12206k| 2.1 | 619M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3796k|9695 | 0.000000e+00 | -- | Inf
1724.84/1725.30 c 1725s| 5920k|656958 | 12227k| 2.1 | 619M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3803k|9709 | 0.000000e+00 | -- | Inf
1728.14/1728.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1728.14/1728.63 c 1729s| 5930k|657653 | 12247k| 2.1 | 620M| 36 | - | 40 |9879 | 0 | 0 | 22 |3810k|9721 | 0.000000e+00 | -- | Inf
1731.34/1731.86 c 1732s| 5940k|658191 | 12269k| 2.1 | 621M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3817k|9730 | 0.000000e+00 | -- | Inf
1734.45/1734.97 c 1735s| 5950k|659243 | 12290k| 2.1 | 622M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3823k|9737 | 0.000000e+00 | -- | Inf
1736.94/1737.48 c 1737s| 5960k|660563 | 12311k| 2.1 | 624M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3830k|9746 | 0.000000e+00 | -- | Inf
1740.24/1740.79 c 1741s| 5970k|661385 | 12332k| 2.1 | 625M| 36 | - | 40 | 14k| 40 | 17 | 22 |3837k|9756 | 0.000000e+00 | -- | Inf
1743.74/1744.27 c 1744s| 5980k|662082 | 12354k| 2.1 | 626M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3844k|9772 | 0.000000e+00 | -- | Inf
1747.64/1748.18 c 1748s| 5990k|662528 | 12375k| 2.1 | 627M| 36 | - | 40 | 14k| 40 | 17 | 22 |3851k|9782 | 0.000000e+00 | -- | Inf
1752.04/1752.55 c 1753s| 6000k|662874 | 12395k| 2.1 | 627M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3858k|9788 | 0.000000e+00 | -- | Inf
1755.74/1756.26 c 1756s| 6010k|663663 | 12416k| 2.1 | 628M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3865k|9796 | 0.000000e+00 | -- | Inf
1758.74/1759.23 c 1759s| 6020k|664611 | 12437k| 2.1 | 629M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3871k|9805 | 0.000000e+00 | -- | Inf
1762.43/1762.96 c 1763s| 6030k|665484 | 12457k| 2.1 | 630M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3878k|9813 | 0.000000e+00 | -- | Inf
1766.34/1766.86 c 1767s| 6040k|666052 | 12478k| 2.1 | 630M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3885k|9817 | 0.000000e+00 | -- | Inf
1769.24/1769.70 c 1770s| 6050k|667906 | 12499k| 2.1 | 631M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3891k|9824 | 0.000000e+00 | -- | Inf
1771.73/1772.28 c 1772s| 6060k|669367 | 12519k| 2.1 | 633M| 36 | - | 40 | 12k| 0 | 0 | 22 |3897k|9826 | 0.000000e+00 | -- | Inf
1774.53/1775.06 c 1775s| 6070k|670702 | 12540k| 2.1 | 634M| 36 | - | 40 | 11k| 40 | 17 | 22 |3904k|9831 | 0.000000e+00 | -- | Inf
1777.53/1778.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1777.53/1778.05 c 1778s| 6080k|671410 | 12561k| 2.1 | 635M| 36 | - | 40 | 11k| 40 | 17 | 22 |3910k|9837 | 0.000000e+00 | -- | Inf
1780.44/1780.97 c 1781s| 6090k|672303 | 12581k| 2.1 | 637M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3917k|9856 | 0.000000e+00 | -- | Inf
1783.43/1783.99 c 1784s| 6100k|673294 | 12601k| 2.1 | 638M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3924k|9864 | 0.000000e+00 | -- | Inf
1787.13/1787.64 c 1788s| 6110k|673703 | 12622k| 2.1 | 638M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3931k|9873 | 0.000000e+00 | -- | Inf
1791.34/1791.83 c 1792s| 6120k|674013 | 12643k| 2.1 | 638M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3938k|9883 | 0.000000e+00 | -- | Inf
1794.83/1795.37 c 1795s| 6130k|674494 | 12664k| 2.1 | 639M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3945k|9891 | 0.000000e+00 | -- | Inf
1796.53/1797.00 c
1796.53/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.53/1797.00 c Solving Time (sec) : 1797.00
1796.53/1797.00 c Solving Nodes : 6135029
1796.53/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.53/1797.00 c Dual Bound : +0.00000000000000e+00
1796.53/1797.00 c Gap : infinite
1796.53/1797.00 s UNKNOWN
1796.53/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.53/1797.00 c Total Time : 1797.00
1796.53/1797.00 c solving : 1797.00
1796.53/1797.00 c presolving : 0.00 (included in solving)
1796.53/1797.00 c reading : 0.00 (included in solving)
1796.53/1797.00 c Original Problem :
1796.53/1797.00 c Problem name : HOME/instance-3734989-1338715767.opb
1796.53/1797.00 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.53/1797.00 c Constraints : 11 initial, 11 maximal
1796.53/1797.00 c Presolved Problem :
1796.53/1797.00 c Problem name : t_HOME/instance-3734989-1338715767.opb
1796.53/1797.00 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.53/1797.00 c Constraints : 5 initial, 24450 maximal
1796.53/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.53/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.53/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1796.53/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.53/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.53/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.53/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.53/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.53/1797.00 c linear : 0.00 0 0 0 0 0 6 0 0 0
1796.53/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.53/1797.00 c root node : - 0 - - 0 - - - - -
1796.53/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.53/1797.00 c integral : 0 0 0 3544778 0 4 0 1268 4468 0 0 7078912
1796.53/1797.00 c linear : 5+ 7 14897974 0 1 3 6570558 663943 7808742 0 0 0
1796.53/1797.00 c logicor : 0+ 6 7049009 0 0 0 5100035 22801 2627197 0 0 0
1796.53/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1796.53/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.53/1797.00 c integral : 19.62 0.00 0.00 19.62 0.00 0.00 0.00
1796.53/1797.00 c linear : 112.69 0.00 100.22 0.00 0.00 0.00 12.47
1796.53/1797.00 c logicor : 534.93 0.00 529.23 0.00 0.00 0.00 5.70
1796.53/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.53/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.53/1797.00 c vbounds : 0 0 0 0
1796.53/1797.00 c rootredcost : 0 0 0 0
1796.53/1797.00 c pseudoobj : 0 0 0 0
1796.53/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.53/1797.00 c vbounds : 1.88 1.88 0.00
1796.53/1797.00 c rootredcost : 1.91 1.91 0.00
1796.53/1797.00 c pseudoobj : 1.33 1.33 0.00
1796.53/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.53/1797.00 c propagation : 18.82 686744 523661 1486904 28.5 141 24.3 -
1796.53/1797.00 c infeasible LP : 49.81 2163635 2163498 3946350 19.6 36045 24.7 0
1796.53/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.53/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.53/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.53/1797.00 c applied globally : - - - 3920146 19.5 - - -
1796.53/1797.00 c applied locally : - - - 28712 31.5 - - -
1796.53/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.53/1797.00 c cut pool : 0.00 5 - - 20 - (maximal pool size: 87)
1796.53/1797.00 c redcost : 3.49 3544778 0 0 0 0
1796.53/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1796.53/1797.00 c intobj : 0.00 0 0 0 0 0
1796.53/1797.00 c gomory : 0.00 6 0 0 0 0
1796.53/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.53/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.53/1797.00 c strongcg : 0.00 6 0 0 18 0
1796.53/1797.00 c cmir : 0.01 6 0 0 44 0
1796.53/1797.00 c flowcover : 0.01 6 0 0 55 0
1796.53/1797.00 c clique : 0.00 1 0 0 0 0
1796.53/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.53/1797.00 c mcf : 0.00 1 0 0 0 0
1796.53/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.53/1797.00 c rapidlearning : 0.02 1 0 0 0 14
1796.53/1797.00 c Pricers : Time Calls Vars
1796.53/1797.00 c problem variables: 0.00 0 0
1796.53/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.53/1797.00 c relpscost : 17.89 3544778 1268 4468 0 0 7078912
1796.53/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.53/1797.00 c inference : 0.00 1 0 0 0 0 2
1796.53/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.53/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.53/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.53/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.53/1797.00 c random : 0.00 0 0 0 0 0 0
1796.53/1797.00 c Primal Heuristics : Time Calls Found
1796.53/1797.00 c LP solutions : 0.00 - 0
1796.53/1797.00 c pseudo solutions : 0.00 - 0
1796.53/1797.00 c oneopt : 1.43 0 0
1796.53/1797.00 c crossover : 0.98 0 0
1796.53/1797.00 c guideddiving : 0.17 0 0
1796.53/1797.00 c veclendiving : 0.15 154 0
1796.53/1797.00 c linesearchdiving : 0.17 154 0
1796.53/1797.00 c coefdiving : 0.15 154 0
1796.53/1797.00 c pscostdiving : 0.16 154 0
1796.53/1797.00 c feaspump : 0.13 77 0
1796.53/1797.00 c fracdiving : 0.15 155 0
1796.53/1797.00 c rootsoldiving : 0.16 78 0
1796.53/1797.00 c objpscostdiving : 0.13 78 0
1796.53/1797.00 c trivial : 0.00 2 0
1796.53/1797.00 c shiftandpropagate: 0.00 1 0
1796.53/1797.00 c simplerounding : 0.55 0 0
1796.53/1797.00 c zirounding : 7.46 0 0
1796.53/1797.00 c rounding : 1.22 26676 0
1796.53/1797.00 c shifting : 1.71 7263 0
1796.53/1797.00 c intshifting : 0.07 0 0
1796.53/1797.00 c twoopt : 0.00 0 0
1796.53/1797.00 c fixandinfer : 0.00 0 0
1796.53/1797.00 c clique : 0.00 0 0
1796.53/1797.00 c intdiving : 0.00 0 0
1796.53/1797.00 c actconsdiving : 0.00 0 0
1796.53/1797.00 c octane : 0.00 0 0
1796.53/1797.00 c rens : 0.01 1 0
1796.53/1797.00 c rins : 0.00 0 0
1796.53/1797.00 c localbranching : 0.00 0 0
1796.53/1797.00 c mutation : 0.00 0 0
1796.53/1797.00 c dins : 0.00 0 0
1796.53/1797.00 c vbounds : 0.00 0 0
1796.53/1797.00 c undercover : 0.00 0 0
1796.53/1797.00 c subnlp : 0.74 0 0
1796.53/1797.00 c trysol : 0.95 0 0
1796.53/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.53/1797.00 c primal LP : 0.00 0 0 0.00 -
1796.53/1797.00 c dual LP : 233.27 5509078 12670345 2.30 54316.51
1796.53/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.53/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.53/1797.00 c diving/probing LP: 0.11 2326 3802 1.63 33384.26
1796.53/1797.00 c strong branching : 0.76 9891 38869 3.93 51078.83
1796.53/1797.00 c (at root node) : - 9 311 34.56 -
1796.53/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.53/1797.00 c B&B Tree :
1796.53/1797.00 c number of runs : 1
1796.53/1797.00 c nodes : 6135029
1796.53/1797.00 c nodes (total) : 6135029
1796.53/1797.00 c nodes left : 674857
1796.53/1797.00 c max depth : 36
1796.53/1797.00 c max depth (total): 36
1796.53/1797.00 c backtracks : 1259199 (20.5%)
1796.53/1797.00 c delayed cutoffs : 269029
1796.53/1797.00 c repropagations : 4686160 (4781852 domain reductions, 254190 cutoffs)
1796.53/1797.00 c avg switch length: 5.49
1796.53/1797.00 c switching time : 530.68
1796.53/1797.00 c Solution :
1796.53/1797.00 c Solutions found : 0 (0 improvements)
1796.53/1797.00 c Primal Bound : -
1796.53/1797.00 c Dual Bound : +0.00000000000000e+00
1796.53/1797.00 c Gap : infinite
1796.53/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.53/1797.00 c Root Iterations : 130
1798.43/1798.93 c Time complete: 1798.46.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734989-1338715767/watcher-3734989-1338715767 -o /tmp/evaluation-result-3734989-1338715767/solver-3734989-1338715767 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3734989-1338715767.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 1.91 3/176 13503
/proc/meminfo: memFree=27259584/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=9588 CPUtime=0 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 1512 0 0 0 0 0 0 0 20 0 1 0 337702786 9818112 1467 33554432000 4194304 9016284 140737335597808 140733744613032 7875499 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 2397 1467 311 1178 0 1215 0
[startup+0.0784499 s]
/proc/loadavg: 2.00 2.02 1.91 3/176 13503
/proc/meminfo: memFree=27259584/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=26180 CPUtime=0.06 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 7253 0 0 0 6 0 0 0 20 0 1 0 337702786 26808320 5503 33554432000 4194304 9016284 140737335597808 140733744613032 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 6545 5503 681 1178 0 5363 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26180
[startup+0.100263 s]
/proc/loadavg: 2.00 2.02 1.91 3/176 13503
/proc/meminfo: memFree=27259584/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=26180 CPUtime=0.08 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 7256 0 0 0 8 0 0 0 20 0 1 0 337702786 26808320 5506 33554432000 4194304 9016284 140737335597808 140733744613032 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 6545 5506 684 1178 0 5363 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26180
[startup+0.300123 s]
/proc/loadavg: 2.00 2.02 1.91 3/176 13503
/proc/meminfo: memFree=27259584/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=26180 CPUtime=0.29 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 7257 0 0 0 28 1 0 0 20 0 1 0 337702786 26808320 5507 33554432000 4194304 9016284 140737335597808 140733744613032 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 6545 5507 684 1178 0 5363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26180
[startup+0.700115 s]
/proc/loadavg: 2.00 2.02 1.91 3/176 13503
/proc/meminfo: memFree=27259584/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=26180 CPUtime=0.68 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 7264 0 0 0 66 2 0 0 20 0 1 0 337702786 26808320 5514 33554432000 4194304 9016284 140737335597808 140733744613032 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 6545 5514 684 1178 0 5363 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 26180
[startup+1.50011 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 13504
/proc/meminfo: memFree=27239976/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=26180 CPUtime=1.48 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 7269 0 0 0 144 4 0 0 20 0 1 0 337702786 26808320 5519 33554432000 4194304 9016284 140737335597808 140737335592088 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 6545 5519 684 1178 0 5363 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26180
[startup+3.1001 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 13504
/proc/meminfo: memFree=27239372/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=26180 CPUtime=3.09 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 7288 0 0 0 300 9 0 0 20 0 1 0 337702786 26808320 5538 33554432000 4194304 9016284 140737335597808 140737335592040 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 6545 5538 684 1178 0 5363 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26180
[startup+6.3001 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 13504
/proc/meminfo: memFree=27236648/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=30504 CPUtime=6.28 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 8280 0 0 0 610 18 0 0 20 0 1 0 337702786 31236096 6530 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 7626 6530 684 1178 0 6444 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 30504
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 13504
/proc/meminfo: memFree=27227980/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=39288 CPUtime=12.68 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 10514 0 0 0 1232 36 0 0 20 0 1 0 337702786 40230912 8764 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 9822 8764 684 1178 0 8640 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39288
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 13504
/proc/meminfo: memFree=27211100/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=52580 CPUtime=25.49 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 13923 0 0 0 2480 69 0 0 20 0 1 0 337702786 53841920 12173 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 13145 12173 684 1178 0 11963 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52580
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 1.91 3/178 13508
/proc/meminfo: memFree=27183480/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=79996 CPUtime=51.06 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 20329 0 0 0 4976 130 0 0 20 0 1 0 337702786 81915904 18633 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 19999 18633 684 1178 0 18817 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 79996
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 13508
/proc/meminfo: memFree=27141336/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=117252 CPUtime=102.25 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 29699 0 0 0 9983 242 0 0 20 0 1 0 337702786 120066048 28129 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 29313 28129 684 1178 0 28131 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 117252
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 1.91 3/177 13508
/proc/meminfo: memFree=27102908/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=154792 CPUtime=162.23 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 39169 0 0 0 15867 356 0 0 20 0 1 0 337702786 158507008 37638 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 38698 37638 684 1178 0 37516 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 154792
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 13508
/proc/meminfo: memFree=27070304/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=187604 CPUtime=222.2 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 46398 0 0 0 21757 463 0 0 20 0 1 0 337702786 192106496 45013 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 46901 45013 684 1178 0 45719 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 187604
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 13508
/proc/meminfo: memFree=27040320/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=218508 CPUtime=282.19 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 54160 0 0 0 27654 565 0 0 20 0 1 0 337702786 223752192 52775 33554432000 4194304 9016284 140737335597808 140737335592136 4321584 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 54627 52775 684 1178 0 53445 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 218508
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 13508
/proc/meminfo: memFree=27016784/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=241900 CPUtime=342.18 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 60078 0 0 0 33550 668 0 0 20 0 1 0 337702786 247705600 58693 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 60475 58693 684 1178 0 59293 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 241900
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 13509
/proc/meminfo: memFree=26989196/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=268176 CPUtime=402.14 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 66780 0 0 0 39446 768 0 0 20 0 1 0 337702786 274612224 65567 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 67044 65567 684 1178 0 65862 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 268176
[startup+462.3 s]
/proc/loadavg: 2.08 2.02 1.92 3/177 13509
/proc/meminfo: memFree=26953648/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=292144 CPUtime=462.14 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 72792 0 0 0 45341 873 0 0 20 0 1 0 337702786 299155456 71579 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 73036 71579 684 1178 0 71854 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 292144
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/177 13509
/proc/meminfo: memFree=26931980/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=313600 CPUtime=522.12 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 78224 0 0 0 51250 962 0 0 20 0 1 0 337702786 321126400 77011 33554432000 4194304 9016284 140737335597808 140737335591672 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 78400 77011 684 1178 0 77218 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 313600
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 13509
/proc/meminfo: memFree=26908688/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=334028 CPUtime=582.11 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 83472 0 0 0 57154 1057 0 0 20 0 1 0 337702786 342044672 82259 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 83507 82259 684 1178 0 82325 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 334028
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26670916/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=500472 CPUtime=1061.98 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 123321 0 0 0 104487 1711 0 0 20 0 1 0 337702786 512483328 122581 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 125118 122581 684 1178 0 123936 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 500472
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/177 13515
/proc/meminfo: memFree=26653168/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=516416 CPUtime=1121.97 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 127362 0 0 0 110406 1791 0 0 20 0 1 0 337702786 528809984 126622 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 129104 126622 684 1178 0 127922 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 516416
[startup+1182.3 s]
/proc/loadavg: 2.12 2.04 1.95 3/177 13515
/proc/meminfo: memFree=26633876/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=531588 CPUtime=1181.96 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 131224 0 0 0 116323 1873 0 0 20 0 1 0 337702786 544346112 130484 33554432000 4194304 9016284 140737335597808 140737335592136 5315488 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 132897 130484 684 1178 0 131715 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 531588
[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 1.95 3/178 13518
/proc/meminfo: memFree=26593916/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=550100 CPUtime=1241.96 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 135771 0 0 0 122244 1952 0 0 20 0 1 0 337702786 563302400 135031 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 137525 135031 684 1178 0 136343 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 550100
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 13519
/proc/meminfo: memFree=26566708/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=564632 CPUtime=1301.95 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 139446 0 0 0 128164 2031 0 0 20 0 1 0 337702786 578183168 138706 33554432000 4194304 9016284 140737335597808 140737335592088 5325537 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 141158 138706 684 1178 0 139976 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 564632
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 13519
/proc/meminfo: memFree=26550976/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=580032 CPUtime=1361.94 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 143375 0 0 0 134089 2105 0 0 20 0 1 0 337702786 593952768 142635 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 145008 142635 684 1178 0 143826 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 580032
[startup+1422.31 s]
/proc/loadavg: 2.05 2.03 1.96 3/177 13519
/proc/meminfo: memFree=26536040/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=594500 CPUtime=1421.9 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 147099 0 0 0 140014 2176 0 0 20 0 1 0 337702786 608768000 146328 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 148625 146328 684 1178 0 147443 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 594500
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 13519
/proc/meminfo: memFree=26523436/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=607048 CPUtime=1481.88 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 150301 0 0 0 145930 2258 0 0 20 0 1 0 337702786 621617152 149562 33554432000 4194304 9016284 140737335597808 140737335592136 6679817 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 151762 149562 684 1178 0 150580 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 607048
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 1.96 3/177 13519
/proc/meminfo: memFree=26505352/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=622896 CPUtime=1541.87 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 154341 0 0 0 151845 2342 0 0 20 0 1 0 337702786 637845504 153602 33554432000 4194304 9016284 140737335597808 140737335592136 4347574 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 155724 153602 684 1178 0 154542 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 622896
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 13520
/proc/meminfo: memFree=26467236/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=637080 CPUtime=1601.86 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 157671 0 0 0 157763 2423 0 0 20 0 1 0 337702786 652369920 157443 33554432000 4194304 9016284 140737335597808 140737335592136 4446633 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 159270 157443 684 1178 0 158088 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 637080
[startup+1662.3 s]
/proc/loadavg: 2.14 2.05 1.97 3/177 13520
/proc/meminfo: memFree=26420384/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=651740 CPUtime=1661.85 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 161380 0 0 0 163686 2499 0 0 20 0 1 0 337702786 667381760 161152 33554432000 4194304 9016284 140737335597808 140737335592136 5325537 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 162935 161152 684 1178 0 161753 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 651740
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 1.97 3/177 13520
/proc/meminfo: memFree=26375384/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=665824 CPUtime=1721.84 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 164936 0 0 0 169606 2578 0 0 20 0 1 0 337702786 681803776 164708 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 166456 164708 684 1178 0 165274 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 665824
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.97 3/177 13596
/proc/meminfo: memFree=26520628/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=681248 CPUtime=1781.84 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 168886 0 0 0 175522 2662 0 0 20 0 1 0 337702786 697597952 168658 33554432000 4194304 9016284 140737335597808 140737335592136 4348354 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 170312 168658 684 1178 0 169130 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 681248
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.03 1.97 3/177 13596
/proc/meminfo: memFree=26518520/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=683744 CPUtime=1791.43 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 169482 0 0 0 176470 2673 0 0 20 0 1 0 337702786 700153856 169254 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 170936 169254 684 1178 0 169754 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 683744
[startup+1795.1 s]
/proc/loadavg: 2.01 2.03 1.97 3/177 13596
/proc/meminfo: memFree=26518396/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=683936 CPUtime=1794.63 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 169564 0 0 0 176786 2677 0 0 20 0 1 0 337702786 700350464 169336 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 170984 169336 684 1178 0 169802 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 683936
[startup+1796.7 s]
/proc/loadavg: 2.01 2.03 1.97 3/177 13596
/proc/meminfo: memFree=26518396/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=683936 CPUtime=1796.23 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 169565 0 0 0 176943 2680 0 0 20 0 1 0 337702786 700350464 169337 33554432000 4194304 9016284 140737335597808 140737335592136 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 170984 169337 684 1178 0 169802 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 683936
[startup+1798.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/177 13596
/proc/meminfo: memFree=26518396/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=683936 CPUtime=1797.83 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 169568 0 0 0 177103 2680 0 0 20 0 1 0 337702786 700350464 169340 33554432000 4194304 9016284 140737335597808 140737335593608 6812671 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 170984 169340 685 1178 0 169802 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 683936
[startup+1798.7 s]
/proc/loadavg: 2.01 2.03 1.97 3/177 13596
/proc/meminfo: memFree=26518396/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=683936 CPUtime=1798.23 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 169568 0 0 0 177143 2680 0 0 20 0 1 0 337702786 700350464 169340 33554432000 4194304 9016284 140737335597808 140737335593608 6812833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 170984 169340 685 1178 0 169802 0
Current children cumulated CPU time (s) 1798.23
Current children cumulated vsize (KiB) 683936
[startup+1798.9 s]
/proc/loadavg: 2.01 2.03 1.97 3/177 13596
/proc/meminfo: memFree=26518396/32873648 swapFree=6860/6860
[pid=13503] ppid=13501 vsize=683936 CPUtime=1798.43 cores=0,2,4,6
/proc/13503/stat : 13503 (scip-2.0.1.4b_2) R 13501 13503 13307 0 -1 4202496 169568 0 0 0 177163 2680 0 0 20 0 1 0 337702786 700350464 169340 33554432000 4194304 9016284 140737335597808 140737335593608 6817545 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13503/statm: 170984 169340 685 1178 0 169802 0
Current children cumulated CPU time (s) 1798.43
Current children cumulated vsize (KiB) 683936
Child status: 0
Real time (s): 1798.93
CPU time (s): 1798.47
CPU user time (s): 1771.66
CPU system time (s): 26.8159
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 683936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.66
system time used= 26.8159
maximum resident set size= 677360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169573
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= 252
involuntary context switches= 1865
runsolver used 2.82757 second user time and 7.38288 second system time
The end