0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488789-1307773987.opb>
0.00/0.00 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c presolving (3 rounds):
0.00/0.00 c 1 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.00 c 0 implications, 0 cliques
0.00/0.00 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.00 c 5 constraints of type <linear>
0.00/0.00 c transformed objective value is always integral (scale: 1)
0.00/0.00 c Presolving Time: 0.00
0.00/0.00 c - non default parameters ----------------------------------------------------------------------
0.00/0.00 c # SCIP version 2.0.1.5
0.00/0.00 c
0.00/0.00 c # frequency for displaying node information lines
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.00 c display/freq = 10000
0.00/0.00 c
0.00/0.00 c # maximal time in seconds to run
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/time = 1797
0.00/0.00 c
0.00/0.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/memory = 13950
0.00/0.00 c
0.00/0.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.00 c # [type: int, range: [1,2], default: 1]
0.00/0.00 c timing/clocktype = 2
0.00/0.00 c
0.00/0.00 c # belongs reading time to solving time?
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c timing/reading = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify inequalities
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/linear/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/indicator/addCouplingCons = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify knapsacks
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c separating/rapidlearning/freq = 0
0.00/0.00 c
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 c start solving
0.00/0.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.02 c 0.0s| 1 | 0 | 91 | - | 297k| 0 | 8 | 40 | 33 | 40 | 9 | 4 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 98 | - | 322k| 0 | 11 | 40 | 33 | 40 | 14 | 9 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 105 | - | 341k| 0 | 12 | 40 | 33 | 40 | 17 | 12 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 111 | - | 360k| 0 | 14 | 40 | 33 | 40 | 20 | 15 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 120 | - | 377k| 0 | 17 | 40 | 33 | 40 | 24 | 19 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 130 | - | 384k| 0 | 15 | 40 | 33 | 40 | 27 | 22 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 2 | 130 | - | 385k| 0 | 15 | 40 | 33 | 40 | 27 | 22 | 14 | 9 | 0.000000e+00 | -- | Inf
1.49/1.50 c 1.5s| 10000 | 3978 | 20812 | 2.1 |3807k| 35 | 5 | 40 |3147 | 40 | 17 | 22 |4209 | 494 | 0.000000e+00 | -- | Inf
2.89/2.92 c 2.9s| 20000 | 7739 | 41081 | 2.0 |5618k| 35 | 5 | 40 |2167 | 40 | 17 | 22 |8433 | 653 | 0.000000e+00 | -- | Inf
4.19/4.26 c 4.3s| 30000 | 11278 | 61606 | 2.0 |7560k| 35 | 5 | 40 |2307 | 40 | 17 | 22 | 12k| 770 | 0.000000e+00 | -- | Inf
5.59/5.65 c 5.7s| 40000 | 14574 | 81879 | 2.0 |9550k| 35 | 5 | 40 |2646 | 40 | 17 | 22 | 17k| 880 | 0.000000e+00 | -- | Inf
7.09/7.10 c 7.1s| 50000 | 17666 |102234 | 2.0 | 11M| 35 | 5 | 40 |2660 | 40 | 17 | 22 | 21k| 979 | 0.000000e+00 | -- | Inf
8.49/8.52 c 8.5s| 60000 | 20831 |122781 | 2.0 | 13M| 35 | 5 | 40 |3390 | 40 | 17 | 22 | 26k|1062 | 0.000000e+00 | -- | Inf
9.99/10.08 c 10.1s| 70000 | 23533 |142900 | 2.0 | 14M| 35 | 5 | 40 |2951 | 40 | 17 | 22 | 31k|1145 | 0.000000e+00 | -- | Inf
11.49/11.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.49/11.58 c 11.6s| 80000 | 26402 |163157 | 2.0 | 16M| 35 | 5 | 40 |3165 | 40 | 17 | 22 | 36k|1216 | 0.000000e+00 | -- | Inf
13.09/13.13 c 13.1s| 90000 | 29148 |183537 | 2.0 | 18M| 35 | 5 | 40 |3308 | 40 | 17 | 22 | 41k|1287 | 0.000000e+00 | -- | Inf
14.59/14.66 c 14.7s|100000 | 31879 |204061 | 2.0 | 20M| 35 | 5 | 40 |3756 | 40 | 17 | 22 | 46k|1348 | 0.000000e+00 | -- | Inf
16.29/16.30 c 16.3s|110000 | 34486 |224587 | 2.0 | 21M| 35 | 5 | 40 |3250 | 40 | 17 | 22 | 51k|1411 | 0.000000e+00 | -- | Inf
17.79/17.83 c 17.8s|120000 | 37382 |245221 | 2.0 | 23M| 35 | - | 40 |3660 | 40 | 17 | 22 | 56k|1495 | 0.000000e+00 | -- | Inf
19.39/19.47 c 19.5s|130000 | 39856 |265599 | 2.0 | 25M| 35 | 5 | 40 |3908 | 40 | 17 | 22 | 61k|1553 | 0.000000e+00 | -- | Inf
21.09/21.10 c 21.1s|140000 | 42494 |286085 | 2.0 | 26M| 35 | 5 | 40 |4226 | 40 | 17 | 22 | 66k|1611 | 0.000000e+00 | -- | Inf
22.79/22.82 c 22.8s|150000 | 44744 |306317 | 2.0 | 28M| 35 | - | 40 |4051 | 0 | 0 | 22 | 71k|1662 | 0.000000e+00 | -- | Inf
24.39/24.45 c 24.5s|160000 | 47159 |326523 | 2.0 | 29M| 35 | 5 | 40 |4532 | 40 | 17 | 22 | 76k|1705 | 0.000000e+00 | -- | Inf
26.09/26.19 c 26.2s|170000 | 49409 |346959 | 2.0 | 31M| 35 | 5 | 40 |4522 | 40 | 17 | 22 | 81k|1758 | 0.000000e+00 | -- | Inf
27.79/27.89 c 27.9s|180000 | 52083 |367532 | 2.0 | 33M| 35 | - | 40 |5060 | 40 | 17 | 22 | 87k|1810 | 0.000000e+00 | -- | Inf
29.49/29.54 c 29.5s|190000 | 54534 |387674 | 2.0 | 34M| 35 | 5 | 40 |5059 | 40 | 17 | 22 | 92k|1855 | 0.000000e+00 | -- | Inf
31.19/31.29 c 31.3s|200000 | 56965 |408537 | 2.0 | 36M| 35 | 5 | 40 |5016 | 40 | 17 | 22 | 97k|1902 | 0.000000e+00 | -- | Inf
32.90/32.97 c 33.0s|210000 | 59875 |429246 | 2.0 | 38M| 35 | 5 | 40 |6115 | 40 | 17 | 22 | 102k|1938 | 0.000000e+00 | -- | Inf
34.89/34.91 c 34.9s|220000 | 62012 |449963 | 2.0 | 39M| 35 | 5 | 40 |5394 | 40 | 17 | 22 | 107k|1992 | 0.000000e+00 | -- | Inf
36.69/36.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.69/36.74 c 36.7s|230000 | 64215 |470580 | 2.0 | 41M| 35 | 5 | 40 |5954 | 40 | 17 | 22 | 113k|2043 | 0.000000e+00 | -- | Inf
38.59/38.67 c 38.7s|240000 | 66283 |491131 | 2.0 | 42M| 35 | 5 | 40 |5100 | 40 | 17 | 22 | 118k|2086 | 0.000000e+00 | -- | Inf
40.29/40.39 c 40.4s|250000 | 68521 |511630 | 2.0 | 44M| 35 | 5 | 40 |6417 | 40 | 17 | 22 | 124k|2130 | 0.000000e+00 | -- | Inf
42.29/42.38 c 42.4s|260000 | 70603 |532181 | 2.0 | 45M| 35 | 5 | 40 |6033 | 40 | 17 | 22 | 129k|2168 | 0.000000e+00 | -- | Inf
44.19/44.30 c 44.3s|270000 | 72665 |552823 | 2.0 | 47M| 35 | 5 | 40 |5740 | 40 | 17 | 22 | 135k|2217 | 0.000000e+00 | -- | Inf
46.10/46.11 c 46.1s|280000 | 75206 |573524 | 2.0 | 49M| 35 | 5 | 40 |7242 | 40 | 17 | 22 | 140k|2260 | 0.000000e+00 | -- | Inf
47.99/48.06 c 48.1s|290000 | 77569 |593823 | 2.0 | 51M| 35 | 5 | 40 |7668 | 40 | 17 | 22 | 145k|2308 | 0.000000e+00 | -- | Inf
50.20/50.20 c 50.2s|300000 | 79630 |614097 | 2.0 | 52M| 35 | - | 40 |6287 | 40 | 17 | 22 | 151k|2346 | 0.000000e+00 | -- | Inf
52.09/52.15 c 52.2s|310000 | 81683 |635442 | 2.0 | 53M| 35 | 5 | 40 |6047 | 40 | 17 | 22 | 156k|2383 | 0.000000e+00 | -- | Inf
53.99/54.06 c 54.1s|320000 | 83934 |656382 | 2.1 | 55M| 35 | 5 | 40 |7730 | 40 | 17 | 22 | 162k|2420 | 0.000000e+00 | -- | Inf
56.19/56.20 c 56.2s|330000 | 85977 |677712 | 2.1 | 57M| 35 | - | 40 |8284 | 40 | 17 | 22 | 167k|2457 | 0.000000e+00 | -- | Inf
58.39/58.43 c 58.4s|340000 | 87718 |698061 | 2.1 | 58M| 35 | 5 | 40 |6363 | 40 | 17 | 22 | 173k|2484 | 0.000000e+00 | -- | Inf
60.29/60.35 c 60.3s|350000 | 89816 |718875 | 2.1 | 59M| 35 | - | 40 |6522 | 40 | 17 | 22 | 179k|2525 | 0.000000e+00 | -- | Inf
62.10/62.14 c 62.1s|360000 | 92354 |739436 | 2.1 | 61M| 35 | 5 | 40 |8487 | 40 | 17 | 22 | 184k|2564 | 0.000000e+00 | -- | Inf
64.39/64.40 c 64.4s|370000 | 94163 |760434 | 2.1 | 62M| 35 | 5 | 40 |6887 | 40 | 17 | 22 | 190k|2602 | 0.000000e+00 | -- | Inf
66.39/66.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.39/66.47 c 66.5s|380000 | 96071 |781138 | 2.1 | 64M| 35 | - | 40 |6511 | 40 | 17 | 22 | 195k|2637 | 0.000000e+00 | -- | Inf
68.50/68.51 c 68.5s|390000 | 97775 |801781 | 2.1 | 65M| 35 | 5 | 40 |6605 | 40 | 17 | 22 | 201k|2684 | 0.000000e+00 | -- | Inf
70.50/70.56 c 70.6s|400000 | 99481 |822566 | 2.1 | 66M| 35 | - | 40 |7262 | 40 | 17 | 22 | 207k|2712 | 0.000000e+00 | -- | Inf
72.60/72.68 c 72.7s|410000 |101259 |843333 | 2.1 | 68M| 35 | - | 40 |6852 | 0 | 0 | 22 | 213k|2755 | 0.000000e+00 | -- | Inf
74.69/74.76 c 74.8s|420000 |103068 |864067 | 2.1 | 69M| 35 | - | 40 |7758 | 40 | 17 | 22 | 219k|2779 | 0.000000e+00 | -- | Inf
76.80/76.85 c 76.8s|430000 |105045 |884964 | 2.1 | 70M| 35 | 5 | 40 |6899 | 40 | 17 | 22 | 224k|2815 | 0.000000e+00 | -- | Inf
78.89/78.91 c 78.9s|440000 |106796 |905702 | 2.1 | 72M| 35 | 5 | 40 |7974 | 40 | 17 | 22 | 230k|2851 | 0.000000e+00 | -- | Inf
80.99/81.09 c 81.1s|450000 |108539 |926131 | 2.1 | 73M| 35 | - | 40 |6946 | 40 | 17 | 22 | 236k|2874 | 0.000000e+00 | -- | Inf
83.20/83.21 c 83.2s|460000 |110262 |946638 | 2.1 | 75M| 35 | 5 | 40 |7626 | 40 | 17 | 22 | 242k|2909 | 0.000000e+00 | -- | Inf
85.39/85.47 c 85.5s|470000 |111914 |967576 | 2.1 | 76M| 35 | 5 | 40 |6849 | 40 | 17 | 22 | 248k|2947 | 0.000000e+00 | -- | Inf
87.49/87.59 c 87.6s|480000 |113671 |988797 | 2.1 | 77M| 35 | - | 40 |6884 | 40 | 17 | 22 | 253k|2964 | 0.000000e+00 | -- | Inf
89.69/89.76 c 89.8s|490000 |115294 | 1009k| 2.1 | 78M| 35 | 5 | 40 |6895 | 40 | 17 | 22 | 259k|2997 | 0.000000e+00 | -- | Inf
91.79/91.81 c 91.8s|500000 |117254 | 1030k| 2.1 | 80M| 35 | 5 | 40 |7551 | 40 | 17 | 22 | 265k|3023 | 0.000000e+00 | -- | Inf
93.79/93.89 c 93.9s|510000 |119127 | 1051k| 2.1 | 82M| 35 | 5 | 40 |8997 | 40 | 17 | 22 | 271k|3059 | 0.000000e+00 | -- | Inf
96.09/96.16 c 96.2s|520000 |120896 | 1072k| 2.1 | 83M| 35 | - | 40 |8058 | 40 | 17 | 22 | 277k|3090 | 0.000000e+00 | -- | Inf
98.59/98.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.59/98.60 c 98.6s|530000 |122426 | 1093k| 2.1 | 84M| 35 | - | 40 |7207 | 40 | 17 | 22 | 283k|3113 | 0.000000e+00 | -- | Inf
100.89/100.90 c 101s|540000 |123858 | 1114k| 2.1 | 85M| 35 | - | 40 |6705 | 40 | 17 | 22 | 289k|3143 | 0.000000e+00 | -- | Inf
103.20/103.20 c 103s|550000 |125282 | 1135k| 2.1 | 86M| 35 | 5 | 40 |6857 | 40 | 17 | 22 | 295k|3188 | 0.000000e+00 | -- | Inf
105.19/105.29 c 105s|560000 |127113 | 1155k| 2.1 | 88M| 35 | 5 | 40 |8081 | 40 | 17 | 22 | 301k|3217 | 0.000000e+00 | -- | Inf
107.49/107.55 c 108s|570000 |128742 | 1177k| 2.1 | 89M| 35 | 5 | 40 |8466 | 40 | 17 | 22 | 307k|3250 | 0.000000e+00 | -- | Inf
109.79/109.89 c 110s|580000 |130374 | 1197k| 2.1 | 90M| 35 | - | 40 |7492 | 0 | 0 | 22 | 312k|3274 | 0.000000e+00 | -- | Inf
111.99/112.06 c 112s|590000 |132042 | 1218k| 2.1 | 92M| 35 | - | 40 |8354 | 0 | 0 | 22 | 318k|3302 | 0.000000e+00 | -- | Inf
114.30/114.32 c 114s|600000 |133785 | 1239k| 2.1 | 93M| 35 | - | 40 |7601 | 40 | 17 | 22 | 324k|3333 | 0.000000e+00 | -- | Inf
116.29/116.36 c 116s|610000 |135917 | 1261k| 2.1 | 95M| 35 | 5 | 40 |8517 | 40 | 17 | 22 | 330k|3517 | 0.000000e+00 | -- | Inf
118.39/118.43 c 118s|620000 |137948 | 1282k| 2.1 | 97M| 35 | 5 | 40 |9728 | 40 | 17 | 22 | 336k|3634 | 0.000000e+00 | -- | Inf
120.79/120.88 c 121s|630000 |139295 | 1304k| 2.1 | 98M| 35 | - | 40 | 10k| 40 | 17 | 22 | 342k|3634 | 0.000000e+00 | -- | Inf
123.49/123.54 c 124s|640000 |140685 | 1324k| 2.1 | 99M| 35 | - | 40 |8170 | 40 | 17 | 22 | 348k|3634 | 0.000000e+00 | -- | Inf
125.59/125.60 c 126s|650000 |142641 | 1345k| 2.1 | 101M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 354k|3634 | 0.000000e+00 | -- | Inf
128.10/128.14 c 128s|660000 |144056 | 1366k| 2.1 | 102M| 35 | 5 | 40 |9629 | 40 | 17 | 22 | 360k|3634 | 0.000000e+00 | -- | Inf
130.59/130.68 c 131s|670000 |145300 | 1387k| 2.1 | 102M| 35 | 5 | 40 |7556 | 40 | 17 | 22 | 366k|3645 | 0.000000e+00 | -- | Inf
132.99/133.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.99/133.09 c 133s|680000 |146565 | 1408k| 2.1 | 103M| 35 | - | 40 |7514 | 0 | 0 | 22 | 373k|3678 | 0.000000e+00 | -- | Inf
135.29/135.39 c 135s|690000 |147996 | 1429k| 2.1 | 105M| 35 | - | 40 |8088 | 0 | 0 | 22 | 379k|3711 | 0.000000e+00 | -- | Inf
137.89/137.90 c 138s|700000 |149211 | 1450k| 2.1 | 106M| 35 | - | 40 |7405 | 40 | 17 | 22 | 385k|3733 | 0.000000e+00 | -- | Inf
139.99/140.05 c 140s|710000 |151086 | 1470k| 2.1 | 107M| 35 | - | 40 |8414 | 40 | 17 | 22 | 391k|3763 | 0.000000e+00 | -- | Inf
142.30/142.33 c 142s|720000 |152714 | 1490k| 2.1 | 109M| 35 | - | 40 |8905 | 40 | 17 | 22 | 397k|3794 | 0.000000e+00 | -- | Inf
144.59/144.61 c 145s|730000 |154305 | 1512k| 2.1 | 110M| 35 | 5 | 40 |8587 | 40 | 17 | 22 | 403k|3822 | 0.000000e+00 | -- | Inf
147.09/147.14 c 147s|740000 |155624 | 1533k| 2.1 | 111M| 35 | - | 40 |8086 | 40 | 17 | 22 | 409k|3853 | 0.000000e+00 | -- | Inf
149.50/149.52 c 150s|750000 |156909 | 1554k| 2.1 | 112M| 35 | 5 | 40 |8639 | 40 | 17 | 22 | 415k|3877 | 0.000000e+00 | -- | Inf
151.80/151.83 c 152s|760000 |158619 | 1574k| 2.1 | 114M| 35 | 5 | 40 |8422 | 40 | 17 | 22 | 421k|3901 | 0.000000e+00 | -- | Inf
154.00/154.07 c 154s|770000 |160287 | 1595k| 2.1 | 115M| 35 | 5 | 40 |9972 | 40 | 17 | 22 | 427k|3936 | 0.000000e+00 | -- | Inf
156.60/156.67 c 157s|780000 |161590 | 1616k| 2.1 | 116M| 35 | 5 | 40 |7856 | 40 | 17 | 22 | 433k|3957 | 0.000000e+00 | -- | Inf
158.80/158.89 c 159s|790000 |163190 | 1637k| 2.1 | 118M| 35 | - | 40 |9614 | 0 | 0 | 22 | 439k|3973 | 0.000000e+00 | -- | Inf
161.19/161.24 c 161s|800000 |164807 | 1658k| 2.1 | 119M| 35 | 5 | 40 | 11k| 40 | 17 | 22 | 445k|3989 | 0.000000e+00 | -- | Inf
163.80/163.84 c 164s|810000 |166178 | 1679k| 2.1 | 120M| 35 | 5 | 40 |9809 | 40 | 17 | 22 | 451k|4003 | 0.000000e+00 | -- | Inf
166.19/166.25 c 166s|820000 |167893 | 1700k| 2.1 | 121M| 35 | - | 40 |8974 | 40 | 17 | 22 | 457k|4027 | 0.000000e+00 | -- | Inf
168.29/168.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.29/168.32 c 168s|830000 |169877 | 1720k| 2.1 | 124M| 35 | 5 | 40 | 11k| 40 | 17 | 22 | 463k|4044 | 0.000000e+00 | -- | Inf
171.00/171.05 c 171s|840000 |171241 | 1741k| 2.1 | 125M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 469k|4067 | 0.000000e+00 | -- | Inf
173.59/173.62 c 174s|850000 |172562 | 1762k| 2.1 | 126M| 35 | - | 40 |9379 | 40 | 17 | 22 | 475k|4088 | 0.000000e+00 | -- | Inf
175.90/175.97 c 176s|860000 |174153 | 1782k| 2.1 | 127M| 35 | 5 | 40 |8992 | 40 | 17 | 22 | 481k|4111 | 0.000000e+00 | -- | Inf
178.29/178.32 c 178s|870000 |175578 | 1803k| 2.1 | 128M| 35 | 5 | 40 |9903 | 40 | 17 | 22 | 487k|4142 | 0.000000e+00 | -- | Inf
181.00/181.04 c 181s|880000 |176896 | 1824k| 2.1 | 129M| 35 | 5 | 40 |8297 | 40 | 17 | 22 | 494k|4157 | 0.000000e+00 | -- | Inf
183.29/183.32 c 183s|890000 |178696 | 1844k| 2.1 | 130M| 35 | - | 40 |9115 | 40 | 17 | 22 | 499k|4175 | 0.000000e+00 | -- | Inf
185.59/185.68 c 186s|900000 |180335 | 1864k| 2.1 | 132M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 505k|4200 | 0.000000e+00 | -- | Inf
188.19/188.23 c 188s|910000 |181746 | 1885k| 2.1 | 133M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 511k|4219 | 0.000000e+00 | -- | Inf
190.79/190.88 c 191s|920000 |183079 | 1906k| 2.1 | 134M| 35 | 5 | 40 |9656 | 40 | 17 | 22 | 517k|4234 | 0.000000e+00 | -- | Inf
193.29/193.38 c 193s|930000 |184475 | 1926k| 2.1 | 136M| 35 | 5 | 40 | 10k| 40 | 17 | 22 | 523k|4243 | 0.000000e+00 | -- | Inf
196.09/196.13 c 196s|940000 |185562 | 1947k| 2.1 | 136M| 35 | - | 40 |8757 | 0 | 0 | 22 | 530k|4265 | 0.000000e+00 | -- | Inf
198.49/198.57 c 199s|950000 |187051 | 1967k| 2.1 | 138M| 35 | 5 | 40 |9301 | 40 | 17 | 22 | 536k|4286 | 0.000000e+00 | -- | Inf
201.20/201.23 c 201s|960000 |188219 | 1988k| 2.1 | 138M| 35 | - | 40 |8099 | 40 | 17 | 22 | 542k|4302 | 0.000000e+00 | -- | Inf
203.70/203.77 c 204s|970000 |189425 | 2009k| 2.1 | 140M| 35 | 5 | 40 |7849 | 40 | 17 | 22 | 549k|4333 | 0.000000e+00 | -- | Inf
205.99/206.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.99/206.08 c 206s|980000 |190927 | 2030k| 2.1 | 141M| 35 | - | 40 |9114 | 40 | 17 | 22 | 555k|4359 | 0.000000e+00 | -- | Inf
208.79/208.89 c 209s|990000 |191766 | 2051k| 2.1 | 142M| 35 | 5 | 40 |8376 | 40 | 17 | 22 | 561k|4377 | 0.000000e+00 | -- | Inf
211.39/211.47 c 211s| 1000k|192837 | 2071k| 2.1 | 143M| 35 | - | 40 |8354 | 40 | 17 | 22 | 568k|4409 | 0.000000e+00 | -- | Inf
213.79/213.87 c 214s| 1010k|194125 | 2092k| 2.1 | 144M| 35 | - | 40 |8292 | 40 | 17 | 22 | 574k|4436 | 0.000000e+00 | -- | Inf
216.40/216.43 c 216s| 1020k|195208 | 2113k| 2.1 | 145M| 35 | 5 | 40 |7636 | 40 | 17 | 22 | 580k|4457 | 0.000000e+00 | -- | Inf
218.69/218.78 c 219s| 1030k|196657 | 2133k| 2.1 | 146M| 35 | 5 | 40 |8722 | 40 | 17 | 22 | 586k|4472 | 0.000000e+00 | -- | Inf
221.39/221.44 c 221s| 1040k|197759 | 2154k| 2.1 | 147M| 35 | 5 | 40 |8196 | 40 | 17 | 22 | 593k|4491 | 0.000000e+00 | -- | Inf
224.00/224.06 c 224s| 1050k|198867 | 2175k| 2.1 | 148M| 35 | 5 | 40 |7976 | 40 | 17 | 22 | 599k|4512 | 0.000000e+00 | -- | Inf
226.39/226.44 c 226s| 1060k|200284 | 2195k| 2.1 | 150M| 35 | - | 40 |8917 | 40 | 17 | 22 | 605k|4532 | 0.000000e+00 | -- | Inf
228.79/228.90 c 229s| 1070k|201818 | 2216k| 2.1 | 151M| 36 | 5 | 40 |8794 | 40 | 17 | 22 | 611k|4546 | 0.000000e+00 | -- | Inf
231.19/231.26 c 231s| 1080k|203194 | 2237k| 2.1 | 153M| 36 | - | 40 | 10k| 40 | 17 | 22 | 618k|4566 | 0.000000e+00 | -- | Inf
233.99/234.00 c 234s| 1090k|204287 | 2258k| 2.1 | 153M| 36 | 5 | 40 |8485 | 40 | 17 | 22 | 624k|4580 | 0.000000e+00 | -- | Inf
236.29/236.35 c 236s| 1100k|205705 | 2279k| 2.1 | 155M| 36 | 5 | 40 |9816 | 40 | 17 | 22 | 630k|4598 | 0.000000e+00 | -- | Inf
238.99/239.02 c 239s| 1110k|206989 | 2299k| 2.1 | 156M| 36 | 5 | 40 |9884 | 40 | 17 | 22 | 636k|4618 | 0.000000e+00 | -- | Inf
241.80/241.82 c 242s| 1120k|208030 | 2320k| 2.1 | 157M| 36 | 5 | 40 |8920 | 40 | 17 | 22 | 643k|4634 | 0.000000e+00 | -- | Inf
244.29/244.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
244.29/244.32 c 244s| 1130k|209240 | 2341k| 2.1 | 158M| 36 | 5 | 40 |9634 | 40 | 17 | 22 | 649k|4655 | 0.000000e+00 | -- | Inf
246.79/246.84 c 247s| 1140k|210801 | 2361k| 2.1 | 159M| 36 | - | 40 |9937 | 40 | 17 | 22 | 655k|4673 | 0.000000e+00 | -- | Inf
249.39/249.44 c 249s| 1150k|211952 | 2382k| 2.1 | 161M| 36 | - | 40 | 10k| 40 | 17 | 22 | 661k|4686 | 0.000000e+00 | -- | Inf
252.10/252.11 c 252s| 1160k|213147 | 2402k| 2.1 | 162M| 36 | 5 | 40 |9624 | 40 | 17 | 22 | 667k|4701 | 0.000000e+00 | -- | Inf
254.29/254.33 c 254s| 1170k|215249 | 2423k| 2.1 | 163M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 673k|4714 | 0.000000e+00 | -- | Inf
256.70/256.73 c 257s| 1180k|217038 | 2443k| 2.1 | 165M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 679k|4729 | 0.000000e+00 | -- | Inf
259.29/259.37 c 259s| 1190k|218188 | 2464k| 2.1 | 166M| 36 | - | 40 | 11k| 40 | 17 | 22 | 685k|4749 | 0.000000e+00 | -- | Inf
261.70/261.76 c 262s| 1200k|220059 | 2485k| 2.1 | 168M| 36 | - | 40 | 13k| 0 | 0 | 22 | 691k|4765 | 0.000000e+00 | -- | Inf
264.79/264.82 c 265s| 1210k|221151 | 2505k| 2.1 | 169M| 36 | 5 | 40 | 13k| 40 | 17 | 22 | 697k|4779 | 0.000000e+00 | -- | Inf
267.60/267.67 c 268s| 1220k|222372 | 2525k| 2.1 | 170M| 36 | - | 40 | 14k| 0 | 0 | 22 | 703k|4794 | 0.000000e+00 | -- | Inf
270.60/270.61 c 271s| 1230k|223605 | 2546k| 2.1 | 171M| 36 | - | 40 | 11k| 40 | 17 | 22 | 709k|4815 | 0.000000e+00 | -- | Inf
273.39/273.45 c 273s| 1240k|224700 | 2567k| 2.1 | 172M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 716k|4829 | 0.000000e+00 | -- | Inf
276.39/276.43 c 276s| 1250k|225751 | 2587k| 2.1 | 172M| 36 | - | 40 | 10k| 40 | 17 | 22 | 722k|4849 | 0.000000e+00 | -- | Inf
278.79/278.87 c 279s| 1260k|227131 | 2608k| 2.1 | 174M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 728k|4866 | 0.000000e+00 | -- | Inf
281.40/281.45 c 281s| 1270k|228567 | 2628k| 2.1 | 175M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 734k|4882 | 0.000000e+00 | -- | Inf
284.00/284.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.00/284.09 c 284s| 1280k|230195 | 2648k| 2.1 | 176M| 36 | - | 40 | 11k| 0 | 0 | 22 | 740k|4903 | 0.000000e+00 | -- | Inf
286.80/286.86 c 287s| 1290k|231454 | 2669k| 2.1 | 177M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 746k|4914 | 0.000000e+00 | -- | Inf
289.90/289.99 c 290s| 1300k|232346 | 2690k| 2.1 | 178M| 36 | - | 40 |9098 | 40 | 17 | 22 | 753k|4932 | 0.000000e+00 | -- | Inf
292.60/292.69 c 293s| 1310k|233440 | 2711k| 2.1 | 179M| 36 | - | 40 |9467 | 40 | 17 | 22 | 759k|4956 | 0.000000e+00 | -- | Inf
295.50/295.57 c 296s| 1320k|234516 | 2731k| 2.1 | 180M| 36 | 5 | 40 |9058 | 40 | 17 | 22 | 766k|4971 | 0.000000e+00 | -- | Inf
297.80/297.87 c 298s| 1330k|236006 | 2751k| 2.1 | 182M| 36 | 5 | 40 | 11k| 40 | 17 | 22 | 772k|4991 | 0.000000e+00 | -- | Inf
300.69/300.71 c 301s| 1340k|237048 | 2771k| 2.1 | 183M| 36 | - | 40 | 10k| 0 | 0 | 22 | 778k|5004 | 0.000000e+00 | -- | Inf
303.70/303.72 c 304s| 1350k|238062 | 2791k| 2.1 | 183M| 36 | 5 | 40 |8903 | 40 | 17 | 22 | 784k|5017 | 0.000000e+00 | -- | Inf
306.19/306.25 c 306s| 1360k|239659 | 2812k| 2.1 | 184M| 36 | 5 | 40 |9662 | 40 | 17 | 22 | 790k|5033 | 0.000000e+00 | -- | Inf
308.69/308.76 c 309s| 1370k|240969 | 2833k| 2.1 | 186M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 796k|5045 | 0.000000e+00 | -- | Inf
311.40/311.47 c 311s| 1380k|242211 | 2853k| 2.1 | 187M| 36 | - | 40 | 10k| 40 | 17 | 22 | 803k|5060 | 0.000000e+00 | -- | Inf
313.90/313.96 c 314s| 1390k|243572 | 2874k| 2.1 | 189M| 36 | 5 | 40 | 12k| 40 | 17 | 22 | 809k|5075 | 0.000000e+00 | -- | Inf
316.90/316.95 c 317s| 1400k|244848 | 2894k| 2.1 | 189M| 36 | - | 40 | 11k| 40 | 17 | 22 | 815k|5084 | 0.000000e+00 | -- | Inf
320.10/320.18 c 320s| 1410k|245741 | 2915k| 2.1 | 190M| 36 | 5 | 40 |9126 | 40 | 17 | 22 | 821k|5106 | 0.000000e+00 | -- | Inf
322.79/322.81 c 323s| 1420k|246828 | 2936k| 2.1 | 191M| 36 | 5 | 40 |9816 | 40 | 17 | 22 | 828k|5117 | 0.000000e+00 | -- | Inf
325.70/325.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
325.70/325.73 c 326s| 1430k|247666 | 2957k| 2.1 | 192M| 36 | 5 | 40 |8705 | 40 | 17 | 22 | 834k|5131 | 0.000000e+00 | -- | Inf
328.00/328.08 c 328s| 1440k|249039 | 2978k| 2.1 | 194M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 841k|5155 | 0.000000e+00 | -- | Inf
330.89/330.94 c 331s| 1450k|250311 | 2998k| 2.1 | 195M| 36 | - | 40 | 10k| 40 | 17 | 22 | 847k|5169 | 0.000000e+00 | -- | Inf
333.69/333.79 c 334s| 1460k|251315 | 3018k| 2.1 | 196M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 854k|5181 | 0.000000e+00 | -- | Inf
336.60/336.66 c 337s| 1470k|252340 | 3040k| 2.1 | 196M| 36 | - | 40 | 10k| 40 | 17 | 22 | 860k|5191 | 0.000000e+00 | -- | Inf
339.20/339.29 c 339s| 1480k|253604 | 3061k| 2.1 | 198M| 36 | - | 40 | 10k| 40 | 17 | 22 | 866k|5204 | 0.000000e+00 | -- | Inf
342.20/342.23 c 342s| 1490k|254501 | 3082k| 2.1 | 198M| 36 | 5 | 40 |8581 | 40 | 17 | 22 | 873k|5217 | 0.000000e+00 | -- | Inf
345.00/345.03 c 345s| 1500k|255270 | 3102k| 2.1 | 199M| 36 | 5 | 40 |8233 | 40 | 17 | 22 | 880k|5231 | 0.000000e+00 | -- | Inf
347.60/347.67 c 348s| 1510k|256439 | 3123k| 2.1 | 200M| 36 | 5 | 40 |8055 | 40 | 17 | 22 | 886k|5247 | 0.000000e+00 | -- | Inf
350.10/350.14 c 350s| 1520k|257648 | 3144k| 2.1 | 201M| 36 | 5 | 40 |9162 | 40 | 17 | 22 | 892k|5265 | 0.000000e+00 | -- | Inf
352.60/352.65 c 353s| 1530k|258983 | 3165k| 2.1 | 203M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 899k|5281 | 0.000000e+00 | -- | Inf
355.21/355.26 c 355s| 1540k|260186 | 3185k| 2.1 | 204M| 36 | - | 40 | 10k| 0 | 0 | 22 | 905k|5289 | 0.000000e+00 | -- | Inf
358.00/358.09 c 358s| 1550k|261129 | 3206k| 2.1 | 205M| 36 | - | 40 |9105 | 40 | 17 | 22 | 911k|5304 | 0.000000e+00 | -- | Inf
360.80/360.85 c 361s| 1560k|262163 | 3227k| 2.1 | 206M| 36 | - | 40 |8704 | 40 | 17 | 22 | 918k|5316 | 0.000000e+00 | -- | Inf
363.59/363.64 c 364s| 1570k|263362 | 3247k| 2.1 | 207M| 36 | 5 | 40 |9229 | 40 | 17 | 22 | 924k|5332 | 0.000000e+00 | -- | Inf
366.21/366.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.21/366.29 c 366s| 1580k|264424 | 3268k| 2.1 | 208M| 36 | 5 | 40 |9796 | 40 | 17 | 22 | 930k|5346 | 0.000000e+00 | -- | Inf
368.99/369.09 c 369s| 1590k|265318 | 3289k| 2.1 | 209M| 36 | - | 40 |9700 | 40 | 17 | 22 | 937k|5364 | 0.000000e+00 | -- | Inf
371.80/371.87 c 372s| 1600k|266355 | 3310k| 2.1 | 210M| 36 | 5 | 40 |8688 | 40 | 17 | 22 | 944k|5377 | 0.000000e+00 | -- | Inf
374.40/374.46 c 374s| 1610k|267506 | 3331k| 2.1 | 211M| 36 | 5 | 40 |9891 | 40 | 17 | 22 | 950k|5392 | 0.000000e+00 | -- | Inf
376.89/376.99 c 377s| 1620k|268733 | 3351k| 2.1 | 212M| 36 | 5 | 40 | 10k| 40 | 17 | 22 | 956k|5404 | 0.000000e+00 | -- | Inf
379.99/380.00 c 380s| 1630k|269779 | 3372k| 2.1 | 213M| 36 | - | 40 |9626 | 40 | 17 | 22 | 963k|5411 | 0.000000e+00 | -- | Inf
382.70/382.73 c 383s| 1640k|270876 | 3392k| 2.1 | 214M| 36 | 5 | 40 |9274 | 40 | 17 | 22 | 969k|5428 | 0.000000e+00 | -- | Inf
385.40/385.41 c 385s| 1650k|272154 | 3413k| 2.1 | 216M| 36 | - | 40 | 10k| 40 | 17 | 22 | 976k|5442 | 0.000000e+00 | -- | Inf
388.20/388.22 c 388s| 1660k|273222 | 3434k| 2.1 | 217M| 36 | - | 40 |9515 | 40 | 17 | 22 | 982k|5460 | 0.000000e+00 | -- | Inf
390.90/390.97 c 391s| 1670k|274345 | 3454k| 2.1 | 218M| 36 | 5 | 40 |9542 | 40 | 17 | 22 | 988k|5471 | 0.000000e+00 | -- | Inf
393.09/393.19 c 393s| 1680k|275949 | 3475k| 2.1 | 220M| 36 | 5 | 40 | 12k| 40 | 17 | 22 | 994k|5484 | 0.000000e+00 | -- | Inf
396.00/396.03 c 396s| 1690k|276991 | 3494k| 2.1 | 220M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1001k|5506 | 0.000000e+00 | -- | Inf
398.50/398.50 c 399s| 1700k|278794 | 3516k| 2.1 | 222M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1006k|5523 | 0.000000e+00 | -- | Inf
400.89/400.95 c 401s| 1710k|280224 | 3537k| 2.1 | 224M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1012k|5536 | 0.000000e+00 | -- | Inf
403.89/403.91 c 404s| 1720k|281230 | 3558k| 2.1 | 225M| 36 | - | 40 | 14k| 0 | 0 | 22 |1019k|5556 | 0.000000e+00 | -- | Inf
407.50/407.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.50/407.55 c 408s| 1730k|282172 | 3578k| 2.1 | 225M| 36 | - | 40 | 12k| 40 | 17 | 22 |1025k|5571 | 0.000000e+00 | -- | Inf
410.69/410.70 c 411s| 1740k|283125 | 3598k| 2.1 | 226M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1032k|5591 | 0.000000e+00 | -- | Inf
413.50/413.51 c 414s| 1750k|284357 | 3618k| 2.1 | 227M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1039k|5602 | 0.000000e+00 | -- | Inf
416.20/416.24 c 416s| 1760k|285669 | 3640k| 2.1 | 229M| 36 | - | 40 | 12k| 40 | 17 | 22 |1045k|5623 | 0.000000e+00 | -- | Inf
419.30/419.39 c 419s| 1770k|286755 | 3660k| 2.1 | 229M| 36 | - | 40 | 10k| 40 | 17 | 22 |1051k|5642 | 0.000000e+00 | -- | Inf
422.60/422.62 c 423s| 1780k|287564 | 3681k| 2.1 | 230M| 36 | 5 | 40 |9899 | 40 | 17 | 22 |1058k|5656 | 0.000000e+00 | -- | Inf
425.50/425.60 c 426s| 1790k|288511 | 3702k| 2.1 | 231M| 36 | 5 | 40 |9412 | 40 | 17 | 22 |1064k|5670 | 0.000000e+00 | -- | Inf
428.50/428.51 c 429s| 1800k|289421 | 3723k| 2.1 | 232M| 36 | - | 40 |9209 | 40 | 17 | 22 |1071k|5676 | 0.000000e+00 | -- | Inf
431.39/431.46 c 431s| 1810k|290121 | 3743k| 2.1 | 233M| 36 | - | 40 |8455 | 40 | 17 | 22 |1078k|5694 | 0.000000e+00 | -- | Inf
433.99/434.00 c 434s| 1820k|291177 | 3764k| 2.1 | 234M| 36 | 5 | 40 |9488 | 40 | 17 | 22 |1084k|5707 | 0.000000e+00 | -- | Inf
436.79/436.88 c 437s| 1830k|292088 | 3785k| 2.1 | 235M| 36 | 5 | 40 |9114 | 40 | 17 | 22 |1091k|5730 | 0.000000e+00 | -- | Inf
439.90/439.94 c 440s| 1840k|292857 | 3806k| 2.1 | 235M| 36 | 5 | 40 |8287 | 40 | 17 | 22 |1097k|5744 | 0.000000e+00 | -- | Inf
442.50/442.58 c 443s| 1850k|293897 | 3827k| 2.1 | 237M| 36 | 5 | 40 |9339 | 40 | 17 | 22 |1104k|5760 | 0.000000e+00 | -- | Inf
445.10/445.16 c 445s| 1860k|295165 | 3848k| 2.1 | 238M| 36 | 5 | 40 |9836 | 40 | 17 | 22 |1110k|5779 | 0.000000e+00 | -- | Inf
447.80/447.85 c 448s| 1870k|296238 | 3869k| 2.1 | 239M| 36 | - | 40 |9731 | 40 | 17 | 22 |1117k|5800 | 0.000000e+00 | -- | Inf
450.80/450.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
450.80/450.80 c 451s| 1880k|297104 | 3890k| 2.1 | 240M| 36 | - | 40 |8843 | 40 | 17 | 22 |1123k|5811 | 0.000000e+00 | -- | Inf
453.40/453.44 c 453s| 1890k|298207 | 3911k| 2.1 | 241M| 36 | - | 40 | 10k| 40 | 17 | 22 |1130k|5822 | 0.000000e+00 | -- | Inf
455.89/455.96 c 456s| 1900k|299368 | 3931k| 2.1 | 243M| 36 | - | 40 | 11k| 0 | 0 | 22 |1136k|5836 | 0.000000e+00 | -- | Inf
458.89/458.95 c 459s| 1910k|300280 | 3952k| 2.1 | 243M| 36 | - | 40 | 11k| 0 | 0 | 22 |1143k|5847 | 0.000000e+00 | -- | Inf
462.01/462.03 c 462s| 1920k|301293 | 3972k| 2.1 | 244M| 36 | - | 40 | 11k| 40 | 17 | 22 |1149k|5854 | 0.000000e+00 | -- | Inf
464.79/464.85 c 465s| 1930k|302614 | 3993k| 2.1 | 246M| 36 | - | 40 | 12k| 40 | 17 | 22 |1156k|5870 | 0.000000e+00 | -- | Inf
467.80/467.83 c 468s| 1940k|303803 | 4014k| 2.1 | 247M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1162k|5889 | 0.000000e+00 | -- | Inf
471.00/471.09 c 471s| 1950k|304566 | 4035k| 2.1 | 247M| 36 | 5 | 40 |9501 | 40 | 17 | 22 |1169k|5904 | 0.000000e+00 | -- | Inf
474.20/474.24 c 474s| 1960k|305231 | 4056k| 2.1 | 248M| 36 | - | 40 |8431 | 40 | 17 | 22 |1175k|5914 | 0.000000e+00 | -- | Inf
477.00/477.06 c 477s| 1970k|306127 | 4077k| 2.1 | 249M| 36 | - | 40 |8379 | 40 | 17 | 22 |1182k|5934 | 0.000000e+00 | -- | Inf
479.79/479.86 c 480s| 1980k|306966 | 4098k| 2.1 | 250M| 36 | 5 | 40 |8615 | 40 | 17 | 22 |1189k|5946 | 0.000000e+00 | -- | Inf
482.39/482.41 c 482s| 1990k|308178 | 4119k| 2.1 | 251M| 36 | - | 40 |9776 | 40 | 17 | 22 |1195k|5973 | 0.000000e+00 | -- | Inf
484.80/484.81 c 485s| 2000k|309787 | 4140k| 2.1 | 253M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1201k|5982 | 0.000000e+00 | -- | Inf
487.59/487.66 c 488s| 2010k|310825 | 4161k| 2.1 | 254M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1207k|5997 | 0.000000e+00 | -- | Inf
490.90/490.94 c 491s| 2020k|311686 | 4182k| 2.1 | 254M| 36 | - | 40 | 10k| 40 | 17 | 22 |1214k|6009 | 0.000000e+00 | -- | Inf
493.70/493.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.70/493.80 c 494s| 2030k|312713 | 4203k| 2.1 | 256M| 36 | - | 40 | 11k| 40 | 17 | 22 |1221k|6021 | 0.000000e+00 | -- | Inf
496.80/496.83 c 497s| 2040k|313903 | 4225k| 2.1 | 257M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1227k|6031 | 0.000000e+00 | -- | Inf
499.70/499.79 c 500s| 2050k|315085 | 4245k| 2.1 | 257M| 36 | - | 40 |9630 | 40 | 17 | 22 |1233k|6053 | 0.000000e+00 | -- | Inf
502.20/502.25 c 502s| 2060k|316468 | 4266k| 2.1 | 259M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1239k|6063 | 0.000000e+00 | -- | Inf
505.30/505.37 c 505s| 2070k|317450 | 4287k| 2.1 | 260M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1246k|6083 | 0.000000e+00 | -- | Inf
508.40/508.44 c 508s| 2080k|318394 | 4307k| 2.1 | 260M| 36 | 5 | 40 |8884 | 40 | 17 | 22 |1252k|6093 | 0.000000e+00 | -- | Inf
510.99/511.09 c 511s| 2090k|319460 | 4329k| 2.1 | 262M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1259k|6112 | 0.000000e+00 | -- | Inf
513.60/513.61 c 514s| 2100k|321096 | 4349k| 2.1 | 264M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1265k|6120 | 0.000000e+00 | -- | Inf
516.90/516.91 c 517s| 2110k|321925 | 4370k| 2.1 | 264M| 36 | - | 40 | 11k| 0 | 0 | 22 |1272k|6135 | 0.000000e+00 | -- | Inf
520.21/520.21 c 520s| 2120k|322879 | 4391k| 2.1 | 265M| 36 | - | 40 | 11k| 40 | 17 | 22 |1278k|6146 | 0.000000e+00 | -- | Inf
523.51/523.60 c 524s| 2130k|323552 | 4412k| 2.1 | 266M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1285k|6165 | 0.000000e+00 | -- | Inf
526.10/526.12 c 526s| 2140k|325119 | 4433k| 2.1 | 268M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1291k|6176 | 0.000000e+00 | -- | Inf
529.10/529.19 c 529s| 2150k|326092 | 4453k| 2.1 | 268M| 36 | - | 40 | 10k| 40 | 17 | 22 |1298k|6185 | 0.000000e+00 | -- | Inf
531.90/531.97 c 532s| 2160k|327166 | 4473k| 2.1 | 270M| 36 | - | 40 | 11k| 40 | 17 | 22 |1304k|6194 | 0.000000e+00 | -- | Inf
535.40/535.48 c 535s| 2170k|327840 | 4494k| 2.1 | 270M| 36 | - | 40 |9921 | 40 | 17 | 22 |1311k|6203 | 0.000000e+00 | -- | Inf
538.30/538.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.30/538.32 c 538s| 2180k|329187 | 4514k| 2.1 | 271M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1317k|6220 | 0.000000e+00 | -- | Inf
540.80/540.80 c 541s| 2190k|330491 | 4534k| 2.1 | 273M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1323k|6229 | 0.000000e+00 | -- | Inf
543.20/543.23 c 543s| 2200k|332070 | 4554k| 2.1 | 274M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1329k|6239 | 0.000000e+00 | -- | Inf
546.10/546.15 c 546s| 2210k|332974 | 4573k| 2.1 | 275M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1336k|6265 | 0.000000e+00 | -- | Inf
549.30/549.35 c 549s| 2220k|333618 | 4593k| 2.1 | 276M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1343k|6274 | 0.000000e+00 | -- | Inf
553.21/553.22 c 553s| 2230k|334185 | 4614k| 2.1 | 277M| 36 | - | 40 | 11k| 40 | 17 | 22 |1350k|6288 | 0.000000e+00 | -- | Inf
556.29/556.38 c 556s| 2240k|335048 | 4634k| 2.1 | 277M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1356k|6289 | 0.000000e+00 | -- | Inf
558.90/558.92 c 559s| 2250k|336824 | 4654k| 2.1 | 279M| 36 | - | 40 | 10k| 40 | 17 | 22 |1362k|6299 | 0.000000e+00 | -- | Inf
561.30/561.38 c 561s| 2260k|338538 | 4673k| 2.1 | 280M| 36 | 5 | 40 |9998 | 40 | 17 | 22 |1368k|6304 | 0.000000e+00 | -- | Inf
563.69/563.77 c 564s| 2270k|340389 | 4691k| 2.1 | 282M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1373k|6307 | 0.000000e+00 | -- | Inf
566.30/566.40 c 566s| 2280k|342063 | 4710k| 2.1 | 283M| 36 | - | 40 | 12k| 40 | 17 | 22 |1379k|6317 | 0.000000e+00 | -- | Inf
569.30/569.34 c 569s| 2290k|343099 | 4728k| 2.1 | 284M| 36 | - | 40 | 10k| 40 | 17 | 22 |1385k|6321 | 0.000000e+00 | -- | Inf
572.20/572.29 c 572s| 2300k|343924 | 4747k| 2.1 | 285M| 36 | - | 40 | 10k| 40 | 17 | 22 |1391k|6330 | 0.000000e+00 | -- | Inf
575.00/575.01 c 575s| 2310k|345220 | 4766k| 2.1 | 286M| 36 | - | 40 | 11k| 0 | 0 | 22 |1398k|6346 | 0.000000e+00 | -- | Inf
577.80/577.87 c 578s| 2320k|346134 | 4785k| 2.1 | 287M| 36 | - | 40 | 12k| 40 | 17 | 22 |1404k|6354 | 0.000000e+00 | -- | Inf
581.00/581.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.00/581.05 c 581s| 2330k|346863 | 4804k| 2.1 | 288M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1411k|6360 | 0.000000e+00 | -- | Inf
584.20/584.23 c 584s| 2340k|347497 | 4823k| 2.1 | 289M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1417k|6374 | 0.000000e+00 | -- | Inf
587.20/587.30 c 587s| 2350k|348199 | 4842k| 2.1 | 289M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1424k|6382 | 0.000000e+00 | -- | Inf
591.20/591.20 c 591s| 2360k|348578 | 4863k| 2.1 | 289M| 36 | - | 40 |9480 | 40 | 17 | 22 |1431k|6401 | 0.000000e+00 | -- | Inf
594.30/594.33 c 594s| 2370k|349325 | 4884k| 2.1 | 290M| 36 | - | 40 |9332 | 40 | 17 | 22 |1438k|6417 | 0.000000e+00 | -- | Inf
597.30/597.34 c 597s| 2380k|350182 | 4904k| 2.1 | 291M| 36 | - | 40 |9727 | 0 | 0 | 22 |1444k|6418 | 0.000000e+00 | -- | Inf
600.50/600.51 c 601s| 2390k|350977 | 4925k| 2.1 | 292M| 36 | - | 40 |9527 | 40 | 17 | 22 |1451k|6428 | 0.000000e+00 | -- | Inf
603.30/603.32 c 603s| 2400k|352170 | 4946k| 2.1 | 293M| 36 | 5 | 40 |9176 | 40 | 17 | 22 |1458k|6435 | 0.000000e+00 | -- | Inf
605.80/605.84 c 606s| 2410k|353296 | 4966k| 2.1 | 294M| 36 | - | 40 |9509 | 40 | 17 | 22 |1464k|6446 | 0.000000e+00 | -- | Inf
608.21/608.26 c 608s| 2420k|354306 | 4987k| 2.1 | 296M| 36 | - | 40 | 11k| 40 | 17 | 22 |1471k|6457 | 0.000000e+00 | -- | Inf
611.30/611.31 c 611s| 2430k|355112 | 5008k| 2.1 | 296M| 36 | 5 | 40 |9687 | 40 | 17 | 22 |1478k|6470 | 0.000000e+00 | -- | Inf
614.00/614.03 c 614s| 2440k|356245 | 5028k| 2.1 | 298M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1485k|6479 | 0.000000e+00 | -- | Inf
616.90/616.94 c 617s| 2450k|357283 | 5049k| 2.1 | 299M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1491k|6492 | 0.000000e+00 | -- | Inf
619.60/619.63 c 620s| 2460k|358513 | 5070k| 2.1 | 300M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |1498k|6506 | 0.000000e+00 | -- | Inf
622.51/622.57 c 623s| 2470k|359504 | 5091k| 2.1 | 301M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1504k|6513 | 0.000000e+00 | -- | Inf
626.00/626.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.00/626.01 c 626s| 2480k|360189 | 5112k| 2.1 | 302M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1511k|6525 | 0.000000e+00 | -- | Inf
629.40/629.48 c 629s| 2490k|360823 | 5132k| 2.1 | 302M| 36 | - | 40 |9127 | 40 | 17 | 22 |1518k|6546 | 0.000000e+00 | -- | Inf
632.40/632.49 c 632s| 2500k|361596 | 5153k| 2.1 | 303M| 36 | 5 | 40 |8641 | 40 | 17 | 22 |1524k|6551 | 0.000000e+00 | -- | Inf
635.40/635.46 c 635s| 2510k|362273 | 5173k| 2.1 | 304M| 36 | 5 | 40 |9173 | 40 | 17 | 22 |1531k|6566 | 0.000000e+00 | -- | Inf
638.01/638.07 c 638s| 2520k|363429 | 5193k| 2.1 | 305M| 36 | - | 40 |9959 | 0 | 0 | 22 |1537k|6572 | 0.000000e+00 | -- | Inf
640.60/640.69 c 641s| 2530k|364244 | 5212k| 2.1 | 306M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1544k|6576 | 0.000000e+00 | -- | Inf
643.51/643.51 c 644s| 2540k|365440 | 5232k| 2.1 | 307M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1550k|6590 | 0.000000e+00 | -- | Inf
646.10/646.15 c 646s| 2550k|366903 | 5252k| 2.1 | 309M| 36 | - | 40 | 12k| 40 | 17 | 22 |1556k|6608 | 0.000000e+00 | -- | Inf
649.40/649.47 c 649s| 2560k|367785 | 5272k| 2.1 | 310M| 36 | - | 40 | 12k| 40 | 17 | 22 |1563k|6616 | 0.000000e+00 | -- | Inf
652.80/652.84 c 653s| 2570k|368520 | 5293k| 2.1 | 310M| 36 | - | 40 |9995 | 40 | 17 | 22 |1570k|6635 | 0.000000e+00 | -- | Inf
656.00/656.01 c 656s| 2580k|369259 | 5314k| 2.1 | 311M| 36 | 5 | 40 |9686 | 40 | 17 | 22 |1577k|6645 | 0.000000e+00 | -- | Inf
659.20/659.21 c 659s| 2590k|369989 | 5335k| 2.1 | 312M| 36 | 5 | 40 |9057 | 40 | 17 | 22 |1583k|6653 | 0.000000e+00 | -- | Inf
662.21/662.29 c 662s| 2600k|370646 | 5355k| 2.1 | 312M| 36 | 5 | 40 |8895 | 40 | 17 | 22 |1590k|6675 | 0.000000e+00 | -- | Inf
665.30/665.31 c 665s| 2610k|371421 | 5376k| 2.1 | 313M| 36 | - | 40 |9692 | 40 | 17 | 22 |1596k|6689 | 0.000000e+00 | -- | Inf
667.70/667.71 c 668s| 2620k|373185 | 5397k| 2.1 | 315M| 36 | - | 40 | 11k| 0 | 0 | 22 |1602k|6700 | 0.000000e+00 | -- | Inf
670.70/670.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.70/670.70 c 671s| 2630k|373938 | 5418k| 2.1 | 317M| 36 | - | 40 | 12k| 40 | 17 | 22 |1609k|6718 | 0.000000e+00 | -- | Inf
674.40/674.44 c 674s| 2640k|374533 | 5439k| 2.1 | 317M| 36 | - | 40 | 10k| 40 | 17 | 22 |1616k|6735 | 0.000000e+00 | -- | Inf
677.70/677.70 c 678s| 2650k|375200 | 5459k| 2.1 | 317M| 36 | 5 | 40 |9294 | 40 | 17 | 22 |1622k|6747 | 0.000000e+00 | -- | Inf
680.70/680.75 c 681s| 2660k|376053 | 5480k| 2.1 | 318M| 36 | 5 | 40 |9894 | 40 | 17 | 22 |1629k|6758 | 0.000000e+00 | -- | Inf
683.50/683.58 c 684s| 2670k|377079 | 5501k| 2.1 | 320M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1636k|6769 | 0.000000e+00 | -- | Inf
686.50/686.52 c 687s| 2680k|378059 | 5522k| 2.1 | 321M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1642k|6779 | 0.000000e+00 | -- | Inf
689.20/689.28 c 689s| 2690k|379085 | 5542k| 2.1 | 322M| 36 | - | 40 | 12k| 40 | 17 | 22 |1649k|6790 | 0.000000e+00 | -- | Inf
692.30/692.35 c 692s| 2700k|380468 | 5564k| 2.1 | 323M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1655k|6805 | 0.000000e+00 | -- | Inf
695.00/695.10 c 695s| 2710k|382030 | 5585k| 2.1 | 325M| 36 | - | 40 | 13k| 40 | 17 | 22 |1661k|6819 | 0.000000e+00 | -- | Inf
698.30/698.37 c 698s| 2720k|382863 | 5607k| 2.1 | 326M| 36 | - | 40 | 14k| 40 | 17 | 22 |1668k|6825 | 0.000000e+00 | -- | Inf
701.30/701.38 c 701s| 2730k|384260 | 5627k| 2.1 | 327M| 36 | - | 40 | 15k| 40 | 17 | 22 |1674k|6838 | 0.000000e+00 | -- | Inf
704.51/704.51 c 705s| 2740k|385690 | 5647k| 2.1 | 329M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1680k|6854 | 0.000000e+00 | -- | Inf
707.80/707.81 c 708s| 2750k|387186 | 5669k| 2.1 | 330M| 36 | - | 40 | 17k| 40 | 17 | 22 |1686k|6863 | 0.000000e+00 | -- | Inf
711.61/711.64 c 712s| 2760k|388006 | 5690k| 2.1 | 332M| 36 | - | 40 | 18k| 40 | 17 | 22 |1692k|6880 | 0.000000e+00 | -- | Inf
715.10/715.13 c 715s| 2770k|389255 | 5712k| 2.1 | 333M| 36 | - | 40 | 19k| 40 | 17 | 22 |1699k|6890 | 0.000000e+00 | -- | Inf
718.80/718.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.80/718.88 c 719s| 2780k|390425 | 5733k| 2.1 | 334M| 36 | - | 40 | 18k| 40 | 17 | 22 |1705k|6900 | 0.000000e+00 | -- | Inf
722.80/722.85 c 723s| 2790k|391345 | 5752k| 2.1 | 334M| 36 | - | 40 | 16k| 40 | 17 | 22 |1712k|6913 | 0.000000e+00 | -- | Inf
726.80/726.81 c 727s| 2800k|392104 | 5773k| 2.1 | 335M| 36 | - | 40 | 14k| 40 | 17 | 22 |1719k|6925 | 0.000000e+00 | -- | Inf
729.90/729.96 c 730s| 2810k|393142 | 5793k| 2.1 | 336M| 36 | - | 40 | 15k| 40 | 17 | 22 |1725k|6931 | 0.000000e+00 | -- | Inf
733.00/733.09 c 733s| 2820k|394674 | 5814k| 2.1 | 338M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1731k|6939 | 0.000000e+00 | -- | Inf
736.51/736.57 c 737s| 2830k|395703 | 5834k| 2.1 | 339M| 36 | - | 40 | 16k| 40 | 17 | 22 |1738k|6955 | 0.000000e+00 | -- | Inf
740.71/740.72 c 741s| 2840k|396443 | 5855k| 2.1 | 339M| 36 | - | 40 | 13k| 40 | 17 | 22 |1744k|6966 | 0.000000e+00 | -- | Inf
744.20/744.23 c 744s| 2850k|397380 | 5876k| 2.1 | 339M| 36 | - | 40 | 12k| 40 | 17 | 22 |1751k|6982 | 0.000000e+00 | -- | Inf
747.01/747.06 c 747s| 2860k|398698 | 5897k| 2.1 | 341M| 36 | - | 40 | 14k| 40 | 17 | 22 |1757k|6989 | 0.000000e+00 | -- | Inf
750.51/750.53 c 751s| 2870k|399473 | 5917k| 2.1 | 342M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1764k|7003 | 0.000000e+00 | -- | Inf
754.40/754.45 c 754s| 2880k|400162 | 5938k| 2.1 | 342M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1771k|7011 | 0.000000e+00 | -- | Inf
757.80/757.88 c 758s| 2890k|400887 | 5958k| 2.1 | 343M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |1778k|7020 | 0.000000e+00 | -- | Inf
760.40/760.45 c 760s| 2900k|403110 | 5980k| 2.1 | 344M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |1783k|7031 | 0.000000e+00 | -- | Inf
762.81/762.84 c 763s| 2910k|405263 | 6000k| 2.1 | 346M| 36 | - | 40 | 12k| 40 | 17 | 22 |1789k|7046 | 0.000000e+00 | -- | Inf
765.40/765.41 c 765s| 2920k|407270 | 6021k| 2.1 | 348M| 36 | - | 40 | 12k| 40 | 17 | 22 |1794k|7056 | 0.000000e+00 | -- | Inf
767.70/767.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.70/767.77 c 768s| 2930k|409668 | 6042k| 2.1 | 350M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |1800k|7064 | 0.000000e+00 | -- | Inf
770.90/770.94 c 771s| 2940k|411221 | 6063k| 2.1 | 351M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1806k|7078 | 0.000000e+00 | -- | Inf
774.00/774.02 c 774s| 2950k|412646 | 6084k| 2.1 | 352M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |1812k|7085 | 0.000000e+00 | -- | Inf
777.20/777.23 c 777s| 2960k|413851 | 6104k| 2.1 | 353M| 36 | - | 40 | 13k| 40 | 17 | 22 |1818k|7101 | 0.000000e+00 | -- | Inf
780.21/780.26 c 780s| 2970k|415226 | 6125k| 2.1 | 355M| 36 | - | 40 | 13k| 40 | 17 | 22 |1824k|7105 | 0.000000e+00 | -- | Inf
783.40/783.44 c 783s| 2980k|416460 | 6145k| 2.1 | 356M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |1831k|7120 | 0.000000e+00 | -- | Inf
786.51/786.52 c 787s| 2990k|417832 | 6165k| 2.1 | 357M| 36 | - | 40 | 15k| 40 | 17 | 22 |1837k|7131 | 0.000000e+00 | -- | Inf
789.40/789.41 c 789s| 3000k|419784 | 6186k| 2.1 | 359M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1843k|7142 | 0.000000e+00 | -- | Inf
792.80/792.80 c 793s| 3010k|421103 | 6207k| 2.1 | 361M| 36 | - | 40 | 18k| 0 | 0 | 22 |1849k|7158 | 0.000000e+00 | -- | Inf
796.41/796.44 c 796s| 3020k|422179 | 6228k| 2.1 | 362M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1856k|7165 | 0.000000e+00 | -- | Inf
800.20/800.24 c 800s| 3030k|423353 | 6250k| 2.1 | 364M| 36 | 5 | 40 | 20k| 40 | 17 | 22 |1863k|7173 | 0.000000e+00 | -- | Inf
804.31/804.37 c 804s| 3040k|424410 | 6271k| 2.1 | 364M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1870k|7186 | 0.000000e+00 | -- | Inf
807.80/807.87 c 808s| 3050k|425920 | 6291k| 2.1 | 365M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1876k|7198 | 0.000000e+00 | -- | Inf
811.91/811.97 c 812s| 3060k|426772 | 6312k| 2.1 | 366M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1883k|7204 | 0.000000e+00 | -- | Inf
816.30/816.37 c 816s| 3070k|427309 | 6333k| 2.1 | 367M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1889k|7218 | 0.000000e+00 | -- | Inf
819.91/819.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.91/819.92 c 820s| 3080k|428289 | 6354k| 2.1 | 368M| 36 | - | 40 | 16k| 40 | 17 | 22 |1896k|7230 | 0.000000e+00 | -- | Inf
824.01/824.08 c 824s| 3090k|428901 | 6374k| 2.1 | 368M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |1903k|7243 | 0.000000e+00 | -- | Inf
827.50/827.58 c 828s| 3100k|429906 | 6395k| 2.1 | 370M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1910k|7252 | 0.000000e+00 | -- | Inf
831.41/831.48 c 831s| 3110k|431146 | 6416k| 2.1 | 371M| 36 | - | 40 | 15k| 0 | 0 | 22 |1916k|7267 | 0.000000e+00 | -- | Inf
834.40/834.49 c 834s| 3120k|433029 | 6436k| 2.1 | 372M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |1922k|7276 | 0.000000e+00 | -- | Inf
837.50/837.57 c 838s| 3130k|434804 | 6457k| 2.1 | 374M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1928k|7284 | 0.000000e+00 | -- | Inf
841.30/841.38 c 841s| 3140k|436274 | 6477k| 2.1 | 375M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1934k|7299 | 0.000000e+00 | -- | Inf
845.31/845.35 c 845s| 3150k|437303 | 6498k| 2.1 | 376M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1941k|7311 | 0.000000e+00 | -- | Inf
849.21/849.21 c 849s| 3160k|438269 | 6519k| 2.1 | 377M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1948k|7321 | 0.000000e+00 | -- | Inf
853.61/853.67 c 854s| 3170k|438988 | 6539k| 2.1 | 378M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1954k|7329 | 0.000000e+00 | -- | Inf
857.80/857.81 c 858s| 3180k|440050 | 6559k| 2.1 | 379M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |1961k|7338 | 0.000000e+00 | -- | Inf
860.91/860.98 c 861s| 3190k|441454 | 6580k| 2.1 | 381M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |1967k|7347 | 0.000000e+00 | -- | Inf
864.91/864.96 c 865s| 3200k|442447 | 6601k| 2.1 | 382M| 36 | 5 | 40 | 20k| 40 | 17 | 22 |1974k|7361 | 0.000000e+00 | -- | Inf
869.70/869.72 c 870s| 3210k|443196 | 6621k| 2.1 | 382M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |1980k|7374 | 0.000000e+00 | -- | Inf
873.41/873.42 c 873s| 3220k|444770 | 6642k| 2.1 | 383M| 36 | - | 40 | 17k| 40 | 17 | 22 |1986k|7389 | 0.000000e+00 | -- | Inf
876.71/876.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.71/876.78 c 877s| 3230k|446536 | 6662k| 2.1 | 385M| 36 | - | 40 | 18k| 40 | 17 | 22 |1992k|7392 | 0.000000e+00 | -- | Inf
880.41/880.45 c 880s| 3240k|447792 | 6682k| 2.1 | 386M| 36 | - | 40 | 19k| 40 | 17 | 22 |1999k|7399 | 0.000000e+00 | -- | Inf
884.21/884.30 c 884s| 3250k|448951 | 6702k| 2.1 | 388M| 36 | - | 40 | 21k| 40 | 17 | 22 |2005k|7412 | 0.000000e+00 | -- | Inf
888.10/888.13 c 888s| 3260k|450405 | 6723k| 2.1 | 389M| 36 | 5 | 40 | 22k| 40 | 17 | 22 |2011k|7426 | 0.000000e+00 | -- | Inf
892.20/892.28 c 892s| 3270k|451723 | 6743k| 2.1 | 391M| 36 | - | 40 | 23k| 40 | 17 | 22 |2018k|7432 | 0.000000e+00 | -- | Inf
898.51/898.57 c 899s| 3280k|452271 | 6764k| 2.1 | 390M| 36 | - | 40 | 15k| 40 | 17 | 22 |2025k|7445 | 0.000000e+00 | -- | Inf
902.41/902.43 c 902s| 3290k|453035 | 6784k| 2.1 | 390M| 36 | - | 40 | 14k| 0 | 0 | 22 |2031k|7458 | 0.000000e+00 | -- | Inf
906.61/906.60 c 907s| 3300k|453643 | 6805k| 2.1 | 391M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2038k|7462 | 0.000000e+00 | -- | Inf
910.10/910.18 c 910s| 3310k|454588 | 6826k| 2.1 | 391M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2045k|7474 | 0.000000e+00 | -- | Inf
913.91/913.96 c 914s| 3320k|455172 | 6846k| 2.1 | 392M| 36 | - | 40 |9860 | 40 | 17 | 22 |2052k|7486 | 0.000000e+00 | -- | Inf
917.10/917.13 c 917s| 3330k|456019 | 6867k| 2.1 | 393M| 36 | - | 40 | 10k| 40 | 17 | 22 |2058k|7494 | 0.000000e+00 | -- | Inf
920.80/920.89 c 921s| 3340k|456601 | 6888k| 2.1 | 394M| 36 | - | 40 | 10k| 40 | 17 | 22 |2065k|7510 | 0.000000e+00 | -- | Inf
923.81/923.80 c 924s| 3350k|457771 | 6911k| 2.1 | 395M| 36 | - | 40 | 11k| 40 | 17 | 22 |2072k|7521 | 0.000000e+00 | -- | Inf
927.10/927.17 c 927s| 3360k|458635 | 6932k| 2.1 | 396M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2079k|7528 | 0.000000e+00 | -- | Inf
931.00/931.01 c 931s| 3370k|459161 | 6953k| 2.1 | 396M| 36 | 5 | 40 |9616 | 40 | 17 | 22 |2086k|7542 | 0.000000e+00 | -- | Inf
934.61/934.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.61/934.64 c 935s| 3380k|459736 | 6974k| 2.1 | 397M| 36 | 5 | 40 |9470 | 40 | 17 | 22 |2093k|7551 | 0.000000e+00 | -- | Inf
937.51/937.55 c 938s| 3390k|460561 | 6994k| 2.1 | 398M| 36 | - | 40 | 10k| 40 | 17 | 22 |2099k|7561 | 0.000000e+00 | -- | Inf
941.51/941.52 c 942s| 3400k|460926 | 7015k| 2.1 | 399M| 36 | - | 40 |9710 | 40 | 17 | 22 |2106k|7571 | 0.000000e+00 | -- | Inf
944.70/944.73 c 945s| 3410k|461767 | 7035k| 2.1 | 400M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2113k|7580 | 0.000000e+00 | -- | Inf
947.12/947.11 c 947s| 3420k|463615 | 7056k| 2.1 | 402M| 36 | - | 40 | 12k| 0 | 0 | 22 |2119k|7592 | 0.000000e+00 | -- | Inf
950.01/950.04 c 950s| 3430k|464529 | 7077k| 2.1 | 403M| 36 | - | 40 | 12k| 0 | 0 | 22 |2125k|7612 | 0.000000e+00 | -- | Inf
954.01/954.02 c 954s| 3440k|465099 | 7097k| 2.1 | 403M| 36 | - | 40 | 10k| 40 | 17 | 22 |2132k|7625 | 0.000000e+00 | -- | Inf
957.60/957.64 c 958s| 3450k|465599 | 7118k| 2.1 | 403M| 36 | - | 40 |8739 | 0 | 0 | 22 |2139k|7632 | 0.000000e+00 | -- | Inf
960.91/960.94 c 961s| 3460k|466134 | 7139k| 2.1 | 404M| 36 | - | 40 |8920 | 0 | 0 | 22 |2146k|7641 | 0.000000e+00 | -- | Inf
964.21/964.29 c 964s| 3470k|466683 | 7160k| 2.1 | 405M| 36 | 5 | 40 |9938 | 40 | 17 | 22 |2153k|7644 | 0.000000e+00 | -- | Inf
967.91/967.96 c 968s| 3480k|467067 | 7180k| 2.1 | 406M| 36 | 5 | 40 |8983 | 40 | 17 | 22 |2160k|7653 | 0.000000e+00 | -- | Inf
970.41/970.46 c 970s| 3490k|468651 | 7201k| 2.1 | 407M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2166k|7663 | 0.000000e+00 | -- | Inf
973.51/973.53 c 974s| 3500k|469247 | 7222k| 2.1 | 408M| 36 | - | 40 | 11k| 0 | 0 | 22 |2173k|7677 | 0.000000e+00 | -- | Inf
977.41/977.44 c 977s| 3510k|469670 | 7242k| 2.1 | 409M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2180k|7694 | 0.000000e+00 | -- | Inf
980.81/980.87 c 981s| 3520k|470370 | 7263k| 2.1 | 410M| 36 | - | 40 | 10k| 40 | 17 | 22 |2187k|7705 | 0.000000e+00 | -- | Inf
983.81/983.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
983.81/983.84 c 984s| 3530k|471217 | 7283k| 2.1 | 411M| 36 | - | 40 | 11k| 40 | 17 | 22 |2194k|7713 | 0.000000e+00 | -- | Inf
987.81/987.84 c 988s| 3540k|471562 | 7304k| 2.1 | 411M| 36 | - | 40 |9315 | 40 | 17 | 22 |2201k|7730 | 0.000000e+00 | -- | Inf
990.61/990.68 c 991s| 3550k|473276 | 7324k| 2.1 | 412M| 36 | 5 | 40 |9920 | 40 | 17 | 22 |2207k|7733 | 0.000000e+00 | -- | Inf
993.11/993.16 c 993s| 3560k|475223 | 7345k| 2.1 | 414M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2213k|7746 | 0.000000e+00 | -- | Inf
995.70/995.77 c 996s| 3570k|477150 | 7365k| 2.1 | 416M| 36 | - | 40 | 13k| 40 | 17 | 22 |2219k|7753 | 0.000000e+00 | -- | Inf
998.71/998.75 c 999s| 3580k|478690 | 7386k| 2.1 | 418M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2225k|7759 | 0.000000e+00 | -- | Inf
1001.91/1001.97 c 1002s| 3590k|480030 | 7406k| 2.1 | 419M| 36 | - | 40 | 14k| 40 | 17 | 22 |2231k|7764 | 0.000000e+00 | -- | Inf
1004.90/1004.95 c 1005s| 3600k|481584 | 7427k| 2.1 | 420M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2237k|7772 | 0.000000e+00 | -- | Inf
1008.31/1008.39 c 1008s| 3610k|482786 | 7447k| 2.1 | 422M| 36 | - | 40 | 15k| 40 | 17 | 22 |2243k|7778 | 0.000000e+00 | -- | Inf
1012.21/1012.25 c 1012s| 3620k|483744 | 7467k| 2.1 | 422M| 36 | - | 40 | 14k| 0 | 0 | 22 |2250k|7791 | 0.000000e+00 | -- | Inf
1015.61/1015.61 c 1016s| 3630k|484863 | 7488k| 2.1 | 424M| 36 | - | 40 | 15k| 0 | 0 | 22 |2256k|7795 | 0.000000e+00 | -- | Inf
1019.20/1019.29 c 1019s| 3640k|485877 | 7509k| 2.1 | 425M| 36 | - | 40 | 15k| 40 | 17 | 22 |2263k|7797 | 0.000000e+00 | -- | Inf
1022.41/1022.45 c 1022s| 3650k|487197 | 7529k| 2.1 | 426M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2269k|7812 | 0.000000e+00 | -- | Inf
1026.51/1026.53 c 1027s| 3660k|488118 | 7550k| 2.1 | 427M| 36 | - | 40 | 17k| 40 | 17 | 22 |2276k|7817 | 0.000000e+00 | -- | Inf
1030.81/1030.87 c 1031s| 3670k|488896 | 7571k| 2.1 | 428M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2283k|7822 | 0.000000e+00 | -- | Inf
1034.30/1034.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1034.30/1034.37 c 1034s| 3680k|490509 | 7591k| 2.1 | 430M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2289k|7836 | 0.000000e+00 | -- | Inf
1038.60/1038.62 c 1039s| 3690k|491303 | 7612k| 2.1 | 431M| 36 | 5 | 40 | 19k| 40 | 17 | 22 |2296k|7847 | 0.000000e+00 | -- | Inf
1043.51/1043.55 c 1044s| 3700k|491889 | 7631k| 2.1 | 432M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2302k|7866 | 0.000000e+00 | -- | Inf
1048.00/1048.09 c 1048s| 3710k|492500 | 7652k| 2.1 | 433M| 36 | - | 40 | 18k| 40 | 17 | 22 |2309k|7887 | 0.000000e+00 | -- | Inf
1053.31/1053.31 c 1053s| 3720k|493075 | 7673k| 2.1 | 432M| 36 | - | 40 | 13k| 40 | 17 | 22 |2316k|7893 | 0.000000e+00 | -- | Inf
1057.61/1057.61 c 1058s| 3730k|493831 | 7693k| 2.1 | 432M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2323k|7905 | 0.000000e+00 | -- | Inf
1060.80/1060.83 c 1061s| 3740k|495057 | 7714k| 2.1 | 433M| 36 | - | 40 | 11k| 40 | 17 | 22 |2329k|7918 | 0.000000e+00 | -- | Inf
1063.81/1063.89 c 1064s| 3750k|496532 | 7735k| 2.1 | 434M| 36 | - | 40 | 11k| 40 | 17 | 22 |2336k|7930 | 0.000000e+00 | -- | Inf
1066.51/1066.58 c 1067s| 3760k|498317 | 7756k| 2.1 | 436M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2341k|7944 | 0.000000e+00 | -- | Inf
1069.70/1069.70 c 1070s| 3770k|499681 | 7776k| 2.1 | 438M| 36 | - | 40 | 13k| 40 | 17 | 22 |2348k|7948 | 0.000000e+00 | -- | Inf
1072.90/1072.95 c 1073s| 3780k|500777 | 7797k| 2.1 | 439M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2354k|7962 | 0.000000e+00 | -- | Inf
1076.20/1076.27 c 1076s| 3790k|501775 | 7817k| 2.1 | 440M| 36 | - | 40 | 14k| 40 | 17 | 22 |2361k|7980 | 0.000000e+00 | -- | Inf
1079.81/1079.87 c 1080s| 3800k|502666 | 7838k| 2.1 | 441M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2367k|7985 | 0.000000e+00 | -- | Inf
1083.51/1083.51 c 1084s| 3810k|503396 | 7859k| 2.1 | 443M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2374k|7990 | 0.000000e+00 | -- | Inf
1087.60/1087.67 c 1088s| 3820k|504125 | 7879k| 2.1 | 443M| 36 | - | 40 | 14k| 40 | 17 | 22 |2381k|8003 | 0.000000e+00 | -- | Inf
1091.60/1091.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.60/1091.63 c 1092s| 3830k|504962 | 7900k| 2.1 | 443M| 36 | - | 40 | 13k| 40 | 17 | 22 |2388k|8011 | 0.000000e+00 | -- | Inf
1094.91/1094.91 c 1095s| 3840k|506236 | 7921k| 2.1 | 445M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2394k|8023 | 0.000000e+00 | -- | Inf
1098.71/1098.72 c 1099s| 3850k|506823 | 7941k| 2.1 | 446M| 36 | - | 40 | 14k| 0 | 0 | 22 |2401k|8029 | 0.000000e+00 | -- | Inf
1101.61/1101.60 c 1102s| 3860k|509248 | 7962k| 2.1 | 447M| 36 | - | 40 | 14k| 40 | 17 | 22 |2407k|8039 | 0.000000e+00 | -- | Inf
1104.80/1104.84 c 1105s| 3870k|510863 | 7983k| 2.1 | 449M| 36 | 5 | 40 | 15k| 40 | 17 | 22 |2413k|8048 | 0.000000e+00 | -- | Inf
1108.30/1108.39 c 1108s| 3880k|512077 | 8004k| 2.1 | 450M| 36 | - | 40 | 16k| 40 | 17 | 22 |2419k|8053 | 0.000000e+00 | -- | Inf
1112.02/1112.07 c 1112s| 3890k|513219 | 8025k| 2.1 | 451M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2426k|8061 | 0.000000e+00 | -- | Inf
1116.11/1116.13 c 1116s| 3900k|514093 | 8046k| 2.1 | 453M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2433k|8075 | 0.000000e+00 | -- | Inf
1120.21/1120.25 c 1120s| 3910k|514852 | 8067k| 2.1 | 454M| 36 | - | 40 | 17k| 40 | 17 | 22 |2439k|8084 | 0.000000e+00 | -- | Inf
1124.21/1124.28 c 1124s| 3920k|515545 | 8088k| 2.1 | 455M| 36 | - | 40 | 17k| 40 | 17 | 22 |2446k|8090 | 0.000000e+00 | -- | Inf
1128.91/1128.91 c 1129s| 3930k|515905 | 8109k| 2.1 | 455M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2453k|8107 | 0.000000e+00 | -- | Inf
1133.41/1133.44 c 1133s| 3940k|516530 | 8129k| 2.1 | 456M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2460k|8121 | 0.000000e+00 | -- | Inf
1137.80/1137.81 c 1138s| 3950k|517267 | 8150k| 2.1 | 456M| 36 | - | 40 | 13k| 40 | 17 | 22 |2467k|8129 | 0.000000e+00 | -- | Inf
1140.51/1140.50 c 1140s| 3960k|518847 | 8171k| 2.1 | 458M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |2473k|8137 | 0.000000e+00 | -- | Inf
1143.70/1143.71 c 1144s| 3970k|520321 | 8193k| 2.1 | 459M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2479k|8144 | 0.000000e+00 | -- | Inf
1147.71/1147.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.71/1147.76 c 1148s| 3980k|520878 | 8214k| 2.1 | 460M| 36 | 5 | 40 | 18k| 40 | 17 | 22 |2486k|8153 | 0.000000e+00 | -- | Inf
1152.51/1152.53 c 1153s| 3990k|521493 | 8235k| 2.1 | 460M| 36 | - | 40 | 13k| 40 | 17 | 22 |2493k|8162 | 0.000000e+00 | -- | Inf
1155.81/1155.89 c 1156s| 4000k|522493 | 8255k| 2.1 | 461M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2499k|8170 | 0.000000e+00 | -- | Inf
1159.21/1159.29 c 1159s| 4010k|523918 | 8277k| 2.1 | 462M| 36 | - | 40 | 14k| 0 | 0 | 22 |2506k|8180 | 0.000000e+00 | -- | Inf
1162.51/1162.58 c 1163s| 4020k|524759 | 8298k| 2.1 | 464M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |2512k|8194 | 0.000000e+00 | -- | Inf
1167.31/1167.34 c 1167s| 4030k|525229 | 8318k| 2.1 | 464M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2519k|8207 | 0.000000e+00 | -- | Inf
1170.81/1170.88 c 1171s| 4040k|526126 | 8339k| 2.1 | 465M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2526k|8217 | 0.000000e+00 | -- | Inf
1174.91/1174.90 c 1175s| 4050k|526720 | 8359k| 2.1 | 465M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2533k|8221 | 0.000000e+00 | -- | Inf
1178.51/1178.54 c 1179s| 4060k|527351 | 8379k| 2.1 | 465M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2540k|8234 | 0.000000e+00 | -- | Inf
1182.01/1182.07 c 1182s| 4070k|528059 | 8400k| 2.1 | 466M| 36 | 5 | 40 |9727 | 40 | 17 | 22 |2546k|8243 | 0.000000e+00 | -- | Inf
1185.60/1185.68 c 1186s| 4080k|528632 | 8421k| 2.1 | 467M| 36 | - | 40 |9670 | 40 | 17 | 22 |2553k|8255 | 0.000000e+00 | -- | Inf
1188.91/1188.94 c 1189s| 4090k|529392 | 8442k| 2.1 | 468M| 36 | - | 40 | 10k| 40 | 17 | 22 |2560k|8324 | 0.000000e+00 | -- | Inf
1191.61/1191.62 c 1192s| 4100k|530411 | 8463k| 2.1 | 470M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2567k|8324 | 0.000000e+00 | -- | Inf
1195.51/1195.57 c 1196s| 4110k|531017 | 8484k| 2.1 | 470M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2573k|8326 | 0.000000e+00 | -- | Inf
1198.81/1198.87 c 1199s| 4120k|531747 | 8504k| 2.1 | 471M| 36 | - | 40 | 12k| 40 | 17 | 22 |2580k|8326 | 0.000000e+00 | -- | Inf
1202.71/1202.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.71/1202.70 c 1203s| 4130k|532241 | 8525k| 2.1 | 472M| 36 | - | 40 | 10k| 40 | 17 | 22 |2587k|8389 | 0.000000e+00 | -- | Inf
1206.21/1206.25 c 1206s| 4140k|532827 | 8545k| 2.1 | 473M| 36 | - | 40 | 11k| 40 | 17 | 22 |2594k|8389 | 0.000000e+00 | -- | Inf
1209.80/1209.87 c 1210s| 4150k|533439 | 8566k| 2.1 | 473M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2601k|8389 | 0.000000e+00 | -- | Inf
1213.71/1213.79 c 1214s| 4160k|533794 | 8586k| 2.1 | 473M| 36 | 5 | 40 |9295 | 40 | 17 | 22 |2608k|8393 | 0.000000e+00 | -- | Inf
1217.31/1217.38 c 1217s| 4170k|534257 | 8607k| 2.1 | 474M| 36 | 5 | 40 |9128 | 40 | 17 | 22 |2615k|8393 | 0.000000e+00 | -- | Inf
1220.81/1220.86 c 1221s| 4180k|534866 | 8628k| 2.1 | 475M| 36 | 5 | 40 |9921 | 40 | 17 | 22 |2621k|8393 | 0.000000e+00 | -- | Inf
1223.91/1223.91 c 1224s| 4190k|535758 | 8649k| 2.1 | 476M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2628k|8403 | 0.000000e+00 | -- | Inf
1227.31/1227.35 c 1227s| 4200k|536562 | 8669k| 2.1 | 477M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2635k|8411 | 0.000000e+00 | -- | Inf
1230.61/1230.68 c 1231s| 4210k|537708 | 8690k| 2.1 | 478M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2641k|8418 | 0.000000e+00 | -- | Inf
1233.51/1233.53 c 1234s| 4220k|539073 | 8710k| 2.1 | 480M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2647k|8421 | 0.000000e+00 | -- | Inf
1236.61/1236.68 c 1237s| 4230k|540169 | 8731k| 2.1 | 481M| 36 | - | 40 | 15k| 40 | 17 | 22 |2653k|8425 | 0.000000e+00 | -- | Inf
1240.82/1240.89 c 1241s| 4240k|540765 | 8751k| 2.1 | 482M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2660k|8430 | 0.000000e+00 | -- | Inf
1244.51/1244.54 c 1245s| 4250k|541439 | 8771k| 2.1 | 482M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2667k|8439 | 0.000000e+00 | -- | Inf
1248.41/1248.45 c 1248s| 4260k|542061 | 8792k| 2.1 | 483M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2674k|8452 | 0.000000e+00 | -- | Inf
1252.01/1252.03 c 1252s| 4270k|542827 | 8813k| 2.1 | 483M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2680k|8466 | 0.000000e+00 | -- | Inf
1255.81/1255.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1255.81/1255.82 c 1256s| 4280k|543351 | 8835k| 2.1 | 484M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2688k|8471 | 0.000000e+00 | -- | Inf
1259.11/1259.10 c 1259s| 4290k|544211 | 8855k| 2.1 | 485M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2695k|8478 | 0.000000e+00 | -- | Inf
1262.51/1262.52 c 1263s| 4300k|544908 | 8876k| 2.1 | 486M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2701k|8479 | 0.000000e+00 | -- | Inf
1266.51/1266.59 c 1267s| 4310k|545286 | 8897k| 2.1 | 486M| 36 | - | 40 |9486 | 0 | 0 | 22 |2708k|8488 | 0.000000e+00 | -- | Inf
1269.42/1269.42 c 1269s| 4320k|546288 | 8918k| 2.1 | 488M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2715k|8500 | 0.000000e+00 | -- | Inf
1272.51/1272.55 c 1273s| 4330k|547196 | 8938k| 2.1 | 489M| 36 | - | 40 | 13k| 40 | 17 | 22 |2721k|8512 | 0.000000e+00 | -- | Inf
1276.71/1276.72 c 1277s| 4340k|547608 | 8959k| 2.1 | 489M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2729k|8525 | 0.000000e+00 | -- | Inf
1280.11/1280.18 c 1280s| 4350k|548160 | 8980k| 2.1 | 490M| 36 | - | 40 | 10k| 40 | 17 | 22 |2735k|8531 | 0.000000e+00 | -- | Inf
1283.21/1283.29 c 1283s| 4360k|548972 | 9001k| 2.1 | 491M| 36 | - | 40 | 11k| 40 | 17 | 22 |2742k|8535 | 0.000000e+00 | -- | Inf
1287.21/1287.20 c 1287s| 4370k|549366 | 9022k| 2.1 | 491M| 36 | 5 | 40 |9896 | 40 | 17 | 22 |2749k|8548 | 0.000000e+00 | -- | Inf
1290.61/1290.68 c 1291s| 4380k|549900 | 9042k| 2.1 | 492M| 36 | 5 | 40 |9689 | 40 | 17 | 22 |2756k|8563 | 0.000000e+00 | -- | Inf
1294.11/1294.17 c 1294s| 4390k|550472 | 9063k| 2.1 | 493M| 36 | - | 40 |9998 | 40 | 17 | 22 |2763k|8576 | 0.000000e+00 | -- | Inf
1297.51/1297.52 c 1298s| 4400k|551228 | 9084k| 2.1 | 494M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2770k|8585 | 0.000000e+00 | -- | Inf
1300.91/1300.92 c 1301s| 4410k|551900 | 9105k| 2.1 | 495M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2776k|8655 | 0.000000e+00 | -- | Inf
1304.31/1304.31 c 1304s| 4420k|552679 | 9125k| 2.1 | 495M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2783k|8655 | 0.000000e+00 | -- | Inf
1307.11/1307.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.11/1307.10 c 1307s| 4430k|553668 | 9146k| 2.1 | 497M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2789k|8655 | 0.000000e+00 | -- | Inf
1310.31/1310.38 c 1310s| 4440k|554684 | 9167k| 2.1 | 499M| 36 | - | 40 | 14k| 40 | 17 | 22 |2796k|8655 | 0.000000e+00 | -- | Inf
1314.21/1314.25 c 1314s| 4450k|555524 | 9188k| 2.1 | 499M| 36 | - | 40 | 13k| 40 | 17 | 22 |2803k|8659 | 0.000000e+00 | -- | Inf
1318.21/1318.24 c 1318s| 4460k|556114 | 9209k| 2.1 | 499M| 36 | - | 40 | 11k| 40 | 17 | 22 |2810k|8659 | 0.000000e+00 | -- | Inf
1321.51/1321.54 c 1322s| 4470k|557117 | 9231k| 2.1 | 501M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2816k|8663 | 0.000000e+00 | -- | Inf
1325.31/1325.35 c 1325s| 4480k|557615 | 9251k| 2.1 | 501M| 36 | - | 40 | 11k| 0 | 0 | 22 |2823k|8676 | 0.000000e+00 | -- | Inf
1329.01/1329.00 c 1329s| 4490k|558270 | 9272k| 2.1 | 502M| 36 | - | 40 | 11k| 40 | 17 | 22 |2830k|8685 | 0.000000e+00 | -- | Inf
1332.91/1332.93 c 1333s| 4500k|558732 | 9292k| 2.1 | 502M| 36 | 5 | 40 |9297 | 40 | 17 | 22 |2837k|8691 | 0.000000e+00 | -- | Inf
1336.41/1336.44 c 1336s| 4510k|559292 | 9313k| 2.1 | 503M| 36 | 5 | 40 |9755 | 40 | 17 | 22 |2844k|8700 | 0.000000e+00 | -- | Inf
1339.91/1339.94 c 1340s| 4520k|559883 | 9334k| 2.1 | 504M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2851k|8705 | 0.000000e+00 | -- | Inf
1343.21/1343.28 c 1343s| 4530k|560570 | 9355k| 2.1 | 505M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |2857k|8711 | 0.000000e+00 | -- | Inf
1345.91/1345.97 c 1346s| 4540k|561801 | 9376k| 2.1 | 507M| 36 | - | 40 | 12k| 40 | 17 | 22 |2864k|8716 | 0.000000e+00 | -- | Inf
1349.51/1349.59 c 1350s| 4550k|562599 | 9397k| 2.1 | 507M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2871k|8724 | 0.000000e+00 | -- | Inf
1352.92/1353.00 c 1353s| 4560k|563473 | 9417k| 2.1 | 508M| 36 | - | 40 | 12k| 40 | 17 | 22 |2877k|8728 | 0.000000e+00 | -- | Inf
1356.02/1356.07 c 1356s| 4570k|564622 | 9439k| 2.1 | 510M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2884k|8733 | 0.000000e+00 | -- | Inf
1359.21/1359.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1359.21/1359.20 c 1359s| 4580k|565370 | 9460k| 2.1 | 511M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2891k|8740 | 0.000000e+00 | -- | Inf
1362.51/1362.57 c 1363s| 4590k|566247 | 9481k| 2.1 | 512M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2897k|8747 | 0.000000e+00 | -- | Inf
1366.31/1366.38 c 1366s| 4600k|566962 | 9501k| 2.1 | 512M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2904k|8761 | 0.000000e+00 | -- | Inf
1370.21/1370.20 c 1370s| 4610k|567642 | 9522k| 2.1 | 513M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2911k|8767 | 0.000000e+00 | -- | Inf
1372.82/1372.89 c 1373s| 4620k|569174 | 9542k| 2.1 | 515M| 36 | - | 40 | 15k| 40 | 17 | 22 |2917k|8771 | 0.000000e+00 | -- | Inf
1376.61/1376.66 c 1377s| 4630k|569834 | 9562k| 2.1 | 516M| 36 | - | 40 | 14k| 40 | 17 | 22 |2924k|8775 | 0.000000e+00 | -- | Inf
1381.02/1381.05 c 1381s| 4640k|570258 | 9583k| 2.1 | 516M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2931k|8783 | 0.000000e+00 | -- | Inf
1384.62/1384.60 c 1385s| 4650k|570967 | 9603k| 2.1 | 516M| 36 | - | 40 | 11k| 40 | 17 | 22 |2938k|8786 | 0.000000e+00 | -- | Inf
1388.61/1388.68 c 1389s| 4660k|571362 | 9624k| 2.1 | 517M| 36 | - | 40 | 10k| 40 | 17 | 22 |2944k|8800 | 0.000000e+00 | -- | Inf
1392.41/1392.40 c 1392s| 4670k|571931 | 9645k| 2.1 | 517M| 36 | 5 | 40 |9899 | 40 | 17 | 22 |2951k|8804 | 0.000000e+00 | -- | Inf
1395.21/1395.26 c 1395s| 4680k|573062 | 9665k| 2.1 | 519M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2958k|8814 | 0.000000e+00 | -- | Inf
1398.31/1398.33 c 1398s| 4690k|573809 | 9684k| 2.1 | 520M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |2965k|8823 | 0.000000e+00 | -- | Inf
1402.21/1402.24 c 1402s| 4700k|574194 | 9704k| 2.1 | 520M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |2972k|8833 | 0.000000e+00 | -- | Inf
1405.52/1405.56 c 1406s| 4710k|575419 | 9725k| 2.1 | 521M| 36 | - | 40 | 11k| 40 | 17 | 22 |2978k|8842 | 0.000000e+00 | -- | Inf
1408.31/1408.35 c 1408s| 4720k|576976 | 9748k| 2.1 | 523M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |2984k|8854 | 0.000000e+00 | -- | Inf
1411.41/1411.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.41/1411.40 c 1411s| 4730k|578354 | 9770k| 2.1 | 525M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2991k|8857 | 0.000000e+00 | -- | Inf
1414.71/1414.79 c 1415s| 4740k|579284 | 9792k| 2.1 | 526M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |2998k|8867 | 0.000000e+00 | -- | Inf
1418.31/1418.33 c 1418s| 4750k|580074 | 9813k| 2.1 | 527M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3005k|8873 | 0.000000e+00 | -- | Inf
1422.01/1422.01 c 1422s| 4760k|580767 | 9834k| 2.1 | 528M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3012k|8885 | 0.000000e+00 | -- | Inf
1426.12/1426.16 c 1426s| 4770k|581187 | 9856k| 2.1 | 529M| 36 | 5 | 40 | 16k| 40 | 17 | 22 |3020k|8891 | 0.000000e+00 | -- | Inf
1430.82/1430.81 c 1431s| 4780k|581718 | 9877k| 2.1 | 529M| 36 | - | 40 | 13k| 40 | 17 | 22 |3026k|8895 | 0.000000e+00 | -- | Inf
1435.01/1435.06 c 1435s| 4790k|582323 | 9897k| 2.1 | 529M| 36 | - | 40 | 13k| 40 | 17 | 22 |3033k|8905 | 0.000000e+00 | -- | Inf
1439.01/1439.00 c 1439s| 4800k|583037 | 9918k| 2.1 | 530M| 36 | - | 40 | 13k| 40 | 17 | 22 |3040k|8914 | 0.000000e+00 | -- | Inf
1442.61/1442.63 c 1443s| 4810k|583973 | 9939k| 2.1 | 531M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3047k|8917 | 0.000000e+00 | -- | Inf
1445.91/1445.96 c 1446s| 4820k|584907 | 9959k| 2.1 | 532M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3053k|8926 | 0.000000e+00 | -- | Inf
1449.42/1449.42 c 1449s| 4830k|585829 | 9980k| 2.1 | 533M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3060k|8935 | 0.000000e+00 | -- | Inf
1453.61/1453.60 c 1454s| 4840k|586507 | 10001k| 2.1 | 534M| 36 | - | 40 | 12k| 40 | 17 | 22 |3067k|8939 | 0.000000e+00 | -- | Inf
1456.51/1456.51 c 1457s| 4850k|588306 | 10021k| 2.1 | 535M| 36 | - | 40 | 13k| 40 | 17 | 22 |3072k|8945 | 0.000000e+00 | -- | Inf
1459.62/1459.63 c 1460s| 4860k|589650 | 10041k| 2.1 | 537M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3079k|8952 | 0.000000e+00 | -- | Inf
1463.02/1463.03 c 1463s| 4870k|590723 | 10061k| 2.1 | 538M| 36 | - | 40 | 15k| 0 | 0 | 22 |3085k|8960 | 0.000000e+00 | -- | Inf
1466.62/1466.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.62/1466.63 c 1467s| 4880k|591699 | 10081k| 2.1 | 540M| 36 | 5 | 40 | 17k| 40 | 17 | 22 |3092k|8965 | 0.000000e+00 | -- | Inf
1471.21/1471.22 c 1471s| 4890k|592096 | 10101k| 2.1 | 540M| 36 | - | 40 | 16k| 40 | 17 | 22 |3099k|8971 | 0.000000e+00 | -- | Inf
1475.61/1475.69 c 1476s| 4900k|592712 | 10122k| 2.1 | 541M| 36 | - | 40 | 14k| 40 | 17 | 22 |3106k|8976 | 0.000000e+00 | -- | Inf
1479.61/1479.65 c 1480s| 4910k|593599 | 10143k| 2.1 | 541M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3113k|8976 | 0.000000e+00 | -- | Inf
1483.82/1483.83 c 1484s| 4920k|594233 | 10164k| 2.1 | 541M| 36 | - | 40 | 11k| 40 | 17 | 22 |3120k|8981 | 0.000000e+00 | -- | Inf
1487.41/1487.45 c 1487s| 4930k|594977 | 10184k| 2.1 | 542M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3126k|9008 | 0.000000e+00 | -- | Inf
1490.42/1490.50 c 1490s| 4940k|596251 | 10204k| 2.1 | 544M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3133k|9008 | 0.000000e+00 | -- | Inf
1493.62/1493.63 c 1494s| 4950k|597491 | 10226k| 2.1 | 545M| 36 | - | 40 | 14k| 40 | 17 | 22 |3139k|9008 | 0.000000e+00 | -- | Inf
1497.41/1497.46 c 1497s| 4960k|598324 | 10246k| 2.1 | 546M| 36 | - | 40 | 13k| 40 | 17 | 22 |3146k|9008 | 0.000000e+00 | -- | Inf
1501.32/1501.33 c 1501s| 4970k|598944 | 10267k| 2.1 | 547M| 36 | - | 40 | 14k| 40 | 17 | 22 |3153k|9014 | 0.000000e+00 | -- | Inf
1504.82/1504.84 c 1505s| 4980k|599828 | 10287k| 2.1 | 548M| 36 | 5 | 40 | 14k| 40 | 17 | 22 |3160k|9021 | 0.000000e+00 | -- | Inf
1509.12/1509.12 c 1509s| 4990k|600312 | 10308k| 2.1 | 548M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3166k|9022 | 0.000000e+00 | -- | Inf
1513.42/1513.41 c 1513s| 5000k|600711 | 10328k| 2.1 | 548M| 36 | - | 40 | 10k| 0 | 0 | 22 |3174k|9030 | 0.000000e+00 | -- | Inf
1517.11/1517.17 c 1517s| 5010k|601209 | 10348k| 2.1 | 549M| 36 | - | 40 | 10k| 0 | 0 | 22 |3180k|9037 | 0.000000e+00 | -- | Inf
1521.02/1521.00 c 1521s| 5020k|601685 | 10369k| 2.1 | 550M| 36 | 5 | 40 |9766 | 40 | 17 | 22 |3187k|9048 | 0.000000e+00 | -- | Inf
1524.62/1524.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.62/1524.65 c 1525s| 5030k|602158 | 10390k| 2.1 | 550M| 36 | 5 | 40 |9603 | 40 | 17 | 22 |3194k|9059 | 0.000000e+00 | -- | Inf
1528.21/1528.22 c 1528s| 5040k|602820 | 10410k| 2.1 | 551M| 36 | 5 | 40 |9641 | 40 | 17 | 22 |3201k|9069 | 0.000000e+00 | -- | Inf
1531.91/1531.92 c 1532s| 5050k|603209 | 10431k| 2.1 | 552M| 36 | 5 | 40 |9666 | 40 | 17 | 22 |3208k|9074 | 0.000000e+00 | -- | Inf
1535.82/1535.88 c 1536s| 5060k|603496 | 10451k| 2.1 | 552M| 36 | 5 | 40 |8668 | 40 | 17 | 22 |3215k|9084 | 0.000000e+00 | -- | Inf
1539.51/1539.58 c 1540s| 5070k|603884 | 10472k| 2.1 | 553M| 36 | 5 | 40 |8724 | 40 | 17 | 22 |3222k|9109 | 0.000000e+00 | -- | Inf
1542.01/1542.10 c 1542s| 5080k|605364 | 10492k| 2.1 | 554M| 36 | - | 40 | 10k| 40 | 17 | 22 |3228k|9109 | 0.000000e+00 | -- | Inf
1545.61/1545.66 c 1546s| 5090k|605667 | 10512k| 2.1 | 555M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3235k|9119 | 0.000000e+00 | -- | Inf
1549.31/1549.33 c 1549s| 5100k|606196 | 10532k| 2.1 | 556M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3242k|9123 | 0.000000e+00 | -- | Inf
1552.22/1552.26 c 1552s| 5110k|607282 | 10553k| 2.1 | 557M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3248k|9136 | 0.000000e+00 | -- | Inf
1555.91/1555.97 c 1556s| 5120k|607851 | 10574k| 2.1 | 558M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3255k|9145 | 0.000000e+00 | -- | Inf
1559.83/1559.87 c 1560s| 5130k|608432 | 10595k| 2.1 | 558M| 36 | - | 40 | 11k| 40 | 17 | 22 |3262k|9151 | 0.000000e+00 | -- | Inf
1563.81/1563.90 c 1564s| 5140k|608898 | 10615k| 2.1 | 559M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3269k|9158 | 0.000000e+00 | -- | Inf
1567.71/1567.73 c 1568s| 5150k|609338 | 10636k| 2.1 | 560M| 36 | - | 40 | 10k| 0 | 0 | 22 |3276k|9165 | 0.000000e+00 | -- | Inf
1570.52/1570.57 c 1571s| 5160k|610621 | 10657k| 2.1 | 561M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3282k|9172 | 0.000000e+00 | -- | Inf
1573.41/1573.47 c 1573s| 5170k|611374 | 10678k| 2.1 | 562M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3289k|9177 | 0.000000e+00 | -- | Inf
1577.22/1577.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1577.22/1577.27 c 1577s| 5180k|611977 | 10699k| 2.1 | 563M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3296k|9183 | 0.000000e+00 | -- | Inf
1580.51/1580.59 c 1581s| 5190k|612868 | 10720k| 2.1 | 564M| 36 | - | 40 | 12k| 40 | 17 | 22 |3302k|9196 | 0.000000e+00 | -- | Inf
1584.72/1584.71 c 1585s| 5200k|613287 | 10740k| 2.1 | 564M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3309k|9206 | 0.000000e+00 | -- | Inf
1588.43/1588.49 c 1588s| 5210k|613714 | 10760k| 2.1 | 564M| 36 | - | 40 |9495 | 40 | 17 | 22 |3316k|9218 | 0.000000e+00 | -- | Inf
1592.12/1592.11 c 1592s| 5220k|614233 | 10781k| 2.1 | 565M| 36 | 5 | 40 |9743 | 40 | 17 | 22 |3323k|9225 | 0.000000e+00 | -- | Inf
1595.42/1595.45 c 1595s| 5230k|614829 | 10802k| 2.1 | 566M| 36 | - | 40 |9792 | 40 | 17 | 22 |3330k|9235 | 0.000000e+00 | -- | Inf
1599.12/1599.18 c 1599s| 5240k|615212 | 10822k| 2.1 | 566M| 36 | 5 | 40 |9271 | 40 | 17 | 22 |3337k|9243 | 0.000000e+00 | -- | Inf
1602.02/1602.07 c 1602s| 5250k|616181 | 10843k| 2.1 | 568M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3344k|9253 | 0.000000e+00 | -- | Inf
1605.71/1605.73 c 1606s| 5260k|616749 | 10864k| 2.1 | 568M| 36 | - | 40 | 10k| 40 | 17 | 22 |3350k|9259 | 0.000000e+00 | -- | Inf
1609.62/1609.62 c 1610s| 5270k|617251 | 10884k| 2.1 | 569M| 36 | 5 | 40 |9725 | 40 | 17 | 22 |3357k|9263 | 0.000000e+00 | -- | Inf
1612.52/1612.60 c 1613s| 5280k|618173 | 10904k| 2.1 | 570M| 36 | - | 40 | 11k| 0 | 0 | 22 |3364k|9265 | 0.000000e+00 | -- | Inf
1616.31/1616.39 c 1616s| 5290k|618678 | 10925k| 2.1 | 571M| 36 | - | 40 | 10k| 40 | 17 | 22 |3371k|9270 | 0.000000e+00 | -- | Inf
1620.32/1620.33 c 1620s| 5300k|618921 | 10946k| 2.1 | 571M| 36 | 5 | 40 |9274 | 40 | 17 | 22 |3378k|9298 | 0.000000e+00 | -- | Inf
1623.92/1623.93 c 1624s| 5310k|619395 | 10967k| 2.1 | 572M| 36 | - | 40 |9759 | 40 | 17 | 22 |3385k|9298 | 0.000000e+00 | -- | Inf
1627.31/1627.39 c 1627s| 5320k|620126 | 10988k| 2.1 | 573M| 36 | - | 40 |9863 | 40 | 17 | 22 |3392k|9301 | 0.000000e+00 | -- | Inf
1630.12/1630.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1630.12/1630.16 c 1630s| 5330k|621226 | 11008k| 2.1 | 575M| 36 | - | 40 | 12k| 40 | 17 | 22 |3398k|9310 | 0.000000e+00 | -- | Inf
1633.72/1633.77 c 1634s| 5340k|621817 | 11028k| 2.1 | 575M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3405k|9315 | 0.000000e+00 | -- | Inf
1637.72/1637.75 c 1638s| 5350k|622238 | 11049k| 2.1 | 575M| 36 | - | 40 | 10k| 40 | 17 | 22 |3412k|9319 | 0.000000e+00 | -- | Inf
1641.42/1641.46 c 1641s| 5360k|622690 | 11069k| 2.1 | 576M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3419k|9325 | 0.000000e+00 | -- | Inf
1644.22/1644.29 c 1644s| 5370k|623818 | 11089k| 2.1 | 577M| 36 | - | 40 | 11k| 40 | 17 | 22 |3425k|9332 | 0.000000e+00 | -- | Inf
1647.22/1647.29 c 1647s| 5380k|624680 | 11110k| 2.1 | 579M| 36 | - | 40 | 13k| 0 | 0 | 22 |3432k|9337 | 0.000000e+00 | -- | Inf
1650.32/1650.30 c 1650s| 5390k|625782 | 11131k| 2.1 | 581M| 36 | - | 40 | 15k| 40 | 17 | 22 |3439k|9343 | 0.000000e+00 | -- | Inf
1654.91/1654.98 c 1655s| 5400k|626058 | 11151k| 2.1 | 580M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3446k|9354 | 0.000000e+00 | -- | Inf
1658.62/1658.61 c 1659s| 5410k|626865 | 11172k| 2.1 | 581M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3452k|9358 | 0.000000e+00 | -- | Inf
1661.81/1661.80 c 1662s| 5420k|627774 | 11192k| 2.1 | 582M| 36 | - | 40 | 13k| 40 | 17 | 22 |3459k|9364 | 0.000000e+00 | -- | Inf
1665.92/1665.93 c 1666s| 5430k|628114 | 11212k| 2.1 | 582M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3466k|9369 | 0.000000e+00 | -- | Inf
1669.02/1669.01 c 1669s| 5440k|628896 | 11233k| 2.1 | 583M| 36 | - | 40 | 11k| 40 | 17 | 22 |3473k|9376 | 0.000000e+00 | -- | Inf
1672.42/1672.41 c 1672s| 5450k|629681 | 11253k| 2.1 | 584M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3479k|9380 | 0.000000e+00 | -- | Inf
1676.32/1676.38 c 1676s| 5460k|630208 | 11274k| 2.1 | 584M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3486k|9387 | 0.000000e+00 | -- | Inf
1679.92/1679.95 c 1680s| 5470k|630805 | 11295k| 2.1 | 585M| 36 | - | 40 | 10k| 0 | 0 | 22 |3493k|9396 | 0.000000e+00 | -- | Inf
1683.31/1683.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.31/1683.31 c 1683s| 5480k|631545 | 11315k| 2.1 | 586M| 36 | - | 40 | 10k| 40 | 17 | 22 |3500k|9403 | 0.000000e+00 | -- | Inf
1686.62/1686.63 c 1687s| 5490k|632199 | 11336k| 2.1 | 587M| 36 | - | 40 | 12k| 40 | 17 | 22 |3506k|9405 | 0.000000e+00 | -- | Inf
1690.81/1690.85 c 1691s| 5500k|632537 | 11357k| 2.1 | 587M| 36 | 5 | 40 |9625 | 40 | 17 | 22 |3513k|9414 | 0.000000e+00 | -- | Inf
1694.12/1694.18 c 1694s| 5510k|633129 | 11377k| 2.1 | 588M| 36 | - | 40 | 10k| 0 | 0 | 22 |3520k|9426 | 0.000000e+00 | -- | Inf
1697.82/1697.85 c 1698s| 5520k|633607 | 11398k| 2.1 | 589M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3527k|9430 | 0.000000e+00 | -- | Inf
1701.21/1701.22 c 1701s| 5530k|634245 | 11419k| 2.1 | 590M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3534k|9436 | 0.000000e+00 | -- | Inf
1704.72/1704.79 c 1705s| 5540k|634883 | 11439k| 2.1 | 591M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3541k|9438 | 0.000000e+00 | -- | Inf
1708.62/1708.64 c 1709s| 5550k|635529 | 11460k| 2.1 | 592M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3548k|9450 | 0.000000e+00 | -- | Inf
1711.92/1711.98 c 1712s| 5560k|636240 | 11481k| 2.1 | 593M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3554k|9455 | 0.000000e+00 | -- | Inf
1715.62/1715.64 c 1716s| 5570k|636920 | 11501k| 2.1 | 593M| 36 | - | 40 | 11k| 0 | 0 | 22 |3561k|9460 | 0.000000e+00 | -- | Inf
1719.62/1719.67 c 1720s| 5580k|637244 | 11522k| 2.1 | 593M| 36 | - | 40 |9793 | 40 | 17 | 22 |3568k|9468 | 0.000000e+00 | -- | Inf
1723.22/1723.23 c 1723s| 5590k|637828 | 11543k| 2.1 | 594M| 36 | - | 40 | 10k| 40 | 17 | 22 |3575k|9479 | 0.000000e+00 | -- | Inf
1726.52/1726.52 c 1727s| 5600k|638542 | 11564k| 2.1 | 595M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3582k|9484 | 0.000000e+00 | -- | Inf
1729.52/1729.57 c 1730s| 5610k|639556 | 11584k| 2.1 | 597M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3588k|9492 | 0.000000e+00 | -- | Inf
1733.22/1733.27 c 1733s| 5620k|640103 | 11604k| 2.1 | 597M| 36 | - | 40 | 10k| 0 | 0 | 22 |3595k|9502 | 0.000000e+00 | -- | Inf
1736.82/1736.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1736.82/1736.82 c 1737s| 5630k|640540 | 11625k| 2.1 | 598M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3602k|9512 | 0.000000e+00 | -- | Inf
1740.51/1740.51 c 1741s| 5640k|640987 | 11646k| 2.1 | 598M| 36 | - | 40 | 10k| 0 | 0 | 22 |3609k|9513 | 0.000000e+00 | -- | Inf
1744.22/1744.23 c 1744s| 5650k|641363 | 11666k| 2.1 | 599M| 36 | - | 40 | 10k| 0 | 0 | 22 |3616k|9520 | 0.000000e+00 | -- | Inf
1748.02/1748.01 c 1748s| 5660k|641773 | 11687k| 2.1 | 599M| 36 | - | 40 |9623 | 40 | 17 | 22 |3623k|9524 | 0.000000e+00 | -- | Inf
1751.42/1751.48 c 1751s| 5670k|642310 | 11707k| 2.1 | 600M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3630k|9528 | 0.000000e+00 | -- | Inf
1755.02/1755.04 c 1755s| 5680k|642992 | 11728k| 2.1 | 601M| 36 | - | 40 | 10k| 40 | 17 | 22 |3637k|9542 | 0.000000e+00 | -- | Inf
1758.41/1758.48 c 1758s| 5690k|643687 | 11749k| 2.1 | 602M| 36 | 5 | 40 | 11k| 40 | 17 | 22 |3643k|9549 | 0.000000e+00 | -- | Inf
1762.42/1762.48 c 1762s| 5700k|644020 | 11769k| 2.1 | 603M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3650k|9570 | 0.000000e+00 | -- | Inf
1766.22/1766.22 c 1766s| 5710k|644483 | 11790k| 2.1 | 603M| 36 | - | 40 |9779 | 40 | 17 | 22 |3657k|9570 | 0.000000e+00 | -- | Inf
1769.52/1769.52 c 1770s| 5720k|645076 | 11810k| 2.1 | 604M| 36 | - | 40 | 10k| 40 | 17 | 22 |3664k|9571 | 0.000000e+00 | -- | Inf
1772.72/1772.70 c 1773s| 5730k|646246 | 11831k| 2.1 | 605M| 36 | - | 40 | 11k| 0 | 0 | 22 |3671k|9575 | 0.000000e+00 | -- | Inf
1775.62/1775.68 c 1776s| 5740k|647335 | 11853k| 2.1 | 607M| 36 | 5 | 40 | 12k| 40 | 17 | 22 |3678k|9581 | 0.000000e+00 | -- | Inf
1779.22/1779.27 c 1779s| 5750k|647741 | 11875k| 2.1 | 608M| 36 | - | 40 | 13k| 40 | 17 | 22 |3685k|9589 | 0.000000e+00 | -- | Inf
1783.22/1783.25 c 1783s| 5760k|648335 | 11895k| 2.1 | 608M| 36 | 5 | 40 | 13k| 40 | 17 | 22 |3692k|9599 | 0.000000e+00 | -- | Inf
1787.72/1787.70 c 1788s| 5770k|648676 | 11916k| 2.1 | 608M| 36 | - | 40 | 10k| 40 | 17 | 22 |3699k|9606 | 0.000000e+00 | -- | Inf
1791.32/1791.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1791.32/1791.39 c 1791s| 5780k|649201 | 11936k| 2.1 | 609M| 36 | 5 | 40 | 10k| 40 | 17 | 22 |3706k|9613 | 0.000000e+00 | -- | Inf
1794.82/1794.80 c 1795s| 5790k|649863 | 11957k| 2.1 | 610M| 36 | - | 40 | 10k| 40 | 17 | 22 |3713k|9620 | 0.000000e+00 | -- | Inf
1797.02/1797.00 c
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Solving Time (sec) : 1797.00
1797.02/1797.00 c Solving Nodes : 5795481
1797.02/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.02/1797.00 c Dual Bound : +0.00000000000000e+00
1797.02/1797.00 c Gap : infinite
1797.02/1797.00 s UNKNOWN
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Total Time : 1797.00
1797.02/1797.00 c solving : 1797.00
1797.02/1797.00 c presolving : 0.00 (included in solving)
1797.02/1797.00 c reading : 0.00 (included in solving)
1797.02/1797.00 c Original Problem :
1797.02/1797.00 c Problem name : HOME/instance-3488789-1307773987.opb
1797.02/1797.00 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 11 initial, 11 maximal
1797.02/1797.00 c Presolved Problem :
1797.02/1797.00 c Problem name : t_HOME/instance-3488789-1307773987.opb
1797.02/1797.00 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 5 initial, 24450 maximal
1797.02/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1797.02/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c linear : 0.00 0 0 0 0 0 6 0 0 0
1797.02/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c root node : - 0 - - 0 - - - - -
1797.02/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c integral : 0 0 0 3354732 0 4 0 1223 4317 0 0 6699200
1797.02/1797.00 c linear : 5+ 7 14038018 0 0 3 6203604 625888 7369173 0 0 0
1797.02/1797.00 c logicor : 0+ 6 6646738 0 0 0 4775118 21371 2469212 0 0 0
1797.02/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.00 c integral : 18.76 0.00 0.00 18.76 0.00 0.00 0.00
1797.02/1797.00 c linear : 108.30 0.00 96.41 0.00 0.00 0.00 11.89
1797.02/1797.00 c logicor : 555.24 0.00 549.70 0.00 0.00 0.00 5.54
1797.02/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.00 c vbounds : 0 0 0 0
1797.02/1797.00 c rootredcost : 0 0 0 0
1797.02/1797.00 c pseudoobj : 0 0 0 0
1797.02/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.00 c vbounds : 2.11 2.11 0.00
1797.02/1797.00 c rootredcost : 2.14 2.14 0.00
1797.02/1797.00 c pseudoobj : 1.51 1.51 0.00
1797.02/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.00 c propagation : 18.07 647259 492603 1395366 28.5 134 24.3 -
1797.02/1797.00 c infeasible LP : 47.45 2039116 2038985 3712082 19.6 33913 24.6 0
1797.02/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.00 c applied globally : - - - 3690018 19.5 - - -
1797.02/1797.00 c applied locally : - - - 27192 31.5 - - -
1797.02/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.00 c cut pool : 0.00 5 - - 20 - (maximal pool size: 87)
1797.02/1797.00 c redcost : 3.35 3354732 0 0 0 0
1797.02/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.02/1797.00 c intobj : 0.00 0 0 0 0 0
1797.02/1797.00 c gomory : 0.00 6 0 0 0 0
1797.02/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.00 c strongcg : 0.00 6 0 0 18 0
1797.02/1797.00 c cmir : 0.01 6 0 0 44 0
1797.02/1797.00 c flowcover : 0.01 6 0 0 55 0
1797.02/1797.00 c clique : 0.00 1 0 0 0 0
1797.02/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.00 c mcf : 0.00 1 0 0 0 0
1797.02/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.00 c rapidlearning : 0.01 1 0 0 0 14
1797.02/1797.00 c Pricers : Time Calls Vars
1797.02/1797.00 c problem variables: 0.00 0 0
1797.02/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c relpscost : 17.01 3354732 1223 4317 0 0 6699200
1797.02/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.02/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c random : 0.00 0 0 0 0 0 0
1797.02/1797.00 c Primal Heuristics : Time Calls Found
1797.02/1797.00 c LP solutions : 0.00 - 0
1797.02/1797.00 c pseudo solutions : 0.00 - 0
1797.02/1797.00 c oneopt : 1.46 0 0
1797.02/1797.00 c crossover : 1.03 0 0
1797.02/1797.00 c guideddiving : 0.17 0 0
1797.02/1797.00 c feaspump : 0.15 74 0
1797.02/1797.00 c linesearchdiving : 0.17 149 0
1797.02/1797.00 c pscostdiving : 0.17 149 0
1797.02/1797.00 c coefdiving : 0.16 149 0
1797.02/1797.00 c veclendiving : 0.16 149 0
1797.02/1797.00 c fracdiving : 0.16 149 0
1797.02/1797.00 c rootsoldiving : 0.16 75 0
1797.02/1797.00 c objpscostdiving : 0.13 75 0
1797.02/1797.00 c trivial : 0.00 2 0
1797.02/1797.00 c shiftandpropagate: 0.00 1 0
1797.02/1797.00 c simplerounding : 0.57 0 0
1797.02/1797.00 c zirounding : 7.58 0 0
1797.02/1797.00 c rounding : 1.24 25956 0
1797.02/1797.00 c shifting : 1.67 7076 0
1797.02/1797.00 c intshifting : 0.07 0 0
1797.02/1797.00 c twoopt : 0.00 0 0
1797.02/1797.00 c fixandinfer : 0.00 0 0
1797.02/1797.00 c clique : 0.00 0 0
1797.02/1797.00 c intdiving : 0.00 0 0
1797.02/1797.00 c actconsdiving : 0.00 0 0
1797.02/1797.00 c octane : 0.00 0 0
1797.02/1797.00 c rens : 0.01 1 0
1797.02/1797.00 c rins : 0.00 0 0
1797.02/1797.00 c localbranching : 0.00 0 0
1797.02/1797.00 c mutation : 0.00 0 0
1797.02/1797.00 c dins : 0.00 0 0
1797.02/1797.00 c vbounds : 0.00 0 0
1797.02/1797.00 c undercover : 0.00 0 0
1797.02/1797.00 c subnlp : 0.81 0 0
1797.02/1797.00 c trysol : 1.06 0 0
1797.02/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.02/1797.00 c dual LP : 232.73 5205864 11965144 2.30 51411.70
1797.02/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.00 c diving/probing LP: 0.12 2226 3638 1.63 31597.14
1797.02/1797.00 c strong branching : 0.78 9624 37909 3.94 48719.46
1797.02/1797.00 c (at root node) : - 9 311 34.56 -
1797.02/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.00 c B&B Tree :
1797.02/1797.00 c number of runs : 1
1797.02/1797.00 c nodes : 5795481
1797.02/1797.00 c nodes (total) : 5795481
1797.02/1797.00 c nodes left : 650087
1797.02/1797.00 c max depth : 36
1797.02/1797.00 c max depth (total): 36
1797.02/1797.00 c backtracks : 1184737 (20.4%)
1797.02/1797.00 c delayed cutoffs : 253633
1797.02/1797.00 c repropagations : 4402038 (4507122 domain reductions, 239899 cutoffs)
1797.02/1797.00 c avg switch length: 5.47
1797.02/1797.00 c switching time : 518.52
1797.02/1797.00 c Solution :
1797.02/1797.00 c Solutions found : 0 (0 improvements)
1797.02/1797.00 c Primal Bound : -
1797.02/1797.00 c Dual Bound : +0.00000000000000e+00
1797.02/1797.00 c Gap : infinite
1797.02/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.02/1797.00 c Root Iterations : 130
1799.12/1799.14 c Time complete: 1799.16.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488789-1307773987/watcher-3488789-1307773987 -o /tmp/evaluation-result-3488789-1307773987/solver-3488789-1307773987 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488789-1307773987.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 1.95 2/177 12578
/proc/meminfo: memFree=31232508/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=12560 CPUtime=0 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 2124 0 0 0 0 0 0 0 24 0 1 0 888997235 12861440 2079 33554432000 4194304 9016284 140735744295632 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12578/statm: 3140 2086 360 1178 0 1958 0
[startup+0.0743449 s]
/proc/loadavg: 2.02 2.01 1.95 2/177 12578
/proc/meminfo: memFree=31232508/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=26168 CPUtime=0.06 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 7253 0 0 0 5 1 0 0 18 0 1 0 888997235 26796032 5503 33554432000 4194304 9016284 140735744295632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 6542 5503 681 1178 0 5360 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26168
[startup+0.100349 s]
/proc/loadavg: 2.02 2.01 1.95 2/177 12578
/proc/meminfo: memFree=31232508/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=26168 CPUtime=0.09 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 7256 0 0 0 7 2 0 0 18 0 1 0 888997235 26796032 5506 33554432000 4194304 9016284 140735744295632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 6542 5506 684 1178 0 5360 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26168
[startup+0.300304 s]
/proc/loadavg: 2.02 2.01 1.95 2/177 12578
/proc/meminfo: memFree=31232508/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=26168 CPUtime=0.29 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 7257 0 0 0 24 5 0 0 18 0 1 0 888997235 26796032 5507 33554432000 4194304 9016284 140735744295632 18446744073709551615 6441195 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 6542 5507 684 1178 0 5360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26168
[startup+0.700247 s]
/proc/loadavg: 2.02 2.01 1.95 2/177 12578
/proc/meminfo: memFree=31232508/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=26168 CPUtime=0.69 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 7264 0 0 0 59 10 0 0 18 0 1 0 888997235 26796032 5514 33554432000 4194304 9016284 140735744295632 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 6542 5514 684 1178 0 5360 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26168
[startup+1.50011 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 12579
/proc/meminfo: memFree=31212692/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=26168 CPUtime=1.49 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 7269 0 0 0 130 19 0 0 19 0 1 0 888997235 26796032 5519 33554432000 4194304 9016284 140735744295632 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 6542 5519 684 1178 0 5360 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26168
[startup+3.10084 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 12579
/proc/meminfo: memFree=31212320/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=26168 CPUtime=3.09 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 7285 0 0 0 269 40 0 0 25 0 1 0 888997235 26796032 5535 33554432000 4194304 9016284 140735744295632 18446744073709551615 5252208 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 6542 5535 684 1178 0 5360 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26168
[startup+6.30031 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 12579
/proc/meminfo: memFree=31209096/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=30492 CPUtime=6.29 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 8280 0 0 0 555 74 0 0 25 0 1 0 888997235 31223808 6530 33554432000 4194304 9016284 140735744295632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 7623 6530 684 1178 0 6441 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30492
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 12579
/proc/meminfo: memFree=31199780/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=38792 CPUtime=12.69 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 10417 0 0 0 1123 146 0 0 25 0 1 0 888997235 39723008 8667 33554432000 4194304 9016284 140735744295632 18446744073709551615 4653864 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 9698 8667 684 1178 0 8516 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38792
[startup+25.5011 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 12580
/proc/meminfo: memFree=31183004/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=51752 CPUtime=25.49 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 13689 0 0 0 2277 272 0 0 25 0 1 0 888997235 52994048 11939 33554432000 4194304 9016284 140735744295632 18446744073709551615 5220556 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 12938 11939 684 1178 0 11756 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51752
[startup+51.1008 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 12581
/proc/meminfo: memFree=31149820/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=79408 CPUtime=51.09 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 20139 0 0 0 4617 492 0 0 25 0 1 0 888997235 81313792 18389 33554432000 4194304 9016284 140735744295632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 19852 18389 684 1178 0 18670 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 79408
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12582
/proc/meminfo: memFree=31099944/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=114932 CPUtime=102.3 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 29148 0 0 0 9355 875 0 0 25 0 1 0 888997235 117690368 27398 33554432000 4194304 9016284 140735744295632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 28733 27398 684 1178 0 27551 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 114932
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12583
/proc/meminfo: memFree=31054760/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=149816 CPUtime=162.3 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 37932 0 0 0 14937 1293 0 0 25 0 1 0 888997235 153411584 36182 33554432000 4194304 9016284 140735744295632 18446744073709551615 4653828 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 37454 36182 684 1178 0 36272 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 149816
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12585
/proc/meminfo: memFree=31000132/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=181456 CPUtime=222.29 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 44947 0 0 0 20564 1665 0 0 25 0 1 0 888997235 185810944 43197 33554432000 4194304 9016284 140735744295632 18446744073709551615 4687727 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 45364 43197 684 1178 0 44182 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 181456
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12587
/proc/meminfo: memFree=30953064/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=211672 CPUtime=282.29 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 52489 0 0 0 26199 2030 0 0 25 0 1 0 888997235 216752128 50739 33554432000 4194304 9016284 140735744295632 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 52918 50739 684 1178 0 51736 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 211672
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12588
/proc/meminfo: memFree=30920500/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=233160 CPUtime=342.3 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 57945 0 0 0 31851 2379 0 0 25 0 1 0 888997235 238755840 56195 33554432000 4194304 9016284 140735744295632 18446744073709551615 6469104 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 58290 56195 684 1178 0 57108 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 233160
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12590
/proc/meminfo: memFree=30886304/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=261904 CPUtime=402.3 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 65214 0 0 0 37478 2752 0 0 25 0 1 0 888997235 268189696 63464 33554432000 4194304 9016284 140735744295632 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 65476 63464 684 1178 0 64294 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 261904
[startup+462.301 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 12591
/proc/meminfo: memFree=30857844/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=281944 CPUtime=462.3 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 70297 0 0 0 43137 3093 0 0 25 0 1 0 888997235 288710656 68547 33554432000 4194304 9016284 140735744295632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 70486 68547 684 1178 0 69304 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 281944
[startup+522.301 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 12669
/proc/meminfo: memFree=31117188/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=303720 CPUtime=522.3 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 75805 0 0 0 48800 3430 0 0 25 0 1 0 888997235 311009280 74055 33554432000 4194304 9016284 140735744295632 18446744073709551615 4294018 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 75930 74055 684 1178 0 74748 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 303720
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12671
/proc/meminfo: memFree=31097020/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=323180 CPUtime=582.3 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 80803 0 0 0 54560 3670 0 0 25 0 1 0 888997235 330936320 79053 33554432000 4194304 9016284 140735744295632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 80795 79053 684 1178 0 79613 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 323180
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30908584/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=482408 CPUtime=1062.3 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 118847 0 0 0 100883 5347 0 0 25 0 1 0 888997235 493985792 117097 33554432000 4194304 9016284 140735744295632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 120602 117097 684 1178 0 119420 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 482408
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12685
/proc/meminfo: memFree=30886068/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=499628 CPUtime=1122.31 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 123306 0 0 0 106675 5556 0 0 25 0 1 0 888997235 511619072 121556 33554432000 4194304 9016284 140735744295632 18446744073709551615 6469440 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 124907 121556 684 1178 0 123725 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 499628
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12687
/proc/meminfo: memFree=30867292/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=513588 CPUtime=1182.31 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 126830 0 0 0 112485 5746 0 0 25 0 1 0 888997235 525914112 125080 33554432000 4194304 9016284 140735744295632 18446744073709551615 4347616 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 128397 125080 684 1178 0 127215 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 513588
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12688
/proc/meminfo: memFree=30850748/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=527220 CPUtime=1242.31 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 130327 0 0 0 118285 5946 0 0 25 0 1 0 888997235 539873280 128577 33554432000 4194304 9016284 140735744295632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 131805 128577 684 1178 0 130623 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 527220
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12690
/proc/meminfo: memFree=30825752/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=543764 CPUtime=1302.31 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 134534 0 0 0 124078 6153 0 0 25 0 1 0 888997235 556814336 132784 33554432000 4194304 9016284 140735744295632 18446744073709551615 4347574 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 135941 132784 684 1178 0 134759 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 543764
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12691
/proc/meminfo: memFree=30801004/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=561228 CPUtime=1362.31 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 138801 0 0 0 129869 6362 0 0 25 0 1 0 888997235 574697472 137051 33554432000 4194304 9016284 140735744295632 18446744073709551615 4321584 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 140307 137051 684 1178 0 139125 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 561228
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12693
/proc/meminfo: memFree=30780856/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=575476 CPUtime=1422.32 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 142494 0 0 0 135670 6562 0 0 25 0 1 0 888997235 589287424 140744 33554432000 4194304 9016284 140735744295632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 143869 140744 684 1178 0 142687 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 575476
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12695
/proc/meminfo: memFree=30758964/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=587128 CPUtime=1482.31 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 145515 0 0 0 141490 6741 0 0 25 0 1 0 888997235 601219072 143765 33554432000 4194304 9016284 140735744295632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 146782 143765 684 1178 0 145600 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 587128
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12696
/proc/meminfo: memFree=30737332/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=599160 CPUtime=1542.31 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 148558 0 0 0 147297 6934 0 0 25 0 1 0 888997235 613539840 146808 33554432000 4194304 9016284 140735744295632 18446744073709551615 6469160 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 149790 146808 684 1178 0 148608 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 599160
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 1.97 3/178 12698
/proc/meminfo: memFree=30707744/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=612156 CPUtime=1602.32 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 151880 0 0 0 153090 7142 0 0 25 0 1 0 888997235 626847744 150130 33554432000 4194304 9016284 140735744295632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 153039 150130 684 1178 0 151857 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 612156
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 12699
/proc/meminfo: memFree=30684860/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=626088 CPUtime=1662.32 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 155475 0 0 0 158886 7346 0 0 25 0 1 0 888997235 641114112 153725 33554432000 4194304 9016284 140735744295632 18446744073709551615 4321440 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 156522 153725 684 1178 0 155340 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 626088
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 12710
/proc/meminfo: memFree=30666676/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=639116 CPUtime=1722.31 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 158534 0 0 0 164686 7545 0 0 25 0 1 0 888997235 654454784 156784 33554432000 4194304 9016284 140735744295632 18446744073709551615 5327339 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 159779 156784 684 1178 0 158597 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 639116
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 12712
/proc/meminfo: memFree=30646876/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=653072 CPUtime=1782.32 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 162097 0 0 0 170483 7749 0 0 25 0 1 0 888997235 668745728 160347 33554432000 4194304 9016284 140735744295632 18446744073709551615 6469440 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 163268 160347 684 1178 0 162086 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 653072
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 12712
/proc/meminfo: memFree=30643892/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=655056 CPUtime=1791.93 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 162600 0 0 0 171412 7781 0 0 25 0 1 0 888997235 670777344 160850 33554432000 4194304 9016284 140735744295632 18446744073709551615 5315516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 163764 160850 684 1178 0 162582 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 655056
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 12712
/proc/meminfo: memFree=30642268/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=655632 CPUtime=1795.12 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 162745 0 0 0 171717 7795 0 0 25 0 1 0 888997235 671367168 160995 33554432000 4194304 9016284 140735744295632 18446744073709551615 4347574 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 163908 160995 684 1178 0 162726 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 655632
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 12712
/proc/meminfo: memFree=30642268/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=655632 CPUtime=1796.72 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 162745 0 0 0 171872 7800 0 0 25 0 1 0 888997235 671367168 160995 33554432000 4194304 9016284 140735744295632 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12578/statm: 163908 160995 684 1178 0 162726 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 655632
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 12712
/proc/meminfo: memFree=30642268/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=655632 CPUtime=1798.32 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 162746 0 0 0 172031 7801 0 0 25 0 1 0 888997235 671367168 160996 33554432000 4194304 9016284 140735744295632 18446744073709551615 6817506 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12578/statm: 163908 160996 685 1178 0 162726 0
Current children cumulated CPU time (s) 1798.32
Current children cumulated vsize (KiB) 655632
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 12712
/proc/meminfo: memFree=30642268/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=655632 CPUtime=1799.12 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) R 12576 12578 8152 0 -1 4202496 162746 0 0 0 172111 7801 0 0 25 0 1 0 888997235 671367168 160996 33554432000 4194304 9016284 140735744295632 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12578/statm: 163908 160996 685 1178 0 162726 0
Current children cumulated CPU time (s) 1799.12
Current children cumulated vsize (KiB) 655632
[startup+1799.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 12712
/proc/meminfo: memFree=30642268/32951124 swapFree=67054524/67111528
[pid=12578] ppid=12576 vsize=0 CPUtime=1799.16 cores=1,3,5,7
/proc/12578/stat : 12578 (scip-2.0.1.4b_2) S 12576 12578 8152 0 -1 4202500 162751 0 0 0 172112 7804 0 0 25 0 1 0 888997235 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/12578/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.16
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1799.35
CPU time (s): 1799.17
CPU user time (s): 1721.13
CPU system time (s): 78.0431
CPU usage (%): 99.9903
Max. virtual memory (cumulated for all children) (KiB): 655632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1721.13
system time used= 78.0431
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 1983
runsolver used 2.6416 second user time and 5.87911 second system time
The end