0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452529-1307097770.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.00 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 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.00 c presolving (3 rounds):
0.00/0.00 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.00 c 0 implications, 0 cliques
0.00/0.00 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.00 c 5 constraints of type <linear>
0.00/0.00 c transformed objective value is always integral (scale: 1)
0.00/0.00 c Presolving Time: 0.00
0.00/0.00 c - non default parameters ----------------------------------------------------------------------
0.00/0.00 c # SCIP version 2.0.1.4
0.00/0.00 c
0.00/0.00 c # frequency for displaying node information lines
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.00 c display/freq = 10000
0.00/0.00 c
0.00/0.00 c # maximal time in seconds to run
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/time = 1800
0.00/0.00 c
0.00/0.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/memory = 13950
0.00/0.00 c
0.00/0.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.00 c # [type: int, range: [1,2], default: 1]
0.00/0.00 c timing/clocktype = 2
0.00/0.00 c
0.00/0.00 c # belongs reading time to solving time?
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c timing/reading = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify inequalities
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/linear/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/indicator/addCouplingCons = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify knapsacks
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c separating/rapidlearning/freq = 0
0.00/0.00 c
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 c start solving
0.00/0.00 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.02 c 0.0s| 1 | 0 | 91 | - | 297k| 0 | 8 | 40 | 33 | 40 | 9 | 4 | 14 | 0 | 0.000000e+00 | -- | Inf
0.01/0.02 c 0.0s| 1 | 0 | 98 | - | 322k| 0 | 11 | 40 | 33 | 40 | 14 | 9 | 14 | 0 | 0.000000e+00 | -- | Inf
0.01/0.03 c 0.0s| 1 | 0 | 105 | - | 341k| 0 | 12 | 40 | 33 | 40 | 17 | 12 | 14 | 0 | 0.000000e+00 | -- | Inf
0.01/0.03 c 0.0s| 1 | 0 | 111 | - | 360k| 0 | 14 | 40 | 33 | 40 | 20 | 15 | 14 | 0 | 0.000000e+00 | -- | Inf
0.01/0.03 c 0.0s| 1 | 0 | 120 | - | 377k| 0 | 17 | 40 | 33 | 40 | 24 | 19 | 14 | 0 | 0.000000e+00 | -- | Inf
0.01/0.04 c 0.0s| 1 | 0 | 130 | - | 384k| 0 | 15 | 40 | 33 | 40 | 27 | 22 | 14 | 0 | 0.000000e+00 | -- | Inf
0.01/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.48 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.89 c 2.9s| 20000 | 7739 | 41081 | 2.0 |5618k| 35 | 5 | 40 |2167 | 40 | 17 | 22 |8433 | 653 | 0.000000e+00 | -- | Inf
4.19/4.21 c 4.2s| 30000 | 11278 | 61606 | 2.0 |7561k| 35 | 5 | 40 |2307 | 40 | 17 | 22 | 12k| 770 | 0.000000e+00 | -- | Inf
5.51/5.59 c 5.6s| 40000 | 14574 | 81879 | 2.0 |9550k| 35 | 5 | 40 |2646 | 40 | 17 | 22 | 17k| 880 | 0.000000e+00 | -- | Inf
6.99/7.02 c 7.0s| 50000 | 17666 |102234 | 2.0 | 11M| 35 | 5 | 40 |2660 | 40 | 17 | 22 | 21k| 979 | 0.000000e+00 | -- | Inf
8.39/8.42 c 8.4s| 60000 | 20831 |122781 | 2.0 | 13M| 35 | 5 | 40 |3390 | 40 | 17 | 22 | 26k|1062 | 0.000000e+00 | -- | Inf
9.91/9.96 c 10.0s| 70000 | 23533 |142900 | 2.0 | 14M| 35 | 5 | 40 |2951 | 40 | 17 | 22 | 31k|1145 | 0.000000e+00 | -- | Inf
11.39/11.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.39/11.44 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.97 c 13.0s| 90000 | 29148 |183537 | 2.0 | 18M| 35 | 5 | 40 |3308 | 40 | 17 | 22 | 41k|1287 | 0.000000e+00 | -- | Inf
14.39/14.48 c 14.5s|100000 | 31879 |204061 | 2.0 | 20M| 35 | 5 | 40 |3756 | 40 | 17 | 22 | 46k|1348 | 0.000000e+00 | -- | Inf
15.99/16.09 c 16.1s|110000 | 34486 |224587 | 2.0 | 21M| 35 | 5 | 40 |3250 | 40 | 17 | 22 | 51k|1411 | 0.000000e+00 | -- | Inf
17.50/17.61 c 17.6s|120000 | 37382 |245221 | 2.0 | 23M| 35 | - | 40 |3660 | 40 | 17 | 22 | 56k|1495 | 0.000000e+00 | -- | Inf
19.20/19.22 c 19.2s|130000 | 39856 |265599 | 2.0 | 25M| 35 | 5 | 40 |3908 | 40 | 17 | 22 | 61k|1553 | 0.000000e+00 | -- | Inf
20.80/20.83 c 20.8s|140000 | 42494 |286085 | 2.0 | 26M| 35 | 5 | 40 |4226 | 40 | 17 | 22 | 66k|1611 | 0.000000e+00 | -- | Inf
22.49/22.53 c 22.5s|150000 | 44744 |306317 | 2.0 | 28M| 35 | - | 40 |4051 | 0 | 0 | 22 | 71k|1662 | 0.000000e+00 | -- | Inf
24.10/24.14 c 24.1s|160000 | 47159 |326523 | 2.0 | 29M| 35 | 5 | 40 |4532 | 40 | 17 | 22 | 76k|1705 | 0.000000e+00 | -- | Inf
25.79/25.85 c 25.9s|170000 | 49409 |346959 | 2.0 | 31M| 35 | 5 | 40 |4522 | 40 | 17 | 22 | 81k|1758 | 0.000000e+00 | -- | Inf
27.51/27.53 c 27.5s|180000 | 52083 |367532 | 2.0 | 33M| 35 | - | 40 |5060 | 40 | 17 | 22 | 87k|1810 | 0.000000e+00 | -- | Inf
29.09/29.16 c 29.2s|190000 | 54534 |387674 | 2.0 | 34M| 35 | 5 | 40 |5059 | 40 | 17 | 22 | 92k|1855 | 0.000000e+00 | -- | Inf
30.81/30.89 c 30.9s|200000 | 56965 |408537 | 2.0 | 36M| 35 | 5 | 40 |5016 | 40 | 17 | 22 | 97k|1902 | 0.000000e+00 | -- | Inf
32.49/32.54 c 32.5s|210000 | 59875 |429246 | 2.0 | 38M| 35 | 5 | 40 |6115 | 40 | 17 | 22 | 102k|1938 | 0.000000e+00 | -- | Inf
34.39/34.45 c 34.5s|220000 | 62012 |449963 | 2.0 | 39M| 35 | 5 | 40 |5394 | 40 | 17 | 22 | 107k|1992 | 0.000000e+00 | -- | Inf
36.21/36.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.21/36.26 c 36.3s|230000 | 64215 |470580 | 2.0 | 41M| 35 | 5 | 40 |5954 | 40 | 17 | 22 | 113k|2043 | 0.000000e+00 | -- | Inf
38.09/38.16 c 38.2s|240000 | 66283 |491131 | 2.0 | 42M| 35 | 5 | 40 |5100 | 40 | 17 | 22 | 118k|2086 | 0.000000e+00 | -- | Inf
39.79/39.86 c 39.9s|250000 | 68521 |511630 | 2.0 | 44M| 35 | 5 | 40 |6417 | 40 | 17 | 22 | 124k|2130 | 0.000000e+00 | -- | Inf
41.71/41.81 c 41.8s|260000 | 70603 |532181 | 2.0 | 45M| 35 | 5 | 40 |6033 | 40 | 17 | 22 | 129k|2168 | 0.000000e+00 | -- | Inf
43.69/43.70 c 43.7s|270000 | 72665 |552823 | 2.0 | 47M| 35 | 5 | 40 |5740 | 40 | 17 | 22 | 135k|2217 | 0.000000e+00 | -- | Inf
45.39/45.49 c 45.5s|280000 | 75206 |573524 | 2.0 | 49M| 35 | 5 | 40 |7242 | 40 | 17 | 22 | 140k|2260 | 0.000000e+00 | -- | Inf
47.39/47.42 c 47.4s|290000 | 77569 |593823 | 2.0 | 51M| 35 | 5 | 40 |7668 | 40 | 17 | 22 | 145k|2308 | 0.000000e+00 | -- | Inf
49.51/49.52 c 49.5s|300000 | 79630 |614097 | 2.0 | 52M| 35 | - | 40 |6287 | 40 | 17 | 22 | 151k|2346 | 0.000000e+00 | -- | Inf
51.40/51.44 c 51.4s|310000 | 81683 |635442 | 2.0 | 53M| 35 | 5 | 40 |6047 | 40 | 17 | 22 | 156k|2383 | 0.000000e+00 | -- | Inf
53.29/53.32 c 53.3s|320000 | 83934 |656382 | 2.1 | 55M| 35 | 5 | 40 |7730 | 40 | 17 | 22 | 162k|2420 | 0.000000e+00 | -- | Inf
55.39/55.43 c 55.4s|330000 | 85977 |677712 | 2.1 | 57M| 35 | - | 40 |8284 | 40 | 17 | 22 | 167k|2457 | 0.000000e+00 | -- | Inf
57.60/57.64 c 57.6s|340000 | 87718 |698061 | 2.1 | 58M| 35 | 5 | 40 |6363 | 40 | 17 | 22 | 173k|2484 | 0.000000e+00 | -- | Inf
59.49/59.53 c 59.5s|350000 | 89816 |718875 | 2.1 | 59M| 35 | - | 40 |6522 | 40 | 17 | 22 | 179k|2525 | 0.000000e+00 | -- | Inf
61.30/61.30 c 61.3s|360000 | 92354 |739436 | 2.1 | 61M| 35 | 5 | 40 |8487 | 40 | 17 | 22 | 184k|2564 | 0.000000e+00 | -- | Inf
63.49/63.53 c 63.5s|370000 | 94163 |760434 | 2.1 | 62M| 35 | 5 | 40 |6887 | 40 | 17 | 22 | 190k|2602 | 0.000000e+00 | -- | Inf
65.49/65.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.49/65.58 c 65.6s|380000 | 96071 |781138 | 2.1 | 64M| 35 | - | 40 |6511 | 40 | 17 | 22 | 195k|2637 | 0.000000e+00 | -- | Inf
67.50/67.59 c 67.6s|390000 | 97775 |801781 | 2.1 | 65M| 35 | 5 | 40 |6605 | 40 | 17 | 22 | 201k|2684 | 0.000000e+00 | -- | Inf
69.59/69.61 c 69.6s|400000 | 99481 |822566 | 2.1 | 66M| 35 | - | 40 |7262 | 40 | 17 | 22 | 207k|2712 | 0.000000e+00 | -- | Inf
71.70/71.71 c 71.7s|410000 |101259 |843333 | 2.1 | 68M| 35 | - | 40 |6852 | 0 | 0 | 22 | 213k|2755 | 0.000000e+00 | -- | Inf
73.72/73.76 c 73.8s|420000 |103068 |864067 | 2.1 | 69M| 35 | - | 40 |7758 | 40 | 17 | 22 | 219k|2779 | 0.000000e+00 | -- | Inf
75.69/75.81 c 75.8s|430000 |105045 |884964 | 2.1 | 70M| 35 | 5 | 40 |6899 | 40 | 17 | 22 | 224k|2815 | 0.000000e+00 | -- | Inf
77.79/77.84 c 77.8s|440000 |106796 |905702 | 2.1 | 72M| 35 | 5 | 40 |7974 | 40 | 17 | 22 | 230k|2851 | 0.000000e+00 | -- | Inf
79.89/79.98 c 80.0s|450000 |108539 |926131 | 2.1 | 73M| 35 | - | 40 |6946 | 40 | 17 | 22 | 236k|2874 | 0.000000e+00 | -- | Inf
81.99/82.07 c 82.1s|460000 |110262 |946638 | 2.1 | 75M| 35 | 5 | 40 |7626 | 40 | 17 | 22 | 242k|2909 | 0.000000e+00 | -- | Inf
84.29/84.30 c 84.3s|470000 |111914 |967576 | 2.1 | 76M| 35 | 5 | 40 |6849 | 40 | 17 | 22 | 248k|2947 | 0.000000e+00 | -- | Inf
86.29/86.39 c 86.4s|480000 |113671 |988797 | 2.1 | 77M| 35 | - | 40 |6884 | 40 | 17 | 22 | 253k|2964 | 0.000000e+00 | -- | Inf
88.49/88.53 c 88.5s|490000 |115294 | 1009k| 2.1 | 78M| 35 | 5 | 40 |6895 | 40 | 17 | 22 | 259k|2997 | 0.000000e+00 | -- | Inf
90.49/90.56 c 90.6s|500000 |117254 | 1030k| 2.1 | 80M| 35 | 5 | 40 |7551 | 40 | 17 | 22 | 265k|3023 | 0.000000e+00 | -- | Inf
92.60/92.61 c 92.6s|510000 |119127 | 1051k| 2.1 | 82M| 35 | 5 | 40 |8997 | 40 | 17 | 22 | 271k|3059 | 0.000000e+00 | -- | Inf
94.79/94.86 c 94.9s|520000 |120896 | 1072k| 2.1 | 83M| 35 | - | 40 |8058 | 40 | 17 | 22 | 277k|3090 | 0.000000e+00 | -- | Inf
97.19/97.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.19/97.28 c 97.3s|530000 |122426 | 1093k| 2.1 | 84M| 35 | - | 40 |7207 | 40 | 17 | 22 | 283k|3113 | 0.000000e+00 | -- | Inf
99.50/99.55 c 99.6s|540000 |123858 | 1114k| 2.1 | 85M| 35 | - | 40 |6705 | 40 | 17 | 22 | 289k|3143 | 0.000000e+00 | -- | Inf
101.80/101.82 c 102s|550000 |125282 | 1135k| 2.1 | 86M| 35 | 5 | 40 |6857 | 40 | 17 | 22 | 295k|3188 | 0.000000e+00 | -- | Inf
103.79/103.89 c 104s|560000 |127113 | 1155k| 2.1 | 88M| 35 | 5 | 40 |8081 | 40 | 17 | 22 | 301k|3217 | 0.000000e+00 | -- | Inf
106.09/106.12 c 106s|570000 |128742 | 1177k| 2.1 | 89M| 35 | 5 | 40 |8466 | 40 | 17 | 22 | 307k|3250 | 0.000000e+00 | -- | Inf
108.39/108.43 c 108s|580000 |130374 | 1197k| 2.1 | 90M| 35 | - | 40 |7492 | 0 | 0 | 22 | 312k|3274 | 0.000000e+00 | -- | Inf
110.50/110.56 c 111s|590000 |132042 | 1218k| 2.1 | 92M| 35 | - | 40 |8354 | 0 | 0 | 22 | 318k|3302 | 0.000000e+00 | -- | Inf
112.80/112.80 c 113s|600000 |133785 | 1239k| 2.1 | 93M| 35 | - | 40 |7601 | 40 | 17 | 22 | 324k|3333 | 0.000000e+00 | -- | Inf
114.79/114.81 c 115s|610000 |135917 | 1261k| 2.1 | 95M| 35 | 5 | 40 |8517 | 40 | 17 | 22 | 330k|3517 | 0.000000e+00 | -- | Inf
116.79/116.85 c 117s|620000 |137948 | 1282k| 2.1 | 97M| 35 | 5 | 40 |9728 | 40 | 17 | 22 | 336k|3634 | 0.000000e+00 | -- | Inf
119.19/119.27 c 119s|630000 |139295 | 1304k| 2.1 | 98M| 35 | - | 40 | 10k| 40 | 17 | 22 | 342k|3634 | 0.000000e+00 | -- | Inf
121.79/121.89 c 122s|640000 |140685 | 1324k| 2.1 | 99M| 35 | - | 40 |8170 | 40 | 17 | 22 | 348k|3634 | 0.000000e+00 | -- | Inf
123.89/123.93 c 124s|650000 |142641 | 1345k| 2.1 | 101M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 354k|3634 | 0.000000e+00 | -- | Inf
126.41/126.44 c 126s|660000 |144056 | 1366k| 2.1 | 102M| 35 | 5 | 40 |9629 | 40 | 17 | 22 | 360k|3634 | 0.000000e+00 | -- | Inf
128.89/128.96 c 129s|670000 |145300 | 1387k| 2.1 | 102M| 35 | 5 | 40 |7556 | 40 | 17 | 22 | 366k|3645 | 0.000000e+00 | -- | Inf
131.29/131.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.29/131.34 c 131s|680000 |146565 | 1408k| 2.1 | 103M| 35 | - | 40 |7514 | 0 | 0 | 22 | 373k|3678 | 0.000000e+00 | -- | Inf
133.60/133.61 c 134s|690000 |147996 | 1429k| 2.1 | 105M| 35 | - | 40 |8088 | 0 | 0 | 22 | 379k|3711 | 0.000000e+00 | -- | Inf
136.09/136.10 c 136s|700000 |149211 | 1450k| 2.1 | 106M| 35 | - | 40 |7405 | 40 | 17 | 22 | 385k|3733 | 0.000000e+00 | -- | Inf
138.20/138.22 c 138s|710000 |151086 | 1470k| 2.1 | 107M| 35 | - | 40 |8414 | 40 | 17 | 22 | 391k|3763 | 0.000000e+00 | -- | Inf
140.40/140.47 c 140s|720000 |152714 | 1490k| 2.1 | 109M| 35 | - | 40 |8905 | 40 | 17 | 22 | 397k|3794 | 0.000000e+00 | -- | Inf
142.70/142.73 c 143s|730000 |154305 | 1512k| 2.1 | 110M| 35 | 5 | 40 |8587 | 40 | 17 | 22 | 403k|3822 | 0.000000e+00 | -- | Inf
145.22/145.22 c 145s|740000 |155624 | 1533k| 2.1 | 111M| 35 | - | 40 |8086 | 40 | 17 | 22 | 409k|3853 | 0.000000e+00 | -- | Inf
147.49/147.58 c 148s|750000 |156909 | 1554k| 2.1 | 112M| 35 | 5 | 40 |8639 | 40 | 17 | 22 | 415k|3877 | 0.000000e+00 | -- | Inf
149.79/149.86 c 150s|760000 |158619 | 1574k| 2.1 | 114M| 35 | 5 | 40 |8422 | 40 | 17 | 22 | 421k|3901 | 0.000000e+00 | -- | Inf
151.99/152.07 c 152s|770000 |160287 | 1595k| 2.1 | 115M| 35 | 5 | 40 |9972 | 40 | 17 | 22 | 427k|3936 | 0.000000e+00 | -- | Inf
154.60/154.64 c 155s|780000 |161590 | 1616k| 2.1 | 116M| 35 | 5 | 40 |7856 | 40 | 17 | 22 | 433k|3957 | 0.000000e+00 | -- | Inf
156.80/156.84 c 157s|790000 |163190 | 1637k| 2.1 | 118M| 35 | - | 40 |9614 | 0 | 0 | 22 | 439k|3973 | 0.000000e+00 | -- | Inf
159.10/159.17 c 159s|800000 |164807 | 1658k| 2.1 | 119M| 35 | 5 | 40 | 11k| 40 | 17 | 22 | 445k|3989 | 0.000000e+00 | -- | Inf
161.71/161.74 c 162s|810000 |166178 | 1679k| 2.1 | 120M| 35 | 5 | 40 |9809 | 40 | 17 | 22 | 451k|4003 | 0.000000e+00 | -- | Inf
164.10/164.13 c 164s|820000 |167893 | 1700k| 2.1 | 121M| 35 | - | 40 |8974 | 40 | 17 | 22 | 457k|4027 | 0.000000e+00 | -- | Inf
166.11/166.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.11/166.17 c 166s|830000 |169877 | 1720k| 2.1 | 124M| 35 | 5 | 40 | 11k| 40 | 17 | 22 | 463k|4044 | 0.000000e+00 | -- | Inf
168.80/168.86 c 169s|840000 |171241 | 1741k| 2.1 | 125M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 469k|4067 | 0.000000e+00 | -- | Inf
171.40/171.41 c 171s|850000 |172562 | 1762k| 2.1 | 126M| 35 | - | 40 |9379 | 40 | 17 | 22 | 475k|4088 | 0.000000e+00 | -- | Inf
173.71/173.74 c 174s|860000 |174153 | 1782k| 2.1 | 127M| 35 | 5 | 40 |8992 | 40 | 17 | 22 | 481k|4111 | 0.000000e+00 | -- | Inf
176.02/176.06 c 176s|870000 |175578 | 1803k| 2.1 | 128M| 35 | 5 | 40 |9903 | 40 | 17 | 22 | 487k|4142 | 0.000000e+00 | -- | Inf
178.70/178.75 c 179s|880000 |176896 | 1824k| 2.1 | 129M| 35 | 5 | 40 |8297 | 40 | 17 | 22 | 494k|4157 | 0.000000e+00 | -- | Inf
180.99/181.01 c 181s|890000 |178696 | 1844k| 2.1 | 130M| 35 | - | 40 |9115 | 40 | 17 | 22 | 499k|4175 | 0.000000e+00 | -- | Inf
183.30/183.33 c 183s|900000 |180335 | 1864k| 2.1 | 132M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 505k|4200 | 0.000000e+00 | -- | Inf
185.81/185.84 c 186s|910000 |181746 | 1885k| 2.1 | 133M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 511k|4219 | 0.000000e+00 | -- | Inf
188.39/188.45 c 188s|920000 |183079 | 1906k| 2.1 | 134M| 35 | 5 | 40 |9656 | 40 | 17 | 22 | 517k|4234 | 0.000000e+00 | -- | Inf
190.90/190.91 c 191s|930000 |184475 | 1926k| 2.1 | 136M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 523k|4243 | 0.000000e+00 | -- | Inf
193.61/193.62 c 194s|940000 |185562 | 1947k| 2.1 | 136M| 35 | - | 40 |8757 | 0 | 0 | 22 | 530k|4265 | 0.000000e+00 | -- | Inf
196.00/196.03 c 196s|950000 |187051 | 1967k| 2.1 | 138M| 35 | 5 | 40 |9301 | 40 | 17 | 22 | 536k|4286 | 0.000000e+00 | -- | Inf
198.60/198.63 c 199s|960000 |188219 | 1988k| 2.1 | 138M| 35 | - | 40 |8099 | 40 | 17 | 22 | 542k|4302 | 0.000000e+00 | -- | Inf
201.10/201.14 c 201s|970000 |189425 | 2009k| 2.1 | 140M| 35 | 5 | 40 |7849 | 40 | 17 | 22 | 549k|4333 | 0.000000e+00 | -- | Inf
203.29/203.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.29/203.41 c 203s|980000 |190927 | 2030k| 2.1 | 141M| 35 | - | 40 |9114 | 40 | 17 | 22 | 555k|4359 | 0.000000e+00 | -- | Inf
206.10/206.17 c 206s|990000 |191766 | 2051k| 2.1 | 142M| 35 | 5 | 40 |8376 | 40 | 17 | 22 | 561k|4377 | 0.000000e+00 | -- | Inf
208.70/208.73 c 209s| 1000k|192837 | 2071k| 2.1 | 143M| 35 | - | 40 |8354 | 40 | 17 | 22 | 568k|4409 | 0.000000e+00 | -- | Inf
211.00/211.09 c 211s| 1010k|194125 | 2092k| 2.1 | 144M| 35 | - | 40 |8292 | 40 | 17 | 22 | 574k|4436 | 0.000000e+00 | -- | Inf
213.60/213.62 c 214s| 1020k|195208 | 2113k| 2.1 | 145M| 35 | 5 | 40 |7636 | 40 | 17 | 22 | 580k|4457 | 0.000000e+00 | -- | Inf
215.90/215.94 c 216s| 1030k|196657 | 2133k| 2.1 | 146M| 35 | 5 | 40 |8722 | 40 | 17 | 22 | 586k|4472 | 0.000000e+00 | -- | Inf
218.49/218.56 c 219s| 1040k|197759 | 2154k| 2.1 | 147M| 35 | 5 | 40 |8196 | 40 | 17 | 22 | 593k|4491 | 0.000000e+00 | -- | Inf
221.11/221.15 c 221s| 1050k|198867 | 2175k| 2.1 | 148M| 35 | 5 | 40 |7976 | 40 | 17 | 22 | 599k|4512 | 0.000000e+00 | -- | Inf
223.50/223.50 c 224s| 1060k|200284 | 2195k| 2.1 | 150M| 35 | - | 40 |8917 | 40 | 17 | 22 | 605k|4532 | 0.000000e+00 | -- | Inf
225.90/225.93 c 226s| 1070k|201818 | 2216k| 2.1 | 151M| 36 | 5 | 40 |8794 | 40 | 17 | 22 | 611k|4546 | 0.000000e+00 | -- | Inf
228.20/228.25 c 228s| 1080k|203194 | 2237k| 2.1 | 153M| 36 | - | 40 | 10k| 40 | 17 | 22 | 618k|4566 | 0.000000e+00 | -- | Inf
230.91/230.98 c 231s| 1090k|204287 | 2258k| 2.1 | 153M| 36 | 5 | 40 |8485 | 40 | 17 | 22 | 624k|4580 | 0.000000e+00 | -- | Inf
233.22/233.30 c 233s| 1100k|205705 | 2279k| 2.1 | 155M| 36 | 5 | 40 |9816 | 40 | 17 | 22 | 630k|4598 | 0.000000e+00 | -- | Inf
235.90/235.94 c 236s| 1110k|206989 | 2299k| 2.1 | 156M| 36 | 5 | 40 |9884 | 40 | 17 | 22 | 636k|4618 | 0.000000e+00 | -- | Inf
238.72/238.72 c 239s| 1120k|208030 | 2320k| 2.1 | 157M| 36 | 5 | 40 |8920 | 40 | 17 | 22 | 643k|4634 | 0.000000e+00 | -- | Inf
241.10/241.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.10/241.19 c 241s| 1130k|209240 | 2341k| 2.1 | 158M| 36 | 5 | 40 |9634 | 40 | 17 | 22 | 649k|4655 | 0.000000e+00 | -- | Inf
243.60/243.69 c 244s| 1140k|210801 | 2361k| 2.1 | 159M| 36 | - | 40 |9937 | 40 | 17 | 22 | 655k|4673 | 0.000000e+00 | -- | Inf
246.20/246.26 c 246s| 1150k|211952 | 2382k| 2.1 | 161M| 36 | - | 40 | 10k| 40 | 17 | 22 | 661k|4686 | 0.000000e+00 | -- | Inf
248.79/248.89 c 249s| 1160k|213147 | 2402k| 2.1 | 162M| 36 | 5 | 40 |9624 | 40 | 17 | 22 | 667k|4701 | 0.000000e+00 | -- | Inf
251.00/251.09 c 251s| 1170k|215249 | 2423k| 2.1 | 163M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 673k|4714 | 0.000000e+00 | -- | Inf
253.40/253.45 c 253s| 1180k|217038 | 2443k| 2.1 | 165M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 679k|4729 | 0.000000e+00 | -- | Inf
256.00/256.05 c 256s| 1190k|218188 | 2464k| 2.1 | 166M| 36 | - | 40 | 11k| 40 | 17 | 22 | 685k|4749 | 0.000000e+00 | -- | Inf
258.30/258.40 c 258s| 1200k|220059 | 2485k| 2.1 | 168M| 36 | - | 40 | 13k| 0 | 0 | 22 | 691k|4765 | 0.000000e+00 | -- | Inf
261.40/261.42 c 261s| 1210k|221151 | 2505k| 2.1 | 169M| 36 | 5 | 40 | 13k| 40 | 17 | 22 | 697k|4779 | 0.000000e+00 | -- | Inf
264.20/264.23 c 264s| 1220k|222372 | 2525k| 2.1 | 170M| 36 | - | 40 | 14k| 0 | 0 | 22 | 703k|4794 | 0.000000e+00 | -- | Inf
267.10/267.14 c 267s| 1230k|223605 | 2546k| 2.1 | 171M| 36 | - | 40 | 11k| 40 | 17 | 22 | 709k|4815 | 0.000000e+00 | -- | Inf
269.90/269.96 c 270s| 1240k|224700 | 2567k| 2.1 | 172M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 716k|4829 | 0.000000e+00 | -- | Inf
272.90/272.90 c 273s| 1250k|225751 | 2587k| 2.1 | 172M| 36 | - | 40 | 10k| 40 | 17 | 22 | 722k|4849 | 0.000000e+00 | -- | Inf
275.30/275.32 c 275s| 1260k|227131 | 2608k| 2.1 | 174M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 728k|4866 | 0.000000e+00 | -- | Inf
277.80/277.86 c 278s| 1270k|228567 | 2628k| 2.1 | 175M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 734k|4882 | 0.000000e+00 | -- | Inf
280.41/280.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.41/280.46 c 280s| 1280k|230195 | 2648k| 2.1 | 176M| 36 | - | 40 | 11k| 0 | 0 | 22 | 740k|4903 | 0.000000e+00 | -- | Inf
283.20/283.20 c 283s| 1290k|231454 | 2669k| 2.1 | 177M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 746k|4914 | 0.000000e+00 | -- | Inf
286.20/286.29 c 286s| 1300k|232346 | 2690k| 2.1 | 178M| 36 | - | 40 |9098 | 40 | 17 | 22 | 753k|4932 | 0.000000e+00 | -- | Inf
288.90/288.96 c 289s| 1310k|233440 | 2711k| 2.1 | 179M| 36 | - | 40 |9467 | 40 | 17 | 22 | 759k|4956 | 0.000000e+00 | -- | Inf
291.80/291.81 c 292s| 1320k|234516 | 2731k| 2.1 | 180M| 36 | 5 | 40 |9058 | 40 | 17 | 22 | 766k|4971 | 0.000000e+00 | -- | Inf
294.00/294.07 c 294s| 1330k|236006 | 2751k| 2.1 | 182M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 772k|4991 | 0.000000e+00 | -- | Inf
296.80/296.87 c 297s| 1340k|237048 | 2771k| 2.1 | 183M| 36 | - | 40 | 10k| 0 | 0 | 22 | 778k|5004 | 0.000000e+00 | -- | Inf
299.80/299.86 c 300s| 1350k|238062 | 2791k| 2.1 | 183M| 36 | 5 | 40 |8903 | 40 | 17 | 22 | 784k|5017 | 0.000000e+00 | -- | Inf
302.30/302.36 c 302s| 1360k|239659 | 2812k| 2.1 | 184M| 36 | 5 | 40 |9662 | 40 | 17 | 22 | 790k|5033 | 0.000000e+00 | -- | Inf
304.80/304.84 c 305s| 1370k|240969 | 2833k| 2.1 | 186M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 796k|5045 | 0.000000e+00 | -- | Inf
307.50/307.52 c 308s| 1380k|242211 | 2853k| 2.1 | 187M| 36 | - | 40 | 10k| 40 | 17 | 22 | 803k|5060 | 0.000000e+00 | -- | Inf
309.90/309.98 c 310s| 1390k|243572 | 2874k| 2.1 | 189M| 36 | 5 | 40 | 12k| 40 | 17 | 22 | 809k|5075 | 0.000000e+00 | -- | Inf
312.90/312.93 c 313s| 1400k|244848 | 2894k| 2.1 | 189M| 36 | - | 40 | 11k| 40 | 17 | 22 | 815k|5084 | 0.000000e+00 | -- | Inf
316.10/316.12 c 316s| 1410k|245741 | 2915k| 2.1 | 190M| 36 | 5 | 40 |9126 | 40 | 17 | 22 | 821k|5106 | 0.000000e+00 | -- | Inf
318.70/318.72 c 319s| 1420k|246828 | 2936k| 2.1 | 191M| 36 | 5 | 40 |9816 | 40 | 17 | 22 | 828k|5117 | 0.000000e+00 | -- | Inf
321.60/321.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.60/321.62 c 322s| 1430k|247666 | 2957k| 2.1 | 192M| 36 | 5 | 40 |8705 | 40 | 17 | 22 | 834k|5131 | 0.000000e+00 | -- | Inf
323.90/323.93 c 324s| 1440k|249039 | 2978k| 2.1 | 194M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 841k|5155 | 0.000000e+00 | -- | Inf
326.72/326.76 c 327s| 1450k|250311 | 2998k| 2.1 | 195M| 36 | - | 40 | 10k| 40 | 17 | 22 | 847k|5169 | 0.000000e+00 | -- | Inf
329.50/329.57 c 330s| 1460k|251315 | 3018k| 2.1 | 196M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 854k|5181 | 0.000000e+00 | -- | Inf
332.40/332.40 c 332s| 1470k|252340 | 3040k| 2.1 | 196M| 36 | - | 40 | 10k| 40 | 17 | 22 | 860k|5191 | 0.000000e+00 | -- | Inf
334.90/335.00 c 335s| 1480k|253604 | 3061k| 2.1 | 198M| 36 | - | 40 | 10k| 40 | 17 | 22 | 866k|5204 | 0.000000e+00 | -- | Inf
337.90/337.91 c 338s| 1490k|254501 | 3082k| 2.1 | 198M| 36 | 5 | 40 |8581 | 40 | 17 | 22 | 873k|5217 | 0.000000e+00 | -- | Inf
340.60/340.69 c 341s| 1500k|255270 | 3102k| 2.1 | 199M| 36 | 5 | 40 |8233 | 40 | 17 | 22 | 880k|5231 | 0.000000e+00 | -- | Inf
343.30/343.31 c 343s| 1510k|256439 | 3123k| 2.1 | 200M| 36 | 5 | 40 |8055 | 40 | 17 | 22 | 886k|5247 | 0.000000e+00 | -- | Inf
345.70/345.75 c 346s| 1520k|257648 | 3144k| 2.1 | 201M| 36 | 5 | 40 |9162 | 40 | 17 | 22 | 892k|5265 | 0.000000e+00 | -- | Inf
348.20/348.22 c 348s| 1530k|258983 | 3165k| 2.1 | 203M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 899k|5281 | 0.000000e+00 | -- | Inf
350.70/350.80 c 351s| 1540k|260186 | 3185k| 2.1 | 204M| 36 | - | 40 | 10k| 0 | 0 | 22 | 905k|5289 | 0.000000e+00 | -- | Inf
353.60/353.60 c 354s| 1550k|261129 | 3206k| 2.1 | 205M| 36 | - | 40 |9105 | 40 | 17 | 22 | 911k|5304 | 0.000000e+00 | -- | Inf
356.32/356.33 c 356s| 1560k|262163 | 3227k| 2.1 | 206M| 36 | - | 40 |8704 | 40 | 17 | 22 | 918k|5316 | 0.000000e+00 | -- | Inf
359.00/359.08 c 359s| 1570k|263362 | 3247k| 2.1 | 207M| 36 | 5 | 40 |9229 | 40 | 17 | 22 | 924k|5332 | 0.000000e+00 | -- | Inf
361.60/361.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.60/361.69 c 362s| 1580k|264424 | 3268k| 2.1 | 208M| 36 | 5 | 40 |9796 | 40 | 17 | 22 | 930k|5346 | 0.000000e+00 | -- | Inf
364.40/364.46 c 364s| 1590k|265318 | 3289k| 2.1 | 209M| 36 | - | 40 |9700 | 40 | 17 | 22 | 937k|5364 | 0.000000e+00 | -- | Inf
367.21/367.20 c 367s| 1600k|266355 | 3310k| 2.1 | 210M| 36 | 5 | 40 |8688 | 40 | 17 | 22 | 944k|5377 | 0.000000e+00 | -- | Inf
369.70/369.76 c 370s| 1610k|267506 | 3331k| 2.1 | 211M| 36 | 5 | 40 |9891 | 40 | 17 | 22 | 950k|5392 | 0.000000e+00 | -- | Inf
372.21/372.26 c 372s| 1620k|268733 | 3351k| 2.1 | 212M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 956k|5404 | 0.000000e+00 | -- | Inf
375.20/375.24 c 375s| 1630k|269779 | 3372k| 2.1 | 213M| 36 | - | 40 |9626 | 40 | 17 | 22 | 963k|5411 | 0.000000e+00 | -- | Inf
377.90/377.96 c 378s| 1640k|270876 | 3392k| 2.1 | 214M| 36 | 5 | 40 |9274 | 40 | 17 | 22 | 969k|5428 | 0.000000e+00 | -- | Inf
380.52/380.60 c 381s| 1650k|272154 | 3413k| 2.1 | 216M| 36 | - | 40 | 10k| 40 | 17 | 22 | 976k|5442 | 0.000000e+00 | -- | Inf
383.31/383.38 c 383s| 1660k|273222 | 3434k| 2.1 | 217M| 36 | - | 40 |9515 | 40 | 17 | 22 | 982k|5460 | 0.000000e+00 | -- | Inf
386.02/386.11 c 386s| 1670k|274345 | 3454k| 2.1 | 218M| 36 | 5 | 40 |9542 | 40 | 17 | 22 | 988k|5471 | 0.000000e+00 | -- | Inf
388.22/388.29 c 388s| 1680k|275949 | 3475k| 2.1 | 220M| 36 | 5 | 40 | 12k| 40 | 17 | 22 | 994k|5484 | 0.000000e+00 | -- | Inf
391.10/391.10 c 391s| 1690k|276991 | 3494k| 2.1 | 220M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1001k|5506 | 0.000000e+00 | -- | Inf
393.50/393.55 c 394s| 1700k|278794 | 3516k| 2.1 | 222M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1006k|5523 | 0.000000e+00 | -- | Inf
395.91/395.96 c 396s| 1710k|280224 | 3537k| 2.1 | 224M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1012k|5536 | 0.000000e+00 | -- | Inf
398.81/398.88 c 399s| 1720k|281230 | 3558k| 2.1 | 225M| 36 | - | 40 | 14k| 0 | 0 | 22 |1019k|5556 | 0.000000e+00 | -- | Inf
402.41/402.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.41/402.48 c 402s| 1730k|282172 | 3578k| 2.1 | 225M| 36 | - | 40 | 12k| 40 | 17 | 22 |1025k|5571 | 0.000000e+00 | -- | Inf
405.61/405.60 c 406s| 1740k|283125 | 3598k| 2.1 | 226M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1032k|5591 | 0.000000e+00 | -- | Inf
408.30/408.38 c 408s| 1750k|284357 | 3618k| 2.1 | 227M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1039k|5602 | 0.000000e+00 | -- | Inf
411.00/411.08 c 411s| 1760k|285669 | 3640k| 2.1 | 229M| 36 | - | 40 | 12k| 40 | 17 | 22 |1045k|5623 | 0.000000e+00 | -- | Inf
414.20/414.20 c 414s| 1770k|286755 | 3660k| 2.1 | 229M| 36 | - | 40 | 10k| 40 | 17 | 22 |1051k|5642 | 0.000000e+00 | -- | Inf
417.40/417.41 c 417s| 1780k|287564 | 3681k| 2.1 | 230M| 36 | 5 | 40 |9899 | 40 | 17 | 22 |1058k|5656 | 0.000000e+00 | -- | Inf
420.30/420.36 c 420s| 1790k|288511 | 3702k| 2.1 | 231M| 36 | 5 | 40 |9412 | 40 | 17 | 22 |1064k|5670 | 0.000000e+00 | -- | Inf
423.21/423.24 c 423s| 1800k|289421 | 3723k| 2.1 | 232M| 36 | - | 40 |9209 | 40 | 17 | 22 |1071k|5676 | 0.000000e+00 | -- | Inf
426.10/426.17 c 426s| 1810k|290121 | 3743k| 2.1 | 233M| 36 | - | 40 |8455 | 40 | 17 | 22 |1078k|5694 | 0.000000e+00 | -- | Inf
428.60/428.68 c 429s| 1820k|291177 | 3764k| 2.1 | 234M| 36 | 5 | 40 |9488 | 40 | 17 | 22 |1084k|5707 | 0.000000e+00 | -- | Inf
431.50/431.54 c 432s| 1830k|292088 | 3785k| 2.1 | 235M| 36 | 5 | 40 |9114 | 40 | 17 | 22 |1091k|5730 | 0.000000e+00 | -- | Inf
434.52/434.57 c 435s| 1840k|292857 | 3806k| 2.1 | 235M| 36 | 5 | 40 |8287 | 40 | 17 | 22 |1097k|5744 | 0.000000e+00 | -- | Inf
437.20/437.20 c 437s| 1850k|293897 | 3827k| 2.1 | 237M| 36 | 5 | 40 |9339 | 40 | 17 | 22 |1104k|5760 | 0.000000e+00 | -- | Inf
439.71/439.76 c 440s| 1860k|295165 | 3848k| 2.1 | 238M| 36 | 5 | 40 |9836 | 40 | 17 | 22 |1110k|5779 | 0.000000e+00 | -- | Inf
442.40/442.43 c 442s| 1870k|296238 | 3869k| 2.1 | 239M| 36 | - | 40 |9731 | 40 | 17 | 22 |1117k|5800 | 0.000000e+00 | -- | Inf
445.30/445.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.30/445.36 c 445s| 1880k|297104 | 3890k| 2.1 | 240M| 36 | - | 40 |8843 | 40 | 17 | 22 |1123k|5811 | 0.000000e+00 | -- | Inf
447.90/447.98 c 448s| 1890k|298207 | 3911k| 2.1 | 241M| 36 | - | 40 | 10k| 40 | 17 | 22 |1130k|5822 | 0.000000e+00 | -- | Inf
450.41/450.46 c 450s| 1900k|299368 | 3931k| 2.1 | 243M| 36 | - | 40 | 11k| 0 | 0 | 22 |1136k|5836 | 0.000000e+00 | -- | Inf
453.40/453.41 c 453s| 1910k|300280 | 3952k| 2.1 | 243M| 36 | - | 40 | 11k| 0 | 0 | 22 |1143k|5847 | 0.000000e+00 | -- | Inf
456.42/456.46 c 456s| 1920k|301293 | 3972k| 2.1 | 244M| 36 | - | 40 | 11k| 40 | 17 | 22 |1149k|5854 | 0.000000e+00 | -- | Inf
459.21/459.25 c 459s| 1930k|302614 | 3993k| 2.1 | 246M| 36 | - | 40 | 12k| 40 | 17 | 22 |1156k|5870 | 0.000000e+00 | -- | Inf
462.20/462.20 c 462s| 1940k|303803 | 4014k| 2.1 | 247M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1162k|5889 | 0.000000e+00 | -- | Inf
465.41/465.45 c 465s| 1950k|304566 | 4035k| 2.1 | 247M| 36 | 5 | 40 |9501 | 40 | 17 | 22 |1169k|5904 | 0.000000e+00 | -- | Inf
468.52/468.58 c 469s| 1960k|305231 | 4056k| 2.1 | 248M| 36 | - | 40 |8431 | 40 | 17 | 22 |1175k|5914 | 0.000000e+00 | -- | Inf
471.30/471.37 c 471s| 1970k|306127 | 4077k| 2.1 | 249M| 36 | - | 40 |8379 | 40 | 17 | 22 |1182k|5934 | 0.000000e+00 | -- | Inf
474.13/474.14 c 474s| 1980k|306966 | 4098k| 2.1 | 250M| 36 | 5 | 40 |8615 | 40 | 17 | 22 |1189k|5946 | 0.000000e+00 | -- | Inf
476.60/476.67 c 477s| 1990k|308178 | 4119k| 2.1 | 251M| 36 | - | 40 |9776 | 40 | 17 | 22 |1195k|5973 | 0.000000e+00 | -- | Inf
479.01/479.03 c 479s| 2000k|309787 | 4140k| 2.1 | 253M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1201k|5982 | 0.000000e+00 | -- | Inf
481.82/481.83 c 482s| 2010k|310825 | 4161k| 2.1 | 254M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1207k|5997 | 0.000000e+00 | -- | Inf
485.02/485.08 c 485s| 2020k|311686 | 4182k| 2.1 | 254M| 36 | - | 40 | 10k| 40 | 17 | 22 |1214k|6009 | 0.000000e+00 | -- | Inf
487.91/487.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.91/487.91 c 488s| 2030k|312713 | 4203k| 2.1 | 256M| 36 | - | 40 | 11k| 40 | 17 | 22 |1221k|6021 | 0.000000e+00 | -- | Inf
490.91/490.92 c 491s| 2040k|313903 | 4225k| 2.1 | 257M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1227k|6031 | 0.000000e+00 | -- | Inf
493.82/493.86 c 494s| 2050k|315085 | 4245k| 2.1 | 257M| 36 | - | 40 |9630 | 40 | 17 | 22 |1233k|6053 | 0.000000e+00 | -- | Inf
496.21/496.29 c 496s| 2060k|316468 | 4266k| 2.1 | 259M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1239k|6063 | 0.000000e+00 | -- | Inf
499.32/499.39 c 499s| 2070k|317450 | 4287k| 2.1 | 260M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1246k|6083 | 0.000000e+00 | -- | Inf
502.41/502.44 c 502s| 2080k|318394 | 4307k| 2.1 | 260M| 36 | 5 | 40 |8884 | 40 | 17 | 22 |1252k|6093 | 0.000000e+00 | -- | Inf
505.00/505.07 c 505s| 2090k|319460 | 4329k| 2.1 | 262M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1259k|6112 | 0.000000e+00 | -- | Inf
507.50/507.57 c 508s| 2100k|321096 | 4349k| 2.1 | 264M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1265k|6120 | 0.000000e+00 | -- | Inf
510.81/510.83 c 511s| 2110k|321925 | 4370k| 2.1 | 264M| 36 | - | 40 | 11k| 0 | 0 | 22 |1272k|6135 | 0.000000e+00 | -- | Inf
514.11/514.12 c 514s| 2120k|322879 | 4391k| 2.1 | 265M| 36 | - | 40 | 11k| 40 | 17 | 22 |1278k|6146 | 0.000000e+00 | -- | Inf
517.41/517.49 c 517s| 2130k|323552 | 4412k| 2.1 | 266M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1285k|6165 | 0.000000e+00 | -- | Inf
519.90/519.98 c 520s| 2140k|325119 | 4433k| 2.1 | 268M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1291k|6176 | 0.000000e+00 | -- | Inf
523.00/523.02 c 523s| 2150k|326092 | 4453k| 2.1 | 268M| 36 | - | 40 | 10k| 40 | 17 | 22 |1298k|6185 | 0.000000e+00 | -- | Inf
525.72/525.77 c 526s| 2160k|327166 | 4473k| 2.1 | 270M| 36 | - | 40 | 11k| 40 | 17 | 22 |1304k|6194 | 0.000000e+00 | -- | Inf
529.21/529.27 c 529s| 2170k|327840 | 4494k| 2.1 | 270M| 36 | - | 40 |9921 | 40 | 17 | 22 |1311k|6203 | 0.000000e+00 | -- | Inf
532.00/532.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.00/532.09 c 532s| 2180k|329187 | 4514k| 2.1 | 271M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1317k|6220 | 0.000000e+00 | -- | Inf
534.52/534.53 c 535s| 2190k|330491 | 4534k| 2.1 | 273M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1323k|6229 | 0.000000e+00 | -- | Inf
536.90/536.93 c 537s| 2200k|332070 | 4554k| 2.1 | 274M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1329k|6239 | 0.000000e+00 | -- | Inf
539.81/539.81 c 540s| 2210k|332974 | 4573k| 2.1 | 275M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1336k|6265 | 0.000000e+00 | -- | Inf
542.91/542.97 c 543s| 2220k|333618 | 4593k| 2.1 | 276M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1343k|6274 | 0.000000e+00 | -- | Inf
546.81/546.82 c 547s| 2230k|334185 | 4614k| 2.1 | 277M| 36 | - | 40 | 11k| 40 | 17 | 22 |1350k|6288 | 0.000000e+00 | -- | Inf
549.92/549.96 c 550s| 2240k|335048 | 4634k| 2.1 | 277M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1356k|6289 | 0.000000e+00 | -- | Inf
552.41/552.47 c 552s| 2250k|336824 | 4654k| 2.1 | 279M| 36 | - | 40 | 10k| 40 | 17 | 22 |1362k|6299 | 0.000000e+00 | -- | Inf
554.90/554.90 c 555s| 2260k|338538 | 4673k| 2.1 | 280M| 36 | 5 | 40 |9998 | 40 | 17 | 22 |1368k|6304 | 0.000000e+00 | -- | Inf
557.21/557.25 c 557s| 2270k|340389 | 4691k| 2.1 | 282M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1373k|6307 | 0.000000e+00 | -- | Inf
559.82/559.84 c 560s| 2280k|342063 | 4710k| 2.1 | 283M| 36 | - | 40 | 12k| 40 | 17 | 22 |1379k|6317 | 0.000000e+00 | -- | Inf
562.71/562.74 c 563s| 2290k|343099 | 4728k| 2.1 | 284M| 36 | - | 40 | 10k| 40 | 17 | 22 |1385k|6321 | 0.000000e+00 | -- | Inf
565.61/565.65 c 566s| 2300k|343924 | 4747k| 2.1 | 285M| 36 | - | 40 | 10k| 40 | 17 | 22 |1391k|6330 | 0.000000e+00 | -- | Inf
568.30/568.33 c 568s| 2310k|345220 | 4766k| 2.1 | 286M| 36 | - | 40 | 11k| 0 | 0 | 22 |1398k|6346 | 0.000000e+00 | -- | Inf
571.11/571.15 c 571s| 2320k|346134 | 4785k| 2.1 | 287M| 36 | - | 40 | 12k| 40 | 17 | 22 |1404k|6354 | 0.000000e+00 | -- | Inf
574.22/574.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.22/574.30 c 574s| 2330k|346863 | 4804k| 2.1 | 288M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1411k|6360 | 0.000000e+00 | -- | Inf
577.42/577.43 c 577s| 2340k|347497 | 4823k| 2.1 | 289M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1417k|6374 | 0.000000e+00 | -- | Inf
580.41/580.47 c 580s| 2350k|348199 | 4842k| 2.1 | 289M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1424k|6382 | 0.000000e+00 | -- | Inf
584.31/584.35 c 584s| 2360k|348578 | 4863k| 2.1 | 289M| 36 | - | 40 |9480 | 40 | 17 | 22 |1431k|6401 | 0.000000e+00 | -- | Inf
587.42/587.47 c 587s| 2370k|349325 | 4884k| 2.1 | 290M| 36 | - | 40 |9332 | 40 | 17 | 22 |1438k|6417 | 0.000000e+00 | -- | Inf
590.41/590.45 c 590s| 2380k|350182 | 4904k| 2.1 | 291M| 36 | - | 40 |9727 | 0 | 0 | 22 |1444k|6418 | 0.000000e+00 | -- | Inf
593.51/593.59 c 594s| 2390k|350977 | 4925k| 2.1 | 292M| 36 | - | 40 |9527 | 40 | 17 | 22 |1451k|6428 | 0.000000e+00 | -- | Inf
596.31/596.37 c 596s| 2400k|352170 | 4946k| 2.1 | 293M| 36 | 5 | 40 |9176 | 40 | 17 | 22 |1458k|6435 | 0.000000e+00 | -- | Inf
598.81/598.86 c 599s| 2410k|353296 | 4966k| 2.1 | 294M| 36 | - | 40 |9509 | 40 | 17 | 22 |1464k|6446 | 0.000000e+00 | -- | Inf
601.21/601.25 c 601s| 2420k|354306 | 4987k| 2.1 | 296M| 36 | - | 40 | 11k| 40 | 17 | 22 |1471k|6457 | 0.000000e+00 | -- | Inf
604.21/604.27 c 604s| 2430k|355112 | 5008k| 2.1 | 296M| 36 | 5 | 40 |9687 | 40 | 17 | 22 |1478k|6470 | 0.000000e+00 | -- | Inf
606.91/606.96 c 607s| 2440k|356245 | 5028k| 2.1 | 298M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1485k|6479 | 0.000000e+00 | -- | Inf
609.81/609.84 c 610s| 2450k|357283 | 5049k| 2.1 | 299M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1491k|6492 | 0.000000e+00 | -- | Inf
612.51/612.50 c 612s| 2460k|358513 | 5070k| 2.1 | 300M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1498k|6506 | 0.000000e+00 | -- | Inf
615.41/615.41 c 615s| 2470k|359504 | 5091k| 2.1 | 301M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1504k|6513 | 0.000000e+00 | -- | Inf
618.81/618.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.81/618.82 c 619s| 2480k|360189 | 5112k| 2.1 | 302M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1511k|6525 | 0.000000e+00 | -- | Inf
622.21/622.27 c 622s| 2490k|360823 | 5132k| 2.1 | 302M| 36 | - | 40 |9127 | 40 | 17 | 22 |1518k|6546 | 0.000000e+00 | -- | Inf
625.21/625.26 c 625s| 2500k|361596 | 5153k| 2.1 | 303M| 36 | 5 | 40 |8641 | 40 | 17 | 22 |1524k|6551 | 0.000000e+00 | -- | Inf
628.21/628.22 c 628s| 2510k|362273 | 5173k| 2.1 | 304M| 36 | 5 | 40 |9173 | 40 | 17 | 22 |1531k|6566 | 0.000000e+00 | -- | Inf
630.71/630.79 c 631s| 2520k|363429 | 5193k| 2.1 | 305M| 36 | - | 40 |9959 | 0 | 0 | 22 |1537k|6572 | 0.000000e+00 | -- | Inf
633.31/633.37 c 633s| 2530k|364244 | 5212k| 2.1 | 306M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1544k|6576 | 0.000000e+00 | -- | Inf
636.11/636.16 c 636s| 2540k|365440 | 5232k| 2.1 | 307M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1550k|6590 | 0.000000e+00 | -- | Inf
638.71/638.76 c 639s| 2550k|366903 | 5252k| 2.1 | 309M| 36 | - | 40 | 12k| 40 | 17 | 22 |1556k|6608 | 0.000000e+00 | -- | Inf
642.01/642.05 c 642s| 2560k|367785 | 5272k| 2.1 | 310M| 36 | - | 40 | 12k| 40 | 17 | 22 |1563k|6616 | 0.000000e+00 | -- | Inf
645.31/645.39 c 645s| 2570k|368520 | 5293k| 2.1 | 310M| 36 | - | 40 |9995 | 40 | 17 | 22 |1570k|6635 | 0.000000e+00 | -- | Inf
648.51/648.52 c 649s| 2580k|369259 | 5314k| 2.1 | 311M| 36 | 5 | 40 |9686 | 40 | 17 | 22 |1577k|6645 | 0.000000e+00 | -- | Inf
651.61/651.69 c 652s| 2590k|369989 | 5335k| 2.1 | 312M| 36 | 5 | 40 |9057 | 40 | 17 | 22 |1583k|6653 | 0.000000e+00 | -- | Inf
654.71/654.74 c 655s| 2600k|370646 | 5355k| 2.1 | 312M| 36 | 5 | 40 |8895 | 40 | 17 | 22 |1590k|6675 | 0.000000e+00 | -- | Inf
657.72/657.73 c 658s| 2610k|371421 | 5376k| 2.1 | 313M| 36 | - | 40 |9692 | 40 | 17 | 22 |1596k|6689 | 0.000000e+00 | -- | Inf
660.11/660.11 c 660s| 2620k|373185 | 5397k| 2.1 | 315M| 36 | - | 40 | 11k| 0 | 0 | 22 |1602k|6700 | 0.000000e+00 | -- | Inf
663.01/663.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.01/663.06 c 663s| 2630k|373938 | 5418k| 2.1 | 317M| 36 | - | 40 | 12k| 40 | 17 | 22 |1609k|6718 | 0.000000e+00 | -- | Inf
666.71/666.77 c 667s| 2640k|374533 | 5439k| 2.1 | 317M| 36 | - | 40 | 10k| 40 | 17 | 22 |1616k|6735 | 0.000000e+00 | -- | Inf
670.01/670.02 c 670s| 2650k|375200 | 5459k| 2.1 | 317M| 36 | 5 | 40 |9294 | 40 | 17 | 22 |1622k|6747 | 0.000000e+00 | -- | Inf
673.01/673.05 c 673s| 2660k|376053 | 5480k| 2.1 | 318M| 36 | 5 | 40 |9894 | 40 | 17 | 22 |1629k|6758 | 0.000000e+00 | -- | Inf
675.82/675.85 c 676s| 2670k|377079 | 5501k| 2.1 | 320M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1636k|6769 | 0.000000e+00 | -- | Inf
678.73/678.76 c 679s| 2680k|378059 | 5522k| 2.1 | 321M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1642k|6779 | 0.000000e+00 | -- | Inf
681.41/681.49 c 681s| 2690k|379085 | 5542k| 2.1 | 322M| 36 | - | 40 | 12k| 40 | 17 | 22 |1649k|6790 | 0.000000e+00 | -- | Inf
684.52/684.53 c 685s| 2700k|380468 | 5564k| 2.1 | 323M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1655k|6805 | 0.000000e+00 | -- | Inf
687.21/687.24 c 687s| 2710k|382030 | 5585k| 2.1 | 325M| 36 | - | 40 | 13k| 40 | 17 | 22 |1661k|6819 | 0.000000e+00 | -- | Inf
690.41/690.47 c 690s| 2720k|382863 | 5607k| 2.1 | 326M| 36 | - | 40 | 14k| 40 | 17 | 22 |1668k|6825 | 0.000000e+00 | -- | Inf
693.41/693.46 c 693s| 2730k|384260 | 5627k| 2.1 | 327M| 36 | - | 40 | 15k| 40 | 17 | 22 |1674k|6838 | 0.000000e+00 | -- | Inf
696.51/696.54 c 697s| 2740k|385690 | 5647k| 2.1 | 329M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1680k|6854 | 0.000000e+00 | -- | Inf
699.81/699.80 c 700s| 2750k|387186 | 5669k| 2.1 | 330M| 36 | - | 40 | 17k| 40 | 17 | 22 |1686k|6863 | 0.000000e+00 | -- | Inf
703.51/703.59 c 704s| 2760k|388006 | 5690k| 2.1 | 332M| 36 | - | 40 | 18k| 40 | 17 | 22 |1692k|6880 | 0.000000e+00 | -- | Inf
707.01/707.03 c 707s| 2770k|389255 | 5712k| 2.1 | 333M| 36 | - | 40 | 19k| 40 | 17 | 22 |1699k|6890 | 0.000000e+00 | -- | Inf
710.71/710.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.71/710.74 c 711s| 2780k|390425 | 5733k| 2.1 | 334M| 36 | - | 40 | 18k| 40 | 17 | 22 |1705k|6900 | 0.000000e+00 | -- | Inf
714.61/714.67 c 715s| 2790k|391345 | 5752k| 2.1 | 334M| 36 | - | 40 | 16k| 40 | 17 | 22 |1712k|6913 | 0.000000e+00 | -- | Inf
718.62/718.60 c 719s| 2800k|392104 | 5773k| 2.1 | 335M| 36 | - | 40 | 14k| 40 | 17 | 22 |1719k|6925 | 0.000000e+00 | -- | Inf
721.72/721.71 c 722s| 2810k|393142 | 5793k| 2.1 | 336M| 36 | - | 40 | 15k| 40 | 17 | 22 |1725k|6931 | 0.000000e+00 | -- | Inf
724.72/724.81 c 725s| 2820k|394674 | 5814k| 2.1 | 338M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1731k|6939 | 0.000000e+00 | -- | Inf
728.24/728.26 c 728s| 2830k|395703 | 5834k| 2.1 | 339M| 36 | - | 40 | 16k| 40 | 17 | 22 |1738k|6955 | 0.000000e+00 | -- | Inf
732.42/732.40 c 732s| 2840k|396443 | 5855k| 2.1 | 339M| 36 | - | 40 | 13k| 40 | 17 | 22 |1744k|6966 | 0.000000e+00 | -- | Inf
735.83/735.90 c 736s| 2850k|397380 | 5876k| 2.1 | 339M| 36 | - | 40 | 12k| 40 | 17 | 22 |1751k|6982 | 0.000000e+00 | -- | Inf
738.72/738.71 c 739s| 2860k|398698 | 5897k| 2.1 | 341M| 36 | - | 40 | 14k| 40 | 17 | 22 |1757k|6989 | 0.000000e+00 | -- | Inf
742.11/742.16 c 742s| 2870k|399473 | 5917k| 2.1 | 342M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1764k|7003 | 0.000000e+00 | -- | Inf
746.02/746.07 c 746s| 2880k|400162 | 5938k| 2.1 | 342M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1771k|7011 | 0.000000e+00 | -- | Inf
749.41/749.47 c 749s| 2890k|400887 | 5958k| 2.1 | 343M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1778k|7020 | 0.000000e+00 | -- | Inf
752.02/752.03 c 752s| 2900k|403110 | 5980k| 2.1 | 344M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1783k|7031 | 0.000000e+00 | -- | Inf
754.32/754.39 c 754s| 2910k|405263 | 6000k| 2.1 | 346M| 36 | - | 40 | 12k| 40 | 17 | 22 |1789k|7046 | 0.000000e+00 | -- | Inf
756.91/756.94 c 757s| 2920k|407270 | 6021k| 2.1 | 348M| 36 | - | 40 | 12k| 40 | 17 | 22 |1794k|7056 | 0.000000e+00 | -- | Inf
759.21/759.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.21/759.28 c 759s| 2930k|409668 | 6042k| 2.1 | 350M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |1800k|7064 | 0.000000e+00 | -- | Inf
762.42/762.42 c 762s| 2940k|411221 | 6063k| 2.1 | 351M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1806k|7078 | 0.000000e+00 | -- | Inf
765.42/765.47 c 765s| 2950k|412646 | 6084k| 2.1 | 352M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1812k|7085 | 0.000000e+00 | -- | Inf
768.61/768.66 c 769s| 2960k|413851 | 6104k| 2.1 | 353M| 36 | - | 40 | 13k| 40 | 17 | 22 |1818k|7101 | 0.000000e+00 | -- | Inf
771.61/771.67 c 772s| 2970k|415226 | 6125k| 2.1 | 355M| 36 | - | 40 | 13k| 40 | 17 | 22 |1824k|7105 | 0.000000e+00 | -- | Inf
774.82/774.83 c 775s| 2980k|416460 | 6145k| 2.1 | 356M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |1831k|7120 | 0.000000e+00 | -- | Inf
777.81/777.88 c 778s| 2990k|417832 | 6165k| 2.1 | 357M| 36 | - | 40 | 15k| 40 | 17 | 22 |1837k|7131 | 0.000000e+00 | -- | Inf
780.72/780.73 c 781s| 3000k|419784 | 6186k| 2.1 | 359M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1843k|7142 | 0.000000e+00 | -- | Inf
784.01/784.06 c 784s| 3010k|421103 | 6207k| 2.1 | 361M| 36 | - | 40 | 18k| 0 | 0 | 22 |1849k|7158 | 0.000000e+00 | -- | Inf
787.64/787.66 c 788s| 3020k|422179 | 6228k| 2.1 | 362M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1856k|7165 | 0.000000e+00 | -- | Inf
791.32/791.39 c 791s| 3030k|423353 | 6250k| 2.1 | 364M| 36 | 5 | 40 | 20k| 40 | 17 | 22 |1863k|7173 | 0.000000e+00 | -- | Inf
795.42/795.47 c 795s| 3040k|424410 | 6271k| 2.1 | 364M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1870k|7186 | 0.000000e+00 | -- | Inf
798.91/798.94 c 799s| 3050k|425920 | 6291k| 2.1 | 365M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1876k|7198 | 0.000000e+00 | -- | Inf
802.93/802.99 c 803s| 3060k|426772 | 6312k| 2.1 | 366M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1883k|7204 | 0.000000e+00 | -- | Inf
807.33/807.36 c 807s| 3070k|427309 | 6333k| 2.1 | 367M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1889k|7218 | 0.000000e+00 | -- | Inf
810.82/810.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.82/810.88 c 811s| 3080k|428289 | 6354k| 2.1 | 368M| 36 | - | 40 | 16k| 40 | 17 | 22 |1896k|7230 | 0.000000e+00 | -- | Inf
815.03/815.03 c 815s| 3090k|428901 | 6374k| 2.1 | 368M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1903k|7243 | 0.000000e+00 | -- | Inf
818.52/818.51 c 819s| 3100k|429906 | 6395k| 2.1 | 370M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1910k|7252 | 0.000000e+00 | -- | Inf
822.31/822.39 c 822s| 3110k|431146 | 6416k| 2.1 | 371M| 36 | - | 40 | 15k| 0 | 0 | 22 |1916k|7267 | 0.000000e+00 | -- | Inf
825.32/825.37 c 825s| 3120k|433029 | 6436k| 2.1 | 372M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1922k|7276 | 0.000000e+00 | -- | Inf
828.41/828.42 c 828s| 3130k|434804 | 6457k| 2.1 | 374M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1928k|7284 | 0.000000e+00 | -- | Inf
832.22/832.20 c 832s| 3140k|436274 | 6477k| 2.1 | 375M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1934k|7299 | 0.000000e+00 | -- | Inf
836.12/836.14 c 836s| 3150k|437303 | 6498k| 2.1 | 376M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1941k|7311 | 0.000000e+00 | -- | Inf
839.91/839.97 c 840s| 3160k|438269 | 6519k| 2.1 | 377M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1948k|7321 | 0.000000e+00 | -- | Inf
844.32/844.39 c 844s| 3170k|438988 | 6539k| 2.1 | 378M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1954k|7329 | 0.000000e+00 | -- | Inf
848.51/848.52 c 849s| 3180k|440050 | 6559k| 2.1 | 379M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1961k|7338 | 0.000000e+00 | -- | Inf
851.62/851.66 c 852s| 3190k|441454 | 6580k| 2.1 | 381M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1967k|7347 | 0.000000e+00 | -- | Inf
855.62/855.62 c 856s| 3200k|442447 | 6601k| 2.1 | 382M| 36 | 5 | 40 | 20k| 40 | 17 | 22 |1974k|7361 | 0.000000e+00 | -- | Inf
860.32/860.36 c 860s| 3210k|443196 | 6621k| 2.1 | 382M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1980k|7374 | 0.000000e+00 | -- | Inf
864.02/864.04 c 864s| 3220k|444770 | 6642k| 2.1 | 383M| 36 | - | 40 | 17k| 40 | 17 | 22 |1986k|7389 | 0.000000e+00 | -- | Inf
867.32/867.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.32/867.37 c 867s| 3230k|446536 | 6662k| 2.1 | 385M| 36 | - | 40 | 18k| 40 | 17 | 22 |1992k|7392 | 0.000000e+00 | -- | Inf
871.02/871.02 c 871s| 3240k|447792 | 6682k| 2.1 | 386M| 36 | - | 40 | 19k| 40 | 17 | 22 |1999k|7399 | 0.000000e+00 | -- | Inf
874.81/874.84 c 875s| 3250k|448951 | 6702k| 2.1 | 388M| 36 | - | 40 | 21k| 40 | 17 | 22 |2005k|7412 | 0.000000e+00 | -- | Inf
878.62/878.65 c 879s| 3260k|450405 | 6723k| 2.1 | 389M| 36 | 5 | 40 | 22k| 40 | 17 | 22 |2011k|7426 | 0.000000e+00 | -- | Inf
882.72/882.77 c 883s| 3270k|451723 | 6743k| 2.1 | 391M| 36 | - | 40 | 23k| 40 | 17 | 22 |2018k|7432 | 0.000000e+00 | -- | Inf
889.02/889.07 c 889s| 3280k|452271 | 6764k| 2.1 | 390M| 36 | - | 40 | 15k| 40 | 17 | 22 |2025k|7445 | 0.000000e+00 | -- | Inf
892.92/892.91 c 893s| 3290k|453035 | 6784k| 2.1 | 390M| 36 | - | 40 | 14k| 0 | 0 | 22 |2031k|7458 | 0.000000e+00 | -- | Inf
897.02/897.08 c 897s| 3300k|453643 | 6805k| 2.1 | 391M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2038k|7462 | 0.000000e+00 | -- | Inf
900.62/900.64 c 901s| 3310k|454588 | 6826k| 2.1 | 391M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2045k|7474 | 0.000000e+00 | -- | Inf
904.42/904.41 c 904s| 3320k|455172 | 6846k| 2.1 | 392M| 36 | - | 40 |9860 | 40 | 17 | 22 |2052k|7486 | 0.000000e+00 | -- | Inf
907.54/907.57 c 908s| 3330k|456019 | 6867k| 2.1 | 393M| 36 | - | 40 | 10k| 40 | 17 | 22 |2058k|7494 | 0.000000e+00 | -- | Inf
911.31/911.32 c 911s| 3340k|456601 | 6888k| 2.1 | 394M| 36 | - | 40 | 10k| 40 | 17 | 22 |2065k|7510 | 0.000000e+00 | -- | Inf
914.21/914.20 c 914s| 3350k|457771 | 6911k| 2.1 | 395M| 36 | - | 40 | 11k| 40 | 17 | 22 |2072k|7521 | 0.000000e+00 | -- | Inf
917.52/917.56 c 918s| 3360k|458635 | 6932k| 2.1 | 396M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2079k|7528 | 0.000000e+00 | -- | Inf
921.32/921.38 c 921s| 3370k|459161 | 6953k| 2.1 | 396M| 36 | 5 | 40 |9616 | 40 | 17 | 22 |2086k|7542 | 0.000000e+00 | -- | Inf
924.92/924.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
924.92/924.98 c 925s| 3380k|459736 | 6974k| 2.1 | 397M| 36 | 5 | 40 |9470 | 40 | 17 | 22 |2093k|7551 | 0.000000e+00 | -- | Inf
927.82/927.87 c 928s| 3390k|460561 | 6994k| 2.1 | 398M| 36 | - | 40 | 10k| 40 | 17 | 22 |2099k|7561 | 0.000000e+00 | -- | Inf
931.81/931.84 c 932s| 3400k|460926 | 7015k| 2.1 | 399M| 36 | - | 40 |9710 | 40 | 17 | 22 |2106k|7571 | 0.000000e+00 | -- | Inf
935.04/935.03 c 935s| 3410k|461767 | 7035k| 2.1 | 400M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2113k|7580 | 0.000000e+00 | -- | Inf
937.32/937.40 c 937s| 3420k|463615 | 7056k| 2.1 | 402M| 36 | - | 40 | 12k| 0 | 0 | 22 |2119k|7592 | 0.000000e+00 | -- | Inf
940.32/940.30 c 940s| 3430k|464529 | 7077k| 2.1 | 403M| 36 | - | 40 | 12k| 0 | 0 | 22 |2125k|7612 | 0.000000e+00 | -- | Inf
944.22/944.28 c 944s| 3440k|465099 | 7097k| 2.1 | 403M| 36 | - | 40 | 10k| 40 | 17 | 22 |2132k|7625 | 0.000000e+00 | -- | Inf
947.82/947.89 c 948s| 3450k|465599 | 7118k| 2.1 | 403M| 36 | - | 40 |8739 | 0 | 0 | 22 |2139k|7632 | 0.000000e+00 | -- | Inf
951.12/951.18 c 951s| 3460k|466134 | 7139k| 2.1 | 404M| 36 | - | 40 |8920 | 0 | 0 | 22 |2146k|7641 | 0.000000e+00 | -- | Inf
954.52/954.52 c 955s| 3470k|466683 | 7160k| 2.1 | 405M| 36 | 5 | 40 |9938 | 40 | 17 | 22 |2153k|7644 | 0.000000e+00 | -- | Inf
958.14/958.18 c 958s| 3480k|467067 | 7180k| 2.1 | 406M| 36 | 5 | 40 |8983 | 40 | 17 | 22 |2160k|7653 | 0.000000e+00 | -- | Inf
960.62/960.65 c 961s| 3490k|468651 | 7201k| 2.1 | 407M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2166k|7663 | 0.000000e+00 | -- | Inf
963.64/963.68 c 964s| 3500k|469247 | 7222k| 2.1 | 408M| 36 | - | 40 | 11k| 0 | 0 | 22 |2173k|7677 | 0.000000e+00 | -- | Inf
967.52/967.57 c 968s| 3510k|469670 | 7242k| 2.1 | 409M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2180k|7694 | 0.000000e+00 | -- | Inf
970.92/970.97 c 971s| 3520k|470370 | 7263k| 2.1 | 410M| 36 | - | 40 | 10k| 40 | 17 | 22 |2187k|7705 | 0.000000e+00 | -- | Inf
973.92/973.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.92/973.93 c 974s| 3530k|471217 | 7283k| 2.1 | 411M| 36 | - | 40 | 11k| 40 | 17 | 22 |2194k|7713 | 0.000000e+00 | -- | Inf
977.94/977.94 c 978s| 3540k|471562 | 7304k| 2.1 | 411M| 36 | - | 40 |9315 | 40 | 17 | 22 |2201k|7730 | 0.000000e+00 | -- | Inf
980.72/980.77 c 981s| 3550k|473276 | 7324k| 2.1 | 412M| 36 | 5 | 40 |9920 | 40 | 17 | 22 |2207k|7733 | 0.000000e+00 | -- | Inf
983.23/983.24 c 983s| 3560k|475223 | 7345k| 2.1 | 414M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2213k|7746 | 0.000000e+00 | -- | Inf
985.82/985.82 c 986s| 3570k|477150 | 7365k| 2.1 | 416M| 36 | - | 40 | 13k| 40 | 17 | 22 |2219k|7753 | 0.000000e+00 | -- | Inf
988.72/988.78 c 989s| 3580k|478690 | 7386k| 2.1 | 418M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2225k|7759 | 0.000000e+00 | -- | Inf
991.92/991.95 c 992s| 3590k|480030 | 7406k| 2.1 | 419M| 36 | - | 40 | 14k| 40 | 17 | 22 |2231k|7764 | 0.000000e+00 | -- | Inf
994.92/994.90 c 995s| 3600k|481584 | 7427k| 2.1 | 420M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2237k|7772 | 0.000000e+00 | -- | Inf
998.33/998.31 c 998s| 3610k|482786 | 7447k| 2.1 | 422M| 36 | - | 40 | 15k| 40 | 17 | 22 |2243k|7778 | 0.000000e+00 | -- | Inf
1002.14/1002.16 c 1002s| 3620k|483744 | 7467k| 2.1 | 422M| 36 | - | 40 | 14k| 0 | 0 | 22 |2250k|7791 | 0.000000e+00 | -- | Inf
1005.52/1005.51 c 1006s| 3630k|484863 | 7488k| 2.1 | 424M| 36 | - | 40 | 15k| 0 | 0 | 22 |2256k|7795 | 0.000000e+00 | -- | Inf
1009.12/1009.17 c 1009s| 3640k|485877 | 7509k| 2.1 | 425M| 36 | - | 40 | 15k| 40 | 17 | 22 |2263k|7797 | 0.000000e+00 | -- | Inf
1012.32/1012.31 c 1012s| 3650k|487197 | 7529k| 2.1 | 426M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2269k|7812 | 0.000000e+00 | -- | Inf
1016.34/1016.36 c 1016s| 3660k|488118 | 7550k| 2.1 | 427M| 36 | - | 40 | 17k| 40 | 17 | 22 |2276k|7817 | 0.000000e+00 | -- | Inf
1020.63/1020.67 c 1021s| 3670k|488896 | 7571k| 2.1 | 428M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2283k|7822 | 0.000000e+00 | -- | Inf
1024.15/1024.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.15/1024.15 c 1024s| 3680k|490509 | 7591k| 2.1 | 430M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2289k|7836 | 0.000000e+00 | -- | Inf
1028.33/1028.38 c 1028s| 3690k|491303 | 7612k| 2.1 | 431M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |2296k|7847 | 0.000000e+00 | -- | Inf
1033.32/1033.30 c 1033s| 3700k|491889 | 7631k| 2.1 | 432M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2302k|7866 | 0.000000e+00 | -- | Inf
1037.82/1037.82 c 1038s| 3710k|492500 | 7652k| 2.1 | 433M| 36 | - | 40 | 18k| 40 | 17 | 22 |2309k|7887 | 0.000000e+00 | -- | Inf
1043.03/1043.05 c 1043s| 3720k|493075 | 7673k| 2.1 | 432M| 36 | - | 40 | 13k| 40 | 17 | 22 |2316k|7893 | 0.000000e+00 | -- | Inf
1047.33/1047.35 c 1047s| 3730k|493831 | 7693k| 2.1 | 432M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2323k|7905 | 0.000000e+00 | -- | Inf
1050.54/1050.56 c 1051s| 3740k|495057 | 7714k| 2.1 | 433M| 36 | - | 40 | 11k| 40 | 17 | 22 |2329k|7918 | 0.000000e+00 | -- | Inf
1053.62/1053.61 c 1054s| 3750k|496532 | 7735k| 2.1 | 434M| 36 | - | 40 | 11k| 40 | 17 | 22 |2336k|7930 | 0.000000e+00 | -- | Inf
1056.23/1056.28 c 1056s| 3760k|498317 | 7756k| 2.1 | 436M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2341k|7944 | 0.000000e+00 | -- | Inf
1059.34/1059.38 c 1059s| 3770k|499681 | 7776k| 2.1 | 438M| 36 | - | 40 | 13k| 40 | 17 | 22 |2348k|7948 | 0.000000e+00 | -- | Inf
1062.54/1062.61 c 1063s| 3780k|500777 | 7797k| 2.1 | 439M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2354k|7962 | 0.000000e+00 | -- | Inf
1065.95/1065.92 c 1066s| 3790k|501775 | 7817k| 2.1 | 440M| 36 | - | 40 | 14k| 40 | 17 | 22 |2361k|7980 | 0.000000e+00 | -- | Inf
1069.52/1069.51 c 1070s| 3800k|502666 | 7838k| 2.1 | 441M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2367k|7985 | 0.000000e+00 | -- | Inf
1073.12/1073.14 c 1073s| 3810k|503396 | 7859k| 2.1 | 443M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2374k|7990 | 0.000000e+00 | -- | Inf
1077.22/1077.28 c 1077s| 3820k|504125 | 7879k| 2.1 | 443M| 36 | - | 40 | 14k| 40 | 17 | 22 |2381k|8003 | 0.000000e+00 | -- | Inf
1081.24/1081.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1081.24/1081.22 c 1081s| 3830k|504962 | 7900k| 2.1 | 443M| 36 | - | 40 | 13k| 40 | 17 | 22 |2388k|8011 | 0.000000e+00 | -- | Inf
1084.42/1084.47 c 1084s| 3840k|506236 | 7921k| 2.1 | 445M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2394k|8023 | 0.000000e+00 | -- | Inf
1088.22/1088.24 c 1088s| 3850k|506823 | 7941k| 2.1 | 446M| 36 | - | 40 | 14k| 0 | 0 | 22 |2401k|8029 | 0.000000e+00 | -- | Inf
1091.03/1091.09 c 1091s| 3860k|509248 | 7962k| 2.1 | 447M| 36 | - | 40 | 14k| 40 | 17 | 22 |2407k|8039 | 0.000000e+00 | -- | Inf
1094.23/1094.29 c 1094s| 3870k|510863 | 7983k| 2.1 | 449M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2413k|8048 | 0.000000e+00 | -- | Inf
1097.74/1097.80 c 1098s| 3880k|512077 | 8004k| 2.1 | 450M| 36 | - | 40 | 16k| 40 | 17 | 22 |2419k|8053 | 0.000000e+00 | -- | Inf
1101.43/1101.44 c 1101s| 3890k|513219 | 8025k| 2.1 | 451M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2426k|8061 | 0.000000e+00 | -- | Inf
1105.44/1105.45 c 1105s| 3900k|514093 | 8046k| 2.1 | 453M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2433k|8075 | 0.000000e+00 | -- | Inf
1109.52/1109.52 c 1110s| 3910k|514852 | 8067k| 2.1 | 454M| 36 | - | 40 | 17k| 40 | 17 | 22 |2439k|8084 | 0.000000e+00 | -- | Inf
1113.52/1113.50 c 1114s| 3920k|515545 | 8088k| 2.1 | 455M| 36 | - | 40 | 17k| 40 | 17 | 22 |2446k|8090 | 0.000000e+00 | -- | Inf
1118.02/1118.08 c 1118s| 3930k|515905 | 8109k| 2.1 | 455M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2453k|8107 | 0.000000e+00 | -- | Inf
1122.53/1122.55 c 1123s| 3940k|516530 | 8129k| 2.1 | 456M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2460k|8121 | 0.000000e+00 | -- | Inf
1126.83/1126.88 c 1127s| 3950k|517267 | 8150k| 2.1 | 456M| 36 | - | 40 | 13k| 40 | 17 | 22 |2467k|8129 | 0.000000e+00 | -- | Inf
1129.53/1129.53 c 1130s| 3960k|518847 | 8171k| 2.1 | 458M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2473k|8137 | 0.000000e+00 | -- | Inf
1132.62/1132.68 c 1133s| 3970k|520321 | 8193k| 2.1 | 459M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2479k|8144 | 0.000000e+00 | -- | Inf
1136.63/1136.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.63/1136.67 c 1137s| 3980k|520878 | 8214k| 2.1 | 460M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2486k|8153 | 0.000000e+00 | -- | Inf
1141.33/1141.39 c 1141s| 3990k|521493 | 8235k| 2.1 | 460M| 36 | - | 40 | 13k| 40 | 17 | 22 |2493k|8162 | 0.000000e+00 | -- | Inf
1144.73/1144.72 c 1145s| 4000k|522493 | 8255k| 2.1 | 461M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2499k|8170 | 0.000000e+00 | -- | Inf
1148.02/1148.09 c 1148s| 4010k|523918 | 8277k| 2.1 | 462M| 36 | - | 40 | 14k| 0 | 0 | 22 |2506k|8180 | 0.000000e+00 | -- | Inf
1151.33/1151.33 c 1151s| 4020k|524759 | 8298k| 2.1 | 464M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2512k|8194 | 0.000000e+00 | -- | Inf
1156.04/1156.04 c 1156s| 4030k|525229 | 8318k| 2.1 | 464M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2519k|8207 | 0.000000e+00 | -- | Inf
1159.53/1159.55 c 1160s| 4040k|526126 | 8339k| 2.1 | 465M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2526k|8217 | 0.000000e+00 | -- | Inf
1163.53/1163.53 c 1164s| 4050k|526720 | 8359k| 2.1 | 465M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2533k|8221 | 0.000000e+00 | -- | Inf
1167.15/1167.14 c 1167s| 4060k|527351 | 8379k| 2.1 | 465M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2540k|8234 | 0.000000e+00 | -- | Inf
1170.63/1170.64 c 1171s| 4070k|528059 | 8400k| 2.1 | 466M| 36 | 5 | 40 |9727 | 40 | 17 | 22 |2546k|8243 | 0.000000e+00 | -- | Inf
1174.23/1174.22 c 1174s| 4080k|528632 | 8421k| 2.1 | 467M| 36 | - | 40 |9670 | 40 | 17 | 22 |2553k|8255 | 0.000000e+00 | -- | Inf
1177.42/1177.46 c 1177s| 4090k|529392 | 8442k| 2.1 | 468M| 36 | - | 40 | 10k| 40 | 17 | 22 |2560k|8324 | 0.000000e+00 | -- | Inf
1180.13/1180.10 c 1180s| 4100k|530411 | 8463k| 2.1 | 470M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2567k|8324 | 0.000000e+00 | -- | Inf
1184.03/1184.01 c 1184s| 4110k|531017 | 8484k| 2.1 | 470M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2573k|8326 | 0.000000e+00 | -- | Inf
1187.23/1187.28 c 1187s| 4120k|531747 | 8504k| 2.1 | 471M| 36 | - | 40 | 12k| 40 | 17 | 22 |2580k|8326 | 0.000000e+00 | -- | Inf
1191.03/1191.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1191.03/1191.08 c 1191s| 4130k|532241 | 8525k| 2.1 | 472M| 36 | - | 40 | 10k| 40 | 17 | 22 |2587k|8389 | 0.000000e+00 | -- | Inf
1194.54/1194.59 c 1195s| 4140k|532827 | 8545k| 2.1 | 473M| 36 | - | 40 | 11k| 40 | 17 | 22 |2594k|8389 | 0.000000e+00 | -- | Inf
1198.13/1198.19 c 1198s| 4150k|533439 | 8566k| 2.1 | 473M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2601k|8389 | 0.000000e+00 | -- | Inf
1202.03/1202.09 c 1202s| 4160k|533794 | 8586k| 2.1 | 473M| 36 | 5 | 40 |9295 | 40 | 17 | 22 |2608k|8393 | 0.000000e+00 | -- | Inf
1205.65/1205.67 c 1206s| 4170k|534257 | 8607k| 2.1 | 474M| 36 | 5 | 40 |9128 | 40 | 17 | 22 |2615k|8393 | 0.000000e+00 | -- | Inf
1209.13/1209.14 c 1209s| 4180k|534866 | 8628k| 2.1 | 475M| 36 | 5 | 40 |9921 | 40 | 17 | 22 |2621k|8393 | 0.000000e+00 | -- | Inf
1212.14/1212.17 c 1212s| 4190k|535758 | 8649k| 2.1 | 476M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2628k|8403 | 0.000000e+00 | -- | Inf
1215.55/1215.58 c 1216s| 4200k|536562 | 8669k| 2.1 | 477M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2635k|8411 | 0.000000e+00 | -- | Inf
1218.93/1218.90 c 1219s| 4210k|537708 | 8690k| 2.1 | 478M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2641k|8418 | 0.000000e+00 | -- | Inf
1221.73/1221.72 c 1222s| 4220k|539073 | 8710k| 2.1 | 480M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2647k|8421 | 0.000000e+00 | -- | Inf
1224.83/1224.83 c 1225s| 4230k|540169 | 8731k| 2.1 | 481M| 36 | - | 40 | 15k| 40 | 17 | 22 |2653k|8425 | 0.000000e+00 | -- | Inf
1229.03/1229.01 c 1229s| 4240k|540765 | 8751k| 2.1 | 482M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2660k|8430 | 0.000000e+00 | -- | Inf
1232.62/1232.64 c 1233s| 4250k|541439 | 8771k| 2.1 | 482M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2667k|8439 | 0.000000e+00 | -- | Inf
1236.52/1236.53 c 1237s| 4260k|542061 | 8792k| 2.1 | 483M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2674k|8452 | 0.000000e+00 | -- | Inf
1240.03/1240.09 c 1240s| 4270k|542827 | 8813k| 2.1 | 483M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2680k|8466 | 0.000000e+00 | -- | Inf
1243.83/1243.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1243.83/1243.85 c 1244s| 4280k|543351 | 8835k| 2.1 | 484M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2688k|8471 | 0.000000e+00 | -- | Inf
1247.13/1247.11 c 1247s| 4290k|544211 | 8855k| 2.1 | 485M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2695k|8478 | 0.000000e+00 | -- | Inf
1250.53/1250.51 c 1251s| 4300k|544908 | 8876k| 2.1 | 486M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2701k|8479 | 0.000000e+00 | -- | Inf
1254.53/1254.56 c 1255s| 4310k|545286 | 8897k| 2.1 | 486M| 36 | - | 40 |9486 | 0 | 0 | 22 |2708k|8488 | 0.000000e+00 | -- | Inf
1257.35/1257.37 c 1257s| 4320k|546288 | 8918k| 2.1 | 488M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2715k|8500 | 0.000000e+00 | -- | Inf
1260.43/1260.48 c 1260s| 4330k|547196 | 8938k| 2.1 | 489M| 36 | - | 40 | 13k| 40 | 17 | 22 |2721k|8512 | 0.000000e+00 | -- | Inf
1264.63/1264.60 c 1265s| 4340k|547608 | 8959k| 2.1 | 489M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2729k|8525 | 0.000000e+00 | -- | Inf
1268.03/1268.04 c 1268s| 4350k|548160 | 8980k| 2.1 | 490M| 36 | - | 40 | 10k| 40 | 17 | 22 |2735k|8531 | 0.000000e+00 | -- | Inf
1271.13/1271.12 c 1271s| 4360k|548972 | 9001k| 2.1 | 491M| 36 | - | 40 | 11k| 40 | 17 | 22 |2742k|8535 | 0.000000e+00 | -- | Inf
1275.03/1275.00 c 1275s| 4370k|549366 | 9022k| 2.1 | 491M| 36 | 5 | 40 |9896 | 40 | 17 | 22 |2749k|8548 | 0.000000e+00 | -- | Inf
1278.43/1278.46 c 1278s| 4380k|549900 | 9042k| 2.1 | 492M| 36 | 5 | 40 |9689 | 40 | 17 | 22 |2756k|8563 | 0.000000e+00 | -- | Inf
1281.93/1281.93 c 1282s| 4390k|550472 | 9063k| 2.1 | 493M| 36 | - | 40 |9998 | 40 | 17 | 22 |2763k|8576 | 0.000000e+00 | -- | Inf
1285.23/1285.26 c 1285s| 4400k|551228 | 9084k| 2.1 | 494M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2770k|8585 | 0.000000e+00 | -- | Inf
1288.63/1288.63 c 1289s| 4410k|551900 | 9105k| 2.1 | 495M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2776k|8655 | 0.000000e+00 | -- | Inf
1292.03/1292.00 c 1292s| 4420k|552679 | 9125k| 2.1 | 495M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2783k|8655 | 0.000000e+00 | -- | Inf
1294.75/1294.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.75/1294.76 c 1295s| 4430k|553668 | 9146k| 2.1 | 497M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2789k|8655 | 0.000000e+00 | -- | Inf
1297.94/1298.00 c 1298s| 4440k|554684 | 9167k| 2.1 | 499M| 36 | - | 40 | 14k| 40 | 17 | 22 |2796k|8655 | 0.000000e+00 | -- | Inf
1301.83/1301.84 c 1302s| 4450k|555524 | 9188k| 2.1 | 499M| 36 | - | 40 | 13k| 40 | 17 | 22 |2803k|8659 | 0.000000e+00 | -- | Inf
1305.76/1305.79 c 1306s| 4460k|556114 | 9209k| 2.1 | 499M| 36 | - | 40 | 11k| 40 | 17 | 22 |2810k|8659 | 0.000000e+00 | -- | Inf
1309.05/1309.07 c 1309s| 4470k|557117 | 9231k| 2.1 | 501M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2816k|8663 | 0.000000e+00 | -- | Inf
1312.83/1312.85 c 1313s| 4480k|557615 | 9251k| 2.1 | 501M| 36 | - | 40 | 11k| 0 | 0 | 22 |2823k|8676 | 0.000000e+00 | -- | Inf
1316.43/1316.46 c 1316s| 4490k|558270 | 9272k| 2.1 | 502M| 36 | - | 40 | 11k| 40 | 17 | 22 |2830k|8685 | 0.000000e+00 | -- | Inf
1320.33/1320.37 c 1320s| 4500k|558732 | 9292k| 2.1 | 502M| 36 | 5 | 40 |9297 | 40 | 17 | 22 |2837k|8691 | 0.000000e+00 | -- | Inf
1323.83/1323.85 c 1324s| 4510k|559292 | 9313k| 2.1 | 503M| 36 | 5 | 40 |9755 | 40 | 17 | 22 |2844k|8700 | 0.000000e+00 | -- | Inf
1327.33/1327.32 c 1327s| 4520k|559883 | 9334k| 2.1 | 504M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2851k|8705 | 0.000000e+00 | -- | Inf
1330.63/1330.63 c 1331s| 4530k|560570 | 9355k| 2.1 | 505M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2857k|8711 | 0.000000e+00 | -- | Inf
1333.25/1333.29 c 1333s| 4540k|561801 | 9376k| 2.1 | 507M| 36 | - | 40 | 12k| 40 | 17 | 22 |2864k|8716 | 0.000000e+00 | -- | Inf
1336.83/1336.88 c 1337s| 4550k|562599 | 9397k| 2.1 | 507M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2871k|8724 | 0.000000e+00 | -- | Inf
1340.23/1340.25 c 1340s| 4560k|563473 | 9417k| 2.1 | 508M| 36 | - | 40 | 12k| 40 | 17 | 22 |2877k|8728 | 0.000000e+00 | -- | Inf
1343.23/1343.29 c 1343s| 4570k|564622 | 9439k| 2.1 | 510M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2884k|8733 | 0.000000e+00 | -- | Inf
1346.34/1346.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.34/1346.39 c 1346s| 4580k|565370 | 9460k| 2.1 | 511M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2891k|8740 | 0.000000e+00 | -- | Inf
1349.75/1349.72 c 1350s| 4590k|566247 | 9481k| 2.1 | 512M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2897k|8747 | 0.000000e+00 | -- | Inf
1353.53/1353.50 c 1354s| 4600k|566962 | 9501k| 2.1 | 512M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2904k|8761 | 0.000000e+00 | -- | Inf
1357.23/1357.28 c 1357s| 4610k|567642 | 9522k| 2.1 | 513M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2911k|8767 | 0.000000e+00 | -- | Inf
1359.93/1359.93 c 1360s| 4620k|569174 | 9542k| 2.1 | 515M| 36 | - | 40 | 15k| 40 | 17 | 22 |2917k|8771 | 0.000000e+00 | -- | Inf
1363.63/1363.65 c 1364s| 4630k|569834 | 9562k| 2.1 | 516M| 36 | - | 40 | 14k| 40 | 17 | 22 |2924k|8775 | 0.000000e+00 | -- | Inf
1368.04/1368.01 c 1368s| 4640k|570258 | 9583k| 2.1 | 516M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2931k|8783 | 0.000000e+00 | -- | Inf
1371.53/1371.53 c 1372s| 4650k|570967 | 9603k| 2.1 | 516M| 36 | - | 40 | 11k| 40 | 17 | 22 |2938k|8786 | 0.000000e+00 | -- | Inf
1375.53/1375.58 c 1376s| 4660k|571362 | 9624k| 2.1 | 517M| 36 | - | 40 | 10k| 40 | 17 | 22 |2944k|8800 | 0.000000e+00 | -- | Inf
1379.24/1379.26 c 1379s| 4670k|571931 | 9645k| 2.1 | 517M| 36 | 5 | 40 |9899 | 40 | 17 | 22 |2951k|8804 | 0.000000e+00 | -- | Inf
1382.14/1382.10 c 1382s| 4680k|573062 | 9665k| 2.1 | 519M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2958k|8814 | 0.000000e+00 | -- | Inf
1385.14/1385.13 c 1385s| 4690k|573809 | 9684k| 2.1 | 520M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2965k|8823 | 0.000000e+00 | -- | Inf
1389.04/1389.02 c 1389s| 4700k|574194 | 9704k| 2.1 | 520M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2972k|8833 | 0.000000e+00 | -- | Inf
1392.33/1392.31 c 1392s| 4710k|575419 | 9725k| 2.1 | 521M| 36 | - | 40 | 11k| 40 | 17 | 22 |2978k|8842 | 0.000000e+00 | -- | Inf
1395.03/1395.06 c 1395s| 4720k|576976 | 9748k| 2.1 | 523M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2984k|8854 | 0.000000e+00 | -- | Inf
1398.05/1398.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.05/1398.07 c 1398s| 4730k|578354 | 9770k| 2.1 | 525M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2991k|8857 | 0.000000e+00 | -- | Inf
1401.46/1401.42 c 1401s| 4740k|579284 | 9792k| 2.1 | 526M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2998k|8867 | 0.000000e+00 | -- | Inf
1404.93/1404.91 c 1405s| 4750k|580074 | 9813k| 2.1 | 527M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3005k|8873 | 0.000000e+00 | -- | Inf
1408.54/1408.55 c 1409s| 4760k|580767 | 9834k| 2.1 | 528M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3012k|8885 | 0.000000e+00 | -- | Inf
1412.63/1412.66 c 1413s| 4770k|581187 | 9856k| 2.1 | 529M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3020k|8891 | 0.000000e+00 | -- | Inf
1417.24/1417.28 c 1417s| 4780k|581718 | 9877k| 2.1 | 529M| 36 | - | 40 | 13k| 40 | 17 | 22 |3026k|8895 | 0.000000e+00 | -- | Inf
1421.54/1421.52 c 1422s| 4790k|582323 | 9897k| 2.1 | 529M| 36 | - | 40 | 13k| 40 | 17 | 22 |3033k|8905 | 0.000000e+00 | -- | Inf
1425.44/1425.43 c 1425s| 4800k|583037 | 9918k| 2.1 | 530M| 36 | - | 40 | 13k| 40 | 17 | 22 |3040k|8914 | 0.000000e+00 | -- | Inf
1429.04/1429.05 c 1429s| 4810k|583973 | 9939k| 2.1 | 531M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3047k|8917 | 0.000000e+00 | -- | Inf
1432.33/1432.34 c 1432s| 4820k|584907 | 9959k| 2.1 | 532M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3053k|8926 | 0.000000e+00 | -- | Inf
1435.73/1435.78 c 1436s| 4830k|585829 | 9980k| 2.1 | 533M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3060k|8935 | 0.000000e+00 | -- | Inf
1439.95/1439.93 c 1440s| 4840k|586507 | 10001k| 2.1 | 534M| 36 | - | 40 | 12k| 40 | 17 | 22 |3067k|8939 | 0.000000e+00 | -- | Inf
1442.83/1442.82 c 1443s| 4850k|588306 | 10021k| 2.1 | 535M| 36 | - | 40 | 13k| 40 | 17 | 22 |3072k|8945 | 0.000000e+00 | -- | Inf
1445.94/1445.90 c 1446s| 4860k|589650 | 10041k| 2.1 | 537M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3079k|8952 | 0.000000e+00 | -- | Inf
1449.24/1449.26 c 1449s| 4870k|590723 | 10061k| 2.1 | 538M| 36 | - | 40 | 15k| 0 | 0 | 22 |3085k|8960 | 0.000000e+00 | -- | Inf
1452.84/1452.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1452.84/1452.83 c 1453s| 4880k|591699 | 10081k| 2.1 | 540M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |3092k|8965 | 0.000000e+00 | -- | Inf
1457.34/1457.38 c 1457s| 4890k|592096 | 10101k| 2.1 | 540M| 36 | - | 40 | 16k| 40 | 17 | 22 |3099k|8971 | 0.000000e+00 | -- | Inf
1461.85/1461.83 c 1462s| 4900k|592712 | 10122k| 2.1 | 541M| 36 | - | 40 | 14k| 40 | 17 | 22 |3106k|8976 | 0.000000e+00 | -- | Inf
1465.74/1465.77 c 1466s| 4910k|593599 | 10143k| 2.1 | 541M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3113k|8976 | 0.000000e+00 | -- | Inf
1469.94/1469.93 c 1470s| 4920k|594233 | 10164k| 2.1 | 541M| 36 | - | 40 | 11k| 40 | 17 | 22 |3120k|8981 | 0.000000e+00 | -- | Inf
1473.54/1473.53 c 1474s| 4930k|594977 | 10184k| 2.1 | 542M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3126k|9008 | 0.000000e+00 | -- | Inf
1476.54/1476.55 c 1477s| 4940k|596251 | 10204k| 2.1 | 544M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3133k|9008 | 0.000000e+00 | -- | Inf
1479.63/1479.64 c 1480s| 4950k|597491 | 10226k| 2.1 | 545M| 36 | - | 40 | 14k| 40 | 17 | 22 |3139k|9008 | 0.000000e+00 | -- | Inf
1483.43/1483.45 c 1483s| 4960k|598324 | 10246k| 2.1 | 546M| 36 | - | 40 | 13k| 40 | 17 | 22 |3146k|9008 | 0.000000e+00 | -- | Inf
1487.33/1487.30 c 1487s| 4970k|598944 | 10267k| 2.1 | 547M| 36 | - | 40 | 14k| 40 | 17 | 22 |3153k|9014 | 0.000000e+00 | -- | Inf
1490.74/1490.77 c 1491s| 4980k|599828 | 10287k| 2.1 | 548M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3160k|9021 | 0.000000e+00 | -- | Inf
1495.04/1495.04 c 1495s| 4990k|600312 | 10308k| 2.1 | 548M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3166k|9022 | 0.000000e+00 | -- | Inf
1499.25/1499.31 c 1499s| 5000k|600711 | 10328k| 2.1 | 548M| 36 | - | 40 | 10k| 0 | 0 | 22 |3174k|9030 | 0.000000e+00 | -- | Inf
1503.04/1503.05 c 1503s| 5010k|601209 | 10348k| 2.1 | 549M| 36 | - | 40 | 10k| 0 | 0 | 22 |3180k|9037 | 0.000000e+00 | -- | Inf
1506.84/1506.87 c 1507s| 5020k|601685 | 10369k| 2.1 | 550M| 36 | 5 | 40 |9766 | 40 | 17 | 22 |3187k|9048 | 0.000000e+00 | -- | Inf
1510.43/1510.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.43/1510.49 c 1510s| 5030k|602158 | 10390k| 2.1 | 550M| 36 | 5 | 40 |9603 | 40 | 17 | 22 |3194k|9059 | 0.000000e+00 | -- | Inf
1514.04/1514.05 c 1514s| 5040k|602820 | 10410k| 2.1 | 551M| 36 | 5 | 40 |9641 | 40 | 17 | 22 |3201k|9069 | 0.000000e+00 | -- | Inf
1517.74/1517.74 c 1518s| 5050k|603209 | 10431k| 2.1 | 552M| 36 | 5 | 40 |9666 | 40 | 17 | 22 |3208k|9074 | 0.000000e+00 | -- | Inf
1521.64/1521.68 c 1522s| 5060k|603496 | 10451k| 2.1 | 552M| 36 | 5 | 40 |8668 | 40 | 17 | 22 |3215k|9084 | 0.000000e+00 | -- | Inf
1525.33/1525.37 c 1525s| 5070k|603884 | 10472k| 2.1 | 553M| 36 | 5 | 40 |8724 | 40 | 17 | 22 |3222k|9109 | 0.000000e+00 | -- | Inf
1527.85/1527.85 c 1528s| 5080k|605364 | 10492k| 2.1 | 554M| 36 | - | 40 | 10k| 40 | 17 | 22 |3228k|9109 | 0.000000e+00 | -- | Inf
1531.34/1531.37 c 1531s| 5090k|605667 | 10512k| 2.1 | 555M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3235k|9119 | 0.000000e+00 | -- | Inf
1535.04/1535.01 c 1535s| 5100k|606196 | 10532k| 2.1 | 556M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3242k|9123 | 0.000000e+00 | -- | Inf
1537.94/1537.91 c 1538s| 5110k|607282 | 10553k| 2.1 | 557M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3248k|9136 | 0.000000e+00 | -- | Inf
1541.53/1541.59 c 1542s| 5120k|607851 | 10574k| 2.1 | 558M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3255k|9145 | 0.000000e+00 | -- | Inf
1545.45/1545.47 c 1545s| 5130k|608432 | 10595k| 2.1 | 558M| 36 | - | 40 | 11k| 40 | 17 | 22 |3262k|9151 | 0.000000e+00 | -- | Inf
1549.44/1549.47 c 1549s| 5140k|608898 | 10615k| 2.1 | 559M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3269k|9158 | 0.000000e+00 | -- | Inf
1553.26/1553.28 c 1553s| 5150k|609338 | 10636k| 2.1 | 560M| 36 | - | 40 | 10k| 0 | 0 | 22 |3276k|9165 | 0.000000e+00 | -- | Inf
1556.04/1556.08 c 1556s| 5160k|610621 | 10657k| 2.1 | 561M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3282k|9172 | 0.000000e+00 | -- | Inf
1558.94/1558.95 c 1559s| 5170k|611374 | 10678k| 2.1 | 562M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3289k|9177 | 0.000000e+00 | -- | Inf
1562.74/1562.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1562.74/1562.71 c 1563s| 5180k|611977 | 10699k| 2.1 | 563M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3296k|9183 | 0.000000e+00 | -- | Inf
1566.04/1566.00 c 1566s| 5190k|612868 | 10720k| 2.1 | 564M| 36 | - | 40 | 12k| 40 | 17 | 22 |3302k|9196 | 0.000000e+00 | -- | Inf
1570.14/1570.10 c 1570s| 5200k|613287 | 10740k| 2.1 | 564M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3309k|9206 | 0.000000e+00 | -- | Inf
1573.84/1573.86 c 1574s| 5210k|613714 | 10760k| 2.1 | 564M| 36 | - | 40 |9495 | 40 | 17 | 22 |3316k|9218 | 0.000000e+00 | -- | Inf
1577.46/1577.45 c 1577s| 5220k|614233 | 10781k| 2.1 | 565M| 36 | 5 | 40 |9743 | 40 | 17 | 22 |3323k|9225 | 0.000000e+00 | -- | Inf
1580.76/1580.76 c 1581s| 5230k|614829 | 10802k| 2.1 | 566M| 36 | - | 40 |9792 | 40 | 17 | 22 |3330k|9235 | 0.000000e+00 | -- | Inf
1584.44/1584.46 c 1584s| 5240k|615212 | 10822k| 2.1 | 566M| 36 | 5 | 40 |9271 | 40 | 17 | 22 |3337k|9243 | 0.000000e+00 | -- | Inf
1587.36/1587.32 c 1587s| 5250k|616181 | 10843k| 2.1 | 568M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3344k|9253 | 0.000000e+00 | -- | Inf
1590.94/1590.95 c 1591s| 5260k|616749 | 10864k| 2.1 | 568M| 36 | - | 40 | 10k| 40 | 17 | 22 |3350k|9259 | 0.000000e+00 | -- | Inf
1594.84/1594.83 c 1595s| 5270k|617251 | 10884k| 2.1 | 569M| 36 | 5 | 40 |9725 | 40 | 17 | 22 |3357k|9263 | 0.000000e+00 | -- | Inf
1597.74/1597.78 c 1598s| 5280k|618173 | 10904k| 2.1 | 570M| 36 | - | 40 | 11k| 0 | 0 | 22 |3364k|9265 | 0.000000e+00 | -- | Inf
1601.55/1601.56 c 1602s| 5290k|618678 | 10925k| 2.1 | 571M| 36 | - | 40 | 10k| 40 | 17 | 22 |3371k|9270 | 0.000000e+00 | -- | Inf
1605.44/1605.48 c 1605s| 5300k|618921 | 10946k| 2.1 | 571M| 36 | 5 | 40 |9274 | 40 | 17 | 22 |3378k|9298 | 0.000000e+00 | -- | Inf
1609.04/1609.06 c 1609s| 5310k|619395 | 10967k| 2.1 | 572M| 36 | - | 40 |9759 | 40 | 17 | 22 |3385k|9298 | 0.000000e+00 | -- | Inf
1612.44/1612.51 c 1613s| 5320k|620126 | 10988k| 2.1 | 573M| 36 | - | 40 |9863 | 40 | 17 | 22 |3392k|9301 | 0.000000e+00 | -- | Inf
1615.24/1615.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1615.24/1615.25 c 1615s| 5330k|621226 | 11008k| 2.1 | 575M| 36 | - | 40 | 12k| 40 | 17 | 22 |3398k|9310 | 0.000000e+00 | -- | Inf
1618.84/1618.85 c 1619s| 5340k|621817 | 11028k| 2.1 | 575M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3405k|9315 | 0.000000e+00 | -- | Inf
1622.84/1622.84 c 1623s| 5350k|622238 | 11049k| 2.1 | 575M| 36 | - | 40 | 10k| 40 | 17 | 22 |3412k|9319 | 0.000000e+00 | -- | Inf
1626.54/1626.53 c 1627s| 5360k|622690 | 11069k| 2.1 | 576M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3419k|9325 | 0.000000e+00 | -- | Inf
1629.35/1629.34 c 1629s| 5370k|623818 | 11089k| 2.1 | 577M| 36 | - | 40 | 11k| 40 | 17 | 22 |3425k|9332 | 0.000000e+00 | -- | Inf
1632.35/1632.32 c 1632s| 5380k|624680 | 11110k| 2.1 | 579M| 36 | - | 40 | 13k| 0 | 0 | 22 |3432k|9337 | 0.000000e+00 | -- | Inf
1635.34/1635.31 c 1635s| 5390k|625782 | 11131k| 2.1 | 581M| 36 | - | 40 | 15k| 40 | 17 | 22 |3439k|9343 | 0.000000e+00 | -- | Inf
1639.94/1639.99 c 1640s| 5400k|626058 | 11151k| 2.1 | 580M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3446k|9354 | 0.000000e+00 | -- | Inf
1643.64/1643.62 c 1644s| 5410k|626865 | 11172k| 2.1 | 581M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3452k|9358 | 0.000000e+00 | -- | Inf
1646.76/1646.79 c 1647s| 5420k|627774 | 11192k| 2.1 | 582M| 36 | - | 40 | 13k| 40 | 17 | 22 |3459k|9364 | 0.000000e+00 | -- | Inf
1650.94/1650.92 c 1651s| 5430k|628114 | 11212k| 2.1 | 582M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3466k|9369 | 0.000000e+00 | -- | Inf
1653.95/1653.98 c 1654s| 5440k|628896 | 11233k| 2.1 | 583M| 36 | - | 40 | 11k| 40 | 17 | 22 |3473k|9376 | 0.000000e+00 | -- | Inf
1657.34/1657.37 c 1657s| 5450k|629681 | 11253k| 2.1 | 584M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3479k|9380 | 0.000000e+00 | -- | Inf
1661.34/1661.34 c 1661s| 5460k|630208 | 11274k| 2.1 | 584M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3486k|9387 | 0.000000e+00 | -- | Inf
1664.94/1664.90 c 1665s| 5470k|630805 | 11295k| 2.1 | 585M| 36 | - | 40 | 10k| 0 | 0 | 22 |3493k|9396 | 0.000000e+00 | -- | Inf
1668.25/1668.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.25/1668.25 c 1668s| 5480k|631545 | 11315k| 2.1 | 586M| 36 | - | 40 | 10k| 40 | 17 | 22 |3500k|9403 | 0.000000e+00 | -- | Inf
1671.54/1671.55 c 1672s| 5490k|632199 | 11336k| 2.1 | 587M| 36 | - | 40 | 12k| 40 | 17 | 22 |3506k|9405 | 0.000000e+00 | -- | Inf
1675.74/1675.78 c 1676s| 5500k|632537 | 11357k| 2.1 | 587M| 36 | 5 | 40 |9625 | 40 | 17 | 22 |3513k|9414 | 0.000000e+00 | -- | Inf
1679.14/1679.10 c 1679s| 5510k|633129 | 11377k| 2.1 | 588M| 36 | - | 40 | 10k| 0 | 0 | 22 |3520k|9426 | 0.000000e+00 | -- | Inf
1682.74/1682.75 c 1683s| 5520k|633607 | 11398k| 2.1 | 589M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3527k|9430 | 0.000000e+00 | -- | Inf
1686.15/1686.11 c 1686s| 5530k|634245 | 11419k| 2.1 | 590M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3534k|9436 | 0.000000e+00 | -- | Inf
1689.67/1689.67 c 1690s| 5540k|634883 | 11439k| 2.1 | 591M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3541k|9438 | 0.000000e+00 | -- | Inf
1693.55/1693.51 c 1694s| 5550k|635529 | 11460k| 2.1 | 592M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3548k|9450 | 0.000000e+00 | -- | Inf
1696.84/1696.85 c 1697s| 5560k|636240 | 11481k| 2.1 | 593M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3554k|9455 | 0.000000e+00 | -- | Inf
1700.44/1700.50 c 1701s| 5570k|636920 | 11501k| 2.1 | 593M| 36 | - | 40 | 11k| 0 | 0 | 22 |3561k|9460 | 0.000000e+00 | -- | Inf
1704.54/1704.53 c 1705s| 5580k|637244 | 11522k| 2.1 | 593M| 36 | - | 40 |9793 | 40 | 17 | 22 |3568k|9468 | 0.000000e+00 | -- | Inf
1708.05/1708.09 c 1708s| 5590k|637828 | 11543k| 2.1 | 594M| 36 | - | 40 | 10k| 40 | 17 | 22 |3575k|9479 | 0.000000e+00 | -- | Inf
1711.34/1711.36 c 1711s| 5600k|638542 | 11564k| 2.1 | 595M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3582k|9484 | 0.000000e+00 | -- | Inf
1714.45/1714.40 c 1714s| 5610k|639556 | 11584k| 2.1 | 597M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3588k|9492 | 0.000000e+00 | -- | Inf
1718.04/1718.08 c 1718s| 5620k|640103 | 11604k| 2.1 | 597M| 36 | - | 40 | 10k| 0 | 0 | 22 |3595k|9502 | 0.000000e+00 | -- | Inf
1721.65/1721.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1721.65/1721.63 c 1722s| 5630k|640540 | 11625k| 2.1 | 598M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3602k|9512 | 0.000000e+00 | -- | Inf
1725.35/1725.30 c 1725s| 5640k|640987 | 11646k| 2.1 | 598M| 36 | - | 40 | 10k| 0 | 0 | 22 |3609k|9513 | 0.000000e+00 | -- | Inf
1729.05/1729.01 c 1729s| 5650k|641363 | 11666k| 2.1 | 599M| 36 | - | 40 | 10k| 0 | 0 | 22 |3616k|9520 | 0.000000e+00 | -- | Inf
1732.74/1732.79 c 1733s| 5660k|641773 | 11687k| 2.1 | 599M| 36 | - | 40 |9623 | 40 | 17 | 22 |3623k|9524 | 0.000000e+00 | -- | Inf
1736.24/1736.25 c 1736s| 5670k|642310 | 11707k| 2.1 | 600M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3630k|9528 | 0.000000e+00 | -- | Inf
1739.75/1739.79 c 1740s| 5680k|642992 | 11728k| 2.1 | 601M| 36 | - | 40 | 10k| 40 | 17 | 22 |3637k|9542 | 0.000000e+00 | -- | Inf
1743.24/1743.20 c 1743s| 5690k|643687 | 11749k| 2.1 | 602M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3643k|9549 | 0.000000e+00 | -- | Inf
1747.15/1747.18 c 1747s| 5700k|644020 | 11769k| 2.1 | 603M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3650k|9570 | 0.000000e+00 | -- | Inf
1750.94/1750.92 c 1751s| 5710k|644483 | 11790k| 2.1 | 603M| 36 | - | 40 |9779 | 40 | 17 | 22 |3657k|9570 | 0.000000e+00 | -- | Inf
1754.15/1754.19 c 1754s| 5720k|645076 | 11810k| 2.1 | 604M| 36 | - | 40 | 10k| 40 | 17 | 22 |3664k|9571 | 0.000000e+00 | -- | Inf
1757.34/1757.35 c 1757s| 5730k|646246 | 11831k| 2.1 | 605M| 36 | - | 40 | 11k| 0 | 0 | 22 |3671k|9575 | 0.000000e+00 | -- | Inf
1760.25/1760.28 c 1760s| 5740k|647335 | 11853k| 2.1 | 607M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3678k|9581 | 0.000000e+00 | -- | Inf
1763.85/1763.85 c 1764s| 5750k|647741 | 11875k| 2.1 | 608M| 36 | - | 40 | 13k| 40 | 17 | 22 |3685k|9589 | 0.000000e+00 | -- | Inf
1767.85/1767.81 c 1768s| 5760k|648335 | 11895k| 2.1 | 608M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3692k|9599 | 0.000000e+00 | -- | Inf
1772.25/1772.26 c 1772s| 5770k|648676 | 11916k| 2.1 | 608M| 36 | - | 40 | 10k| 40 | 17 | 22 |3699k|9606 | 0.000000e+00 | -- | Inf
1775.94/1775.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.94/1775.94 c 1776s| 5780k|649201 | 11936k| 2.1 | 609M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3706k|9613 | 0.000000e+00 | -- | Inf
1779.35/1779.33 c 1779s| 5790k|649863 | 11957k| 2.1 | 610M| 36 | - | 40 | 10k| 40 | 17 | 22 |3713k|9620 | 0.000000e+00 | -- | Inf
1782.84/1782.85 c 1783s| 5800k|650459 | 11978k| 2.1 | 611M| 36 | - | 40 | 10k| 0 | 0 | 22 |3720k|9629 | 0.000000e+00 | -- | Inf
1786.47/1786.48 c 1786s| 5810k|650940 | 11999k| 2.1 | 611M| 36 | - | 40 | 10k| 40 | 17 | 22 |3727k|9638 | 0.000000e+00 | -- | Inf
1789.66/1789.66 c 1790s| 5820k|651759 | 12019k| 2.1 | 613M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3733k|9647 | 0.000000e+00 | -- | Inf
1793.65/1793.67 c 1794s| 5830k|652183 | 12040k| 2.1 | 613M| 36 | - | 40 | 10k| 40 | 17 | 22 |3740k|9654 | 0.000000e+00 | -- | Inf
1797.24/1797.20 c 1797s| 5840k|652704 | 12061k| 2.1 | 614M| 36 | - | 40 | 12k| 40 | 17 | 22 |3747k|9658 | 0.000000e+00 | -- | Inf
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 5846283
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Total Time : 1800.00
1800.05/1800.00 c solving : 1800.00
1800.05/1800.00 c presolving : 0.00 (included in solving)
1800.05/1800.00 c reading : 0.00 (included in solving)
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-3452529-1307097770.opb
1800.05/1800.00 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 11 initial, 11 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-3452529-1307097770.opb
1800.05/1800.00 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 5 initial, 24450 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 0 0 6 0 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 3382769 0 4 0 1228 4339 0 0 6755222
1800.05/1800.00 c linear : 5+ 7 14167633 0 1 3 6263589 631962 7439545 0 0 0
1800.05/1800.00 c logicor : 0+ 6 6707055 0 0 0 4824355 21617 2493488 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.00 c integral : 19.06 0.00 0.00 19.06 0.00 0.00 0.00
1800.05/1800.00 c linear : 110.93 0.00 99.46 0.00 0.00 0.00 11.47
1800.05/1800.00 c logicor : 573.05 0.00 567.50 0.00 0.00 0.00 5.56
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.00 c vbounds : 0 0 0 0
1800.05/1800.00 c rootredcost : 0 0 0 0
1800.05/1800.00 c pseudoobj : 0 0 0 0
1800.05/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.00 c vbounds : 2.08 2.08 0.00
1800.05/1800.00 c rootredcost : 2.29 2.29 0.00
1800.05/1800.00 c pseudoobj : 1.60 1.60 0.00
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 17.60 653579 497528 1409673 28.5 136 24.3 -
1800.05/1800.00 c infeasible LP : 46.91 2057853 2057722 3747285 19.6 34193 24.6 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 3725019 19.5 - - -
1800.05/1800.00 c applied locally : - - - 27422 31.5 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 5 - - 20 - (maximal pool size: 87)
1800.05/1800.00 c redcost : 3.21 3382769 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 6 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 6 0 0 18 0
1800.05/1800.00 c cmir : 0.01 6 0 0 44 0
1800.05/1800.00 c flowcover : 0.01 6 0 0 55 0
1800.05/1800.00 c clique : 0.00 1 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 1 0 0 0 0
1800.05/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.01 1 0 0 0 14
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 17.32 3382769 1228 4339 0 0 6755222
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 1.59 0 0
1800.05/1800.00 c crossover : 0.97 0 0
1800.05/1800.00 c guideddiving : 0.17 0 0
1800.05/1800.00 c fracdiving : 0.18 149 0
1800.05/1800.00 c rootsoldiving : 0.15 75 0
1800.05/1800.00 c objpscostdiving : 0.14 75 0
1800.05/1800.00 c linesearchdiving : 0.16 150 0
1800.05/1800.00 c pscostdiving : 0.18 150 0
1800.05/1800.00 c coefdiving : 0.15 150 0
1800.05/1800.00 c veclendiving : 0.18 150 0
1800.05/1800.00 c feaspump : 0.15 75 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c shiftandpropagate: 0.00 1 0
1800.05/1800.00 c simplerounding : 0.58 0 0
1800.05/1800.00 c zirounding : 7.94 0 0
1800.05/1800.00 c rounding : 1.29 26062 0
1800.05/1800.00 c shifting : 1.73 7101 0
1800.05/1800.00 c intshifting : 0.07 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c clique : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.02 1 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c vbounds : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c subnlp : 0.76 0 0
1800.05/1800.00 c trysol : 1.03 0 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 226.39 5250929 12070364 2.30 53316.72
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.11 2238 3658 1.63 32791.59
1800.05/1800.00 c strong branching : 0.75 9662 38060 3.94 50709.48
1800.05/1800.00 c (at root node) : - 9 311 34.56 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 5846283
1800.05/1800.00 c nodes (total) : 5846283
1800.05/1800.00 c nodes left : 652856
1800.05/1800.00 c max depth : 36
1800.05/1800.00 c max depth (total): 36
1800.05/1800.00 c backtracks : 1196304 (20.5%)
1800.05/1800.00 c delayed cutoffs : 256086
1800.05/1800.00 c repropagations : 4444979 (4550161 domain reductions, 242162 cutoffs)
1800.05/1800.00 c avg switch length: 5.48
1800.05/1800.00 c switching time : 524.58
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 130
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452529-1307097770/watcher-3452529-1307097770 -o /tmp/evaluation-result-3452529-1307097770/solver-3452529-1307097770 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452529-1307097770.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.02 2.00 2/521 23150
/proc/meminfo: memFree=21430748/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=18092 CPUtime=0 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 3708 0 0 0 0 0 0 0 23 0 1 0 802192477 18526208 3405 33554432000 4194304 9128323 140735820465904 18446744073709551615 4338848 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 4523 3405 674 1205 0 3314 0
[startup+0.02723 s]
/proc/loadavg: 2.02 2.02 2.00 2/521 23150
/proc/meminfo: memFree=21430748/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=24888 CPUtime=0.01 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 5464 0 0 0 1 0 0 0 23 0 1 0 802192477 25485312 4808 33554432000 4194304 9128323 140735820465904 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 6222 4808 703 1205 0 5013 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 24888
[startup+0.100217 s]
/proc/loadavg: 2.02 2.02 2.00 2/521 23150
/proc/meminfo: memFree=21430748/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=27308 CPUtime=0.08 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 6090 0 0 0 6 2 0 0 23 0 1 0 802192477 27963392 5434 33554432000 4194304 9128323 140735820465904 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 6827 5434 723 1205 0 5618 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27308
[startup+0.30019 s]
/proc/loadavg: 2.02 2.02 2.00 2/521 23150
/proc/meminfo: memFree=21430748/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=27308 CPUtime=0.28 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 6091 0 0 0 23 5 0 0 25 0 1 0 802192477 27963392 5435 33554432000 4194304 9128323 140735820465904 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 6827 5435 723 1205 0 5618 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27308
[startup+0.700105 s]
/proc/loadavg: 2.02 2.02 2.00 2/521 23150
/proc/meminfo: memFree=21430748/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=27308 CPUtime=0.69 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 6098 0 0 0 59 10 0 0 25 0 1 0 802192477 27963392 5442 33554432000 4194304 9128323 140735820465904 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 6827 5442 723 1205 0 5618 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27308
[startup+1.50096 s]
/proc/loadavg: 2.02 2.02 2.00 3/522 23151
/proc/meminfo: memFree=21410700/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=27308 CPUtime=1.49 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 6103 0 0 0 131 18 0 0 25 0 1 0 802192477 27963392 5447 33554432000 4194304 9128323 140735820465904 18446744073709551615 7973970 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 6827 5447 723 1205 0 5618 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27308
[startup+3.10067 s]
/proc/loadavg: 2.02 2.02 2.00 3/522 23151
/proc/meminfo: memFree=21409956/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=27308 CPUtime=3.09 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 6122 0 0 0 274 35 0 0 25 0 1 0 802192477 27963392 5466 33554432000 4194304 9128323 140735820465904 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 6827 5466 723 1205 0 5618 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27308
[startup+6.30108 s]
/proc/loadavg: 2.02 2.02 2.00 3/522 23151
/proc/meminfo: memFree=21407260/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=29216 CPUtime=6.29 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 6880 0 0 0 560 69 0 0 25 0 1 0 802192477 29917184 6224 33554432000 4194304 9128323 140735820465904 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 7304 6224 723 1205 0 6095 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29216
[startup+12.7009 s]
/proc/loadavg: 2.02 2.02 2.00 3/522 23151
/proc/meminfo: memFree=21397612/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=38004 CPUtime=12.69 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 9113 0 0 0 1134 135 0 0 25 0 1 0 802192477 38916096 8457 33554432000 4194304 9128323 140735820465904 18446744073709551615 4221266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 9501 8457 723 1205 0 8292 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38004
[startup+25.5006 s]
/proc/loadavg: 2.01 2.02 2.00 3/522 23152
/proc/meminfo: memFree=21380932/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=50940 CPUtime=25.49 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 12403 0 0 0 2288 261 0 0 25 0 1 0 802192477 52162560 11747 33554432000 4194304 9128323 140735820465904 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 12735 11747 723 1205 0 11526 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50940
[startup+51.1009 s]
/proc/loadavg: 2.08 2.03 2.00 3/522 23152
/proc/meminfo: memFree=21352768/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=78124 CPUtime=51.09 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 18774 0 0 0 4636 473 0 0 25 0 1 0 802192477 79998976 18118 33554432000 4194304 9128323 140735820465904 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 19531 18118 723 1205 0 18322 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 78124
[startup+102.319 s]
/proc/loadavg: 2.15 2.06 2.01 3/522 23154
/proc/meminfo: memFree=21311772/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=113840 CPUtime=102.32 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 27832 0 0 0 9373 859 0 0 25 0 1 0 802192477 116572160 27176 33554432000 4194304 9128323 140735820465904 18446744073709551615 4907320 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 28460 27176 723 1205 0 27251 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 113840
[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/522 23155
/proc/meminfo: memFree=21260888/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=149940 CPUtime=162.29 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 36882 0 0 0 14948 1281 0 0 25 0 1 0 802192477 153538560 36226 33554432000 4194304 9128323 140735820465904 18446744073709551615 4241127 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 37485 36226 723 1205 0 36276 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 149940
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 23157
/proc/meminfo: memFree=21202308/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=181260 CPUtime=222.3 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 43862 0 0 0 20548 1682 0 0 25 0 1 0 802192477 185610240 43206 33554432000 4194304 9128323 140735820465904 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 45315 43206 723 1205 0 44106 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 181260
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23159
/proc/meminfo: memFree=21134188/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=211280 CPUtime=282.29 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 51334 0 0 0 26177 2052 0 0 25 0 1 0 802192477 216350720 50678 33554432000 4194304 9128323 140735820465904 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 52820 50678 723 1205 0 51611 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 211280
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23160
/proc/meminfo: memFree=21054192/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=232576 CPUtime=342.3 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 56723 0 0 0 31818 2412 0 0 25 0 1 0 802192477 238157824 56067 33554432000 4194304 9128323 140735820465904 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 58144 56067 723 1205 0 56935 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 232576
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 23162
/proc/meminfo: memFree=20975192/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=262164 CPUtime=402.3 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 64234 0 0 0 37457 2773 0 0 25 0 1 0 802192477 268455936 63578 33554432000 4194304 9128323 140735820465904 18446744073709551615 5333057 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 65541 63578 723 1205 0 64332 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 262164
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 23163
/proc/meminfo: memFree=20911148/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=283356 CPUtime=462.31 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 69610 0 0 0 43117 3114 0 0 25 0 1 0 802192477 290156544 68954 33554432000 4194304 9128323 140735820465904 18446744073709551615 4207634 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 70839 68954 723 1205 0 69630 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 283356
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/522 23165
/proc/meminfo: memFree=20839808/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=304676 CPUtime=522.3 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 74972 0 0 0 48780 3450 0 0 25 0 1 0 802192477 311988224 74316 33554432000 4194304 9128323 140735820465904 18446744073709551615 5333037 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 76169 74316 723 1205 0 74960 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 304676
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/522 23167
/proc/meminfo: memFree=20782236/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=323964 CPUtime=582.31 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 79933 0 0 0 54470 3761 0 0 25 0 1 0 802192477 331739136 79277 33554432000 4194304 9128323 140735820465904 18446744073709551615 5231703 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 80991 79277 723 1205 0 79782 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 323964
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 23173
/proc/meminfo: memFree=20565316/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=406320 CPUtime=822.31 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 100822 0 0 0 77262 4969 0 0 25 0 1 0 802192477 416071680 100166 33554432000 4194304 9128323 140735820465904 18446744073709551615 4240322 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 101580 100166 723 1205 0 100371 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 406320
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23175
/proc/meminfo: memFree=20529432/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=424704 CPUtime=882.32 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 105556 0 0 0 83000 5232 0 0 25 0 1 0 802192477 434896896 104900 33554432000 4194304 9128323 140735820465904 18446744073709551615 6581557 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 106176 104900 723 1205 0 104967 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 424704
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 23176
/proc/meminfo: memFree=20488200/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=447704 CPUtime=942.32 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 109057 0 0 0 88742 5490 0 0 25 0 1 0 802192477 458448896 108401 33554432000 4194304 9128323 140735820465904 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 111926 108401 723 1205 0 110717 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 447704
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 23178
/proc/meminfo: memFree=20441900/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=468680 CPUtime=1002.32 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 114295 0 0 0 94444 5788 0 0 25 0 1 0 802192477 479928320 113639 33554432000 4194304 9128323 140735820465904 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 117170 113639 723 1205 0 115961 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 468680
[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/522 23179
/proc/meminfo: memFree=20404896/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=484960 CPUtime=1062.33 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 118428 0 0 0 100180 6053 0 0 25 0 1 0 802192477 496599040 117772 33554432000 4194304 9128323 140735820465904 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 121240 117772 723 1205 0 120031 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 484960
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/522 23190
/proc/meminfo: memFree=20373432/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=499876 CPUtime=1122.32 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 122260 0 0 0 105912 6320 0 0 25 0 1 0 802192477 511873024 121604 33554432000 4194304 9128323 140735820465904 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 124969 121604 723 1205 0 123760 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 499876
[startup+1182.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/522 23192
/proc/meminfo: memFree=20341620/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=515116 CPUtime=1182.33 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 126153 0 0 0 111647 6586 0 0 25 0 1 0 802192477 527478784 125497 33554432000 4194304 9128323 140735820465904 18446744073709551615 4209249 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 128779 125497 723 1205 0 127570 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 515116
[startup+1242.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/522 23193
/proc/meminfo: memFree=20317380/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=528304 CPUtime=1242.33 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 129561 0 0 0 117371 6862 0 0 25 0 1 0 802192477 540983296 128905 33554432000 4194304 9128323 140735820465904 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 132076 128905 723 1205 0 130867 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 528304
[startup+1302.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/522 23195
/proc/meminfo: memFree=20288800/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=547908 CPUtime=1302.34 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 134322 0 0 0 123076 7158 0 0 25 0 1 0 802192477 561057792 133666 33554432000 4194304 9128323 140735820465904 18446744073709551615 5321305 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 136977 133666 723 1205 0 135768 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 547908
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 23196
/proc/meminfo: memFree=20261712/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=561992 CPUtime=1362.33 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 137969 0 0 0 128775 7458 0 0 25 0 1 0 802192477 575479808 137313 33554432000 4194304 9128323 140735820465904 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 140498 137313 723 1205 0 139289 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 561992
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23198
/proc/meminfo: memFree=20243532/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=574896 CPUtime=1422.36 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 141273 0 0 0 134508 7728 0 0 25 0 1 0 802192477 588693504 140617 33554432000 4194304 9128323 140735820465904 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 143724 140617 723 1205 0 142515 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 574896
[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/522 23228
/proc/meminfo: memFree=20736828/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=590708 CPUtime=1482.34 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 145315 0 0 0 140242 7992 0 0 25 0 1 0 802192477 604884992 144659 33554432000 4194304 9128323 140735820465904 18446744073709551615 5332936 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 147677 144659 723 1205 0 146468 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 590708
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 23229
/proc/meminfo: memFree=20645972/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=600628 CPUtime=1542.34 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 147894 0 0 0 145972 8262 0 0 25 0 1 0 802192477 615043072 147238 33554432000 4194304 9128323 140735820465904 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 150157 147238 723 1205 0 148948 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 600628
[startup+1602.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/522 23231
/proc/meminfo: memFree=20631288/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=614888 CPUtime=1602.34 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 151496 0 0 0 151694 8540 0 0 25 0 1 0 802192477 629645312 150840 33554432000 4194304 9128323 140735820465904 18446744073709551615 5199777 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 153722 150840 723 1205 0 152513 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 614888
[startup+1662.3 s]
/proc/loadavg: 2.19 2.09 2.02 3/522 23232
/proc/meminfo: memFree=20617200/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=628524 CPUtime=1662.34 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 154753 0 0 0 157415 8819 0 0 25 0 1 0 802192477 643608576 154097 33554432000 4194304 9128323 140735820465904 18446744073709551615 4241127 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 157131 154097 723 1205 0 155922 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 628524
[startup+1722.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/522 23234
/proc/meminfo: memFree=20604476/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=640968 CPUtime=1722.35 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 157932 0 0 0 163135 9100 0 0 25 0 1 0 802192477 656351232 157276 33554432000 4194304 9128323 140735820465904 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 160242 157276 723 1205 0 159033 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 640968
[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/522 23236
/proc/meminfo: memFree=20589156/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=654348 CPUtime=1782.34 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 161341 0 0 0 168868 9366 0 0 25 0 1 0 802192477 670052352 160685 33554432000 4194304 9128323 140735820465904 18446744073709551615 6581584 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23150/statm: 163587 160685 723 1205 0 162378 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 654348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.06 2.01 3/522 23236
/proc/meminfo: memFree=20584664/32951124 swapFree=58800704/67111528
[pid=23150] ppid=23148 vsize=659212 CPUtime=1800.06 cores=1,3,5,7
/proc/23150/stat : 23150 (scip-2.0.1.4.li) R 23148 23150 22695 0 -1 4202496 162582 0 0 0 170558 9448 0 0 18 0 1 0 802192477 675033088 161926 33554432000 4194304 9128323 140735820465904 18446744073709551615 5320780 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23150/statm: 164803 161926 725 1205 0 163594 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 659212
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.11
CPU user time (s): 1705.59
CPU system time (s): 94.5136
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 659212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1705.59
system time used= 94.5136
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162582
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 5170
runsolver used 8.86765 second user time and 22.0916 second system time
The end