0.00/0.00 c SCIP version 1.1.0.7
0.00/0.00 c LP-Solver SoPlex 1.4.1
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c read problem <HOME/instance-3734851-1338705495.opb>
0.00/0.00 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.00 c start presolving problem
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 7 del 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, 7 deleted 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 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.01 c 6 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 OPT-LIN
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 = c 13950
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 = c 1791
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 = c 10000
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving problem
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 34 | 251k| 0 | 6 | 50 | 6 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.01 c 0.0s| 1 | 0 | 112 | 278k| 0 | 9 | 50 | 6 | 6 | 50 | 11 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.01 c 0.0s| 1 | 0 | 121 | 309k| 0 | 13 | 50 | 6 | 6 | 50 | 17 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 134 | 336k| 0 | 12 | 50 | 6 | 6 | 50 | 21 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.02 c 0.0s| 1 | 0 | 139 | 352k| 0 | 16 | 50 | 6 | 6 | 50 | 24 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.03 c 0.0s| 1 | 0 | 159 | 368k| 0 | 13 | 50 | 6 | 6 | 50 | 27 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.03 c 0.0s| 1 | 0 | 166 | 381k| 0 | 15 | 50 | 6 | 6 | 50 | 29 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.05 c 0.0s| 1 | 2 | 166 | 382k| 0 | 15 | 50 | 6 | 6 | 50 | 29 | 23 | 0 | 15 | 0.000000e+00 | -- | Inf
1.59/1.69 c 1.6s| 10000 | 3641 | 24863 |3990k| 43 | - | 50 |3499 | 91 | 50 | 15 | 23 |4654 | 666 | 0.000000e+00 | -- | Inf
3.30/3.39 c 3.2s| 20000 | 6760 | 48561 |5972k| 43 | 6 | 50 |3122 | 15 | 50 | 15 | 23 |9612 | 846 | 0.000000e+00 | -- | Inf
4.99/5.08 c 4.8s| 30000 | 9711 | 72356 |8116k| 44 | 6 | 50 |3685 | 257 | 50 | 15 | 23 | 14k| 971 | 0.000000e+00 | -- | Inf
6.68/6.79 c 6.4s| 40000 | 12701 | 96354 | 10M| 44 | 6 | 50 |3767 | 33 | 50 | 15 | 23 | 19k|1092 | 0.000000e+00 | -- | Inf
8.49/8.55 c 8.0s| 50000 | 15568 |121026 | 12M| 44 | - | 50 |4412 | 131 | 50 | 15 | 23 | 24k|1184 | 0.000000e+00 | -- | Inf
10.28/10.34 c 9.7s| 60000 | 18272 |144878 | 14M| 44 | - | 50 |5092 | 168 | 50 | 15 | 23 | 30k|1298 | 0.000000e+00 | -- | Inf
12.09/12.15 c 11.4s| 70000 | 20995 |168905 | 16M| 44 | - | 50 |5460 | 166 | 50 | 15 | 23 | 35k|1420 | 0.000000e+00 | -- | Inf
13.99/14.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.99/14.08 c 13.2s| 80000 | 23522 |193048 | 18M| 45 | 6 | 50 |4915 | 99 | 50 | 15 | 23 | 40k|1519 | 0.000000e+00 | -- | Inf
15.89/15.96 c 15.0s| 90000 | 25933 |217102 | 20M| 45 | 6 | 50 |5173 | 425 | 50 | 15 | 23 | 46k|1610 | 0.000000e+00 | -- | Inf
17.78/17.88 c 16.8s|100000 | 28493 |241150 | 22M| 45 | 6 | 50 |5363 | 288 | 50 | 15 | 23 | 51k|1654 | 0.000000e+00 | -- | Inf
19.70/19.71 c 18.6s|110000 | 31283 |265291 | 24M| 45 | 6 | 50 |7028 | 45 | 50 | 15 | 23 | 57k|1715 | 0.000000e+00 | -- | Inf
21.58/21.61 c 20.4s|120000 | 33894 |288737 | 26M| 45 | 6 | 50 |7287 | 119 | 50 | 15 | 23 | 62k|1755 | 0.000000e+00 | -- | Inf
23.49/23.56 c 22.2s|130000 | 36387 |312426 | 28M| 45 | 6 | 50 |8062 | 14 | 50 | 15 | 23 | 67k|1777 | 0.000000e+00 | -- | Inf
25.58/25.69 c 24.2s|140000 | 38770 |335986 | 30M| 45 | - | 50 |6600 | 38 | 50 | 15 | 23 | 73k|1800 | 0.000000e+00 | -- | Inf
27.68/27.76 c 26.2s|150000 | 41003 |360098 | 31M| 45 | 6 | 50 |6036 | 28 | 50 | 15 | 23 | 78k|1831 | 0.000000e+00 | -- | Inf
29.78/29.83 c 28.1s|160000 | 43123 |384471 | 33M| 45 | - | 50 |6337 | 30 | 50 | 15 | 23 | 84k|1865 | 0.000000e+00 | -- | Inf
31.79/31.88 c 30.1s|170000 | 45423 |408684 | 35M| 45 | 6 | 50 |6235 | 77 | 50 | 15 | 23 | 90k|1912 | 0.000000e+00 | -- | Inf
33.78/33.86 c 31.9s|180000 | 47838 |432543 | 37M| 45 | - | 50 |6690 | 22 | 50 | 15 | 23 | 95k|1945 | 0.000000e+00 | -- | Inf
35.98/36.01 c 34.0s|190000 | 49971 |455835 | 38M| 45 | 6 | 50 |6653 | 17 | 50 | 15 | 23 | 101k|1977 | 0.000000e+00 | -- | Inf
38.09/38.14 c 36.0s|200000 | 52066 |479608 | 40M| 45 | 6 | 50 |6204 | 601 | 50 | 15 | 23 | 107k|2016 | 0.000000e+00 | -- | Inf
40.09/40.17 c 37.9s|210000 | 54443 |503891 | 42M| 45 | 6 | 50 |6775 | 64 | 50 | 15 | 23 | 112k|2067 | 0.000000e+00 | -- | Inf
42.29/42.34 c 40.0s|220000 | 56669 |528022 | 44M| 45 | 6 | 50 |6436 | 61 | 50 | 15 | 23 | 118k|2115 | 0.000000e+00 | -- | Inf
44.28/44.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.28/44.38 c 41.9s|230000 | 58891 |551566 | 46M| 45 | 6 | 50 |7029 | 64 | 50 | 15 | 23 | 124k|2145 | 0.000000e+00 | -- | Inf
46.19/46.27 c 43.7s|240000 | 61666 |575157 | 48M| 45 | 6 | 50 |8003 | 135 | 50 | 15 | 23 | 129k|2180 | 0.000000e+00 | -- | Inf
48.38/48.44 c 45.8s|250000 | 63923 |598966 | 49M| 45 | 6 | 50 |7091 | 94 | 50 | 15 | 23 | 135k|2199 | 0.000000e+00 | -- | Inf
50.28/50.33 c 47.6s|260000 | 66623 |622181 | 51M| 45 | - | 50 |7493 | 117 | 50 | 15 | 23 | 140k|2219 | 0.000000e+00 | -- | Inf
52.18/52.20 c 49.3s|270000 | 69349 |646422 | 54M| 45 | 6 | 50 |9086 | 80 | 50 | 15 | 23 | 145k|2242 | 0.000000e+00 | -- | Inf
54.38/54.46 c 51.5s|280000 | 71571 |670329 | 55M| 45 | 6 | 50 |7701 | 56 | 50 | 15 | 23 | 151k|2267 | 0.000000e+00 | -- | Inf
56.58/56.61 c 53.5s|290000 | 73889 |693514 | 57M| 45 | - | 50 |7180 | 81 | 50 | 15 | 23 | 156k|2284 | 0.000000e+00 | -- | Inf
58.78/58.87 c 55.7s|300000 | 75995 |717823 | 58M| 45 | - | 50 |6456 | 93 | 50 | 15 | 23 | 162k|2308 | 0.000000e+00 | -- | Inf
60.98/61.03 c 57.7s|310000 | 78085 |741822 | 60M| 45 | 6 | 50 |7188 | 20 | 50 | 15 | 23 | 168k|2339 | 0.000000e+00 | -- | Inf
63.18/63.24 c 59.8s|320000 | 80221 |765374 | 62M| 45 | - | 50 |6871 | 150 | 50 | 15 | 23 | 173k|2360 | 0.000000e+00 | -- | Inf
65.48/65.51 c 62.0s|330000 | 82124 |789015 | 63M| 45 | 6 | 50 |6163 | 12 | 50 | 15 | 23 | 179k|2386 | 0.000000e+00 | -- | Inf
67.57/67.69 c 64.1s|340000 | 84129 |812950 | 65M| 45 | - | 50 |6309 | 9 | 0 | 0 | 23 | 185k|2403 | 0.000000e+00 | -- | Inf
69.67/69.72 c 66.0s|350000 | 86342 |836509 | 67M| 45 | 6 | 50 |7653 | 9 | 50 | 15 | 23 | 191k|2421 | 0.000000e+00 | -- | Inf
71.78/71.87 c 68.0s|360000 | 88629 |860214 | 69M| 45 | 6 | 50 |7437 | 16 | 50 | 15 | 23 | 196k|2440 | 0.000000e+00 | -- | Inf
73.98/74.03 c 70.1s|370000 | 90815 |884148 | 71M| 45 | - | 50 |7836 | 24 | 50 | 15 | 23 | 202k|2457 | 0.000000e+00 | -- | Inf
76.07/76.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.07/76.12 c 72.1s|380000 | 93410 |907239 | 73M| 45 | 6 | 50 |7695 | 129 | 50 | 15 | 23 | 207k|2477 | 0.000000e+00 | -- | Inf
78.28/78.30 c 74.1s|390000 | 95430 |931029 | 75M| 45 | 6 | 50 |8002 | 123 | 50 | 15 | 23 | 213k|2492 | 0.000000e+00 | -- | Inf
80.38/80.48 c 76.2s|400000 | 97654 |954321 | 76M| 45 | - | 50 |7400 | 19 | 50 | 15 | 23 | 219k|2512 | 0.000000e+00 | -- | Inf
82.48/82.52 c 78.2s|410000 | 99988 |977708 | 78M| 45 | - | 50 |8294 | 53 | 50 | 15 | 23 | 224k|2529 | 0.000000e+00 | -- | Inf
84.77/84.89 c 80.4s|420000 |102161 | 1001k| 80M| 45 | - | 50 |6836 | 12 | 50 | 15 | 23 | 230k|2550 | 0.000000e+00 | -- | Inf
86.78/86.87 c 82.3s|430000 |104463 | 1024k| 82M| 45 | - | 50 |7800 | 60 | 50 | 15 | 23 | 236k|2563 | 0.000000e+00 | -- | Inf
88.78/88.86 c 84.2s|440000 |106691 | 1046k| 84M| 45 | 6 | 50 |8309 | 15 | 50 | 15 | 23 | 241k|2584 | 0.000000e+00 | -- | Inf
91.08/91.17 c 86.4s|450000 |108689 | 1069k| 85M| 45 | 6 | 50 |7784 | 49 | 50 | 15 | 23 | 246k|2606 | 0.000000e+00 | -- | Inf
93.38/93.46 c 88.6s|460000 |110694 | 1093k| 87M| 45 | - | 50 |7573 | 38 | 50 | 15 | 23 | 252k|2629 | 0.000000e+00 | -- | Inf
95.68/95.71 c 90.7s|470000 |112799 | 1117k| 89M| 45 | - | 50 |6914 | 26 | 50 | 15 | 23 | 258k|2638 | 0.000000e+00 | -- | Inf
97.97/98.03 c 93.0s|480000 |114630 | 1141k| 90M| 45 | 6 | 50 |6689 | 27 | 50 | 15 | 23 | 264k|2649 | 0.000000e+00 | -- | Inf
100.27/100.30 c 95.1s|490000 |116507 | 1165k| 92M| 45 | 6 | 50 |7037 | 37 | 50 | 15 | 23 | 270k|2669 | 0.000000e+00 | -- | Inf
102.58/102.62 c 97.3s|500000 |118403 | 1188k| 94M| 45 | 6 | 50 |7510 | 17 | 50 | 15 | 23 | 275k|2689 | 0.000000e+00 | -- | Inf
104.78/104.80 c 99.4s|510000 |120550 | 1212k| 96M| 45 | - | 50 |8343 | 184 | 0 | 0 | 23 | 281k|2708 | 0.000000e+00 | -- | Inf
107.08/107.12 c 102s|520000 |122497 | 1236k| 98M| 45 | - | 50 |8905 | 47 | 50 | 15 | 23 | 287k|2725 | 0.000000e+00 | -- | Inf
109.47/109.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.47/109.52 c 104s|530000 |124463 | 1260k| 99M| 45 | 6 | 50 |8069 | 58 | 50 | 15 | 23 | 293k|2745 | 0.000000e+00 | -- | Inf
111.47/111.59 c 106s|540000 |126665 | 1283k| 101M| 45 | 6 | 50 |9630 | 41 | 50 | 15 | 23 | 299k|2760 | 0.000000e+00 | -- | Inf
113.87/113.92 c 108s|550000 |128752 | 1306k| 103M| 45 | 6 | 50 |8782 | 350 | 50 | 15 | 23 | 304k|2769 | 0.000000e+00 | -- | Inf
116.07/116.11 c 110s|560000 |130808 | 1330k| 105M| 45 | 6 | 50 |9292 | 22 | 50 | 15 | 23 | 310k|2785 | 0.000000e+00 | -- | Inf
118.47/118.59 c 113s|570000 |132731 | 1354k| 106M| 45 | - | 50 |7776 | 20 | 50 | 15 | 23 | 316k|2794 | 0.000000e+00 | -- | Inf
120.77/120.90 c 115s|580000 |134882 | 1377k| 108M| 45 | - | 50 |7745 | 12 | 50 | 15 | 23 | 322k|2803 | 0.000000e+00 | -- | Inf
122.68/122.75 c 116s|590000 |137876 | 1401k| 110M| 45 | - | 50 |8917 | 12 | 50 | 15 | 23 | 327k|2812 | 0.000000e+00 | -- | Inf
124.67/124.70 c 118s|600000 |140455 | 1423k| 112M| 45 | - | 50 |9928 | 58 | 50 | 15 | 23 | 332k|2819 | 0.000000e+00 | -- | Inf
126.67/126.73 c 120s|610000 |142986 | 1446k| 114M| 45 | 6 | 50 | 11k| 76 | 50 | 15 | 23 | 337k|2826 | 0.000000e+00 | -- | Inf
129.07/129.11 c 123s|620000 |145188 | 1470k| 116M| 45 | 6 | 50 |9336 | 266 | 50 | 15 | 23 | 343k|2837 | 0.000000e+00 | -- | Inf
131.47/131.57 c 125s|630000 |147250 | 1494k| 117M| 45 | 6 | 50 |8581 | 60 | 50 | 15 | 23 | 348k|2844 | 0.000000e+00 | -- | Inf
134.08/134.12 c 127s|640000 |149215 | 1518k| 119M| 45 | 6 | 50 |7850 | 43 | 50 | 15 | 23 | 354k|2855 | 0.000000e+00 | -- | Inf
136.37/136.46 c 130s|650000 |151190 | 1541k| 121M| 45 | - | 50 |7986 | 19 | 50 | 15 | 23 | 360k|2867 | 0.000000e+00 | -- | Inf
138.67/138.73 c 132s|660000 |153276 | 1564k| 122M| 45 | 6 | 50 |7597 | 142 | 50 | 15 | 23 | 365k|2876 | 0.000000e+00 | -- | Inf
140.78/140.85 c 134s|670000 |155440 | 1588k| 124M| 45 | - | 50 |8153 | 54 | 0 | 0 | 23 | 371k|2891 | 0.000000e+00 | -- | Inf
143.17/143.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.17/143.21 c 136s|680000 |157317 | 1611k| 126M| 45 | 6 | 50 |7991 | 85 | 50 | 15 | 23 | 377k|2903 | 0.000000e+00 | -- | Inf
145.36/145.44 c 138s|690000 |159446 | 1634k| 128M| 45 | 6 | 50 |8484 | 22 | 50 | 15 | 23 | 383k|2914 | 0.000000e+00 | -- | Inf
147.77/147.83 c 140s|700000 |161211 | 1658k| 129M| 45 | - | 50 |8249 | 122 | 0 | 0 | 23 | 389k|2925 | 0.000000e+00 | -- | Inf
150.26/150.33 c 143s|710000 |163044 | 1682k| 131M| 45 | 6 | 50 |7185 | 42 | 50 | 15 | 23 | 395k|2937 | 0.000000e+00 | -- | Inf
152.57/152.62 c 145s|720000 |164944 | 1706k| 132M| 45 | - | 50 |7375 | 75 | 50 | 15 | 23 | 401k|2949 | 0.000000e+00 | -- | Inf
155.07/155.14 c 147s|730000 |166738 | 1729k| 134M| 45 | 6 | 50 |7411 | 39 | 50 | 15 | 23 | 406k|2959 | 0.000000e+00 | -- | Inf
157.37/157.42 c 150s|740000 |168718 | 1753k| 136M| 45 | 6 | 50 |7955 | 229 | 50 | 15 | 23 | 412k|2975 | 0.000000e+00 | -- | Inf
159.87/159.90 c 152s|750000 |170509 | 1777k| 137M| 45 | 6 | 50 |7448 | 101 | 50 | 15 | 23 | 418k|2984 | 0.000000e+00 | -- | Inf
162.16/162.24 c 154s|760000 |172388 | 1801k| 139M| 45 | - | 50 |8309 | 23 | 50 | 15 | 23 | 424k|2995 | 0.000000e+00 | -- | Inf
164.56/164.66 c 157s|770000 |174423 | 1824k| 141M| 45 | - | 50 |7777 | 44 | 50 | 15 | 23 | 430k|3004 | 0.000000e+00 | -- | Inf
166.86/166.94 c 159s|780000 |176618 | 1847k| 143M| 45 | - | 50 |8608 | 19 | 50 | 15 | 23 | 435k|3011 | 0.000000e+00 | -- | Inf
168.97/169.00 c 161s|790000 |178625 | 1871k| 145M| 45 | 6 | 50 | 10k| 26 | 50 | 15 | 23 | 441k|3023 | 0.000000e+00 | -- | Inf
171.57/171.63 c 163s|800000 |180524 | 1894k| 146M| 45 | 6 | 50 |9137 | 585 | 50 | 15 | 23 | 446k|3038 | 0.000000e+00 | -- | Inf
174.16/174.23 c 166s|810000 |182498 | 1917k| 148M| 45 | 6 | 50 |8749 | 65 | 50 | 15 | 23 | 452k|3049 | 0.000000e+00 | -- | Inf
176.57/176.67 c 168s|820000 |184462 | 1942k| 150M| 45 | - | 50 |8904 | 97 | 50 | 15 | 23 | 458k|3059 | 0.000000e+00 | -- | Inf
179.17/179.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.17/179.22 c 170s|830000 |186416 | 1966k| 151M| 45 | 6 | 50 |8672 |1062 | 50 | 15 | 23 | 464k|3070 | 0.000000e+00 | -- | Inf
181.26/181.31 c 172s|840000 |188818 | 1987k| 154M| 45 | 6 | 50 | 10k| 82 | 50 | 15 | 23 | 469k|3081 | 0.000000e+00 | -- | Inf
183.86/183.90 c 175s|850000 |190513 | 2011k| 155M| 45 | - | 50 |8927 | 16 | 50 | 15 | 23 | 474k|3092 | 0.000000e+00 | -- | Inf
186.66/186.72 c 178s|860000 |192083 | 2034k| 156M| 45 | - | 50 |6986 | 38 | 50 | 15 | 23 | 480k|3104 | 0.000000e+00 | -- | Inf
188.66/188.79 c 180s|870000 |194450 | 2058k| 158M| 45 | 6 | 50 |8910 | 181 | 50 | 15 | 23 | 486k|3120 | 0.000000e+00 | -- | Inf
191.16/191.28 c 182s|880000 |196644 | 2082k| 160M| 45 | 6 | 50 |8540 | 106 | 50 | 15 | 23 | 491k|3136 | 0.000000e+00 | -- | Inf
193.76/193.89 c 184s|890000 |198473 | 2105k| 161M| 45 | 6 | 50 |8345 | 30 | 50 | 15 | 23 | 497k|3150 | 0.000000e+00 | -- | Inf
196.36/196.45 c 187s|900000 |200290 | 2129k| 163M| 45 | 6 | 50 |8313 | 242 | 50 | 15 | 23 | 503k|3167 | 0.000000e+00 | -- | Inf
198.86/198.91 c 189s|910000 |202147 | 2153k| 165M| 45 | 6 | 50 |8301 | 36 | 50 | 15 | 23 | 509k|3177 | 0.000000e+00 | -- | Inf
201.06/201.11 c 191s|920000 |204493 | 2177k| 167M| 45 | 6 | 50 |9657 | 11 | 50 | 15 | 23 | 515k|3187 | 0.000000e+00 | -- | Inf
203.26/203.31 c 193s|930000 |206659 | 2200k| 169M| 45 | 6 | 50 | 12k| 18 | 50 | 15 | 23 | 520k|3194 | 0.000000e+00 | -- | Inf
205.76/205.82 c 196s|940000 |208570 | 2224k| 171M| 45 | 6 | 50 | 12k| 395 | 50 | 15 | 23 | 526k|3204 | 0.000000e+00 | -- | Inf
208.36/208.48 c 198s|950000 |210623 | 2248k| 173M| 45 | 6 | 50 | 12k| 685 | 50 | 15 | 23 | 532k|3213 | 0.000000e+00 | -- | Inf
210.76/210.80 c 201s|960000 |213506 | 2271k| 175M| 45 | 6 | 50 | 13k| 29 | 50 | 15 | 23 | 537k|3231 | 0.000000e+00 | -- | Inf
213.36/213.41 c 203s|970000 |215851 | 2295k| 177M| 45 | 6 | 50 | 14k| 43 | 50 | 15 | 23 | 542k|3237 | 0.000000e+00 | -- | Inf
216.35/216.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.35/216.45 c 206s|980000 |217863 | 2318k| 179M| 45 | 6 | 50 | 13k| 101 | 50 | 15 | 23 | 548k|3247 | 0.000000e+00 | -- | Inf
219.45/219.57 c 209s|990000 |219786 | 2341k| 180M| 45 | - | 50 | 11k| 318 | 50 | 15 | 23 | 554k|3259 | 0.000000e+00 | -- | Inf
222.26/222.38 c 212s| 1000k|221717 | 2365k| 182M| 45 | 6 | 50 | 11k| 113 | 50 | 15 | 23 | 560k|3272 | 0.000000e+00 | -- | Inf
225.06/225.18 c 214s| 1010k|223692 | 2388k| 183M| 45 | 6 | 50 | 10k| 160 | 50 | 15 | 23 | 565k|3281 | 0.000000e+00 | -- | Inf
227.85/227.96 c 217s| 1020k|225475 | 2411k| 185M| 45 | 6 | 50 |9363 | 119 | 50 | 15 | 23 | 571k|3287 | 0.000000e+00 | -- | Inf
230.65/230.73 c 220s| 1030k|227380 | 2435k| 186M| 45 | 6 | 50 |7899 | 92 | 50 | 15 | 23 | 577k|3297 | 0.000000e+00 | -- | Inf
232.66/232.73 c 222s| 1040k|230460 | 2459k| 188M| 45 | 6 | 50 |9045 | 510 | 50 | 15 | 23 | 582k|3307 | 0.000000e+00 | -- | Inf
234.95/235.03 c 224s| 1050k|232666 | 2483k| 190M| 45 | - | 50 |9459 | 160 | 50 | 15 | 23 | 588k|3313 | 0.000000e+00 | -- | Inf
237.46/237.51 c 226s| 1060k|234534 | 2508k| 192M| 45 | 6 | 50 |9431 | 185 | 50 | 15 | 23 | 594k|3324 | 0.000000e+00 | -- | Inf
239.76/239.84 c 228s| 1070k|236738 | 2531k| 194M| 45 | 6 | 50 | 10k| 222 | 50 | 15 | 23 | 599k|3335 | 0.000000e+00 | -- | Inf
242.65/242.76 c 231s| 1080k|238544 | 2554k| 195M| 45 | 6 | 50 |9085 |1046 | 50 | 15 | 23 | 605k|3341 | 0.000000e+00 | -- | Inf
245.26/245.35 c 234s| 1090k|240512 | 2578k| 197M| 45 | 6 | 50 |8775 | 84 | 50 | 15 | 23 | 611k|3348 | 0.000000e+00 | -- | Inf
247.85/247.92 c 236s| 1100k|242299 | 2601k| 199M| 45 | 6 | 50 |9645 | 85 | 50 | 15 | 23 | 617k|3358 | 0.000000e+00 | -- | Inf
250.45/250.51 c 239s| 1110k|244324 | 2625k| 200M| 45 | 6 | 50 |9808 | 771 | 50 | 15 | 23 | 622k|3371 | 0.000000e+00 | -- | Inf
252.65/252.73 c 241s| 1120k|246601 | 2649k| 202M| 45 | 6 | 50 | 11k| 58 | 50 | 15 | 23 | 628k|3379 | 0.000000e+00 | -- | Inf
255.65/255.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.65/255.72 c 244s| 1130k|248426 | 2672k| 204M| 45 | - | 50 |9814 | 56 | 50 | 15 | 23 | 634k|3395 | 0.000000e+00 | -- | Inf
258.55/258.67 c 247s| 1140k|250129 | 2696k| 205M| 45 | - | 50 |8966 | 18 | 50 | 15 | 23 | 639k|3405 | 0.000000e+00 | -- | Inf
261.35/261.44 c 249s| 1150k|251770 | 2720k| 207M| 45 | 6 | 50 |8508 | 28 | 50 | 15 | 23 | 646k|3419 | 0.000000e+00 | -- | Inf
263.55/263.64 c 251s| 1160k|253945 | 2744k| 209M| 45 | - | 50 | 10k| 68 | 50 | 15 | 23 | 652k|3428 | 0.000000e+00 | -- | Inf
266.06/266.14 c 254s| 1170k|255679 | 2767k| 211M| 45 | 6 | 50 | 10k| 853 | 50 | 15 | 23 | 658k|3433 | 0.000000e+00 | -- | Inf
268.65/268.75 c 256s| 1180k|257232 | 2792k| 212M| 45 | 6 | 50 | 11k| 453 | 50 | 15 | 23 | 664k|3446 | 0.000000e+00 | -- | Inf
271.34/271.44 c 259s| 1190k|259269 | 2815k| 214M| 45 | - | 50 | 10k| 32 | 0 | 0 | 23 | 670k|3456 | 0.000000e+00 | -- | Inf
274.04/274.16 c 261s| 1200k|261097 | 2839k| 215M| 45 | 6 | 50 | 10k| 237 | 50 | 15 | 23 | 676k|3464 | 0.000000e+00 | -- | Inf
276.55/276.68 c 264s| 1210k|263125 | 2863k| 217M| 45 | - | 50 | 10k| 34 | 50 | 15 | 23 | 681k|3471 | 0.000000e+00 | -- | Inf
279.25/279.31 c 266s| 1220k|265192 | 2886k| 219M| 45 | 6 | 50 | 10k| 60 | 50 | 15 | 23 | 687k|3477 | 0.000000e+00 | -- | Inf
281.85/281.99 c 269s| 1230k|266940 | 2910k| 220M| 45 | - | 50 |9682 | 112 | 50 | 15 | 23 | 693k|3487 | 0.000000e+00 | -- | Inf
284.15/284.28 c 271s| 1240k|269090 | 2934k| 223M| 45 | 6 | 50 | 11k| 36 | 50 | 15 | 23 | 699k|3496 | 0.000000e+00 | -- | Inf
287.15/287.23 c 274s| 1250k|270911 | 2956k| 224M| 45 | 6 | 50 | 10k| 22 | 50 | 15 | 23 | 705k|3501 | 0.000000e+00 | -- | Inf
289.95/290.09 c 277s| 1260k|272769 | 2981k| 226M| 45 | 6 | 50 |9544 | 17 | 50 | 15 | 23 | 710k|3509 | 0.000000e+00 | -- | Inf
292.45/292.54 c 279s| 1270k|274727 | 3005k| 228M| 45 | 6 | 50 | 10k| 375 | 50 | 15 | 23 | 716k|3515 | 0.000000e+00 | -- | Inf
295.04/295.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.04/295.19 c 282s| 1280k|276635 | 3028k| 229M| 45 | 6 | 50 |9651 | 71 | 50 | 15 | 23 | 722k|3525 | 0.000000e+00 | -- | Inf
297.34/297.44 c 284s| 1290k|279286 | 3051k| 231M| 45 | 6 | 50 |9317 | 34 | 50 | 15 | 23 | 727k|3531 | 0.000000e+00 | -- | Inf
299.75/299.83 c 286s| 1300k|281357 | 3073k| 233M| 45 | 6 | 50 | 10k| 40 | 50 | 15 | 23 | 733k|3538 | 0.000000e+00 | -- | Inf
302.04/302.18 c 288s| 1310k|283450 | 3096k| 235M| 45 | 6 | 50 | 11k| 71 | 50 | 15 | 23 | 739k|3545 | 0.000000e+00 | -- | Inf
304.74/304.80 c 291s| 1320k|285285 | 3118k| 236M| 45 | 6 | 50 | 10k| 124 | 50 | 15 | 23 | 744k|3556 | 0.000000e+00 | -- | Inf
307.25/307.36 c 293s| 1330k|287233 | 3140k| 238M| 45 | - | 50 | 11k| 18 | 50 | 15 | 23 | 750k|3565 | 0.000000e+00 | -- | Inf
310.15/310.23 c 296s| 1340k|288944 | 3163k| 240M| 45 | 6 | 50 | 10k| 12 | 50 | 15 | 23 | 756k|3572 | 0.000000e+00 | -- | Inf
312.44/312.57 c 298s| 1350k|291355 | 3187k| 241M| 45 | 6 | 50 | 10k| 31 | 50 | 15 | 23 | 762k|3579 | 0.000000e+00 | -- | Inf
314.75/314.81 c 300s| 1360k|293709 | 3211k| 244M| 45 | - | 50 | 11k| 14 | 50 | 15 | 23 | 767k|3588 | 0.000000e+00 | -- | Inf
317.24/317.33 c 303s| 1370k|295767 | 3234k| 245M| 45 | 6 | 50 | 10k| 63 | 50 | 15 | 23 | 773k|3598 | 0.000000e+00 | -- | Inf
319.95/320.08 c 305s| 1380k|297643 | 3258k| 247M| 45 | - | 50 | 10k| 20 | 50 | 15 | 23 | 779k|3604 | 0.000000e+00 | -- | Inf
323.25/323.31 c 308s| 1390k|299158 | 3283k| 247M| 45 | 6 | 50 |7280 | 828 | 50 | 15 | 23 | 785k|3616 | 0.000000e+00 | -- | Inf
325.44/325.56 c 311s| 1400k|301222 | 3306k| 249M| 45 | - | 50 |8014 | 146 | 50 | 15 | 23 | 790k|3624 | 0.000000e+00 | -- | Inf
327.83/327.99 c 313s| 1410k|303096 | 3330k| 251M| 45 | 6 | 50 |8299 | 121 | 50 | 15 | 23 | 796k|3631 | 0.000000e+00 | -- | Inf
330.64/330.71 c 316s| 1420k|304686 | 3353k| 252M| 45 | - | 50 |7442 | 48 | 50 | 15 | 23 | 802k|3647 | 0.000000e+00 | -- | Inf
332.94/333.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.94/333.05 c 318s| 1430k|306733 | 3376k| 254M| 45 | 6 | 50 |8128 | 32 | 50 | 15 | 23 | 808k|3657 | 0.000000e+00 | -- | Inf
335.14/335.25 c 320s| 1440k|309163 | 3399k| 256M| 45 | 6 | 50 |9413 | 53 | 50 | 15 | 23 | 813k|3670 | 0.000000e+00 | -- | Inf
337.84/337.98 c 323s| 1450k|310866 | 3423k| 258M| 45 | - | 50 |8432 | 28 | 50 | 15 | 23 | 819k|3686 | 0.000000e+00 | -- | Inf
340.43/340.51 c 325s| 1460k|312805 | 3446k| 260M| 45 | - | 50 |8959 | 18 | 50 | 15 | 23 | 825k|3695 | 0.000000e+00 | -- | Inf
343.24/343.31 c 328s| 1470k|314626 | 3470k| 261M| 45 | - | 50 |8457 | 55 | 50 | 15 | 23 | 831k|3708 | 0.000000e+00 | -- | Inf
345.74/345.84 c 330s| 1480k|316472 | 3493k| 263M| 45 | - | 50 |9086 | 155 | 50 | 15 | 23 | 836k|3717 | 0.000000e+00 | -- | Inf
348.65/348.76 c 333s| 1490k|318105 | 3516k| 264M| 45 | 6 | 50 |8066 | 202 | 50 | 15 | 23 | 842k|3728 | 0.000000e+00 | -- | Inf
351.24/351.36 c 335s| 1500k|319897 | 3539k| 266M| 45 | 6 | 50 |8963 | 8 | 50 | 15 | 23 | 848k|3738 | 0.000000e+00 | -- | Inf
353.83/353.97 c 338s| 1510k|321606 | 3563k| 268M| 45 | - | 50 |9381 | 336 | 50 | 15 | 23 | 854k|3748 | 0.000000e+00 | -- | Inf
356.64/356.79 c 341s| 1520k|323337 | 3587k| 269M| 45 | - | 50 |8690 | 12 | 50 | 15 | 23 | 860k|3760 | 0.000000e+00 | -- | Inf
359.43/359.50 c 343s| 1530k|325022 | 3610k| 271M| 45 | 6 | 50 |9249 | 319 | 50 | 15 | 23 | 866k|3776 | 0.000000e+00 | -- | Inf
361.93/362.10 c 346s| 1540k|326869 | 3635k| 273M| 45 | 6 | 50 |8808 | 144 | 50 | 15 | 23 | 872k|3785 | 0.000000e+00 | -- | Inf
364.63/364.77 c 348s| 1550k|328599 | 3658k| 274M| 45 | - | 50 |8505 | 21 | 50 | 15 | 23 | 878k|3799 | 0.000000e+00 | -- | Inf
367.24/367.40 c 351s| 1560k|330258 | 3682k| 276M| 45 | - | 50 |9077 | 12 | 50 | 15 | 23 | 884k|3813 | 0.000000e+00 | -- | Inf
369.83/369.97 c 353s| 1570k|332198 | 3706k| 278M| 45 | - | 50 |9354 | 167 | 50 | 15 | 23 | 890k|3823 | 0.000000e+00 | -- | Inf
372.73/372.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.73/372.88 c 356s| 1580k|333952 | 3730k| 279M| 45 | - | 50 |7833 | 83 | 50 | 15 | 23 | 895k|3834 | 0.000000e+00 | -- | Inf
375.53/375.69 c 359s| 1590k|335463 | 3754k| 280M| 45 | 6 | 50 |7327 | 128 | 50 | 15 | 23 | 901k|3845 | 0.000000e+00 | -- | Inf
378.04/378.17 c 361s| 1600k|337278 | 3778k| 282M| 45 | 6 | 50 |8694 | 19 | 50 | 15 | 23 | 907k|3854 | 0.000000e+00 | -- | Inf
380.73/380.85 c 364s| 1610k|338948 | 3802k| 284M| 45 | 6 | 50 |8872 | 98 | 50 | 15 | 23 | 913k|3862 | 0.000000e+00 | -- | Inf
383.23/383.37 c 366s| 1620k|340950 | 3825k| 286M| 45 | - | 50 |9625 | 12 | 50 | 15 | 23 | 919k|3876 | 0.000000e+00 | -- | Inf
386.13/386.22 c 369s| 1630k|342728 | 3849k| 287M| 45 | 6 | 50 |9192 | 20 | 50 | 15 | 23 | 925k|3888 | 0.000000e+00 | -- | Inf
388.93/389.06 c 372s| 1640k|344532 | 3873k| 289M| 45 | 6 | 50 |9177 | 394 | 50 | 15 | 23 | 931k|3903 | 0.000000e+00 | -- | Inf
391.54/391.61 c 374s| 1650k|346503 | 3896k| 291M| 45 | 6 | 50 |9183 | 110 | 50 | 15 | 23 | 936k|3917 | 0.000000e+00 | -- | Inf
394.33/394.41 c 377s| 1660k|348233 | 3920k| 292M| 45 | 6 | 50 |8947 | 18 | 50 | 15 | 23 | 942k|3927 | 0.000000e+00 | -- | Inf
396.63/396.73 c 379s| 1670k|350349 | 3942k| 294M| 45 | 6 | 50 | 11k| 20 | 50 | 15 | 23 | 948k|3940 | 0.000000e+00 | -- | Inf
399.43/399.57 c 382s| 1680k|352184 | 3965k| 296M| 45 | - | 50 | 10k| 38 | 0 | 0 | 23 | 954k|3955 | 0.000000e+00 | -- | Inf
402.54/402.62 c 385s| 1690k|353797 | 3990k| 297M| 45 | - | 50 |9495 | 12 | 0 | 0 | 23 | 960k|3967 | 0.000000e+00 | -- | Inf
405.42/405.55 c 387s| 1700k|355392 | 4013k| 299M| 45 | 6 | 50 |8947 | 16 | 50 | 15 | 23 | 966k|3976 | 0.000000e+00 | -- | Inf
408.33/408.47 c 390s| 1710k|357175 | 4037k| 300M| 45 | - | 50 |8331 | 351 | 50 | 15 | 23 | 972k|3989 | 0.000000e+00 | -- | Inf
411.03/411.10 c 393s| 1720k|358912 | 4060k| 302M| 45 | - | 50 |8794 | 17 | 50 | 15 | 23 | 978k|3996 | 0.000000e+00 | -- | Inf
413.62/413.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.62/413.73 c 395s| 1730k|360701 | 4085k| 304M| 45 | 6 | 50 |9536 | 70 | 50 | 15 | 23 | 983k|4005 | 0.000000e+00 | -- | Inf
416.32/416.43 c 398s| 1740k|362422 | 4108k| 305M| 45 | - | 50 |9526 | 16 | 0 | 0 | 23 | 990k|4014 | 0.000000e+00 | -- | Inf
419.03/419.12 c 401s| 1750k|364102 | 4133k| 307M| 45 | - | 50 | 10k| 40 | 50 | 15 | 23 | 996k|4026 | 0.000000e+00 | -- | Inf
421.42/421.52 c 403s| 1760k|366261 | 4158k| 309M| 45 | 6 | 50 | 12k| 238 | 50 | 15 | 23 |1002k|4037 | 0.000000e+00 | -- | Inf
424.12/424.29 c 405s| 1770k|367832 | 4182k| 311M| 45 | - | 50 | 12k| 9 | 50 | 15 | 23 |1008k|4048 | 0.000000e+00 | -- | Inf
426.83/426.99 c 408s| 1780k|369556 | 4207k| 313M| 45 | 6 | 50 | 13k|2781 | 50 | 15 | 23 |1014k|4059 | 0.000000e+00 | -- | Inf
430.12/430.20 c 411s| 1790k|371078 | 4231k| 314M| 45 | - | 50 | 12k| 113 | 50 | 15 | 23 |1021k|4072 | 0.000000e+00 | -- | Inf
433.43/433.51 c 414s| 1800k|372779 | 4255k| 315M| 45 | 6 | 50 | 10k| 67 | 50 | 15 | 23 |1027k|4080 | 0.000000e+00 | -- | Inf
436.42/436.55 c 417s| 1810k|374352 | 4279k| 317M| 45 | - | 50 | 10k| 82 | 50 | 15 | 23 |1033k|4092 | 0.000000e+00 | -- | Inf
439.73/439.83 c 420s| 1820k|375753 | 4303k| 318M| 45 | - | 50 |9503 | 91 | 50 | 15 | 23 |1039k|4100 | 0.000000e+00 | -- | Inf
442.23/442.34 c 423s| 1830k|377792 | 4327k| 320M| 45 | 6 | 50 | 10k| 252 | 50 | 15 | 23 |1045k|4110 | 0.000000e+00 | -- | Inf
444.82/444.96 c 425s| 1840k|379581 | 4350k| 322M| 45 | - | 50 | 11k| 50 | 50 | 15 | 23 |1051k|4119 | 0.000000e+00 | -- | Inf
448.02/448.20 c 428s| 1850k|381163 | 4373k| 323M| 45 | 6 | 50 |9000 | 33 | 50 | 15 | 23 |1057k|4128 | 0.000000e+00 | -- | Inf
450.53/450.61 c 431s| 1860k|383118 | 4396k| 325M| 45 | 6 | 50 | 10k| 86 | 50 | 15 | 23 |1062k|4144 | 0.000000e+00 | -- | Inf
452.82/452.93 c 433s| 1870k|385072 | 4419k| 327M| 45 | 6 | 50 | 12k| 68 | 50 | 15 | 23 |1068k|4151 | 0.000000e+00 | -- | Inf
455.82/455.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.82/455.92 c 436s| 1880k|386918 | 4442k| 329M| 45 | 6 | 50 | 11k| 31 | 50 | 15 | 23 |1074k|4162 | 0.000000e+00 | -- | Inf
459.12/459.25 c 439s| 1890k|388437 | 4466k| 329M| 45 | 6 | 50 |8205 | 13 | 50 | 15 | 23 |1080k|4176 | 0.000000e+00 | -- | Inf
462.02/462.16 c 442s| 1900k|390080 | 4490k| 331M| 45 | 6 | 50 |8123 | 35 | 50 | 15 | 23 |1086k|4182 | 0.000000e+00 | -- | Inf
464.13/464.24 c 444s| 1910k|391848 | 4513k| 333M| 45 | 6 | 50 | 10k| 41 | 50 | 15 | 23 |1092k|4186 | 0.000000e+00 | -- | Inf
467.21/467.34 c 447s| 1920k|393423 | 4537k| 335M| 45 | - | 50 | 10k| 13 | 0 | 0 | 23 |1098k|4192 | 0.000000e+00 | -- | Inf
469.91/470.05 c 449s| 1930k|395173 | 4560k| 336M| 45 | 6 | 50 | 10k| 24 | 50 | 15 | 23 |1103k|4203 | 0.000000e+00 | -- | Inf
472.82/472.92 c 452s| 1940k|397213 | 4583k| 338M| 45 | 6 | 50 | 10k| 35 | 50 | 15 | 23 |1109k|4209 | 0.000000e+00 | -- | Inf
475.21/475.35 c 455s| 1950k|399273 | 4606k| 340M| 45 | 6 | 50 | 12k| 36 | 50 | 15 | 23 |1115k|4216 | 0.000000e+00 | -- | Inf
477.61/477.74 c 457s| 1960k|401477 | 4628k| 342M| 45 | - | 50 | 14k| 21 | 50 | 15 | 23 |1120k|4229 | 0.000000e+00 | -- | Inf
480.41/480.50 c 460s| 1970k|403282 | 4652k| 344M| 45 | 6 | 50 | 14k| 42 | 50 | 15 | 23 |1126k|4239 | 0.000000e+00 | -- | Inf
483.71/483.89 c 463s| 1980k|405024 | 4675k| 345M| 45 | 6 | 50 | 11k| 42 | 50 | 15 | 23 |1132k|4244 | 0.000000e+00 | -- | Inf
486.12/486.23 c 465s| 1990k|408055 | 4698k| 347M| 45 | 6 | 50 | 11k| 274 | 50 | 15 | 23 |1137k|4254 | 0.000000e+00 | -- | Inf
488.62/488.71 c 467s| 2000k|410486 | 4722k| 349M| 45 | - | 50 | 12k| 67 | 50 | 15 | 23 |1142k|4262 | 0.000000e+00 | -- | Inf
491.11/491.23 c 470s| 2010k|412743 | 4746k| 351M| 45 | 6 | 50 | 13k| 27 | 50 | 15 | 23 |1147k|4267 | 0.000000e+00 | -- | Inf
493.82/493.91 c 472s| 2020k|415002 | 4770k| 353M| 45 | 6 | 50 | 13k| 70 | 50 | 15 | 23 |1153k|4284 | 0.000000e+00 | -- | Inf
496.51/496.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.51/496.67 c 475s| 2030k|417120 | 4794k| 355M| 45 | 6 | 50 | 13k| 405 | 50 | 15 | 23 |1158k|4294 | 0.000000e+00 | -- | Inf
499.32/499.49 c 478s| 2040k|419318 | 4817k| 356M| 45 | - | 50 | 12k| 21 | 50 | 15 | 23 |1164k|4302 | 0.000000e+00 | -- | Inf
502.11/502.27 c 480s| 2050k|421351 | 4842k| 358M| 45 | - | 50 | 13k| 48 | 50 | 15 | 23 |1170k|4309 | 0.000000e+00 | -- | Inf
505.01/505.11 c 483s| 2060k|423257 | 4865k| 360M| 45 | - | 50 | 13k| 37 | 50 | 15 | 23 |1175k|4317 | 0.000000e+00 | -- | Inf
508.81/508.91 c 487s| 2070k|424793 | 4888k| 360M| 45 | - | 50 |9662 | 28 | 50 | 15 | 23 |1181k|4329 | 0.000000e+00 | -- | Inf
511.11/511.29 c 489s| 2080k|426492 | 4911k| 363M| 45 | 6 | 50 | 11k| 89 | 50 | 15 | 23 |1187k|4333 | 0.000000e+00 | -- | Inf
514.11/514.26 c 492s| 2090k|428125 | 4934k| 364M| 45 | 6 | 50 | 10k| 21 | 50 | 15 | 23 |1193k|4337 | 0.000000e+00 | -- | Inf
516.92/517.04 c 495s| 2100k|430129 | 4957k| 366M| 45 | 6 | 50 | 10k| 37 | 50 | 15 | 23 |1199k|4343 | 0.000000e+00 | -- | Inf
519.71/519.81 c 497s| 2110k|431554 | 4981k| 367M| 45 | - | 50 | 11k| 18 | 50 | 15 | 23 |1205k|4354 | 0.000000e+00 | -- | Inf
522.01/522.13 c 500s| 2120k|434062 | 5005k| 370M| 45 | - | 50 | 12k| 45 | 50 | 15 | 23 |1211k|4361 | 0.000000e+00 | -- | Inf
524.71/524.87 c 502s| 2130k|435942 | 5028k| 371M| 45 | 6 | 50 | 12k| 351 | 50 | 15 | 23 |1216k|4370 | 0.000000e+00 | -- | Inf
527.61/527.72 c 505s| 2140k|437439 | 5053k| 373M| 45 | - | 50 | 13k| 35 | 50 | 15 | 23 |1223k|4378 | 0.000000e+00 | -- | Inf
530.90/531.09 c 508s| 2150k|439066 | 5076k| 374M| 45 | 6 | 50 | 11k| 19 | 50 | 15 | 23 |1229k|4386 | 0.000000e+00 | -- | Inf
534.31/534.48 c 511s| 2160k|440823 | 5100k| 375M| 45 | 6 | 50 |9414 | 25 | 50 | 15 | 23 |1235k|4395 | 0.000000e+00 | -- | Inf
537.31/537.42 c 514s| 2170k|442595 | 5124k| 377M| 45 | 6 | 50 |9622 | 74 | 50 | 15 | 23 |1241k|4409 | 0.000000e+00 | -- | Inf
539.81/539.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
539.81/539.96 c 517s| 2180k|444522 | 5146k| 379M| 45 | 6 | 50 | 10k|1394 | 50 | 15 | 23 |1246k|4420 | 0.000000e+00 | -- | Inf
542.41/542.58 c 519s| 2190k|446650 | 5169k| 381M| 45 | - | 50 | 10k| 23 | 50 | 15 | 23 |1252k|4433 | 0.000000e+00 | -- | Inf
545.21/545.35 c 522s| 2200k|448500 | 5193k| 382M| 45 | 6 | 50 | 10k| 42 | 50 | 15 | 23 |1257k|4443 | 0.000000e+00 | -- | Inf
548.61/548.75 c 525s| 2210k|449812 | 5216k| 384M| 45 | 6 | 50 |8593 | 158 | 50 | 15 | 23 |1263k|4451 | 0.000000e+00 | -- | Inf
551.81/551.95 c 528s| 2220k|451185 | 5240k| 385M| 45 | - | 50 |7666 | 78 | 50 | 15 | 23 |1270k|4460 | 0.000000e+00 | -- | Inf
554.60/554.77 c 531s| 2230k|452675 | 5265k| 386M| 45 | - | 50 |8545 | 57 | 50 | 15 | 23 |1276k|4471 | 0.000000e+00 | -- | Inf
557.11/557.27 c 533s| 2240k|454968 | 5288k| 389M| 45 | 6 | 50 |9674 | 56 | 50 | 15 | 23 |1281k|4477 | 0.000000e+00 | -- | Inf
559.81/559.95 c 536s| 2250k|456651 | 5313k| 390M| 45 | 6 | 50 | 10k| 156 | 50 | 15 | 23 |1287k|4489 | 0.000000e+00 | -- | Inf
562.91/563.04 c 539s| 2260k|458250 | 5336k| 392M| 45 | 6 | 50 |9949 | 182 | 50 | 15 | 23 |1293k|4499 | 0.000000e+00 | -- | Inf
565.80/565.97 c 542s| 2270k|460015 | 5359k| 393M| 45 | - | 50 |9647 | 192 | 50 | 15 | 23 |1299k|4511 | 0.000000e+00 | -- | Inf
568.90/569.02 c 545s| 2280k|461702 | 5383k| 395M| 45 | - | 50 |8955 | 113 | 50 | 15 | 23 |1305k|4520 | 0.000000e+00 | -- | Inf
571.81/571.91 c 548s| 2290k|463416 | 5407k| 397M| 45 | - | 50 |9259 | 11 | 50 | 15 | 23 |1311k|4529 | 0.000000e+00 | -- | Inf
574.60/574.71 c 550s| 2300k|465219 | 5431k| 398M| 45 | 6 | 50 |9343 | 103 | 50 | 15 | 23 |1317k|4539 | 0.000000e+00 | -- | Inf
577.50/577.68 c 553s| 2310k|467134 | 5455k| 400M| 45 | 6 | 50 |8206 | 69 | 50 | 15 | 23 |1323k|4549 | 0.000000e+00 | -- | Inf
579.80/579.93 c 555s| 2320k|469061 | 5478k| 402M| 45 | 6 | 50 |9840 | 140 | 50 | 15 | 23 |1328k|4557 | 0.000000e+00 | -- | Inf
582.70/582.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.70/582.80 c 558s| 2330k|470854 | 5502k| 403M| 45 | 6 | 50 |9305 | 660 | 50 | 15 | 23 |1334k|4565 | 0.000000e+00 | -- | Inf
585.11/585.24 c 560s| 2340k|472860 | 5527k| 405M| 45 | - | 50 | 10k| 14 | 50 | 15 | 23 |1340k|4577 | 0.000000e+00 | -- | Inf
588.50/588.66 c 564s| 2350k|474160 | 5551k| 406M| 45 | - | 50 |8893 | 59 | 50 | 15 | 23 |1346k|4584 | 0.000000e+00 | -- | Inf
591.50/591.66 c 567s| 2360k|475775 | 5574k| 408M| 45 | - | 50 |8842 | 520 | 50 | 15 | 23 |1352k|4593 | 0.000000e+00 | -- | Inf
594.60/594.72 c 569s| 2370k|477427 | 5598k| 409M| 45 | 6 | 50 |8727 |1068 | 50 | 15 | 23 |1358k|4600 | 0.000000e+00 | -- | Inf
597.60/597.73 c 572s| 2380k|479144 | 5622k| 411M| 45 | - | 50 |8754 | 17 | 50 | 15 | 23 |1364k|4610 | 0.000000e+00 | -- | Inf
600.00/600.10 c 575s| 2390k|481017 | 5646k| 413M| 45 | - | 50 | 11k| 61 | 50 | 15 | 23 |1370k|4620 | 0.000000e+00 | -- | Inf
603.20/603.36 c 578s| 2400k|482636 | 5669k| 414M| 45 | 6 | 50 |9431 | 15 | 50 | 15 | 23 |1376k|4631 | 0.000000e+00 | -- | Inf
606.10/606.27 c 581s| 2410k|484188 | 5693k| 416M| 45 | 6 | 50 |8789 | 139 | 50 | 15 | 23 |1382k|4640 | 0.000000e+00 | -- | Inf
609.10/609.28 c 584s| 2420k|485753 | 5717k| 417M| 45 | 6 | 50 |9233 | 54 | 50 | 15 | 23 |1388k|4649 | 0.000000e+00 | -- | Inf
611.90/612.05 c 586s| 2430k|487411 | 5741k| 419M| 45 | - | 50 |9652 | 20 | 0 | 0 | 23 |1394k|4656 | 0.000000e+00 | -- | Inf
615.20/615.36 c 589s| 2440k|488862 | 5765k| 420M| 45 | - | 50 |8689 | 46 | 0 | 0 | 23 |1400k|4664 | 0.000000e+00 | -- | Inf
618.11/618.29 c 592s| 2450k|490381 | 5789k| 422M| 45 | 6 | 50 |8185 | 40 | 50 | 15 | 23 |1406k|4671 | 0.000000e+00 | -- | Inf
620.50/620.69 c 594s| 2460k|492015 | 5813k| 424M| 45 | 6 | 50 |9771 | 182 | 50 | 15 | 23 |1412k|4682 | 0.000000e+00 | -- | Inf
623.60/623.79 c 597s| 2470k|493583 | 5837k| 425M| 45 | 6 | 50 |8949 | 569 | 50 | 15 | 23 |1418k|4692 | 0.000000e+00 | -- | Inf
626.59/626.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.59/626.76 c 600s| 2480k|495071 | 5860k| 427M| 45 | 6 | 50 |9178 | 38 | 50 | 15 | 23 |1424k|4697 | 0.000000e+00 | -- | Inf
629.00/629.13 c 603s| 2490k|497019 | 5883k| 429M| 45 | 6 | 50 | 11k| 418 | 50 | 15 | 23 |1430k|4705 | 0.000000e+00 | -- | Inf
632.30/632.46 c 606s| 2500k|498483 | 5907k| 430M| 45 | - | 50 |9651 | 111 | 50 | 15 | 23 |1436k|4717 | 0.000000e+00 | -- | Inf
634.99/635.15 c 608s| 2510k|500526 | 5931k| 432M| 45 | 6 | 50 | 10k| 12 | 50 | 15 | 23 |1442k|4727 | 0.000000e+00 | -- | Inf
637.80/638.00 c 611s| 2520k|502285 | 5954k| 434M| 45 | - | 50 | 11k| 10 | 50 | 15 | 23 |1448k|4735 | 0.000000e+00 | -- | Inf
640.99/641.10 c 614s| 2530k|503842 | 5977k| 435M| 45 | - | 50 | 10k| 267 | 50 | 15 | 23 |1454k|4741 | 0.000000e+00 | -- | Inf
644.29/644.41 c 617s| 2540k|505413 | 6001k| 436M| 45 | - | 50 |8810 | 60 | 50 | 15 | 23 |1460k|4751 | 0.000000e+00 | -- | Inf
646.89/647.02 c 620s| 2550k|507313 | 6025k| 438M| 45 | 6 | 50 |9852 | 86 | 50 | 15 | 23 |1465k|4758 | 0.000000e+00 | -- | Inf
649.49/649.61 c 622s| 2560k|509085 | 6049k| 440M| 45 | 6 | 50 | 11k| 156 | 50 | 15 | 23 |1472k|4765 | 0.000000e+00 | -- | Inf
652.59/652.70 c 625s| 2570k|510570 | 6073k| 442M| 45 | - | 50 | 10k| 73 | 50 | 15 | 23 |1478k|4773 | 0.000000e+00 | -- | Inf
655.39/655.57 c 628s| 2580k|512246 | 6097k| 443M| 45 | 6 | 50 | 11k| 589 | 50 | 15 | 23 |1484k|4775 | 0.000000e+00 | -- | Inf
658.99/659.17 c 632s| 2590k|513762 | 6121k| 444M| 45 | 6 | 50 |8983 | 19 | 50 | 15 | 23 |1490k|4778 | 0.000000e+00 | -- | Inf
662.19/662.31 c 635s| 2600k|515300 | 6145k| 446M| 45 | - | 50 |8611 | 10 | 50 | 15 | 23 |1496k|4784 | 0.000000e+00 | -- | Inf
664.30/664.45 c 637s| 2610k|517760 | 6167k| 448M| 45 | 6 | 50 | 10k| 46 | 50 | 15 | 23 |1501k|4789 | 0.000000e+00 | -- | Inf
666.69/666.89 c 639s| 2620k|519618 | 6190k| 450M| 45 | - | 50 | 10k| 24 | 50 | 15 | 23 |1507k|4797 | 0.000000e+00 | -- | Inf
669.69/669.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
669.69/669.81 c 642s| 2630k|521550 | 6214k| 451M| 45 | - | 50 |9915 | 44 | 50 | 15 | 23 |1512k|4803 | 0.000000e+00 | -- | Inf
671.79/671.99 c 644s| 2640k|524168 | 6236k| 453M| 45 | - | 50 | 11k| 12 | 50 | 15 | 23 |1518k|4807 | 0.000000e+00 | -- | Inf
674.19/674.34 c 646s| 2650k|526314 | 6259k| 455M| 45 | 6 | 50 | 11k| 118 | 50 | 15 | 23 |1523k|4812 | 0.000000e+00 | -- | Inf
676.69/676.88 c 649s| 2660k|528281 | 6282k| 457M| 45 | - | 50 | 11k| 195 | 50 | 15 | 23 |1529k|4818 | 0.000000e+00 | -- | Inf
679.39/679.51 c 651s| 2670k|529962 | 6305k| 459M| 45 | 6 | 50 | 11k| 201 | 50 | 15 | 23 |1535k|4826 | 0.000000e+00 | -- | Inf
681.98/682.15 c 654s| 2680k|531630 | 6329k| 460M| 45 | - | 50 | 12k| 45 | 50 | 15 | 23 |1541k|4839 | 0.000000e+00 | -- | Inf
684.79/684.94 c 656s| 2690k|533150 | 6352k| 462M| 45 | - | 50 | 12k| 16 | 50 | 15 | 23 |1547k|4844 | 0.000000e+00 | -- | Inf
688.18/688.36 c 660s| 2700k|534428 | 6376k| 463M| 45 | 6 | 50 | 11k| 47 | 50 | 15 | 23 |1553k|4855 | 0.000000e+00 | -- | Inf
691.48/691.67 c 663s| 2710k|535989 | 6400k| 465M| 45 | - | 50 | 10k| 11 | 50 | 15 | 23 |1559k|4864 | 0.000000e+00 | -- | Inf
694.58/694.77 c 666s| 2720k|537688 | 6424k| 466M| 45 | - | 50 | 11k| 52 | 50 | 15 | 23 |1565k|4869 | 0.000000e+00 | -- | Inf
697.29/697.46 c 668s| 2730k|539775 | 6447k| 468M| 45 | 6 | 50 | 11k| 42 | 50 | 15 | 23 |1571k|4875 | 0.000000e+00 | -- | Inf
700.68/700.82 c 672s| 2740k|541401 | 6472k| 470M| 45 | 6 | 50 | 10k| 20 | 50 | 15 | 23 |1577k|4882 | 0.000000e+00 | -- | Inf
704.08/704.27 c 675s| 2750k|542875 | 6495k| 471M| 45 | 6 | 50 | 10k| 20 | 50 | 15 | 23 |1583k|4887 | 0.000000e+00 | -- | Inf
707.58/707.73 c 678s| 2760k|544307 | 6518k| 472M| 45 | 6 | 50 |8775 | 140 | 50 | 15 | 23 |1589k|4895 | 0.000000e+00 | -- | Inf
710.39/710.51 c 681s| 2770k|546044 | 6542k| 474M| 45 | 6 | 50 | 10k| 243 | 50 | 15 | 23 |1595k|4899 | 0.000000e+00 | -- | Inf
713.38/713.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.38/713.53 c 684s| 2780k|547790 | 6566k| 476M| 45 | 6 | 50 | 10k| 91 | 50 | 15 | 23 |1601k|4909 | 0.000000e+00 | -- | Inf
716.18/716.32 c 687s| 2790k|549753 | 6588k| 478M| 45 | 6 | 50 | 12k| 15 | 50 | 15 | 23 |1606k|4917 | 0.000000e+00 | -- | Inf
718.88/719.03 c 689s| 2800k|551547 | 6612k| 480M| 45 | - | 50 | 12k| 141 | 50 | 15 | 23 |1612k|4925 | 0.000000e+00 | -- | Inf
721.97/722.18 c 692s| 2810k|553549 | 6635k| 481M| 45 | 6 | 50 | 11k| 303 | 50 | 15 | 23 |1618k|4928 | 0.000000e+00 | -- | Inf
724.68/724.87 c 695s| 2820k|555543 | 6658k| 483M| 45 | - | 50 | 12k| 180 | 50 | 15 | 23 |1624k|4941 | 0.000000e+00 | -- | Inf
727.47/727.61 c 698s| 2830k|557224 | 6681k| 485M| 45 | - | 50 | 12k| 198 | 50 | 15 | 23 |1629k|4943 | 0.000000e+00 | -- | Inf
730.87/731.02 c 701s| 2840k|558754 | 6705k| 486M| 45 | - | 50 | 10k| 18 | 50 | 15 | 23 |1635k|4948 | 0.000000e+00 | -- | Inf
734.17/734.34 c 704s| 2850k|560203 | 6728k| 487M| 45 | 6 | 50 | 10k| 135 | 50 | 15 | 23 |1641k|4956 | 0.000000e+00 | -- | Inf
737.56/737.77 c 707s| 2860k|561662 | 6752k| 489M| 45 | 6 | 50 |9798 | 18 | 50 | 15 | 23 |1647k|4964 | 0.000000e+00 | -- | Inf
740.46/740.62 c 710s| 2870k|563403 | 6775k| 490M| 45 | - | 50 | 11k| 32 | 0 | 0 | 23 |1653k|4970 | 0.000000e+00 | -- | Inf
744.16/744.30 c 714s| 2880k|564591 | 6798k| 491M| 45 | 6 | 50 |8590 | 65 | 50 | 15 | 23 |1659k|4978 | 0.000000e+00 | -- | Inf
746.87/747.00 c 716s| 2890k|566361 | 6822k| 493M| 45 | 6 | 50 |9012 | 74 | 50 | 15 | 23 |1665k|4986 | 0.000000e+00 | -- | Inf
749.45/749.64 c 719s| 2900k|567835 | 6846k| 495M| 45 | - | 50 | 10k| 79 | 50 | 15 | 23 |1671k|4996 | 0.000000e+00 | -- | Inf
752.75/752.99 c 722s| 2910k|569277 | 6869k| 496M| 45 | - | 50 |9554 | 16 | 50 | 15 | 23 |1678k|5002 | 0.000000e+00 | -- | Inf
755.16/755.38 c 724s| 2920k|571358 | 6893k| 498M| 45 | 6 | 50 | 11k| 484 | 50 | 15 | 23 |1683k|5006 | 0.000000e+00 | -- | Inf
758.15/758.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
758.15/758.32 c 727s| 2930k|572841 | 6916k| 500M| 45 | - | 50 | 11k| 46 | 50 | 15 | 23 |1689k|5015 | 0.000000e+00 | -- | Inf
761.45/761.64 c 730s| 2940k|574470 | 6940k| 501M| 45 | 6 | 50 |9427 | 80 | 50 | 15 | 23 |1695k|5020 | 0.000000e+00 | -- | Inf
764.26/764.44 c 733s| 2950k|576244 | 6964k| 503M| 45 | 6 | 50 | 10k| 51 | 50 | 15 | 23 |1701k|5027 | 0.000000e+00 | -- | Inf
766.95/767.10 c 736s| 2960k|578392 | 6987k| 505M| 45 | 6 | 50 | 11k| 47 | 50 | 15 | 23 |1707k|5038 | 0.000000e+00 | -- | Inf
769.35/769.52 c 738s| 2970k|580633 | 7010k| 507M| 45 | 6 | 50 | 12k| 51 | 50 | 15 | 23 |1712k|5047 | 0.000000e+00 | -- | Inf
772.15/772.38 c 741s| 2980k|582381 | 7034k| 508M| 45 | 6 | 50 | 12k| 23 | 50 | 15 | 23 |1718k|5055 | 0.000000e+00 | -- | Inf
775.65/775.81 c 744s| 2990k|583871 | 7058k| 510M| 45 | - | 50 | 11k| 182 | 50 | 15 | 23 |1724k|5062 | 0.000000e+00 | -- | Inf
778.54/778.76 c 747s| 3000k|585419 | 7081k| 511M| 45 | 6 | 50 | 11k| 259 | 50 | 15 | 23 |1730k|5069 | 0.000000e+00 | -- | Inf
782.04/782.27 c 750s| 3010k|586857 | 7105k| 512M| 45 | - | 50 |9588 |1312 | 50 | 15 | 23 |1736k|5076 | 0.000000e+00 | -- | Inf
785.44/785.61 c 753s| 3020k|588241 | 7128k| 513M| 45 | 6 | 50 |8794 | 983 | 50 | 15 | 23 |1742k|5081 | 0.000000e+00 | -- | Inf
788.45/788.68 c 756s| 3030k|589791 | 7152k| 515M| 45 | 6 | 50 |8472 | 63 | 50 | 15 | 23 |1748k|5088 | 0.000000e+00 | -- | Inf
791.13/791.31 c 759s| 3040k|591473 | 7175k| 517M| 45 | 6 | 50 |9537 | 10 | 50 | 15 | 23 |1754k|5096 | 0.000000e+00 | -- | Inf
793.63/793.86 c 761s| 3050k|593153 | 7198k| 519M| 45 | 6 | 50 | 11k| 113 | 50 | 15 | 23 |1760k|5103 | 0.000000e+00 | -- | Inf
797.03/797.26 c 765s| 3060k|594763 | 7222k| 520M| 45 | 6 | 50 |9287 | 26 | 50 | 15 | 23 |1766k|5112 | 0.000000e+00 | -- | Inf
799.43/799.63 c 767s| 3070k|596678 | 7246k| 522M| 45 | - | 50 | 11k| 14 | 50 | 15 | 23 |1772k|5122 | 0.000000e+00 | -- | Inf
802.63/802.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.63/802.83 c 770s| 3080k|598209 | 7270k| 524M| 45 | - | 50 | 10k| 26 | 0 | 0 | 23 |1778k|5131 | 0.000000e+00 | -- | Inf
806.03/806.23 c 773s| 3090k|599662 | 7294k| 525M| 45 | - | 50 |9370 | 12 | 50 | 15 | 23 |1784k|5137 | 0.000000e+00 | -- | Inf
808.83/809.03 c 776s| 3100k|600956 | 7318k| 527M| 45 | - | 50 | 10k| 21 | 50 | 15 | 23 |1791k|5141 | 0.000000e+00 | -- | Inf
811.53/811.79 c 779s| 3110k|603167 | 7341k| 528M| 45 | - | 50 | 10k| 86 | 50 | 15 | 23 |1796k|5148 | 0.000000e+00 | -- | Inf
814.32/814.57 c 781s| 3120k|604886 | 7364k| 530M| 45 | - | 50 | 10k| 68 | 50 | 15 | 23 |1802k|5152 | 0.000000e+00 | -- | Inf
817.62/817.81 c 784s| 3130k|606492 | 7388k| 532M| 45 | 6 | 50 | 11k| 9 | 50 | 15 | 23 |1808k|5156 | 0.000000e+00 | -- | Inf
820.82/821.07 c 788s| 3140k|608143 | 7412k| 533M| 45 | 6 | 50 | 10k| 246 | 50 | 15 | 23 |1814k|5166 | 0.000000e+00 | -- | Inf
824.02/824.24 c 791s| 3150k|609732 | 7436k| 535M| 45 | 6 | 50 | 10k| 61 | 50 | 15 | 23 |1820k|5173 | 0.000000e+00 | -- | Inf
827.03/827.28 c 794s| 3160k|611312 | 7461k| 536M| 45 | - | 50 | 11k| 20 | 50 | 15 | 23 |1826k|5176 | 0.000000e+00 | -- | Inf
830.41/830.64 c 797s| 3170k|612872 | 7485k| 538M| 45 | - | 50 |9527 | 51 | 50 | 15 | 23 |1832k|5184 | 0.000000e+00 | -- | Inf
833.21/833.45 c 799s| 3180k|614329 | 7509k| 539M| 45 | - | 50 | 10k| 83 | 50 | 15 | 23 |1839k|5188 | 0.000000e+00 | -- | Inf
836.22/836.48 c 802s| 3190k|615640 | 7534k| 541M| 45 | 6 | 50 | 10k| 25 | 50 | 15 | 23 |1845k|5188 | 0.000000e+00 | -- | Inf
839.91/840.10 c 806s| 3200k|616905 | 7558k| 542M| 45 | - | 50 |9553 | 18 | 50 | 15 | 23 |1851k|5188 | 0.000000e+00 | -- | Inf
842.42/842.69 c 808s| 3210k|618709 | 7580k| 544M| 45 | - | 50 | 10k| 152 | 50 | 15 | 23 |1857k|5188 | 0.000000e+00 | -- | Inf
844.80/845.03 c 811s| 3220k|621225 | 7603k| 546M| 45 | - | 50 | 12k| 159 | 50 | 15 | 23 |1862k|5188 | 0.000000e+00 | -- | Inf
847.61/847.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.61/847.81 c 813s| 3230k|623259 | 7626k| 548M| 45 | - | 50 | 12k| 107 | 50 | 15 | 23 |1868k|5188 | 0.000000e+00 | -- | Inf
851.00/851.25 c 817s| 3240k|624843 | 7650k| 549M| 45 | 6 | 50 | 11k| 22 | 50 | 15 | 23 |1874k|5188 | 0.000000e+00 | -- | Inf
854.10/854.33 c 820s| 3250k|626488 | 7674k| 551M| 45 | - | 50 | 11k| 68 | 50 | 15 | 23 |1880k|5188 | 0.000000e+00 | -- | Inf
857.60/857.86 c 823s| 3260k|627900 | 7697k| 552M| 45 | - | 50 | 10k| 565 | 50 | 15 | 23 |1886k|5188 | 0.000000e+00 | -- | Inf
860.70/860.97 c 826s| 3270k|629610 | 7722k| 554M| 45 | 6 | 50 | 10k| 432 | 50 | 15 | 23 |1892k|5190 | 0.000000e+00 | -- | Inf
864.00/864.24 c 829s| 3280k|631042 | 7745k| 555M| 45 | - | 50 | 10k| 61 | 50 | 15 | 23 |1898k|5196 | 0.000000e+00 | -- | Inf
867.30/867.58 c 832s| 3290k|632459 | 7769k| 557M| 45 | 6 | 50 |9677 | 207 | 50 | 15 | 23 |1904k|5202 | 0.000000e+00 | -- | Inf
869.70/869.97 c 835s| 3300k|634130 | 7792k| 559M| 45 | 6 | 50 | 11k| 23 | 50 | 15 | 23 |1910k|5206 | 0.000000e+00 | -- | Inf
872.50/872.73 c 837s| 3310k|635869 | 7815k| 561M| 45 | 6 | 50 | 12k| 14 | 50 | 15 | 23 |1916k|5215 | 0.000000e+00 | -- | Inf
875.69/875.90 c 840s| 3320k|637498 | 7838k| 562M| 45 | 6 | 50 | 11k| 143 | 50 | 15 | 23 |1922k|5221 | 0.000000e+00 | -- | Inf
878.59/878.81 c 843s| 3330k|639508 | 7862k| 564M| 45 | 6 | 50 | 12k| 56 | 50 | 15 | 23 |1928k|5227 | 0.000000e+00 | -- | Inf
881.09/881.38 c 846s| 3340k|641467 | 7886k| 566M| 45 | - | 50 | 13k| 65 | 50 | 15 | 23 |1934k|5231 | 0.000000e+00 | -- | Inf
884.69/884.92 c 849s| 3350k|642795 | 7911k| 567M| 45 | - | 50 | 11k| 325 | 50 | 15 | 23 |1940k|5244 | 0.000000e+00 | -- | Inf
887.40/887.69 c 852s| 3360k|645160 | 7934k| 569M| 45 | - | 50 | 11k| 25 | 50 | 15 | 23 |1946k|5250 | 0.000000e+00 | -- | Inf
890.19/890.41 c 854s| 3370k|646559 | 7958k| 571M| 45 | - | 50 | 12k| 11 | 50 | 15 | 23 |1952k|5256 | 0.000000e+00 | -- | Inf
893.69/893.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.69/893.92 c 858s| 3380k|648124 | 7982k| 572M| 45 | - | 50 | 11k| 37 | 50 | 15 | 23 |1958k|5262 | 0.000000e+00 | -- | Inf
897.09/897.37 c 861s| 3390k|649527 | 8005k| 573M| 45 | 6 | 50 | 10k| 143 | 50 | 15 | 23 |1964k|5268 | 0.000000e+00 | -- | Inf
899.79/900.03 c 864s| 3400k|651414 | 8029k| 575M| 45 | - | 50 | 11k| 32 | 50 | 15 | 23 |1970k|5273 | 0.000000e+00 | -- | Inf
902.99/903.25 c 867s| 3410k|653186 | 8052k| 576M| 45 | 6 | 50 | 10k| 17 | 50 | 15 | 23 |1975k|5277 | 0.000000e+00 | -- | Inf
906.38/906.69 c 870s| 3420k|654434 | 8076k| 578M| 45 | 6 | 50 | 10k| 80 | 50 | 15 | 23 |1982k|5282 | 0.000000e+00 | -- | Inf
909.08/909.38 c 873s| 3430k|656307 | 8100k| 580M| 45 | 6 | 50 | 11k| 290 | 50 | 15 | 23 |1987k|5288 | 0.000000e+00 | -- | Inf
911.98/912.24 c 875s| 3440k|657840 | 8122k| 581M| 45 | - | 50 | 11k| 76 | 50 | 15 | 23 |1993k|5297 | 0.000000e+00 | -- | Inf
915.28/915.58 c 879s| 3450k|659376 | 8146k| 583M| 45 | - | 50 | 11k| 26 | 50 | 15 | 23 |1999k|5303 | 0.000000e+00 | -- | Inf
918.88/919.19 c 882s| 3460k|660523 | 8170k| 584M| 45 | - | 50 | 10k| 62 | 50 | 15 | 23 |2006k|5307 | 0.000000e+00 | -- | Inf
921.38/921.61 c 884s| 3470k|662836 | 8193k| 586M| 45 | - | 50 | 11k| 33 | 50 | 15 | 23 |2011k|5311 | 0.000000e+00 | -- | Inf
923.79/924.08 c 887s| 3480k|664864 | 8217k| 588M| 45 | 6 | 50 | 12k| 94 | 50 | 15 | 23 |2016k|5315 | 0.000000e+00 | -- | Inf
926.48/926.77 c 889s| 3490k|666615 | 8240k| 590M| 45 | - | 50 | 13k| 25 | 0 | 0 | 23 |2022k|5318 | 0.000000e+00 | -- | Inf
929.58/929.89 c 892s| 3500k|668308 | 8263k| 592M| 45 | 6 | 50 | 13k| 30 | 50 | 15 | 23 |2028k|5328 | 0.000000e+00 | -- | Inf
933.07/933.35 c 896s| 3510k|669879 | 8288k| 593M| 45 | - | 50 | 13k| 24 | 50 | 15 | 23 |2034k|5332 | 0.000000e+00 | -- | Inf
936.47/936.75 c 899s| 3520k|671621 | 8311k| 595M| 45 | - | 50 | 13k| 65 | 50 | 15 | 23 |2040k|5337 | 0.000000e+00 | -- | Inf
939.87/940.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
939.87/940.18 c 902s| 3530k|673409 | 8335k| 597M| 45 | - | 50 | 13k| 31 | 50 | 15 | 23 |2046k|5339 | 0.000000e+00 | -- | Inf
943.27/943.54 c 906s| 3540k|675104 | 8358k| 598M| 45 | - | 50 | 12k| 58 | 50 | 15 | 23 |2052k|5348 | 0.000000e+00 | -- | Inf
946.17/946.47 c 908s| 3550k|676739 | 8382k| 600M| 45 | 6 | 50 | 13k| 14 | 50 | 15 | 23 |2058k|5356 | 0.000000e+00 | -- | Inf
949.97/950.22 c 912s| 3560k|678330 | 8406k| 601M| 45 | 6 | 50 | 12k| 25 | 50 | 15 | 23 |2064k|5358 | 0.000000e+00 | -- | Inf
953.38/953.62 c 915s| 3570k|679593 | 8430k| 602M| 45 | - | 50 | 12k| 57 | 50 | 15 | 23 |2070k|5362 | 0.000000e+00 | -- | Inf
956.96/957.23 c 919s| 3580k|680882 | 8454k| 604M| 45 | - | 50 | 11k| 114 | 50 | 15 | 23 |2077k|5369 | 0.000000e+00 | -- | Inf
960.57/960.82 c 922s| 3590k|682190 | 8478k| 605M| 45 | - | 50 | 10k| 23 | 50 | 15 | 23 |2083k|5369 | 0.000000e+00 | -- | Inf
963.97/964.25 c 926s| 3600k|683378 | 8501k| 606M| 45 | 6 | 50 |9381 | 50 | 50 | 15 | 23 |2089k|5370 | 0.000000e+00 | -- | Inf
966.67/966.97 c 928s| 3610k|684975 | 8525k| 608M| 45 | 6 | 50 | 10k| 35 | 50 | 15 | 23 |2095k|5377 | 0.000000e+00 | -- | Inf
970.06/970.30 c 931s| 3620k|686433 | 8549k| 609M| 45 | 6 | 50 | 10k| 43 | 50 | 15 | 23 |2101k|5384 | 0.000000e+00 | -- | Inf
973.56/973.82 c 935s| 3630k|687747 | 8573k| 610M| 45 | 6 | 50 |9197 | 336 | 50 | 15 | 23 |2107k|5389 | 0.000000e+00 | -- | Inf
976.56/976.83 c 938s| 3640k|689328 | 8596k| 612M| 45 | 6 | 50 | 10k| 71 | 50 | 15 | 23 |2113k|5395 | 0.000000e+00 | -- | Inf
979.25/979.58 c 940s| 3650k|690885 | 8620k| 614M| 45 | - | 50 | 11k| 40 | 50 | 15 | 23 |2119k|5401 | 0.000000e+00 | -- | Inf
982.75/983.04 c 944s| 3660k|692211 | 8644k| 616M| 45 | 6 | 50 | 10k| 15 | 50 | 15 | 23 |2126k|5406 | 0.000000e+00 | -- | Inf
986.16/986.47 c 947s| 3670k|693668 | 8668k| 617M| 45 | - | 50 | 10k| 69 | 50 | 15 | 23 |2132k|5413 | 0.000000e+00 | -- | Inf
988.85/989.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
988.85/989.11 c 950s| 3680k|695602 | 8692k| 619M| 45 | 6 | 50 | 11k| 454 | 50 | 15 | 23 |2138k|5419 | 0.000000e+00 | -- | Inf
992.15/992.42 c 953s| 3690k|697219 | 8716k| 620M| 45 | 6 | 50 | 11k| 34 | 50 | 15 | 23 |2144k|5428 | 0.000000e+00 | -- | Inf
994.95/995.20 c 955s| 3700k|699091 | 8739k| 622M| 45 | 6 | 50 | 11k| 164 | 50 | 15 | 23 |2149k|5435 | 0.000000e+00 | -- | Inf
997.84/998.18 c 958s| 3710k|700498 | 8762k| 624M| 45 | - | 50 | 11k| 44 | 0 | 0 | 23 |2155k|5444 | 0.000000e+00 | -- | Inf
1001.44/1001.74 c 962s| 3720k|701834 | 8785k| 625M| 45 | - | 50 | 10k| 24 | 50 | 15 | 23 |2162k|5448 | 0.000000e+00 | -- | Inf
1004.74/1005.02 c 965s| 3730k|703507 | 8809k| 626M| 45 | 6 | 50 | 10k| 431 | 50 | 15 | 23 |2168k|5453 | 0.000000e+00 | -- | Inf
1007.05/1007.37 c 967s| 3740k|705890 | 8832k| 629M| 45 | 6 | 50 | 12k| 48 | 50 | 15 | 23 |2173k|5460 | 0.000000e+00 | -- | Inf
1009.64/1009.97 c 970s| 3750k|708038 | 8856k| 631M| 45 | - | 50 | 13k| 14 | 50 | 15 | 23 |2179k|5465 | 0.000000e+00 | -- | Inf
1012.64/1012.92 c 973s| 3760k|709786 | 8880k| 632M| 45 | 6 | 50 | 12k| 31 | 50 | 15 | 23 |2185k|5473 | 0.000000e+00 | -- | Inf
1015.54/1015.85 c 975s| 3770k|711563 | 8904k| 634M| 45 | - | 50 | 12k| 47 | 50 | 15 | 23 |2191k|5478 | 0.000000e+00 | -- | Inf
1018.35/1018.65 c 978s| 3780k|713345 | 8928k| 636M| 45 | 6 | 50 | 13k| 14 | 50 | 15 | 23 |2197k|5485 | 0.000000e+00 | -- | Inf
1021.43/1021.77 c 981s| 3790k|714785 | 8951k| 637M| 45 | 6 | 50 | 13k| 19 | 50 | 15 | 23 |2203k|5496 | 0.000000e+00 | -- | Inf
1024.73/1025.01 c 984s| 3800k|715967 | 8975k| 639M| 45 | 6 | 50 | 13k| 139 | 50 | 15 | 23 |2209k|5507 | 0.000000e+00 | -- | Inf
1028.14/1028.47 c 988s| 3810k|717452 | 8998k| 640M| 45 | 6 | 50 | 10k| 41 | 50 | 15 | 23 |2215k|5516 | 0.000000e+00 | -- | Inf
1031.54/1031.82 c 991s| 3820k|718877 | 9022k| 641M| 45 | - | 50 | 11k| 31 | 50 | 15 | 23 |2222k|5521 | 0.000000e+00 | -- | Inf
1034.53/1034.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1034.53/1034.89 c 994s| 3830k|720738 | 9047k| 643M| 45 | 6 | 50 | 11k| 161 | 50 | 15 | 23 |2227k|5524 | 0.000000e+00 | -- | Inf
1038.23/1038.59 c 997s| 3840k|721953 | 9071k| 644M| 45 | - | 50 |9129 | 76 | 50 | 15 | 23 |2234k|5529 | 0.000000e+00 | -- | Inf
1040.93/1041.27 c 1000s| 3850k|723918 | 9094k| 646M| 45 | 6 | 50 | 10k|1460 | 50 | 15 | 23 |2239k|5531 | 0.000000e+00 | -- | Inf
1044.63/1044.99 c 1004s| 3860k|725148 | 9117k| 647M| 45 | 6 | 50 |9002 | 111 | 50 | 15 | 23 |2246k|5535 | 0.000000e+00 | -- | Inf
1047.52/1047.83 c 1006s| 3870k|726853 | 9141k| 649M| 45 | - | 50 | 10k| 30 | 50 | 15 | 23 |2252k|5540 | 0.000000e+00 | -- | Inf
1050.52/1050.81 c 1009s| 3880k|728312 | 9165k| 651M| 45 | 6 | 50 | 10k| 20 | 50 | 15 | 23 |2258k|5544 | 0.000000e+00 | -- | Inf
1053.02/1053.33 c 1012s| 3890k|730267 | 9188k| 653M| 45 | 6 | 50 | 13k| 12 | 50 | 15 | 23 |2263k|5552 | 0.000000e+00 | -- | Inf
1057.12/1057.47 c 1016s| 3900k|731489 | 9213k| 654M| 45 | 6 | 50 | 11k| 82 | 50 | 15 | 23 |2270k|5556 | 0.000000e+00 | -- | Inf
1060.61/1060.96 c 1019s| 3910k|732825 | 9237k| 655M| 45 | 6 | 50 | 10k|1287 | 50 | 15 | 23 |2276k|5560 | 0.000000e+00 | -- | Inf
1064.43/1064.77 c 1023s| 3920k|733992 | 9261k| 656M| 45 | 6 | 50 |8443 | 457 | 50 | 15 | 23 |2282k|5565 | 0.000000e+00 | -- | Inf
1067.51/1067.81 c 1026s| 3930k|735315 | 9284k| 658M| 45 | 6 | 50 |9604 | 48 | 50 | 15 | 23 |2288k|5571 | 0.000000e+00 | -- | Inf
1070.41/1070.76 c 1028s| 3940k|736691 | 9308k| 660M| 45 | 6 | 50 | 10k| 70 | 50 | 15 | 23 |2295k|5573 | 0.000000e+00 | -- | Inf
1073.22/1073.53 c 1031s| 3950k|738329 | 9331k| 661M| 45 | 6 | 50 | 10k| 45 | 50 | 15 | 23 |2301k|5573 | 0.000000e+00 | -- | Inf
1075.91/1076.24 c 1034s| 3960k|740399 | 9354k| 663M| 45 | - | 50 | 10k| 84 | 50 | 15 | 23 |2306k|5576 | 0.000000e+00 | -- | Inf
1079.00/1079.34 c 1037s| 3970k|741753 | 9377k| 664M| 45 | 6 | 50 | 10k| 13 | 50 | 15 | 23 |2313k|5576 | 0.000000e+00 | -- | Inf
1082.50/1082.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.50/1082.85 c 1040s| 3980k|743003 | 9401k| 665M| 45 | 6 | 50 |9222 | 372 | 50 | 15 | 23 |2319k|5576 | 0.000000e+00 | -- | Inf
1085.50/1085.80 c 1043s| 3990k|744386 | 9424k| 667M| 45 | 6 | 50 | 10k| 19 | 50 | 15 | 23 |2325k|5576 | 0.000000e+00 | -- | Inf
1088.70/1089.02 c 1046s| 4000k|745825 | 9448k| 669M| 45 | - | 50 |9671 | 32 | 50 | 15 | 23 |2331k|5576 | 0.000000e+00 | -- | Inf
1091.90/1092.27 c 1049s| 4010k|747226 | 9472k| 670M| 45 | - | 50 | 10k| 294 | 50 | 15 | 23 |2337k|5576 | 0.000000e+00 | -- | Inf
1095.10/1095.42 c 1052s| 4020k|748557 | 9496k| 672M| 45 | - | 50 | 11k| 18 | 50 | 15 | 23 |2344k|5576 | 0.000000e+00 | -- | Inf
1098.40/1098.75 c 1055s| 4030k|749776 | 9520k| 673M| 45 | 6 | 50 | 10k| 151 | 50 | 15 | 23 |2350k|5576 | 0.000000e+00 | -- | Inf
1100.70/1101.01 c 1058s| 4040k|751861 | 9542k| 675M| 45 | - | 50 | 12k| 111 | 50 | 15 | 23 |2356k|5576 | 0.000000e+00 | -- | Inf
1104.19/1104.53 c 1061s| 4050k|753288 | 9566k| 677M| 45 | - | 50 | 10k| 83 | 50 | 15 | 23 |2362k|5584 | 0.000000e+00 | -- | Inf
1107.69/1108.04 c 1064s| 4060k|754598 | 9590k| 678M| 45 | - | 50 |9317 | 42 | 0 | 0 | 23 |2368k|5590 | 0.000000e+00 | -- | Inf
1110.38/1110.78 c 1067s| 4070k|756320 | 9614k| 680M| 45 | 6 | 50 | 10k| 30 | 50 | 15 | 23 |2374k|5600 | 0.000000e+00 | -- | Inf
1113.08/1113.49 c 1070s| 4080k|757736 | 9639k| 682M| 45 | 6 | 50 | 12k| 130 | 50 | 15 | 23 |2381k|5606 | 0.000000e+00 | -- | Inf
1116.10/1116.47 c 1072s| 4090k|758834 | 9663k| 683M| 45 | - | 50 | 12k| 38 | 50 | 15 | 23 |2388k|5609 | 0.000000e+00 | -- | Inf
1118.98/1119.34 c 1075s| 4100k|760676 | 9685k| 685M| 45 | 6 | 50 | 13k| 245 | 50 | 15 | 23 |2394k|5613 | 0.000000e+00 | -- | Inf
1122.48/1122.86 c 1079s| 4110k|762141 | 9708k| 686M| 45 | - | 50 | 11k| 195 | 50 | 15 | 23 |2400k|5616 | 0.000000e+00 | -- | Inf
1125.78/1126.15 c 1082s| 4120k|763705 | 9731k| 687M| 45 | 6 | 50 | 10k| 33 | 50 | 15 | 23 |2405k|5618 | 0.000000e+00 | -- | Inf
1128.57/1128.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1128.57/1128.92 c 1084s| 4130k|765242 | 9755k| 689M| 45 | 6 | 50 | 11k| 253 | 50 | 15 | 23 |2412k|5625 | 0.000000e+00 | -- | Inf
1131.67/1132.05 c 1087s| 4140k|766693 | 9779k| 690M| 45 | - | 50 | 10k| 25 | 50 | 15 | 23 |2418k|5631 | 0.000000e+00 | -- | Inf
1135.27/1135.65 c 1091s| 4150k|768005 | 9803k| 691M| 45 | 6 | 50 |9202 | 497 | 50 | 15 | 23 |2424k|5636 | 0.000000e+00 | -- | Inf
1138.46/1138.82 c 1094s| 4160k|769223 | 9826k| 693M| 45 | 6 | 50 |9629 | 14 | 50 | 15 | 23 |2431k|5642 | 0.000000e+00 | -- | Inf
1141.76/1142.13 c 1097s| 4170k|770509 | 9850k| 694M| 45 | 6 | 50 |8378 | 42 | 50 | 15 | 23 |2437k|5645 | 0.000000e+00 | -- | Inf
1144.06/1144.44 c 1099s| 4180k|772559 | 9874k| 697M| 45 | - | 50 | 11k| 26 | 50 | 15 | 23 |2442k|5649 | 0.000000e+00 | -- | Inf
1146.87/1147.26 c 1102s| 4190k|774082 | 9897k| 698M| 45 | 6 | 50 | 11k| 16 | 50 | 15 | 23 |2448k|5657 | 0.000000e+00 | -- | Inf
1149.66/1150.06 c 1105s| 4200k|775444 | 9921k| 700M| 45 | - | 50 | 11k| 20 | 50 | 15 | 23 |2455k|5660 | 0.000000e+00 | -- | Inf
1152.95/1153.32 c 1108s| 4210k|776955 | 9944k| 701M| 45 | - | 50 | 10k| 67 | 50 | 15 | 23 |2461k|5667 | 0.000000e+00 | -- | Inf
1156.36/1156.73 c 1111s| 4220k|778314 | 9968k| 702M| 45 | - | 50 |9365 | 49 | 50 | 15 | 23 |2467k|5669 | 0.000000e+00 | -- | Inf
1158.95/1159.33 c 1114s| 4230k|780175 | 9992k| 705M| 45 | 6 | 50 | 11k| 35 | 50 | 15 | 23 |2473k|5674 | 0.000000e+00 | -- | Inf
1162.15/1162.60 c 1117s| 4240k|781484 | 10016k| 706M| 45 | - | 50 | 11k| 14 | 50 | 15 | 23 |2479k|5678 | 0.000000e+00 | -- | Inf
1165.35/1165.72 c 1120s| 4250k|782836 | 10040k| 708M| 45 | - | 50 | 11k| 243 | 50 | 15 | 23 |2485k|5684 | 0.000000e+00 | -- | Inf
1168.15/1168.50 c 1123s| 4260k|784391 | 10062k| 710M| 45 | 6 | 50 | 12k| 74 | 50 | 15 | 23 |2491k|5687 | 0.000000e+00 | -- | Inf
1171.64/1172.04 c 1126s| 4270k|785863 | 10086k| 711M| 45 | 6 | 50 | 11k| 27 | 50 | 15 | 23 |2498k|5689 | 0.000000e+00 | -- | Inf
1174.95/1175.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1174.95/1175.32 c 1129s| 4280k|787151 | 10110k| 712M| 45 | 6 | 50 | 11k| 18 | 50 | 15 | 23 |2504k|5694 | 0.000000e+00 | -- | Inf
1177.55/1177.91 c 1132s| 4290k|788780 | 10133k| 715M| 45 | 6 | 50 | 13k| 71 | 50 | 15 | 23 |2510k|5697 | 0.000000e+00 | -- | Inf
1181.65/1182.04 c 1136s| 4300k|789778 | 10157k| 715M| 45 | 6 | 50 |9950 | 47 | 50 | 15 | 23 |2517k|5705 | 0.000000e+00 | -- | Inf
1184.94/1185.36 c 1139s| 4310k|791086 | 10181k| 716M| 45 | 6 | 50 | 10k| 82 | 50 | 15 | 23 |2523k|5708 | 0.000000e+00 | -- | Inf
1187.44/1187.84 c 1141s| 4320k|792882 | 10205k| 719M| 45 | 6 | 50 | 12k| 14 | 50 | 15 | 23 |2529k|5711 | 0.000000e+00 | -- | Inf
1190.24/1190.63 c 1144s| 4330k|794321 | 10228k| 720M| 45 | - | 50 | 13k| 38 | 0 | 0 | 23 |2536k|5716 | 0.000000e+00 | -- | Inf
1194.05/1194.43 c 1148s| 4340k|795720 | 10252k| 721M| 45 | 6 | 50 | 12k| 45 | 50 | 15 | 23 |2542k|5724 | 0.000000e+00 | -- | Inf
1196.75/1197.11 c 1150s| 4350k|797361 | 10276k| 724M| 45 | 6 | 50 | 14k| 103 | 50 | 15 | 23 |2548k|5726 | 0.000000e+00 | -- | Inf
1201.15/1201.59 c 1155s| 4360k|798346 | 10300k| 724M| 45 | - | 50 | 10k| 165 | 50 | 15 | 23 |2554k|5730 | 0.000000e+00 | -- | Inf
1204.75/1205.13 c 1158s| 4370k|799560 | 10324k| 725M| 45 | 6 | 50 | 10k| 162 | 50 | 15 | 23 |2561k|5735 | 0.000000e+00 | -- | Inf
1207.45/1207.88 c 1161s| 4380k|801267 | 10347k| 727M| 45 | 6 | 50 | 12k| 12 | 50 | 15 | 23 |2567k|5740 | 0.000000e+00 | -- | Inf
1210.34/1210.78 c 1163s| 4390k|802921 | 10371k| 729M| 45 | 6 | 50 | 13k| 64 | 50 | 15 | 23 |2573k|5743 | 0.000000e+00 | -- | Inf
1214.14/1214.58 c 1167s| 4400k|804273 | 10395k| 730M| 45 | 6 | 50 | 11k| 9 | 50 | 15 | 23 |2579k|5748 | 0.000000e+00 | -- | Inf
1217.14/1217.56 c 1170s| 4410k|805986 | 10419k| 732M| 45 | 6 | 50 | 12k| 35 | 50 | 15 | 23 |2585k|5751 | 0.000000e+00 | -- | Inf
1220.55/1220.91 c 1173s| 4420k|807523 | 10442k| 734M| 45 | 6 | 50 | 12k| 12 | 50 | 15 | 23 |2591k|5756 | 0.000000e+00 | -- | Inf
1224.24/1224.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.24/1224.67 c 1177s| 4430k|808950 | 10466k| 735M| 45 | 6 | 50 |9943 | 30 | 50 | 15 | 23 |2597k|5760 | 0.000000e+00 | -- | Inf
1227.94/1228.31 c 1180s| 4440k|810089 | 10490k| 736M| 45 | - | 50 |9212 | 52 | 50 | 15 | 23 |2603k|5766 | 0.000000e+00 | -- | Inf
1230.94/1231.36 c 1183s| 4450k|811519 | 10515k| 738M| 45 | 6 | 50 | 10k| 32 | 50 | 15 | 23 |2610k|5771 | 0.000000e+00 | -- | Inf
1233.94/1234.31 c 1186s| 4460k|813111 | 10538k| 740M| 45 | 6 | 50 | 11k| 672 | 50 | 15 | 23 |2616k|5775 | 0.000000e+00 | -- | Inf
1237.63/1238.07 c 1190s| 4470k|814362 | 10561k| 741M| 45 | - | 50 |9861 | 18 | 0 | 0 | 23 |2622k|5783 | 0.000000e+00 | -- | Inf
1240.45/1240.87 c 1193s| 4480k|816056 | 10585k| 743M| 45 | - | 50 | 11k| 8 | 50 | 15 | 23 |2628k|5788 | 0.000000e+00 | -- | Inf
1243.53/1243.97 c 1196s| 4490k|817629 | 10609k| 744M| 45 | - | 50 | 12k| 40 | 50 | 15 | 23 |2634k|5792 | 0.000000e+00 | -- | Inf
1246.24/1246.62 c 1198s| 4500k|819640 | 10632k| 746M| 45 | 6 | 50 | 13k| 110 | 50 | 15 | 23 |2640k|5800 | 0.000000e+00 | -- | Inf
1249.83/1250.20 c 1202s| 4510k|821165 | 10655k| 747M| 45 | - | 50 | 11k| 11 | 50 | 15 | 23 |2646k|5805 | 0.000000e+00 | -- | Inf
1253.23/1253.68 c 1205s| 4520k|822599 | 10678k| 748M| 45 | - | 50 |9942 | 77 | 50 | 15 | 23 |2652k|5812 | 0.000000e+00 | -- | Inf
1256.43/1256.86 c 1208s| 4530k|824016 | 10703k| 750M| 45 | 6 | 50 | 10k| 14 | 50 | 15 | 23 |2658k|5819 | 0.000000e+00 | -- | Inf
1259.04/1259.44 c 1210s| 4540k|826063 | 10725k| 752M| 45 | - | 50 | 11k| 72 | 50 | 15 | 23 |2663k|5827 | 0.000000e+00 | -- | Inf
1262.23/1262.70 c 1214s| 4550k|827386 | 10749k| 753M| 45 | 6 | 50 | 11k| 875 | 50 | 15 | 23 |2670k|5834 | 0.000000e+00 | -- | Inf
1265.64/1266.02 c 1217s| 4560k|828728 | 10773k| 755M| 45 | - | 50 | 10k| 15 | 50 | 15 | 23 |2676k|5840 | 0.000000e+00 | -- | Inf
1268.74/1269.11 c 1220s| 4570k|830352 | 10798k| 757M| 45 | 6 | 50 | 11k| 249 | 50 | 15 | 23 |2682k|5843 | 0.000000e+00 | -- | Inf
1271.63/1272.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.63/1272.08 c 1223s| 4580k|831738 | 10822k| 758M| 45 | - | 50 | 11k| 22 | 50 | 15 | 23 |2688k|5853 | 0.000000e+00 | -- | Inf
1275.64/1276.09 c 1227s| 4590k|832750 | 10845k| 759M| 45 | - | 50 |9940 | 39 | 50 | 15 | 23 |2695k|5856 | 0.000000e+00 | -- | Inf
1279.43/1279.81 c 1230s| 4600k|833944 | 10869k| 760M| 45 | 6 | 50 |9537 | 235 | 50 | 15 | 23 |2701k|5862 | 0.000000e+00 | -- | Inf
1282.13/1282.57 c 1233s| 4610k|835651 | 10894k| 762M| 45 | - | 50 | 10k| 51 | 50 | 15 | 23 |2707k|5869 | 0.000000e+00 | -- | Inf
1284.83/1285.26 c 1235s| 4620k|836942 | 10918k| 764M| 45 | 6 | 50 | 11k| 114 | 50 | 15 | 23 |2714k|5875 | 0.000000e+00 | -- | Inf
1288.33/1288.76 c 1239s| 4630k|838269 | 10942k| 765M| 45 | - | 50 | 11k| 315 | 50 | 15 | 23 |2720k|5885 | 0.000000e+00 | -- | Inf
1291.93/1292.36 c 1242s| 4640k|839698 | 10965k| 766M| 45 | 6 | 50 | 10k| 438 | 50 | 15 | 23 |2726k|5892 | 0.000000e+00 | -- | Inf
1295.22/1295.60 c 1245s| 4650k|841136 | 10988k| 768M| 45 | - | 50 | 10k| 25 | 50 | 15 | 23 |2732k|5898 | 0.000000e+00 | -- | Inf
1298.43/1298.81 c 1248s| 4660k|842702 | 11012k| 770M| 45 | 6 | 50 | 11k| 35 | 50 | 15 | 23 |2738k|5901 | 0.000000e+00 | -- | Inf
1302.33/1302.73 c 1252s| 4670k|843936 | 11036k| 771M| 45 | 6 | 50 | 10k| 12 | 50 | 15 | 23 |2744k|5905 | 0.000000e+00 | -- | Inf
1306.34/1306.72 c 1256s| 4680k|845030 | 11060k| 772M| 45 | - | 50 |9356 | 9 | 50 | 15 | 23 |2751k|5913 | 0.000000e+00 | -- | Inf
1309.73/1310.14 c 1259s| 4690k|846248 | 11085k| 774M| 45 | - | 50 |9669 | 36 | 50 | 15 | 23 |2757k|5917 | 0.000000e+00 | -- | Inf
1313.43/1313.86 c 1263s| 4700k|847362 | 11110k| 775M| 45 | 6 | 50 |9001 | 28 | 50 | 15 | 23 |2763k|5922 | 0.000000e+00 | -- | Inf
1316.33/1316.76 c 1266s| 4710k|848951 | 11134k| 777M| 45 | 6 | 50 |9998 | 10 | 50 | 15 | 23 |2770k|5927 | 0.000000e+00 | -- | Inf
1319.23/1319.68 c 1269s| 4720k|850686 | 11158k| 779M| 45 | - | 50 | 10k| 60 | 50 | 15 | 23 |2776k|5932 | 0.000000e+00 | -- | Inf
1321.92/1322.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.92/1322.33 c 1271s| 4730k|852330 | 11181k| 781M| 45 | 6 | 50 | 13k| 46 | 50 | 15 | 23 |2781k|5940 | 0.000000e+00 | -- | Inf
1325.43/1325.84 c 1275s| 4740k|853740 | 11205k| 782M| 45 | - | 50 | 11k| 59 | 0 | 0 | 23 |2788k|5947 | 0.000000e+00 | -- | Inf
1328.72/1329.18 c 1278s| 4750k|854921 | 11228k| 783M| 45 | 6 | 50 | 11k| 11 | 50 | 15 | 23 |2794k|5947 | 0.000000e+00 | -- | Inf
1331.82/1332.29 c 1281s| 4760k|856443 | 11252k| 785M| 45 | 6 | 50 | 11k| 33 | 50 | 15 | 23 |2800k|5950 | 0.000000e+00 | -- | Inf
1335.03/1335.47 c 1284s| 4770k|857851 | 11275k| 786M| 45 | - | 50 | 12k| 37 | 50 | 15 | 23 |2806k|5953 | 0.000000e+00 | -- | Inf
1338.72/1339.12 c 1287s| 4780k|859136 | 11298k| 788M| 45 | 6 | 50 | 11k| 31 | 50 | 15 | 23 |2812k|5957 | 0.000000e+00 | -- | Inf
1342.52/1342.92 c 1291s| 4790k|860360 | 11322k| 789M| 45 | - | 50 | 10k| 22 | 50 | 15 | 23 |2819k|5961 | 0.000000e+00 | -- | Inf
1346.12/1346.54 c 1295s| 4800k|861652 | 11346k| 790M| 45 | 6 | 50 | 10k| 559 | 50 | 15 | 23 |2825k|5968 | 0.000000e+00 | -- | Inf
1348.62/1349.04 c 1297s| 4810k|863769 | 11370k| 793M| 45 | - | 50 | 13k| 12 | 50 | 15 | 23 |2831k|5972 | 0.000000e+00 | -- | Inf
1351.62/1352.07 c 1300s| 4820k|865293 | 11395k| 794M| 45 | 6 | 50 | 13k| 26 | 50 | 15 | 23 |2837k|5977 | 0.000000e+00 | -- | Inf
1355.93/1356.39 c 1304s| 4830k|866284 | 11419k| 795M| 45 | 6 | 50 |9882 | 26 | 50 | 15 | 23 |2843k|5985 | 0.000000e+00 | -- | Inf
1358.42/1358.88 c 1307s| 4840k|868003 | 11445k| 797M| 45 | 6 | 50 | 12k| 8 | 50 | 15 | 23 |2849k|5991 | 0.000000e+00 | -- | Inf
1361.82/1362.29 c 1310s| 4850k|869469 | 11469k| 798M| 45 | - | 50 | 11k| 83 | 50 | 15 | 23 |2856k|5994 | 0.000000e+00 | -- | Inf
1365.52/1365.96 c 1313s| 4860k|870729 | 11493k| 800M| 45 | - | 50 | 11k| 23 | 50 | 15 | 23 |2862k|6002 | 0.000000e+00 | -- | Inf
1368.81/1369.29 c 1317s| 4870k|872333 | 11517k| 801M| 45 | - | 50 | 11k| 36 | 50 | 15 | 23 |2868k|6006 | 0.000000e+00 | -- | Inf
1372.72/1373.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1372.72/1373.19 c 1320s| 4880k|873595 | 11540k| 802M| 45 | 6 | 50 | 10k| 455 | 50 | 15 | 23 |2874k|6014 | 0.000000e+00 | -- | Inf
1375.91/1376.36 c 1323s| 4890k|874910 | 11564k| 804M| 45 | - | 50 | 10k| 54 | 50 | 15 | 23 |2880k|6020 | 0.000000e+00 | -- | Inf
1379.32/1379.70 c 1327s| 4900k|876276 | 11587k| 806M| 45 | 6 | 50 | 10k| 202 | 50 | 15 | 23 |2886k|6024 | 0.000000e+00 | -- | Inf
1382.42/1382.81 c 1330s| 4910k|877930 | 11611k| 807M| 45 | 6 | 50 | 11k| 202 | 50 | 15 | 23 |2892k|6033 | 0.000000e+00 | -- | Inf
1385.81/1386.20 c 1333s| 4920k|879288 | 11635k| 809M| 45 | - | 50 | 11k| 105 | 50 | 15 | 23 |2899k|6041 | 0.000000e+00 | -- | Inf
1388.61/1389.04 c 1336s| 4930k|880928 | 11659k| 811M| 45 | - | 50 | 13k| 19 | 50 | 15 | 23 |2905k|6045 | 0.000000e+00 | -- | Inf
1392.51/1392.94 c 1340s| 4940k|882100 | 11683k| 812M| 45 | 6 | 50 | 12k| 117 | 50 | 15 | 23 |2911k|6051 | 0.000000e+00 | -- | Inf
1395.81/1396.24 c 1343s| 4950k|883676 | 11707k| 813M| 45 | 6 | 50 | 11k| 55 | 50 | 15 | 23 |2917k|6058 | 0.000000e+00 | -- | Inf
1398.51/1398.96 c 1345s| 4960k|885325 | 11730k| 815M| 45 | 6 | 50 | 13k| 36 | 50 | 15 | 23 |2923k|6060 | 0.000000e+00 | -- | Inf
1402.02/1402.50 c 1349s| 4970k|886731 | 11755k| 817M| 45 | 6 | 50 | 12k| 26 | 50 | 15 | 23 |2929k|6064 | 0.000000e+00 | -- | Inf
1405.71/1406.10 c 1352s| 4980k|888004 | 11778k| 818M| 45 | 6 | 50 | 12k| 19 | 50 | 15 | 23 |2936k|6068 | 0.000000e+00 | -- | Inf
1409.61/1410.03 c 1356s| 4990k|889036 | 11802k| 819M| 45 | - | 50 | 10k| 87 | 50 | 15 | 23 |2942k|6069 | 0.000000e+00 | -- | Inf
1413.41/1413.81 c 1360s| 5000k|890228 | 11826k| 820M| 45 | 6 | 50 | 10k| 394 | 50 | 15 | 23 |2948k|6076 | 0.000000e+00 | -- | Inf
1416.32/1416.74 c 1363s| 5010k|892025 | 11850k| 822M| 45 | 6 | 50 | 10k| 40 | 50 | 15 | 23 |2954k|6082 | 0.000000e+00 | -- | Inf
1418.91/1419.34 c 1365s| 5020k|893690 | 11875k| 824M| 45 | - | 50 | 13k| 45 | 50 | 15 | 23 |2961k|6087 | 0.000000e+00 | -- | Inf
1422.51/1422.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.51/1422.99 c 1369s| 5030k|894872 | 11899k| 825M| 45 | 6 | 50 | 11k| 38 | 50 | 15 | 23 |2967k|6090 | 0.000000e+00 | -- | Inf
1425.91/1426.39 c 1372s| 5040k|896372 | 11922k| 827M| 45 | 6 | 50 | 11k| 30 | 50 | 15 | 23 |2973k|6094 | 0.000000e+00 | -- | Inf
1429.11/1429.54 c 1375s| 5050k|897934 | 11946k| 829M| 45 | - | 50 | 12k| 656 | 50 | 15 | 23 |2979k|6096 | 0.000000e+00 | -- | Inf
1432.41/1432.83 c 1378s| 5060k|899482 | 11970k| 831M| 45 | - | 50 | 13k| 27 | 0 | 0 | 23 |2985k|6099 | 0.000000e+00 | -- | Inf
1435.91/1436.32 c 1381s| 5070k|900888 | 11993k| 832M| 45 | 6 | 50 | 12k| 550 | 50 | 15 | 23 |2992k|6107 | 0.000000e+00 | -- | Inf
1439.90/1440.31 c 1385s| 5080k|902093 | 12016k| 833M| 45 | 6 | 50 | 10k| 10 | 50 | 15 | 23 |2998k|6111 | 0.000000e+00 | -- | Inf
1442.90/1443.38 c 1388s| 5090k|903462 | 12040k| 834M| 45 | - | 50 |9815 | 240 | 50 | 15 | 23 |3004k|6114 | 0.000000e+00 | -- | Inf
1445.41/1445.82 c 1391s| 5100k|905399 | 12064k| 836M| 45 | 6 | 50 | 11k| 57 | 50 | 15 | 23 |3010k|6117 | 0.000000e+00 | -- | Inf
1448.31/1448.71 c 1393s| 5110k|906990 | 12087k| 838M| 45 | 6 | 50 | 12k| 29 | 50 | 15 | 23 |3016k|6123 | 0.000000e+00 | -- | Inf
1452.31/1452.73 c 1397s| 5120k|908065 | 12111k| 839M| 45 | 6 | 50 | 10k| 93 | 50 | 15 | 23 |3022k|6127 | 0.000000e+00 | -- | Inf
1455.61/1456.01 c 1400s| 5130k|909566 | 12134k| 841M| 45 | 6 | 50 | 11k| 29 | 50 | 15 | 23 |3028k|6133 | 0.000000e+00 | -- | Inf
1458.60/1459.01 c 1403s| 5140k|911304 | 12158k| 842M| 45 | - | 50 | 11k| 15 | 50 | 15 | 23 |3034k|6138 | 0.000000e+00 | -- | Inf
1462.71/1463.17 c 1407s| 5150k|912448 | 12183k| 843M| 45 | 6 | 50 |9991 | 15 | 50 | 15 | 23 |3041k|6142 | 0.000000e+00 | -- | Inf
1466.40/1466.80 c 1411s| 5160k|913605 | 12206k| 845M| 45 | - | 50 | 10k| 73 | 50 | 15 | 23 |3047k|6148 | 0.000000e+00 | -- | Inf
1469.80/1470.29 c 1414s| 5170k|914812 | 12231k| 846M| 45 | 6 | 50 | 10k| 295 | 50 | 15 | 23 |3053k|6150 | 0.000000e+00 | -- | Inf
1472.70/1473.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.70/1473.17 c 1417s| 5180k|916468 | 12254k| 848M| 45 | 6 | 50 | 11k| 59 | 50 | 15 | 23 |3059k|6153 | 0.000000e+00 | -- | Inf
1476.31/1476.70 c 1420s| 5190k|917590 | 12277k| 849M| 45 | 6 | 50 |9966 | 760 | 50 | 15 | 23 |3066k|6156 | 0.000000e+00 | -- | Inf
1479.40/1479.80 c 1423s| 5200k|919274 | 12301k| 851M| 45 | 6 | 50 | 11k| 25 | 50 | 15 | 23 |3072k|6164 | 0.000000e+00 | -- | Inf
1482.70/1483.14 c 1427s| 5210k|920658 | 12326k| 853M| 45 | 6 | 50 | 11k| 47 | 50 | 15 | 23 |3078k|6166 | 0.000000e+00 | -- | Inf
1485.40/1485.86 c 1429s| 5220k|922160 | 12350k| 855M| 45 | 6 | 50 | 14k| 141 | 50 | 15 | 23 |3085k|6173 | 0.000000e+00 | -- | Inf
1489.20/1489.66 c 1433s| 5230k|923463 | 12374k| 856M| 45 | - | 50 | 12k| 24 | 50 | 15 | 23 |3091k|6177 | 0.000000e+00 | -- | Inf
1493.60/1494.07 c 1437s| 5240k|924444 | 12398k| 857M| 45 | 6 | 50 | 10k| 452 | 50 | 15 | 23 |3097k|6177 | 0.000000e+00 | -- | Inf
1497.00/1497.46 c 1441s| 5250k|925729 | 12422k| 859M| 45 | 6 | 50 | 10k| 74 | 50 | 15 | 23 |3104k|6177 | 0.000000e+00 | -- | Inf
1500.79/1501.21 c 1444s| 5260k|926895 | 12446k| 860M| 45 | 6 | 50 | 10k| 49 | 50 | 15 | 23 |3110k|6177 | 0.000000e+00 | -- | Inf
1504.19/1504.67 c 1448s| 5270k|928256 | 12469k| 861M| 45 | - | 50 | 10k| 57 | 50 | 15 | 23 |3116k|6177 | 0.000000e+00 | -- | Inf
1507.70/1508.12 c 1451s| 5280k|929709 | 12494k| 863M| 45 | 6 | 50 | 11k| 141 | 50 | 15 | 23 |3123k|6179 | 0.000000e+00 | -- | Inf
1510.80/1511.21 c 1454s| 5290k|931291 | 12519k| 864M| 45 | 6 | 50 | 11k| 20 | 50 | 15 | 23 |3129k|6181 | 0.000000e+00 | -- | Inf
1514.00/1514.45 c 1457s| 5300k|932646 | 12544k| 866M| 45 | 6 | 50 | 12k| 539 | 50 | 15 | 23 |3135k|6184 | 0.000000e+00 | -- | Inf
1517.29/1517.76 c 1460s| 5310k|934135 | 12568k| 868M| 45 | 6 | 50 | 12k| 264 | 50 | 15 | 23 |3142k|6189 | 0.000000e+00 | -- | Inf
1521.00/1521.42 c 1464s| 5320k|935519 | 12592k| 869M| 45 | 6 | 50 | 11k| 66 | 50 | 15 | 23 |3148k|6193 | 0.000000e+00 | -- | Inf
1524.60/1525.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.60/1525.00 c 1467s| 5330k|936726 | 12615k| 870M| 45 | - | 50 | 11k| 84 | 50 | 15 | 23 |3154k|6197 | 0.000000e+00 | -- | Inf
1528.10/1528.56 c 1471s| 5340k|938186 | 12639k| 872M| 45 | 6 | 50 | 10k| 41 | 50 | 15 | 23 |3160k|6204 | 0.000000e+00 | -- | Inf
1531.39/1531.85 c 1474s| 5350k|939677 | 12662k| 873M| 45 | - | 50 | 11k| 248 | 50 | 15 | 23 |3166k|6209 | 0.000000e+00 | -- | Inf
1535.10/1535.58 c 1477s| 5360k|940917 | 12686k| 875M| 45 | 6 | 50 | 10k| 19 | 50 | 15 | 23 |3173k|6212 | 0.000000e+00 | -- | Inf
1538.69/1539.10 c 1481s| 5370k|942187 | 12711k| 876M| 45 | - | 50 | 11k| 28 | 50 | 15 | 23 |3179k|6217 | 0.000000e+00 | -- | Inf
1542.59/1543.01 c 1485s| 5380k|943346 | 12734k| 878M| 45 | - | 50 | 11k| 58 | 50 | 15 | 23 |3185k|6226 | 0.000000e+00 | -- | Inf
1545.59/1546.03 c 1488s| 5390k|944864 | 12757k| 879M| 45 | 6 | 50 | 11k| 107 | 50 | 15 | 23 |3191k|6233 | 0.000000e+00 | -- | Inf
1549.19/1549.64 c 1491s| 5400k|946210 | 12781k| 880M| 45 | - | 50 | 10k| 315 | 50 | 15 | 23 |3197k|6235 | 0.000000e+00 | -- | Inf
1552.80/1553.21 c 1495s| 5410k|947490 | 12805k| 882M| 45 | 6 | 50 | 10k| 42 | 50 | 15 | 23 |3204k|6241 | 0.000000e+00 | -- | Inf
1556.29/1556.72 c 1498s| 5420k|948597 | 12828k| 883M| 45 | - | 50 | 10k| 520 | 50 | 15 | 23 |3210k|6246 | 0.000000e+00 | -- | Inf
1560.18/1560.61 c 1502s| 5430k|949711 | 12852k| 885M| 45 | 6 | 50 | 10k| 289 | 50 | 15 | 23 |3217k|6253 | 0.000000e+00 | -- | Inf
1564.19/1564.64 c 1506s| 5440k|950710 | 12876k| 885M| 45 | 6 | 50 |8358 | 61 | 50 | 15 | 23 |3223k|6258 | 0.000000e+00 | -- | Inf
1567.09/1567.57 c 1508s| 5450k|952158 | 12900k| 887M| 45 | 6 | 50 | 10k| 140 | 50 | 15 | 23 |3230k|6260 | 0.000000e+00 | -- | Inf
1570.49/1570.96 c 1512s| 5460k|953396 | 12924k| 889M| 45 | - | 50 | 10k| 20 | 50 | 15 | 23 |3236k|6266 | 0.000000e+00 | -- | Inf
1574.08/1574.59 c 1515s| 5470k|954522 | 12948k| 890M| 45 | - | 50 |9718 | 16 | 0 | 0 | 23 |3242k|6270 | 0.000000e+00 | -- | Inf
1577.09/1577.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1577.09/1577.56 c 1518s| 5480k|956518 | 12972k| 892M| 45 | 6 | 50 | 10k| 79 | 50 | 15 | 23 |3248k|6276 | 0.000000e+00 | -- | Inf
1579.68/1580.15 c 1521s| 5490k|958726 | 12996k| 894M| 45 | - | 50 | 11k| 73 | 0 | 0 | 23 |3253k|6282 | 0.000000e+00 | -- | Inf
1582.29/1582.79 c 1523s| 5500k|960746 | 13021k| 896M| 45 | 6 | 50 | 13k| 23 | 50 | 15 | 23 |3259k|6287 | 0.000000e+00 | -- | Inf
1585.48/1585.99 c 1526s| 5510k|962187 | 13046k| 898M| 45 | 6 | 50 | 13k| 71 | 50 | 15 | 23 |3265k|6292 | 0.000000e+00 | -- | Inf
1588.68/1589.11 c 1529s| 5520k|963543 | 13070k| 899M| 45 | - | 50 | 13k| 16 | 50 | 15 | 23 |3272k|6296 | 0.000000e+00 | -- | Inf
1591.88/1592.37 c 1532s| 5530k|964728 | 13095k| 901M| 45 | - | 50 | 14k| 101 | 50 | 15 | 23 |3278k|6299 | 0.000000e+00 | -- | Inf
1594.69/1595.19 c 1535s| 5540k|966602 | 13120k| 903M| 45 | 6 | 50 | 15k| 25 | 50 | 15 | 23 |3284k|6302 | 0.000000e+00 | -- | Inf
1598.38/1598.85 c 1539s| 5550k|967789 | 13145k| 904M| 45 | - | 50 | 14k| 37 | 50 | 15 | 23 |3291k|6309 | 0.000000e+00 | -- | Inf
1601.68/1602.10 c 1542s| 5560k|969351 | 13169k| 906M| 45 | - | 50 | 15k| 187 | 50 | 15 | 23 |3297k|6313 | 0.000000e+00 | -- | Inf
1605.68/1606.15 c 1546s| 5570k|970270 | 13193k| 907M| 45 | 6 | 50 | 14k| 208 | 50 | 15 | 23 |3304k|6320 | 0.000000e+00 | -- | Inf
1609.99/1610.46 c 1550s| 5580k|971435 | 13217k| 908M| 45 | 6 | 50 | 12k| 75 | 50 | 15 | 23 |3310k|6325 | 0.000000e+00 | -- | Inf
1613.88/1614.37 c 1554s| 5590k|972871 | 13240k| 909M| 45 | 6 | 50 | 11k| 27 | 50 | 15 | 23 |3316k|6331 | 0.000000e+00 | -- | Inf
1616.38/1616.83 c 1556s| 5600k|974802 | 13263k| 912M| 45 | - | 50 | 14k| 55 | 50 | 15 | 23 |3322k|6337 | 0.000000e+00 | -- | Inf
1619.57/1620.02 c 1559s| 5610k|975809 | 13286k| 913M| 45 | 6 | 50 | 14k| 766 | 50 | 15 | 23 |3328k|6341 | 0.000000e+00 | -- | Inf
1624.57/1625.04 c 1564s| 5620k|976876 | 13310k| 914M| 45 | - | 50 | 11k| 17 | 0 | 0 | 23 |3334k|6346 | 0.000000e+00 | -- | Inf
1628.77/1629.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1628.77/1629.29 c 1568s| 5630k|977966 | 13334k| 915M| 45 | - | 50 | 10k| 74 | 50 | 15 | 23 |3341k|6351 | 0.000000e+00 | -- | Inf
1632.77/1633.22 c 1572s| 5640k|979177 | 13358k| 916M| 45 | 6 | 50 | 11k| 22 | 50 | 15 | 23 |3347k|6356 | 0.000000e+00 | -- | Inf
1636.17/1636.69 c 1575s| 5650k|980427 | 13382k| 918M| 45 | 6 | 50 | 10k| 223 | 50 | 15 | 23 |3353k|6364 | 0.000000e+00 | -- | Inf
1639.17/1639.67 c 1578s| 5660k|981912 | 13405k| 919M| 45 | - | 50 | 11k| 19 | 50 | 15 | 23 |3360k|6372 | 0.000000e+00 | -- | Inf
1642.46/1642.92 c 1581s| 5670k|982971 | 13428k| 921M| 45 | 6 | 50 | 12k| 118 | 50 | 15 | 23 |3366k|6376 | 0.000000e+00 | -- | Inf
1646.47/1646.94 c 1585s| 5680k|984139 | 13451k| 922M| 45 | - | 50 | 10k| 52 | 50 | 15 | 23 |3372k|6378 | 0.000000e+00 | -- | Inf
1649.77/1650.28 c 1589s| 5690k|985760 | 13474k| 924M| 45 | 6 | 50 | 12k| 20 | 50 | 15 | 23 |3378k|6383 | 0.000000e+00 | -- | Inf
1653.17/1653.65 c 1592s| 5700k|987126 | 13498k| 925M| 45 | - | 50 | 11k| 616 | 50 | 15 | 23 |3384k|6388 | 0.000000e+00 | -- | Inf
1656.87/1657.37 c 1595s| 5710k|988319 | 13522k| 926M| 45 | 6 | 50 | 11k| 252 | 50 | 15 | 23 |3391k|6391 | 0.000000e+00 | -- | Inf
1660.27/1660.77 c 1599s| 5720k|989703 | 13546k| 928M| 45 | 6 | 50 | 11k| 41 | 50 | 15 | 23 |3397k|6398 | 0.000000e+00 | -- | Inf
1664.07/1664.59 c 1602s| 5730k|990918 | 13571k| 929M| 45 | 6 | 50 | 10k| 92 | 50 | 15 | 23 |3403k|6403 | 0.000000e+00 | -- | Inf
1668.06/1668.57 c 1606s| 5740k|992102 | 13595k| 930M| 45 | 6 | 50 |9821 | 126 | 50 | 15 | 23 |3409k|6408 | 0.000000e+00 | -- | Inf
1671.36/1671.89 c 1609s| 5750k|993359 | 13619k| 932M| 45 | 6 | 50 | 11k| 532 | 50 | 15 | 23 |3416k|6417 | 0.000000e+00 | -- | Inf
1673.96/1674.49 c 1612s| 5760k|995394 | 13645k| 934M| 45 | 6 | 50 | 13k| 184 | 50 | 15 | 23 |3422k|6422 | 0.000000e+00 | -- | Inf
1676.96/1677.44 c 1615s| 5770k|996967 | 13670k| 936M| 45 | 6 | 50 | 14k| 10 | 50 | 15 | 23 |3429k|6425 | 0.000000e+00 | -- | Inf
1680.26/1680.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.26/1680.80 c 1618s| 5780k|998109 | 13695k| 937M| 45 | 6 | 50 | 13k| 14 | 50 | 15 | 23 |3435k|6429 | 0.000000e+00 | -- | Inf
1683.75/1684.21 c 1621s| 5790k|999191 | 13720k| 939M| 45 | 6 | 50 | 14k| 128 | 50 | 15 | 23 |3442k|6431 | 0.000000e+00 | -- | Inf
1687.16/1687.60 c 1625s| 5800k| 1000k| 13745k| 940M| 45 | 6 | 50 | 13k| 67 | 50 | 15 | 23 |3448k|6436 | 0.000000e+00 | -- | Inf
1690.75/1691.29 c 1628s| 5810k| 1002k| 13769k| 941M| 45 | - | 50 | 12k| 62 | 50 | 15 | 23 |3455k|6440 | 0.000000e+00 | -- | Inf
1695.05/1695.51 c 1632s| 5820k| 1003k| 13793k| 942M| 45 | 6 | 50 | 10k| 87 | 50 | 15 | 23 |3461k|6444 | 0.000000e+00 | -- | Inf
1697.85/1698.31 c 1635s| 5830k| 1004k| 13818k| 944M| 45 | - | 50 | 12k| 16 | 50 | 15 | 23 |3467k|6451 | 0.000000e+00 | -- | Inf
1700.55/1701.06 c 1638s| 5840k| 1006k| 13841k| 946M| 45 | - | 50 | 14k| 42 | 50 | 15 | 23 |3473k|6459 | 0.000000e+00 | -- | Inf
1704.35/1704.84 c 1641s| 5850k| 1007k| 13864k| 948M| 45 | 6 | 50 | 13k| 63 | 50 | 15 | 23 |3479k|6464 | 0.000000e+00 | -- | Inf
1706.95/1707.46 c 1644s| 5860k| 1010k| 13887k| 950M| 45 | - | 50 | 14k| 26 | 50 | 15 | 23 |3484k|6471 | 0.000000e+00 | -- | Inf
1710.24/1710.78 c 1647s| 5870k| 1012k| 13910k| 952M| 45 | 6 | 50 | 15k| 100 | 50 | 15 | 23 |3489k|6474 | 0.000000e+00 | -- | Inf
1713.45/1713.99 c 1650s| 5880k| 1014k| 13935k| 954M| 45 | - | 50 | 16k| 93 | 50 | 15 | 23 |3495k|6481 | 0.000000e+00 | -- | Inf
1716.94/1717.46 c 1653s| 5890k| 1016k| 13958k| 955M| 45 | 6 | 50 | 16k| 233 | 50 | 15 | 23 |3501k|6481 | 0.000000e+00 | -- | Inf
1720.34/1720.82 c 1657s| 5900k| 1018k| 13983k| 957M| 45 | - | 50 | 17k| 296 | 50 | 15 | 23 |3507k|6481 | 0.000000e+00 | -- | Inf
1723.84/1724.35 c 1660s| 5910k| 1019k| 14006k| 959M| 45 | - | 50 | 16k| 16 | 50 | 15 | 23 |3513k|6481 | 0.000000e+00 | -- | Inf
1728.23/1728.76 c 1664s| 5920k| 1021k| 14030k| 960M| 45 | 6 | 50 | 15k| 54 | 50 | 15 | 23 |3519k|6481 | 0.000000e+00 | -- | Inf
1732.93/1733.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1732.93/1733.43 c 1669s| 5930k| 1022k| 14053k| 961M| 45 | 6 | 50 | 12k| 14 | 50 | 15 | 23 |3525k|6484 | 0.000000e+00 | -- | Inf
1736.73/1737.20 c 1673s| 5940k| 1023k| 14077k| 962M| 45 | 6 | 50 | 12k| 31 | 50 | 15 | 23 |3532k|6486 | 0.000000e+00 | -- | Inf
1740.42/1740.90 c 1676s| 5950k| 1024k| 14101k| 964M| 45 | 6 | 50 | 12k| 245 | 50 | 15 | 23 |3538k|6486 | 0.000000e+00 | -- | Inf
1744.52/1745.08 c 1680s| 5960k| 1025k| 14125k| 964M| 45 | - | 50 | 10k| 25 | 50 | 15 | 23 |3544k|6489 | 0.000000e+00 | -- | Inf
1748.62/1749.16 c 1684s| 5970k| 1026k| 14149k| 965M| 45 | - | 50 |9535 | 17 | 50 | 15 | 23 |3551k|6489 | 0.000000e+00 | -- | Inf
1751.52/1752.03 c 1687s| 5980k| 1028k| 14174k| 968M| 45 | - | 50 | 11k| 62 | 50 | 15 | 23 |3557k|6493 | 0.000000e+00 | -- | Inf
1755.02/1755.50 c 1690s| 5990k| 1029k| 14197k| 969M| 45 | - | 50 | 12k| 32 | 50 | 15 | 23 |3563k|6501 | 0.000000e+00 | -- | Inf
1757.71/1758.29 c 1693s| 6000k| 1031k| 14221k| 971M| 45 | - | 50 | 14k| 12 | 0 | 0 | 23 |3569k|6505 | 0.000000e+00 | -- | Inf
1760.71/1761.23 c 1696s| 6010k| 1033k| 14243k| 973M| 45 | 6 | 50 | 15k| 32 | 50 | 15 | 23 |3575k|6509 | 0.000000e+00 | -- | Inf
1763.41/1763.99 c 1699s| 6020k| 1035k| 14266k| 976M| 45 | - | 50 | 16k| 26 | 50 | 15 | 23 |3580k|6511 | 0.000000e+00 | -- | Inf
1766.81/1767.37 c 1702s| 6030k| 1037k| 14290k| 977M| 45 | 6 | 50 | 17k| 118 | 50 | 15 | 23 |3586k|6516 | 0.000000e+00 | -- | Inf
1770.40/1770.93 c 1705s| 6040k| 1039k| 14312k| 979M| 45 | - | 50 | 16k| 9 | 50 | 15 | 23 |3592k|6517 | 0.000000e+00 | -- | Inf
1773.71/1774.22 c 1708s| 6050k| 1040k| 14335k| 980M| 45 | - | 50 | 16k| 100 | 50 | 15 | 23 |3598k|6520 | 0.000000e+00 | -- | Inf
1777.30/1777.83 c 1712s| 6060k| 1042k| 14357k| 981M| 45 | - | 50 | 15k| 14 | 50 | 15 | 23 |3604k|6522 | 0.000000e+00 | -- | Inf
1780.49/1781.07 c 1715s| 6070k| 1043k| 14380k| 983M| 45 | 6 | 50 | 16k| 128 | 50 | 15 | 23 |3610k|6524 | 0.000000e+00 | -- | Inf
1784.09/1784.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1784.09/1784.64 c 1719s| 6080k| 1044k| 14402k| 985M| 45 | 6 | 50 | 16k| 94 | 50 | 15 | 23 |3616k|6526 | 0.000000e+00 | -- | Inf
1787.49/1788.05 c 1722s| 6090k| 1046k| 14425k| 986M| 45 | 6 | 50 | 16k| 388 | 50 | 15 | 23 |3622k|6532 | 0.000000e+00 | -- | Inf
1791.30/1791.87 c 1726s| 6100k| 1047k| 14448k| 987M| 45 | - | 50 | 15k| 20 | 0 | 0 | 23 |3628k|6535 | 0.000000e+00 | -- | Inf
1795.59/1796.13 c 1730s| 6110k| 1048k| 14472k| 988M| 45 | 6 | 50 | 12k| 21 | 50 | 15 | 23 |3634k|6538 | 0.000000e+00 | -- | Inf
1798.39/1798.93 c 1732s| 6120k| 1050k| 14495k| 990M| 45 | - | 50 | 13k| 20 | 0 | 0 | 23 |3640k|6542 | 0.000000e+00 | -- | Inf
1800.10/1800.61 c
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time (sec) : 1733.95
1800.10/1800.61 c Solving Nodes : 6125810
1800.10/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.10/1800.61 c Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 c NODE 6125810
1800.10/1800.61 c DUAL BOUND 0
1800.10/1800.61 c PRIMAL BOUND 1e+20
1800.10/1800.61 c GAP 1e+20
1800.10/1800.61 s UNKNOWN
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time : 1733.95
1800.10/1800.61 c Original Problem :
1800.10/1800.61 c Problem name : HOME/instance-3734851-1338705495.opb
1800.10/1800.61 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 13 initial, 13 maximal
1800.10/1800.61 c Presolved Problem :
1800.10/1800.61 c Problem name : t_HOME/instance-3734851-1338705495.opb
1800.10/1800.61 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 6 initial, 17929 maximal
1800.10/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.10/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c linear : 0.00 0 0 0 0 0 7 0 0
1800.10/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c root node : - 0 - - 0 - - - -
1800.10/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c integral : 0 0 0 3660300 0 976 2846 0 0 7313166
1800.10/1800.61 c linear : 6 6 14663462 0 0 346150 4703631 0 0 0
1800.10/1800.61 c logicor : 0+ 0 6917551 0 0 16944 2668287 0 0 0
1800.10/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.61 c integral : 20.87 0.00 0.00 20.87 0.00
1800.10/1800.61 c linear : 214.18 0.00 214.18 0.00 0.00
1800.10/1800.61 c logicor : 497.56 0.00 497.56 0.00 0.00
1800.10/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.61 c rootredcost : 2.24 0 0 0
1800.10/1800.61 c pseudoobj : 1.29 0 0 0
1800.10/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.61 c propagation : 14.30 363094 317154 1082945 36.9 87 28.9 -
1800.10/1800.61 c infeasible LP : 59.41 2205615 2205571 4145229 24.0 35357 28.3 0
1800.10/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.61 c applied globally : - - - 3165738 20.9 - - -
1800.10/1800.61 c applied locally : - - - 478228 34.5 - - -
1800.10/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.61 c cut pool : 0.00 5 - - 20 - (maximal pool size: 93)
1800.10/1800.61 c redcost : 3.34 3660293 0 0 0 0
1800.10/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.10/1800.61 c intobj : 0.00 0 0 0 0 0
1800.10/1800.61 c gomory : 0.00 6 0 0 0 0
1800.10/1800.61 c strongcg : 0.00 6 0 0 25 0
1800.10/1800.61 c cmir : 0.01 6 0 0 34 0
1800.10/1800.61 c flowcover : 0.02 6 0 0 58 0
1800.10/1800.61 c clique : 0.00 1 0 0 0 0
1800.10/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.61 c mcf : 0.00 1 0 0 0 0
1800.10/1800.61 c Pricers : Time Calls Vars
1800.10/1800.61 c problem variables: 0.00 0 0
1800.10/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c relpscost : 19.17 3660300 976 2846 0 0 7313166
1800.10/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.10/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c random : 0.00 0 0 0 0 0 0
1800.10/1800.61 c Primal Heuristics : Time Calls Found
1800.10/1800.61 c LP solutions : 0.00 - 0
1800.10/1800.61 c pseudo solutions : 0.00 - 0
1800.10/1800.61 c oneopt : 1.25 0 0
1800.10/1800.61 c crossover : 0.58 0 0
1800.10/1800.61 c guideddiving : 0.16 0 0
1800.10/1800.61 c intshifting : 0.04 0 0
1800.10/1800.61 c veclendiving : 0.11 91 0
1800.10/1800.61 c feaspump : 0.09 46 0
1800.10/1800.61 c objpscostdiving : 0.11 46 0
1800.10/1800.61 c rootsoldiving : 0.20 46 0
1800.10/1800.61 c coefdiving : 0.18 92 0
1800.10/1800.61 c linesearchdiving : 0.14 92 0
1800.10/1800.61 c pscostdiving : 0.09 92 0
1800.10/1800.61 c fracdiving : 0.11 92 0
1800.10/1800.61 c simplerounding : 0.96 0 0
1800.10/1800.61 c rounding : 1.14 27073 0
1800.10/1800.61 c shifting : 2.24 8237 0
1800.10/1800.61 c fixandinfer : 0.00 0 0
1800.10/1800.61 c intdiving : 0.00 0 0
1800.10/1800.61 c actconsdiving : 0.00 0 0
1800.10/1800.61 c octane : 0.00 0 0
1800.10/1800.61 c rens : 0.01 1 0
1800.10/1800.61 c rins : 0.00 0 0
1800.10/1800.61 c localbranching : 0.00 0 0
1800.10/1800.61 c mutation : 0.00 0 0
1800.10/1800.61 c dins : 0.00 0 0
1800.10/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.61 c dual LP : 235.93 5675874 14504491 2.56 61477.94
1800.10/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.61 c diving/probing LP: 0.05 1816 3613 1.99 72260.00
1800.10/1800.61 c strong branching : 0.48 6546 29997 4.58 62493.75
1800.10/1800.61 c (at root node) : - 15 647 43.13 -
1800.10/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.61 c B&B Tree :
1800.10/1800.61 c number of runs : 1
1800.10/1800.61 c nodes : 6125810
1800.10/1800.61 c nodes (total) : 6125810
1800.10/1800.61 c nodes left : 1051394
1800.10/1800.61 c max depth : 45
1800.10/1800.61 c max depth (total): 45
1800.10/1800.61 c backtracks : 1090927 (17.8%)
1800.10/1800.61 c delayed cutoffs : 135963
1800.10/1800.61 c repropagations : 5448972 (3255964 domain reductions, 99358 cutoffs)
1800.10/1800.61 c avg switch length: 5.87
1800.10/1800.61 c switching time : 454.23
1800.10/1800.61 c Solution :
1800.10/1800.61 c Solutions found : 0 (0 improvements)
1800.10/1800.61 c Primal Bound : -
1800.10/1800.61 c Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 c Root Dual Bound : +0.00000000000000e+00
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734851-1338705495/watcher-3734851-1338705495 -o /tmp/evaluation-result-3734851-1338705495/solver-3734851-1338705495 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3734851-1338705495.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29471
/proc/meminfo: memFree=30142836/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=8476 CPUtime=0 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 1508 0 0 0 0 0 0 0 20 0 1 0 336674036 8679424 1107 33554432000 4194304 7823515 140737170440384 140733295998456 4402248 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 2119 1127 365 887 0 1229 0
[startup+0.0237279 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29471
/proc/meminfo: memFree=30142836/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=12776 CPUtime=0.01 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 2762 0 0 0 1 0 0 0 20 0 1 0 336674036 13082624 2361 33554432000 4194304 7823515 140737170440384 140733295998456 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 3194 2361 544 887 0 2304 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12776
[startup+0.100228 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29471
/proc/meminfo: memFree=30142836/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=14900 CPUtime=0.09 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 4217 0 0 0 8 1 0 0 20 0 1 0 336674036 15257600 2929 33554432000 4194304 7823515 140737170440384 140733295998456 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 3725 2929 566 887 0 2835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14900
[startup+0.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29471
/proc/meminfo: memFree=30142836/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=14900 CPUtime=0.29 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 4218 0 0 0 26 3 0 0 20 0 1 0 336674036 15257600 2930 33554432000 4194304 7823515 140737170440384 140733295998456 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 3725 2930 566 887 0 2835 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14900
[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29471
/proc/meminfo: memFree=30142836/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=14900 CPUtime=0.69 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 4222 0 0 0 64 5 0 0 20 0 1 0 336674036 15257600 2934 33554432000 4194304 7823515 140737170440384 140737170437096 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 3725 2934 566 887 0 2835 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14900
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29472
/proc/meminfo: memFree=30132528/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=17336 CPUtime=1.49 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 4822 0 0 0 139 10 0 0 20 0 1 0 336674036 17752064 3534 33554432000 4194304 7823515 140737170440384 140737170438040 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 4334 3534 566 887 0 3444 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17336
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29472
/proc/meminfo: memFree=30128064/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=19848 CPUtime=3.08 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 5467 0 0 0 290 18 0 0 20 0 1 0 336674036 20324352 4179 33554432000 4194304 7823515 140737170440384 140737170438216 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 4962 4179 566 887 0 4072 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19848
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29472
/proc/meminfo: memFree=30120740/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=23744 CPUtime=6.29 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 6461 0 0 0 592 37 0 0 20 0 1 0 336674036 24313856 5173 33554432000 4194304 7823515 140737170440384 140737170435640 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 5936 5173 566 887 0 5046 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23744
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29472
/proc/meminfo: memFree=30105620/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=32468 CPUtime=12.69 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 8637 0 0 0 1193 76 0 0 20 0 1 0 336674036 33247232 7349 33554432000 4194304 7823515 140737170440384 140737170436136 5102395 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 8117 7349 566 887 0 7227 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32468
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29472
/proc/meminfo: memFree=30080084/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=47992 CPUtime=25.48 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 12553 0 0 0 2404 144 0 0 20 0 1 0 336674036 49143808 11265 33554432000 4194304 7823515 140737170440384 140737170437128 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 11998 11265 566 887 0 11108 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47992
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29472
/proc/meminfo: memFree=30035816/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=73284 CPUtime=51.09 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 18637 0 0 0 4827 282 0 0 20 0 1 0 336674036 75042816 17349 33554432000 4194304 7823515 140737170440384 140737170436184 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 18321 17349 566 887 0 17431 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73284
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29472
/proc/meminfo: memFree=29945544/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=117468 CPUtime=102.28 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 29745 0 0 0 9700 528 0 0 20 0 1 0 336674036 120287232 28457 33554432000 4194304 7823515 140737170440384 140737170438216 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 29367 28457 566 887 0 28477 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 117468
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29475
/proc/meminfo: memFree=29850676/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=165060 CPUtime=162.26 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 41694 0 0 0 15425 801 0 0 20 0 1 0 336674036 169021440 40406 33554432000 4194304 7823515 140737170440384 140737170437144 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 41265 40406 566 887 0 40375 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 165060
[startup+222.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 29475
/proc/meminfo: memFree=29755948/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=213804 CPUtime=222.26 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 53035 0 0 0 21170 1056 0 0 20 0 1 0 336674036 218935296 51747 33554432000 4194304 7823515 140737170440384 140737170438216 5102332 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 53451 51747 566 887 0 52561 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 213804
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29476
/proc/meminfo: memFree=29667660/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=254496 CPUtime=282.24 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 63386 0 0 0 26923 1301 0 0 20 0 1 0 336674036 260603904 62098 33554432000 4194304 7823515 140737170440384 140737170436872 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 63624 62098 566 887 0 62734 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 254496
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29476
/proc/meminfo: memFree=29578496/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=291484 CPUtime=342.23 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 72731 0 0 0 32667 1556 0 0 20 0 1 0 336674036 298479616 71443 33554432000 4194304 7823515 140737170440384 140737170438216 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 72871 71443 566 887 0 71981 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 291484
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29476
/proc/meminfo: memFree=29497612/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=326108 CPUtime=402.23 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 81543 0 0 0 38432 1791 0 0 20 0 1 0 336674036 333934592 80255 33554432000 4194304 7823515 140737170440384 140737170437128 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 81527 80255 566 887 0 80637 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 326108
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29476
/proc/meminfo: memFree=29403212/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=365928 CPUtime=462.22 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 91634 0 0 0 44205 2017 0 0 20 0 1 0 336674036 374710272 90346 33554432000 4194304 7823515 140737170440384 140737170436872 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 91482 90346 566 887 0 90592 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 365928
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29476
/proc/meminfo: memFree=29323756/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=402776 CPUtime=522.21 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 101023 0 0 0 49966 2255 0 0 20 0 1 0 336674036 412442624 99735 33554432000 4194304 7823515 140737170440384 140737170437128 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 100694 99735 566 887 0 99804 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 402776
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29477
/proc/meminfo: memFree=29235928/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=444820 CPUtime=582.2 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 109553 0 0 0 55750 2470 0 0 20 0 1 0 336674036 455495680 108265 33554432000 4194304 7823515 140737170440384 140737170437416 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 111205 108265 566 887 0 110315 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 444820
[startup+642.3 s]
################
# More data... #
################
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 166082 0 0 0 96229 3975 0 0 20 0 1 0 336674036 683835392 165545 33554432000 4194304 7823515 140737170440384 140737170437128 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 166952 165545 566 887 0 166062 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 667808
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29481
/proc/meminfo: memFree=28617272/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=693412 CPUtime=1062.01 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 172675 0 0 0 102025 4176 0 0 20 0 1 0 336674036 710053888 172106 33554432000 4194304 7823515 140737170440384 140737170437128 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 173353 172106 566 887 0 172463 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 693412
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29481
/proc/meminfo: memFree=28543520/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=725384 CPUtime=1121.98 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 180533 0 0 0 107805 4393 0 0 20 0 1 0 336674036 742793216 179985 33554432000 4194304 7823515 140737170440384 140737170437128 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 181346 179985 566 887 0 180456 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 725384
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 29521
/proc/meminfo: memFree=29996692/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=754232 CPUtime=1181.94 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 187892 0 0 0 113591 4603 0 0 20 0 1 0 336674036 772333568 187317 33554432000 4194304 7823515 140737170440384 140737170438216 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 188558 187317 566 887 0 187668 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 754232
[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 29521
/proc/meminfo: memFree=29966436/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=782016 CPUtime=1241.93 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 194952 0 0 0 119390 4803 0 0 20 0 1 0 336674036 800784384 194377 33554432000 4194304 7823515 140737170440384 140737170438216 5102375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 195504 194377 566 887 0 194614 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 782016
[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 29521
/proc/meminfo: memFree=29940768/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=806688 CPUtime=1301.93 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 201244 0 0 0 125187 5006 0 0 20 0 1 0 336674036 826048512 200669 33554432000 4194304 7823515 140737170440384 140737170437416 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 201672 200669 566 887 0 200782 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 806688
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 29562
/proc/meminfo: memFree=29909024/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=834768 CPUtime=1361.92 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 208131 0 0 0 130987 5205 0 0 20 0 1 0 336674036 854802432 207556 33554432000 4194304 7823515 140737170440384 140737170437416 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 208692 207556 566 887 0 207802 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 834768
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 29585
/proc/meminfo: memFree=29839336/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=863816 CPUtime=1421.91 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 215519 0 0 0 136787 5404 0 0 20 0 1 0 336674036 884547584 214944 33554432000 4194304 7823515 140737170440384 140737170438216 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 215954 214944 566 887 0 215064 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 863816
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 29586
/proc/meminfo: memFree=29788132/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=889372 CPUtime=1481.9 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 222069 0 0 0 142586 5604 0 0 20 0 1 0 336674036 910716928 221494 33554432000 4194304 7823515 140737170440384 140737170438216 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 222343 221494 566 887 0 221453 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 889372
[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 29586
/proc/meminfo: memFree=29745352/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=910300 CPUtime=1541.89 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 227483 0 0 0 148397 5792 0 0 20 0 1 0 336674036 932147200 226908 33554432000 4194304 7823515 140737170440384 140737170435720 5102375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 227575 226908 566 887 0 226685 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 910300
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29586
/proc/meminfo: memFree=29694140/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=944632 CPUtime=1601.88 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 236200 0 0 0 154197 5991 0 0 20 0 1 0 336674036 967303168 235625 33554432000 4194304 7823515 140737170440384 140737170438216 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 236158 235625 566 887 0 235268 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 944632
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 29586
/proc/meminfo: memFree=29655496/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=982404 CPUtime=1661.86 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 241622 0 0 0 160016 6170 0 0 20 0 1 0 336674036 1005981696 241024 33554432000 4194304 7823515 140737170440384 140737170437128 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 245601 241024 566 887 0 244711 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 982404
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 29586
/proc/meminfo: memFree=29612620/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=1013672 CPUtime=1721.84 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 249295 0 0 0 165808 6376 0 0 20 0 1 0 336674036 1038000128 248666 33554432000 4194304 7823515 140737170440384 140737170438216 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 253418 248666 566 887 0 252528 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1013672
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29587
/proc/meminfo: memFree=29571232/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=1037100 CPUtime=1781.79 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 255233 0 0 0 171626 6553 0 0 20 0 1 0 336674036 1061990400 254751 33554432000 4194304 7823515 140737170440384 140737170437144 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 259275 254751 566 887 0 258385 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1037100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29587
/proc/meminfo: memFree=29556272/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=1045356 CPUtime=1800.1 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 257300 0 0 0 173395 6615 0 0 20 0 1 0 336674036 1070444544 257627 33554432000 4194304 7823515 140737170440384 140737170437432 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 261339 257627 566 887 0 260449 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1045356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -29471
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29587
/proc/meminfo: memFree=29556272/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=1045356 CPUtime=1800.88 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 257302 0 0 0 173473 6615 0 0 20 0 1 0 336674036 1070444544 257629 33554432000 4194304 7823515 140737170440384 140737170435896 5875265 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 261339 257629 568 887 0 260449 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 1045356
[startup+1802.2 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 29588
/proc/meminfo: memFree=29555892/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=1045356 CPUtime=1801.68 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 257302 0 0 0 173553 6615 0 0 20 0 1 0 336674036 1070444544 257629 33554432000 4194304 7823515 140737170440384 140737170435896 5875880 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 261339 257629 568 887 0 260449 0
Current children cumulated CPU time (s) 1801.68
Current children cumulated vsize (KiB) 1045356
[startup+1802.6 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 29588
/proc/meminfo: memFree=29555892/32873844 swapFree=7900/7900
[pid=29471] ppid=29469 vsize=1045356 CPUtime=1802.08 cores=1,3,5,7
/proc/29471/stat : 29471 (pbscip.linux.x8) R 29469 29471 17150 0 -1 4202496 257302 0 0 0 173593 6615 0 0 20 0 1 0 336674036 1070444544 257629 33554432000 4194304 7823515 140737170440384 140737170435896 4745372 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29471/statm: 261339 257629 568 887 0 260449 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 1045356
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1802.12
CPU user time (s): 1735.95
CPU system time (s): 66.1639
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1045356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1735.95
system time used= 66.1639
maximum resident set size= 1030516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257302
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= 363
involuntary context switches= 1838
runsolver used 3.08053 second user time and 7.8978 second system time
The end