0.00/0.01 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3452521-1307095235.opb>
0.00/0.01 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.01 c 5 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.4
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 29 | - | 252k| 0 | 5 | 40 | 14 | 40 | 5 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 89 | - | 292k| 0 | 9 | 40 | 27 | 40 | 9 | 4 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 94 | - | 314k| 0 | 12 | 40 | 27 | 40 | 12 | 7 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 103 | - | 340k| 0 | 14 | 40 | 27 | 40 | 16 | 11 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 113 | - | 353k| 0 | 13 | 40 | 27 | 40 | 19 | 14 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 118 | - | 378k| 0 | 12 | 40 | 27 | 40 | 22 | 17 | 9 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 124 | - | 407k| 0 | 16 | 40 | 27 | 40 | 26 | 21 | 9 | 0 | 0.000000e+00 | -- | Inf
0.03/0.07 c 0.1s| 1 | 2 | 124 | - | 407k| 0 | 16 | 40 | 27 | 40 | 26 | 21 | 9 | 12 | 0.000000e+00 | -- | Inf
1.69/1.79 c 1.8s| 10000 | 2545 | 19770 | 2.0 |3706k| 35 | 5 | 40 |3738 | 40 | 16 | 21 |5698 | 450 | 0.000000e+00 | -- | Inf
3.49/3.52 c 3.5s| 20000 | 4893 | 39829 | 2.0 |5070k| 35 | - | 40 |2909 | 40 | 16 | 21 | 11k| 627 | 0.000000e+00 | -- | Inf
5.09/5.16 c 5.2s| 30000 | 7233 | 60069 | 2.0 |6821k| 35 | 5 | 40 |3515 | 40 | 16 | 21 | 17k| 764 | 0.000000e+00 | -- | Inf
6.89/6.92 c 6.9s| 40000 | 9301 | 79814 | 2.0 |8342k| 35 | - | 40 |3492 | 40 | 16 | 21 | 23k| 868 | 0.000000e+00 | -- | Inf
8.59/8.69 c 8.7s| 50000 | 11170 | 99619 | 2.0 |9933k| 35 | 5 | 40 |3992 | 40 | 16 | 21 | 29k| 979 | 0.000000e+00 | -- | Inf
10.49/10.51 c 10.5s| 60000 | 13254 |119719 | 2.0 | 11M| 35 | 5 | 40 |4296 | 40 | 16 | 21 | 35k|1073 | 0.000000e+00 | -- | Inf
12.28/12.34 c 12.3s| 70000 | 15200 |139689 | 2.0 | 13M| 35 | 5 | 40 |4483 | 40 | 16 | 21 | 41k|1153 | 0.000000e+00 | -- | Inf
14.20/14.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.20/14.26 c 14.3s| 80000 | 16993 |159799 | 2.0 | 14M| 35 | 5 | 40 |4184 | 40 | 16 | 21 | 47k|1242 | 0.000000e+00 | -- | Inf
15.99/16.06 c 16.1s| 90000 | 18935 |179391 | 2.0 | 16M| 35 | 5 | 40 |4746 | 40 | 16 | 21 | 53k|1305 | 0.000000e+00 | -- | Inf
17.99/18.00 c 18.0s|100000 | 20648 |199354 | 2.0 | 17M| 35 | - | 40 |5435 | 40 | 16 | 21 | 60k|1376 | 0.000000e+00 | -- | Inf
19.88/19.96 c 20.0s|110000 | 22416 |219329 | 2.0 | 18M| 35 | - | 40 |4895 | 40 | 16 | 21 | 66k|1454 | 0.000000e+00 | -- | Inf
21.79/21.88 c 21.9s|120000 | 24327 |239146 | 2.0 | 20M| 35 | 5 | 40 |5041 | 40 | 16 | 21 | 72k|1503 | 0.000000e+00 | -- | Inf
23.89/23.92 c 23.9s|130000 | 25855 |259024 | 2.0 | 21M| 35 | 5 | 40 |4603 | 40 | 16 | 21 | 78k|1554 | 0.000000e+00 | -- | Inf
25.69/25.76 c 25.8s|140000 | 28060 |279581 | 2.0 | 23M| 35 | 5 | 40 |5489 | 40 | 16 | 21 | 84k|1608 | 0.000000e+00 | -- | Inf
27.59/27.62 c 27.6s|150000 | 30303 |300872 | 2.0 | 25M| 35 | - | 40 |6280 | 40 | 16 | 21 | 90k|1658 | 0.000000e+00 | -- | Inf
29.70/29.71 c 29.7s|160000 | 31917 |320858 | 2.0 | 26M| 35 | 5 | 40 |5278 | 40 | 16 | 21 | 96k|1704 | 0.000000e+00 | -- | Inf
31.69/31.71 c 31.7s|170000 | 33655 |341030 | 2.0 | 27M| 35 | - | 40 |5122 | 40 | 16 | 21 | 102k|1759 | 0.000000e+00 | -- | Inf
33.68/33.76 c 33.8s|180000 | 35414 |361106 | 2.0 | 28M| 35 | 5 | 40 |5424 | 40 | 16 | 21 | 108k|1814 | 0.000000e+00 | -- | Inf
35.79/35.83 c 35.8s|190000 | 37049 |381580 | 2.0 | 30M| 35 | - | 40 |5226 | 40 | 16 | 21 | 115k|1863 | 0.000000e+00 | -- | Inf
37.79/37.80 c 37.8s|200000 | 38796 |401806 | 2.0 | 31M| 35 | 5 | 40 |5721 | 40 | 16 | 21 | 121k|1921 | 0.000000e+00 | -- | Inf
39.99/40.02 c 40.0s|210000 | 40138 |421843 | 2.0 | 32M| 35 | 5 | 40 |4099 | 40 | 16 | 21 | 127k|1961 | 0.000000e+00 | -- | Inf
41.89/41.99 c 42.0s|220000 | 41746 |441958 | 2.0 | 33M| 35 | - | 40 |4555 | 40 | 16 | 21 | 133k|2001 | 0.000000e+00 | -- | Inf
44.00/44.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.00/44.05 c 44.1s|230000 | 43145 |462009 | 2.0 | 35M| 35 | 5 | 40 |5069 | 40 | 16 | 21 | 140k|2050 | 0.000000e+00 | -- | Inf
46.10/46.11 c 46.1s|240000 | 44577 |481852 | 2.0 | 36M| 35 | 5 | 40 |4991 | 40 | 16 | 21 | 146k|2094 | 0.000000e+00 | -- | Inf
48.19/48.22 c 48.2s|250000 | 45929 |501968 | 2.0 | 37M| 35 | 5 | 40 |4520 | 40 | 16 | 21 | 153k|2145 | 0.000000e+00 | -- | Inf
50.19/50.22 c 50.2s|260000 | 47626 |522299 | 2.0 | 39M| 35 | 5 | 40 |5327 | 40 | 16 | 21 | 159k|2183 | 0.000000e+00 | -- | Inf
52.29/52.35 c 52.4s|270000 | 49033 |542889 | 2.0 | 40M| 35 | 5 | 40 |6215 | 40 | 16 | 21 | 166k|2221 | 0.000000e+00 | -- | Inf
54.59/54.61 c 54.6s|280000 | 50300 |563493 | 2.0 | 41M| 35 | 5 | 40 |5268 | 40 | 16 | 21 | 172k|2256 | 0.000000e+00 | -- | Inf
56.68/56.75 c 56.7s|290000 | 51704 |583817 | 2.0 | 42M| 35 | - | 40 |5315 | 40 | 16 | 21 | 179k|2285 | 0.000000e+00 | -- | Inf
58.79/58.86 c 58.9s|300000 | 53032 |604459 | 2.0 | 44M| 35 | - | 40 |5579 | 40 | 16 | 21 | 185k|2320 | 0.000000e+00 | -- | Inf
60.89/60.91 c 60.9s|310000 | 54535 |624598 | 2.0 | 45M| 35 | 5 | 40 |7212 | 40 | 16 | 21 | 192k|2351 | 0.000000e+00 | -- | Inf
63.09/63.10 c 63.1s|320000 | 56380 |646073 | 2.0 | 47M| 35 | 5 | 40 |8701 | 40 | 16 | 21 | 198k|2400 | 0.000000e+00 | -- | Inf
65.59/65.60 c 65.6s|330000 | 57491 |666491 | 2.0 | 48M| 35 | 5 | 40 |5551 | 40 | 16 | 21 | 205k|2440 | 0.000000e+00 | -- | Inf
67.69/67.75 c 67.7s|340000 | 58960 |686860 | 2.0 | 49M| 35 | 5 | 40 |6343 | 40 | 16 | 21 | 211k|2472 | 0.000000e+00 | -- | Inf
70.09/70.11 c 70.1s|350000 | 60119 |706892 | 2.0 | 50M| 35 | 5 | 40 |5232 | 40 | 16 | 21 | 218k|2513 | 0.000000e+00 | -- | Inf
72.09/72.12 c 72.1s|360000 | 61697 |727568 | 2.0 | 52M| 35 | 5 | 40 |6985 | 40 | 16 | 21 | 224k|2545 | 0.000000e+00 | -- | Inf
74.39/74.49 c 74.5s|370000 | 62954 |748137 | 2.0 | 53M| 35 | 5 | 40 |6341 | 40 | 16 | 21 | 231k|2566 | 0.000000e+00 | -- | Inf
76.79/76.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.79/76.83 c 76.8s|380000 | 64273 |768332 | 2.0 | 54M| 35 | - | 40 |6158 | 40 | 16 | 21 | 237k|2590 | 0.000000e+00 | -- | Inf
78.99/79.06 c 79.1s|390000 | 65602 |788673 | 2.0 | 55M| 35 | 5 | 40 |6349 | 40 | 16 | 21 | 244k|2622 | 0.000000e+00 | -- | Inf
81.30/81.39 c 81.4s|400000 | 66644 |809504 | 2.0 | 56M| 35 | - | 40 |6400 | 40 | 16 | 21 | 251k|2645 | 0.000000e+00 | -- | Inf
83.60/83.68 c 83.7s|410000 | 67822 |829911 | 2.0 | 57M| 35 | 5 | 40 |6435 | 40 | 16 | 21 | 257k|2676 | 0.000000e+00 | -- | Inf
85.99/86.00 c 86.0s|420000 | 69011 |850257 | 2.0 | 58M| 35 | - | 40 |5413 | 40 | 16 | 21 | 264k|2703 | 0.000000e+00 | -- | Inf
88.09/88.13 c 88.1s|430000 | 70545 |871093 | 2.0 | 60M| 35 | 5 | 40 |7584 | 40 | 16 | 21 | 271k|2734 | 0.000000e+00 | -- | Inf
90.69/90.73 c 90.7s|440000 | 71454 |891585 | 2.0 | 61M| 35 | - | 40 |5946 | 40 | 16 | 21 | 278k|2764 | 0.000000e+00 | -- | Inf
92.99/93.04 c 93.0s|450000 | 72634 |911599 | 2.0 | 62M| 35 | - | 40 |6737 | 40 | 16 | 21 | 284k|2792 | 0.000000e+00 | -- | Inf
95.39/95.42 c 95.4s|460000 | 73720 |932837 | 2.0 | 63M| 35 | - | 40 |6691 | 40 | 16 | 21 | 291k|2817 | 0.000000e+00 | -- | Inf
97.59/97.68 c 97.7s|470000 | 75015 |953665 | 2.0 | 64M| 35 | 5 | 40 |7407 | 40 | 16 | 21 | 298k|2843 | 0.000000e+00 | -- | Inf
100.19/100.21 c 100s|480000 | 76129 |974716 | 2.0 | 65M| 35 | 5 | 40 |6750 | 40 | 16 | 21 | 305k|2870 | 0.000000e+00 | -- | Inf
102.49/102.59 c 103s|490000 | 77328 |995421 | 2.0 | 66M| 35 | - | 40 |6305 | 40 | 16 | 21 | 311k|2886 | 0.000000e+00 | -- | Inf
104.79/104.88 c 105s|500000 | 78458 | 1015k| 2.0 | 68M| 35 | 5 | 40 |7163 | 40 | 16 | 21 | 318k|2909 | 0.000000e+00 | -- | Inf
107.09/107.13 c 107s|510000 | 79922 | 1035k| 2.0 | 69M| 35 | - | 40 |8307 | 0 | 0 | 21 | 325k|2933 | 0.000000e+00 | -- | Inf
109.59/109.62 c 110s|520000 | 81103 | 1055k| 2.0 | 71M| 35 | 5 | 40 |9413 | 40 | 16 | 21 | 332k|2959 | 0.000000e+00 | -- | Inf
111.99/112.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.99/112.08 c 112s|530000 | 82983 | 1075k| 2.0 | 72M| 36 | 5 | 40 |9004 | 40 | 16 | 21 | 338k|2977 | 0.000000e+00 | -- | Inf
114.30/114.40 c 114s|540000 | 84772 | 1095k| 2.0 | 73M| 36 | - | 40 |9630 | 0 | 0 | 21 | 344k|3000 | 0.000000e+00 | -- | Inf
116.89/116.91 c 117s|550000 | 86130 | 1115k| 2.0 | 75M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 350k|3027 | 0.000000e+00 | -- | Inf
119.39/119.43 c 119s|560000 | 87303 | 1136k| 2.0 | 76M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 357k|3052 | 0.000000e+00 | -- | Inf
122.19/122.29 c 122s|570000 | 88258 | 1157k| 2.0 | 77M| 36 | 5 | 40 |9878 | 40 | 16 | 21 | 363k|3073 | 0.000000e+00 | -- | Inf
124.79/124.81 c 125s|580000 | 89572 | 1177k| 2.0 | 79M| 36 | 5 | 40 | 12k| 40 | 16 | 21 | 370k|3092 | 0.000000e+00 | -- | Inf
127.69/127.78 c 128s|590000 | 90720 | 1198k| 2.0 | 79M| 36 | 5 | 40 |7409 | 40 | 16 | 21 | 377k|3124 | 0.000000e+00 | -- | Inf
130.09/130.15 c 130s|600000 | 92147 | 1219k| 2.0 | 81M| 36 | 5 | 40 |9098 | 40 | 16 | 21 | 384k|3147 | 0.000000e+00 | -- | Inf
132.70/132.80 c 133s|610000 | 93324 | 1240k| 2.0 | 82M| 36 | - | 40 |8328 | 0 | 0 | 21 | 391k|3175 | 0.000000e+00 | -- | Inf
135.40/135.48 c 135s|620000 | 94276 | 1261k| 2.0 | 82M| 36 | 5 | 40 |7306 | 40 | 16 | 21 | 398k|3208 | 0.000000e+00 | -- | Inf
138.09/138.10 c 138s|630000 | 95229 | 1282k| 2.0 | 83M| 36 | - | 40 |6289 | 40 | 16 | 21 | 404k|3224 | 0.000000e+00 | -- | Inf
140.70/140.74 c 141s|640000 | 95843 | 1303k| 2.0 | 84M| 36 | 5 | 40 |5569 | 40 | 16 | 21 | 412k|3261 | 0.000000e+00 | -- | Inf
143.01/143.09 c 143s|650000 | 96978 | 1324k| 2.0 | 85M| 36 | - | 40 |6123 | 40 | 16 | 21 | 418k|3280 | 0.000000e+00 | -- | Inf
145.59/145.66 c 146s|660000 | 97867 | 1344k| 2.0 | 86M| 36 | 5 | 40 |6151 | 40 | 16 | 21 | 425k|3297 | 0.000000e+00 | -- | Inf
148.09/148.16 c 148s|670000 | 98807 | 1365k| 2.0 | 87M| 36 | 5 | 40 |6553 | 40 | 16 | 21 | 432k|3321 | 0.000000e+00 | -- | Inf
150.80/150.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.80/150.80 c 151s|680000 | 99496 | 1385k| 2.0 | 88M| 36 | 5 | 40 |5824 | 40 | 16 | 21 | 439k|3345 | 0.000000e+00 | -- | Inf
152.99/153.08 c 153s|690000 |100648 | 1406k| 2.0 | 89M| 36 | 5 | 40 |7445 | 40 | 16 | 21 | 446k|3368 | 0.000000e+00 | -- | Inf
155.59/155.65 c 156s|700000 |101523 | 1426k| 2.0 | 90M| 36 | 5 | 40 |6692 | 40 | 16 | 21 | 453k|3390 | 0.000000e+00 | -- | Inf
158.09/158.19 c 158s|710000 |102442 | 1447k| 2.0 | 91M| 36 | 5 | 40 |6381 | 40 | 16 | 21 | 460k|3412 | 0.000000e+00 | -- | Inf
160.80/160.81 c 161s|720000 |103266 | 1467k| 2.0 | 92M| 36 | - | 40 |5484 | 40 | 16 | 21 | 467k|3439 | 0.000000e+00 | -- | Inf
162.99/163.01 c 163s|730000 |104648 | 1487k| 2.0 | 93M| 36 | - | 40 |7044 | 40 | 16 | 21 | 473k|3459 | 0.000000e+00 | -- | Inf
165.10/165.17 c 165s|740000 |106802 | 1507k| 2.0 | 95M| 36 | - | 40 |9048 | 40 | 16 | 21 | 479k|3472 | 0.000000e+00 | -- | Inf
167.69/167.76 c 168s|750000 |108204 | 1527k| 2.0 | 96M| 36 | - | 40 |9495 | 40 | 16 | 21 | 486k|3496 | 0.000000e+00 | -- | Inf
170.30/170.35 c 170s|760000 |109485 | 1547k| 2.0 | 98M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 493k|3511 | 0.000000e+00 | -- | Inf
173.20/173.23 c 173s|770000 |110211 | 1566k| 2.0 | 99M| 36 | 5 | 40 |9638 | 40 | 16 | 21 | 500k|3530 | 0.000000e+00 | -- | Inf
176.09/176.13 c 176s|780000 |110876 | 1586k| 2.0 | 99M| 36 | 5 | 40 |9792 | 40 | 16 | 21 | 507k|3553 | 0.000000e+00 | -- | Inf
178.69/178.78 c 179s|790000 |111995 | 1606k| 2.0 | 101M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 514k|3569 | 0.000000e+00 | -- | Inf
181.69/181.72 c 182s|800000 |112928 | 1626k| 2.0 | 101M| 36 | 5 | 40 |8218 | 40 | 16 | 21 | 521k|3584 | 0.000000e+00 | -- | Inf
184.49/184.53 c 185s|810000 |113620 | 1646k| 2.0 | 102M| 36 | 5 | 40 |6619 | 40 | 16 | 21 | 528k|3606 | 0.000000e+00 | -- | Inf
187.09/187.19 c 187s|820000 |114301 | 1667k| 2.0 | 102M| 36 | 5 | 40 |6201 | 40 | 16 | 21 | 535k|3627 | 0.000000e+00 | -- | Inf
189.79/189.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.79/189.87 c 190s|830000 |114980 | 1687k| 2.0 | 103M| 36 | - | 40 |6032 | 40 | 16 | 21 | 542k|3651 | 0.000000e+00 | -- | Inf
192.30/192.36 c 192s|840000 |115698 | 1708k| 2.0 | 104M| 36 | 5 | 40 |6443 | 40 | 16 | 21 | 549k|3677 | 0.000000e+00 | -- | Inf
194.90/194.98 c 195s|850000 |116400 | 1729k| 2.0 | 105M| 36 | - | 40 |5754 | 40 | 16 | 21 | 557k|3696 | 0.000000e+00 | -- | Inf
197.50/197.58 c 198s|860000 |117147 | 1750k| 2.0 | 106M| 36 | 5 | 40 |6824 | 40 | 16 | 21 | 564k|3729 | 0.000000e+00 | -- | Inf
199.99/200.07 c 200s|870000 |118171 | 1770k| 2.0 | 107M| 36 | 5 | 40 |7458 | 40 | 16 | 21 | 571k|3751 | 0.000000e+00 | -- | Inf
202.69/202.78 c 203s|880000 |118844 | 1791k| 2.0 | 108M| 36 | 5 | 40 |6981 | 40 | 16 | 21 | 578k|3764 | 0.000000e+00 | -- | Inf
205.29/205.36 c 205s|890000 |119836 | 1812k| 2.0 | 109M| 36 | - | 40 |8016 | 40 | 16 | 21 | 585k|3780 | 0.000000e+00 | -- | Inf
207.60/207.67 c 208s|900000 |121393 | 1832k| 2.0 | 111M| 36 | - | 40 |9127 | 40 | 16 | 21 | 592k|3798 | 0.000000e+00 | -- | Inf
210.29/210.36 c 210s|910000 |122251 | 1853k| 2.0 | 112M| 36 | - | 40 |9797 | 0 | 0 | 21 | 599k|3815 | 0.000000e+00 | -- | Inf
213.10/213.18 c 213s|920000 |123090 | 1873k| 2.0 | 113M| 36 | - | 40 |7829 | 40 | 16 | 21 | 606k|3829 | 0.000000e+00 | -- | Inf
215.79/215.86 c 216s|930000 |124057 | 1894k| 2.0 | 114M| 36 | 5 | 40 |7327 | 40 | 16 | 21 | 613k|3849 | 0.000000e+00 | -- | Inf
218.40/218.45 c 218s|940000 |124981 | 1915k| 2.0 | 115M| 36 | - | 40 |7372 | 40 | 16 | 21 | 620k|3869 | 0.000000e+00 | -- | Inf
220.60/220.64 c 221s|950000 |127358 | 1934k| 2.0 | 116M| 36 | - | 40 |8535 | 40 | 16 | 21 | 625k|3881 | 0.000000e+00 | -- | Inf
222.89/222.99 c 223s|960000 |129347 | 1953k| 2.0 | 118M| 36 | 5 | 40 |9027 | 40 | 16 | 21 | 631k|3889 | 0.000000e+00 | -- | Inf
225.40/225.45 c 225s|970000 |131024 | 1971k| 2.0 | 120M| 36 | 5 | 40 |9664 | 40 | 16 | 21 | 637k|3908 | 0.000000e+00 | -- | Inf
228.09/228.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.09/228.18 c 228s|980000 |132214 | 1990k| 2.0 | 121M| 36 | - | 40 |9326 | 40 | 16 | 21 | 643k|3930 | 0.000000e+00 | -- | Inf
230.79/230.89 c 231s|990000 |133352 | 2009k| 2.0 | 122M| 36 | - | 40 |9867 | 40 | 16 | 21 | 649k|3943 | 0.000000e+00 | -- | Inf
233.50/233.52 c 234s| 1000k|134748 | 2027k| 2.0 | 123M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 656k|3960 | 0.000000e+00 | -- | Inf
236.51/236.57 c 237s| 1010k|135709 | 2046k| 2.0 | 124M| 36 | - | 40 | 10k| 0 | 0 | 21 | 662k|3978 | 0.000000e+00 | -- | Inf
239.39/239.40 c 239s| 1020k|136759 | 2064k| 2.0 | 125M| 36 | - | 40 | 10k| 40 | 16 | 21 | 668k|4010 | 0.000000e+00 | -- | Inf
242.20/242.21 c 242s| 1030k|137866 | 2082k| 2.0 | 126M| 36 | - | 40 | 10k| 40 | 16 | 21 | 675k|4034 | 0.000000e+00 | -- | Inf
245.31/245.33 c 245s| 1040k|138617 | 2100k| 2.0 | 127M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 681k|4054 | 0.000000e+00 | -- | Inf
248.51/248.57 c 249s| 1050k|138929 | 2118k| 2.0 | 128M| 36 | - | 40 | 10k| 40 | 16 | 21 | 688k|4068 | 0.000000e+00 | -- | Inf
251.60/251.66 c 252s| 1060k|139361 | 2137k| 2.0 | 128M| 36 | 5 | 40 |9949 | 40 | 16 | 21 | 695k|4104 | 0.000000e+00 | -- | Inf
254.69/254.72 c 255s| 1070k|140360 | 2155k| 2.0 | 129M| 36 | - | 40 |9118 | 40 | 16 | 21 | 702k|4123 | 0.000000e+00 | -- | Inf
257.59/257.60 c 258s| 1080k|141211 | 2176k| 2.0 | 130M| 36 | 5 | 40 |8377 | 40 | 16 | 21 | 709k|4141 | 0.000000e+00 | -- | Inf
260.49/260.51 c 261s| 1090k|141881 | 2196k| 2.0 | 131M| 36 | - | 40 |7396 | 40 | 16 | 21 | 716k|4169 | 0.000000e+00 | -- | Inf
263.20/263.23 c 263s| 1100k|142546 | 2217k| 2.0 | 131M| 36 | 5 | 40 |7108 | 40 | 16 | 21 | 723k|4181 | 0.000000e+00 | -- | Inf
265.70/265.74 c 266s| 1110k|143738 | 2237k| 2.0 | 133M| 36 | - | 40 |8379 | 40 | 16 | 21 | 730k|4200 | 0.000000e+00 | -- | Inf
268.60/268.63 c 269s| 1120k|144388 | 2257k| 2.0 | 133M| 36 | 6 | 40 |6945 | 40 | 16 | 21 | 737k|4216 | 0.000000e+00 | -- | Inf
270.80/270.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.80/270.89 c 271s| 1130k|145798 | 2279k| 2.0 | 135M| 36 | 5 | 40 |9057 | 40 | 16 | 21 | 743k|4228 | 0.000000e+00 | -- | Inf
273.91/273.92 c 274s| 1140k|146339 | 2299k| 2.0 | 135M| 36 | 5 | 40 |6470 | 40 | 16 | 21 | 750k|4245 | 0.000000e+00 | -- | Inf
276.59/276.65 c 277s| 1150k|147114 | 2319k| 2.0 | 136M| 36 | - | 40 |7588 | 0 | 0 | 21 | 757k|4261 | 0.000000e+00 | -- | Inf
279.20/279.21 c 279s| 1160k|148304 | 2339k| 2.0 | 137M| 36 | 5 | 40 |7771 | 40 | 16 | 21 | 764k|4281 | 0.000000e+00 | -- | Inf
281.61/281.65 c 282s| 1170k|149234 | 2359k| 2.0 | 139M| 36 | 5 | 40 |8992 | 40 | 16 | 21 | 771k|4296 | 0.000000e+00 | -- | Inf
284.20/284.22 c 284s| 1180k|150220 | 2379k| 2.0 | 140M| 36 | 5 | 40 |9528 | 40 | 16 | 21 | 777k|4314 | 0.000000e+00 | -- | Inf
287.11/287.14 c 287s| 1190k|151137 | 2400k| 2.0 | 141M| 36 | 5 | 40 |8580 | 40 | 16 | 21 | 785k|4337 | 0.000000e+00 | -- | Inf
289.79/289.81 c 290s| 1200k|152105 | 2421k| 2.0 | 142M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 792k|4359 | 0.000000e+00 | -- | Inf
292.70/292.78 c 293s| 1210k|152865 | 2442k| 2.0 | 143M| 36 | - | 40 |9202 | 40 | 16 | 21 | 799k|4368 | 0.000000e+00 | -- | Inf
295.60/295.60 c 296s| 1220k|153667 | 2462k| 2.0 | 144M| 36 | - | 40 |9553 | 40 | 16 | 21 | 806k|4387 | 0.000000e+00 | -- | Inf
298.59/298.66 c 299s| 1230k|154438 | 2483k| 2.0 | 144M| 36 | 5 | 40 |8064 | 40 | 16 | 21 | 813k|4409 | 0.000000e+00 | -- | Inf
301.41/301.42 c 301s| 1240k|155122 | 2503k| 2.0 | 145M| 36 | 5 | 40 |7548 | 40 | 16 | 21 | 821k|4429 | 0.000000e+00 | -- | Inf
303.99/304.02 c 304s| 1250k|156084 | 2524k| 2.0 | 146M| 36 | - | 40 |8541 | 0 | 0 | 21 | 828k|4442 | 0.000000e+00 | -- | Inf
306.70/306.75 c 307s| 1260k|156998 | 2544k| 2.0 | 147M| 36 | 5 | 40 |8187 | 40 | 16 | 21 | 835k|4464 | 0.000000e+00 | -- | Inf
309.60/309.63 c 310s| 1270k|157615 | 2564k| 2.0 | 148M| 36 | - | 40 |6579 | 40 | 16 | 21 | 842k|4482 | 0.000000e+00 | -- | Inf
312.31/312.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.31/312.38 c 312s| 1280k|158223 | 2585k| 2.0 | 149M| 36 | 5 | 40 |7005 | 40 | 16 | 21 | 849k|4500 | 0.000000e+00 | -- | Inf
315.00/315.04 c 315s| 1290k|158885 | 2605k| 2.0 | 150M| 36 | 5 | 40 |7827 | 40 | 16 | 21 | 856k|4516 | 0.000000e+00 | -- | Inf
317.80/317.90 c 318s| 1300k|159572 | 2626k| 2.0 | 150M| 36 | - | 40 |7026 | 40 | 16 | 21 | 863k|4535 | 0.000000e+00 | -- | Inf
320.60/320.62 c 321s| 1310k|160311 | 2646k| 2.0 | 151M| 36 | 5 | 40 |6929 | 40 | 16 | 21 | 871k|4555 | 0.000000e+00 | -- | Inf
323.50/323.52 c 324s| 1320k|160680 | 2667k| 2.0 | 152M| 36 | - | 40 |5786 | 0 | 0 | 21 | 878k|4569 | 0.000000e+00 | -- | Inf
326.10/326.12 c 326s| 1330k|161330 | 2686k| 2.0 | 153M| 36 | - | 40 |6302 | 40 | 16 | 21 | 885k|4583 | 0.000000e+00 | -- | Inf
328.80/328.82 c 329s| 1340k|161901 | 2706k| 2.0 | 153M| 36 | 5 | 40 |6586 | 40 | 16 | 21 | 892k|4598 | 0.000000e+00 | -- | Inf
331.50/331.51 c 332s| 1350k|162498 | 2726k| 2.0 | 154M| 36 | 5 | 40 |6435 | 40 | 16 | 21 | 899k|4618 | 0.000000e+00 | -- | Inf
334.10/334.12 c 334s| 1360k|163142 | 2747k| 2.0 | 155M| 36 | 5 | 40 |6910 | 40 | 16 | 21 | 907k|4636 | 0.000000e+00 | -- | Inf
336.61/336.68 c 337s| 1370k|164187 | 2767k| 2.0 | 156M| 36 | - | 40 |6744 | 40 | 16 | 21 | 913k|4646 | 0.000000e+00 | -- | Inf
339.00/339.09 c 339s| 1380k|165402 | 2785k| 2.0 | 158M| 36 | 5 | 40 |8439 | 40 | 16 | 21 | 920k|4655 | 0.000000e+00 | -- | Inf
341.50/341.56 c 342s| 1390k|166608 | 2803k| 2.0 | 159M| 36 | - | 40 |9471 | 40 | 16 | 21 | 926k|4680 | 0.000000e+00 | -- | Inf
344.50/344.54 c 345s| 1400k|167016 | 2821k| 2.0 | 159M| 36 | 5 | 40 |8806 | 40 | 16 | 21 | 934k|4702 | 0.000000e+00 | -- | Inf
347.61/347.62 c 348s| 1410k|167489 | 2840k| 2.0 | 160M| 36 | - | 40 |7056 | 40 | 16 | 21 | 941k|4714 | 0.000000e+00 | -- | Inf
350.60/350.62 c 351s| 1420k|167801 | 2861k| 2.0 | 160M| 36 | 5 | 40 |6220 | 40 | 16 | 21 | 948k|4730 | 0.000000e+00 | -- | Inf
353.20/353.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.20/353.27 c 353s| 1430k|168399 | 2881k| 2.0 | 161M| 36 | 5 | 40 |6712 | 40 | 16 | 21 | 955k|4742 | 0.000000e+00 | -- | Inf
355.99/356.04 c 356s| 1440k|168793 | 2901k| 2.0 | 161M| 36 | - | 40 |6114 | 40 | 16 | 21 | 962k|4756 | 0.000000e+00 | -- | Inf
358.61/358.68 c 359s| 1450k|169362 | 2921k| 2.0 | 162M| 36 | 5 | 40 |6487 | 40 | 16 | 21 | 969k|4771 | 0.000000e+00 | -- | Inf
361.30/361.39 c 361s| 1460k|169843 | 2941k| 2.0 | 163M| 36 | 5 | 40 |7103 | 40 | 16 | 21 | 977k|4785 | 0.000000e+00 | -- | Inf
364.11/364.13 c 364s| 1470k|170583 | 2962k| 2.0 | 164M| 36 | - | 40 |7326 | 40 | 16 | 21 | 984k|4798 | 0.000000e+00 | -- | Inf
366.99/367.01 c 367s| 1480k|170991 | 2982k| 2.0 | 165M| 36 | - | 40 |6351 | 40 | 16 | 21 | 991k|4811 | 0.000000e+00 | -- | Inf
369.51/369.58 c 370s| 1490k|171667 | 3002k| 2.0 | 166M| 36 | - | 40 |7477 | 40 | 16 | 21 | 998k|4824 | 0.000000e+00 | -- | Inf
372.30/372.38 c 372s| 1500k|172212 | 3022k| 2.0 | 166M| 36 | - | 40 |6962 | 40 | 16 | 21 |1005k|4829 | 0.000000e+00 | -- | Inf
375.19/375.28 c 375s| 1510k|172636 | 3043k| 2.0 | 167M| 36 | - | 40 |6434 | 40 | 16 | 21 |1013k|4847 | 0.000000e+00 | -- | Inf
377.69/377.74 c 378s| 1520k|173623 | 3063k| 2.0 | 168M| 36 | - | 40 |8489 | 40 | 16 | 21 |1020k|4859 | 0.000000e+00 | -- | Inf
380.51/380.52 c 381s| 1530k|174256 | 3084k| 2.0 | 169M| 36 | - | 40 |7914 | 40 | 16 | 21 |1027k|4872 | 0.000000e+00 | -- | Inf
383.20/383.26 c 383s| 1540k|174873 | 3105k| 2.0 | 170M| 36 | - | 40 |8265 | 40 | 16 | 21 |1034k|4888 | 0.000000e+00 | -- | Inf
386.01/386.08 c 386s| 1550k|175485 | 3125k| 2.0 | 171M| 36 | - | 40 |7723 | 40 | 16 | 21 |1041k|4899 | 0.000000e+00 | -- | Inf
388.60/388.60 c 389s| 1560k|176595 | 3146k| 2.0 | 172M| 36 | - | 40 |8162 | 0 | 0 | 21 |1048k|4912 | 0.000000e+00 | -- | Inf
391.20/391.20 c 391s| 1570k|177653 | 3165k| 2.0 | 173M| 36 | - | 40 |8383 | 40 | 16 | 21 |1055k|4925 | 0.000000e+00 | -- | Inf
393.50/393.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.50/393.57 c 394s| 1580k|179075 | 3185k| 2.0 | 175M| 36 | - | 40 | 10k| 40 | 16 | 21 |1061k|4941 | 0.000000e+00 | -- | Inf
396.30/396.38 c 396s| 1590k|179690 | 3205k| 2.0 | 175M| 36 | - | 40 | 10k| 40 | 16 | 21 |1068k|4952 | 0.000000e+00 | -- | Inf
399.50/399.53 c 400s| 1600k|180089 | 3226k| 2.0 | 175M| 36 | 5 | 40 |7862 | 40 | 16 | 21 |1075k|4971 | 0.000000e+00 | -- | Inf
402.30/402.31 c 402s| 1610k|180793 | 3246k| 2.0 | 176M| 36 | - | 40 |7424 | 40 | 16 | 21 |1083k|4982 | 0.000000e+00 | -- | Inf
405.19/405.29 c 405s| 1620k|181235 | 3266k| 2.0 | 177M| 36 | 5 | 40 |6636 | 40 | 16 | 21 |1090k|4993 | 0.000000e+00 | -- | Inf
408.30/408.31 c 408s| 1630k|181484 | 3286k| 2.0 | 177M| 36 | - | 40 |6001 | 0 | 0 | 21 |1097k|5012 | 0.000000e+00 | -- | Inf
410.90/410.91 c 411s| 1640k|182117 | 3306k| 2.0 | 178M| 36 | 5 | 40 |7353 | 40 | 16 | 21 |1104k|5031 | 0.000000e+00 | -- | Inf
413.30/413.34 c 413s| 1650k|183250 | 3327k| 2.0 | 180M| 36 | - | 40 |9617 | 0 | 0 | 21 |1111k|5054 | 0.000000e+00 | -- | Inf
416.49/416.58 c 417s| 1660k|183560 | 3348k| 2.0 | 180M| 36 | 5 | 40 |6980 | 40 | 16 | 21 |1119k|5069 | 0.000000e+00 | -- | Inf
418.80/418.85 c 419s| 1670k|185048 | 3368k| 2.0 | 182M| 36 | - | 40 |8815 | 40 | 16 | 21 |1125k|5081 | 0.000000e+00 | -- | Inf
421.40/421.48 c 421s| 1680k|185757 | 3388k| 2.0 | 183M| 36 | 5 | 40 |9532 | 40 | 16 | 21 |1132k|5091 | 0.000000e+00 | -- | Inf
424.70/424.71 c 425s| 1690k|186155 | 3408k| 2.0 | 183M| 36 | 5 | 40 |6960 | 40 | 16 | 21 |1139k|5107 | 0.000000e+00 | -- | Inf
427.20/427.29 c 427s| 1700k|186818 | 3428k| 2.0 | 184M| 36 | 5 | 40 |8979 | 40 | 16 | 21 |1146k|5120 | 0.000000e+00 | -- | Inf
430.50/430.52 c 431s| 1710k|187162 | 3449k| 2.0 | 184M| 36 | 5 | 40 |7306 | 40 | 16 | 21 |1154k|5135 | 0.000000e+00 | -- | Inf
433.32/433.33 c 433s| 1720k|187728 | 3469k| 2.0 | 185M| 36 | - | 40 |7592 | 40 | 16 | 21 |1161k|5143 | 0.000000e+00 | -- | Inf
436.20/436.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.20/436.21 c 436s| 1730k|188169 | 3489k| 2.0 | 185M| 36 | 5 | 40 |6713 | 40 | 16 | 21 |1168k|5162 | 0.000000e+00 | -- | Inf
438.91/438.96 c 439s| 1740k|188636 | 3510k| 2.0 | 186M| 36 | 5 | 40 |7375 | 40 | 16 | 21 |1175k|5177 | 0.000000e+00 | -- | Inf
441.60/441.61 c 442s| 1750k|189347 | 3530k| 2.0 | 187M| 36 | 5 | 40 |8315 | 40 | 16 | 21 |1183k|5190 | 0.000000e+00 | -- | Inf
444.60/444.69 c 445s| 1760k|189773 | 3551k| 2.0 | 188M| 36 | 5 | 40 |6681 | 40 | 16 | 21 |1190k|5203 | 0.000000e+00 | -- | Inf
447.61/447.62 c 448s| 1770k|190035 | 3571k| 2.0 | 188M| 36 | - | 40 |6234 | 40 | 16 | 21 |1198k|5213 | 0.000000e+00 | -- | Inf
450.40/450.43 c 450s| 1780k|190575 | 3591k| 2.0 | 189M| 36 | 5 | 40 |6630 | 40 | 16 | 21 |1205k|5230 | 0.000000e+00 | -- | Inf
453.00/453.08 c 453s| 1790k|191194 | 3612k| 2.0 | 190M| 36 | 5 | 40 |7406 | 40 | 16 | 21 |1212k|5242 | 0.000000e+00 | -- | Inf
455.80/455.82 c 456s| 1800k|191946 | 3632k| 2.0 | 191M| 36 | 5 | 40 |6624 | 40 | 16 | 21 |1219k|5254 | 0.000000e+00 | -- | Inf
458.50/458.54 c 459s| 1810k|192385 | 3652k| 2.0 | 192M| 36 | 5 | 40 |6868 | 40 | 16 | 21 |1226k|5267 | 0.000000e+00 | -- | Inf
461.10/461.10 c 461s| 1820k|193059 | 3673k| 2.0 | 193M| 36 | - | 40 |7740 | 40 | 16 | 21 |1233k|5281 | 0.000000e+00 | -- | Inf
463.60/463.66 c 464s| 1830k|193916 | 3692k| 2.0 | 194M| 36 | 5 | 40 |8085 | 40 | 16 | 21 |1240k|5301 | 0.000000e+00 | -- | Inf
466.60/466.69 c 467s| 1840k|194175 | 3711k| 2.0 | 194M| 36 | 5 | 40 |6443 | 40 | 16 | 21 |1247k|5313 | 0.000000e+00 | -- | Inf
469.30/469.30 c 469s| 1850k|194730 | 3732k| 2.0 | 195M| 36 | 5 | 40 |7752 | 40 | 16 | 21 |1254k|5327 | 0.000000e+00 | -- | Inf
472.00/472.02 c 472s| 1860k|195567 | 3753k| 2.0 | 196M| 36 | - | 40 |8636 | 40 | 16 | 21 |1261k|5338 | 0.000000e+00 | -- | Inf
475.21/475.25 c 475s| 1870k|195829 | 3773k| 2.0 | 196M| 36 | - | 40 |6015 | 0 | 0 | 21 |1269k|5350 | 0.000000e+00 | -- | Inf
477.60/477.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.60/477.60 c 478s| 1880k|197144 | 3794k| 2.0 | 198M| 36 | - | 40 |7918 | 40 | 16 | 21 |1275k|5364 | 0.000000e+00 | -- | Inf
480.11/480.16 c 480s| 1890k|198148 | 3815k| 2.0 | 199M| 36 | 5 | 40 |9764 | 40 | 16 | 21 |1282k|5380 | 0.000000e+00 | -- | Inf
483.21/483.28 c 483s| 1900k|198512 | 3836k| 2.0 | 200M| 36 | - | 40 | 10k| 40 | 16 | 21 |1290k|5390 | 0.000000e+00 | -- | Inf
486.70/486.79 c 487s| 1910k|198705 | 3857k| 2.0 | 200M| 36 | 5 | 40 |6957 | 40 | 16 | 21 |1297k|5405 | 0.000000e+00 | -- | Inf
489.51/489.54 c 490s| 1920k|199283 | 3877k| 2.0 | 200M| 36 | - | 40 |6412 | 40 | 16 | 21 |1305k|5416 | 0.000000e+00 | -- | Inf
492.40/492.46 c 492s| 1930k|199438 | 3897k| 2.0 | 201M| 36 | 5 | 40 |6281 | 40 | 16 | 21 |1312k|5429 | 0.000000e+00 | -- | Inf
495.10/495.17 c 495s| 1940k|199871 | 3918k| 2.0 | 202M| 36 | - | 40 |6763 | 40 | 16 | 21 |1320k|5439 | 0.000000e+00 | -- | Inf
498.21/498.22 c 498s| 1950k|199973 | 3938k| 2.0 | 202M| 36 | 5 | 40 |5902 | 40 | 16 | 21 |1327k|5453 | 0.000000e+00 | -- | Inf
501.01/501.07 c 501s| 1960k|200174 | 3959k| 2.0 | 203M| 36 | - | 40 |6259 | 40 | 16 | 21 |1335k|5468 | 0.000000e+00 | -- | Inf
503.60/503.66 c 504s| 1970k|200927 | 3979k| 2.0 | 204M| 36 | 5 | 40 |6864 | 40 | 16 | 21 |1342k|5485 | 0.000000e+00 | -- | Inf
506.40/506.47 c 506s| 1980k|201296 | 4000k| 2.0 | 204M| 36 | 5 | 40 |6625 | 40 | 16 | 21 |1349k|5492 | 0.000000e+00 | -- | Inf
509.21/509.25 c 509s| 1990k|201673 | 4020k| 2.0 | 205M| 36 | 5 | 40 |6596 | 40 | 16 | 21 |1357k|5507 | 0.000000e+00 | -- | Inf
511.91/511.91 c 512s| 2000k|202181 | 4040k| 2.0 | 206M| 36 | 5 | 40 |7584 | 40 | 16 | 21 |1364k|5514 | 0.000000e+00 | -- | Inf
514.60/514.70 c 515s| 2010k|202662 | 4060k| 2.0 | 206M| 36 | - | 40 |6907 | 0 | 0 | 21 |1371k|5521 | 0.000000e+00 | -- | Inf
517.70/517.70 c 518s| 2020k|202839 | 4081k| 2.0 | 207M| 36 | - | 40 |5961 | 40 | 16 | 21 |1379k|5540 | 0.000000e+00 | -- | Inf
520.21/520.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.21/520.30 c 520s| 2030k|203460 | 4101k| 2.0 | 208M| 36 | 5 | 40 |7272 | 40 | 16 | 21 |1386k|5546 | 0.000000e+00 | -- | Inf
523.11/523.10 c 523s| 2040k|203921 | 4121k| 2.0 | 208M| 36 | 5 | 40 |6935 | 40 | 16 | 21 |1393k|5560 | 0.000000e+00 | -- | Inf
525.91/525.96 c 526s| 2050k|204310 | 4142k| 2.0 | 209M| 36 | - | 40 |6697 | 40 | 16 | 21 |1401k|5571 | 0.000000e+00 | -- | Inf
528.81/528.84 c 529s| 2060k|204587 | 4162k| 2.0 | 209M| 36 | 5 | 40 |6399 | 40 | 16 | 21 |1408k|5583 | 0.000000e+00 | -- | Inf
531.60/531.69 c 532s| 2070k|204945 | 4182k| 2.0 | 210M| 36 | 5 | 40 |6550 | 40 | 16 | 21 |1416k|5594 | 0.000000e+00 | -- | Inf
534.30/534.33 c 534s| 2080k|205806 | 4203k| 2.0 | 211M| 36 | 5 | 40 |7071 | 40 | 16 | 21 |1422k|5603 | 0.000000e+00 | -- | Inf
537.01/537.07 c 537s| 2090k|206370 | 4223k| 2.0 | 212M| 36 | - | 40 |7446 | 40 | 16 | 21 |1430k|5617 | 0.000000e+00 | -- | Inf
539.80/539.88 c 540s| 2100k|206836 | 4244k| 2.0 | 213M| 36 | - | 40 |6826 | 40 | 16 | 21 |1437k|5633 | 0.000000e+00 | -- | Inf
542.61/542.68 c 543s| 2110k|207459 | 4265k| 2.0 | 213M| 36 | 5 | 40 |6434 | 40 | 16 | 21 |1444k|5644 | 0.000000e+00 | -- | Inf
545.51/545.54 c 546s| 2120k|207757 | 4286k| 2.0 | 214M| 36 | - | 40 |6623 | 40 | 16 | 21 |1451k|5659 | 0.000000e+00 | -- | Inf
548.10/548.12 c 548s| 2130k|208469 | 4306k| 2.0 | 215M| 36 | 5 | 40 |7822 | 40 | 16 | 21 |1458k|5667 | 0.000000e+00 | -- | Inf
550.90/550.90 c 551s| 2140k|209223 | 4327k| 2.0 | 216M| 36 | 5 | 40 |9592 | 40 | 16 | 21 |1465k|5676 | 0.000000e+00 | -- | Inf
554.21/554.21 c 554s| 2150k|209438 | 4348k| 2.0 | 216M| 36 | 5 | 40 |6963 | 40 | 16 | 21 |1473k|5695 | 0.000000e+00 | -- | Inf
557.10/557.14 c 557s| 2160k|209800 | 4368k| 2.0 | 217M| 36 | - | 40 |7142 | 0 | 0 | 21 |1480k|5710 | 0.000000e+00 | -- | Inf
559.82/559.87 c 560s| 2170k|210224 | 4390k| 2.0 | 218M| 36 | 5 | 40 |8262 | 40 | 16 | 21 |1488k|5723 | 0.000000e+00 | -- | Inf
562.21/562.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
562.21/562.22 c 562s| 2180k|212496 | 4410k| 2.0 | 220M| 36 | 5 | 40 |8345 | 40 | 16 | 21 |1494k|5733 | 0.000000e+00 | -- | Inf
564.60/564.63 c 565s| 2190k|214373 | 4431k| 2.0 | 221M| 36 | - | 40 |8757 | 40 | 16 | 21 |1500k|5748 | 0.000000e+00 | -- | Inf
567.10/567.19 c 567s| 2200k|215951 | 4451k| 2.0 | 223M| 36 | 5 | 40 |9311 | 40 | 16 | 21 |1506k|5754 | 0.000000e+00 | -- | Inf
569.91/569.92 c 570s| 2210k|217212 | 4471k| 2.0 | 224M| 36 | 5 | 40 |8818 | 40 | 16 | 21 |1513k|5768 | 0.000000e+00 | -- | Inf
572.61/572.69 c 573s| 2220k|218222 | 4491k| 2.0 | 225M| 36 | 5 | 40 |9382 | 40 | 16 | 21 |1520k|5776 | 0.000000e+00 | -- | Inf
575.50/575.54 c 576s| 2230k|219203 | 4511k| 2.0 | 226M| 36 | - | 40 |9502 | 40 | 16 | 21 |1527k|5787 | 0.000000e+00 | -- | Inf
578.30/578.36 c 578s| 2240k|220122 | 4531k| 2.0 | 227M| 36 | - | 40 |9922 | 40 | 16 | 21 |1534k|5801 | 0.000000e+00 | -- | Inf
581.20/581.29 c 581s| 2250k|220890 | 4551k| 2.0 | 228M| 36 | - | 40 | 10k| 0 | 0 | 21 |1541k|5815 | 0.000000e+00 | -- | Inf
584.21/584.27 c 584s| 2260k|221741 | 4571k| 2.0 | 229M| 36 | - | 40 |9788 | 40 | 16 | 21 |1549k|5825 | 0.000000e+00 | -- | Inf
587.01/587.05 c 587s| 2270k|222877 | 4592k| 2.0 | 230M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |1556k|5843 | 0.000000e+00 | -- | Inf
590.31/590.31 c 590s| 2280k|223399 | 4612k| 2.0 | 231M| 36 | 5 | 40 |9772 | 40 | 16 | 21 |1563k|5854 | 0.000000e+00 | -- | Inf
593.10/593.12 c 593s| 2290k|224245 | 4632k| 2.0 | 232M| 36 | - | 40 | 10k| 40 | 16 | 21 |1570k|5867 | 0.000000e+00 | -- | Inf
596.22/596.27 c 596s| 2300k|224683 | 4652k| 2.0 | 233M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |1578k|5879 | 0.000000e+00 | -- | Inf
599.21/599.26 c 599s| 2310k|225462 | 4673k| 2.0 | 234M| 36 | - | 40 | 11k| 0 | 0 | 21 |1585k|5893 | 0.000000e+00 | -- | Inf
602.31/602.34 c 602s| 2320k|226228 | 4693k| 2.0 | 234M| 36 | - | 40 | 10k| 40 | 16 | 21 |1592k|5900 | 0.000000e+00 | -- | Inf
605.51/605.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
605.51/605.50 c 606s| 2330k|226897 | 4712k| 2.0 | 235M| 36 | - | 40 | 10k| 40 | 16 | 21 |1599k|5912 | 0.000000e+00 | -- | Inf
608.61/608.65 c 609s| 2340k|227369 | 4733k| 2.0 | 236M| 36 | - | 40 | 10k| 40 | 16 | 21 |1607k|5927 | 0.000000e+00 | -- | Inf
611.52/611.51 c 612s| 2350k|228262 | 4753k| 2.0 | 237M| 36 | - | 40 | 11k| 0 | 0 | 21 |1614k|5940 | 0.000000e+00 | -- | Inf
614.92/614.98 c 615s| 2360k|228610 | 4773k| 2.0 | 237M| 36 | - | 40 | 10k| 40 | 16 | 21 |1621k|5949 | 0.000000e+00 | -- | Inf
617.40/617.48 c 617s| 2370k|230781 | 4793k| 2.0 | 239M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |1627k|5959 | 0.000000e+00 | -- | Inf
620.21/620.24 c 620s| 2380k|232769 | 4814k| 2.0 | 241M| 36 | - | 40 | 12k| 40 | 16 | 21 |1633k|5973 | 0.000000e+00 | -- | Inf
623.31/623.35 c 623s| 2390k|234042 | 4834k| 2.0 | 242M| 36 | - | 40 | 12k| 40 | 16 | 21 |1640k|5982 | 0.000000e+00 | -- | Inf
626.50/626.53 c 627s| 2400k|235296 | 4855k| 2.0 | 243M| 36 | - | 40 | 12k| 40 | 16 | 21 |1646k|6005 | 0.000000e+00 | -- | Inf
629.40/629.45 c 629s| 2410k|236914 | 4875k| 2.0 | 245M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1653k|6018 | 0.000000e+00 | -- | Inf
632.52/632.54 c 633s| 2420k|238685 | 4895k| 2.0 | 246M| 36 | 5 | 40 | 14k| 40 | 16 | 21 |1659k|6032 | 0.000000e+00 | -- | Inf
636.20/636.24 c 636s| 2430k|239467 | 4916k| 2.0 | 247M| 36 | - | 40 | 12k| 40 | 16 | 21 |1666k|6046 | 0.000000e+00 | -- | Inf
639.41/639.48 c 639s| 2440k|240605 | 4936k| 2.0 | 248M| 36 | - | 40 | 13k| 0 | 0 | 21 |1673k|6061 | 0.000000e+00 | -- | Inf
642.91/642.90 c 643s| 2450k|241538 | 4957k| 2.0 | 249M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1680k|6081 | 0.000000e+00 | -- | Inf
646.41/646.40 c 646s| 2460k|242177 | 4978k| 2.0 | 250M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1687k|6088 | 0.000000e+00 | -- | Inf
650.12/650.11 c 650s| 2470k|242821 | 4998k| 2.0 | 251M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1694k|6109 | 0.000000e+00 | -- | Inf
653.60/653.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.60/653.63 c 654s| 2480k|243601 | 5018k| 2.0 | 251M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1701k|6134 | 0.000000e+00 | -- | Inf
657.21/657.25 c 657s| 2490k|244240 | 5038k| 2.0 | 252M| 36 | - | 40 | 13k| 40 | 16 | 21 |1708k|6139 | 0.000000e+00 | -- | Inf
660.81/660.83 c 661s| 2500k|244970 | 5058k| 2.0 | 253M| 36 | - | 40 | 13k| 0 | 0 | 21 |1716k|6154 | 0.000000e+00 | -- | Inf
664.81/664.82 c 665s| 2510k|245285 | 5079k| 2.0 | 254M| 36 | - | 40 | 13k| 40 | 16 | 21 |1723k|6170 | 0.000000e+00 | -- | Inf
668.11/668.18 c 668s| 2520k|246216 | 5098k| 2.0 | 255M| 36 | 5 | 40 | 14k| 40 | 16 | 21 |1730k|6173 | 0.000000e+00 | -- | Inf
671.91/671.96 c 672s| 2530k|246799 | 5118k| 2.0 | 256M| 36 | 5 | 40 | 14k| 40 | 16 | 21 |1737k|6188 | 0.000000e+00 | -- | Inf
675.81/675.86 c 676s| 2540k|247268 | 5139k| 2.0 | 256M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1744k|6213 | 0.000000e+00 | -- | Inf
679.61/679.67 c 680s| 2550k|247700 | 5159k| 2.0 | 257M| 36 | 5 | 40 | 14k| 40 | 16 | 21 |1752k|6230 | 0.000000e+00 | -- | Inf
683.51/683.54 c 684s| 2560k|248177 | 5180k| 2.0 | 258M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1759k|6238 | 0.000000e+00 | -- | Inf
687.21/687.20 c 687s| 2570k|248818 | 5200k| 2.0 | 259M| 36 | 5 | 40 | 14k| 40 | 16 | 21 |1766k|6246 | 0.000000e+00 | -- | Inf
691.31/691.37 c 691s| 2580k|249022 | 5221k| 2.0 | 259M| 36 | - | 40 | 14k| 40 | 16 | 21 |1774k|6257 | 0.000000e+00 | -- | Inf
695.51/695.58 c 696s| 2590k|249150 | 5241k| 2.0 | 259M| 36 | - | 40 | 12k| 40 | 16 | 21 |1781k|6267 | 0.000000e+00 | -- | Inf
699.62/699.66 c 700s| 2600k|249258 | 5260k| 2.0 | 259M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |1789k|6279 | 0.000000e+00 | -- | Inf
702.81/702.85 c 703s| 2610k|250049 | 5280k| 2.0 | 260M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |1796k|6288 | 0.000000e+00 | -- | Inf
706.71/706.78 c 707s| 2620k|250203 | 5301k| 2.0 | 261M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |1804k|6298 | 0.000000e+00 | -- | Inf
710.52/710.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.52/710.58 c 711s| 2630k|250386 | 5321k| 2.0 | 261M| 36 | - | 40 | 12k| 40 | 16 | 21 |1811k|6310 | 0.000000e+00 | -- | Inf
713.92/713.94 c 714s| 2640k|250889 | 5342k| 2.0 | 262M| 36 | - | 40 | 12k| 40 | 16 | 21 |1819k|6321 | 0.000000e+00 | -- | Inf
717.91/717.92 c 718s| 2650k|251007 | 5362k| 2.0 | 262M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |1827k|6330 | 0.000000e+00 | -- | Inf
721.21/721.26 c 721s| 2660k|251518 | 5383k| 2.0 | 263M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |1834k|6346 | 0.000000e+00 | -- | Inf
724.41/724.49 c 724s| 2670k|252737 | 5403k| 2.0 | 264M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |1841k|6361 | 0.000000e+00 | -- | Inf
727.71/727.79 c 728s| 2680k|253759 | 5425k| 2.0 | 266M| 36 | - | 40 | 13k| 40 | 16 | 21 |1848k|6391 | 0.000000e+00 | -- | Inf
731.42/731.45 c 731s| 2690k|254138 | 5447k| 2.0 | 266M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1856k|6423 | 0.000000e+00 | -- | Inf
735.21/735.27 c 735s| 2700k|254394 | 5469k| 2.0 | 267M| 36 | - | 40 | 13k| 40 | 16 | 21 |1864k|6447 | 0.000000e+00 | -- | Inf
739.61/739.63 c 740s| 2710k|254318 | 5489k| 2.0 | 267M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |1872k|6454 | 0.000000e+00 | -- | Inf
743.01/743.07 c 743s| 2720k|254636 | 5509k| 2.0 | 267M| 36 | - | 40 | 11k| 0 | 0 | 21 |1879k|6468 | 0.000000e+00 | -- | Inf
746.82/746.86 c 747s| 2730k|255035 | 5530k| 2.0 | 267M| 36 | - | 40 |9511 | 40 | 16 | 21 |1886k|6475 | 0.000000e+00 | -- | Inf
750.31/750.35 c 750s| 2740k|255382 | 5551k| 2.0 | 268M| 36 | - | 40 |8863 | 40 | 16 | 21 |1894k|6491 | 0.000000e+00 | -- | Inf
753.81/753.83 c 754s| 2750k|255615 | 5572k| 2.0 | 268M| 36 | - | 40 |8840 | 40 | 16 | 21 |1902k|6508 | 0.000000e+00 | -- | Inf
757.41/757.47 c 757s| 2760k|255708 | 5593k| 2.0 | 268M| 36 | - | 40 |7162 | 0 | 0 | 21 |1909k|6523 | 0.000000e+00 | -- | Inf
760.31/760.32 c 760s| 2770k|256213 | 5613k| 2.0 | 269M| 36 | - | 40 |8840 | 40 | 16 | 21 |1917k|6534 | 0.000000e+00 | -- | Inf
763.81/763.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.81/763.84 c 764s| 2780k|256381 | 5633k| 2.0 | 270M| 36 | 5 | 40 |7640 | 40 | 16 | 21 |1924k|6543 | 0.000000e+00 | -- | Inf
767.21/767.23 c 767s| 2790k|256549 | 5653k| 2.0 | 270M| 36 | - | 40 |7635 | 40 | 16 | 21 |1932k|6556 | 0.000000e+00 | -- | Inf
770.41/770.44 c 770s| 2800k|256819 | 5674k| 2.0 | 270M| 36 | - | 40 |7085 | 40 | 16 | 21 |1939k|6564 | 0.000000e+00 | -- | Inf
773.01/773.07 c 773s| 2810k|257995 | 5694k| 2.0 | 272M| 36 | - | 40 |9103 | 40 | 16 | 21 |1946k|6571 | 0.000000e+00 | -- | Inf
776.21/776.27 c 776s| 2820k|258223 | 5715k| 2.0 | 273M| 36 | 5 | 40 |9056 | 40 | 16 | 21 |1954k|6591 | 0.000000e+00 | -- | Inf
779.83/779.85 c 780s| 2830k|258292 | 5736k| 2.0 | 272M| 36 | 5 | 40 |6635 | 40 | 16 | 21 |1962k|6600 | 0.000000e+00 | -- | Inf
783.01/783.05 c 783s| 2840k|258256 | 5756k| 2.0 | 273M| 36 | - | 40 |6808 | 40 | 16 | 21 |1970k|6606 | 0.000000e+00 | -- | Inf
785.71/785.76 c 786s| 2850k|258979 | 5776k| 2.0 | 274M| 36 | 5 | 40 |8987 | 40 | 16 | 21 |1977k|6621 | 0.000000e+00 | -- | Inf
788.91/788.99 c 789s| 2860k|259314 | 5796k| 2.0 | 274M| 36 | 5 | 40 |7460 | 40 | 16 | 21 |1985k|6627 | 0.000000e+00 | -- | Inf
791.71/791.73 c 792s| 2870k|260210 | 5817k| 2.0 | 276M| 36 | - | 40 |8772 | 0 | 0 | 21 |1991k|6636 | 0.000000e+00 | -- | Inf
794.91/794.97 c 795s| 2880k|260507 | 5838k| 2.0 | 276M| 36 | 5 | 40 |7309 | 40 | 16 | 21 |1999k|6646 | 0.000000e+00 | -- | Inf
797.71/797.78 c 798s| 2890k|260938 | 5859k| 2.0 | 277M| 36 | 5 | 40 |8651 | 40 | 16 | 21 |2006k|6670 | 0.000000e+00 | -- | Inf
801.21/801.26 c 801s| 2900k|260932 | 5880k| 2.0 | 277M| 36 | 5 | 40 |7090 | 40 | 16 | 21 |2014k|6691 | 0.000000e+00 | -- | Inf
804.21/804.25 c 804s| 2910k|261328 | 5900k| 2.0 | 278M| 36 | - | 40 |9082 | 40 | 16 | 21 |2022k|6705 | 0.000000e+00 | -- | Inf
807.72/807.71 c 808s| 2920k|261409 | 5921k| 2.0 | 278M| 36 | - | 40 |7303 | 0 | 0 | 21 |2029k|6712 | 0.000000e+00 | -- | Inf
811.01/811.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.01/811.01 c 811s| 2930k|261565 | 5941k| 2.0 | 278M| 36 | 5 | 40 |6360 | 40 | 16 | 21 |2037k|6719 | 0.000000e+00 | -- | Inf
813.93/813.97 c 814s| 2940k|261807 | 5962k| 2.0 | 279M| 36 | 5 | 40 |6769 | 40 | 16 | 21 |2044k|6725 | 0.000000e+00 | -- | Inf
816.82/816.85 c 817s| 2950k|262190 | 5983k| 2.0 | 280M| 36 | 5 | 40 |7772 | 40 | 16 | 21 |2052k|6737 | 0.000000e+00 | -- | Inf
819.91/819.97 c 820s| 2960k|262537 | 6004k| 2.0 | 280M| 36 | 5 | 40 |7252 | 40 | 16 | 21 |2059k|6747 | 0.000000e+00 | -- | Inf
822.83/822.84 c 823s| 2970k|263039 | 6024k| 2.0 | 281M| 36 | 5 | 40 |7619 | 40 | 16 | 21 |2067k|6754 | 0.000000e+00 | -- | Inf
825.62/825.62 c 826s| 2980k|263426 | 6044k| 2.0 | 282M| 36 | - | 40 |8082 | 40 | 16 | 21 |2074k|6761 | 0.000000e+00 | -- | Inf
829.02/829.02 c 829s| 2990k|263389 | 6065k| 2.0 | 282M| 36 | 5 | 40 |6088 | 40 | 16 | 21 |2082k|6767 | 0.000000e+00 | -- | Inf
831.53/831.55 c 832s| 3000k|264606 | 6085k| 2.0 | 283M| 36 | 5 | 40 |7685 | 40 | 16 | 21 |2088k|6779 | 0.000000e+00 | -- | Inf
834.11/834.11 c 834s| 3010k|265389 | 6106k| 2.0 | 284M| 36 | - | 40 |8589 | 40 | 16 | 21 |2096k|6782 | 0.000000e+00 | -- | Inf
836.91/836.96 c 837s| 3020k|265666 | 6128k| 2.0 | 285M| 36 | - | 40 |9293 | 40 | 16 | 21 |2103k|6797 | 0.000000e+00 | -- | Inf
840.42/840.46 c 840s| 3030k|265671 | 6148k| 2.0 | 285M| 36 | 5 | 40 |6826 | 40 | 16 | 21 |2111k|6802 | 0.000000e+00 | -- | Inf
843.51/843.56 c 844s| 3040k|265856 | 6169k| 2.0 | 285M| 36 | 5 | 40 |6274 | 40 | 16 | 21 |2119k|6813 | 0.000000e+00 | -- | Inf
846.31/846.35 c 846s| 3050k|266533 | 6189k| 2.0 | 287M| 36 | - | 40 |8298 | 40 | 16 | 21 |2126k|6824 | 0.000000e+00 | -- | Inf
849.51/849.51 c 850s| 3060k|266780 | 6209k| 2.0 | 287M| 36 | - | 40 |7334 | 40 | 16 | 21 |2134k|6829 | 0.000000e+00 | -- | Inf
852.72/852.78 c 853s| 3070k|266879 | 6230k| 2.0 | 287M| 36 | - | 40 |6789 | 0 | 0 | 21 |2141k|6840 | 0.000000e+00 | -- | Inf
855.91/855.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.91/855.92 c 856s| 3080k|267057 | 6250k| 2.0 | 288M| 36 | - | 40 |7076 | 40 | 16 | 21 |2149k|6858 | 0.000000e+00 | -- | Inf
858.41/858.45 c 858s| 3090k|267750 | 6271k| 2.0 | 289M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2156k|6874 | 0.000000e+00 | -- | Inf
861.81/861.83 c 862s| 3100k|268012 | 6291k| 2.0 | 289M| 36 | 5 | 40 |7140 | 40 | 16 | 21 |2163k|6879 | 0.000000e+00 | -- | Inf
864.91/864.93 c 865s| 3110k|268490 | 6311k| 2.0 | 290M| 36 | - | 40 |7600 | 40 | 16 | 21 |2171k|6882 | 0.000000e+00 | -- | Inf
867.71/867.79 c 868s| 3120k|269311 | 6331k| 2.0 | 291M| 36 | 5 | 40 |8438 | 40 | 16 | 21 |2178k|6887 | 0.000000e+00 | -- | Inf
870.41/870.44 c 870s| 3130k|270263 | 6351k| 2.0 | 292M| 36 | - | 40 |8950 | 0 | 0 | 21 |2184k|6895 | 0.000000e+00 | -- | Inf
873.01/873.07 c 873s| 3140k|271793 | 6371k| 2.0 | 294M| 36 | - | 40 | 10k| 40 | 16 | 21 |2191k|6899 | 0.000000e+00 | -- | Inf
876.42/876.40 c 876s| 3150k|272041 | 6391k| 2.0 | 294M| 36 | 5 | 40 |9843 | 40 | 16 | 21 |2198k|6908 | 0.000000e+00 | -- | Inf
879.61/879.63 c 880s| 3160k|272187 | 6411k| 2.0 | 295M| 36 | 5 | 40 |9939 | 40 | 16 | 21 |2206k|6915 | 0.000000e+00 | -- | Inf
883.11/883.10 c 883s| 3170k|272375 | 6431k| 2.0 | 295M| 36 | - | 40 |9109 | 40 | 16 | 21 |2214k|6921 | 0.000000e+00 | -- | Inf
886.32/886.35 c 886s| 3180k|272688 | 6452k| 2.0 | 296M| 36 | - | 40 |8970 | 40 | 16 | 21 |2221k|6933 | 0.000000e+00 | -- | Inf
889.41/889.43 c 889s| 3190k|273248 | 6472k| 2.0 | 297M| 36 | - | 40 |9980 | 40 | 16 | 21 |2229k|6939 | 0.000000e+00 | -- | Inf
892.92/892.95 c 893s| 3200k|273376 | 6493k| 2.0 | 296M| 36 | - | 40 |8015 | 0 | 0 | 21 |2236k|6950 | 0.000000e+00 | -- | Inf
895.72/895.74 c 896s| 3210k|273840 | 6514k| 2.0 | 298M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2244k|6962 | 0.000000e+00 | -- | Inf
899.02/899.07 c 899s| 3220k|274539 | 6535k| 2.0 | 299M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2251k|6967 | 0.000000e+00 | -- | Inf
902.72/902.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.72/902.78 c 903s| 3230k|274701 | 6555k| 2.0 | 299M| 36 | 5 | 40 |8404 | 40 | 16 | 21 |2259k|6976 | 0.000000e+00 | -- | Inf
905.51/905.58 c 906s| 3240k|275285 | 6575k| 2.0 | 300M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2266k|6987 | 0.000000e+00 | -- | Inf
908.82/908.82 c 909s| 3250k|275810 | 6595k| 2.0 | 300M| 36 | - | 40 |9350 | 40 | 16 | 21 |2274k|6997 | 0.000000e+00 | -- | Inf
912.22/912.21 c 912s| 3260k|276191 | 6615k| 2.0 | 301M| 36 | - | 40 |8703 | 0 | 0 | 21 |2281k|7009 | 0.000000e+00 | -- | Inf
915.02/915.08 c 915s| 3270k|276803 | 6637k| 2.0 | 302M| 36 | 5 | 40 |9461 | 40 | 16 | 21 |2288k|7019 | 0.000000e+00 | -- | Inf
918.43/918.42 c 918s| 3280k|277119 | 6658k| 2.0 | 302M| 36 | - | 40 |9406 | 40 | 16 | 21 |2296k|7039 | 0.000000e+00 | -- | Inf
921.32/921.36 c 921s| 3290k|278188 | 6678k| 2.0 | 304M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2303k|7054 | 0.000000e+00 | -- | Inf
924.51/924.51 c 925s| 3300k|278927 | 6698k| 2.0 | 305M| 36 | - | 40 | 10k| 40 | 16 | 21 |2310k|7067 | 0.000000e+00 | -- | Inf
927.92/927.94 c 928s| 3310k|279190 | 6718k| 2.0 | 305M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2318k|7079 | 0.000000e+00 | -- | Inf
931.42/931.42 c 931s| 3320k|279443 | 6738k| 2.0 | 305M| 36 | 5 | 40 |8855 | 40 | 16 | 21 |2325k|7091 | 0.000000e+00 | -- | Inf
934.81/934.81 c 935s| 3330k|279626 | 6758k| 2.0 | 305M| 36 | 5 | 40 |7868 | 40 | 16 | 21 |2333k|7108 | 0.000000e+00 | -- | Inf
938.22/938.23 c 938s| 3340k|279757 | 6779k| 2.0 | 306M| 36 | 5 | 40 |7314 | 40 | 16 | 21 |2340k|7120 | 0.000000e+00 | -- | Inf
941.22/941.22 c 941s| 3350k|280038 | 6799k| 2.0 | 306M| 36 | - | 40 |7885 | 40 | 16 | 21 |2348k|7129 | 0.000000e+00 | -- | Inf
944.62/944.62 c 945s| 3360k|280088 | 6820k| 2.0 | 307M| 36 | 5 | 40 |6835 | 40 | 16 | 21 |2356k|7135 | 0.000000e+00 | -- | Inf
947.62/947.61 c 948s| 3370k|280439 | 6841k| 2.0 | 307M| 36 | - | 40 |7555 | 40 | 16 | 21 |2363k|7149 | 0.000000e+00 | -- | Inf
950.43/950.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.43/950.45 c 950s| 3380k|281102 | 6862k| 2.0 | 308M| 36 | 5 | 40 |8652 | 40 | 16 | 21 |2370k|7159 | 0.000000e+00 | -- | Inf
953.92/953.91 c 954s| 3390k|281118 | 6883k| 2.0 | 308M| 36 | 5 | 40 |7118 | 40 | 16 | 21 |2378k|7179 | 0.000000e+00 | -- | Inf
957.12/957.15 c 957s| 3400k|281246 | 6902k| 2.0 | 309M| 36 | 5 | 40 |6304 | 40 | 16 | 21 |2386k|7183 | 0.000000e+00 | -- | Inf
959.23/959.26 c 959s| 3410k|283541 | 6923k| 2.0 | 310M| 36 | - | 40 |7763 | 40 | 16 | 21 |2391k|7188 | 0.000000e+00 | -- | Inf
961.52/961.57 c 962s| 3420k|285471 | 6943k| 2.0 | 312M| 36 | 5 | 40 |8257 | 40 | 16 | 21 |2397k|7195 | 0.000000e+00 | -- | Inf
964.02/964.05 c 964s| 3430k|287061 | 6963k| 2.0 | 313M| 36 | - | 40 |8443 | 40 | 16 | 21 |2404k|7205 | 0.000000e+00 | -- | Inf
966.32/966.39 c 966s| 3440k|288870 | 6984k| 2.0 | 315M| 36 | - | 40 | 10k| 0 | 0 | 21 |2410k|7210 | 0.000000e+00 | -- | Inf
969.13/969.18 c 969s| 3450k|290472 | 7004k| 2.0 | 316M| 36 | 5 | 40 |9175 | 40 | 16 | 21 |2416k|7222 | 0.000000e+00 | -- | Inf
972.02/972.01 c 972s| 3460k|291687 | 7024k| 2.0 | 317M| 36 | 5 | 40 |9371 | 40 | 16 | 21 |2423k|7231 | 0.000000e+00 | -- | Inf
974.92/974.94 c 975s| 3470k|292727 | 7044k| 2.0 | 318M| 36 | 5 | 40 |8841 | 40 | 16 | 21 |2429k|7244 | 0.000000e+00 | -- | Inf
977.52/977.56 c 978s| 3480k|294007 | 7064k| 2.0 | 320M| 36 | - | 40 | 10k| 40 | 16 | 21 |2436k|7254 | 0.000000e+00 | -- | Inf
980.62/980.62 c 981s| 3490k|294819 | 7085k| 2.0 | 321M| 36 | 5 | 40 |9714 | 40 | 16 | 21 |2443k|7262 | 0.000000e+00 | -- | Inf
983.62/983.60 c 984s| 3500k|295773 | 7105k| 2.0 | 321M| 36 | 5 | 40 |9581 | 40 | 16 | 21 |2450k|7275 | 0.000000e+00 | -- | Inf
986.52/986.57 c 987s| 3510k|296616 | 7125k| 2.0 | 322M| 36 | 5 | 40 |9888 | 40 | 16 | 21 |2456k|7278 | 0.000000e+00 | -- | Inf
989.52/989.53 c 990s| 3520k|297604 | 7145k| 2.0 | 324M| 36 | 5 | 40 |9988 | 40 | 16 | 21 |2463k|7290 | 0.000000e+00 | -- | Inf
992.52/992.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
992.52/992.54 c 993s| 3530k|298417 | 7165k| 2.0 | 325M| 36 | - | 40 | 10k| 40 | 16 | 21 |2470k|7300 | 0.000000e+00 | -- | Inf
995.82/995.81 c 996s| 3540k|299125 | 7185k| 2.0 | 325M| 36 | - | 40 |9864 | 0 | 0 | 21 |2477k|7312 | 0.000000e+00 | -- | Inf
999.02/999.04 c 999s| 3550k|299539 | 7205k| 2.0 | 326M| 36 | 5 | 40 |9973 | 40 | 16 | 21 |2484k|7330 | 0.000000e+00 | -- | Inf
1001.82/1001.86 c 1002s| 3560k|300517 | 7225k| 2.0 | 328M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |2491k|7340 | 0.000000e+00 | -- | Inf
1005.43/1005.48 c 1005s| 3570k|300769 | 7245k| 2.0 | 328M| 36 | - | 40 | 10k| 40 | 16 | 21 |2499k|7350 | 0.000000e+00 | -- | Inf
1008.52/1008.60 c 1009s| 3580k|301485 | 7265k| 2.0 | 329M| 36 | - | 40 | 11k| 40 | 16 | 21 |2506k|7362 | 0.000000e+00 | -- | Inf
1012.12/1012.12 c 1012s| 3590k|301841 | 7285k| 2.0 | 329M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2513k|7368 | 0.000000e+00 | -- | Inf
1015.72/1015.75 c 1016s| 3600k|302001 | 7306k| 2.0 | 330M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2520k|7382 | 0.000000e+00 | -- | Inf
1019.12/1019.17 c 1019s| 3610k|302192 | 7326k| 2.0 | 330M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2528k|7397 | 0.000000e+00 | -- | Inf
1022.52/1022.59 c 1023s| 3620k|302701 | 7346k| 2.0 | 331M| 36 | - | 40 | 11k| 40 | 16 | 21 |2535k|7406 | 0.000000e+00 | -- | Inf
1025.32/1025.37 c 1025s| 3630k|303765 | 7366k| 2.0 | 333M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |2542k|7415 | 0.000000e+00 | -- | Inf
1029.22/1029.21 c 1029s| 3640k|304077 | 7386k| 2.0 | 333M| 36 | - | 40 | 11k| 40 | 16 | 21 |2550k|7428 | 0.000000e+00 | -- | Inf
1032.83/1032.87 c 1033s| 3650k|304415 | 7406k| 2.0 | 333M| 36 | - | 40 | 11k| 40 | 16 | 21 |2557k|7437 | 0.000000e+00 | -- | Inf
1036.62/1036.64 c 1037s| 3660k|304557 | 7426k| 2.0 | 334M| 36 | - | 40 | 11k| 40 | 16 | 21 |2565k|7447 | 0.000000e+00 | -- | Inf
1040.42/1040.45 c 1040s| 3670k|304681 | 7446k| 2.0 | 334M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |2572k|7460 | 0.000000e+00 | -- | Inf
1043.71/1043.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1043.71/1043.72 c 1044s| 3680k|305351 | 7466k| 2.0 | 335M| 36 | - | 40 | 12k| 0 | 0 | 21 |2579k|7471 | 0.000000e+00 | -- | Inf
1047.52/1047.50 c 1047s| 3690k|305605 | 7486k| 2.0 | 336M| 36 | - | 40 | 11k| 40 | 16 | 21 |2587k|7481 | 0.000000e+00 | -- | Inf
1051.12/1051.14 c 1051s| 3700k|305982 | 7506k| 2.0 | 336M| 36 | - | 40 | 11k| 40 | 16 | 21 |2594k|7486 | 0.000000e+00 | -- | Inf
1054.72/1054.70 c 1055s| 3710k|306315 | 7526k| 2.0 | 337M| 36 | - | 40 | 12k| 40 | 16 | 21 |2601k|7496 | 0.000000e+00 | -- | Inf
1058.13/1058.14 c 1058s| 3720k|306792 | 7547k| 2.0 | 338M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |2609k|7509 | 0.000000e+00 | -- | Inf
1062.32/1062.30 c 1062s| 3730k|306766 | 7567k| 2.0 | 338M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |2617k|7523 | 0.000000e+00 | -- | Inf
1066.12/1066.16 c 1066s| 3740k|306865 | 7588k| 2.0 | 339M| 36 | - | 40 | 12k| 0 | 0 | 21 |2624k|7536 | 0.000000e+00 | -- | Inf
1069.82/1069.83 c 1070s| 3750k|307028 | 7608k| 2.0 | 339M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |2632k|7547 | 0.000000e+00 | -- | Inf
1073.82/1073.80 c 1074s| 3760k|307040 | 7628k| 2.0 | 339M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |2639k|7558 | 0.000000e+00 | -- | Inf
1078.32/1078.35 c 1078s| 3770k|306830 | 7648k| 2.0 | 339M| 36 | - | 40 | 10k| 0 | 0 | 21 |2647k|7573 | 0.000000e+00 | -- | Inf
1082.02/1082.09 c 1082s| 3780k|307077 | 7669k| 2.0 | 339M| 36 | - | 40 |9934 | 40 | 16 | 21 |2655k|7580 | 0.000000e+00 | -- | Inf
1085.22/1085.26 c 1085s| 3790k|307663 | 7689k| 2.0 | 341M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |2662k|7589 | 0.000000e+00 | -- | Inf
1089.42/1089.49 c 1089s| 3800k|307676 | 7709k| 2.0 | 340M| 36 | 5 | 40 |9078 | 40 | 16 | 21 |2670k|7593 | 0.000000e+00 | -- | Inf
1092.83/1092.88 c 1093s| 3810k|308188 | 7730k| 2.0 | 341M| 36 | - | 40 |9689 | 40 | 16 | 21 |2677k|7602 | 0.000000e+00 | -- | Inf
1096.02/1096.05 c 1096s| 3820k|308906 | 7751k| 2.0 | 342M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2684k|7611 | 0.000000e+00 | -- | Inf
1098.72/1098.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.72/1098.74 c 1099s| 3830k|310046 | 7771k| 2.0 | 343M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |2691k|7622 | 0.000000e+00 | -- | Inf
1101.92/1101.91 c 1102s| 3840k|310448 | 7793k| 2.0 | 344M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |2699k|7630 | 0.000000e+00 | -- | Inf
1105.54/1105.51 c 1106s| 3850k|310449 | 7813k| 2.0 | 344M| 36 | - | 40 | 10k| 40 | 16 | 21 |2707k|7633 | 0.000000e+00 | -- | Inf
1109.42/1109.44 c 1109s| 3860k|310684 | 7834k| 2.0 | 344M| 36 | 5 | 40 |9484 | 40 | 16 | 21 |2714k|7642 | 0.000000e+00 | -- | Inf
1113.02/1113.10 c 1113s| 3870k|310763 | 7855k| 2.0 | 345M| 36 | 5 | 40 |8377 | 40 | 16 | 21 |2722k|7649 | 0.000000e+00 | -- | Inf
1116.22/1116.28 c 1116s| 3880k|311161 | 7876k| 2.0 | 345M| 36 | 5 | 40 |8005 | 40 | 16 | 21 |2730k|7659 | 0.000000e+00 | -- | Inf
1119.63/1119.67 c 1120s| 3890k|311319 | 7897k| 2.0 | 345M| 36 | - | 40 |7421 | 40 | 16 | 21 |2737k|7662 | 0.000000e+00 | -- | Inf
1122.92/1122.91 c 1123s| 3900k|311560 | 7917k| 2.0 | 346M| 36 | - | 40 |7804 | 40 | 16 | 21 |2745k|7678 | 0.000000e+00 | -- | Inf
1126.22/1126.28 c 1126s| 3910k|311608 | 7937k| 2.0 | 346M| 36 | 5 | 40 |7479 | 40 | 16 | 21 |2753k|7684 | 0.000000e+00 | -- | Inf
1129.32/1129.37 c 1129s| 3920k|312296 | 7958k| 2.0 | 347M| 36 | - | 40 |8082 | 40 | 16 | 21 |2760k|7693 | 0.000000e+00 | -- | Inf
1132.02/1132.05 c 1132s| 3930k|313213 | 7980k| 2.0 | 348M| 36 | - | 40 |9175 | 40 | 16 | 21 |2767k|7704 | 0.000000e+00 | -- | Inf
1135.13/1135.16 c 1135s| 3940k|313656 | 8002k| 2.0 | 349M| 36 | 5 | 40 |8263 | 40 | 16 | 21 |2774k|7711 | 0.000000e+00 | -- | Inf
1138.63/1138.68 c 1139s| 3950k|313585 | 8022k| 2.0 | 349M| 36 | 5 | 40 |7426 | 40 | 16 | 21 |2782k|7727 | 0.000000e+00 | -- | Inf
1141.52/1141.53 c 1142s| 3960k|314283 | 8043k| 2.0 | 350M| 36 | 5 | 40 |8865 | 40 | 16 | 21 |2789k|7734 | 0.000000e+00 | -- | Inf
1144.72/1144.73 c 1145s| 3970k|314666 | 8064k| 2.0 | 351M| 36 | - | 40 |9141 | 40 | 16 | 21 |2797k|7741 | 0.000000e+00 | -- | Inf
1148.02/1148.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.02/1148.09 c 1148s| 3980k|314981 | 8084k| 2.0 | 351M| 36 | 5 | 40 |8161 | 40 | 16 | 21 |2804k|7751 | 0.000000e+00 | -- | Inf
1151.64/1151.68 c 1152s| 3990k|315026 | 8105k| 2.0 | 351M| 36 | 5 | 40 |7361 | 40 | 16 | 21 |2812k|7758 | 0.000000e+00 | -- | Inf
1154.93/1154.98 c 1155s| 4000k|315156 | 8125k| 2.0 | 352M| 36 | - | 40 |7515 | 40 | 16 | 21 |2819k|7763 | 0.000000e+00 | -- | Inf
1158.53/1158.52 c 1159s| 4010k|315138 | 8145k| 2.0 | 352M| 36 | 5 | 40 |7345 | 40 | 16 | 21 |2827k|7776 | 0.000000e+00 | -- | Inf
1161.42/1161.46 c 1161s| 4020k|315716 | 8166k| 2.0 | 353M| 36 | - | 40 |8584 | 0 | 0 | 21 |2834k|7785 | 0.000000e+00 | -- | Inf
1164.72/1164.76 c 1165s| 4030k|315776 | 8186k| 2.0 | 353M| 36 | 5 | 40 |7568 | 40 | 16 | 21 |2842k|7797 | 0.000000e+00 | -- | Inf
1167.73/1167.73 c 1168s| 4040k|316288 | 8206k| 2.0 | 354M| 36 | 5 | 40 |7924 | 40 | 16 | 21 |2849k|7809 | 0.000000e+00 | -- | Inf
1171.23/1171.26 c 1171s| 4050k|316187 | 8226k| 2.0 | 354M| 36 | - | 40 |6422 | 0 | 0 | 21 |2857k|7823 | 0.000000e+00 | -- | Inf
1173.74/1173.76 c 1174s| 4060k|317615 | 8248k| 2.0 | 356M| 36 | - | 40 |9369 | 40 | 16 | 21 |2864k|7828 | 0.000000e+00 | -- | Inf
1177.22/1177.26 c 1177s| 4070k|317746 | 8269k| 2.0 | 357M| 36 | - | 40 |8785 | 40 | 16 | 21 |2871k|7846 | 0.000000e+00 | -- | Inf
1180.43/1180.43 c 1180s| 4080k|318220 | 8289k| 2.0 | 357M| 36 | 5 | 40 |9079 | 40 | 16 | 21 |2878k|7854 | 0.000000e+00 | -- | Inf
1183.92/1183.97 c 1184s| 4090k|318358 | 8311k| 2.0 | 357M| 36 | - | 40 |8081 | 40 | 16 | 21 |2886k|7862 | 0.000000e+00 | -- | Inf
1187.32/1187.30 c 1187s| 4100k|318502 | 8331k| 2.0 | 358M| 36 | - | 40 |7585 | 40 | 16 | 21 |2894k|7865 | 0.000000e+00 | -- | Inf
1190.03/1190.11 c 1190s| 4110k|319272 | 8351k| 2.0 | 359M| 36 | 5 | 40 |9201 | 40 | 16 | 21 |2901k|7880 | 0.000000e+00 | -- | Inf
1193.02/1193.08 c 1193s| 4120k|319666 | 8371k| 2.0 | 360M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |2908k|7887 | 0.000000e+00 | -- | Inf
1196.62/1196.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1196.62/1196.61 c 1197s| 4130k|319843 | 8391k| 2.0 | 360M| 36 | - | 40 |8525 | 40 | 16 | 21 |2916k|7895 | 0.000000e+00 | -- | Inf
1200.14/1200.11 c 1200s| 4140k|319938 | 8411k| 2.0 | 360M| 36 | - | 40 |7690 | 40 | 16 | 21 |2924k|7908 | 0.000000e+00 | -- | Inf
1203.52/1203.58 c 1204s| 4150k|319884 | 8432k| 2.0 | 360M| 36 | 5 | 40 |6363 | 40 | 16 | 21 |2931k|7921 | 0.000000e+00 | -- | Inf
1206.93/1206.93 c 1207s| 4160k|319767 | 8452k| 2.0 | 360M| 36 | - | 40 |6312 | 40 | 16 | 21 |2939k|7925 | 0.000000e+00 | -- | Inf
1209.93/1210.00 c 1210s| 4170k|319989 | 8473k| 2.0 | 361M| 36 | - | 40 |6740 | 40 | 16 | 21 |2947k|7935 | 0.000000e+00 | -- | Inf
1213.03/1213.08 c 1213s| 4180k|320214 | 8493k| 2.0 | 362M| 36 | - | 40 |7180 | 0 | 0 | 21 |2954k|7944 | 0.000000e+00 | -- | Inf
1216.43/1216.48 c 1216s| 4190k|320171 | 8513k| 2.0 | 362M| 36 | 5 | 40 |6929 | 40 | 16 | 21 |2962k|7959 | 0.000000e+00 | -- | Inf
1219.53/1219.52 c 1220s| 4200k|320448 | 8533k| 2.0 | 363M| 36 | - | 40 |8216 | 40 | 16 | 21 |2970k|7977 | 0.000000e+00 | -- | Inf
1222.73/1222.72 c 1223s| 4210k|320740 | 8554k| 2.0 | 363M| 36 | - | 40 |7933 | 40 | 16 | 21 |2977k|7986 | 0.000000e+00 | -- | Inf
1225.72/1225.79 c 1226s| 4220k|321203 | 8575k| 2.0 | 364M| 36 | - | 40 |8437 | 40 | 16 | 21 |2985k|7992 | 0.000000e+00 | -- | Inf
1229.02/1229.01 c 1229s| 4230k|321377 | 8596k| 2.0 | 364M| 36 | - | 40 |7803 | 0 | 0 | 21 |2993k|8002 | 0.000000e+00 | -- | Inf
1232.04/1232.02 c 1232s| 4240k|321850 | 8617k| 2.0 | 365M| 36 | - | 40 |9124 | 40 | 16 | 21 |3000k|8012 | 0.000000e+00 | -- | Inf
1234.83/1234.89 c 1235s| 4250k|322678 | 8637k| 2.0 | 366M| 36 | - | 40 |9302 | 0 | 0 | 21 |3007k|8018 | 0.000000e+00 | -- | Inf
1237.72/1237.76 c 1238s| 4260k|323304 | 8657k| 2.0 | 367M| 36 | - | 40 | 10k| 40 | 16 | 21 |3015k|8030 | 0.000000e+00 | -- | Inf
1241.12/1241.18 c 1241s| 4270k|323299 | 8677k| 2.0 | 367M| 36 | - | 40 |9272 | 40 | 16 | 21 |3023k|8036 | 0.000000e+00 | -- | Inf
1244.23/1244.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.23/1244.29 c 1244s| 4280k|323659 | 8698k| 2.0 | 368M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3031k|8049 | 0.000000e+00 | -- | Inf
1247.52/1247.55 c 1248s| 4290k|324402 | 8718k| 2.0 | 369M| 36 | 5 | 40 |9306 | 40 | 16 | 21 |3038k|8053 | 0.000000e+00 | -- | Inf
1250.82/1250.88 c 1251s| 4300k|324659 | 8738k| 2.0 | 369M| 36 | - | 40 |9508 | 40 | 16 | 21 |3046k|8062 | 0.000000e+00 | -- | Inf
1254.43/1254.45 c 1254s| 4310k|324609 | 8759k| 2.0 | 369M| 36 | - | 40 |7522 | 40 | 16 | 21 |3053k|8067 | 0.000000e+00 | -- | Inf
1257.73/1257.70 c 1258s| 4320k|324892 | 8779k| 2.0 | 370M| 36 | 5 | 40 |7816 | 40 | 16 | 21 |3061k|8077 | 0.000000e+00 | -- | Inf
1261.22/1261.24 c 1261s| 4330k|324722 | 8800k| 2.0 | 370M| 36 | - | 40 |6401 | 40 | 16 | 21 |3069k|8085 | 0.000000e+00 | -- | Inf
1264.12/1264.19 c 1264s| 4340k|325340 | 8821k| 2.0 | 371M| 36 | 5 | 40 |8100 | 40 | 16 | 21 |3076k|8090 | 0.000000e+00 | -- | Inf
1266.92/1267.00 c 1267s| 4350k|326078 | 8842k| 2.0 | 372M| 36 | - | 40 | 10k| 0 | 0 | 21 |3083k|8101 | 0.000000e+00 | -- | Inf
1270.33/1270.39 c 1270s| 4360k|326379 | 8864k| 2.0 | 373M| 36 | 5 | 40 |9628 | 40 | 16 | 21 |3091k|8110 | 0.000000e+00 | -- | Inf
1274.03/1274.02 c 1274s| 4370k|326432 | 8884k| 2.0 | 373M| 36 | 5 | 40 |7859 | 40 | 16 | 21 |3099k|8117 | 0.000000e+00 | -- | Inf
1277.23/1277.25 c 1277s| 4380k|326632 | 8905k| 2.0 | 373M| 36 | 5 | 40 |7645 | 40 | 16 | 21 |3106k|8126 | 0.000000e+00 | -- | Inf
1280.73/1280.72 c 1281s| 4390k|326591 | 8925k| 2.0 | 373M| 36 | 5 | 40 |7067 | 40 | 16 | 21 |3114k|8132 | 0.000000e+00 | -- | Inf
1283.82/1283.80 c 1284s| 4400k|326862 | 8945k| 2.0 | 374M| 36 | 5 | 40 |8231 | 40 | 16 | 21 |3121k|8142 | 0.000000e+00 | -- | Inf
1286.73/1286.77 c 1287s| 4410k|327539 | 8967k| 2.0 | 375M| 36 | 5 | 40 |9773 | 40 | 16 | 21 |3128k|8149 | 0.000000e+00 | -- | Inf
1290.12/1290.20 c 1290s| 4420k|327847 | 8988k| 2.0 | 375M| 36 | 5 | 40 |7675 | 40 | 16 | 21 |3136k|8152 | 0.000000e+00 | -- | Inf
1293.54/1293.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1293.54/1293.60 c 1294s| 4430k|327921 | 9009k| 2.0 | 376M| 36 | - | 40 |7537 | 40 | 16 | 21 |3144k|8169 | 0.000000e+00 | -- | Inf
1296.53/1296.55 c 1297s| 4440k|328427 | 9029k| 2.0 | 377M| 36 | 5 | 40 |8424 | 40 | 16 | 21 |3151k|8172 | 0.000000e+00 | -- | Inf
1299.72/1299.75 c 1300s| 4450k|328683 | 9049k| 2.0 | 377M| 36 | - | 40 |8490 | 40 | 16 | 21 |3158k|8175 | 0.000000e+00 | -- | Inf
1303.54/1303.52 c 1304s| 4460k|328497 | 9069k| 2.0 | 377M| 36 | - | 40 |7100 | 40 | 16 | 21 |3166k|8180 | 0.000000e+00 | -- | Inf
1305.83/1305.85 c 1306s| 4470k|330000 | 9089k| 2.0 | 379M| 36 | - | 40 |9361 | 40 | 16 | 21 |3173k|8181 | 0.000000e+00 | -- | Inf
1308.53/1308.55 c 1309s| 4480k|330923 | 9110k| 2.0 | 380M| 36 | - | 40 | 10k| 40 | 16 | 21 |3180k|8189 | 0.000000e+00 | -- | Inf
1311.43/1311.41 c 1311s| 4490k|331491 | 9131k| 2.0 | 381M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3187k|8195 | 0.000000e+00 | -- | Inf
1314.44/1314.44 c 1314s| 4500k|331769 | 9153k| 2.0 | 382M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3195k|8197 | 0.000000e+00 | -- | Inf
1318.03/1318.02 c 1318s| 4510k|331948 | 9174k| 2.0 | 381M| 36 | - | 40 |8320 | 40 | 16 | 21 |3202k|8207 | 0.000000e+00 | -- | Inf
1321.83/1321.81 c 1322s| 4520k|331777 | 9194k| 2.0 | 381M| 36 | - | 40 |7090 | 40 | 16 | 21 |3210k|8215 | 0.000000e+00 | -- | Inf
1325.12/1325.10 c 1325s| 4530k|331925 | 9215k| 2.0 | 382M| 36 | 5 | 40 |7144 | 40 | 16 | 21 |3218k|8220 | 0.000000e+00 | -- | Inf
1328.32/1328.31 c 1328s| 4540k|332246 | 9235k| 2.0 | 382M| 36 | - | 40 |7471 | 40 | 16 | 21 |3225k|8222 | 0.000000e+00 | -- | Inf
1331.13/1331.19 c 1331s| 4550k|332618 | 9256k| 2.0 | 384M| 36 | - | 40 |9572 | 40 | 16 | 21 |3233k|8229 | 0.000000e+00 | -- | Inf
1334.93/1334.90 c 1335s| 4560k|332631 | 9276k| 2.0 | 383M| 36 | 5 | 40 |8174 | 40 | 16 | 21 |3241k|8242 | 0.000000e+00 | -- | Inf
1338.03/1338.10 c 1338s| 4570k|332973 | 9296k| 2.0 | 384M| 36 | 5 | 40 |8253 | 40 | 16 | 21 |3248k|8248 | 0.000000e+00 | -- | Inf
1341.03/1341.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.03/1341.06 c 1341s| 4580k|333618 | 9317k| 2.0 | 385M| 36 | 5 | 40 |9330 | 40 | 16 | 21 |3255k|8258 | 0.000000e+00 | -- | Inf
1344.33/1344.35 c 1344s| 4590k|333878 | 9338k| 2.0 | 385M| 36 | 5 | 40 |9047 | 40 | 16 | 21 |3263k|8265 | 0.000000e+00 | -- | Inf
1348.03/1348.00 c 1348s| 4600k|333850 | 9358k| 2.0 | 385M| 36 | - | 40 |7596 | 40 | 16 | 21 |3271k|8273 | 0.000000e+00 | -- | Inf
1351.42/1351.48 c 1351s| 4610k|333904 | 9379k| 2.0 | 386M| 36 | - | 40 |7092 | 0 | 0 | 21 |3278k|8280 | 0.000000e+00 | -- | Inf
1353.93/1353.98 c 1354s| 4620k|335680 | 9400k| 2.0 | 387M| 36 | 5 | 40 |8556 | 40 | 16 | 21 |3285k|8283 | 0.000000e+00 | -- | Inf
1356.53/1356.50 c 1356s| 4630k|337360 | 9422k| 2.0 | 389M| 36 | 5 | 40 |9494 | 40 | 16 | 21 |3291k|8295 | 0.000000e+00 | -- | Inf
1359.13/1359.12 c 1359s| 4640k|338950 | 9444k| 2.0 | 390M| 36 | 5 | 40 |9168 | 40 | 16 | 21 |3297k|8299 | 0.000000e+00 | -- | Inf
1361.74/1361.79 c 1362s| 4650k|340417 | 9466k| 2.0 | 391M| 36 | - | 40 |9709 | 40 | 16 | 21 |3303k|8310 | 0.000000e+00 | -- | Inf
1364.43/1364.49 c 1364s| 4660k|341789 | 9487k| 2.0 | 393M| 36 | - | 40 | 10k| 40 | 16 | 21 |3310k|8318 | 0.000000e+00 | -- | Inf
1367.63/1367.60 c 1368s| 4670k|342482 | 9509k| 2.0 | 394M| 36 | 5 | 40 |9514 | 40 | 16 | 21 |3317k|8326 | 0.000000e+00 | -- | Inf
1370.54/1370.58 c 1371s| 4680k|343308 | 9531k| 2.0 | 395M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3324k|8330 | 0.000000e+00 | -- | Inf
1373.63/1373.67 c 1374s| 4690k|344105 | 9552k| 2.0 | 396M| 36 | - | 40 |9783 | 40 | 16 | 21 |3331k|8336 | 0.000000e+00 | -- | Inf
1376.43/1376.44 c 1376s| 4700k|345349 | 9575k| 2.0 | 397M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3337k|8346 | 0.000000e+00 | -- | Inf
1379.63/1379.65 c 1380s| 4710k|345974 | 9597k| 2.0 | 398M| 36 | - | 40 | 10k| 40 | 16 | 21 |3344k|8356 | 0.000000e+00 | -- | Inf
1382.75/1382.76 c 1383s| 4720k|346798 | 9619k| 2.0 | 399M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3351k|8366 | 0.000000e+00 | -- | Inf
1386.05/1386.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.05/1386.02 c 1386s| 4730k|347560 | 9640k| 2.0 | 400M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3358k|8375 | 0.000000e+00 | -- | Inf
1389.35/1389.37 c 1389s| 4740k|348194 | 9662k| 2.0 | 401M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3365k|8377 | 0.000000e+00 | -- | Inf
1392.64/1392.66 c 1393s| 4750k|348710 | 9684k| 2.0 | 402M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3372k|8383 | 0.000000e+00 | -- | Inf
1396.03/1396.01 c 1396s| 4760k|349303 | 9705k| 2.0 | 403M| 36 | - | 40 | 12k| 40 | 16 | 21 |3379k|8389 | 0.000000e+00 | -- | Inf
1399.73/1399.73 c 1400s| 4770k|349435 | 9727k| 2.0 | 403M| 36 | - | 40 | 11k| 40 | 16 | 21 |3387k|8394 | 0.000000e+00 | -- | Inf
1403.23/1403.23 c 1403s| 4780k|349788 | 9749k| 2.0 | 404M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3394k|8404 | 0.000000e+00 | -- | Inf
1406.94/1406.99 c 1407s| 4790k|349705 | 9772k| 2.0 | 404M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3402k|8412 | 0.000000e+00 | -- | Inf
1410.83/1410.84 c 1411s| 4800k|349846 | 9794k| 2.0 | 404M| 36 | - | 40 |9978 | 0 | 0 | 21 |3409k|8422 | 0.000000e+00 | -- | Inf
1414.33/1414.32 c 1414s| 4810k|350249 | 9815k| 2.0 | 405M| 36 | - | 40 |9361 | 40 | 16 | 21 |3417k|8435 | 0.000000e+00 | -- | Inf
1417.53/1417.55 c 1418s| 4820k|350699 | 9835k| 2.0 | 405M| 36 | 5 | 40 |8825 | 40 | 16 | 21 |3424k|8446 | 0.000000e+00 | -- | Inf
1420.93/1420.98 c 1421s| 4830k|351088 | 9856k| 2.0 | 406M| 36 | 5 | 40 |7930 | 40 | 16 | 21 |3431k|8451 | 0.000000e+00 | -- | Inf
1424.33/1424.40 c 1424s| 4840k|351247 | 9877k| 2.0 | 406M| 36 | 5 | 40 |8260 | 40 | 16 | 21 |3439k|8455 | 0.000000e+00 | -- | Inf
1427.94/1427.95 c 1428s| 4850k|351327 | 9897k| 2.0 | 406M| 36 | 5 | 40 |7794 | 40 | 16 | 21 |3446k|8462 | 0.000000e+00 | -- | Inf
1431.14/1431.16 c 1431s| 4860k|351725 | 9919k| 2.0 | 407M| 36 | 5 | 40 |8238 | 40 | 16 | 21 |3454k|8471 | 0.000000e+00 | -- | Inf
1434.63/1434.64 c 1435s| 4870k|351814 | 9939k| 2.0 | 407M| 36 | 5 | 40 |7481 | 40 | 16 | 21 |3462k|8473 | 0.000000e+00 | -- | Inf
1437.75/1437.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.75/1437.77 c 1438s| 4880k|352149 | 9960k| 2.0 | 408M| 36 | - | 40 |7862 | 0 | 0 | 21 |3469k|8480 | 0.000000e+00 | -- | Inf
1440.73/1440.79 c 1441s| 4890k|353266 | 9980k| 2.0 | 409M| 36 | 5 | 40 |8433 | 40 | 16 | 21 |3476k|8489 | 0.000000e+00 | -- | Inf
1443.33/1443.37 c 1443s| 4900k|354721 | 9999k| 2.0 | 410M| 36 | 5 | 40 |9448 | 40 | 16 | 21 |3482k|8496 | 0.000000e+00 | -- | Inf
1446.24/1446.21 c 1446s| 4910k|355647 | 10019k| 2.0 | 411M| 36 | 5 | 40 |9667 | 40 | 16 | 21 |3489k|8504 | 0.000000e+00 | -- | Inf
1449.14/1449.10 c 1449s| 4920k|356364 | 10038k| 2.0 | 413M| 36 | - | 40 | 10k| 40 | 16 | 21 |3496k|8511 | 0.000000e+00 | -- | Inf
1452.04/1452.09 c 1452s| 4930k|357028 | 10058k| 2.0 | 413M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3503k|8517 | 0.000000e+00 | -- | Inf
1455.35/1455.34 c 1455s| 4940k|357415 | 10078k| 2.0 | 414M| 36 | - | 40 | 10k| 40 | 16 | 21 |3511k|8530 | 0.000000e+00 | -- | Inf
1458.43/1458.51 c 1459s| 4950k|357810 | 10097k| 2.0 | 415M| 36 | - | 40 | 11k| 40 | 16 | 21 |3518k|8537 | 0.000000e+00 | -- | Inf
1461.94/1461.92 c 1462s| 4960k|357856 | 10117k| 2.0 | 415M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3526k|8550 | 0.000000e+00 | -- | Inf
1465.34/1465.33 c 1465s| 4970k|357729 | 10137k| 2.0 | 415M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3534k|8563 | 0.000000e+00 | -- | Inf
1469.33/1469.34 c 1469s| 4980k|357505 | 10158k| 2.0 | 415M| 36 | - | 40 |8428 | 40 | 16 | 21 |3541k|8570 | 0.000000e+00 | -- | Inf
1472.73/1472.70 c 1473s| 4990k|357880 | 10179k| 2.0 | 415M| 36 | 5 | 40 |9020 | 40 | 16 | 21 |3549k|8578 | 0.000000e+00 | -- | Inf
1475.73/1475.77 c 1476s| 5000k|359076 | 10200k| 2.0 | 417M| 36 | - | 40 | 10k| 40 | 16 | 21 |3556k|8585 | 0.000000e+00 | -- | Inf
1478.54/1478.52 c 1479s| 5010k|360559 | 10221k| 2.0 | 418M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3562k|8595 | 0.000000e+00 | -- | Inf
1481.64/1481.68 c 1482s| 5020k|361418 | 10242k| 2.0 | 419M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3569k|8601 | 0.000000e+00 | -- | Inf
1484.95/1484.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.95/1484.95 c 1485s| 5030k|362017 | 10263k| 2.0 | 420M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |3576k|8606 | 0.000000e+00 | -- | Inf
1488.43/1488.49 c 1488s| 5040k|362321 | 10284k| 2.0 | 421M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |3583k|8618 | 0.000000e+00 | -- | Inf
1492.03/1492.00 c 1492s| 5050k|362697 | 10305k| 2.0 | 422M| 36 | - | 40 | 13k| 40 | 16 | 21 |3590k|8626 | 0.000000e+00 | -- | Inf
1495.73/1495.73 c 1496s| 5060k|362835 | 10327k| 2.0 | 422M| 36 | - | 40 | 13k| 40 | 16 | 21 |3598k|8633 | 0.000000e+00 | -- | Inf
1499.54/1499.54 c 1500s| 5070k|363280 | 10346k| 2.0 | 423M| 36 | - | 40 | 11k| 40 | 16 | 21 |3605k|8643 | 0.000000e+00 | -- | Inf
1503.83/1503.83 c 1504s| 5080k|363084 | 10367k| 2.0 | 422M| 36 | - | 40 |9279 | 40 | 16 | 21 |3613k|8648 | 0.000000e+00 | -- | Inf
1507.23/1507.24 c 1507s| 5090k|363519 | 10387k| 2.0 | 423M| 36 | 5 | 40 |9254 | 40 | 16 | 21 |3620k|8663 | 0.000000e+00 | -- | Inf
1510.73/1510.73 c 1511s| 5100k|363613 | 10407k| 2.0 | 423M| 36 | 5 | 40 |8720 | 40 | 16 | 21 |3628k|8673 | 0.000000e+00 | -- | Inf
1513.93/1513.94 c 1514s| 5110k|364089 | 10428k| 2.0 | 424M| 36 | 5 | 40 |9962 | 40 | 16 | 21 |3635k|8676 | 0.000000e+00 | -- | Inf
1517.13/1517.19 c 1517s| 5120k|364568 | 10448k| 2.0 | 425M| 36 | - | 40 | 11k| 40 | 16 | 21 |3643k|8681 | 0.000000e+00 | -- | Inf
1521.04/1521.03 c 1521s| 5130k|364629 | 10468k| 2.0 | 425M| 36 | - | 40 | 10k| 0 | 0 | 21 |3650k|8687 | 0.000000e+00 | -- | Inf
1524.83/1524.80 c 1525s| 5140k|364636 | 10489k| 2.0 | 425M| 36 | - | 40 |8758 | 40 | 16 | 21 |3658k|8692 | 0.000000e+00 | -- | Inf
1528.04/1528.01 c 1528s| 5150k|365190 | 10510k| 2.0 | 426M| 36 | - | 40 | 10k| 40 | 16 | 21 |3665k|8695 | 0.000000e+00 | -- | Inf
1531.44/1531.44 c 1531s| 5160k|365498 | 10530k| 2.0 | 426M| 36 | 5 | 40 |8816 | 40 | 16 | 21 |3673k|8701 | 0.000000e+00 | -- | Inf
1534.74/1534.79 c 1535s| 5170k|365717 | 10551k| 2.0 | 427M| 36 | - | 40 |8556 | 40 | 16 | 21 |3681k|8707 | 0.000000e+00 | -- | Inf
1537.85/1537.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1537.85/1537.82 c 1538s| 5180k|366135 | 10572k| 2.0 | 428M| 36 | - | 40 |9718 | 0 | 0 | 21 |3688k|8722 | 0.000000e+00 | -- | Inf
1540.74/1540.74 c 1541s| 5190k|366623 | 10593k| 2.0 | 429M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3695k|8729 | 0.000000e+00 | -- | Inf
1544.45/1544.46 c 1544s| 5200k|366789 | 10613k| 2.0 | 428M| 36 | - | 40 |8233 | 40 | 16 | 21 |3703k|8733 | 0.000000e+00 | -- | Inf
1547.75/1547.73 c 1548s| 5210k|367140 | 10633k| 2.0 | 429M| 36 | 5 | 40 |7714 | 40 | 16 | 21 |3710k|8739 | 0.000000e+00 | -- | Inf
1551.33/1551.31 c 1551s| 5220k|367051 | 10654k| 2.0 | 429M| 36 | - | 40 |6926 | 40 | 16 | 21 |3718k|8746 | 0.000000e+00 | -- | Inf
1554.54/1554.55 c 1555s| 5230k|367243 | 10674k| 2.0 | 430M| 36 | - | 40 |7892 | 40 | 16 | 21 |3726k|8751 | 0.000000e+00 | -- | Inf
1557.94/1557.95 c 1558s| 5240k|367297 | 10695k| 2.0 | 430M| 36 | - | 40 |8405 | 40 | 16 | 21 |3733k|8759 | 0.000000e+00 | -- | Inf
1561.23/1561.21 c 1561s| 5250k|367471 | 10715k| 2.0 | 431M| 36 | 5 | 40 |8965 | 40 | 16 | 21 |3741k|8769 | 0.000000e+00 | -- | Inf
1564.73/1564.75 c 1565s| 5260k|367395 | 10735k| 2.0 | 430M| 36 | 5 | 40 |7534 | 40 | 16 | 21 |3749k|8779 | 0.000000e+00 | -- | Inf
1567.63/1567.69 c 1568s| 5270k|367968 | 10756k| 2.0 | 432M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3756k|8783 | 0.000000e+00 | -- | Inf
1571.53/1571.52 c 1572s| 5280k|367810 | 10776k| 2.0 | 431M| 36 | - | 40 |6656 | 40 | 16 | 21 |3764k|8791 | 0.000000e+00 | -- | Inf
1575.15/1575.15 c 1575s| 5290k|367520 | 10797k| 2.0 | 431M| 36 | 5 | 40 |6083 | 40 | 16 | 21 |3772k|8794 | 0.000000e+00 | -- | Inf
1578.45/1578.42 c 1578s| 5300k|367696 | 10819k| 2.0 | 432M| 36 | 5 | 40 |7829 | 40 | 16 | 21 |3780k|8805 | 0.000000e+00 | -- | Inf
1581.94/1581.99 c 1582s| 5310k|367650 | 10839k| 2.0 | 432M| 36 | 5 | 40 |6369 | 40 | 16 | 21 |3787k|8817 | 0.000000e+00 | -- | Inf
1585.34/1585.32 c 1585s| 5320k|367826 | 10860k| 2.0 | 432M| 36 | 5 | 40 |7054 | 40 | 16 | 21 |3795k|8831 | 0.000000e+00 | -- | Inf
1588.73/1588.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1588.73/1588.74 c 1589s| 5330k|367759 | 10882k| 2.0 | 433M| 36 | - | 40 |6891 | 40 | 16 | 21 |3803k|8836 | 0.000000e+00 | -- | Inf
1592.33/1592.32 c 1592s| 5340k|367542 | 10902k| 2.0 | 433M| 36 | 5 | 40 |6179 | 40 | 16 | 21 |3810k|8844 | 0.000000e+00 | -- | Inf
1595.64/1595.68 c 1596s| 5350k|367488 | 10923k| 2.0 | 433M| 36 | 5 | 40 |6794 | 40 | 16 | 21 |3818k|8859 | 0.000000e+00 | -- | Inf
1598.74/1598.77 c 1599s| 5360k|367788 | 10944k| 2.0 | 434M| 36 | - | 40 |7886 | 40 | 16 | 21 |3826k|8870 | 0.000000e+00 | -- | Inf
1601.94/1601.98 c 1602s| 5370k|368263 | 10965k| 2.0 | 435M| 36 | 5 | 40 |8033 | 40 | 16 | 21 |3833k|8878 | 0.000000e+00 | -- | Inf
1605.13/1605.10 c 1605s| 5380k|368691 | 10985k| 2.0 | 436M| 36 | 5 | 40 |8913 | 40 | 16 | 21 |3840k|8879 | 0.000000e+00 | -- | Inf
1608.64/1608.66 c 1609s| 5390k|368724 | 11006k| 2.0 | 436M| 36 | 5 | 40 |8023 | 40 | 16 | 21 |3848k|8882 | 0.000000e+00 | -- | Inf
1612.34/1612.35 c 1612s| 5400k|368619 | 11027k| 2.0 | 436M| 36 | 5 | 40 |7765 | 40 | 16 | 21 |3856k|8888 | 0.000000e+00 | -- | Inf
1615.34/1615.33 c 1615s| 5410k|369882 | 11048k| 2.0 | 437M| 36 | 5 | 40 |8491 | 40 | 16 | 21 |3863k|8893 | 0.000000e+00 | -- | Inf
1617.74/1617.77 c 1618s| 5420k|372034 | 11070k| 2.0 | 439M| 36 | 5 | 40 |9475 | 40 | 16 | 21 |3869k|8897 | 0.000000e+00 | -- | Inf
1620.44/1620.49 c 1620s| 5430k|373693 | 11091k| 2.0 | 440M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |3875k|8903 | 0.000000e+00 | -- | Inf
1623.24/1623.28 c 1623s| 5440k|375372 | 11111k| 2.0 | 442M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3881k|8910 | 0.000000e+00 | -- | Inf
1626.23/1626.25 c 1626s| 5450k|376860 | 11132k| 2.0 | 443M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3887k|8916 | 0.000000e+00 | -- | Inf
1629.23/1629.21 c 1629s| 5460k|378144 | 11153k| 2.0 | 444M| 36 | - | 40 | 11k| 40 | 16 | 21 |3894k|8922 | 0.000000e+00 | -- | Inf
1632.35/1632.34 c 1632s| 5470k|379168 | 11174k| 2.0 | 445M| 36 | - | 40 | 11k| 40 | 16 | 21 |3900k|8924 | 0.000000e+00 | -- | Inf
1635.44/1635.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.44/1635.44 c 1635s| 5480k|380237 | 11195k| 2.0 | 447M| 36 | - | 40 | 11k| 40 | 16 | 21 |3907k|8932 | 0.000000e+00 | -- | Inf
1638.64/1638.66 c 1639s| 5490k|381101 | 11217k| 2.0 | 448M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3914k|8937 | 0.000000e+00 | -- | Inf
1641.74/1641.70 c 1642s| 5500k|382230 | 11238k| 2.0 | 449M| 36 | - | 40 | 12k| 40 | 16 | 21 |3920k|8943 | 0.000000e+00 | -- | Inf
1645.34/1645.34 c 1645s| 5510k|382797 | 11259k| 2.0 | 450M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3927k|8951 | 0.000000e+00 | -- | Inf
1648.54/1648.57 c 1649s| 5520k|383665 | 11280k| 2.0 | 451M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3934k|8958 | 0.000000e+00 | -- | Inf
1651.54/1651.59 c 1652s| 5530k|385057 | 11302k| 2.0 | 452M| 36 | - | 40 | 12k| 40 | 16 | 21 |3940k|8967 | 0.000000e+00 | -- | Inf
1655.14/1655.19 c 1655s| 5540k|385803 | 11323k| 2.0 | 453M| 36 | - | 40 | 12k| 40 | 16 | 21 |3947k|8975 | 0.000000e+00 | -- | Inf
1659.14/1659.15 c 1659s| 5550k|386113 | 11344k| 2.0 | 453M| 36 | - | 40 | 11k| 40 | 16 | 21 |3954k|8979 | 0.000000e+00 | -- | Inf
1662.94/1662.90 c 1663s| 5560k|386367 | 11365k| 2.0 | 454M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |3962k|8984 | 0.000000e+00 | -- | Inf
1666.14/1666.16 c 1666s| 5570k|387225 | 11387k| 2.0 | 456M| 36 | - | 40 | 13k| 40 | 16 | 21 |3968k|8989 | 0.000000e+00 | -- | Inf
1670.04/1670.02 c 1670s| 5580k|387636 | 11408k| 2.0 | 456M| 36 | - | 40 | 13k| 40 | 16 | 21 |3976k|8998 | 0.000000e+00 | -- | Inf
1673.54/1673.57 c 1674s| 5590k|388667 | 11429k| 2.0 | 457M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |3982k|9001 | 0.000000e+00 | -- | Inf
1676.84/1676.81 c 1677s| 5600k|389821 | 11450k| 2.0 | 458M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |3989k|9012 | 0.000000e+00 | -- | Inf
1680.44/1680.42 c 1680s| 5610k|390402 | 11471k| 2.0 | 459M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |3996k|9016 | 0.000000e+00 | -- | Inf
1683.94/1683.91 c 1684s| 5620k|391438 | 11493k| 2.0 | 461M| 36 | - | 40 | 14k| 40 | 16 | 21 |4003k|9019 | 0.000000e+00 | -- | Inf
1687.94/1687.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.94/1687.97 c 1688s| 5630k|391912 | 11515k| 2.0 | 461M| 36 | - | 40 | 14k| 0 | 0 | 21 |4011k|9025 | 0.000000e+00 | -- | Inf
1692.24/1692.20 c 1692s| 5640k|392266 | 11537k| 2.0 | 462M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |4018k|9032 | 0.000000e+00 | -- | Inf
1695.15/1695.17 c 1695s| 5650k|393977 | 11559k| 2.0 | 464M| 36 | 5 | 40 | 15k| 40 | 16 | 21 |4024k|9037 | 0.000000e+00 | -- | Inf
1698.84/1698.81 c 1699s| 5660k|395025 | 11580k| 2.0 | 465M| 36 | 5 | 40 | 15k| 40 | 16 | 21 |4031k|9041 | 0.000000e+00 | -- | Inf
1702.85/1702.85 c 1703s| 5670k|395622 | 11603k| 2.0 | 466M| 36 | 5 | 40 | 15k| 40 | 16 | 21 |4038k|9047 | 0.000000e+00 | -- | Inf
1707.34/1707.30 c 1707s| 5680k|395872 | 11625k| 2.0 | 466M| 36 | - | 40 | 13k| 40 | 16 | 21 |4045k|9057 | 0.000000e+00 | -- | Inf
1711.84/1711.80 c 1712s| 5690k|396003 | 11646k| 2.0 | 466M| 36 | - | 40 | 12k| 40 | 16 | 21 |4053k|9065 | 0.000000e+00 | -- | Inf
1716.14/1716.10 c 1716s| 5700k|396047 | 11667k| 2.0 | 467M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |4060k|9070 | 0.000000e+00 | -- | Inf
1720.35/1720.41 c 1720s| 5710k|395888 | 11689k| 2.0 | 467M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |4068k|9074 | 0.000000e+00 | -- | Inf
1725.14/1725.13 c 1725s| 5720k|395535 | 11710k| 2.0 | 466M| 36 | - | 40 |8024 | 40 | 16 | 21 |4076k|9076 | 0.000000e+00 | -- | Inf
1728.84/1728.86 c 1729s| 5730k|395513 | 11731k| 2.0 | 466M| 36 | - | 40 |7424 | 40 | 16 | 21 |4084k|9083 | 0.000000e+00 | -- | Inf
1732.24/1732.28 c 1732s| 5740k|395635 | 11751k| 2.0 | 467M| 36 | - | 40 |7982 | 40 | 16 | 21 |4091k|9090 | 0.000000e+00 | -- | Inf
1736.04/1736.00 c 1736s| 5750k|395609 | 11772k| 2.0 | 467M| 36 | 5 | 40 |7554 | 40 | 16 | 21 |4099k|9097 | 0.000000e+00 | -- | Inf
1739.34/1739.33 c 1739s| 5760k|395966 | 11793k| 2.0 | 468M| 36 | 5 | 40 |8166 | 40 | 16 | 21 |4107k|9103 | 0.000000e+00 | -- | Inf
1742.94/1742.91 c 1743s| 5770k|396057 | 11814k| 2.0 | 468M| 36 | 5 | 40 |7769 | 40 | 16 | 21 |4114k|9106 | 0.000000e+00 | -- | Inf
1745.54/1745.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.54/1745.61 c 1746s| 5780k|397259 | 11834k| 2.0 | 470M| 36 | - | 40 | 10k| 40 | 16 | 21 |4121k|9110 | 0.000000e+00 | -- | Inf
1748.84/1748.91 c 1749s| 5790k|397541 | 11855k| 2.0 | 470M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |4129k|9114 | 0.000000e+00 | -- | Inf
1752.64/1752.67 c 1753s| 5800k|397611 | 11876k| 2.0 | 470M| 36 | - | 40 |8930 | 40 | 16 | 21 |4137k|9120 | 0.000000e+00 | -- | Inf
1756.65/1756.68 c 1757s| 5810k|397306 | 11897k| 2.0 | 470M| 36 | - | 40 |7251 | 40 | 16 | 21 |4145k|9127 | 0.000000e+00 | -- | Inf
1760.34/1760.35 c 1760s| 5820k|397268 | 11917k| 2.0 | 470M| 36 | - | 40 |7410 | 0 | 0 | 21 |4153k|9138 | 0.000000e+00 | -- | Inf
1763.95/1763.95 c 1764s| 5830k|397232 | 11937k| 2.0 | 470M| 36 | - | 40 |7193 | 40 | 16 | 21 |4161k|9140 | 0.000000e+00 | -- | Inf
1767.34/1767.31 c 1767s| 5840k|397458 | 11958k| 2.0 | 471M| 36 | - | 40 |8073 | 40 | 16 | 21 |4168k|9146 | 0.000000e+00 | -- | Inf
1770.84/1770.86 c 1771s| 5850k|397633 | 11979k| 2.0 | 472M| 36 | 5 | 40 |8422 | 40 | 16 | 21 |4176k|9150 | 0.000000e+00 | -- | Inf
1774.54/1774.59 c 1775s| 5860k|397562 | 12000k| 2.0 | 472M| 36 | 5 | 40 |7820 | 40 | 16 | 21 |4184k|9153 | 0.000000e+00 | -- | Inf
1777.55/1777.52 c 1778s| 5870k|398371 | 12021k| 2.0 | 473M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |4191k|9165 | 0.000000e+00 | -- | Inf
1781.24/1781.24 c 1781s| 5880k|398449 | 12042k| 2.0 | 473M| 36 | 5 | 40 |8805 | 40 | 16 | 21 |4199k|9170 | 0.000000e+00 | -- | Inf
1785.14/1785.17 c 1785s| 5890k|398295 | 12062k| 2.0 | 473M| 36 | 5 | 40 |7194 | 40 | 16 | 21 |4207k|9176 | 0.000000e+00 | -- | Inf
1788.84/1788.82 c 1789s| 5900k|398108 | 12083k| 2.0 | 473M| 36 | 5 | 40 |6397 | 40 | 16 | 21 |4215k|9182 | 0.000000e+00 | -- | Inf
1791.85/1791.86 c 1792s| 5910k|398665 | 12104k| 2.0 | 474M| 36 | - | 40 |7596 | 0 | 0 | 21 |4222k|9188 | 0.000000e+00 | -- | Inf
1795.04/1795.07 c 1795s| 5920k|398986 | 12125k| 2.0 | 475M| 36 | 5 | 40 |9329 | 40 | 16 | 21 |4230k|9195 | 0.000000e+00 | -- | Inf
1798.64/1798.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1798.64/1798.63 c 1799s| 5930k|399043 | 12145k| 2.0 | 475M| 36 | - | 40 |7714 | 40 | 16 | 21 |4237k|9200 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 5934861
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.00 (included in solving)
1800.04/1800.00 c reading : 0.00 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3452521-1307095235.opb
1800.04/1800.00 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 11 initial, 11 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3452521-1307095235.opb
1800.04/1800.00 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 5 initial, 16054 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 0 0 6 0 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 3328797 0 4 0 1259 4661 0 0 6646504
1800.04/1800.00 c linear : 5+ 7 15236067 0 1 3 7057132 651083 7947166 0 0 0
1800.04/1800.00 c logicor : 0+ 6 7470402 0 0 0 5652272 40487 2881774 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 20.22 0.00 0.00 20.22 0.00 0.00 0.00
1800.04/1800.00 c linear : 112.93 0.00 98.84 0.00 0.00 0.00 14.08
1800.04/1800.00 c logicor : 545.96 0.00 538.82 0.00 0.00 0.00 7.14
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 0 0 0 0
1800.04/1800.00 c pseudoobj : 0 0 0 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 2.43 2.43 0.00
1800.04/1800.00 c rootredcost : 2.59 2.59 0.00
1800.04/1800.00 c pseudoobj : 1.83 1.83 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 20.30 691570 533446 1576755 28.1 259 24.8 -
1800.04/1800.00 c infeasible LP : 57.00 2194660 2194524 4385915 19.9 39704 24.7 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 4219669 19.6 - - -
1800.04/1800.00 c applied locally : - - - 21698 31.5 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 5 - - 20 - (maximal pool size: 97)
1800.04/1800.00 c redcost : 3.33 3328802 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 6 0 0 2 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 6 0 0 47 0
1800.04/1800.00 c cmir : 0.01 6 0 0 34 0
1800.04/1800.00 c flowcover : 0.01 6 0 0 36 0
1800.04/1800.00 c clique : 0.00 1 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.01 1 0 0 0 13
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 18.34 3328797 1259 4661 0 0 6646504
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 1.70 0 0
1800.04/1800.00 c crossover : 1.05 0 0
1800.04/1800.00 c guideddiving : 0.21 0 0
1800.04/1800.00 c coefdiving : 0.19 145 0
1800.04/1800.00 c pscostdiving : 0.22 145 0
1800.04/1800.00 c fracdiving : 0.21 145 0
1800.04/1800.00 c veclendiving : 0.21 145 0
1800.04/1800.00 c objpscostdiving : 0.18 73 0
1800.04/1800.00 c rootsoldiving : 0.18 73 0
1800.04/1800.00 c linesearchdiving : 0.20 146 0
1800.04/1800.00 c feaspump : 0.18 73 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c shiftandpropagate: 0.00 1 0
1800.04/1800.00 c simplerounding : 0.67 0 0
1800.04/1800.00 c zirounding : 8.55 0 0
1800.04/1800.00 c rounding : 1.39 25872 0
1800.04/1800.00 c shifting : 1.83 7300 0
1800.04/1800.00 c intshifting : 0.08 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.03 1 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c subnlp : 0.85 0 0
1800.04/1800.00 c trysol : 1.13 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 246.70 5290875 12150948 2.30 49253.30
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.13 2538 4677 1.84 34713.36
1800.04/1800.00 c strong branching : 0.82 9204 41777 4.54 51063.08
1800.04/1800.00 c (at root node) : - 12 358 29.83 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 5934861
1800.04/1800.00 c nodes (total) : 5934861
1800.04/1800.00 c nodes left : 399294
1800.04/1800.00 c max depth : 36
1800.04/1800.00 c max depth (total): 36
1800.04/1800.00 c backtracks : 1410927 (23.8%)
1800.04/1800.00 c delayed cutoffs : 312352
1800.04/1800.00 c repropagations : 5014039 (5172158 domain reductions, 274088 cutoffs)
1800.04/1800.00 c avg switch length: 5.84
1800.04/1800.00 c switching time : 503.39
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 124
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452521-1307095235/watcher-3452521-1307095235 -o /tmp/evaluation-result-3452521-1307095235/solver-3452521-1307095235 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452521-1307095235.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.01 1.94 3/373 9370
/proc/meminfo: memFree=22842368/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=15968 CPUtime=0 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 2768 0 0 0 0 0 0 0 25 0 1 0 821123998 16351232 2722 33554432000 4194304 9128323 140733518881360 18446744073709551615 8062775 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 3992 2465 505 1205 0 2783 0
[startup+0.0471959 s]
/proc/loadavg: 2.05 2.01 1.94 3/373 9370
/proc/meminfo: memFree=22842368/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=24848 CPUtime=0.03 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 5461 0 0 0 3 0 0 0 25 0 1 0 821123998 25444352 4805 33554432000 4194304 9128323 140733518881360 18446744073709551615 5160305 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 6212 4805 703 1205 0 5003 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24848
[startup+0.101207 s]
/proc/loadavg: 2.05 2.01 1.94 3/373 9370
/proc/meminfo: memFree=22842368/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=27268 CPUtime=0.09 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 6082 0 0 0 8 1 0 0 25 0 1 0 821123998 27922432 5426 33554432000 4194304 9128323 140733518881360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 6817 5426 722 1205 0 5608 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27268
[startup+0.300143 s]
/proc/loadavg: 2.05 2.01 1.94 3/373 9370
/proc/meminfo: memFree=22842368/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=27268 CPUtime=0.28 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 6084 0 0 0 27 1 0 0 25 0 1 0 821123998 27922432 5428 33554432000 4194304 9128323 140733518881360 18446744073709551615 7974736 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 6817 5428 723 1205 0 5608 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27268
[startup+0.701076 s]
/proc/loadavg: 2.05 2.01 1.94 3/373 9370
/proc/meminfo: memFree=22842368/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=27268 CPUtime=0.68 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 6087 0 0 0 66 2 0 0 25 0 1 0 821123998 27922432 5431 33554432000 4194304 9128323 140733518881360 18446744073709551615 5872480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 6817 5431 723 1205 0 5608 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27268
[startup+1.50098 s]
/proc/loadavg: 2.05 2.01 1.94 2/372 9372
/proc/meminfo: memFree=22843616/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=27268 CPUtime=1.49 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 6091 0 0 0 145 4 0 0 25 0 1 0 821123998 27922432 5435 33554432000 4194304 9128323 140733518881360 18446744073709551615 6581562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 6817 5435 723 1205 0 5608 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27268
[startup+3.10066 s]
/proc/loadavg: 1.96 2.00 1.93 2/372 9372
/proc/meminfo: memFree=22842748/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=27268 CPUtime=3.09 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 6099 0 0 0 301 8 0 0 25 0 1 0 821123998 27922432 5443 33554432000 4194304 9128323 140733518881360 18446744073709551615 4900892 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 6817 5443 723 1205 0 5608 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27268
[startup+6.30111 s]
/proc/loadavg: 1.96 2.00 1.93 3/374 9399
/proc/meminfo: memFree=22823236/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=27268 CPUtime=6.29 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 6300 0 0 0 614 15 0 0 25 0 1 0 821123998 27922432 5644 33554432000 4194304 9128323 140733518881360 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 6817 5644 723 1205 0 5608 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27268
[startup+12.7009 s]
/proc/loadavg: 1.97 2.00 1.93 3/374 9399
/proc/meminfo: memFree=22813960/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=33268 CPUtime=12.69 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 7921 0 0 0 1238 31 0 0 25 0 1 0 821123998 34066432 7265 33554432000 4194304 9128323 140733518881360 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 8317 7265 723 1205 0 7108 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33268
[startup+25.5006 s]
/proc/loadavg: 1.97 2.00 1.93 3/374 9399
/proc/meminfo: memFree=22782148/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=43304 CPUtime=25.49 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 10442 0 0 0 2488 61 0 0 25 0 1 0 821123998 44343296 9786 33554432000 4194304 9128323 140733518881360 18446744073709551615 4746302 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 10826 9786 723 1205 0 9617 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43304
[startup+51.1009 s]
/proc/loadavg: 1.98 2.00 1.93 3/374 9409
/proc/meminfo: memFree=22717176/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=62016 CPUtime=51.09 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 15152 0 0 0 4992 117 0 0 25 0 1 0 821123998 63504384 14496 33554432000 4194304 9128323 140733518881360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 15504 14496 723 1205 0 14295 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 62016
[startup+102.314 s]
/proc/loadavg: 1.99 2.00 1.93 3/374 9410
/proc/meminfo: memFree=22611304/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=94496 CPUtime=102.3 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 22761 0 0 0 10009 221 0 0 25 0 1 0 821123998 96763904 22105 33554432000 4194304 9128323 140733518881360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 23624 22105 723 1205 0 22415 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 94496
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.93 3/374 9412
/proc/meminfo: memFree=22537952/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=123844 CPUtime=162.29 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 30115 0 0 0 15903 326 0 0 25 0 1 0 821123998 126816256 29459 33554432000 4194304 9128323 140733518881360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 30961 29459 723 1205 0 29752 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 123844
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.93 3/374 9417
/proc/meminfo: memFree=22481720/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=149176 CPUtime=222.3 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 36553 0 0 0 21800 430 0 0 25 0 1 0 821123998 152756224 35897 33554432000 4194304 9128323 140733518881360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 37294 35897 723 1205 0 36085 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 149176
[startup+282.301 s]
/proc/loadavg: 2.05 2.01 1.94 3/374 9418
/proc/meminfo: memFree=22416544/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=169796 CPUtime=282.3 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 41771 0 0 0 27709 521 0 0 25 0 1 0 821123998 173871104 41115 33554432000 4194304 9128323 140733518881360 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 42449 41115 723 1205 0 41240 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 169796
[startup+342.301 s]
/proc/loadavg: 2.02 2.00 1.94 3/374 9420
/proc/meminfo: memFree=22338172/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=190960 CPUtime=342.3 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 47089 0 0 0 33608 622 0 0 25 0 1 0 821123998 195543040 46433 33554432000 4194304 9128323 140733518881360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 47740 46433 723 1205 0 46531 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 190960
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/374 9421
/proc/meminfo: memFree=22259916/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=209900 CPUtime=402.3 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 51918 0 0 0 39509 721 0 0 25 0 1 0 821123998 214937600 51262 33554432000 4194304 9128323 140733518881360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 52475 51262 723 1205 0 51266 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 209900
[startup+462.301 s]
/proc/loadavg: 2.04 2.01 1.94 3/374 9423
/proc/meminfo: memFree=22191572/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=225952 CPUtime=462.3 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 55906 0 0 0 45417 813 0 0 25 0 1 0 821123998 231374848 55250 33554432000 4194304 9128323 140733518881360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 56488 55250 723 1205 0 55279 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 225952
[startup+522.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/374 9424
/proc/meminfo: memFree=22133024/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=243096 CPUtime=522.3 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 59254 0 0 0 51325 905 0 0 25 0 1 0 821123998 248930304 58598 33554432000 4194304 9128323 140733518881360 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 60774 58598 723 1205 0 59565 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 243096
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/374 9426
/proc/meminfo: memFree=22068896/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=263552 CPUtime=582.31 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 64357 0 0 0 57234 997 0 0 25 0 1 0 821123998 269877248 63701 33554432000 4194304 9128323 140733518881360 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 65888 63701 723 1205 0 64679 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 263552
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.13 2.04 1.96 3/374 9433
/proc/meminfo: memFree=21824800/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=317068 CPUtime=822.32 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 77964 0 0 0 80910 1322 0 0 25 0 1 0 821123998 324677632 77308 33554432000 4194304 9128323 140733518881360 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 79267 77308 723 1205 0 78058 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 317068
[startup+882.301 s]
/proc/loadavg: 2.05 2.03 1.96 3/374 9434
/proc/meminfo: memFree=21755204/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=331656 CPUtime=882.31 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 81679 0 0 0 86819 1412 0 0 25 0 1 0 821123998 339615744 81023 33554432000 4194304 9128323 140733518881360 18446744073709551615 6509605 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 82914 81023 723 1205 0 81705 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 331656
[startup+942.301 s]
/proc/loadavg: 2.02 2.02 1.96 3/374 9436
/proc/meminfo: memFree=21695780/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=343424 CPUtime=942.32 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 84658 0 0 0 92735 1497 0 0 25 0 1 0 821123998 351666176 84002 33554432000 4194304 9128323 140733518881360 18446744073709551615 4241127 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 85856 84002 723 1205 0 84647 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 343424
[startup+1002.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/374 9437
/proc/meminfo: memFree=21623100/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=364660 CPUtime=1002.31 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 89959 0 0 0 98642 1589 0 0 25 0 1 0 821123998 373411840 89303 33554432000 4194304 9128323 140733518881360 18446744073709551615 5333032 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 91165 89303 723 1205 0 89956 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 364660
[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/374 9439
/proc/meminfo: memFree=21566784/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=374956 CPUtime=1062.32 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 92585 0 0 0 104570 1662 0 0 25 0 1 0 821123998 383954944 91929 33554432000 4194304 9128323 140733518881360 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 93739 91929 723 1205 0 92530 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 374956
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/374 9441
/proc/meminfo: memFree=21514560/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=382320 CPUtime=1122.32 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 94461 0 0 0 110494 1738 0 0 25 0 1 0 821123998 391495680 93805 33554432000 4194304 9128323 140733518881360 18446744073709551615 5318504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 95580 93805 723 1205 0 94371 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 382320
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/374 9442
/proc/meminfo: memFree=21463816/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=392816 CPUtime=1182.32 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 97174 0 0 0 116410 1822 0 0 25 0 1 0 821123998 402243584 96518 33554432000 4194304 9128323 140733518881360 18446744073709551615 5321251 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 98204 96518 723 1205 0 96995 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 392816
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/374 9444
/proc/meminfo: memFree=21451276/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=403896 CPUtime=1242.32 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 99827 0 0 0 122331 1901 0 0 25 0 1 0 821123998 413589504 99171 33554432000 4194304 9128323 140733518881360 18446744073709551615 4207901 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 100974 99171 723 1205 0 99765 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 403896
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/374 9445
/proc/meminfo: memFree=21434628/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=412340 CPUtime=1302.33 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 101956 0 0 0 128247 1986 0 0 25 0 1 0 821123998 422236160 101300 33554432000 4194304 9128323 140733518881360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 103085 101300 723 1205 0 101876 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 412340
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 1.97 3/374 9447
/proc/meminfo: memFree=21405720/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=426644 CPUtime=1362.33 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 105610 0 0 0 134153 2080 0 0 25 0 1 0 821123998 436883456 104954 33554432000 4194304 9128323 140733518881360 18446744073709551615 4240368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 106661 104954 723 1205 0 105452 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 426644
[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 1.97 3/374 9449
/proc/meminfo: memFree=21376180/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=439768 CPUtime=1422.34 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 109003 0 0 0 140072 2162 0 0 25 0 1 0 821123998 450322432 108347 33554432000 4194304 9128323 140733518881360 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 109942 108347 723 1205 0 108733 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 439768
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/374 9450
/proc/meminfo: memFree=21348504/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=456516 CPUtime=1482.33 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 113260 0 0 0 145988 2245 0 0 25 0 1 0 821123998 467472384 112604 33554432000 4194304 9128323 140733518881360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 114129 112604 723 1205 0 112920 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 456516
[startup+1542.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/374 9452
/proc/meminfo: memFree=21324680/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=466084 CPUtime=1542.33 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 115641 0 0 0 151908 2325 0 0 25 0 1 0 821123998 477270016 114985 33554432000 4194304 9128323 140733518881360 18446744073709551615 4241119 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 116521 114985 723 1205 0 115312 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 466084
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/374 9453
/proc/meminfo: memFree=21308672/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=470748 CPUtime=1602.34 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 116671 0 0 0 157830 2404 0 0 25 0 1 0 821123998 482045952 116015 33554432000 4194304 9128323 140733518881360 18446744073709551615 6581584 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 117687 116015 723 1205 0 116478 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 470748
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/374 9455
/proc/meminfo: memFree=21279512/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=489372 CPUtime=1662.34 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 121407 0 0 0 163740 2494 0 0 25 0 1 0 821123998 501116928 120751 33554432000 4194304 9128323 140733518881360 18446744073709551615 5334858 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 122343 120751 723 1205 0 121134 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 489372
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/374 9457
/proc/meminfo: memFree=21258168/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=504648 CPUtime=1722.34 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 125304 0 0 0 169663 2571 0 0 25 0 1 0 821123998 516759552 124648 33554432000 4194304 9128323 140733518881360 18446744073709551615 4553120 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 126162 124648 723 1205 0 124953 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 504648
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/374 9458
/proc/meminfo: memFree=21240660/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=510664 CPUtime=1782.34 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 126836 0 0 0 175583 2651 0 0 25 0 1 0 821123998 522919936 126180 33554432000 4194304 9128323 140733518881360 18446744073709551615 8125698 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9370/statm: 127666 126180 723 1205 0 126457 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 510664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/374 9459
/proc/meminfo: memFree=21232596/32951124 swapFree=37148216/67111528
[pid=9370] ppid=9368 vsize=512072 CPUtime=1800.05 cores=0,2,4,6
/proc/9370/stat : 9370 (scip-2.0.1.4.li) R 9368 9370 9067 0 -1 4202496 127195 0 0 0 177329 2676 0 0 18 0 1 0 821123998 524361728 126539 33554432000 4194304 9128323 140733518881360 18446744073709551615 5320780 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9370/statm: 128018 126539 725 1205 0 126809 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 512072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.09
CPU user time (s): 1773.3
CPU system time (s): 26.7859
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 512072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.3
system time used= 26.7859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 4976
runsolver used 6.99294 second user time and 14.1788 second system time
The end