0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3450869-1307096633.opb>
0.00/0.01 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.01 c 5 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.5
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 27 | - | 254k| 0 | 5 | 40 | 19 | 40 | 5 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 91 | - | 297k| 0 | 8 | 40 | 33 | 40 | 9 | 4 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 98 | - | 322k| 0 | 11 | 40 | 33 | 40 | 14 | 9 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 105 | - | 341k| 0 | 12 | 40 | 33 | 40 | 17 | 12 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 111 | - | 360k| 0 | 14 | 40 | 33 | 40 | 20 | 15 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 120 | - | 377k| 0 | 17 | 40 | 33 | 40 | 24 | 19 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 130 | - | 384k| 0 | 15 | 40 | 33 | 40 | 27 | 22 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 2 | 130 | - | 385k| 0 | 15 | 40 | 33 | 40 | 27 | 22 | 14 | 9 | 0.000000e+00 | -- | Inf
1.59/1.60 c 1.6s| 10000 | 3978 | 20812 | 2.1 |3807k| 35 | 5 | 40 |3147 | 40 | 17 | 22 |4209 | 494 | 0.000000e+00 | -- | Inf
3.08/3.14 c 3.1s| 20000 | 7739 | 41081 | 2.0 |5618k| 35 | 5 | 40 |2167 | 40 | 17 | 22 |8433 | 653 | 0.000000e+00 | -- | Inf
4.50/4.58 c 4.6s| 30000 | 11278 | 61606 | 2.0 |7560k| 35 | 5 | 40 |2307 | 40 | 17 | 22 | 12k| 770 | 0.000000e+00 | -- | Inf
5.99/6.09 c 6.1s| 40000 | 14574 | 81879 | 2.0 |9550k| 35 | 5 | 40 |2646 | 40 | 17 | 22 | 17k| 880 | 0.000000e+00 | -- | Inf
7.59/7.63 c 7.6s| 50000 | 17666 |102234 | 2.0 | 11M| 35 | 5 | 40 |2660 | 40 | 17 | 22 | 21k| 979 | 0.000000e+00 | -- | Inf
9.09/9.16 c 9.2s| 60000 | 20831 |122781 | 2.0 | 13M| 35 | 5 | 40 |3390 | 40 | 17 | 22 | 26k|1062 | 0.000000e+00 | -- | Inf
10.78/10.85 c 10.8s| 70000 | 23533 |142900 | 2.0 | 14M| 35 | 5 | 40 |2951 | 40 | 17 | 22 | 31k|1145 | 0.000000e+00 | -- | Inf
12.39/12.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.39/12.46 c 12.5s| 80000 | 26402 |163157 | 2.0 | 16M| 35 | 5 | 40 |3165 | 40 | 17 | 22 | 36k|1216 | 0.000000e+00 | -- | Inf
14.09/14.13 c 14.1s| 90000 | 29148 |183537 | 2.0 | 18M| 35 | 5 | 40 |3308 | 40 | 17 | 22 | 41k|1287 | 0.000000e+00 | -- | Inf
15.69/15.77 c 15.8s|100000 | 31879 |204061 | 2.0 | 20M| 35 | 5 | 40 |3756 | 40 | 17 | 22 | 46k|1348 | 0.000000e+00 | -- | Inf
17.49/17.54 c 17.5s|110000 | 34486 |224587 | 2.0 | 21M| 35 | 5 | 40 |3250 | 40 | 17 | 22 | 51k|1411 | 0.000000e+00 | -- | Inf
19.19/19.20 c 19.2s|120000 | 37382 |245221 | 2.0 | 23M| 35 | - | 40 |3660 | 40 | 17 | 22 | 56k|1495 | 0.000000e+00 | -- | Inf
20.90/20.95 c 20.9s|130000 | 39856 |265599 | 2.0 | 25M| 35 | 5 | 40 |3908 | 40 | 17 | 22 | 61k|1553 | 0.000000e+00 | -- | Inf
22.69/22.70 c 22.7s|140000 | 42494 |286085 | 2.0 | 26M| 35 | 5 | 40 |4226 | 40 | 17 | 22 | 66k|1611 | 0.000000e+00 | -- | Inf
24.49/24.55 c 24.6s|150000 | 44744 |306317 | 2.0 | 28M| 35 | - | 40 |4051 | 0 | 0 | 22 | 71k|1662 | 0.000000e+00 | -- | Inf
26.29/26.32 c 26.3s|160000 | 47159 |326523 | 2.0 | 29M| 35 | 5 | 40 |4532 | 40 | 17 | 22 | 76k|1705 | 0.000000e+00 | -- | Inf
28.09/28.18 c 28.2s|170000 | 49409 |346959 | 2.0 | 31M| 35 | 5 | 40 |4522 | 40 | 17 | 22 | 81k|1758 | 0.000000e+00 | -- | Inf
29.99/30.00 c 30.0s|180000 | 52083 |367532 | 2.0 | 33M| 35 | - | 40 |5060 | 40 | 17 | 22 | 87k|1810 | 0.000000e+00 | -- | Inf
31.69/31.78 c 31.8s|190000 | 54534 |387674 | 2.0 | 34M| 35 | 5 | 40 |5059 | 40 | 17 | 22 | 92k|1855 | 0.000000e+00 | -- | Inf
33.60/33.66 c 33.7s|200000 | 56965 |408537 | 2.0 | 36M| 35 | 5 | 40 |5016 | 40 | 17 | 22 | 97k|1902 | 0.000000e+00 | -- | Inf
35.39/35.45 c 35.5s|210000 | 59875 |429246 | 2.0 | 38M| 35 | 5 | 40 |6115 | 40 | 17 | 22 | 102k|1938 | 0.000000e+00 | -- | Inf
37.51/37.55 c 37.5s|220000 | 62012 |449963 | 2.0 | 39M| 35 | 5 | 40 |5394 | 40 | 17 | 22 | 107k|1992 | 0.000000e+00 | -- | Inf
39.49/39.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.49/39.53 c 39.5s|230000 | 64215 |470580 | 2.0 | 41M| 35 | 5 | 40 |5954 | 40 | 17 | 22 | 113k|2043 | 0.000000e+00 | -- | Inf
41.49/41.58 c 41.6s|240000 | 66283 |491131 | 2.0 | 42M| 35 | 5 | 40 |5100 | 40 | 17 | 22 | 118k|2086 | 0.000000e+00 | -- | Inf
43.39/43.45 c 43.4s|250000 | 68521 |511630 | 2.0 | 44M| 35 | 5 | 40 |6417 | 40 | 17 | 22 | 124k|2130 | 0.000000e+00 | -- | Inf
45.49/45.58 c 45.6s|260000 | 70603 |532181 | 2.0 | 45M| 35 | 5 | 40 |6033 | 40 | 17 | 22 | 129k|2168 | 0.000000e+00 | -- | Inf
47.59/47.64 c 47.6s|270000 | 72665 |552823 | 2.0 | 47M| 35 | 5 | 40 |5740 | 40 | 17 | 22 | 135k|2217 | 0.000000e+00 | -- | Inf
49.50/49.60 c 49.6s|280000 | 75206 |573524 | 2.0 | 49M| 35 | 5 | 40 |7242 | 40 | 17 | 22 | 140k|2260 | 0.000000e+00 | -- | Inf
51.59/51.71 c 51.7s|290000 | 77569 |593823 | 2.0 | 51M| 35 | 5 | 40 |7668 | 40 | 17 | 22 | 145k|2308 | 0.000000e+00 | -- | Inf
53.90/53.99 c 54.0s|300000 | 79630 |614097 | 2.0 | 52M| 35 | - | 40 |6287 | 40 | 17 | 22 | 151k|2346 | 0.000000e+00 | -- | Inf
55.99/56.10 c 56.1s|310000 | 81683 |635442 | 2.0 | 53M| 35 | 5 | 40 |6047 | 40 | 17 | 22 | 156k|2383 | 0.000000e+00 | -- | Inf
58.09/58.16 c 58.2s|320000 | 83934 |656382 | 2.1 | 55M| 35 | 5 | 40 |7730 | 40 | 17 | 22 | 162k|2420 | 0.000000e+00 | -- | Inf
60.39/60.45 c 60.4s|330000 | 85977 |677712 | 2.1 | 57M| 35 | - | 40 |8284 | 40 | 17 | 22 | 167k|2457 | 0.000000e+00 | -- | Inf
62.81/62.86 c 62.9s|340000 | 87718 |698061 | 2.1 | 58M| 35 | 5 | 40 |6363 | 40 | 17 | 22 | 173k|2484 | 0.000000e+00 | -- | Inf
64.91/64.94 c 64.9s|350000 | 89816 |718875 | 2.1 | 59M| 35 | - | 40 |6522 | 40 | 17 | 22 | 179k|2525 | 0.000000e+00 | -- | Inf
66.79/66.86 c 66.9s|360000 | 92354 |739436 | 2.1 | 61M| 35 | 5 | 40 |8487 | 40 | 17 | 22 | 184k|2564 | 0.000000e+00 | -- | Inf
69.19/69.30 c 69.3s|370000 | 94163 |760434 | 2.1 | 62M| 35 | 5 | 40 |6887 | 40 | 17 | 22 | 190k|2602 | 0.000000e+00 | -- | Inf
71.51/71.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.51/71.55 c 71.5s|380000 | 96071 |781138 | 2.1 | 64M| 35 | - | 40 |6511 | 40 | 17 | 22 | 195k|2637 | 0.000000e+00 | -- | Inf
73.71/73.74 c 73.7s|390000 | 97775 |801781 | 2.1 | 65M| 35 | 5 | 40 |6605 | 40 | 17 | 22 | 201k|2684 | 0.000000e+00 | -- | Inf
75.90/75.95 c 76.0s|400000 | 99481 |822566 | 2.1 | 66M| 35 | - | 40 |7262 | 40 | 17 | 22 | 207k|2712 | 0.000000e+00 | -- | Inf
78.20/78.26 c 78.3s|410000 |101259 |843333 | 2.1 | 68M| 35 | - | 40 |6852 | 0 | 0 | 22 | 213k|2755 | 0.000000e+00 | -- | Inf
80.41/80.49 c 80.5s|420000 |103068 |864067 | 2.1 | 69M| 35 | - | 40 |7758 | 40 | 17 | 22 | 219k|2779 | 0.000000e+00 | -- | Inf
82.69/82.75 c 82.7s|430000 |105045 |884964 | 2.1 | 70M| 35 | 5 | 40 |6899 | 40 | 17 | 22 | 224k|2815 | 0.000000e+00 | -- | Inf
84.90/84.98 c 85.0s|440000 |106796 |905702 | 2.1 | 72M| 35 | 5 | 40 |7974 | 40 | 17 | 22 | 230k|2851 | 0.000000e+00 | -- | Inf
87.29/87.33 c 87.3s|450000 |108539 |926131 | 2.1 | 73M| 35 | - | 40 |6946 | 40 | 17 | 22 | 236k|2874 | 0.000000e+00 | -- | Inf
89.60/89.63 c 89.6s|460000 |110262 |946638 | 2.1 | 75M| 35 | 5 | 40 |7626 | 40 | 17 | 22 | 242k|2909 | 0.000000e+00 | -- | Inf
92.00/92.10 c 92.1s|470000 |111914 |967576 | 2.1 | 76M| 35 | 5 | 40 |6849 | 40 | 17 | 22 | 248k|2947 | 0.000000e+00 | -- | Inf
94.29/94.38 c 94.4s|480000 |113671 |988797 | 2.1 | 77M| 35 | - | 40 |6884 | 40 | 17 | 22 | 253k|2964 | 0.000000e+00 | -- | Inf
96.69/96.74 c 96.7s|490000 |115294 | 1009k| 2.1 | 78M| 35 | 5 | 40 |6895 | 40 | 17 | 22 | 259k|2997 | 0.000000e+00 | -- | Inf
98.89/98.97 c 99.0s|500000 |117254 | 1030k| 2.1 | 80M| 35 | 5 | 40 |7551 | 40 | 17 | 22 | 265k|3023 | 0.000000e+00 | -- | Inf
101.09/101.21 c 101s|510000 |119127 | 1051k| 2.1 | 82M| 35 | 5 | 40 |8997 | 40 | 17 | 22 | 271k|3059 | 0.000000e+00 | -- | Inf
103.59/103.68 c 104s|520000 |120896 | 1072k| 2.1 | 83M| 35 | - | 40 |8058 | 40 | 17 | 22 | 277k|3090 | 0.000000e+00 | -- | Inf
106.29/106.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.29/106.33 c 106s|530000 |122426 | 1093k| 2.1 | 84M| 35 | - | 40 |7207 | 40 | 17 | 22 | 283k|3113 | 0.000000e+00 | -- | Inf
108.79/108.83 c 109s|540000 |123858 | 1114k| 2.1 | 85M| 35 | - | 40 |6705 | 40 | 17 | 22 | 289k|3143 | 0.000000e+00 | -- | Inf
111.29/111.33 c 111s|550000 |125282 | 1135k| 2.1 | 86M| 35 | 5 | 40 |6857 | 40 | 17 | 22 | 295k|3188 | 0.000000e+00 | -- | Inf
113.49/113.57 c 114s|560000 |127113 | 1155k| 2.1 | 88M| 35 | 5 | 40 |8081 | 40 | 17 | 22 | 301k|3217 | 0.000000e+00 | -- | Inf
115.99/116.01 c 116s|570000 |128742 | 1177k| 2.1 | 89M| 35 | 5 | 40 |8466 | 40 | 17 | 22 | 307k|3250 | 0.000000e+00 | -- | Inf
118.49/118.55 c 119s|580000 |130374 | 1197k| 2.1 | 90M| 35 | - | 40 |7492 | 0 | 0 | 22 | 312k|3274 | 0.000000e+00 | -- | Inf
120.79/120.87 c 121s|590000 |132042 | 1218k| 2.1 | 92M| 35 | - | 40 |8354 | 0 | 0 | 22 | 318k|3302 | 0.000000e+00 | -- | Inf
123.30/123.33 c 123s|600000 |133785 | 1239k| 2.1 | 93M| 35 | - | 40 |7601 | 40 | 17 | 22 | 324k|3333 | 0.000000e+00 | -- | Inf
125.51/125.53 c 126s|610000 |135917 | 1261k| 2.1 | 95M| 35 | 5 | 40 |8517 | 40 | 17 | 22 | 330k|3517 | 0.000000e+00 | -- | Inf
127.71/127.76 c 128s|620000 |137948 | 1282k| 2.1 | 97M| 35 | 5 | 40 |9728 | 40 | 17 | 22 | 336k|3634 | 0.000000e+00 | -- | Inf
130.40/130.42 c 130s|630000 |139295 | 1304k| 2.1 | 98M| 35 | - | 40 | 10k| 40 | 17 | 22 | 342k|3634 | 0.000000e+00 | -- | Inf
133.21/133.29 c 133s|640000 |140685 | 1324k| 2.1 | 99M| 35 | - | 40 |8170 | 40 | 17 | 22 | 348k|3634 | 0.000000e+00 | -- | Inf
135.49/135.53 c 136s|650000 |142641 | 1345k| 2.1 | 101M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 354k|3634 | 0.000000e+00 | -- | Inf
138.29/138.30 c 138s|660000 |144056 | 1366k| 2.1 | 102M| 35 | 5 | 40 |9629 | 40 | 17 | 22 | 360k|3634 | 0.000000e+00 | -- | Inf
141.00/141.06 c 141s|670000 |145300 | 1387k| 2.1 | 102M| 35 | 5 | 40 |7556 | 40 | 17 | 22 | 366k|3645 | 0.000000e+00 | -- | Inf
143.60/143.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.60/143.69 c 144s|680000 |146565 | 1408k| 2.1 | 103M| 35 | - | 40 |7514 | 0 | 0 | 22 | 373k|3678 | 0.000000e+00 | -- | Inf
146.09/146.17 c 146s|690000 |147996 | 1429k| 2.1 | 105M| 35 | - | 40 |8088 | 0 | 0 | 22 | 379k|3711 | 0.000000e+00 | -- | Inf
148.89/148.91 c 149s|700000 |149211 | 1450k| 2.1 | 106M| 35 | - | 40 |7405 | 40 | 17 | 22 | 385k|3733 | 0.000000e+00 | -- | Inf
151.19/151.25 c 151s|710000 |151086 | 1470k| 2.1 | 107M| 35 | - | 40 |8414 | 40 | 17 | 22 | 391k|3763 | 0.000000e+00 | -- | Inf
153.69/153.70 c 154s|720000 |152714 | 1490k| 2.1 | 109M| 35 | - | 40 |8905 | 40 | 17 | 22 | 397k|3794 | 0.000000e+00 | -- | Inf
156.10/156.19 c 156s|730000 |154305 | 1512k| 2.1 | 110M| 35 | 5 | 40 |8587 | 40 | 17 | 22 | 403k|3822 | 0.000000e+00 | -- | Inf
158.89/158.92 c 159s|740000 |155624 | 1533k| 2.1 | 111M| 35 | - | 40 |8086 | 40 | 17 | 22 | 409k|3853 | 0.000000e+00 | -- | Inf
161.49/161.53 c 162s|750000 |156909 | 1554k| 2.1 | 112M| 35 | 5 | 40 |8639 | 40 | 17 | 22 | 415k|3877 | 0.000000e+00 | -- | Inf
164.01/164.03 c 164s|760000 |158619 | 1574k| 2.1 | 114M| 35 | 5 | 40 |8422 | 40 | 17 | 22 | 421k|3901 | 0.000000e+00 | -- | Inf
166.39/166.45 c 166s|770000 |160287 | 1595k| 2.1 | 115M| 35 | 5 | 40 |9972 | 40 | 17 | 22 | 427k|3936 | 0.000000e+00 | -- | Inf
169.19/169.29 c 169s|780000 |161590 | 1616k| 2.1 | 116M| 35 | 5 | 40 |7856 | 40 | 17 | 22 | 433k|3957 | 0.000000e+00 | -- | Inf
171.61/171.71 c 172s|790000 |163190 | 1637k| 2.1 | 118M| 35 | - | 40 |9614 | 0 | 0 | 22 | 439k|3973 | 0.000000e+00 | -- | Inf
174.20/174.28 c 174s|800000 |164807 | 1658k| 2.1 | 119M| 35 | 5 | 40 | 11k| 40 | 17 | 22 | 445k|3989 | 0.000000e+00 | -- | Inf
177.10/177.13 c 177s|810000 |166178 | 1679k| 2.1 | 120M| 35 | 5 | 40 |9809 | 40 | 17 | 22 | 451k|4003 | 0.000000e+00 | -- | Inf
179.69/179.74 c 180s|820000 |167893 | 1700k| 2.1 | 121M| 35 | - | 40 |8974 | 40 | 17 | 22 | 457k|4027 | 0.000000e+00 | -- | Inf
181.89/181.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.89/181.99 c 182s|830000 |169877 | 1720k| 2.1 | 124M| 35 | 5 | 40 | 11k| 40 | 17 | 22 | 463k|4044 | 0.000000e+00 | -- | Inf
184.91/184.97 c 185s|840000 |171241 | 1741k| 2.1 | 125M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 469k|4067 | 0.000000e+00 | -- | Inf
187.79/187.82 c 188s|850000 |172562 | 1762k| 2.1 | 126M| 35 | - | 40 |9379 | 40 | 17 | 22 | 475k|4088 | 0.000000e+00 | -- | Inf
190.31/190.41 c 190s|860000 |174153 | 1782k| 2.1 | 127M| 35 | 5 | 40 |8992 | 40 | 17 | 22 | 481k|4111 | 0.000000e+00 | -- | Inf
192.90/192.96 c 193s|870000 |175578 | 1803k| 2.1 | 128M| 35 | 5 | 40 |9903 | 40 | 17 | 22 | 487k|4142 | 0.000000e+00 | -- | Inf
195.92/195.96 c 196s|880000 |176896 | 1824k| 2.1 | 129M| 35 | 5 | 40 |8297 | 40 | 17 | 22 | 494k|4157 | 0.000000e+00 | -- | Inf
198.39/198.43 c 198s|890000 |178696 | 1844k| 2.1 | 130M| 35 | - | 40 |9115 | 40 | 17 | 22 | 499k|4175 | 0.000000e+00 | -- | Inf
201.00/201.01 c 201s|900000 |180335 | 1864k| 2.1 | 132M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 505k|4200 | 0.000000e+00 | -- | Inf
203.80/203.80 c 204s|910000 |181746 | 1885k| 2.1 | 133M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 511k|4219 | 0.000000e+00 | -- | Inf
206.60/206.69 c 207s|920000 |183079 | 1906k| 2.1 | 134M| 35 | 5 | 40 |9656 | 40 | 17 | 22 | 517k|4234 | 0.000000e+00 | -- | Inf
209.39/209.41 c 209s|930000 |184475 | 1926k| 2.1 | 136M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 523k|4243 | 0.000000e+00 | -- | Inf
212.30/212.40 c 212s|940000 |185562 | 1947k| 2.1 | 136M| 35 | - | 40 |8757 | 0 | 0 | 22 | 530k|4265 | 0.000000e+00 | -- | Inf
215.00/215.06 c 215s|950000 |187051 | 1967k| 2.1 | 138M| 35 | 5 | 40 |9301 | 40 | 17 | 22 | 536k|4286 | 0.000000e+00 | -- | Inf
217.91/217.94 c 218s|960000 |188219 | 1988k| 2.1 | 138M| 35 | - | 40 |8099 | 40 | 17 | 22 | 542k|4302 | 0.000000e+00 | -- | Inf
220.69/220.72 c 221s|970000 |189425 | 2009k| 2.1 | 140M| 35 | 5 | 40 |7849 | 40 | 17 | 22 | 549k|4333 | 0.000000e+00 | -- | Inf
223.19/223.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.19/223.23 c 223s|980000 |190927 | 2030k| 2.1 | 141M| 35 | - | 40 |9114 | 40 | 17 | 22 | 555k|4359 | 0.000000e+00 | -- | Inf
226.20/226.27 c 226s|990000 |191766 | 2051k| 2.1 | 142M| 35 | 5 | 40 |8376 | 40 | 17 | 22 | 561k|4377 | 0.000000e+00 | -- | Inf
229.10/229.10 c 229s| 1000k|192837 | 2071k| 2.1 | 143M| 35 | - | 40 |8354 | 40 | 17 | 22 | 568k|4409 | 0.000000e+00 | -- | Inf
231.59/231.68 c 232s| 1010k|194125 | 2092k| 2.1 | 144M| 35 | - | 40 |8292 | 40 | 17 | 22 | 574k|4436 | 0.000000e+00 | -- | Inf
234.41/234.48 c 234s| 1020k|195208 | 2113k| 2.1 | 145M| 35 | 5 | 40 |7636 | 40 | 17 | 22 | 580k|4457 | 0.000000e+00 | -- | Inf
236.99/237.03 c 237s| 1030k|196657 | 2133k| 2.1 | 146M| 35 | 5 | 40 |8722 | 40 | 17 | 22 | 586k|4472 | 0.000000e+00 | -- | Inf
239.91/239.92 c 240s| 1040k|197759 | 2154k| 2.1 | 147M| 35 | 5 | 40 |8196 | 40 | 17 | 22 | 593k|4491 | 0.000000e+00 | -- | Inf
242.70/242.79 c 243s| 1050k|198867 | 2175k| 2.1 | 148M| 35 | 5 | 40 |7976 | 40 | 17 | 22 | 599k|4512 | 0.000000e+00 | -- | Inf
245.31/245.37 c 245s| 1060k|200284 | 2195k| 2.1 | 150M| 35 | - | 40 |8917 | 40 | 17 | 22 | 605k|4532 | 0.000000e+00 | -- | Inf
248.00/248.05 c 248s| 1070k|201818 | 2216k| 2.1 | 151M| 36 | 5 | 40 |8794 | 40 | 17 | 22 | 611k|4546 | 0.000000e+00 | -- | Inf
250.50/250.59 c 251s| 1080k|203194 | 2237k| 2.1 | 153M| 36 | - | 40 | 10k| 40 | 17 | 22 | 618k|4566 | 0.000000e+00 | -- | Inf
253.50/253.60 c 254s| 1090k|204287 | 2258k| 2.1 | 153M| 36 | 5 | 40 |8485 | 40 | 17 | 22 | 624k|4580 | 0.000000e+00 | -- | Inf
256.10/256.14 c 256s| 1100k|205705 | 2279k| 2.1 | 155M| 36 | 5 | 40 |9816 | 40 | 17 | 22 | 630k|4598 | 0.000000e+00 | -- | Inf
258.99/259.05 c 259s| 1110k|206989 | 2299k| 2.1 | 156M| 36 | 5 | 40 |9884 | 40 | 17 | 22 | 636k|4618 | 0.000000e+00 | -- | Inf
262.10/262.11 c 262s| 1120k|208030 | 2320k| 2.1 | 157M| 36 | 5 | 40 |8920 | 40 | 17 | 22 | 643k|4634 | 0.000000e+00 | -- | Inf
264.80/264.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.80/264.81 c 265s| 1130k|209240 | 2341k| 2.1 | 158M| 36 | 5 | 40 |9634 | 40 | 17 | 22 | 649k|4655 | 0.000000e+00 | -- | Inf
267.50/267.57 c 268s| 1140k|210801 | 2361k| 2.1 | 159M| 36 | - | 40 |9937 | 40 | 17 | 22 | 655k|4673 | 0.000000e+00 | -- | Inf
270.29/270.39 c 270s| 1150k|211952 | 2382k| 2.1 | 161M| 36 | - | 40 | 10k| 40 | 17 | 22 | 661k|4686 | 0.000000e+00 | -- | Inf
273.30/273.31 c 273s| 1160k|213147 | 2402k| 2.1 | 162M| 36 | 5 | 40 |9624 | 40 | 17 | 22 | 667k|4701 | 0.000000e+00 | -- | Inf
275.69/275.74 c 276s| 1170k|215249 | 2423k| 2.1 | 163M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 673k|4714 | 0.000000e+00 | -- | Inf
278.31/278.32 c 278s| 1180k|217038 | 2443k| 2.1 | 165M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 679k|4729 | 0.000000e+00 | -- | Inf
281.10/281.19 c 281s| 1190k|218188 | 2464k| 2.1 | 166M| 36 | - | 40 | 11k| 40 | 17 | 22 | 685k|4749 | 0.000000e+00 | -- | Inf
283.70/283.77 c 284s| 1200k|220059 | 2485k| 2.1 | 168M| 36 | - | 40 | 13k| 0 | 0 | 22 | 691k|4765 | 0.000000e+00 | -- | Inf
287.11/287.13 c 287s| 1210k|221151 | 2505k| 2.1 | 169M| 36 | 5 | 40 | 13k| 40 | 17 | 22 | 697k|4779 | 0.000000e+00 | -- | Inf
290.20/290.23 c 290s| 1220k|222372 | 2525k| 2.1 | 170M| 36 | - | 40 | 14k| 0 | 0 | 22 | 703k|4794 | 0.000000e+00 | -- | Inf
293.40/293.48 c 293s| 1230k|223605 | 2546k| 2.1 | 171M| 36 | - | 40 | 11k| 40 | 17 | 22 | 709k|4815 | 0.000000e+00 | -- | Inf
296.50/296.59 c 297s| 1240k|224700 | 2567k| 2.1 | 172M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 716k|4829 | 0.000000e+00 | -- | Inf
299.80/299.87 c 300s| 1250k|225751 | 2587k| 2.1 | 172M| 36 | - | 40 | 10k| 40 | 17 | 22 | 722k|4849 | 0.000000e+00 | -- | Inf
302.51/302.53 c 303s| 1260k|227131 | 2608k| 2.1 | 174M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 728k|4866 | 0.000000e+00 | -- | Inf
305.30/305.33 c 305s| 1270k|228567 | 2628k| 2.1 | 175M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 734k|4882 | 0.000000e+00 | -- | Inf
308.19/308.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.19/308.21 c 308s| 1280k|230195 | 2648k| 2.1 | 176M| 36 | - | 40 | 11k| 0 | 0 | 22 | 740k|4903 | 0.000000e+00 | -- | Inf
311.20/311.22 c 311s| 1290k|231454 | 2669k| 2.1 | 177M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 746k|4914 | 0.000000e+00 | -- | Inf
314.61/314.65 c 315s| 1300k|232346 | 2690k| 2.1 | 178M| 36 | - | 40 |9098 | 40 | 17 | 22 | 753k|4932 | 0.000000e+00 | -- | Inf
317.50/317.58 c 318s| 1310k|233440 | 2711k| 2.1 | 179M| 36 | - | 40 |9467 | 40 | 17 | 22 | 759k|4956 | 0.000000e+00 | -- | Inf
320.70/320.75 c 321s| 1320k|234516 | 2731k| 2.1 | 180M| 36 | 5 | 40 |9058 | 40 | 17 | 22 | 766k|4971 | 0.000000e+00 | -- | Inf
323.20/323.23 c 323s| 1330k|236006 | 2751k| 2.1 | 182M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 772k|4991 | 0.000000e+00 | -- | Inf
326.30/326.35 c 326s| 1340k|237048 | 2771k| 2.1 | 183M| 36 | - | 40 | 10k| 0 | 0 | 22 | 778k|5004 | 0.000000e+00 | -- | Inf
329.60/329.64 c 330s| 1350k|238062 | 2791k| 2.1 | 183M| 36 | 5 | 40 |8903 | 40 | 17 | 22 | 784k|5017 | 0.000000e+00 | -- | Inf
332.40/332.41 c 332s| 1360k|239659 | 2812k| 2.1 | 184M| 36 | 5 | 40 |9662 | 40 | 17 | 22 | 790k|5033 | 0.000000e+00 | -- | Inf
335.10/335.13 c 335s| 1370k|240969 | 2833k| 2.1 | 186M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 796k|5045 | 0.000000e+00 | -- | Inf
338.00/338.09 c 338s| 1380k|242211 | 2853k| 2.1 | 187M| 36 | - | 40 | 10k| 40 | 17 | 22 | 803k|5060 | 0.000000e+00 | -- | Inf
340.80/340.80 c 341s| 1390k|243572 | 2874k| 2.1 | 189M| 36 | 5 | 40 | 12k| 40 | 17 | 22 | 809k|5075 | 0.000000e+00 | -- | Inf
344.00/344.08 c 344s| 1400k|244848 | 2894k| 2.1 | 189M| 36 | - | 40 | 11k| 40 | 17 | 22 | 815k|5084 | 0.000000e+00 | -- | Inf
347.61/347.65 c 348s| 1410k|245741 | 2915k| 2.1 | 190M| 36 | 5 | 40 |9126 | 40 | 17 | 22 | 821k|5106 | 0.000000e+00 | -- | Inf
350.50/350.52 c 351s| 1420k|246828 | 2936k| 2.1 | 191M| 36 | 5 | 40 |9816 | 40 | 17 | 22 | 828k|5117 | 0.000000e+00 | -- | Inf
353.70/353.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.70/353.74 c 354s| 1430k|247666 | 2957k| 2.1 | 192M| 36 | 5 | 40 |8705 | 40 | 17 | 22 | 834k|5131 | 0.000000e+00 | -- | Inf
356.20/356.28 c 356s| 1440k|249039 | 2978k| 2.1 | 194M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 841k|5155 | 0.000000e+00 | -- | Inf
359.40/359.44 c 359s| 1450k|250311 | 2998k| 2.1 | 195M| 36 | - | 40 | 10k| 40 | 17 | 22 | 847k|5169 | 0.000000e+00 | -- | Inf
362.50/362.55 c 363s| 1460k|251315 | 3018k| 2.1 | 196M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 854k|5181 | 0.000000e+00 | -- | Inf
365.70/365.72 c 366s| 1470k|252340 | 3040k| 2.1 | 196M| 36 | - | 40 | 10k| 40 | 17 | 22 | 860k|5191 | 0.000000e+00 | -- | Inf
368.51/368.60 c 369s| 1480k|253604 | 3061k| 2.1 | 198M| 36 | - | 40 | 10k| 40 | 17 | 22 | 866k|5204 | 0.000000e+00 | -- | Inf
371.81/371.85 c 372s| 1490k|254501 | 3082k| 2.1 | 198M| 36 | 5 | 40 |8581 | 40 | 17 | 22 | 873k|5217 | 0.000000e+00 | -- | Inf
374.91/374.94 c 375s| 1500k|255270 | 3102k| 2.1 | 199M| 36 | 5 | 40 |8233 | 40 | 17 | 22 | 880k|5231 | 0.000000e+00 | -- | Inf
377.80/377.86 c 378s| 1510k|256439 | 3123k| 2.1 | 200M| 36 | 5 | 40 |8055 | 40 | 17 | 22 | 886k|5247 | 0.000000e+00 | -- | Inf
380.50/380.58 c 381s| 1520k|257648 | 3144k| 2.1 | 201M| 36 | 5 | 40 |9162 | 40 | 17 | 22 | 892k|5265 | 0.000000e+00 | -- | Inf
383.30/383.31 c 383s| 1530k|258983 | 3165k| 2.1 | 203M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 899k|5281 | 0.000000e+00 | -- | Inf
386.11/386.19 c 386s| 1540k|260186 | 3185k| 2.1 | 204M| 36 | - | 40 | 10k| 0 | 0 | 22 | 905k|5289 | 0.000000e+00 | -- | Inf
389.20/389.29 c 389s| 1550k|261129 | 3206k| 2.1 | 205M| 36 | - | 40 |9105 | 40 | 17 | 22 | 911k|5304 | 0.000000e+00 | -- | Inf
392.30/392.34 c 392s| 1560k|262163 | 3227k| 2.1 | 206M| 36 | - | 40 |8704 | 40 | 17 | 22 | 918k|5316 | 0.000000e+00 | -- | Inf
395.30/395.38 c 395s| 1570k|263362 | 3247k| 2.1 | 207M| 36 | 5 | 40 |9229 | 40 | 17 | 22 | 924k|5332 | 0.000000e+00 | -- | Inf
398.21/398.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
398.21/398.30 c 398s| 1580k|264424 | 3268k| 2.1 | 208M| 36 | 5 | 40 |9796 | 40 | 17 | 22 | 930k|5346 | 0.000000e+00 | -- | Inf
401.30/401.36 c 401s| 1590k|265318 | 3289k| 2.1 | 209M| 36 | - | 40 |9700 | 40 | 17 | 22 | 937k|5364 | 0.000000e+00 | -- | Inf
404.40/404.43 c 404s| 1600k|266355 | 3310k| 2.1 | 210M| 36 | 5 | 40 |8688 | 40 | 17 | 22 | 944k|5377 | 0.000000e+00 | -- | Inf
407.20/407.26 c 407s| 1610k|267506 | 3331k| 2.1 | 211M| 36 | 5 | 40 |9891 | 40 | 17 | 22 | 950k|5392 | 0.000000e+00 | -- | Inf
410.00/410.01 c 410s| 1620k|268733 | 3351k| 2.1 | 212M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 956k|5404 | 0.000000e+00 | -- | Inf
413.30/413.33 c 413s| 1630k|269779 | 3372k| 2.1 | 213M| 36 | - | 40 |9626 | 40 | 17 | 22 | 963k|5411 | 0.000000e+00 | -- | Inf
416.30/416.32 c 416s| 1640k|270876 | 3392k| 2.1 | 214M| 36 | 5 | 40 |9274 | 40 | 17 | 22 | 969k|5428 | 0.000000e+00 | -- | Inf
419.22/419.25 c 419s| 1650k|272154 | 3413k| 2.1 | 216M| 36 | - | 40 | 10k| 40 | 17 | 22 | 976k|5442 | 0.000000e+00 | -- | Inf
422.30/422.31 c 422s| 1660k|273222 | 3434k| 2.1 | 217M| 36 | - | 40 |9515 | 40 | 17 | 22 | 982k|5460 | 0.000000e+00 | -- | Inf
425.30/425.35 c 425s| 1670k|274345 | 3454k| 2.1 | 218M| 36 | 5 | 40 |9542 | 40 | 17 | 22 | 988k|5471 | 0.000000e+00 | -- | Inf
427.70/427.73 c 428s| 1680k|275949 | 3475k| 2.1 | 220M| 36 | 5 | 40 | 12k| 40 | 17 | 22 | 994k|5484 | 0.000000e+00 | -- | Inf
430.81/430.86 c 431s| 1690k|276991 | 3494k| 2.1 | 220M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1001k|5506 | 0.000000e+00 | -- | Inf
433.52/433.57 c 434s| 1700k|278794 | 3516k| 2.1 | 222M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1006k|5523 | 0.000000e+00 | -- | Inf
436.20/436.24 c 436s| 1710k|280224 | 3537k| 2.1 | 224M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1012k|5536 | 0.000000e+00 | -- | Inf
439.50/439.50 c 440s| 1720k|281230 | 3558k| 2.1 | 225M| 36 | - | 40 | 14k| 0 | 0 | 22 |1019k|5556 | 0.000000e+00 | -- | Inf
443.51/443.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.51/443.52 c 444s| 1730k|282172 | 3578k| 2.1 | 225M| 36 | - | 40 | 12k| 40 | 17 | 22 |1025k|5571 | 0.000000e+00 | -- | Inf
447.00/447.01 c 447s| 1740k|283125 | 3598k| 2.1 | 226M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1032k|5591 | 0.000000e+00 | -- | Inf
450.11/450.10 c 450s| 1750k|284357 | 3618k| 2.1 | 227M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1039k|5602 | 0.000000e+00 | -- | Inf
453.10/453.11 c 453s| 1760k|285669 | 3640k| 2.1 | 229M| 36 | - | 40 | 12k| 40 | 17 | 22 |1045k|5623 | 0.000000e+00 | -- | Inf
456.51/456.58 c 457s| 1770k|286755 | 3660k| 2.1 | 229M| 36 | - | 40 | 10k| 40 | 17 | 22 |1051k|5642 | 0.000000e+00 | -- | Inf
460.10/460.16 c 460s| 1780k|287564 | 3681k| 2.1 | 230M| 36 | 5 | 40 |9899 | 40 | 17 | 22 |1058k|5656 | 0.000000e+00 | -- | Inf
463.40/463.43 c 463s| 1790k|288511 | 3702k| 2.1 | 231M| 36 | 5 | 40 |9412 | 40 | 17 | 22 |1064k|5670 | 0.000000e+00 | -- | Inf
466.60/466.65 c 467s| 1800k|289421 | 3723k| 2.1 | 232M| 36 | - | 40 |9209 | 40 | 17 | 22 |1071k|5676 | 0.000000e+00 | -- | Inf
469.91/469.91 c 470s| 1810k|290121 | 3743k| 2.1 | 233M| 36 | - | 40 |8455 | 40 | 17 | 22 |1078k|5694 | 0.000000e+00 | -- | Inf
472.70/472.71 c 473s| 1820k|291177 | 3764k| 2.1 | 234M| 36 | 5 | 40 |9488 | 40 | 17 | 22 |1084k|5707 | 0.000000e+00 | -- | Inf
475.80/475.87 c 476s| 1830k|292088 | 3785k| 2.1 | 235M| 36 | 5 | 40 |9114 | 40 | 17 | 22 |1091k|5730 | 0.000000e+00 | -- | Inf
479.21/479.25 c 479s| 1840k|292857 | 3806k| 2.1 | 235M| 36 | 5 | 40 |8287 | 40 | 17 | 22 |1097k|5744 | 0.000000e+00 | -- | Inf
482.11/482.14 c 482s| 1850k|293897 | 3827k| 2.1 | 237M| 36 | 5 | 40 |9339 | 40 | 17 | 22 |1104k|5760 | 0.000000e+00 | -- | Inf
484.90/484.98 c 485s| 1860k|295165 | 3848k| 2.1 | 238M| 36 | 5 | 40 |9836 | 40 | 17 | 22 |1110k|5779 | 0.000000e+00 | -- | Inf
487.91/487.92 c 488s| 1870k|296238 | 3869k| 2.1 | 239M| 36 | - | 40 |9731 | 40 | 17 | 22 |1117k|5800 | 0.000000e+00 | -- | Inf
491.10/491.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.10/491.18 c 491s| 1880k|297104 | 3890k| 2.1 | 240M| 36 | - | 40 |8843 | 40 | 17 | 22 |1123k|5811 | 0.000000e+00 | -- | Inf
494.02/494.09 c 494s| 1890k|298207 | 3911k| 2.1 | 241M| 36 | - | 40 | 10k| 40 | 17 | 22 |1130k|5822 | 0.000000e+00 | -- | Inf
496.80/496.85 c 497s| 1900k|299368 | 3931k| 2.1 | 243M| 36 | - | 40 | 11k| 0 | 0 | 22 |1136k|5836 | 0.000000e+00 | -- | Inf
500.11/500.13 c 500s| 1910k|300280 | 3952k| 2.1 | 243M| 36 | - | 40 | 11k| 0 | 0 | 22 |1143k|5847 | 0.000000e+00 | -- | Inf
503.50/503.55 c 504s| 1920k|301293 | 3972k| 2.1 | 244M| 36 | - | 40 | 11k| 40 | 17 | 22 |1149k|5854 | 0.000000e+00 | -- | Inf
506.61/506.65 c 507s| 1930k|302614 | 3993k| 2.1 | 246M| 36 | - | 40 | 12k| 40 | 17 | 22 |1156k|5870 | 0.000000e+00 | -- | Inf
509.90/509.94 c 510s| 1940k|303803 | 4014k| 2.1 | 247M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1162k|5889 | 0.000000e+00 | -- | Inf
513.51/513.54 c 514s| 1950k|304566 | 4035k| 2.1 | 247M| 36 | 5 | 40 |9501 | 40 | 17 | 22 |1169k|5904 | 0.000000e+00 | -- | Inf
517.01/517.04 c 517s| 1960k|305231 | 4056k| 2.1 | 248M| 36 | - | 40 |8431 | 40 | 17 | 22 |1175k|5914 | 0.000000e+00 | -- | Inf
520.11/520.14 c 520s| 1970k|306127 | 4077k| 2.1 | 249M| 36 | - | 40 |8379 | 40 | 17 | 22 |1182k|5934 | 0.000000e+00 | -- | Inf
523.21/523.23 c 523s| 1980k|306966 | 4098k| 2.1 | 250M| 36 | 5 | 40 |8615 | 40 | 17 | 22 |1189k|5946 | 0.000000e+00 | -- | Inf
526.00/526.02 c 526s| 1990k|308178 | 4119k| 2.1 | 251M| 36 | - | 40 |9776 | 40 | 17 | 22 |1195k|5973 | 0.000000e+00 | -- | Inf
528.61/528.65 c 529s| 2000k|309787 | 4140k| 2.1 | 253M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1201k|5982 | 0.000000e+00 | -- | Inf
531.71/531.78 c 532s| 2010k|310825 | 4161k| 2.1 | 254M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1207k|5997 | 0.000000e+00 | -- | Inf
535.41/535.40 c 535s| 2020k|311686 | 4182k| 2.1 | 254M| 36 | - | 40 | 10k| 40 | 17 | 22 |1214k|6009 | 0.000000e+00 | -- | Inf
538.51/538.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.51/538.57 c 539s| 2030k|312713 | 4203k| 2.1 | 256M| 36 | - | 40 | 11k| 40 | 17 | 22 |1221k|6021 | 0.000000e+00 | -- | Inf
541.91/541.93 c 542s| 2040k|313903 | 4225k| 2.1 | 257M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1227k|6031 | 0.000000e+00 | -- | Inf
545.20/545.23 c 545s| 2050k|315085 | 4245k| 2.1 | 257M| 36 | - | 40 |9630 | 40 | 17 | 22 |1233k|6053 | 0.000000e+00 | -- | Inf
547.92/547.93 c 548s| 2060k|316468 | 4266k| 2.1 | 259M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1239k|6063 | 0.000000e+00 | -- | Inf
551.41/551.41 c 551s| 2070k|317450 | 4287k| 2.1 | 260M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1246k|6083 | 0.000000e+00 | -- | Inf
554.81/554.80 c 555s| 2080k|318394 | 4307k| 2.1 | 260M| 36 | 5 | 40 |8884 | 40 | 17 | 22 |1252k|6093 | 0.000000e+00 | -- | Inf
557.71/557.75 c 558s| 2090k|319460 | 4329k| 2.1 | 262M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1259k|6112 | 0.000000e+00 | -- | Inf
560.51/560.51 c 561s| 2100k|321096 | 4349k| 2.1 | 264M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1265k|6120 | 0.000000e+00 | -- | Inf
564.10/564.19 c 564s| 2110k|321925 | 4370k| 2.1 | 264M| 36 | - | 40 | 11k| 0 | 0 | 22 |1272k|6135 | 0.000000e+00 | -- | Inf
567.81/567.85 c 568s| 2120k|322879 | 4391k| 2.1 | 265M| 36 | - | 40 | 11k| 40 | 17 | 22 |1278k|6146 | 0.000000e+00 | -- | Inf
571.61/571.64 c 572s| 2130k|323552 | 4412k| 2.1 | 266M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1285k|6165 | 0.000000e+00 | -- | Inf
574.41/574.40 c 574s| 2140k|325119 | 4433k| 2.1 | 268M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1291k|6176 | 0.000000e+00 | -- | Inf
577.81/577.81 c 578s| 2150k|326092 | 4453k| 2.1 | 268M| 36 | - | 40 | 10k| 40 | 17 | 22 |1298k|6185 | 0.000000e+00 | -- | Inf
580.82/580.87 c 581s| 2160k|327166 | 4473k| 2.1 | 270M| 36 | - | 40 | 11k| 40 | 17 | 22 |1304k|6194 | 0.000000e+00 | -- | Inf
584.71/584.78 c 585s| 2170k|327840 | 4494k| 2.1 | 270M| 36 | - | 40 |9921 | 40 | 17 | 22 |1311k|6203 | 0.000000e+00 | -- | Inf
587.91/587.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
587.91/587.91 c 588s| 2180k|329187 | 4514k| 2.1 | 271M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1317k|6220 | 0.000000e+00 | -- | Inf
590.61/590.63 c 591s| 2190k|330491 | 4534k| 2.1 | 273M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1323k|6229 | 0.000000e+00 | -- | Inf
593.21/593.28 c 593s| 2200k|332070 | 4554k| 2.1 | 274M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1329k|6239 | 0.000000e+00 | -- | Inf
596.51/596.50 c 596s| 2210k|332974 | 4573k| 2.1 | 275M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1336k|6265 | 0.000000e+00 | -- | Inf
600.01/600.02 c 600s| 2220k|333618 | 4593k| 2.1 | 276M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1343k|6274 | 0.000000e+00 | -- | Inf
604.31/604.34 c 604s| 2230k|334185 | 4614k| 2.1 | 277M| 36 | - | 40 | 11k| 40 | 17 | 22 |1350k|6288 | 0.000000e+00 | -- | Inf
607.81/607.83 c 608s| 2240k|335048 | 4634k| 2.1 | 277M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1356k|6289 | 0.000000e+00 | -- | Inf
610.62/610.63 c 611s| 2250k|336824 | 4654k| 2.1 | 279M| 36 | - | 40 | 10k| 40 | 17 | 22 |1362k|6299 | 0.000000e+00 | -- | Inf
613.31/613.32 c 613s| 2260k|338538 | 4673k| 2.1 | 280M| 36 | 5 | 40 |9998 | 40 | 17 | 22 |1368k|6304 | 0.000000e+00 | -- | Inf
615.91/615.94 c 616s| 2270k|340389 | 4691k| 2.1 | 282M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1373k|6307 | 0.000000e+00 | -- | Inf
618.81/618.81 c 619s| 2280k|342063 | 4710k| 2.1 | 283M| 36 | - | 40 | 12k| 40 | 17 | 22 |1379k|6317 | 0.000000e+00 | -- | Inf
622.01/622.05 c 622s| 2290k|343099 | 4728k| 2.1 | 284M| 36 | - | 40 | 10k| 40 | 17 | 22 |1385k|6321 | 0.000000e+00 | -- | Inf
625.21/625.29 c 625s| 2300k|343924 | 4747k| 2.1 | 285M| 36 | - | 40 | 10k| 40 | 17 | 22 |1391k|6330 | 0.000000e+00 | -- | Inf
628.22/628.29 c 628s| 2310k|345220 | 4766k| 2.1 | 286M| 36 | - | 40 | 11k| 0 | 0 | 22 |1398k|6346 | 0.000000e+00 | -- | Inf
631.42/631.42 c 631s| 2320k|346134 | 4785k| 2.1 | 287M| 36 | - | 40 | 12k| 40 | 17 | 22 |1404k|6354 | 0.000000e+00 | -- | Inf
634.91/634.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.91/634.94 c 635s| 2330k|346863 | 4804k| 2.1 | 288M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1411k|6360 | 0.000000e+00 | -- | Inf
638.41/638.42 c 638s| 2340k|347497 | 4823k| 2.1 | 289M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1417k|6374 | 0.000000e+00 | -- | Inf
641.81/641.82 c 642s| 2350k|348199 | 4842k| 2.1 | 289M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1424k|6382 | 0.000000e+00 | -- | Inf
646.11/646.17 c 646s| 2360k|348578 | 4863k| 2.1 | 289M| 36 | - | 40 |9480 | 40 | 17 | 22 |1431k|6401 | 0.000000e+00 | -- | Inf
649.60/649.66 c 650s| 2370k|349325 | 4884k| 2.1 | 290M| 36 | - | 40 |9332 | 40 | 17 | 22 |1438k|6417 | 0.000000e+00 | -- | Inf
652.91/652.98 c 653s| 2380k|350182 | 4904k| 2.1 | 291M| 36 | - | 40 |9727 | 0 | 0 | 22 |1444k|6418 | 0.000000e+00 | -- | Inf
656.51/656.51 c 657s| 2390k|350977 | 4925k| 2.1 | 292M| 36 | - | 40 |9527 | 40 | 17 | 22 |1451k|6428 | 0.000000e+00 | -- | Inf
659.51/659.59 c 660s| 2400k|352170 | 4946k| 2.1 | 293M| 36 | 5 | 40 |9176 | 40 | 17 | 22 |1458k|6435 | 0.000000e+00 | -- | Inf
662.33/662.36 c 662s| 2410k|353296 | 4966k| 2.1 | 294M| 36 | - | 40 |9509 | 40 | 17 | 22 |1464k|6446 | 0.000000e+00 | -- | Inf
664.91/664.99 c 665s| 2420k|354306 | 4987k| 2.1 | 296M| 36 | - | 40 | 11k| 40 | 17 | 22 |1471k|6457 | 0.000000e+00 | -- | Inf
668.31/668.36 c 668s| 2430k|355112 | 5008k| 2.1 | 296M| 36 | 5 | 40 |9687 | 40 | 17 | 22 |1478k|6470 | 0.000000e+00 | -- | Inf
671.31/671.35 c 671s| 2440k|356245 | 5028k| 2.1 | 298M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1485k|6479 | 0.000000e+00 | -- | Inf
674.51/674.56 c 675s| 2450k|357283 | 5049k| 2.1 | 299M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1491k|6492 | 0.000000e+00 | -- | Inf
677.51/677.50 c 678s| 2460k|358513 | 5070k| 2.1 | 300M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1498k|6506 | 0.000000e+00 | -- | Inf
680.71/680.75 c 681s| 2470k|359504 | 5091k| 2.1 | 301M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1504k|6513 | 0.000000e+00 | -- | Inf
684.51/684.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.51/684.54 c 685s| 2480k|360189 | 5112k| 2.1 | 302M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1511k|6525 | 0.000000e+00 | -- | Inf
688.41/688.42 c 688s| 2490k|360823 | 5132k| 2.1 | 302M| 36 | - | 40 |9127 | 40 | 17 | 22 |1518k|6546 | 0.000000e+00 | -- | Inf
691.71/691.73 c 692s| 2500k|361596 | 5153k| 2.1 | 303M| 36 | 5 | 40 |8641 | 40 | 17 | 22 |1524k|6551 | 0.000000e+00 | -- | Inf
695.02/695.02 c 695s| 2510k|362273 | 5173k| 2.1 | 304M| 36 | 5 | 40 |9173 | 40 | 17 | 22 |1531k|6566 | 0.000000e+00 | -- | Inf
697.81/697.86 c 698s| 2520k|363429 | 5193k| 2.1 | 305M| 36 | - | 40 |9959 | 0 | 0 | 22 |1537k|6572 | 0.000000e+00 | -- | Inf
700.62/700.70 c 701s| 2530k|364244 | 5212k| 2.1 | 306M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1544k|6576 | 0.000000e+00 | -- | Inf
703.71/703.78 c 704s| 2540k|365440 | 5232k| 2.1 | 307M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1550k|6590 | 0.000000e+00 | -- | Inf
706.62/706.66 c 707s| 2550k|366903 | 5252k| 2.1 | 309M| 36 | - | 40 | 12k| 40 | 17 | 22 |1556k|6608 | 0.000000e+00 | -- | Inf
710.21/710.29 c 710s| 2560k|367785 | 5272k| 2.1 | 310M| 36 | - | 40 | 12k| 40 | 17 | 22 |1563k|6616 | 0.000000e+00 | -- | Inf
713.93/714.00 c 714s| 2570k|368520 | 5293k| 2.1 | 310M| 36 | - | 40 |9995 | 40 | 17 | 22 |1570k|6635 | 0.000000e+00 | -- | Inf
717.41/717.46 c 717s| 2580k|369259 | 5314k| 2.1 | 311M| 36 | 5 | 40 |9686 | 40 | 17 | 22 |1577k|6645 | 0.000000e+00 | -- | Inf
720.92/720.99 c 721s| 2590k|369989 | 5335k| 2.1 | 312M| 36 | 5 | 40 |9057 | 40 | 17 | 22 |1583k|6653 | 0.000000e+00 | -- | Inf
724.31/724.37 c 724s| 2600k|370646 | 5355k| 2.1 | 312M| 36 | 5 | 40 |8895 | 40 | 17 | 22 |1590k|6675 | 0.000000e+00 | -- | Inf
727.71/727.70 c 728s| 2610k|371421 | 5376k| 2.1 | 313M| 36 | - | 40 |9692 | 40 | 17 | 22 |1596k|6689 | 0.000000e+00 | -- | Inf
730.31/730.31 c 730s| 2620k|373185 | 5397k| 2.1 | 315M| 36 | - | 40 | 11k| 0 | 0 | 22 |1602k|6700 | 0.000000e+00 | -- | Inf
733.61/733.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.61/733.60 c 734s| 2630k|373938 | 5418k| 2.1 | 317M| 36 | - | 40 | 12k| 40 | 17 | 22 |1609k|6718 | 0.000000e+00 | -- | Inf
737.71/737.75 c 738s| 2640k|374533 | 5439k| 2.1 | 317M| 36 | - | 40 | 10k| 40 | 17 | 22 |1616k|6735 | 0.000000e+00 | -- | Inf
741.31/741.38 c 741s| 2650k|375200 | 5459k| 2.1 | 317M| 36 | 5 | 40 |9294 | 40 | 17 | 22 |1622k|6747 | 0.000000e+00 | -- | Inf
744.72/744.75 c 745s| 2660k|376053 | 5480k| 2.1 | 318M| 36 | 5 | 40 |9894 | 40 | 17 | 22 |1629k|6758 | 0.000000e+00 | -- | Inf
747.82/747.88 c 748s| 2670k|377079 | 5501k| 2.1 | 320M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1636k|6769 | 0.000000e+00 | -- | Inf
751.11/751.10 c 751s| 2680k|378059 | 5522k| 2.1 | 321M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1642k|6779 | 0.000000e+00 | -- | Inf
754.11/754.15 c 754s| 2690k|379085 | 5542k| 2.1 | 322M| 36 | - | 40 | 12k| 40 | 17 | 22 |1649k|6790 | 0.000000e+00 | -- | Inf
757.51/757.52 c 758s| 2700k|380468 | 5564k| 2.1 | 323M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1655k|6805 | 0.000000e+00 | -- | Inf
760.52/760.54 c 761s| 2710k|382030 | 5585k| 2.1 | 325M| 36 | - | 40 | 13k| 40 | 17 | 22 |1661k|6819 | 0.000000e+00 | -- | Inf
764.11/764.12 c 764s| 2720k|382863 | 5607k| 2.1 | 326M| 36 | - | 40 | 14k| 40 | 17 | 22 |1668k|6825 | 0.000000e+00 | -- | Inf
767.41/767.43 c 767s| 2730k|384260 | 5627k| 2.1 | 327M| 36 | - | 40 | 15k| 40 | 17 | 22 |1674k|6838 | 0.000000e+00 | -- | Inf
770.81/770.84 c 771s| 2740k|385690 | 5647k| 2.1 | 329M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1680k|6854 | 0.000000e+00 | -- | Inf
774.42/774.47 c 774s| 2750k|387186 | 5669k| 2.1 | 330M| 36 | - | 40 | 17k| 40 | 17 | 22 |1686k|6863 | 0.000000e+00 | -- | Inf
778.61/778.66 c 779s| 2760k|388006 | 5690k| 2.1 | 332M| 36 | - | 40 | 18k| 40 | 17 | 22 |1692k|6880 | 0.000000e+00 | -- | Inf
782.41/782.46 c 782s| 2770k|389255 | 5712k| 2.1 | 333M| 36 | - | 40 | 19k| 40 | 17 | 22 |1699k|6890 | 0.000000e+00 | -- | Inf
786.52/786.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.52/786.60 c 787s| 2780k|390425 | 5733k| 2.1 | 334M| 36 | - | 40 | 18k| 40 | 17 | 22 |1705k|6900 | 0.000000e+00 | -- | Inf
790.92/790.96 c 791s| 2790k|391345 | 5752k| 2.1 | 334M| 36 | - | 40 | 16k| 40 | 17 | 22 |1712k|6913 | 0.000000e+00 | -- | Inf
795.32/795.33 c 795s| 2800k|392104 | 5773k| 2.1 | 335M| 36 | - | 40 | 14k| 40 | 17 | 22 |1719k|6925 | 0.000000e+00 | -- | Inf
798.81/798.80 c 799s| 2810k|393142 | 5793k| 2.1 | 336M| 36 | - | 40 | 15k| 40 | 17 | 22 |1725k|6931 | 0.000000e+00 | -- | Inf
802.21/802.21 c 802s| 2820k|394674 | 5814k| 2.1 | 338M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1731k|6939 | 0.000000e+00 | -- | Inf
806.01/806.04 c 806s| 2830k|395703 | 5834k| 2.1 | 339M| 36 | - | 40 | 16k| 40 | 17 | 22 |1738k|6955 | 0.000000e+00 | -- | Inf
810.62/810.63 c 811s| 2840k|396443 | 5855k| 2.1 | 339M| 36 | - | 40 | 13k| 40 | 17 | 22 |1744k|6966 | 0.000000e+00 | -- | Inf
814.52/814.52 c 815s| 2850k|397380 | 5876k| 2.1 | 339M| 36 | - | 40 | 12k| 40 | 17 | 22 |1751k|6982 | 0.000000e+00 | -- | Inf
817.61/817.62 c 818s| 2860k|398698 | 5897k| 2.1 | 341M| 36 | - | 40 | 14k| 40 | 17 | 22 |1757k|6989 | 0.000000e+00 | -- | Inf
821.42/821.43 c 821s| 2870k|399473 | 5917k| 2.1 | 342M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1764k|7003 | 0.000000e+00 | -- | Inf
825.81/825.80 c 826s| 2880k|400162 | 5938k| 2.1 | 342M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1771k|7011 | 0.000000e+00 | -- | Inf
829.53/829.58 c 830s| 2890k|400887 | 5958k| 2.1 | 343M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1778k|7020 | 0.000000e+00 | -- | Inf
832.42/832.41 c 832s| 2900k|403110 | 5980k| 2.1 | 344M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1783k|7031 | 0.000000e+00 | -- | Inf
834.92/835.00 c 835s| 2910k|405263 | 6000k| 2.1 | 346M| 36 | - | 40 | 12k| 40 | 17 | 22 |1789k|7046 | 0.000000e+00 | -- | Inf
837.82/837.82 c 838s| 2920k|407270 | 6021k| 2.1 | 348M| 36 | - | 40 | 12k| 40 | 17 | 22 |1794k|7056 | 0.000000e+00 | -- | Inf
840.31/840.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.31/840.39 c 840s| 2930k|409668 | 6042k| 2.1 | 350M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |1800k|7064 | 0.000000e+00 | -- | Inf
843.83/843.87 c 844s| 2940k|411221 | 6063k| 2.1 | 351M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1806k|7078 | 0.000000e+00 | -- | Inf
847.22/847.25 c 847s| 2950k|412646 | 6084k| 2.1 | 352M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1812k|7085 | 0.000000e+00 | -- | Inf
850.72/850.78 c 851s| 2960k|413851 | 6104k| 2.1 | 353M| 36 | - | 40 | 13k| 40 | 17 | 22 |1818k|7101 | 0.000000e+00 | -- | Inf
854.01/854.08 c 854s| 2970k|415226 | 6125k| 2.1 | 355M| 36 | - | 40 | 13k| 40 | 17 | 22 |1824k|7105 | 0.000000e+00 | -- | Inf
857.51/857.57 c 858s| 2980k|416460 | 6145k| 2.1 | 356M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |1831k|7120 | 0.000000e+00 | -- | Inf
860.91/860.92 c 861s| 2990k|417832 | 6165k| 2.1 | 357M| 36 | - | 40 | 15k| 40 | 17 | 22 |1837k|7131 | 0.000000e+00 | -- | Inf
864.01/864.07 c 864s| 3000k|419784 | 6186k| 2.1 | 359M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1843k|7142 | 0.000000e+00 | -- | Inf
867.72/867.76 c 868s| 3010k|421103 | 6207k| 2.1 | 361M| 36 | - | 40 | 18k| 0 | 0 | 22 |1849k|7158 | 0.000000e+00 | -- | Inf
871.72/871.77 c 872s| 3020k|422179 | 6228k| 2.1 | 362M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1856k|7165 | 0.000000e+00 | -- | Inf
875.91/875.91 c 876s| 3030k|423353 | 6250k| 2.1 | 364M| 36 | 5 | 40 | 20k| 40 | 17 | 22 |1863k|7173 | 0.000000e+00 | -- | Inf
880.42/880.44 c 880s| 3040k|424410 | 6271k| 2.1 | 364M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1870k|7186 | 0.000000e+00 | -- | Inf
884.22/884.29 c 884s| 3050k|425920 | 6291k| 2.1 | 365M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1876k|7198 | 0.000000e+00 | -- | Inf
888.72/888.78 c 889s| 3060k|426772 | 6312k| 2.1 | 366M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1883k|7204 | 0.000000e+00 | -- | Inf
893.62/893.61 c 894s| 3070k|427309 | 6333k| 2.1 | 367M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1889k|7218 | 0.000000e+00 | -- | Inf
897.52/897.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.52/897.52 c 898s| 3080k|428289 | 6354k| 2.1 | 368M| 36 | - | 40 | 16k| 40 | 17 | 22 |1896k|7230 | 0.000000e+00 | -- | Inf
902.03/902.10 c 902s| 3090k|428901 | 6374k| 2.1 | 368M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1903k|7243 | 0.000000e+00 | -- | Inf
905.91/905.94 c 906s| 3100k|429906 | 6395k| 2.1 | 370M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1910k|7252 | 0.000000e+00 | -- | Inf
910.21/910.23 c 910s| 3110k|431146 | 6416k| 2.1 | 371M| 36 | - | 40 | 15k| 0 | 0 | 22 |1916k|7267 | 0.000000e+00 | -- | Inf
913.52/913.50 c 914s| 3120k|433029 | 6436k| 2.1 | 372M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1922k|7276 | 0.000000e+00 | -- | Inf
916.81/916.88 c 917s| 3130k|434804 | 6457k| 2.1 | 374M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1928k|7284 | 0.000000e+00 | -- | Inf
921.02/921.06 c 921s| 3140k|436274 | 6477k| 2.1 | 375M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1934k|7299 | 0.000000e+00 | -- | Inf
925.42/925.44 c 925s| 3150k|437303 | 6498k| 2.1 | 376M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1941k|7311 | 0.000000e+00 | -- | Inf
929.63/929.67 c 930s| 3160k|438269 | 6519k| 2.1 | 377M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1948k|7321 | 0.000000e+00 | -- | Inf
934.52/934.57 c 935s| 3170k|438988 | 6539k| 2.1 | 378M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1954k|7329 | 0.000000e+00 | -- | Inf
939.12/939.15 c 939s| 3180k|440050 | 6559k| 2.1 | 379M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1961k|7338 | 0.000000e+00 | -- | Inf
942.62/942.61 c 943s| 3190k|441454 | 6580k| 2.1 | 381M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1967k|7347 | 0.000000e+00 | -- | Inf
946.92/946.98 c 947s| 3200k|442447 | 6601k| 2.1 | 382M| 36 | 5 | 40 | 20k| 40 | 17 | 22 |1974k|7361 | 0.000000e+00 | -- | Inf
952.22/952.25 c 952s| 3210k|443196 | 6621k| 2.1 | 382M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1980k|7374 | 0.000000e+00 | -- | Inf
956.32/956.33 c 956s| 3220k|444770 | 6642k| 2.1 | 383M| 36 | - | 40 | 17k| 40 | 17 | 22 |1986k|7389 | 0.000000e+00 | -- | Inf
960.01/960.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.01/960.00 c 960s| 3230k|446536 | 6662k| 2.1 | 385M| 36 | - | 40 | 18k| 40 | 17 | 22 |1992k|7392 | 0.000000e+00 | -- | Inf
964.02/964.07 c 964s| 3240k|447792 | 6682k| 2.1 | 386M| 36 | - | 40 | 19k| 40 | 17 | 22 |1999k|7399 | 0.000000e+00 | -- | Inf
968.22/968.29 c 968s| 3250k|448951 | 6702k| 2.1 | 388M| 36 | - | 40 | 21k| 40 | 17 | 22 |2005k|7412 | 0.000000e+00 | -- | Inf
972.43/972.50 c 972s| 3260k|450405 | 6723k| 2.1 | 389M| 36 | 5 | 40 | 22k| 40 | 17 | 22 |2011k|7426 | 0.000000e+00 | -- | Inf
977.02/977.09 c 977s| 3270k|451723 | 6743k| 2.1 | 391M| 36 | - | 40 | 23k| 40 | 17 | 22 |2018k|7432 | 0.000000e+00 | -- | Inf
984.12/984.11 c 984s| 3280k|452271 | 6764k| 2.1 | 390M| 36 | - | 40 | 15k| 40 | 17 | 22 |2025k|7445 | 0.000000e+00 | -- | Inf
988.32/988.37 c 988s| 3290k|453035 | 6784k| 2.1 | 390M| 36 | - | 40 | 14k| 0 | 0 | 22 |2031k|7458 | 0.000000e+00 | -- | Inf
992.92/992.99 c 993s| 3300k|453643 | 6805k| 2.1 | 391M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2038k|7462 | 0.000000e+00 | -- | Inf
996.92/996.96 c 997s| 3310k|454588 | 6826k| 2.1 | 391M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2045k|7474 | 0.000000e+00 | -- | Inf
1001.13/1001.14 c 1001s| 3320k|455172 | 6846k| 2.1 | 392M| 36 | - | 40 |9860 | 40 | 17 | 22 |2052k|7486 | 0.000000e+00 | -- | Inf
1004.62/1004.65 c 1005s| 3330k|456019 | 6867k| 2.1 | 393M| 36 | - | 40 | 10k| 40 | 17 | 22 |2058k|7494 | 0.000000e+00 | -- | Inf
1008.73/1008.80 c 1009s| 3340k|456601 | 6888k| 2.1 | 394M| 36 | - | 40 | 10k| 40 | 17 | 22 |2065k|7510 | 0.000000e+00 | -- | Inf
1011.92/1011.97 c 1012s| 3350k|457771 | 6911k| 2.1 | 395M| 36 | - | 40 | 11k| 40 | 17 | 22 |2072k|7521 | 0.000000e+00 | -- | Inf
1015.62/1015.69 c 1016s| 3360k|458635 | 6932k| 2.1 | 396M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2079k|7528 | 0.000000e+00 | -- | Inf
1019.92/1019.91 c 1020s| 3370k|459161 | 6953k| 2.1 | 396M| 36 | 5 | 40 |9616 | 40 | 17 | 22 |2086k|7542 | 0.000000e+00 | -- | Inf
1023.92/1023.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.92/1023.92 c 1024s| 3380k|459736 | 6974k| 2.1 | 397M| 36 | 5 | 40 |9470 | 40 | 17 | 22 |2093k|7551 | 0.000000e+00 | -- | Inf
1027.03/1027.08 c 1027s| 3390k|460561 | 6994k| 2.1 | 398M| 36 | - | 40 | 10k| 40 | 17 | 22 |2099k|7561 | 0.000000e+00 | -- | Inf
1031.42/1031.46 c 1031s| 3400k|460926 | 7015k| 2.1 | 399M| 36 | - | 40 |9710 | 40 | 17 | 22 |2106k|7571 | 0.000000e+00 | -- | Inf
1035.02/1035.00 c 1035s| 3410k|461767 | 7035k| 2.1 | 400M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2113k|7580 | 0.000000e+00 | -- | Inf
1037.52/1037.59 c 1038s| 3420k|463615 | 7056k| 2.1 | 402M| 36 | - | 40 | 12k| 0 | 0 | 22 |2119k|7592 | 0.000000e+00 | -- | Inf
1040.73/1040.79 c 1041s| 3430k|464529 | 7077k| 2.1 | 403M| 36 | - | 40 | 12k| 0 | 0 | 22 |2125k|7612 | 0.000000e+00 | -- | Inf
1045.13/1045.19 c 1045s| 3440k|465099 | 7097k| 2.1 | 403M| 36 | - | 40 | 10k| 40 | 17 | 22 |2132k|7625 | 0.000000e+00 | -- | Inf
1049.22/1049.20 c 1049s| 3450k|465599 | 7118k| 2.1 | 403M| 36 | - | 40 |8739 | 0 | 0 | 22 |2139k|7632 | 0.000000e+00 | -- | Inf
1052.83/1052.82 c 1053s| 3460k|466134 | 7139k| 2.1 | 404M| 36 | - | 40 |8920 | 0 | 0 | 22 |2146k|7641 | 0.000000e+00 | -- | Inf
1056.53/1056.52 c 1057s| 3470k|466683 | 7160k| 2.1 | 405M| 36 | 5 | 40 |9938 | 40 | 17 | 22 |2153k|7644 | 0.000000e+00 | -- | Inf
1060.54/1060.56 c 1061s| 3480k|467067 | 7180k| 2.1 | 406M| 36 | 5 | 40 |8983 | 40 | 17 | 22 |2160k|7653 | 0.000000e+00 | -- | Inf
1063.22/1063.29 c 1063s| 3490k|468651 | 7201k| 2.1 | 407M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2166k|7663 | 0.000000e+00 | -- | Inf
1066.62/1066.62 c 1067s| 3500k|469247 | 7222k| 2.1 | 408M| 36 | - | 40 | 11k| 0 | 0 | 22 |2173k|7677 | 0.000000e+00 | -- | Inf
1070.92/1070.94 c 1071s| 3510k|469670 | 7242k| 2.1 | 409M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2180k|7694 | 0.000000e+00 | -- | Inf
1074.73/1074.72 c 1075s| 3520k|470370 | 7263k| 2.1 | 410M| 36 | - | 40 | 10k| 40 | 17 | 22 |2187k|7705 | 0.000000e+00 | -- | Inf
1077.93/1077.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1077.93/1077.97 c 1078s| 3530k|471217 | 7283k| 2.1 | 411M| 36 | - | 40 | 11k| 40 | 17 | 22 |2194k|7713 | 0.000000e+00 | -- | Inf
1082.43/1082.41 c 1082s| 3540k|471562 | 7304k| 2.1 | 411M| 36 | - | 40 |9315 | 40 | 17 | 22 |2201k|7730 | 0.000000e+00 | -- | Inf
1085.53/1085.51 c 1086s| 3550k|473276 | 7324k| 2.1 | 412M| 36 | 5 | 40 |9920 | 40 | 17 | 22 |2207k|7733 | 0.000000e+00 | -- | Inf
1088.22/1088.24 c 1088s| 3560k|475223 | 7345k| 2.1 | 414M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2213k|7746 | 0.000000e+00 | -- | Inf
1091.02/1091.07 c 1091s| 3570k|477150 | 7365k| 2.1 | 416M| 36 | - | 40 | 13k| 40 | 17 | 22 |2219k|7753 | 0.000000e+00 | -- | Inf
1094.32/1094.35 c 1094s| 3580k|478690 | 7386k| 2.1 | 418M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2225k|7759 | 0.000000e+00 | -- | Inf
1097.84/1097.88 c 1098s| 3590k|480030 | 7406k| 2.1 | 419M| 36 | - | 40 | 14k| 40 | 17 | 22 |2231k|7764 | 0.000000e+00 | -- | Inf
1101.13/1101.16 c 1101s| 3600k|481584 | 7427k| 2.1 | 420M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2237k|7772 | 0.000000e+00 | -- | Inf
1104.92/1104.93 c 1105s| 3610k|482786 | 7447k| 2.1 | 422M| 36 | - | 40 | 15k| 40 | 17 | 22 |2243k|7778 | 0.000000e+00 | -- | Inf
1109.22/1109.21 c 1109s| 3620k|483744 | 7467k| 2.1 | 422M| 36 | - | 40 | 14k| 0 | 0 | 22 |2250k|7791 | 0.000000e+00 | -- | Inf
1112.83/1112.89 c 1113s| 3630k|484863 | 7488k| 2.1 | 424M| 36 | - | 40 | 15k| 0 | 0 | 22 |2256k|7795 | 0.000000e+00 | -- | Inf
1116.92/1116.94 c 1117s| 3640k|485877 | 7509k| 2.1 | 425M| 36 | - | 40 | 15k| 40 | 17 | 22 |2263k|7797 | 0.000000e+00 | -- | Inf
1120.42/1120.43 c 1120s| 3650k|487197 | 7529k| 2.1 | 426M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2269k|7812 | 0.000000e+00 | -- | Inf
1124.92/1124.91 c 1125s| 3660k|488118 | 7550k| 2.1 | 427M| 36 | - | 40 | 17k| 40 | 17 | 22 |2276k|7817 | 0.000000e+00 | -- | Inf
1129.62/1129.70 c 1130s| 3670k|488896 | 7571k| 2.1 | 428M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2283k|7822 | 0.000000e+00 | -- | Inf
1133.52/1133.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.52/1133.56 c 1134s| 3680k|490509 | 7591k| 2.1 | 430M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2289k|7836 | 0.000000e+00 | -- | Inf
1138.22/1138.23 c 1138s| 3690k|491303 | 7612k| 2.1 | 431M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |2296k|7847 | 0.000000e+00 | -- | Inf
1143.62/1143.68 c 1144s| 3700k|491889 | 7631k| 2.1 | 432M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2302k|7866 | 0.000000e+00 | -- | Inf
1148.73/1148.73 c 1149s| 3710k|492500 | 7652k| 2.1 | 433M| 36 | - | 40 | 18k| 40 | 17 | 22 |2309k|7887 | 0.000000e+00 | -- | Inf
1154.53/1154.54 c 1155s| 3720k|493075 | 7673k| 2.1 | 432M| 36 | - | 40 | 13k| 40 | 17 | 22 |2316k|7893 | 0.000000e+00 | -- | Inf
1159.32/1159.32 c 1159s| 3730k|493831 | 7693k| 2.1 | 432M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2323k|7905 | 0.000000e+00 | -- | Inf
1162.84/1162.85 c 1163s| 3740k|495057 | 7714k| 2.1 | 433M| 36 | - | 40 | 11k| 40 | 17 | 22 |2329k|7918 | 0.000000e+00 | -- | Inf
1166.22/1166.24 c 1166s| 3750k|496532 | 7735k| 2.1 | 434M| 36 | - | 40 | 11k| 40 | 17 | 22 |2336k|7930 | 0.000000e+00 | -- | Inf
1169.12/1169.17 c 1169s| 3760k|498317 | 7756k| 2.1 | 436M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2341k|7944 | 0.000000e+00 | -- | Inf
1172.52/1172.61 c 1173s| 3770k|499681 | 7776k| 2.1 | 438M| 36 | - | 40 | 13k| 40 | 17 | 22 |2348k|7948 | 0.000000e+00 | -- | Inf
1176.12/1176.18 c 1176s| 3780k|500777 | 7797k| 2.1 | 439M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2354k|7962 | 0.000000e+00 | -- | Inf
1179.83/1179.86 c 1180s| 3790k|501775 | 7817k| 2.1 | 440M| 36 | - | 40 | 14k| 40 | 17 | 22 |2361k|7980 | 0.000000e+00 | -- | Inf
1183.83/1183.85 c 1184s| 3800k|502666 | 7838k| 2.1 | 441M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2367k|7985 | 0.000000e+00 | -- | Inf
1187.83/1187.89 c 1188s| 3810k|503396 | 7859k| 2.1 | 443M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2374k|7990 | 0.000000e+00 | -- | Inf
1192.44/1192.50 c 1193s| 3820k|504125 | 7879k| 2.1 | 443M| 36 | - | 40 | 14k| 40 | 17 | 22 |2381k|8003 | 0.000000e+00 | -- | Inf
1196.84/1196.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1196.84/1196.89 c 1197s| 3830k|504962 | 7900k| 2.1 | 443M| 36 | - | 40 | 13k| 40 | 17 | 22 |2388k|8011 | 0.000000e+00 | -- | Inf
1200.53/1200.52 c 1201s| 3840k|506236 | 7921k| 2.1 | 445M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2394k|8023 | 0.000000e+00 | -- | Inf
1204.73/1204.71 c 1205s| 3850k|506823 | 7941k| 2.1 | 446M| 36 | - | 40 | 14k| 0 | 0 | 22 |2401k|8029 | 0.000000e+00 | -- | Inf
1207.84/1207.87 c 1208s| 3860k|509248 | 7962k| 2.1 | 447M| 36 | - | 40 | 14k| 40 | 17 | 22 |2407k|8039 | 0.000000e+00 | -- | Inf
1211.43/1211.42 c 1211s| 3870k|510863 | 7983k| 2.1 | 449M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2413k|8048 | 0.000000e+00 | -- | Inf
1215.32/1215.32 c 1215s| 3880k|512077 | 8004k| 2.1 | 450M| 36 | - | 40 | 16k| 40 | 17 | 22 |2419k|8053 | 0.000000e+00 | -- | Inf
1219.32/1219.39 c 1219s| 3890k|513219 | 8025k| 2.1 | 451M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2426k|8061 | 0.000000e+00 | -- | Inf
1223.83/1223.84 c 1224s| 3900k|514093 | 8046k| 2.1 | 453M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2433k|8075 | 0.000000e+00 | -- | Inf
1228.33/1228.37 c 1228s| 3910k|514852 | 8067k| 2.1 | 454M| 36 | - | 40 | 17k| 40 | 17 | 22 |2439k|8084 | 0.000000e+00 | -- | Inf
1232.82/1232.80 c 1233s| 3920k|515545 | 8088k| 2.1 | 455M| 36 | - | 40 | 17k| 40 | 17 | 22 |2446k|8090 | 0.000000e+00 | -- | Inf
1237.83/1237.87 c 1238s| 3930k|515905 | 8109k| 2.1 | 455M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2453k|8107 | 0.000000e+00 | -- | Inf
1242.83/1242.83 c 1243s| 3940k|516530 | 8129k| 2.1 | 456M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2460k|8121 | 0.000000e+00 | -- | Inf
1247.63/1247.65 c 1248s| 3950k|517267 | 8150k| 2.1 | 456M| 36 | - | 40 | 13k| 40 | 17 | 22 |2467k|8129 | 0.000000e+00 | -- | Inf
1250.52/1250.57 c 1251s| 3960k|518847 | 8171k| 2.1 | 458M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2473k|8137 | 0.000000e+00 | -- | Inf
1254.04/1254.06 c 1254s| 3970k|520321 | 8193k| 2.1 | 459M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2479k|8144 | 0.000000e+00 | -- | Inf
1258.44/1258.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1258.44/1258.50 c 1258s| 3980k|520878 | 8214k| 2.1 | 460M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2486k|8153 | 0.000000e+00 | -- | Inf
1263.73/1263.75 c 1264s| 3990k|521493 | 8235k| 2.1 | 460M| 36 | - | 40 | 13k| 40 | 17 | 22 |2493k|8162 | 0.000000e+00 | -- | Inf
1267.43/1267.44 c 1267s| 4000k|522493 | 8255k| 2.1 | 461M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2499k|8170 | 0.000000e+00 | -- | Inf
1271.23/1271.20 c 1271s| 4010k|523918 | 8277k| 2.1 | 462M| 36 | - | 40 | 14k| 0 | 0 | 22 |2506k|8180 | 0.000000e+00 | -- | Inf
1274.73/1274.79 c 1275s| 4020k|524759 | 8298k| 2.1 | 464M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2512k|8194 | 0.000000e+00 | -- | Inf
1280.03/1280.06 c 1280s| 4030k|525229 | 8318k| 2.1 | 464M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2519k|8207 | 0.000000e+00 | -- | Inf
1283.93/1283.94 c 1284s| 4040k|526126 | 8339k| 2.1 | 465M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2526k|8217 | 0.000000e+00 | -- | Inf
1288.33/1288.37 c 1288s| 4050k|526720 | 8359k| 2.1 | 465M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2533k|8221 | 0.000000e+00 | -- | Inf
1292.43/1292.40 c 1292s| 4060k|527351 | 8379k| 2.1 | 465M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2540k|8234 | 0.000000e+00 | -- | Inf
1296.23/1296.27 c 1296s| 4070k|528059 | 8400k| 2.1 | 466M| 36 | 5 | 40 |9727 | 40 | 17 | 22 |2546k|8243 | 0.000000e+00 | -- | Inf
1300.24/1300.24 c 1300s| 4080k|528632 | 8421k| 2.1 | 467M| 36 | - | 40 |9670 | 40 | 17 | 22 |2553k|8255 | 0.000000e+00 | -- | Inf
1303.83/1303.84 c 1304s| 4090k|529392 | 8442k| 2.1 | 468M| 36 | - | 40 | 10k| 40 | 17 | 22 |2560k|8324 | 0.000000e+00 | -- | Inf
1306.73/1306.74 c 1307s| 4100k|530411 | 8463k| 2.1 | 470M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2567k|8324 | 0.000000e+00 | -- | Inf
1311.13/1311.10 c 1311s| 4110k|531017 | 8484k| 2.1 | 470M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2573k|8326 | 0.000000e+00 | -- | Inf
1314.73/1314.71 c 1315s| 4120k|531747 | 8504k| 2.1 | 471M| 36 | - | 40 | 12k| 40 | 17 | 22 |2580k|8326 | 0.000000e+00 | -- | Inf
1318.94/1318.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.94/1318.95 c 1319s| 4130k|532241 | 8525k| 2.1 | 472M| 36 | - | 40 | 10k| 40 | 17 | 22 |2587k|8389 | 0.000000e+00 | -- | Inf
1322.83/1322.84 c 1323s| 4140k|532827 | 8545k| 2.1 | 473M| 36 | - | 40 | 11k| 40 | 17 | 22 |2594k|8389 | 0.000000e+00 | -- | Inf
1326.83/1326.83 c 1327s| 4150k|533439 | 8566k| 2.1 | 473M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2601k|8389 | 0.000000e+00 | -- | Inf
1331.23/1331.20 c 1331s| 4160k|533794 | 8586k| 2.1 | 473M| 36 | 5 | 40 |9295 | 40 | 17 | 22 |2608k|8393 | 0.000000e+00 | -- | Inf
1335.13/1335.15 c 1335s| 4170k|534257 | 8607k| 2.1 | 474M| 36 | 5 | 40 |9128 | 40 | 17 | 22 |2615k|8393 | 0.000000e+00 | -- | Inf
1339.03/1339.01 c 1339s| 4180k|534866 | 8628k| 2.1 | 475M| 36 | 5 | 40 |9921 | 40 | 17 | 22 |2621k|8393 | 0.000000e+00 | -- | Inf
1342.33/1342.35 c 1342s| 4190k|535758 | 8649k| 2.1 | 476M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2628k|8403 | 0.000000e+00 | -- | Inf
1346.13/1346.16 c 1346s| 4200k|536562 | 8669k| 2.1 | 477M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2635k|8411 | 0.000000e+00 | -- | Inf
1349.85/1349.85 c 1350s| 4210k|537708 | 8690k| 2.1 | 478M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2641k|8418 | 0.000000e+00 | -- | Inf
1352.93/1352.96 c 1353s| 4220k|539073 | 8710k| 2.1 | 480M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2647k|8421 | 0.000000e+00 | -- | Inf
1356.44/1356.43 c 1356s| 4230k|540169 | 8731k| 2.1 | 481M| 36 | - | 40 | 15k| 40 | 17 | 22 |2653k|8425 | 0.000000e+00 | -- | Inf
1361.03/1361.06 c 1361s| 4240k|540765 | 8751k| 2.1 | 482M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2660k|8430 | 0.000000e+00 | -- | Inf
1365.15/1365.12 c 1365s| 4250k|541439 | 8771k| 2.1 | 482M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2667k|8439 | 0.000000e+00 | -- | Inf
1369.43/1369.47 c 1369s| 4260k|542061 | 8792k| 2.1 | 483M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2674k|8452 | 0.000000e+00 | -- | Inf
1373.43/1373.46 c 1373s| 4270k|542827 | 8813k| 2.1 | 483M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2680k|8466 | 0.000000e+00 | -- | Inf
1377.63/1377.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.63/1377.68 c 1378s| 4280k|543351 | 8835k| 2.1 | 484M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2688k|8471 | 0.000000e+00 | -- | Inf
1381.34/1381.31 c 1381s| 4290k|544211 | 8855k| 2.1 | 485M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2695k|8478 | 0.000000e+00 | -- | Inf
1385.13/1385.12 c 1385s| 4300k|544908 | 8876k| 2.1 | 486M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2701k|8479 | 0.000000e+00 | -- | Inf
1389.63/1389.64 c 1390s| 4310k|545286 | 8897k| 2.1 | 486M| 36 | - | 40 |9486 | 0 | 0 | 22 |2708k|8488 | 0.000000e+00 | -- | Inf
1392.75/1392.75 c 1393s| 4320k|546288 | 8918k| 2.1 | 488M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2715k|8500 | 0.000000e+00 | -- | Inf
1396.23/1396.21 c 1396s| 4330k|547196 | 8938k| 2.1 | 489M| 36 | - | 40 | 13k| 40 | 17 | 22 |2721k|8512 | 0.000000e+00 | -- | Inf
1400.83/1400.81 c 1401s| 4340k|547608 | 8959k| 2.1 | 489M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2729k|8525 | 0.000000e+00 | -- | Inf
1404.63/1404.65 c 1405s| 4350k|548160 | 8980k| 2.1 | 490M| 36 | - | 40 | 10k| 40 | 17 | 22 |2735k|8531 | 0.000000e+00 | -- | Inf
1408.05/1408.07 c 1408s| 4360k|548972 | 9001k| 2.1 | 491M| 36 | - | 40 | 11k| 40 | 17 | 22 |2742k|8535 | 0.000000e+00 | -- | Inf
1412.34/1412.38 c 1412s| 4370k|549366 | 9022k| 2.1 | 491M| 36 | 5 | 40 |9896 | 40 | 17 | 22 |2749k|8548 | 0.000000e+00 | -- | Inf
1416.23/1416.23 c 1416s| 4380k|549900 | 9042k| 2.1 | 492M| 36 | 5 | 40 |9689 | 40 | 17 | 22 |2756k|8563 | 0.000000e+00 | -- | Inf
1420.03/1420.08 c 1420s| 4390k|550472 | 9063k| 2.1 | 493M| 36 | - | 40 |9998 | 40 | 17 | 22 |2763k|8576 | 0.000000e+00 | -- | Inf
1423.73/1423.79 c 1424s| 4400k|551228 | 9084k| 2.1 | 494M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2770k|8585 | 0.000000e+00 | -- | Inf
1427.54/1427.55 c 1428s| 4410k|551900 | 9105k| 2.1 | 495M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2776k|8655 | 0.000000e+00 | -- | Inf
1431.33/1431.32 c 1431s| 4420k|552679 | 9125k| 2.1 | 495M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2783k|8655 | 0.000000e+00 | -- | Inf
1434.33/1434.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.33/1434.39 c 1434s| 4430k|553668 | 9146k| 2.1 | 497M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2789k|8655 | 0.000000e+00 | -- | Inf
1438.03/1438.00 c 1438s| 4440k|554684 | 9167k| 2.1 | 499M| 36 | - | 40 | 14k| 40 | 17 | 22 |2796k|8655 | 0.000000e+00 | -- | Inf
1442.34/1442.31 c 1442s| 4450k|555524 | 9188k| 2.1 | 499M| 36 | - | 40 | 13k| 40 | 17 | 22 |2803k|8659 | 0.000000e+00 | -- | Inf
1446.74/1446.72 c 1447s| 4460k|556114 | 9209k| 2.1 | 499M| 36 | - | 40 | 11k| 40 | 17 | 22 |2810k|8659 | 0.000000e+00 | -- | Inf
1450.34/1450.39 c 1450s| 4470k|557117 | 9231k| 2.1 | 501M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2816k|8663 | 0.000000e+00 | -- | Inf
1454.63/1454.61 c 1455s| 4480k|557615 | 9251k| 2.1 | 501M| 36 | - | 40 | 11k| 0 | 0 | 22 |2823k|8676 | 0.000000e+00 | -- | Inf
1458.65/1458.64 c 1459s| 4490k|558270 | 9272k| 2.1 | 502M| 36 | - | 40 | 11k| 40 | 17 | 22 |2830k|8685 | 0.000000e+00 | -- | Inf
1463.04/1463.03 c 1463s| 4500k|558732 | 9292k| 2.1 | 502M| 36 | 5 | 40 |9297 | 40 | 17 | 22 |2837k|8691 | 0.000000e+00 | -- | Inf
1466.93/1466.90 c 1467s| 4510k|559292 | 9313k| 2.1 | 503M| 36 | 5 | 40 |9755 | 40 | 17 | 22 |2844k|8700 | 0.000000e+00 | -- | Inf
1470.75/1470.78 c 1471s| 4520k|559883 | 9334k| 2.1 | 504M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2851k|8705 | 0.000000e+00 | -- | Inf
1474.44/1474.49 c 1474s| 4530k|560570 | 9355k| 2.1 | 505M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2857k|8711 | 0.000000e+00 | -- | Inf
1477.45/1477.43 c 1477s| 4540k|561801 | 9376k| 2.1 | 507M| 36 | - | 40 | 12k| 40 | 17 | 22 |2864k|8716 | 0.000000e+00 | -- | Inf
1481.43/1481.46 c 1481s| 4550k|562599 | 9397k| 2.1 | 507M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2871k|8724 | 0.000000e+00 | -- | Inf
1485.23/1485.22 c 1485s| 4560k|563473 | 9417k| 2.1 | 508M| 36 | - | 40 | 12k| 40 | 17 | 22 |2877k|8728 | 0.000000e+00 | -- | Inf
1488.64/1488.64 c 1489s| 4570k|564622 | 9439k| 2.1 | 510M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2884k|8733 | 0.000000e+00 | -- | Inf
1492.04/1492.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.04/1492.07 c 1492s| 4580k|565370 | 9460k| 2.1 | 511M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2891k|8740 | 0.000000e+00 | -- | Inf
1495.83/1495.83 c 1496s| 4590k|566247 | 9481k| 2.1 | 512M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2897k|8747 | 0.000000e+00 | -- | Inf
1500.04/1500.06 c 1500s| 4600k|566962 | 9501k| 2.1 | 512M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2904k|8761 | 0.000000e+00 | -- | Inf
1504.24/1504.28 c 1504s| 4610k|567642 | 9522k| 2.1 | 513M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2911k|8767 | 0.000000e+00 | -- | Inf
1507.23/1507.24 c 1507s| 4620k|569174 | 9542k| 2.1 | 515M| 36 | - | 40 | 15k| 40 | 17 | 22 |2917k|8771 | 0.000000e+00 | -- | Inf
1511.33/1511.40 c 1511s| 4630k|569834 | 9562k| 2.1 | 516M| 36 | - | 40 | 14k| 40 | 17 | 22 |2924k|8775 | 0.000000e+00 | -- | Inf
1516.33/1516.32 c 1516s| 4640k|570258 | 9583k| 2.1 | 516M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2931k|8783 | 0.000000e+00 | -- | Inf
1520.25/1520.25 c 1520s| 4650k|570967 | 9603k| 2.1 | 516M| 36 | - | 40 | 11k| 40 | 17 | 22 |2938k|8786 | 0.000000e+00 | -- | Inf
1524.75/1524.77 c 1525s| 4660k|571362 | 9624k| 2.1 | 517M| 36 | - | 40 | 10k| 40 | 17 | 22 |2944k|8800 | 0.000000e+00 | -- | Inf
1528.93/1528.92 c 1529s| 4670k|571931 | 9645k| 2.1 | 517M| 36 | 5 | 40 |9899 | 40 | 17 | 22 |2951k|8804 | 0.000000e+00 | -- | Inf
1532.04/1532.06 c 1532s| 4680k|573062 | 9665k| 2.1 | 519M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2958k|8814 | 0.000000e+00 | -- | Inf
1535.44/1535.44 c 1535s| 4690k|573809 | 9684k| 2.1 | 520M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2965k|8823 | 0.000000e+00 | -- | Inf
1539.73/1539.79 c 1540s| 4700k|574194 | 9704k| 2.1 | 520M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2972k|8833 | 0.000000e+00 | -- | Inf
1543.45/1543.47 c 1543s| 4710k|575419 | 9725k| 2.1 | 521M| 36 | - | 40 | 11k| 40 | 17 | 22 |2978k|8842 | 0.000000e+00 | -- | Inf
1546.54/1546.54 c 1547s| 4720k|576976 | 9748k| 2.1 | 523M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2984k|8854 | 0.000000e+00 | -- | Inf
1549.83/1549.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1549.83/1549.88 c 1550s| 4730k|578354 | 9770k| 2.1 | 525M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2991k|8857 | 0.000000e+00 | -- | Inf
1553.63/1553.62 c 1554s| 4740k|579284 | 9792k| 2.1 | 526M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2998k|8867 | 0.000000e+00 | -- | Inf
1557.53/1557.52 c 1558s| 4750k|580074 | 9813k| 2.1 | 527M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3005k|8873 | 0.000000e+00 | -- | Inf
1561.54/1561.59 c 1562s| 4760k|580767 | 9834k| 2.1 | 528M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3012k|8885 | 0.000000e+00 | -- | Inf
1566.14/1566.19 c 1566s| 4770k|581187 | 9856k| 2.1 | 529M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3020k|8891 | 0.000000e+00 | -- | Inf
1571.33/1571.38 c 1571s| 4780k|581718 | 9877k| 2.1 | 529M| 36 | - | 40 | 13k| 40 | 17 | 22 |3026k|8895 | 0.000000e+00 | -- | Inf
1576.14/1576.13 c 1576s| 4790k|582323 | 9897k| 2.1 | 529M| 36 | - | 40 | 13k| 40 | 17 | 22 |3033k|8905 | 0.000000e+00 | -- | Inf
1580.53/1580.54 c 1581s| 4800k|583037 | 9918k| 2.1 | 530M| 36 | - | 40 | 13k| 40 | 17 | 22 |3040k|8914 | 0.000000e+00 | -- | Inf
1584.54/1584.57 c 1585s| 4810k|583973 | 9939k| 2.1 | 531M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3047k|8917 | 0.000000e+00 | -- | Inf
1588.23/1588.25 c 1588s| 4820k|584907 | 9959k| 2.1 | 532M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3053k|8926 | 0.000000e+00 | -- | Inf
1592.04/1592.08 c 1592s| 4830k|585829 | 9980k| 2.1 | 533M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3060k|8935 | 0.000000e+00 | -- | Inf
1596.74/1596.74 c 1597s| 4840k|586507 | 10001k| 2.1 | 534M| 36 | - | 40 | 12k| 40 | 17 | 22 |3067k|8939 | 0.000000e+00 | -- | Inf
1599.94/1599.97 c 1600s| 4850k|588306 | 10021k| 2.1 | 535M| 36 | - | 40 | 13k| 40 | 17 | 22 |3072k|8945 | 0.000000e+00 | -- | Inf
1603.44/1603.40 c 1603s| 4860k|589650 | 10041k| 2.1 | 537M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3079k|8952 | 0.000000e+00 | -- | Inf
1607.15/1607.17 c 1607s| 4870k|590723 | 10061k| 2.1 | 538M| 36 | - | 40 | 15k| 0 | 0 | 22 |3085k|8960 | 0.000000e+00 | -- | Inf
1611.14/1611.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.14/1611.14 c 1611s| 4880k|591699 | 10081k| 2.1 | 540M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |3092k|8965 | 0.000000e+00 | -- | Inf
1616.24/1616.22 c 1616s| 4890k|592096 | 10101k| 2.1 | 540M| 36 | - | 40 | 16k| 40 | 17 | 22 |3099k|8971 | 0.000000e+00 | -- | Inf
1621.24/1621.23 c 1621s| 4900k|592712 | 10122k| 2.1 | 541M| 36 | - | 40 | 14k| 40 | 17 | 22 |3106k|8976 | 0.000000e+00 | -- | Inf
1625.64/1625.63 c 1626s| 4910k|593599 | 10143k| 2.1 | 541M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3113k|8976 | 0.000000e+00 | -- | Inf
1630.25/1630.29 c 1630s| 4920k|594233 | 10164k| 2.1 | 541M| 36 | - | 40 | 11k| 40 | 17 | 22 |3120k|8981 | 0.000000e+00 | -- | Inf
1634.33/1634.33 c 1634s| 4930k|594977 | 10184k| 2.1 | 542M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3126k|9008 | 0.000000e+00 | -- | Inf
1637.64/1637.68 c 1638s| 4940k|596251 | 10204k| 2.1 | 544M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3133k|9008 | 0.000000e+00 | -- | Inf
1641.14/1641.14 c 1641s| 4950k|597491 | 10226k| 2.1 | 545M| 36 | - | 40 | 14k| 40 | 17 | 22 |3139k|9008 | 0.000000e+00 | -- | Inf
1645.44/1645.40 c 1645s| 4960k|598324 | 10246k| 2.1 | 546M| 36 | - | 40 | 13k| 40 | 17 | 22 |3146k|9008 | 0.000000e+00 | -- | Inf
1649.74/1649.71 c 1650s| 4970k|598944 | 10267k| 2.1 | 547M| 36 | - | 40 | 14k| 40 | 17 | 22 |3153k|9014 | 0.000000e+00 | -- | Inf
1653.64/1653.60 c 1654s| 4980k|599828 | 10287k| 2.1 | 548M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3160k|9021 | 0.000000e+00 | -- | Inf
1658.34/1658.38 c 1658s| 4990k|600312 | 10308k| 2.1 | 548M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3166k|9022 | 0.000000e+00 | -- | Inf
1663.14/1663.16 c 1663s| 5000k|600711 | 10328k| 2.1 | 548M| 36 | - | 40 | 10k| 0 | 0 | 22 |3174k|9030 | 0.000000e+00 | -- | Inf
1667.33/1667.36 c 1667s| 5010k|601209 | 10348k| 2.1 | 549M| 36 | - | 40 | 10k| 0 | 0 | 22 |3180k|9037 | 0.000000e+00 | -- | Inf
1671.64/1671.64 c 1672s| 5020k|601685 | 10369k| 2.1 | 550M| 36 | 5 | 40 |9766 | 40 | 17 | 22 |3187k|9048 | 0.000000e+00 | -- | Inf
1675.64/1675.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.64/1675.68 c 1676s| 5030k|602158 | 10390k| 2.1 | 550M| 36 | 5 | 40 |9603 | 40 | 17 | 22 |3194k|9059 | 0.000000e+00 | -- | Inf
1679.64/1679.65 c 1680s| 5040k|602820 | 10410k| 2.1 | 551M| 36 | 5 | 40 |9641 | 40 | 17 | 22 |3201k|9069 | 0.000000e+00 | -- | Inf
1683.74/1683.77 c 1684s| 5050k|603209 | 10431k| 2.1 | 552M| 36 | 5 | 40 |9666 | 40 | 17 | 22 |3208k|9074 | 0.000000e+00 | -- | Inf
1688.14/1688.18 c 1688s| 5060k|603496 | 10451k| 2.1 | 552M| 36 | 5 | 40 |8668 | 40 | 17 | 22 |3215k|9084 | 0.000000e+00 | -- | Inf
1692.35/1692.32 c 1692s| 5070k|603884 | 10472k| 2.1 | 553M| 36 | 5 | 40 |8724 | 40 | 17 | 22 |3222k|9109 | 0.000000e+00 | -- | Inf
1695.04/1695.05 c 1695s| 5080k|605364 | 10492k| 2.1 | 554M| 36 | - | 40 | 10k| 40 | 17 | 22 |3228k|9109 | 0.000000e+00 | -- | Inf
1698.95/1698.99 c 1699s| 5090k|605667 | 10512k| 2.1 | 555M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3235k|9119 | 0.000000e+00 | -- | Inf
1703.04/1703.07 c 1703s| 5100k|606196 | 10532k| 2.1 | 556M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3242k|9123 | 0.000000e+00 | -- | Inf
1706.35/1706.31 c 1706s| 5110k|607282 | 10553k| 2.1 | 557M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3248k|9136 | 0.000000e+00 | -- | Inf
1710.44/1710.42 c 1710s| 5120k|607851 | 10574k| 2.1 | 558M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3255k|9145 | 0.000000e+00 | -- | Inf
1714.74/1714.75 c 1715s| 5130k|608432 | 10595k| 2.1 | 558M| 36 | - | 40 | 11k| 40 | 17 | 22 |3262k|9151 | 0.000000e+00 | -- | Inf
1719.24/1719.24 c 1719s| 5140k|608898 | 10615k| 2.1 | 559M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3269k|9158 | 0.000000e+00 | -- | Inf
1723.54/1723.51 c 1724s| 5150k|609338 | 10636k| 2.1 | 560M| 36 | - | 40 | 10k| 0 | 0 | 22 |3276k|9165 | 0.000000e+00 | -- | Inf
1726.65/1726.63 c 1727s| 5160k|610621 | 10657k| 2.1 | 561M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3282k|9172 | 0.000000e+00 | -- | Inf
1729.84/1729.81 c 1730s| 5170k|611374 | 10678k| 2.1 | 562M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3289k|9177 | 0.000000e+00 | -- | Inf
1734.04/1734.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1734.04/1734.01 c 1734s| 5180k|611977 | 10699k| 2.1 | 563M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3296k|9183 | 0.000000e+00 | -- | Inf
1737.65/1737.69 c 1738s| 5190k|612868 | 10720k| 2.1 | 564M| 36 | - | 40 | 12k| 40 | 17 | 22 |3302k|9196 | 0.000000e+00 | -- | Inf
1742.25/1742.27 c 1742s| 5200k|613287 | 10740k| 2.1 | 564M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3309k|9206 | 0.000000e+00 | -- | Inf
1746.44/1746.46 c 1746s| 5210k|613714 | 10760k| 2.1 | 564M| 36 | - | 40 |9495 | 40 | 17 | 22 |3316k|9218 | 0.000000e+00 | -- | Inf
1750.44/1750.49 c 1750s| 5220k|614233 | 10781k| 2.1 | 565M| 36 | 5 | 40 |9743 | 40 | 17 | 22 |3323k|9225 | 0.000000e+00 | -- | Inf
1754.15/1754.16 c 1754s| 5230k|614829 | 10802k| 2.1 | 566M| 36 | - | 40 |9792 | 40 | 17 | 22 |3330k|9235 | 0.000000e+00 | -- | Inf
1758.34/1758.30 c 1758s| 5240k|615212 | 10822k| 2.1 | 566M| 36 | 5 | 40 |9271 | 40 | 17 | 22 |3337k|9243 | 0.000000e+00 | -- | Inf
1761.45/1761.46 c 1761s| 5250k|616181 | 10843k| 2.1 | 568M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3344k|9253 | 0.000000e+00 | -- | Inf
1765.55/1765.53 c 1766s| 5260k|616749 | 10864k| 2.1 | 568M| 36 | - | 40 | 10k| 40 | 17 | 22 |3350k|9259 | 0.000000e+00 | -- | Inf
1769.84/1769.83 c 1770s| 5270k|617251 | 10884k| 2.1 | 569M| 36 | 5 | 40 |9725 | 40 | 17 | 22 |3357k|9263 | 0.000000e+00 | -- | Inf
1773.04/1773.07 c 1773s| 5280k|618173 | 10904k| 2.1 | 570M| 36 | - | 40 | 11k| 0 | 0 | 22 |3364k|9265 | 0.000000e+00 | -- | Inf
1777.24/1777.29 c 1777s| 5290k|618678 | 10925k| 2.1 | 571M| 36 | - | 40 | 10k| 40 | 17 | 22 |3371k|9270 | 0.000000e+00 | -- | Inf
1781.64/1781.65 c 1782s| 5300k|618921 | 10946k| 2.1 | 571M| 36 | 5 | 40 |9274 | 40 | 17 | 22 |3378k|9298 | 0.000000e+00 | -- | Inf
1785.64/1785.61 c 1786s| 5310k|619395 | 10967k| 2.1 | 572M| 36 | - | 40 |9759 | 40 | 17 | 22 |3385k|9298 | 0.000000e+00 | -- | Inf
1789.45/1789.44 c 1789s| 5320k|620126 | 10988k| 2.1 | 573M| 36 | - | 40 |9863 | 40 | 17 | 22 |3392k|9301 | 0.000000e+00 | -- | Inf
1792.44/1792.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.44/1792.45 c 1792s| 5330k|621226 | 11008k| 2.1 | 575M| 36 | - | 40 | 12k| 40 | 17 | 22 |3398k|9310 | 0.000000e+00 | -- | Inf
1796.46/1796.46 c 1796s| 5340k|621817 | 11028k| 2.1 | 575M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3405k|9315 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 5348258
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.00 (included in solving)
1800.04/1800.00 c reading : 0.00 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3450869-1307096633.opb
1800.04/1800.00 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 11 initial, 11 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3450869-1307096633.opb
1800.04/1800.00 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 5 initial, 24450 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 0 0 6 0 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 3106332 0 4 0 1171 4166 0 0 6202796
1800.04/1800.00 c linear : 5+ 7 12911505 0 1 3 5710752 574837 6782161 0 0 0
1800.04/1800.00 c logicor : 0+ 6 6119153 0 0 0 4362969 19517 2262757 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 19.16 0.00 0.00 19.16 0.00 0.00 0.00
1800.04/1800.00 c linear : 112.41 0.00 100.06 0.00 0.00 0.00 12.35
1800.04/1800.00 c logicor : 576.99 0.00 571.54 0.00 0.00 0.00 5.45
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 0 0 0 0
1800.04/1800.00 c pseudoobj : 0 0 0 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 2.19 2.19 0.00
1800.04/1800.00 c rootredcost : 2.52 2.52 0.00
1800.04/1800.00 c pseudoobj : 1.45 1.45 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 18.16 594354 452197 1280310 28.5 118 24.4 -
1800.04/1800.00 c infeasible LP : 46.32 1873097 1872977 3404178 19.5 31087 24.6 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 3386382 19.5 - - -
1800.04/1800.00 c applied locally : - - - 24803 31.5 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 5 - - 20 - (maximal pool size: 87)
1800.04/1800.00 c redcost : 3.54 3106332 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 6 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 6 0 0 18 0
1800.04/1800.00 c cmir : 0.01 6 0 0 44 0
1800.04/1800.00 c flowcover : 0.01 6 0 0 55 0
1800.04/1800.00 c clique : 0.00 1 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.02 1 0 0 0 14
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 17.37 3106332 1171 4166 0 0 6202796
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 1.62 0 0
1800.04/1800.00 c crossover : 1.22 0 0
1800.04/1800.00 c guideddiving : 0.16 0 0
1800.04/1800.00 c pscostdiving : 0.17 141 0
1800.04/1800.00 c fracdiving : 0.19 141 0
1800.04/1800.00 c veclendiving : 0.17 141 0
1800.04/1800.00 c linesearchdiving : 0.15 141 0
1800.04/1800.00 c coefdiving : 0.16 141 0
1800.04/1800.00 c objpscostdiving : 0.13 71 0
1800.04/1800.00 c rootsoldiving : 0.16 71 0
1800.04/1800.00 c feaspump : 0.15 71 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c shiftandpropagate: 0.00 1 0
1800.04/1800.00 c simplerounding : 0.54 0 0
1800.04/1800.00 c zirounding : 8.04 0 0
1800.04/1800.00 c rounding : 1.42 24994 0
1800.04/1800.00 c shifting : 1.80 6793 0
1800.04/1800.00 c intshifting : 0.07 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.02 1 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c subnlp : 0.85 0 0
1800.04/1800.00 c trysol : 1.02 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 225.93 4806689 11041989 2.30 48872.44
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.12 2151 3532 1.64 30496.12
1800.04/1800.00 c strong branching : 0.79 9318 36712 3.94 46652.18
1800.04/1800.00 c (at root node) : - 9 311 34.56 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 5348258
1800.04/1800.00 c nodes (total) : 5348258
1800.04/1800.00 c nodes left : 622186
1800.04/1800.00 c max depth : 36
1800.04/1800.00 c max depth (total): 36
1800.04/1800.00 c backtracks : 1083369 (20.3%)
1800.04/1800.00 c delayed cutoffs : 232355
1800.04/1800.00 c repropagations : 4035526 (4133276 domain reductions, 220038 cutoffs)
1800.04/1800.00 c avg switch length: 5.43
1800.04/1800.00 c switching time : 522.44
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/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-3450869-1307096633/watcher-3450869-1307096633 -o /tmp/evaluation-result-3450869-1307096633/solver-3450869-1307096633 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450869-1307096633.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 2.05 1.95 2/419 24033
/proc/meminfo: memFree=25979036/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=18496 CPUtime=0 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 3704 0 0 0 0 0 0 0 25 0 1 0 821261539 18939904 3401 33554432000 4194304 9163163 140734590360960 18446744073709551615 4524976 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 4624 3402 580 1214 0 3406 0
[startup+0.104212 s]
/proc/loadavg: 1.95 2.05 1.95 2/419 24033
/proc/meminfo: memFree=25979036/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=26316 CPUtime=0.09 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 7278 0 0 0 8 1 0 0 25 0 1 0 821261539 26947584 5528 33554432000 4194304 9163163 140734590360960 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 6579 5528 705 1214 0 5361 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26316
[startup+0.201184 s]
/proc/loadavg: 1.95 2.05 1.95 2/419 24033
/proc/meminfo: memFree=25979036/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=26316 CPUtime=0.19 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 7278 0 0 0 17 2 0 0 25 0 1 0 821261539 26947584 5528 33554432000 4194304 9163163 140734590360960 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 6579 5528 705 1214 0 5361 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26316
[startup+0.300166 s]
/proc/loadavg: 1.95 2.05 1.95 2/419 24033
/proc/meminfo: memFree=25979036/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=26316 CPUtime=0.29 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 7279 0 0 0 27 2 0 0 25 0 1 0 821261539 26947584 5529 33554432000 4194304 9163163 140734590360960 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 6579 5529 705 1214 0 5361 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26316
[startup+0.701099 s]
/proc/loadavg: 1.95 2.05 1.95 2/419 24033
/proc/meminfo: memFree=25979036/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=26316 CPUtime=0.69 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 7283 0 0 0 65 4 0 0 25 0 1 0 821261539 26947584 5533 33554432000 4194304 9163163 140734590360960 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 6579 5533 705 1214 0 5361 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26316
[startup+1.50098 s]
/proc/loadavg: 1.95 2.05 1.95 3/425 24046
/proc/meminfo: memFree=25938936/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=26316 CPUtime=1.49 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 7291 0 0 0 143 6 0 0 25 0 1 0 821261539 26947584 5541 33554432000 4194304 9163163 140734590360960 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 6579 5541 705 1214 0 5361 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26316
[startup+3.10069 s]
/proc/loadavg: 1.95 2.05 1.95 3/425 24046
/proc/meminfo: memFree=25937820/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=26316 CPUtime=3.08 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 7306 0 0 0 298 10 0 0 25 0 1 0 821261539 26947584 5556 33554432000 4194304 9163163 140734590360960 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 6579 5556 705 1214 0 5361 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 26316
[startup+6.30108 s]
/proc/loadavg: 1.95 2.05 1.95 3/425 24046
/proc/meminfo: memFree=25930332/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=30156 CPUtime=6.29 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 8190 0 0 0 609 20 0 0 25 0 1 0 821261539 30879744 6440 33554432000 4194304 9163163 140734590360960 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 7539 6440 705 1214 0 6321 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30156
[startup+12.7009 s]
/proc/loadavg: 1.95 2.05 1.95 3/425 24046
/proc/meminfo: memFree=25910008/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=37728 CPUtime=12.69 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 10105 0 0 0 1232 37 0 0 25 0 1 0 821261539 38633472 8355 33554432000 4194304 9163163 140734590360960 18446744073709551615 4747348 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 9432 8355 705 1214 0 8214 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37728
[startup+25.5006 s]
/proc/loadavg: 1.96 2.05 1.95 3/425 24046
/proc/meminfo: memFree=25871308/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=50584 CPUtime=25.49 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 13407 0 0 0 2479 70 0 0 25 0 1 0 821261539 51798016 11657 33554432000 4194304 9163163 140734590360960 18446744073709551615 4240214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 12646 11657 705 1214 0 11428 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50584
[startup+51.1009 s]
/proc/loadavg: 1.97 2.04 1.95 3/425 24047
/proc/meminfo: memFree=25803612/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=76580 CPUtime=51.09 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 19423 0 0 0 4978 131 0 0 25 0 1 0 821261539 78417920 17673 33554432000 4194304 9163163 140734590360960 18446744073709551615 6555322 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 19145 17673 705 1214 0 17927 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76580
[startup+102.301 s]
/proc/loadavg: 1.99 2.03 1.95 3/425 24048
/proc/meminfo: memFree=25686752/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=111384 CPUtime=102.3 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 28288 0 0 0 9998 232 0 0 25 0 1 0 821261539 114057216 26538 33554432000 4194304 9163163 140734590360960 18446744073709551615 4240214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 27846 26538 705 1214 0 26628 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 111384
[startup+162.301 s]
/proc/loadavg: 2.03 2.04 1.96 3/425 24050
/proc/meminfo: memFree=25569328/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=141124 CPUtime=162.3 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 35756 0 0 0 15890 340 0 0 25 0 1 0 821261539 144510976 34006 33554432000 4194304 9163163 140734590360960 18446744073709551615 4209072 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 35281 34006 705 1214 0 34063 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 141124
[startup+222.316 s]
/proc/loadavg: 2.10 2.06 1.97 3/425 24051
/proc/meminfo: memFree=25456300/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=171320 CPUtime=222.31 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 43412 0 0 0 21788 443 0 0 25 0 1 0 821261539 175431680 41662 33554432000 4194304 9163163 140734590360960 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 42830 41662 705 1214 0 41612 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 171320
[startup+282.301 s]
/proc/loadavg: 2.03 2.04 1.97 3/425 24053
/proc/meminfo: memFree=25346876/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=202000 CPUtime=282.29 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 50123 0 0 0 27687 542 0 0 25 0 1 0 821261539 206848000 48373 33554432000 4194304 9163163 140734590360960 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 50500 48373 705 1214 0 49282 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 202000
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 1.97 3/425 24055
/proc/meminfo: memFree=25244396/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=224656 CPUtime=342.3 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 55746 0 0 0 33595 635 0 0 25 0 1 0 821261539 230047744 53996 33554432000 4194304 9163163 140734590360960 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 56164 53996 705 1214 0 54946 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 224656
[startup+402.301 s]
/proc/loadavg: 2.07 2.05 1.98 3/425 24056
/proc/meminfo: memFree=25144392/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=245068 CPUtime=402.3 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 60973 0 0 0 39502 728 0 0 25 0 1 0 821261539 250949632 59223 33554432000 4194304 9163163 140734590360960 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 61267 59223 705 1214 0 60049 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 245068
[startup+462.301 s]
/proc/loadavg: 2.10 2.07 1.99 3/425 24058
/proc/meminfo: memFree=25043136/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=267784 CPUtime=462.3 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 66740 0 0 0 45414 816 0 0 25 0 1 0 821261539 274210816 64990 33554432000 4194304 9163163 140734590360960 18446744073709551615 6495559 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 66946 64990 705 1214 0 65728 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 267784
[startup+522.301 s]
/proc/loadavg: 2.10 2.07 2.00 3/425 24059
/proc/meminfo: memFree=24947000/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=287716 CPUtime=522.3 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 71754 0 0 0 51324 906 0 0 25 0 1 0 821261539 294621184 70004 33554432000 4194304 9163163 140734590360960 18446744073709551615 4497312 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 71929 70004 705 1214 0 70711 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 287716
[startup+582.301 s]
/proc/loadavg: 2.11 2.07 2.00 3/425 24061
/proc/meminfo: memFree=24847632/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=307208 CPUtime=582.31 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 76688 0 0 0 57238 993 0 0 25 0 1 0 821261539 314580992 74938 33554432000 4194304 9163163 140734590360960 18446744073709551615 4240222 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 76802 74938 705 1214 0 75584 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 307208
[startup+642.3 s]
################
# More data... #
################
[startup+882.316 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 24069
/proc/meminfo: memFree=24383164/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=401080 CPUtime=882.33 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 100552 0 0 0 86847 1386 0 0 25 0 1 0 821261539 410705920 98802 33554432000 4194304 9163163 140734590360960 18446744073709551615 4207299 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 100270 98802 705 1214 0 99052 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 401080
[startup+942.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/425 24071
/proc/meminfo: memFree=24290024/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=417084 CPUtime=942.31 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 104648 0 0 0 92780 1451 0 0 25 0 1 0 821261539 427094016 102898 33554432000 4194304 9163163 140734590360960 18446744073709551615 5275400 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 104271 102898 705 1214 0 103053 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 417084
[startup+1002.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/425 24072
/proc/meminfo: memFree=24205044/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=431256 CPUtime=1002.32 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 108049 0 0 0 98719 1513 0 0 25 0 1 0 821261539 441606144 106299 33554432000 4194304 9163163 140734590360960 18446744073709551615 4241255 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 107814 106299 705 1214 0 106596 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 431256
[startup+1062.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/425 24074
/proc/meminfo: memFree=24125644/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=453156 CPUtime=1062.33 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 111544 0 0 0 104650 1583 0 0 25 0 1 0 821261539 464031744 109794 33554432000 4194304 9163163 140734590360960 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 113289 109794 705 1214 0 112071 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 453156
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 24075
/proc/meminfo: memFree=24031848/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=474580 CPUtime=1122.32 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 116864 0 0 0 110576 1656 0 0 25 0 1 0 821261539 485969920 115114 33554432000 4194304 9163163 140734590360960 18446744073709551615 5275400 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 118645 115114 705 1214 0 117427 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 474580
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 24077
/proc/meminfo: memFree=23943996/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=488556 CPUtime=1182.32 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 120408 0 0 0 116512 1720 0 0 25 0 1 0 821261539 500281344 118658 33554432000 4194304 9163163 140734590360960 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 122139 118658 705 1214 0 120921 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 488556
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 24079
/proc/meminfo: memFree=23862992/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=501296 CPUtime=1242.32 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 123682 0 0 0 122448 1784 0 0 25 0 1 0 821261539 513327104 121932 33554432000 4194304 9163163 140734590360960 18446744073709551615 4209552 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 125324 121932 705 1214 0 124106 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 501296
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24080
/proc/meminfo: memFree=23788300/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=515064 CPUtime=1302.33 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 127190 0 0 0 128380 1853 0 0 25 0 1 0 821261539 527425536 125440 33554432000 4194304 9163163 140734590360960 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 128766 125440 705 1214 0 127548 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 515064
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/425 24082
/proc/meminfo: memFree=23705316/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=527356 CPUtime=1362.33 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 130344 0 0 0 134309 1924 0 0 25 0 1 0 821261539 540012544 128594 33554432000 4194304 9163163 140734590360960 18446744073709551615 7447483 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 131839 128594 705 1214 0 130621 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 527356
[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 24083
/proc/meminfo: memFree=23621460/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=542232 CPUtime=1422.34 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 134121 0 0 0 140242 1992 0 0 25 0 1 0 821261539 555245568 132371 33554432000 4194304 9163163 140734590360960 18446744073709551615 4240214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 135558 132371 705 1214 0 134340 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 542232
[startup+1482.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/425 24085
/proc/meminfo: memFree=23541684/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=556816 CPUtime=1482.33 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 137696 0 0 0 146171 2062 0 0 25 0 1 0 821261539 570179584 135946 33554432000 4194304 9163163 140734590360960 18446744073709551615 4699273 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 139204 135946 705 1214 0 137986 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 556816
[startup+1542.32 s]
/proc/loadavg: 2.12 2.06 2.01 3/425 24087
/proc/meminfo: memFree=23462652/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=567928 CPUtime=1542.35 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 140510 0 0 0 152103 2132 0 0 25 0 1 0 821261539 581558272 138760 33554432000 4194304 9163163 140734590360960 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 141982 138760 705 1214 0 140764 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 567928
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/425 24088
/proc/meminfo: memFree=23382508/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=582012 CPUtime=1602.34 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 144123 0 0 0 158031 2203 0 0 25 0 1 0 821261539 595980288 142373 33554432000 4194304 9163163 140734590360960 18446744073709551615 4209630 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 145503 142373 705 1214 0 144285 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 582012
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 24090
/proc/meminfo: memFree=23302120/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=594620 CPUtime=1662.34 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 147379 0 0 0 163965 2269 0 0 25 0 1 0 821261539 608890880 145629 33554432000 4194304 9163163 140734590360960 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 148655 145629 705 1214 0 147437 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 594620
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/425 24091
/proc/meminfo: memFree=23225572/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=603648 CPUtime=1722.34 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 149689 0 0 0 169901 2333 0 0 25 0 1 0 821261539 618135552 147939 33554432000 4194304 9163163 140734590360960 18446744073709551615 4553200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 150912 147939 705 1214 0 149694 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 603648
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/425 24093
/proc/meminfo: memFree=23142312/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=616616 CPUtime=1782.34 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 152995 0 0 0 175830 2404 0 0 25 0 1 0 821261539 631414784 151245 33554432000 4194304 9163163 140734590360960 18446744073709551615 5142010 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24033/statm: 154154 151245 705 1214 0 152936 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 616616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 24094
/proc/meminfo: memFree=23121716/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=619112 CPUtime=1800.05 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 153664 0 0 0 177582 2423 0 0 18 0 1 0 821261539 633970688 151914 33554432000 4194304 9163163 140734590360960 18446744073709551615 5263244 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24033/statm: 154778 151914 708 1214 0 153560 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 619112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 24094
/proc/meminfo: memFree=23121716/32951124 swapFree=44043512/67111528
[pid=24033] ppid=24031 vsize=619112 CPUtime=1800.05 cores=0,2,4,6
/proc/24033/stat : 24033 (scip-2.0.1.4b.l) R 24031 24033 23890 0 -1 4202496 153664 0 0 0 177582 2423 0 0 18 0 1 0 821261539 633970688 151914 33554432000 4194304 9163163 140734590360960 18446744073709551615 5263244 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24033/statm: 154778 151914 708 1214 0 153560 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 619112
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.1
CPU user time (s): 1775.83
CPU system time (s): 24.2683
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 619112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.83
system time used= 24.2683
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153664
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= 7
involuntary context switches= 3311
runsolver used 7.9098 second user time and 16.7005 second system time
The end