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-3734983-1338706817.opb>
0.00/0.00 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.00 c 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, 6 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, 6 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 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.01 c 5 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c 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 | 24 | 213k| 0 | 5 | 40 | 5 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.01 c 0.0s| 1 | 0 | 90 | 232k| 0 | 9 | 40 | 5 | 5 | 40 | 9 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.01 c 0.0s| 1 | 0 | 92 | 254k| 0 | 11 | 40 | 5 | 5 | 40 | 12 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.01 c 0.0s| 1 | 0 | 97 | 269k| 0 | 13 | 40 | 5 | 5 | 40 | 15 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 107 | 291k| 0 | 13 | 40 | 5 | 5 | 40 | 17 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 118 | 312k| 0 | 15 | 40 | 5 | 5 | 40 | 20 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 128 | 322k| 0 | 19 | 40 | 5 | 5 | 40 | 23 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 2 | 128 | 322k| 0 | 19 | 40 | 5 | 5 | 40 | 23 | 18 | 0 | 19 | 0.000000e+00 | -- | Inf
1.59/1.65 c 1.6s| 10000 | 2420 | 20273 |3641k| 36 | - | 40 |3851 | 256 | 40 | 19 | 18 |5397 | 402 | 0.000000e+00 | -- | Inf
3.19/3.27 c 3.1s| 20000 | 4607 | 40104 |5131k| 36 | - | 40 |3539 | 146 | 40 | 19 | 18 | 10k| 473 | 0.000000e+00 | -- | Inf
4.98/5.00 c 4.8s| 30000 | 6515 | 59823 |6713k| 36 | 5 | 40 |3924 | 111 | 40 | 19 | 18 | 16k| 583 | 0.000000e+00 | -- | Inf
6.69/6.72 c 6.5s| 40000 | 8601 | 79886 |8489k| 36 | 5 | 40 |4674 | 39 | 40 | 19 | 18 | 22k| 660 | 0.000000e+00 | -- | Inf
8.49/8.56 c 8.2s| 50000 | 10398 | 99571 |9869k| 36 | 5 | 40 |4409 | 37 | 40 | 19 | 18 | 28k| 754 | 0.000000e+00 | -- | Inf
10.39/10.41 c 10.0s| 60000 | 12139 |119263 | 11M| 36 | 5 | 40 |4988 | 126 | 40 | 19 | 18 | 34k| 811 | 0.000000e+00 | -- | Inf
12.19/12.25 c 11.8s| 70000 | 14386 |139049 | 13M| 36 | 5 | 40 |5019 | 17 | 40 | 19 | 18 | 39k| 867 | 0.000000e+00 | -- | Inf
13.99/14.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.99/14.09 c 13.6s| 80000 | 16658 |159301 | 14M| 36 | - | 40 |6214 | 131 | 40 | 19 | 18 | 44k| 917 | 0.000000e+00 | -- | Inf
16.08/16.12 c 15.6s| 90000 | 18478 |179034 | 16M| 36 | 5 | 40 |5612 | 40 | 40 | 19 | 18 | 50k| 963 | 0.000000e+00 | -- | Inf
18.09/18.14 c 17.5s|100000 | 20454 |199113 | 17M| 36 | 5 | 40 |5221 | 490 | 40 | 19 | 18 | 56k|1038 | 0.000000e+00 | -- | Inf
19.79/19.87 c 19.2s|110000 | 23157 |220202 | 19M| 36 | 5 | 40 |7211 | 45 | 40 | 19 | 18 | 61k|1117 | 0.000000e+00 | -- | Inf
21.99/22.07 c 21.3s|120000 | 24921 |239675 | 20M| 36 | - | 40 |5862 | 45 | 40 | 19 | 18 | 67k|1161 | 0.000000e+00 | -- | Inf
23.88/23.97 c 23.2s|130000 | 27131 |260307 | 22M| 36 | 5 | 40 |7171 | 143 | 40 | 19 | 18 | 72k|1210 | 0.000000e+00 | -- | Inf
26.18/26.21 c 25.3s|140000 | 28909 |280579 | 24M| 36 | 5 | 40 |6587 | 160 | 40 | 19 | 18 | 78k|1250 | 0.000000e+00 | -- | Inf
28.18/28.28 c 27.3s|150000 | 30744 |300349 | 25M| 36 | 5 | 40 |6534 | 42 | 40 | 19 | 18 | 84k|1291 | 0.000000e+00 | -- | Inf
30.09/30.15 c 29.1s|160000 | 33209 |320988 | 27M| 36 | - | 40 |7958 | 20 | 40 | 19 | 18 | 89k|1338 | 0.000000e+00 | -- | Inf
32.19/32.20 c 31.1s|170000 | 35398 |341315 | 29M| 36 | 5 | 40 |8465 | 164 | 40 | 19 | 18 | 94k|1386 | 0.000000e+00 | -- | Inf
34.58/34.65 c 33.5s|180000 | 37089 |361400 | 30M| 36 | - | 40 |7000 | 164 | 40 | 19 | 18 | 100k|1418 | 0.000000e+00 | -- | Inf
36.88/36.90 c 35.7s|190000 | 38629 |381263 | 31M| 36 | 5 | 40 |6410 | 32 | 40 | 19 | 18 | 106k|1453 | 0.000000e+00 | -- | Inf
39.08/39.15 c 37.9s|200000 | 40182 |400638 | 32M| 36 | - | 40 |6457 | 155 | 0 | 0 | 18 | 112k|1473 | 0.000000e+00 | -- | Inf
41.18/41.29 c 40.0s|210000 | 41953 |420808 | 34M| 36 | 5 | 40 |6533 | 37 | 40 | 19 | 18 | 118k|1501 | 0.000000e+00 | -- | Inf
43.49/43.54 c 42.1s|220000 | 43427 |440914 | 35M| 36 | 5 | 40 |6383 | 140 | 40 | 19 | 18 | 124k|1531 | 0.000000e+00 | -- | Inf
45.68/45.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.68/45.74 c 44.3s|230000 | 44882 |460992 | 36M| 36 | 5 | 40 |6668 |1005 | 40 | 19 | 18 | 130k|1578 | 0.000000e+00 | -- | Inf
47.88/47.98 c 46.5s|240000 | 46230 |481166 | 37M| 36 | 5 | 40 |7023 | 235 | 40 | 19 | 18 | 137k|1612 | 0.000000e+00 | -- | Inf
49.88/49.95 c 48.4s|250000 | 48638 |501762 | 39M| 36 | - | 40 |8706 | 13 | 40 | 19 | 18 | 142k|1659 | 0.000000e+00 | -- | Inf
52.08/52.15 c 50.5s|260000 | 50661 |521952 | 41M| 36 | 5 | 40 |9555 | 34 | 40 | 19 | 18 | 148k|1691 | 0.000000e+00 | -- | Inf
54.48/54.58 c 52.9s|270000 | 52270 |542098 | 42M| 36 | - | 40 |9274 | 10 | 0 | 0 | 18 | 154k|1720 | 0.000000e+00 | -- | Inf
56.98/57.07 c 55.3s|280000 | 53798 |561934 | 44M| 36 | 5 | 40 |9164 | 503 | 40 | 19 | 18 | 160k|1763 | 0.000000e+00 | -- | Inf
59.58/59.67 c 57.8s|290000 | 55174 |582196 | 45M| 36 | - | 40 |8384 | 183 | 40 | 19 | 18 | 166k|1793 | 0.000000e+00 | -- | Inf
62.08/62.14 c 60.2s|300000 | 56615 |601845 | 46M| 36 | 5 | 40 |8370 | 105 | 40 | 19 | 18 | 172k|1816 | 0.000000e+00 | -- | Inf
64.38/64.45 c 62.5s|310000 | 58419 |621772 | 48M| 36 | 5 | 40 |9208 | 27 | 40 | 19 | 18 | 178k|1850 | 0.000000e+00 | -- | Inf
66.68/66.74 c 64.7s|320000 | 60374 |641909 | 49M| 36 | 5 | 40 | 10k| 208 | 40 | 19 | 18 | 183k|1876 | 0.000000e+00 | -- | Inf
69.58/69.63 c 67.5s|330000 | 61612 |662070 | 50M| 36 | - | 40 |8518 | 333 | 40 | 19 | 18 | 190k|1899 | 0.000000e+00 | -- | Inf
72.28/72.32 c 70.2s|340000 | 62681 |682249 | 51M| 36 | - | 40 |7583 | 91 | 40 | 19 | 18 | 196k|1919 | 0.000000e+00 | -- | Inf
74.79/74.81 c 72.6s|350000 | 63992 |702690 | 52M| 36 | 5 | 40 |7352 | 89 | 40 | 19 | 18 | 203k|1954 | 0.000000e+00 | -- | Inf
77.18/77.27 c 75.0s|360000 | 65180 |722884 | 53M| 36 | 5 | 40 |8190 | 12 | 40 | 19 | 18 | 209k|1995 | 0.000000e+00 | -- | Inf
79.77/79.80 c 77.4s|370000 | 66392 |743063 | 54M| 36 | 5 | 40 |7547 | 63 | 40 | 19 | 18 | 215k|2024 | 0.000000e+00 | -- | Inf
82.07/82.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.07/82.16 c 79.7s|380000 | 67859 |763657 | 56M| 36 | 5 | 40 |8624 | 47 | 40 | 19 | 18 | 222k|2065 | 0.000000e+00 | -- | Inf
84.48/84.55 c 82.0s|390000 | 69222 |783707 | 57M| 36 | 5 | 40 |9547 | 60 | 40 | 19 | 18 | 228k|2096 | 0.000000e+00 | -- | Inf
87.27/87.32 c 84.8s|400000 | 70276 |804046 | 58M| 36 | 5 | 40 |8254 | 124 | 40 | 19 | 18 | 234k|2127 | 0.000000e+00 | -- | Inf
89.57/89.61 c 87.0s|410000 | 71863 |823756 | 60M| 36 | 5 | 40 | 10k| 30 | 40 | 19 | 18 | 240k|2151 | 0.000000e+00 | -- | Inf
92.38/92.47 c 89.8s|420000 | 72979 |843521 | 61M| 36 | - | 40 |9084 | 288 | 40 | 19 | 18 | 246k|2182 | 0.000000e+00 | -- | Inf
94.68/94.72 c 92.0s|430000 | 74707 |863480 | 62M| 36 | - | 40 | 10k| 8 | 40 | 19 | 18 | 252k|2216 | 0.000000e+00 | -- | Inf
97.68/97.71 c 94.9s|440000 | 75547 |882628 | 63M| 36 | 5 | 40 |8990 | 130 | 40 | 19 | 18 | 259k|2252 | 0.000000e+00 | -- | Inf
99.57/99.65 c 96.8s|450000 | 78402 |903774 | 65M| 36 | 5 | 40 | 10k| 27 | 40 | 19 | 18 | 264k|2289 | 0.000000e+00 | -- | Inf
101.97/102.04 c 99.1s|460000 | 80309 |924038 | 67M| 36 | - | 40 | 10k| 17 | 40 | 19 | 18 | 270k|2309 | 0.000000e+00 | -- | Inf
104.48/104.56 c 102s|470000 | 81861 |944401 | 68M| 36 | - | 40 | 10k| 45 | 40 | 19 | 18 | 276k|2340 | 0.000000e+00 | -- | Inf
107.17/107.26 c 104s|480000 | 83294 |965354 | 70M| 36 | 5 | 40 | 11k| 220 | 40 | 19 | 18 | 282k|2373 | 0.000000e+00 | -- | Inf
109.57/109.65 c 107s|490000 | 85085 |985968 | 72M| 36 | - | 40 | 13k| 125 | 40 | 19 | 18 | 288k|2402 | 0.000000e+00 | -- | Inf
112.77/112.82 c 110s|500000 | 86179 | 1006k| 72M| 36 | 5 | 40 | 11k| 25 | 40 | 19 | 18 | 295k|2440 | 0.000000e+00 | -- | Inf
115.67/115.79 c 113s|510000 | 87242 | 1027k| 73M| 36 | 5 | 40 | 11k| 16 | 40 | 19 | 18 | 302k|2472 | 0.000000e+00 | -- | Inf
118.17/118.26 c 115s|520000 | 88949 | 1048k| 75M| 36 | 5 | 40 | 14k| 41 | 40 | 19 | 18 | 308k|2502 | 0.000000e+00 | -- | Inf
121.27/121.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.27/121.35 c 118s|530000 | 90289 | 1069k| 76M| 36 | 5 | 40 | 13k| 480 | 40 | 19 | 18 | 314k|2523 | 0.000000e+00 | -- | Inf
124.77/124.82 c 121s|540000 | 91364 | 1089k| 77M| 36 | - | 40 | 11k| 8 | 40 | 19 | 18 | 321k|2542 | 0.000000e+00 | -- | Inf
127.87/127.93 c 124s|550000 | 92337 | 1109k| 77M| 36 | 5 | 40 |9502 | 37 | 40 | 19 | 18 | 327k|2576 | 0.000000e+00 | -- | Inf
130.57/130.66 c 127s|560000 | 93405 | 1129k| 78M| 36 | - | 40 |9354 | 11 | 40 | 19 | 18 | 334k|2593 | 0.000000e+00 | -- | Inf
133.17/133.30 c 130s|570000 | 94811 | 1150k| 80M| 36 | 5 | 40 | 10k| 14 | 40 | 19 | 18 | 340k|2613 | 0.000000e+00 | -- | Inf
135.97/136.07 c 132s|580000 | 96147 | 1170k| 81M| 36 | 5 | 40 |9256 | 32 | 40 | 19 | 18 | 347k|2636 | 0.000000e+00 | -- | Inf
138.86/138.94 c 135s|590000 | 97082 | 1191k| 82M| 36 | 5 | 40 |8751 | 35 | 40 | 19 | 18 | 353k|2661 | 0.000000e+00 | -- | Inf
141.27/141.30 c 138s|600000 | 98609 | 1210k| 83M| 36 | 5 | 40 |9823 | 301 | 40 | 19 | 18 | 359k|2691 | 0.000000e+00 | -- | Inf
143.67/143.79 c 140s|610000 |100084 | 1229k| 85M| 36 | 5 | 40 | 11k| 94 | 40 | 19 | 18 | 366k|2713 | 0.000000e+00 | -- | Inf
146.86/146.92 c 143s|620000 |100851 | 1249k| 86M| 36 | - | 40 | 10k| 95 | 40 | 19 | 18 | 372k|2746 | 0.000000e+00 | -- | Inf
149.86/149.90 c 146s|630000 |101721 | 1269k| 86M| 36 | 5 | 40 |8841 | 44 | 40 | 19 | 18 | 379k|2772 | 0.000000e+00 | -- | Inf
152.66/152.71 c 149s|640000 |102718 | 1289k| 87M| 36 | 5 | 40 |8942 | 116 | 40 | 19 | 18 | 385k|2783 | 0.000000e+00 | -- | Inf
154.87/155.00 c 151s|650000 |104452 | 1309k| 89M| 36 | - | 40 | 10k| 160 | 40 | 19 | 18 | 391k|2797 | 0.000000e+00 | -- | Inf
157.67/157.72 c 154s|660000 |105674 | 1329k| 90M| 36 | - | 40 | 10k| 23 | 40 | 19 | 18 | 398k|2820 | 0.000000e+00 | -- | Inf
160.76/160.89 c 157s|670000 |106670 | 1349k| 91M| 36 | - | 40 |9243 | 55 | 40 | 19 | 18 | 404k|2843 | 0.000000e+00 | -- | Inf
163.57/163.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.57/163.65 c 159s|680000 |107751 | 1369k| 92M| 36 | - | 40 |8792 | 21 | 40 | 19 | 18 | 411k|2859 | 0.000000e+00 | -- | Inf
166.36/166.47 c 162s|690000 |108665 | 1390k| 93M| 36 | 5 | 40 |8694 | 7 | 40 | 19 | 18 | 417k|2882 | 0.000000e+00 | -- | Inf
169.27/169.33 c 165s|700000 |109522 | 1410k| 94M| 36 | 5 | 40 |8396 | 5 | 40 | 19 | 18 | 424k|2904 | 0.000000e+00 | -- | Inf
171.96/172.05 c 168s|710000 |110651 | 1431k| 95M| 36 | - | 40 |9466 | 30 | 40 | 19 | 18 | 431k|2917 | 0.000000e+00 | -- | Inf
174.77/174.89 c 170s|720000 |111674 | 1451k| 96M| 36 | 5 | 40 |8527 | 48 | 40 | 19 | 18 | 437k|2937 | 0.000000e+00 | -- | Inf
177.46/177.59 c 173s|730000 |112670 | 1472k| 97M| 36 | 5 | 40 |8172 | 64 | 40 | 19 | 18 | 444k|2952 | 0.000000e+00 | -- | Inf
180.06/180.16 c 176s|740000 |113754 | 1493k| 98M| 36 | 5 | 40 |8824 | 27 | 40 | 19 | 18 | 451k|2970 | 0.000000e+00 | -- | Inf
182.47/182.53 c 178s|750000 |115328 | 1512k| 100M| 36 | - | 40 | 10k| 233 | 40 | 19 | 18 | 457k|2993 | 0.000000e+00 | -- | Inf
185.36/185.49 c 181s|760000 |116277 | 1533k| 101M| 36 | - | 40 | 11k| 276 | 40 | 19 | 18 | 464k|3009 | 0.000000e+00 | -- | Inf
188.56/188.68 c 184s|770000 |117018 | 1553k| 102M| 36 | - | 40 |9648 |1738 | 40 | 19 | 18 | 470k|3035 | 0.000000e+00 | -- | Inf
191.46/191.58 c 187s|780000 |118005 | 1573k| 103M| 36 | - | 40 |9133 | 38 | 40 | 19 | 18 | 477k|3056 | 0.000000e+00 | -- | Inf
193.76/193.85 c 189s|790000 |120189 | 1593k| 104M| 36 | 5 | 40 | 10k| 19 | 40 | 19 | 18 | 483k|3076 | 0.000000e+00 | -- | Inf
196.15/196.21 c 191s|800000 |122250 | 1613k| 106M| 36 | 5 | 40 | 11k| 30 | 40 | 19 | 18 | 488k|3095 | 0.000000e+00 | -- | Inf
198.76/198.84 c 194s|810000 |123940 | 1633k| 108M| 36 | 5 | 40 | 11k| 99 | 40 | 19 | 18 | 494k|3108 | 0.000000e+00 | -- | Inf
201.66/201.70 c 197s|820000 |125211 | 1654k| 109M| 36 | - | 40 | 12k| 132 | 40 | 19 | 18 | 501k|3127 | 0.000000e+00 | -- | Inf
204.36/204.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.36/204.49 c 199s|830000 |126617 | 1674k| 111M| 36 | - | 40 | 13k| 67 | 40 | 19 | 18 | 507k|3141 | 0.000000e+00 | -- | Inf
207.66/207.77 c 203s|840000 |127667 | 1694k| 112M| 36 | 5 | 40 | 13k| 27 | 40 | 19 | 18 | 513k|3151 | 0.000000e+00 | -- | Inf
210.86/210.99 c 206s|850000 |128603 | 1715k| 112M| 36 | - | 40 | 11k| 30 | 40 | 19 | 18 | 520k|3170 | 0.000000e+00 | -- | Inf
214.05/214.17 c 209s|860000 |129629 | 1735k| 113M| 36 | 5 | 40 | 10k| 557 | 40 | 19 | 18 | 526k|3190 | 0.000000e+00 | -- | Inf
217.36/217.41 c 212s|870000 |130584 | 1756k| 114M| 36 | - | 40 |9677 | 6 | 40 | 19 | 18 | 533k|3208 | 0.000000e+00 | -- | Inf
220.16/220.25 c 215s|880000 |131737 | 1775k| 115M| 36 | 5 | 40 | 11k| 17 | 40 | 19 | 18 | 539k|3230 | 0.000000e+00 | -- | Inf
223.46/223.56 c 218s|890000 |132700 | 1795k| 116M| 36 | 5 | 40 |9662 | 82 | 40 | 19 | 18 | 546k|3246 | 0.000000e+00 | -- | Inf
225.95/226.07 c 221s|900000 |134002 | 1816k| 118M| 36 | 5 | 40 | 11k|2486 | 40 | 19 | 18 | 553k|3269 | 0.000000e+00 | -- | Inf
229.25/229.32 c 224s|910000 |134920 | 1837k| 118M| 36 | - | 40 | 10k| 11 | 40 | 19 | 18 | 559k|3287 | 0.000000e+00 | -- | Inf
232.15/232.24 c 227s|920000 |135760 | 1856k| 119M| 36 | 5 | 40 | 10k| 21 | 40 | 19 | 18 | 566k|3303 | 0.000000e+00 | -- | Inf
235.05/235.15 c 229s|930000 |136668 | 1877k| 120M| 36 | - | 40 | 10k| 321 | 40 | 19 | 18 | 573k|3331 | 0.000000e+00 | -- | Inf
238.04/238.17 c 232s|940000 |137385 | 1897k| 121M| 36 | 5 | 40 |9700 | 18 | 40 | 19 | 18 | 580k|3371 | 0.000000e+00 | -- | Inf
240.94/241.07 c 235s|950000 |138207 | 1917k| 122M| 36 | 5 | 40 |9545 | 38 | 40 | 19 | 18 | 587k|3396 | 0.000000e+00 | -- | Inf
243.34/243.47 c 238s|960000 |139389 | 1937k| 124M| 36 | 5 | 40 | 12k| 10 | 40 | 19 | 18 | 593k|3408 | 0.000000e+00 | -- | Inf
246.84/246.98 c 241s|970000 |140069 | 1957k| 124M| 36 | 5 | 40 | 10k|1156 | 40 | 19 | 18 | 599k|3444 | 0.000000e+00 | -- | Inf
250.03/250.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.03/250.19 c 244s|980000 |140767 | 1977k| 125M| 36 | - | 40 |9560 | 52 | 40 | 19 | 18 | 606k|3461 | 0.000000e+00 | -- | Inf
253.13/253.24 c 247s|990000 |141402 | 1997k| 126M| 36 | - | 40 |8453 | 25 | 40 | 19 | 18 | 613k|3476 | 0.000000e+00 | -- | Inf
256.04/256.17 c 250s| 1000k|142005 | 2017k| 126M| 36 | 5 | 40 |8859 | 30 | 40 | 19 | 18 | 620k|3489 | 0.000000e+00 | -- | Inf
258.93/259.02 c 253s| 1010k|142842 | 2037k| 128M| 36 | - | 40 |9773 | 12 | 40 | 19 | 18 | 627k|3502 | 0.000000e+00 | -- | Inf
261.73/261.83 c 256s| 1020k|143938 | 2057k| 129M| 36 | - | 40 | 10k| 51 | 40 | 19 | 18 | 633k|3523 | 0.000000e+00 | -- | Inf
264.12/264.25 c 258s| 1030k|145207 | 2076k| 130M| 36 | 5 | 40 | 12k| 243 | 40 | 19 | 18 | 639k|3537 | 0.000000e+00 | -- | Inf
266.92/267.03 c 261s| 1040k|146027 | 2094k| 132M| 36 | 5 | 40 | 13k| 17 | 40 | 19 | 18 | 646k|3551 | 0.000000e+00 | -- | Inf
270.02/270.13 c 264s| 1050k|147047 | 2114k| 132M| 36 | 5 | 40 | 12k| 106 | 40 | 19 | 18 | 653k|3575 | 0.000000e+00 | -- | Inf
273.52/273.60 c 267s| 1060k|147558 | 2133k| 132M| 36 | 5 | 40 |9281 | 470 | 40 | 19 | 18 | 660k|3598 | 0.000000e+00 | -- | Inf
276.32/276.49 c 270s| 1070k|148333 | 2154k| 133M| 36 | - | 40 |9898 |1216 | 40 | 19 | 18 | 667k|3615 | 0.000000e+00 | -- | Inf
279.11/279.28 c 273s| 1080k|149382 | 2174k| 134M| 36 | 5 | 40 |9375 | 64 | 40 | 19 | 18 | 673k|3632 | 0.000000e+00 | -- | Inf
281.81/281.94 c 275s| 1090k|150472 | 2195k| 136M| 36 | - | 40 | 11k| 101 | 0 | 0 | 18 | 680k|3646 | 0.000000e+00 | -- | Inf
284.61/284.71 c 278s| 1100k|151360 | 2214k| 137M| 36 | 5 | 40 | 11k| 151 | 40 | 19 | 18 | 686k|3668 | 0.000000e+00 | -- | Inf
287.40/287.53 c 281s| 1110k|152561 | 2235k| 138M| 36 | 5 | 40 | 12k| 76 | 40 | 19 | 18 | 693k|3690 | 0.000000e+00 | -- | Inf
290.21/290.31 c 283s| 1120k|153525 | 2256k| 140M| 36 | 5 | 40 | 14k| 24 | 40 | 19 | 18 | 700k|3711 | 0.000000e+00 | -- | Inf
293.00/293.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.00/293.15 c 286s| 1130k|154525 | 2276k| 142M| 36 | 5 | 40 | 16k| 59 | 40 | 19 | 18 | 706k|3718 | 0.000000e+00 | -- | Inf
296.30/296.44 c 289s| 1140k|154943 | 2296k| 142M| 36 | 5 | 40 | 15k|1159 | 40 | 19 | 18 | 713k|3729 | 0.000000e+00 | -- | Inf
300.50/300.63 c 294s| 1150k|155485 | 2316k| 142M| 36 | - | 40 | 10k| 21 | 40 | 19 | 18 | 720k|3747 | 0.000000e+00 | -- | Inf
303.80/303.94 c 297s| 1160k|156066 | 2337k| 142M| 36 | 5 | 40 | 10k| 39 | 40 | 19 | 18 | 727k|3763 | 0.000000e+00 | -- | Inf
306.80/306.92 c 300s| 1170k|156784 | 2356k| 144M| 36 | - | 40 | 10k| 27 | 40 | 19 | 18 | 734k|3775 | 0.000000e+00 | -- | Inf
309.59/309.70 c 302s| 1180k|158102 | 2377k| 145M| 36 | - | 40 | 10k| 11 | 40 | 19 | 18 | 741k|3792 | 0.000000e+00 | -- | Inf
311.88/312.01 c 305s| 1190k|160067 | 2399k| 147M| 36 | 5 | 40 | 12k| 32 | 40 | 19 | 18 | 747k|3806 | 0.000000e+00 | -- | Inf
314.69/314.81 c 307s| 1200k|161474 | 2419k| 148M| 36 | - | 40 | 13k| 40 | 40 | 19 | 18 | 753k|3818 | 0.000000e+00 | -- | Inf
317.58/317.79 c 310s| 1210k|162564 | 2440k| 149M| 36 | - | 40 | 13k| 8 | 40 | 19 | 18 | 760k|3847 | 0.000000e+00 | -- | Inf
320.48/320.61 c 313s| 1220k|163807 | 2460k| 151M| 36 | - | 40 | 14k| 89 | 40 | 19 | 18 | 767k|3866 | 0.000000e+00 | -- | Inf
323.48/323.66 c 316s| 1230k|164799 | 2481k| 152M| 36 | - | 40 | 15k| 22 | 40 | 19 | 18 | 774k|3878 | 0.000000e+00 | -- | Inf
326.97/327.13 c 319s| 1240k|165429 | 2502k| 153M| 36 | - | 40 | 14k| 48 | 40 | 19 | 18 | 781k|3897 | 0.000000e+00 | -- | Inf
330.17/330.30 c 323s| 1250k|166107 | 2522k| 154M| 36 | - | 40 | 15k| 84 | 0 | 0 | 18 | 788k|3918 | 0.000000e+00 | -- | Inf
333.28/333.46 c 326s| 1260k|167332 | 2543k| 155M| 36 | - | 40 | 15k| 16 | 40 | 19 | 18 | 795k|3938 | 0.000000e+00 | -- | Inf
336.48/336.69 c 329s| 1270k|168115 | 2563k| 156M| 36 | 5 | 40 | 15k|1582 | 40 | 19 | 18 | 802k|3956 | 0.000000e+00 | -- | Inf
339.77/339.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.77/339.93 c 332s| 1280k|169148 | 2582k| 157M| 36 | 5 | 40 | 15k| 75 | 40 | 19 | 18 | 808k|3974 | 0.000000e+00 | -- | Inf
342.97/343.10 c 335s| 1290k|170168 | 2602k| 158M| 36 | 5 | 40 | 14k| 214 | 40 | 19 | 18 | 815k|3981 | 0.000000e+00 | -- | Inf
345.77/345.94 c 338s| 1300k|171232 | 2622k| 159M| 36 | 5 | 40 | 15k| 7 | 40 | 19 | 18 | 821k|3999 | 0.000000e+00 | -- | Inf
349.17/349.38 c 341s| 1310k|171743 | 2642k| 160M| 36 | 5 | 40 | 15k| 100 | 40 | 19 | 18 | 828k|4018 | 0.000000e+00 | -- | Inf
353.17/353.38 c 345s| 1320k|172308 | 2662k| 159M| 36 | 5 | 40 | 10k| 24 | 40 | 19 | 18 | 835k|4039 | 0.000000e+00 | -- | Inf
356.06/356.30 c 348s| 1330k|173105 | 2682k| 161M| 36 | 5 | 40 | 11k| 183 | 40 | 19 | 18 | 842k|4056 | 0.000000e+00 | -- | Inf
359.57/359.76 c 351s| 1340k|173449 | 2702k| 161M| 36 | 5 | 40 |9044 |2311 | 40 | 19 | 18 | 849k|4073 | 0.000000e+00 | -- | Inf
362.17/362.37 c 354s| 1350k|174425 | 2722k| 162M| 36 | 5 | 40 |9899 | 155 | 40 | 19 | 18 | 856k|4081 | 0.000000e+00 | -- | Inf
364.97/365.18 c 357s| 1360k|175001 | 2741k| 163M| 36 | 5 | 40 |9880 | 7 | 40 | 19 | 18 | 862k|4103 | 0.000000e+00 | -- | Inf
367.57/367.76 c 359s| 1370k|176108 | 2760k| 164M| 36 | 5 | 40 | 11k| 26 | 40 | 19 | 18 | 869k|4115 | 0.000000e+00 | -- | Inf
370.27/370.42 c 362s| 1380k|176855 | 2780k| 165M| 36 | 5 | 40 | 12k| 158 | 40 | 19 | 18 | 875k|4127 | 0.000000e+00 | -- | Inf
373.77/373.96 c 365s| 1390k|177423 | 2799k| 165M| 36 | 5 | 40 |9800 | 26 | 40 | 19 | 18 | 882k|4141 | 0.000000e+00 | -- | Inf
376.36/376.52 c 368s| 1400k|178739 | 2820k| 167M| 36 | - | 40 | 10k| 13 | 40 | 19 | 18 | 889k|4156 | 0.000000e+00 | -- | Inf
378.66/378.81 c 370s| 1410k|180490 | 2841k| 168M| 36 | - | 40 | 11k| 48 | 40 | 19 | 18 | 895k|4171 | 0.000000e+00 | -- | Inf
381.26/381.49 c 373s| 1420k|181437 | 2861k| 170M| 36 | 5 | 40 | 12k| 177 | 40 | 19 | 18 | 901k|4183 | 0.000000e+00 | -- | Inf
384.46/384.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.46/384.67 c 376s| 1430k|182155 | 2880k| 170M| 36 | - | 40 | 11k| 8 | 0 | 0 | 18 | 908k|4191 | 0.000000e+00 | -- | Inf
386.97/387.14 c 378s| 1440k|184578 | 2900k| 172M| 36 | 5 | 40 | 13k| 118 | 40 | 19 | 18 | 913k|4206 | 0.000000e+00 | -- | Inf
389.76/389.99 c 381s| 1450k|186221 | 2919k| 174M| 36 | - | 40 | 14k| 13 | 40 | 19 | 18 | 919k|4224 | 0.000000e+00 | -- | Inf
392.86/393.08 c 384s| 1460k|187591 | 2938k| 175M| 36 | - | 40 | 14k| 13 | 40 | 19 | 18 | 926k|4239 | 0.000000e+00 | -- | Inf
396.16/396.33 c 387s| 1470k|188865 | 2957k| 176M| 36 | - | 40 | 15k| 41 | 40 | 19 | 18 | 932k|4250 | 0.000000e+00 | -- | Inf
399.66/399.80 c 391s| 1480k|189974 | 2976k| 177M| 36 | - | 40 | 15k| 92 | 40 | 19 | 18 | 938k|4262 | 0.000000e+00 | -- | Inf
402.96/403.13 c 394s| 1490k|191205 | 2994k| 179M| 36 | - | 40 | 16k| 28 | 40 | 19 | 18 | 944k|4270 | 0.000000e+00 | -- | Inf
406.86/407.03 c 398s| 1500k|191901 | 3013k| 179M| 36 | 5 | 40 | 15k| 26 | 40 | 19 | 18 | 950k|4280 | 0.000000e+00 | -- | Inf
410.55/410.78 c 401s| 1510k|192568 | 3032k| 180M| 36 | 5 | 40 | 15k| 24 | 40 | 19 | 18 | 957k|4289 | 0.000000e+00 | -- | Inf
414.26/414.46 c 405s| 1520k|193252 | 3051k| 181M| 36 | - | 40 | 16k| 24 | 40 | 19 | 18 | 963k|4302 | 0.000000e+00 | -- | Inf
417.66/417.85 c 408s| 1530k|194262 | 3070k| 182M| 36 | 5 | 40 | 17k| 17 | 40 | 19 | 18 | 970k|4323 | 0.000000e+00 | -- | Inf
421.36/421.51 c 412s| 1540k|195163 | 3088k| 183M| 36 | 5 | 40 | 17k| 35 | 40 | 19 | 18 | 976k|4334 | 0.000000e+00 | -- | Inf
425.66/425.89 c 416s| 1550k|195506 | 3107k| 183M| 36 | - | 40 | 15k| 6 | 40 | 19 | 18 | 983k|4352 | 0.000000e+00 | -- | Inf
429.76/429.91 c 420s| 1560k|195907 | 3126k| 184M| 36 | 5 | 40 | 16k| 29 | 40 | 19 | 18 | 989k|4367 | 0.000000e+00 | -- | Inf
433.55/433.70 c 424s| 1570k|196713 | 3146k| 185M| 36 | - | 40 | 17k| 36 | 40 | 19 | 18 | 996k|4385 | 0.000000e+00 | -- | Inf
437.25/437.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.25/437.44 c 428s| 1580k|197554 | 3165k| 186M| 36 | 5 | 40 | 16k| 21 | 40 | 19 | 18 |1003k|4390 | 0.000000e+00 | -- | Inf
441.35/441.59 c 432s| 1590k|198104 | 3185k| 185M| 36 | - | 40 | 11k| 20 | 40 | 19 | 18 |1010k|4404 | 0.000000e+00 | -- | Inf
445.15/445.32 c 435s| 1600k|198668 | 3205k| 186M| 36 | 5 | 40 | 10k| 94 | 40 | 19 | 18 |1017k|4412 | 0.000000e+00 | -- | Inf
447.95/448.14 c 438s| 1610k|199457 | 3224k| 187M| 36 | - | 40 | 11k| 9 | 40 | 19 | 18 |1024k|4429 | 0.000000e+00 | -- | Inf
451.36/451.53 c 441s| 1620k|200018 | 3244k| 187M| 36 | - | 40 | 10k| 11 | 40 | 19 | 18 |1031k|4443 | 0.000000e+00 | -- | Inf
454.35/454.59 c 444s| 1630k|200749 | 3263k| 188M| 36 | 5 | 40 | 11k| 43 | 40 | 19 | 18 |1038k|4459 | 0.000000e+00 | -- | Inf
457.25/457.45 c 447s| 1640k|202096 | 3284k| 190M| 36 | 5 | 40 | 11k| 123 | 40 | 19 | 18 |1044k|4470 | 0.000000e+00 | -- | Inf
459.95/460.12 c 450s| 1650k|203126 | 3304k| 191M| 36 | 5 | 40 | 12k| 13 | 40 | 19 | 18 |1051k|4487 | 0.000000e+00 | -- | Inf
462.85/463.04 c 453s| 1660k|203856 | 3324k| 192M| 36 | 5 | 40 | 13k| 118 | 40 | 19 | 18 |1058k|4505 | 0.000000e+00 | -- | Inf
466.75/466.99 c 456s| 1670k|204418 | 3344k| 192M| 36 | - | 40 | 10k| 96 | 40 | 19 | 18 |1065k|4514 | 0.000000e+00 | -- | Inf
470.35/470.59 c 460s| 1680k|204841 | 3364k| 193M| 36 | - | 40 |9252 | 36 | 40 | 19 | 18 |1072k|4528 | 0.000000e+00 | -- | Inf
473.85/474.04 c 463s| 1690k|205232 | 3384k| 193M| 36 | - | 40 |8341 | 38 | 40 | 19 | 18 |1079k|4535 | 0.000000e+00 | -- | Inf
476.85/477.04 c 466s| 1700k|205837 | 3404k| 194M| 36 | 5 | 40 |9920 | 61 | 40 | 19 | 18 |1086k|4546 | 0.000000e+00 | -- | Inf
479.35/479.56 c 469s| 1710k|206721 | 3425k| 196M| 36 | 5 | 40 | 13k| 71 | 40 | 19 | 18 |1093k|4551 | 0.000000e+00 | -- | Inf
482.95/483.14 c 472s| 1720k|207476 | 3445k| 197M| 36 | 5 | 40 | 11k| 31 | 40 | 19 | 18 |1100k|4555 | 0.000000e+00 | -- | Inf
486.65/486.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.65/486.82 c 476s| 1730k|208023 | 3465k| 197M| 36 | 5 | 40 |9827 | 72 | 40 | 19 | 18 |1107k|4560 | 0.000000e+00 | -- | Inf
490.05/490.25 c 479s| 1740k|208507 | 3486k| 198M| 36 | 5 | 40 |9486 | 230 | 40 | 19 | 18 |1114k|4568 | 0.000000e+00 | -- | Inf
493.24/493.48 c 482s| 1750k|209135 | 3505k| 199M| 36 | 5 | 40 |9465 | 53 | 40 | 19 | 18 |1121k|4577 | 0.000000e+00 | -- | Inf
496.35/496.54 c 485s| 1760k|209753 | 3525k| 199M| 36 | - | 40 |9465 | 32 | 40 | 19 | 18 |1128k|4593 | 0.000000e+00 | -- | Inf
499.04/499.28 c 488s| 1770k|210586 | 3544k| 201M| 36 | 5 | 40 | 10k| 15 | 40 | 19 | 18 |1134k|4602 | 0.000000e+00 | -- | Inf
502.45/502.64 c 491s| 1780k|211134 | 3564k| 201M| 36 | - | 40 |9926 | 25 | 40 | 19 | 18 |1141k|4616 | 0.000000e+00 | -- | Inf
505.44/505.62 c 494s| 1790k|211841 | 3583k| 202M| 36 | - | 40 | 10k| 54 | 40 | 19 | 18 |1148k|4626 | 0.000000e+00 | -- | Inf
509.05/509.24 c 498s| 1800k|212243 | 3603k| 203M| 36 | 5 | 40 |9465 | 11 | 40 | 19 | 18 |1155k|4636 | 0.000000e+00 | -- | Inf
512.04/512.24 c 501s| 1810k|212916 | 3624k| 204M| 36 | 5 | 40 | 10k| 145 | 40 | 19 | 18 |1162k|4651 | 0.000000e+00 | -- | Inf
514.85/515.00 c 504s| 1820k|213893 | 3644k| 205M| 36 | - | 40 | 12k| 14 | 40 | 19 | 18 |1169k|4656 | 0.000000e+00 | -- | Inf
518.64/518.89 c 507s| 1830k|214225 | 3664k| 205M| 36 | 5 | 40 |9706 | 505 | 40 | 19 | 18 |1176k|4668 | 0.000000e+00 | -- | Inf
522.35/522.51 c 511s| 1840k|214394 | 3684k| 206M| 36 | 5 | 40 |9121 | 123 | 40 | 19 | 18 |1183k|4682 | 0.000000e+00 | -- | Inf
525.74/525.93 c 514s| 1850k|214801 | 3704k| 206M| 36 | 5 | 40 |9378 | 251 | 40 | 19 | 18 |1191k|4689 | 0.000000e+00 | -- | Inf
529.34/529.51 c 518s| 1860k|215147 | 3724k| 207M| 36 | - | 40 |8954 | 26 | 40 | 19 | 18 |1198k|4703 | 0.000000e+00 | -- | Inf
532.44/532.67 c 521s| 1870k|215564 | 3744k| 208M| 36 | - | 40 |9184 | 57 | 0 | 0 | 18 |1205k|4712 | 0.000000e+00 | -- | Inf
534.84/535.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.84/535.08 c 523s| 1880k|217421 | 3764k| 209M| 36 | 5 | 40 | 10k| 25 | 40 | 19 | 18 |1211k|4720 | 0.000000e+00 | -- | Inf
537.54/537.73 c 526s| 1890k|218998 | 3784k| 211M| 36 | 5 | 40 | 11k| 74 | 40 | 19 | 18 |1217k|4731 | 0.000000e+00 | -- | Inf
540.44/540.61 c 529s| 1900k|220171 | 3803k| 212M| 36 | 5 | 40 | 11k| 128 | 40 | 19 | 18 |1223k|4735 | 0.000000e+00 | -- | Inf
543.04/543.27 c 531s| 1910k|221535 | 3823k| 214M| 36 | - | 40 | 13k| 11 | 40 | 19 | 18 |1229k|4743 | 0.000000e+00 | -- | Inf
546.24/546.49 c 534s| 1920k|222409 | 3843k| 214M| 36 | 5 | 40 | 12k| 454 | 40 | 19 | 18 |1236k|4752 | 0.000000e+00 | -- | Inf
549.34/549.53 c 537s| 1930k|223325 | 3863k| 215M| 36 | - | 40 | 13k| 7 | 0 | 0 | 18 |1242k|4759 | 0.000000e+00 | -- | Inf
552.64/552.89 c 541s| 1940k|224022 | 3883k| 216M| 36 | 5 | 40 | 12k| 76 | 40 | 19 | 18 |1249k|4771 | 0.000000e+00 | -- | Inf
556.13/556.35 c 544s| 1950k|224456 | 3903k| 217M| 36 | 5 | 40 | 12k| 11 | 40 | 19 | 18 |1256k|4774 | 0.000000e+00 | -- | Inf
559.34/559.52 c 547s| 1960k|225188 | 3922k| 218M| 36 | 5 | 40 | 13k| 53 | 40 | 19 | 18 |1263k|4784 | 0.000000e+00 | -- | Inf
562.54/562.73 c 550s| 1970k|226211 | 3942k| 219M| 36 | - | 40 | 13k| 23 | 0 | 0 | 18 |1269k|4797 | 0.000000e+00 | -- | Inf
566.14/566.40 c 554s| 1980k|226529 | 3963k| 220M| 36 | 5 | 40 | 13k| 148 | 40 | 19 | 18 |1276k|4817 | 0.000000e+00 | -- | Inf
569.84/570.09 c 557s| 1990k|226936 | 3983k| 220M| 36 | 5 | 40 | 13k| 47 | 40 | 19 | 18 |1283k|4822 | 0.000000e+00 | -- | Inf
574.04/574.26 c 562s| 2000k|227144 | 4003k| 220M| 36 | 5 | 40 | 11k| 8 | 40 | 19 | 18 |1291k|4830 | 0.000000e+00 | -- | Inf
578.13/578.34 c 566s| 2010k|227553 | 4023k| 220M| 36 | 5 | 40 |9332 | 34 | 40 | 19 | 18 |1297k|4842 | 0.000000e+00 | -- | Inf
581.03/581.24 c 568s| 2020k|228603 | 4043k| 222M| 36 | 5 | 40 | 11k| 317 | 40 | 19 | 18 |1304k|4854 | 0.000000e+00 | -- | Inf
584.63/584.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.63/584.85 c 572s| 2030k|229297 | 4062k| 223M| 36 | 5 | 40 | 10k| 21 | 40 | 19 | 18 |1311k|4863 | 0.000000e+00 | -- | Inf
588.13/588.33 c 575s| 2040k|230031 | 4082k| 224M| 36 | 5 | 40 | 11k| 91 | 40 | 19 | 18 |1318k|4871 | 0.000000e+00 | -- | Inf
591.63/591.82 c 579s| 2050k|230644 | 4101k| 224M| 36 | 5 | 40 | 11k| 402 | 40 | 19 | 18 |1324k|4881 | 0.000000e+00 | -- | Inf
595.13/595.31 c 582s| 2060k|231273 | 4122k| 225M| 36 | 5 | 40 | 11k| 14 | 40 | 19 | 18 |1332k|4888 | 0.000000e+00 | -- | Inf
598.93/599.18 c 586s| 2070k|231645 | 4142k| 225M| 36 | 5 | 40 |9309 | 29 | 40 | 19 | 18 |1339k|4900 | 0.000000e+00 | -- | Inf
601.73/601.93 c 589s| 2080k|232435 | 4163k| 227M| 36 | 5 | 40 | 11k| 94 | 40 | 19 | 18 |1346k|4905 | 0.000000e+00 | -- | Inf
605.03/605.25 c 592s| 2090k|233080 | 4182k| 228M| 36 | - | 40 | 12k| 14 | 40 | 19 | 18 |1352k|4918 | 0.000000e+00 | -- | Inf
608.33/608.52 c 595s| 2100k|234254 | 4202k| 229M| 36 | 5 | 40 | 11k| 49 | 40 | 19 | 18 |1359k|4926 | 0.000000e+00 | -- | Inf
610.62/610.85 c 597s| 2110k|236835 | 4222k| 231M| 36 | - | 40 | 14k| 19 | 40 | 19 | 18 |1364k|4929 | 0.000000e+00 | -- | Inf
613.73/613.90 c 600s| 2120k|238921 | 4243k| 233M| 36 | 5 | 40 | 14k| 116 | 40 | 19 | 18 |1370k|4937 | 0.000000e+00 | -- | Inf
617.13/617.39 c 604s| 2130k|240552 | 4263k| 234M| 36 | 5 | 40 | 14k| 12 | 40 | 19 | 18 |1376k|4949 | 0.000000e+00 | -- | Inf
620.03/620.20 c 607s| 2140k|242956 | 4284k| 236M| 36 | - | 40 | 16k| 7 | 0 | 0 | 18 |1381k|4955 | 0.000000e+00 | -- | Inf
623.23/623.40 c 610s| 2150k|244846 | 4305k| 238M| 36 | 5 | 40 | 17k| 372 | 40 | 19 | 18 |1387k|4961 | 0.000000e+00 | -- | Inf
627.13/627.36 c 614s| 2160k|246367 | 4325k| 239M| 36 | 5 | 40 | 16k| 128 | 40 | 19 | 18 |1393k|4973 | 0.000000e+00 | -- | Inf
631.03/631.23 c 617s| 2170k|247809 | 4346k| 240M| 36 | 5 | 40 | 16k| 152 | 40 | 19 | 18 |1399k|4976 | 0.000000e+00 | -- | Inf
634.53/634.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.53/634.72 c 621s| 2180k|249407 | 4366k| 241M| 36 | - | 40 | 17k| 8 | 40 | 19 | 18 |1406k|4980 | 0.000000e+00 | -- | Inf
638.52/638.72 c 625s| 2190k|250789 | 4387k| 243M| 36 | 5 | 40 | 16k| 99 | 40 | 19 | 18 |1412k|4991 | 0.000000e+00 | -- | Inf
642.72/642.90 c 629s| 2200k|252089 | 4408k| 244M| 36 | - | 40 | 16k| 10 | 40 | 19 | 18 |1418k|4999 | 0.000000e+00 | -- | Inf
646.73/646.99 c 633s| 2210k|253317 | 4429k| 245M| 36 | 5 | 40 | 17k| 17 | 40 | 19 | 18 |1425k|5000 | 0.000000e+00 | -- | Inf
651.42/651.60 c 638s| 2220k|254475 | 4450k| 246M| 36 | 5 | 40 | 17k| 60 | 40 | 19 | 18 |1431k|5003 | 0.000000e+00 | -- | Inf
656.22/656.46 c 642s| 2230k|255357 | 4470k| 247M| 36 | 5 | 40 | 17k| 484 | 40 | 19 | 18 |1438k|5013 | 0.000000e+00 | -- | Inf
661.02/661.21 c 647s| 2240k|256242 | 4490k| 248M| 36 | 5 | 40 | 17k| 56 | 40 | 19 | 18 |1445k|5022 | 0.000000e+00 | -- | Inf
666.32/666.58 c 652s| 2250k|257007 | 4511k| 249M| 36 | 5 | 40 | 17k| 15 | 40 | 19 | 18 |1451k|5036 | 0.000000e+00 | -- | Inf
669.92/670.11 c 656s| 2260k|258465 | 4531k| 251M| 36 | - | 40 | 20k| 12 | 40 | 19 | 18 |1458k|5045 | 0.000000e+00 | -- | Inf
675.02/675.28 c 661s| 2270k|259419 | 4552k| 252M| 36 | 5 | 40 | 19k| 12 | 40 | 19 | 18 |1464k|5050 | 0.000000e+00 | -- | Inf
680.01/680.30 c 666s| 2280k|260352 | 4572k| 253M| 36 | - | 40 | 19k| 120 | 40 | 19 | 18 |1471k|5056 | 0.000000e+00 | -- | Inf
685.42/685.61 c 671s| 2290k|261238 | 4593k| 254M| 36 | - | 40 | 19k| 96 | 40 | 19 | 18 |1478k|5072 | 0.000000e+00 | -- | Inf
690.72/690.98 c 676s| 2300k|262167 | 4613k| 255M| 36 | 5 | 40 | 19k| 116 | 40 | 19 | 18 |1485k|5084 | 0.000000e+00 | -- | Inf
696.51/696.77 c 682s| 2310k|262854 | 4634k| 256M| 36 | 5 | 40 | 19k| 83 | 40 | 19 | 18 |1491k|5093 | 0.000000e+00 | -- | Inf
700.71/700.99 c 686s| 2320k|264151 | 4655k| 258M| 36 | 5 | 40 | 20k| 263 | 40 | 19 | 18 |1498k|5100 | 0.000000e+00 | -- | Inf
705.92/706.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.92/706.16 c 691s| 2330k|265262 | 4675k| 259M| 36 | - | 40 | 20k| 14 | 40 | 19 | 18 |1505k|5112 | 0.000000e+00 | -- | Inf
709.61/709.84 c 695s| 2340k|266887 | 4696k| 261M| 36 | - | 40 | 23k| 48 | 0 | 0 | 18 |1511k|5128 | 0.000000e+00 | -- | Inf
715.41/715.67 c 701s| 2350k|267633 | 4716k| 262M| 36 | - | 40 | 23k| 137 | 40 | 19 | 18 |1517k|5138 | 0.000000e+00 | -- | Inf
721.80/722.04 c 707s| 2360k|268950 | 4736k| 263M| 36 | 5 | 40 | 20k| 11 | 40 | 19 | 18 |1524k|5147 | 0.000000e+00 | -- | Inf
726.19/726.41 c 711s| 2370k|271159 | 4757k| 264M| 36 | - | 40 | 19k| 17 | 40 | 19 | 18 |1530k|5159 | 0.000000e+00 | -- | Inf
730.11/730.39 c 715s| 2380k|272967 | 4778k| 266M| 36 | 5 | 40 | 21k| 22 | 40 | 19 | 18 |1536k|5166 | 0.000000e+00 | -- | Inf
734.70/734.94 c 720s| 2390k|274639 | 4799k| 268M| 36 | 5 | 40 | 21k| 55 | 40 | 19 | 18 |1542k|5175 | 0.000000e+00 | -- | Inf
739.49/739.72 c 724s| 2400k|276180 | 4819k| 269M| 36 | 5 | 40 | 20k| 27 | 40 | 19 | 18 |1549k|5180 | 0.000000e+00 | -- | Inf
743.59/743.83 c 728s| 2410k|278203 | 4839k| 271M| 36 | 5 | 40 | 23k| 42 | 40 | 19 | 18 |1554k|5192 | 0.000000e+00 | -- | Inf
747.98/748.26 c 733s| 2420k|280391 | 4861k| 272M| 36 | - | 40 | 22k| 216 | 40 | 19 | 18 |1560k|5199 | 0.000000e+00 | -- | Inf
753.08/753.32 c 738s| 2430k|281864 | 4883k| 274M| 36 | 5 | 40 | 22k| 63 | 40 | 19 | 18 |1567k|5208 | 0.000000e+00 | -- | Inf
758.17/758.45 c 743s| 2440k|283251 | 4903k| 275M| 36 | 5 | 40 | 22k| 48 | 40 | 19 | 18 |1573k|5214 | 0.000000e+00 | -- | Inf
763.08/763.35 c 748s| 2450k|284587 | 4924k| 276M| 36 | - | 40 | 23k| 28 | 40 | 19 | 18 |1580k|5221 | 0.000000e+00 | -- | Inf
768.67/768.94 c 753s| 2460k|285609 | 4944k| 277M| 36 | - | 40 | 21k| 63 | 40 | 19 | 18 |1586k|5230 | 0.000000e+00 | -- | Inf
773.27/773.55 c 758s| 2470k|286933 | 4965k| 278M| 36 | 5 | 40 | 21k| 62 | 40 | 19 | 18 |1593k|5235 | 0.000000e+00 | -- | Inf
778.66/778.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.66/778.94 c 763s| 2480k|287880 | 4985k| 279M| 36 | 5 | 40 | 21k| 66 | 40 | 19 | 18 |1600k|5246 | 0.000000e+00 | -- | Inf
783.36/783.63 c 768s| 2490k|289171 | 5006k| 281M| 36 | 5 | 40 | 23k| 37 | 40 | 19 | 18 |1606k|5256 | 0.000000e+00 | -- | Inf
788.56/788.81 c 773s| 2500k|290102 | 5026k| 282M| 36 | 5 | 40 | 22k| 44 | 40 | 19 | 18 |1613k|5260 | 0.000000e+00 | -- | Inf
793.86/794.11 c 778s| 2510k|291012 | 5047k| 283M| 36 | 5 | 40 | 23k| 21 | 40 | 19 | 18 |1620k|5263 | 0.000000e+00 | -- | Inf
799.36/799.61 c 783s| 2520k|291890 | 5067k| 284M| 36 | - | 40 | 23k| 71 | 40 | 19 | 18 |1626k|5281 | 0.000000e+00 | -- | Inf
804.96/805.22 c 789s| 2530k|292691 | 5087k| 285M| 36 | - | 40 | 22k| 14 | 40 | 19 | 18 |1633k|5290 | 0.000000e+00 | -- | Inf
810.86/811.19 c 795s| 2540k|293394 | 5108k| 286M| 36 | - | 40 | 21k| 82 | 40 | 19 | 18 |1640k|5304 | 0.000000e+00 | -- | Inf
815.65/815.94 c 800s| 2550k|294674 | 5129k| 287M| 36 | 5 | 40 | 23k| 12 | 40 | 19 | 18 |1647k|5314 | 0.000000e+00 | -- | Inf
820.45/820.73 c 804s| 2560k|295799 | 5149k| 289M| 36 | - | 40 | 25k| 20 | 40 | 19 | 18 |1653k|5324 | 0.000000e+00 | -- | Inf
826.85/827.12 c 811s| 2570k|296345 | 5169k| 289M| 36 | - | 40 | 23k| 248 | 40 | 19 | 18 |1660k|5332 | 0.000000e+00 | -- | Inf
832.74/833.01 c 816s| 2580k|297296 | 5189k| 290M| 36 | 5 | 40 | 20k| 85 | 40 | 19 | 18 |1667k|5341 | 0.000000e+00 | -- | Inf
838.05/838.35 c 822s| 2590k|298106 | 5210k| 289M| 36 | - | 40 | 16k| 191 | 40 | 19 | 18 |1674k|5357 | 0.000000e+00 | -- | Inf
842.95/843.22 c 827s| 2600k|298663 | 5231k| 290M| 36 | 5 | 40 | 16k| 23 | 40 | 19 | 18 |1681k|5377 | 0.000000e+00 | -- | Inf
846.95/847.21 c 830s| 2610k|299647 | 5251k| 291M| 36 | - | 40 | 16k| 10 | 40 | 19 | 18 |1688k|5390 | 0.000000e+00 | -- | Inf
851.24/851.55 c 835s| 2620k|300446 | 5271k| 292M| 36 | 5 | 40 | 17k| 11 | 40 | 19 | 18 |1695k|5399 | 0.000000e+00 | -- | Inf
855.64/855.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.64/855.97 c 839s| 2630k|301270 | 5292k| 293M| 36 | - | 40 | 17k| 175 | 40 | 19 | 18 |1702k|5414 | 0.000000e+00 | -- | Inf
860.95/861.26 c 844s| 2640k|301548 | 5312k| 293M| 36 | - | 40 | 15k| 17 | 40 | 19 | 18 |1709k|5427 | 0.000000e+00 | -- | Inf
865.24/865.58 c 849s| 2650k|302178 | 5333k| 294M| 36 | 5 | 40 | 16k| 61 | 40 | 19 | 18 |1716k|5436 | 0.000000e+00 | -- | Inf
870.14/870.48 c 853s| 2660k|302590 | 5354k| 295M| 36 | 5 | 40 | 15k| 190 | 40 | 19 | 18 |1723k|5446 | 0.000000e+00 | -- | Inf
874.55/874.88 c 858s| 2670k|303455 | 5375k| 296M| 36 | - | 40 | 16k| 19 | 40 | 19 | 18 |1730k|5454 | 0.000000e+00 | -- | Inf
878.74/879.06 c 862s| 2680k|304212 | 5396k| 297M| 36 | 5 | 40 | 17k| 323 | 40 | 19 | 18 |1737k|5466 | 0.000000e+00 | -- | Inf
883.35/883.64 c 866s| 2690k|304877 | 5417k| 298M| 36 | - | 40 | 16k| 24 | 40 | 19 | 18 |1744k|5479 | 0.000000e+00 | -- | Inf
887.74/888.05 c 871s| 2700k|305576 | 5438k| 298M| 36 | 5 | 40 | 15k| 107 | 40 | 19 | 18 |1751k|5495 | 0.000000e+00 | -- | Inf
891.94/892.26 c 875s| 2710k|306224 | 5458k| 299M| 36 | 5 | 40 | 16k| 223 | 40 | 19 | 18 |1758k|5508 | 0.000000e+00 | -- | Inf
896.44/896.71 c 879s| 2720k|306802 | 5479k| 300M| 36 | 5 | 40 | 16k| 29 | 40 | 19 | 18 |1765k|5518 | 0.000000e+00 | -- | Inf
900.14/900.44 c 883s| 2730k|307764 | 5500k| 302M| 36 | 5 | 40 | 17k| 241 | 40 | 19 | 18 |1772k|5533 | 0.000000e+00 | -- | Inf
904.44/904.78 c 887s| 2740k|308499 | 5520k| 303M| 36 | 5 | 40 | 17k| 5 | 40 | 19 | 18 |1779k|5549 | 0.000000e+00 | -- | Inf
908.44/908.80 c 891s| 2750k|309666 | 5541k| 304M| 36 | - | 40 | 18k| 227 | 40 | 19 | 18 |1786k|5559 | 0.000000e+00 | -- | Inf
912.64/912.97 c 895s| 2760k|310822 | 5561k| 305M| 36 | 5 | 40 | 18k| 8 | 40 | 19 | 18 |1793k|5568 | 0.000000e+00 | -- | Inf
918.04/918.31 c 901s| 2770k|311420 | 5581k| 305M| 36 | 5 | 40 | 14k| 137 | 40 | 19 | 18 |1800k|5581 | 0.000000e+00 | -- | Inf
922.64/922.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.64/922.91 c 905s| 2780k|311994 | 5601k| 305M| 36 | 5 | 40 | 11k| 31 | 40 | 19 | 18 |1807k|5588 | 0.000000e+00 | -- | Inf
926.64/926.96 c 909s| 2790k|312509 | 5621k| 305M| 36 | - | 40 | 11k| 29 | 40 | 19 | 18 |1814k|5599 | 0.000000e+00 | -- | Inf
929.93/930.23 c 912s| 2800k|313526 | 5641k| 307M| 36 | - | 40 | 12k| 56 | 40 | 19 | 18 |1821k|5607 | 0.000000e+00 | -- | Inf
934.13/934.44 c 916s| 2810k|314093 | 5660k| 307M| 36 | 5 | 40 | 10k| 138 | 40 | 19 | 18 |1827k|5612 | 0.000000e+00 | -- | Inf
937.53/937.86 c 920s| 2820k|314770 | 5680k| 307M| 36 | 5 | 40 |9368 | 141 | 40 | 19 | 18 |1834k|5625 | 0.000000e+00 | -- | Inf
940.83/941.19 c 923s| 2830k|315367 | 5700k| 308M| 36 | 5 | 40 | 10k| 8 | 40 | 19 | 18 |1841k|5632 | 0.000000e+00 | -- | Inf
944.43/944.79 c 927s| 2840k|315877 | 5720k| 309M| 36 | 5 | 40 |9937 | 132 | 40 | 19 | 18 |1848k|5644 | 0.000000e+00 | -- | Inf
947.23/947.55 c 929s| 2850k|317564 | 5740k| 311M| 36 | 5 | 40 | 10k| 21 | 40 | 19 | 18 |1855k|5654 | 0.000000e+00 | -- | Inf
949.83/950.16 c 932s| 2860k|319380 | 5760k| 312M| 36 | 5 | 40 | 11k| 114 | 40 | 19 | 18 |1861k|5658 | 0.000000e+00 | -- | Inf
952.83/953.17 c 935s| 2870k|320640 | 5779k| 314M| 36 | 5 | 40 | 11k| 291 | 40 | 19 | 18 |1867k|5664 | 0.000000e+00 | -- | Inf
955.93/956.29 c 938s| 2880k|321629 | 5799k| 315M| 36 | - | 40 | 12k| 6 | 40 | 19 | 18 |1874k|5680 | 0.000000e+00 | -- | Inf
959.43/959.77 c 941s| 2890k|322339 | 5819k| 316M| 36 | - | 40 | 13k| 38 | 40 | 19 | 18 |1880k|5690 | 0.000000e+00 | -- | Inf
963.73/964.04 c 945s| 2900k|322906 | 5838k| 316M| 36 | 5 | 40 | 11k| 366 | 40 | 19 | 18 |1887k|5713 | 0.000000e+00 | -- | Inf
966.43/966.79 c 948s| 2910k|324365 | 5859k| 318M| 36 | - | 40 | 13k| 41 | 40 | 19 | 18 |1894k|5720 | 0.000000e+00 | -- | Inf
970.53/970.88 c 952s| 2920k|324932 | 5879k| 318M| 36 | 5 | 40 | 11k| 128 | 40 | 19 | 18 |1901k|5726 | 0.000000e+00 | -- | Inf
973.32/973.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.32/973.65 c 955s| 2930k|325999 | 5899k| 320M| 36 | - | 40 | 15k| 11 | 40 | 19 | 18 |1907k|5733 | 0.000000e+00 | -- | Inf
978.12/978.48 c 960s| 2940k|326321 | 5920k| 320M| 36 | 5 | 40 | 10k| 10 | 40 | 19 | 18 |1915k|5741 | 0.000000e+00 | -- | Inf
981.73/982.06 c 963s| 2950k|326907 | 5940k| 321M| 36 | - | 40 | 10k| 9 | 0 | 0 | 18 |1922k|5749 | 0.000000e+00 | -- | Inf
985.73/986.04 c 967s| 2960k|327344 | 5960k| 321M| 36 | 5 | 40 | 10k| 5 | 40 | 19 | 18 |1929k|5756 | 0.000000e+00 | -- | Inf
989.33/989.60 c 970s| 2970k|328070 | 5980k| 322M| 36 | - | 40 | 10k| 124 | 40 | 19 | 18 |1936k|5763 | 0.000000e+00 | -- | Inf
992.83/993.15 c 974s| 2980k|328636 | 5999k| 323M| 36 | 5 | 40 |9852 | 9 | 40 | 19 | 18 |1942k|5767 | 0.000000e+00 | -- | Inf
996.23/996.59 c 977s| 2990k|329146 | 6019k| 323M| 36 | - | 40 |9872 | 34 | 40 | 19 | 18 |1949k|5771 | 0.000000e+00 | -- | Inf
999.63/999.93 c 981s| 3000k|329657 | 6039k| 324M| 36 | 5 | 40 |9572 | 50 | 40 | 19 | 18 |1956k|5774 | 0.000000e+00 | -- | Inf
1002.62/1002.96 c 984s| 3010k|330467 | 6059k| 325M| 36 | - | 40 | 11k| 82 | 0 | 0 | 18 |1963k|5779 | 0.000000e+00 | -- | Inf
1006.72/1007.04 c 988s| 3020k|330801 | 6079k| 326M| 36 | - | 40 |9359 | 80 | 0 | 0 | 18 |1971k|5782 | 0.000000e+00 | -- | Inf
1009.43/1009.73 c 990s| 3030k|331851 | 6099k| 327M| 36 | 5 | 40 | 11k| 138 | 40 | 19 | 18 |1977k|5790 | 0.000000e+00 | -- | Inf
1013.72/1014.01 c 994s| 3040k|332106 | 6119k| 327M| 36 | - | 40 |8538 | 24 | 40 | 19 | 18 |1984k|5802 | 0.000000e+00 | -- | Inf
1017.02/1017.32 c 998s| 3050k|332749 | 6138k| 328M| 36 | - | 40 |9500 | 6 | 40 | 19 | 18 |1991k|5821 | 0.000000e+00 | -- | Inf
1020.52/1020.85 c 1001s| 3060k|333229 | 6158k| 329M| 36 | 5 | 40 |9428 | 7 | 40 | 19 | 18 |1998k|5824 | 0.000000e+00 | -- | Inf
1023.62/1023.95 c 1004s| 3070k|334232 | 6179k| 330M| 36 | - | 40 | 10k| 21 | 40 | 19 | 18 |2005k|5831 | 0.000000e+00 | -- | Inf
1027.32/1027.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1027.32/1027.60 c 1008s| 3080k|334732 | 6199k| 331M| 36 | 5 | 40 | 11k| 18 | 40 | 19 | 18 |2012k|5837 | 0.000000e+00 | -- | Inf
1030.82/1031.19 c 1011s| 3090k|335375 | 6219k| 332M| 36 | 5 | 40 | 11k| 47 | 40 | 19 | 18 |2019k|5841 | 0.000000e+00 | -- | Inf
1033.92/1034.27 c 1014s| 3100k|336442 | 6239k| 333M| 36 | - | 40 | 12k| 50 | 40 | 19 | 18 |2026k|5855 | 0.000000e+00 | -- | Inf
1038.12/1038.41 c 1018s| 3110k|336888 | 6259k| 333M| 36 | - | 40 | 10k| 73 | 40 | 19 | 18 |2033k|5861 | 0.000000e+00 | -- | Inf
1041.71/1042.00 c 1022s| 3120k|337498 | 6279k| 334M| 36 | 5 | 40 | 10k| 571 | 40 | 19 | 18 |2040k|5867 | 0.000000e+00 | -- | Inf
1044.92/1045.27 c 1025s| 3130k|338391 | 6299k| 335M| 36 | 5 | 40 | 11k| 8 | 40 | 19 | 18 |2047k|5882 | 0.000000e+00 | -- | Inf
1048.62/1048.95 c 1029s| 3140k|338857 | 6319k| 336M| 36 | 5 | 40 | 10k| 51 | 40 | 19 | 18 |2054k|5882 | 0.000000e+00 | -- | Inf
1051.41/1051.70 c 1031s| 3150k|339894 | 6338k| 337M| 36 | - | 40 | 12k| 6 | 0 | 0 | 18 |2061k|5887 | 0.000000e+00 | -- | Inf
1056.02/1056.34 c 1036s| 3160k|340104 | 6358k| 337M| 36 | - | 40 |9876 | 15 | 40 | 19 | 18 |2068k|5887 | 0.000000e+00 | -- | Inf
1059.02/1059.35 c 1039s| 3170k|341780 | 6378k| 339M| 36 | - | 40 | 10k| 205 | 40 | 19 | 18 |2074k|5887 | 0.000000e+00 | -- | Inf
1061.72/1062.00 c 1042s| 3180k|343927 | 6397k| 340M| 36 | 5 | 40 | 10k| 94 | 40 | 19 | 18 |2079k|5887 | 0.000000e+00 | -- | Inf
1064.52/1064.89 c 1044s| 3190k|345487 | 6416k| 341M| 36 | 5 | 40 | 10k| 187 | 40 | 19 | 18 |2085k|5887 | 0.000000e+00 | -- | Inf
1067.31/1067.61 c 1047s| 3200k|347051 | 6436k| 343M| 36 | - | 40 | 11k| 27 | 40 | 19 | 18 |2091k|5887 | 0.000000e+00 | -- | Inf
1070.11/1070.46 c 1050s| 3210k|348678 | 6456k| 344M| 36 | - | 40 | 11k| 48 | 40 | 19 | 18 |2097k|5887 | 0.000000e+00 | -- | Inf
1072.91/1073.28 c 1053s| 3220k|350354 | 6478k| 346M| 36 | 5 | 40 | 13k| 160 | 40 | 19 | 18 |2104k|5887 | 0.000000e+00 | -- | Inf
1076.21/1076.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.21/1076.50 c 1056s| 3230k|351686 | 6499k| 347M| 36 | 5 | 40 | 12k| 36 | 40 | 19 | 18 |2110k|5887 | 0.000000e+00 | -- | Inf
1079.41/1079.71 c 1059s| 3240k|352952 | 6520k| 348M| 36 | 5 | 40 | 12k| 21 | 40 | 19 | 18 |2117k|5887 | 0.000000e+00 | -- | Inf
1082.31/1082.69 c 1062s| 3250k|354399 | 6540k| 350M| 36 | - | 40 | 13k| 127 | 40 | 19 | 18 |2123k|5887 | 0.000000e+00 | -- | Inf
1085.71/1086.00 c 1065s| 3260k|355464 | 6560k| 351M| 36 | - | 40 | 12k| 20 | 40 | 19 | 18 |2130k|5889 | 0.000000e+00 | -- | Inf
1088.91/1089.24 c 1068s| 3270k|356503 | 6580k| 352M| 36 | 5 | 40 | 12k| 117 | 40 | 19 | 18 |2136k|5889 | 0.000000e+00 | -- | Inf
1092.21/1092.58 c 1071s| 3280k|357469 | 6600k| 353M| 36 | 5 | 40 | 12k| 40 | 40 | 19 | 18 |2143k|5889 | 0.000000e+00 | -- | Inf
1095.31/1095.69 c 1074s| 3290k|358465 | 6620k| 354M| 36 | - | 40 | 13k| 68 | 0 | 0 | 18 |2150k|5889 | 0.000000e+00 | -- | Inf
1098.91/1099.20 c 1078s| 3300k|359256 | 6640k| 355M| 36 | 5 | 40 | 12k| 28 | 40 | 19 | 18 |2157k|5889 | 0.000000e+00 | -- | Inf
1102.41/1102.74 c 1081s| 3310k|359870 | 6660k| 356M| 36 | - | 40 | 11k|1773 | 0 | 0 | 18 |2164k|5889 | 0.000000e+00 | -- | Inf
1105.21/1105.58 c 1084s| 3320k|361235 | 6681k| 358M| 36 | - | 40 | 15k| 25 | 40 | 19 | 18 |2170k|5889 | 0.000000e+00 | -- | Inf
1109.21/1109.51 c 1088s| 3330k|361975 | 6701k| 358M| 36 | - | 40 | 13k| 378 | 40 | 19 | 18 |2177k|5889 | 0.000000e+00 | -- | Inf
1112.31/1112.61 c 1091s| 3340k|363258 | 6722k| 360M| 36 | - | 40 | 15k| 133 | 40 | 19 | 18 |2184k|5889 | 0.000000e+00 | -- | Inf
1116.00/1116.33 c 1095s| 3350k|364317 | 6741k| 361M| 36 | 5 | 40 | 14k| 11 | 40 | 19 | 18 |2190k|5889 | 0.000000e+00 | -- | Inf
1119.61/1119.91 c 1098s| 3360k|365307 | 6761k| 362M| 36 | - | 40 | 13k| 12 | 40 | 19 | 18 |2197k|5889 | 0.000000e+00 | -- | Inf
1123.40/1123.79 c 1102s| 3370k|365911 | 6781k| 362M| 36 | - | 40 | 12k| 26 | 40 | 19 | 18 |2204k|5889 | 0.000000e+00 | -- | Inf
1127.30/1127.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.30/1127.63 c 1106s| 3380k|366343 | 6801k| 363M| 36 | 5 | 40 | 12k| 11 | 40 | 19 | 18 |2211k|5889 | 0.000000e+00 | -- | Inf
1130.90/1131.20 c 1109s| 3390k|366978 | 6821k| 364M| 36 | 5 | 40 | 12k| 6 | 40 | 19 | 18 |2218k|5889 | 0.000000e+00 | -- | Inf
1134.70/1135.09 c 1113s| 3400k|367385 | 6841k| 364M| 36 | - | 40 | 11k| 34 | 40 | 19 | 18 |2225k|5889 | 0.000000e+00 | -- | Inf
1138.30/1138.68 c 1117s| 3410k|368127 | 6860k| 365M| 36 | 5 | 40 | 12k| 17 | 40 | 19 | 18 |2231k|5889 | 0.000000e+00 | -- | Inf
1141.20/1141.59 c 1120s| 3420k|369334 | 6880k| 367M| 36 | - | 40 | 14k| 46 | 0 | 0 | 18 |2238k|5889 | 0.000000e+00 | -- | Inf
1144.60/1144.98 c 1123s| 3430k|370476 | 6901k| 368M| 36 | - | 40 | 15k| 34 | 40 | 19 | 18 |2244k|5889 | 0.000000e+00 | -- | Inf
1148.80/1149.11 c 1127s| 3440k|371199 | 6921k| 369M| 36 | 5 | 40 | 14k| 36 | 40 | 19 | 18 |2251k|5889 | 0.000000e+00 | -- | Inf
1152.51/1152.80 c 1131s| 3450k|372068 | 6942k| 370M| 36 | - | 40 | 15k| 14 | 40 | 19 | 18 |2258k|5889 | 0.000000e+00 | -- | Inf
1156.50/1156.83 c 1134s| 3460k|372808 | 6964k| 371M| 36 | 5 | 40 | 14k| 38 | 40 | 19 | 18 |2265k|5889 | 0.000000e+00 | -- | Inf
1160.60/1160.99 c 1139s| 3470k|373491 | 6984k| 372M| 36 | 5 | 40 | 13k| 64 | 40 | 19 | 18 |2272k|5889 | 0.000000e+00 | -- | Inf
1164.40/1164.75 c 1142s| 3480k|374212 | 7004k| 373M| 36 | 5 | 40 | 14k| 23 | 40 | 19 | 18 |2279k|5889 | 0.000000e+00 | -- | Inf
1168.19/1168.59 c 1146s| 3490k|375034 | 7024k| 374M| 36 | 5 | 40 | 14k| 16 | 40 | 19 | 18 |2286k|5889 | 0.000000e+00 | -- | Inf
1171.50/1171.82 c 1149s| 3500k|376577 | 7045k| 375M| 36 | - | 40 | 15k| 8 | 0 | 0 | 18 |2292k|5889 | 0.000000e+00 | -- | Inf
1175.29/1175.66 c 1153s| 3510k|377570 | 7066k| 376M| 36 | - | 40 | 16k| 11 | 40 | 19 | 18 |2299k|5889 | 0.000000e+00 | -- | Inf
1178.59/1178.93 c 1156s| 3520k|379392 | 7086k| 378M| 36 | 5 | 40 | 17k| 43 | 40 | 19 | 18 |2305k|5889 | 0.000000e+00 | -- | Inf
1182.60/1182.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.60/1182.93 c 1160s| 3530k|380418 | 7107k| 380M| 36 | 5 | 40 | 18k| 23 | 40 | 19 | 18 |2311k|5889 | 0.000000e+00 | -- | Inf
1187.00/1187.32 c 1164s| 3540k|381122 | 7127k| 381M| 36 | - | 40 | 18k| 35 | 40 | 19 | 18 |2318k|5889 | 0.000000e+00 | -- | Inf
1192.00/1192.35 c 1169s| 3550k|381758 | 7147k| 381M| 36 | 5 | 40 | 16k| 841 | 40 | 19 | 18 |2325k|5889 | 0.000000e+00 | -- | Inf
1196.09/1196.40 c 1173s| 3560k|382677 | 7168k| 382M| 36 | 5 | 40 | 16k| 930 | 40 | 19 | 18 |2332k|5889 | 0.000000e+00 | -- | Inf
1199.59/1199.98 c 1177s| 3570k|383694 | 7188k| 384M| 36 | 5 | 40 | 18k| 75 | 40 | 19 | 18 |2338k|5889 | 0.000000e+00 | -- | Inf
1203.69/1204.05 c 1181s| 3580k|384794 | 7208k| 385M| 36 | - | 40 | 18k| 19 | 40 | 19 | 18 |2345k|5889 | 0.000000e+00 | -- | Inf
1207.79/1208.15 c 1185s| 3590k|385779 | 7229k| 386M| 36 | 5 | 40 | 19k| 62 | 40 | 19 | 18 |2352k|5889 | 0.000000e+00 | -- | Inf
1213.19/1213.56 c 1190s| 3600k|386242 | 7249k| 385M| 36 | 5 | 40 | 14k| 127 | 40 | 19 | 18 |2359k|5889 | 0.000000e+00 | -- | Inf
1217.49/1217.80 c 1194s| 3610k|386762 | 7269k| 386M| 36 | - | 40 | 14k| 18 | 40 | 19 | 18 |2366k|5889 | 0.000000e+00 | -- | Inf
1220.59/1220.95 c 1198s| 3620k|388596 | 7289k| 388M| 36 | - | 40 | 16k| 152 | 40 | 19 | 18 |2372k|5889 | 0.000000e+00 | -- | Inf
1224.48/1224.80 c 1201s| 3630k|389803 | 7309k| 389M| 36 | 5 | 40 | 17k| 17 | 40 | 19 | 18 |2378k|5889 | 0.000000e+00 | -- | Inf
1228.69/1229.06 c 1206s| 3640k|390691 | 7329k| 391M| 36 | 5 | 40 | 18k| 7 | 40 | 19 | 18 |2385k|5889 | 0.000000e+00 | -- | Inf
1233.89/1234.27 c 1211s| 3650k|391064 | 7350k| 391M| 36 | - | 40 | 16k| 131 | 0 | 0 | 18 |2392k|5889 | 0.000000e+00 | -- | Inf
1238.49/1238.80 c 1215s| 3660k|391601 | 7370k| 391M| 36 | - | 40 | 14k| 27 | 40 | 19 | 18 |2399k|5889 | 0.000000e+00 | -- | Inf
1243.70/1244.05 c 1220s| 3670k|391883 | 7389k| 391M| 36 | 5 | 40 | 11k| 14 | 40 | 19 | 18 |2406k|5889 | 0.000000e+00 | -- | Inf
1248.10/1248.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1248.10/1248.42 c 1225s| 3680k|392206 | 7409k| 391M| 36 | 5 | 40 |9376 | 32 | 40 | 19 | 18 |2413k|5889 | 0.000000e+00 | -- | Inf
1251.89/1252.20 c 1228s| 3690k|392714 | 7429k| 391M| 36 | 5 | 40 |9116 | 100 | 40 | 19 | 18 |2420k|5889 | 0.000000e+00 | -- | Inf
1254.59/1254.90 c 1231s| 3700k|394432 | 7449k| 393M| 36 | - | 40 | 10k| 127 | 40 | 19 | 18 |2427k|5889 | 0.000000e+00 | -- | Inf
1257.79/1258.13 c 1234s| 3710k|395289 | 7469k| 394M| 36 | 5 | 40 | 11k| 29 | 40 | 19 | 18 |2433k|5889 | 0.000000e+00 | -- | Inf
1261.88/1262.23 c 1238s| 3720k|395997 | 7489k| 395M| 36 | 5 | 40 | 11k| 6 | 40 | 19 | 18 |2440k|5889 | 0.000000e+00 | -- | Inf
1265.88/1266.22 c 1242s| 3730k|396438 | 7508k| 396M| 36 | 5 | 40 | 10k| 10 | 40 | 19 | 18 |2447k|5889 | 0.000000e+00 | -- | Inf
1269.78/1270.15 c 1246s| 3740k|397034 | 7528k| 396M| 36 | - | 40 |9263 | 29 | 0 | 0 | 18 |2454k|5889 | 0.000000e+00 | -- | Inf
1273.48/1273.84 c 1250s| 3750k|397553 | 7548k| 397M| 36 | 5 | 40 |9005 | 51 | 40 | 19 | 18 |2461k|5889 | 0.000000e+00 | -- | Inf
1276.18/1276.57 c 1252s| 3760k|398693 | 7568k| 398M| 36 | - | 40 | 10k| 10 | 40 | 19 | 18 |2467k|5889 | 0.000000e+00 | -- | Inf
1279.99/1280.34 c 1256s| 3770k|399138 | 7587k| 399M| 36 | - | 40 |9620 | 35 | 40 | 19 | 18 |2474k|5889 | 0.000000e+00 | -- | Inf
1284.08/1284.42 c 1260s| 3780k|399440 | 7607k| 399M| 36 | 5 | 40 |9029 | 110 | 40 | 19 | 18 |2481k|5889 | 0.000000e+00 | -- | Inf
1287.98/1288.39 c 1264s| 3790k|399753 | 7627k| 400M| 36 | 5 | 40 |8771 | 205 | 40 | 19 | 18 |2489k|5889 | 0.000000e+00 | -- | Inf
1291.48/1291.87 c 1267s| 3800k|400319 | 7647k| 400M| 36 | - | 40 |9105 | 7 | 40 | 19 | 18 |2496k|5889 | 0.000000e+00 | -- | Inf
1294.78/1295.17 c 1271s| 3810k|400956 | 7667k| 401M| 36 | - | 40 |9232 | 8 | 40 | 19 | 18 |2503k|5889 | 0.000000e+00 | -- | Inf
1297.47/1297.85 c 1273s| 3820k|402342 | 7688k| 403M| 36 | - | 40 | 11k| 9 | 40 | 19 | 18 |2509k|5889 | 0.000000e+00 | -- | Inf
1300.77/1301.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1300.77/1301.19 c 1276s| 3830k|403075 | 7709k| 404M| 36 | 5 | 40 | 13k| 245 | 40 | 19 | 18 |2516k|5889 | 0.000000e+00 | -- | Inf
1304.77/1305.19 c 1280s| 3840k|403769 | 7729k| 405M| 36 | - | 40 | 12k| 25 | 40 | 19 | 18 |2523k|5889 | 0.000000e+00 | -- | Inf
1308.58/1308.92 c 1284s| 3850k|404598 | 7748k| 406M| 36 | 5 | 40 | 12k| 16 | 40 | 19 | 18 |2530k|5889 | 0.000000e+00 | -- | Inf
1312.77/1313.16 c 1288s| 3860k|405135 | 7768k| 406M| 36 | - | 40 | 10k| 15 | 40 | 19 | 18 |2536k|5889 | 0.000000e+00 | -- | Inf
1316.97/1317.36 c 1292s| 3870k|405428 | 7788k| 406M| 36 | 5 | 40 |8373 | 13 | 40 | 19 | 18 |2544k|5889 | 0.000000e+00 | -- | Inf
1319.96/1320.35 c 1295s| 3880k|406280 | 7808k| 408M| 36 | - | 40 |9781 | 9 | 40 | 19 | 18 |2550k|5889 | 0.000000e+00 | -- | Inf
1323.66/1324.04 c 1299s| 3890k|406681 | 7828k| 408M| 36 | 5 | 40 |8457 | 9 | 40 | 19 | 18 |2557k|5889 | 0.000000e+00 | -- | Inf
1326.85/1327.26 c 1302s| 3900k|407411 | 7847k| 409M| 36 | - | 40 |8840 | 16 | 40 | 19 | 18 |2564k|5889 | 0.000000e+00 | -- | Inf
1330.35/1330.72 c 1305s| 3910k|407905 | 7867k| 410M| 36 | - | 40 |9057 | 15 | 40 | 19 | 18 |2571k|5889 | 0.000000e+00 | -- | Inf
1333.05/1333.49 c 1308s| 3920k|408880 | 7887k| 411M| 36 | 5 | 40 | 11k| 9 | 40 | 19 | 18 |2578k|5889 | 0.000000e+00 | -- | Inf
1335.85/1336.26 c 1311s| 3930k|410159 | 7906k| 413M| 36 | 5 | 40 | 13k| 6 | 40 | 19 | 18 |2584k|5889 | 0.000000e+00 | -- | Inf
1339.15/1339.50 c 1314s| 3940k|410932 | 7924k| 414M| 36 | 5 | 40 | 12k| 32 | 40 | 19 | 18 |2590k|5889 | 0.000000e+00 | -- | Inf
1343.14/1343.57 c 1318s| 3950k|411438 | 7943k| 414M| 36 | 5 | 40 | 10k| 61 | 40 | 19 | 18 |2597k|5889 | 0.000000e+00 | -- | Inf
1346.24/1346.63 c 1321s| 3960k|412216 | 7965k| 415M| 36 | - | 40 | 12k| 5 | 0 | 0 | 18 |2604k|5889 | 0.000000e+00 | -- | Inf
1350.84/1351.25 c 1325s| 3970k|412401 | 7985k| 415M| 36 | - | 40 |8618 | 126 | 40 | 19 | 18 |2612k|5889 | 0.000000e+00 | -- | Inf
1354.54/1354.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.54/1354.95 c 1329s| 3980k|412685 | 8005k| 415M| 36 | - | 40 |7800 | 251 | 40 | 19 | 18 |2619k|5889 | 0.000000e+00 | -- | Inf
1357.53/1357.99 c 1332s| 3990k|413405 | 8025k| 416M| 36 | - | 40 |9557 | 47 | 0 | 0 | 18 |2626k|5897 | 0.000000e+00 | -- | Inf
1361.83/1362.21 c 1336s| 4000k|413398 | 8045k| 416M| 36 | 5 | 40 |7834 | 22 | 40 | 19 | 18 |2633k|5898 | 0.000000e+00 | -- | Inf
1365.23/1365.64 c 1340s| 4010k|413733 | 8065k| 417M| 36 | - | 40 |8083 | 32 | 40 | 19 | 18 |2640k|5907 | 0.000000e+00 | -- | Inf
1368.63/1369.04 c 1343s| 4020k|414179 | 8085k| 418M| 36 | 5 | 40 |8666 | 623 | 40 | 19 | 18 |2648k|5913 | 0.000000e+00 | -- | Inf
1371.73/1372.14 c 1346s| 4030k|414888 | 8106k| 419M| 36 | - | 40 | 10k| 300 | 40 | 19 | 18 |2655k|5923 | 0.000000e+00 | -- | Inf
1375.23/1375.69 c 1349s| 4040k|415359 | 8125k| 419M| 36 | - | 40 |9136 | 23 | 40 | 19 | 18 |2661k|5934 | 0.000000e+00 | -- | Inf
1378.61/1379.02 c 1353s| 4050k|415918 | 8145k| 420M| 36 | 5 | 40 |8942 | 11 | 40 | 19 | 18 |2668k|5938 | 0.000000e+00 | -- | Inf
1382.01/1382.46 c 1356s| 4060k|416253 | 8165k| 421M| 36 | - | 40 |9814 | 7 | 40 | 19 | 18 |2676k|5949 | 0.000000e+00 | -- | Inf
1385.72/1386.16 c 1360s| 4070k|416623 | 8185k| 422M| 36 | 5 | 40 | 10k| 59 | 40 | 19 | 18 |2683k|5954 | 0.000000e+00 | -- | Inf
1389.52/1389.95 c 1363s| 4080k|416950 | 8205k| 422M| 36 | - | 40 |9465 | 291 | 40 | 19 | 18 |2690k|5962 | 0.000000e+00 | -- | Inf
1392.91/1393.33 c 1367s| 4090k|417488 | 8225k| 423M| 36 | - | 40 | 10k| 11 | 40 | 19 | 18 |2697k|5971 | 0.000000e+00 | -- | Inf
1396.81/1397.28 c 1371s| 4100k|417676 | 8245k| 423M| 36 | 5 | 40 |8773 | 5 | 40 | 19 | 18 |2705k|5976 | 0.000000e+00 | -- | Inf
1400.12/1400.59 c 1374s| 4110k|418212 | 8265k| 424M| 36 | - | 40 |9744 | 29 | 40 | 19 | 18 |2712k|5982 | 0.000000e+00 | -- | Inf
1403.42/1403.86 c 1377s| 4120k|419257 | 8285k| 425M| 36 | - | 40 | 10k| 7 | 40 | 19 | 18 |2718k|5986 | 0.000000e+00 | -- | Inf
1406.11/1406.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1406.11/1406.57 c 1380s| 4130k|420233 | 8304k| 427M| 36 | 5 | 40 | 11k| 29 | 40 | 19 | 18 |2725k|5988 | 0.000000e+00 | -- | Inf
1409.61/1410.09 c 1383s| 4140k|420660 | 8324k| 427M| 36 | 5 | 40 | 10k| 315 | 40 | 19 | 18 |2731k|5991 | 0.000000e+00 | -- | Inf
1413.31/1413.75 c 1387s| 4150k|421271 | 8344k| 428M| 36 | - | 40 | 10k| 18 | 40 | 19 | 18 |2738k|6001 | 0.000000e+00 | -- | Inf
1417.11/1417.55 c 1390s| 4160k|421518 | 8364k| 428M| 36 | - | 40 |8297 | 17 | 40 | 19 | 18 |2746k|6004 | 0.000000e+00 | -- | Inf
1420.82/1421.25 c 1394s| 4170k|421743 | 8384k| 428M| 36 | 5 | 40 |7955 | 35 | 40 | 19 | 18 |2753k|6006 | 0.000000e+00 | -- | Inf
1424.21/1424.62 c 1397s| 4180k|422079 | 8404k| 429M| 36 | 5 | 40 |8035 | 148 | 40 | 19 | 18 |2760k|6008 | 0.000000e+00 | -- | Inf
1427.51/1427.92 c 1401s| 4190k|422461 | 8423k| 430M| 36 | - | 40 |8292 | 8 | 40 | 19 | 18 |2767k|6008 | 0.000000e+00 | -- | Inf
1430.80/1431.28 c 1404s| 4200k|422768 | 8444k| 430M| 36 | 5 | 40 |9220 | 25 | 40 | 19 | 18 |2775k|6012 | 0.000000e+00 | -- | Inf
1434.11/1434.52 c 1407s| 4210k|423322 | 8463k| 431M| 36 | 5 | 40 |9777 | 18 | 40 | 19 | 18 |2782k|6018 | 0.000000e+00 | -- | Inf
1437.80/1438.25 c 1411s| 4220k|423668 | 8484k| 432M| 36 | - | 40 |8662 | 11 | 0 | 0 | 18 |2789k|6024 | 0.000000e+00 | -- | Inf
1440.40/1440.89 c 1413s| 4230k|424791 | 8503k| 433M| 36 | 5 | 40 | 11k| 931 | 40 | 19 | 18 |2795k|6028 | 0.000000e+00 | -- | Inf
1443.50/1443.97 c 1416s| 4240k|425709 | 8523k| 435M| 36 | 5 | 40 | 12k| 37 | 40 | 19 | 18 |2802k|6036 | 0.000000e+00 | -- | Inf
1447.22/1447.69 c 1420s| 4250k|426280 | 8543k| 435M| 36 | 5 | 40 | 11k| 13 | 40 | 19 | 18 |2808k|6043 | 0.000000e+00 | -- | Inf
1451.40/1451.89 c 1424s| 4260k|426454 | 8564k| 435M| 36 | 5 | 40 |9217 | 25 | 40 | 19 | 18 |2816k|6043 | 0.000000e+00 | -- | Inf
1454.31/1454.78 c 1427s| 4270k|427288 | 8583k| 437M| 36 | - | 40 | 11k| 21 | 40 | 19 | 18 |2823k|6047 | 0.000000e+00 | -- | Inf
1457.31/1457.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.31/1457.77 c 1430s| 4280k|428277 | 8603k| 438M| 36 | - | 40 | 12k| 58 | 0 | 0 | 18 |2829k|6059 | 0.000000e+00 | -- | Inf
1461.41/1461.84 c 1434s| 4290k|428668 | 8622k| 438M| 36 | - | 40 | 10k| 329 | 40 | 19 | 18 |2836k|6064 | 0.000000e+00 | -- | Inf
1465.60/1466.05 c 1438s| 4300k|428814 | 8642k| 438M| 36 | 5 | 40 |8013 | 18 | 40 | 19 | 18 |2843k|6074 | 0.000000e+00 | -- | Inf
1469.00/1469.49 c 1441s| 4310k|429263 | 8662k| 439M| 36 | 5 | 40 |9109 | 76 | 40 | 19 | 18 |2850k|6079 | 0.000000e+00 | -- | Inf
1472.51/1472.92 c 1445s| 4320k|429872 | 8682k| 440M| 36 | - | 40 |9017 | 16 | 40 | 19 | 18 |2857k|6085 | 0.000000e+00 | -- | Inf
1476.10/1476.52 c 1448s| 4330k|430110 | 8703k| 440M| 36 | - | 40 |9711 | 459 | 40 | 19 | 18 |2865k|6092 | 0.000000e+00 | -- | Inf
1480.11/1480.54 c 1452s| 4340k|430228 | 8723k| 440M| 36 | - | 40 |8609 | 8 | 40 | 19 | 18 |2872k|6105 | 0.000000e+00 | -- | Inf
1482.80/1483.24 c 1455s| 4350k|431206 | 8743k| 442M| 36 | 5 | 40 |9837 | 388 | 40 | 19 | 18 |2879k|6114 | 0.000000e+00 | -- | Inf
1486.30/1486.71 c 1458s| 4360k|431561 | 8762k| 442M| 36 | - | 40 |8953 | 82 | 40 | 19 | 18 |2886k|6118 | 0.000000e+00 | -- | Inf
1489.80/1490.21 c 1462s| 4370k|432060 | 8782k| 443M| 36 | 5 | 40 |9262 | 44 | 40 | 19 | 18 |2893k|6123 | 0.000000e+00 | -- | Inf
1492.90/1493.35 c 1465s| 4380k|432845 | 8802k| 444M| 36 | 5 | 40 | 10k| 112 | 40 | 19 | 18 |2899k|6130 | 0.000000e+00 | -- | Inf
1495.61/1496.07 c 1467s| 4390k|434124 | 8822k| 446M| 36 | 5 | 40 | 13k| 153 | 40 | 19 | 18 |2906k|6135 | 0.000000e+00 | -- | Inf
1498.80/1499.27 c 1471s| 4400k|434790 | 8842k| 448M| 36 | 5 | 40 | 16k| 8 | 40 | 19 | 18 |2913k|6139 | 0.000000e+00 | -- | Inf
1503.30/1503.77 c 1475s| 4410k|435393 | 8863k| 448M| 36 | 5 | 40 | 14k| 50 | 40 | 19 | 18 |2920k|6148 | 0.000000e+00 | -- | Inf
1507.30/1507.76 c 1479s| 4420k|436197 | 8882k| 449M| 36 | 5 | 40 | 13k| 10 | 40 | 19 | 18 |2927k|6153 | 0.000000e+00 | -- | Inf
1512.20/1512.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1512.20/1512.63 c 1484s| 4430k|436463 | 8902k| 448M| 36 | 5 | 40 |9680 | 23 | 40 | 19 | 18 |2934k|6163 | 0.000000e+00 | -- | Inf
1515.69/1516.16 c 1487s| 4440k|437082 | 8922k| 449M| 36 | 5 | 40 | 10k| 13 | 40 | 19 | 18 |2941k|6168 | 0.000000e+00 | -- | Inf
1519.30/1519.75 c 1491s| 4450k|437796 | 8942k| 450M| 36 | 5 | 40 | 10k| 12 | 40 | 19 | 18 |2948k|6175 | 0.000000e+00 | -- | Inf
1523.00/1523.45 c 1494s| 4460k|438282 | 8963k| 451M| 36 | 5 | 40 | 10k| 146 | 40 | 19 | 18 |2955k|6184 | 0.000000e+00 | -- | Inf
1526.80/1527.21 c 1498s| 4470k|438977 | 8983k| 452M| 36 | 5 | 40 | 10k| 79 | 40 | 19 | 18 |2962k|6194 | 0.000000e+00 | -- | Inf
1529.79/1530.26 c 1501s| 4480k|439868 | 9004k| 453M| 36 | - | 40 | 12k| 103 | 40 | 19 | 18 |2969k|6197 | 0.000000e+00 | -- | Inf
1534.39/1534.83 c 1505s| 4490k|440127 | 9024k| 453M| 36 | 5 | 40 | 10k| 107 | 40 | 19 | 18 |2976k|6204 | 0.000000e+00 | -- | Inf
1538.30/1538.70 c 1509s| 4500k|440583 | 9044k| 454M| 36 | - | 40 | 10k| 65 | 40 | 19 | 18 |2983k|6206 | 0.000000e+00 | -- | Inf
1540.89/1541.39 c 1512s| 4510k|442138 | 9064k| 456M| 36 | 5 | 40 | 11k| 214 | 40 | 19 | 18 |2989k|6207 | 0.000000e+00 | -- | Inf
1544.09/1544.54 c 1515s| 4520k|442813 | 9084k| 457M| 36 | 5 | 40 | 12k| 40 | 40 | 19 | 18 |2996k|6207 | 0.000000e+00 | -- | Inf
1548.30/1548.76 c 1519s| 4530k|443296 | 9104k| 457M| 36 | - | 40 | 11k| 19 | 40 | 19 | 18 |3003k|6207 | 0.000000e+00 | -- | Inf
1552.80/1553.24 c 1524s| 4540k|443478 | 9124k| 457M| 36 | - | 40 | 10k| 32 | 40 | 19 | 18 |3010k|6207 | 0.000000e+00 | -- | Inf
1556.79/1557.20 c 1527s| 4550k|443930 | 9144k| 458M| 36 | - | 40 |9515 | 12 | 40 | 19 | 18 |3017k|6207 | 0.000000e+00 | -- | Inf
1560.69/1561.11 c 1531s| 4560k|444285 | 9163k| 459M| 36 | - | 40 | 10k| 11 | 40 | 19 | 18 |3024k|6207 | 0.000000e+00 | -- | Inf
1564.19/1564.63 c 1535s| 4570k|445077 | 9183k| 460M| 36 | 5 | 40 | 10k| 36 | 40 | 19 | 18 |3031k|6207 | 0.000000e+00 | -- | Inf
1567.59/1568.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1567.59/1568.06 c 1538s| 4580k|445670 | 9203k| 461M| 36 | 5 | 40 | 11k| 137 | 40 | 19 | 18 |3038k|6207 | 0.000000e+00 | -- | Inf
1571.08/1571.54 c 1541s| 4590k|446496 | 9223k| 462M| 36 | - | 40 | 12k| 8 | 40 | 19 | 18 |3045k|6207 | 0.000000e+00 | -- | Inf
1575.39/1575.85 c 1546s| 4600k|447023 | 9244k| 462M| 36 | 5 | 40 | 10k| 207 | 40 | 19 | 18 |3052k|6207 | 0.000000e+00 | -- | Inf
1579.69/1580.14 c 1550s| 4610k|447323 | 9263k| 462M| 36 | 5 | 40 |9441 | 7 | 40 | 19 | 18 |3059k|6207 | 0.000000e+00 | -- | Inf
1583.38/1583.88 c 1554s| 4620k|447854 | 9284k| 463M| 36 | - | 40 |9969 | 17 | 40 | 19 | 18 |3066k|6207 | 0.000000e+00 | -- | Inf
1587.09/1587.54 c 1557s| 4630k|448315 | 9304k| 464M| 36 | 5 | 40 | 10k| 10 | 40 | 19 | 18 |3073k|6207 | 0.000000e+00 | -- | Inf
1590.88/1591.35 c 1561s| 4640k|448850 | 9324k| 464M| 36 | 5 | 40 |9262 | 79 | 40 | 19 | 18 |3080k|6207 | 0.000000e+00 | -- | Inf
1594.09/1594.57 c 1564s| 4650k|449615 | 9342k| 466M| 36 | 5 | 40 | 11k| 64 | 40 | 19 | 18 |3087k|6207 | 0.000000e+00 | -- | Inf
1598.28/1598.73 c 1568s| 4660k|449941 | 9362k| 466M| 36 | - | 40 |8464 | 135 | 40 | 19 | 18 |3094k|6207 | 0.000000e+00 | -- | Inf
1601.48/1601.97 c 1571s| 4670k|450500 | 9382k| 467M| 36 | - | 40 |9589 | 6 | 0 | 0 | 18 |3101k|6207 | 0.000000e+00 | -- | Inf
1604.98/1605.47 c 1575s| 4680k|450968 | 9401k| 467M| 36 | - | 40 | 10k| 15 | 40 | 19 | 18 |3108k|6207 | 0.000000e+00 | -- | Inf
1607.78/1608.27 c 1578s| 4690k|452174 | 9422k| 469M| 36 | 5 | 40 | 11k| 120 | 40 | 19 | 18 |3114k|6207 | 0.000000e+00 | -- | Inf
1611.88/1612.32 c 1581s| 4700k|452498 | 9443k| 469M| 36 | 5 | 40 |9743 | 85 | 40 | 19 | 18 |3121k|6207 | 0.000000e+00 | -- | Inf
1615.58/1616.00 c 1585s| 4710k|452994 | 9462k| 470M| 36 | 5 | 40 | 10k|1276 | 40 | 19 | 18 |3128k|6207 | 0.000000e+00 | -- | Inf
1619.28/1619.77 c 1589s| 4720k|453574 | 9482k| 471M| 36 | 5 | 40 |9783 | 19 | 40 | 19 | 18 |3135k|6207 | 0.000000e+00 | -- | Inf
1621.98/1622.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.98/1622.46 c 1591s| 4730k|454879 | 9502k| 472M| 36 | - | 40 | 12k| 44 | 40 | 19 | 18 |3142k|6207 | 0.000000e+00 | -- | Inf
1625.98/1626.41 c 1595s| 4740k|455306 | 9523k| 473M| 36 | 5 | 40 | 11k| 8 | 40 | 19 | 18 |3149k|6207 | 0.000000e+00 | -- | Inf
1629.97/1630.41 c 1599s| 4750k|455855 | 9543k| 474M| 36 | 5 | 40 | 11k| 297 | 40 | 19 | 18 |3156k|6207 | 0.000000e+00 | -- | Inf
1634.78/1635.20 c 1604s| 4760k|455908 | 9563k| 474M| 36 | - | 40 |9658 | 93 | 40 | 19 | 18 |3163k|6207 | 0.000000e+00 | -- | Inf
1638.98/1639.46 c 1608s| 4770k|456125 | 9583k| 474M| 36 | - | 40 |9425 | 12 | 40 | 19 | 18 |3171k|6207 | 0.000000e+00 | -- | Inf
1642.28/1642.76 c 1611s| 4780k|456862 | 9602k| 475M| 36 | 5 | 40 | 11k| 219 | 40 | 19 | 18 |3177k|6207 | 0.000000e+00 | -- | Inf
1646.68/1647.10 c 1616s| 4790k|457230 | 9622k| 475M| 36 | 5 | 40 |9708 | 120 | 40 | 19 | 18 |3185k|6207 | 0.000000e+00 | -- | Inf
1649.98/1650.42 c 1619s| 4800k|457961 | 9641k| 477M| 36 | - | 40 | 10k| 64 | 40 | 19 | 18 |3191k|6207 | 0.000000e+00 | -- | Inf
1653.38/1653.89 c 1622s| 4810k|458384 | 9661k| 478M| 36 | 5 | 40 | 11k| 52 | 40 | 19 | 18 |3198k|6207 | 0.000000e+00 | -- | Inf
1656.68/1657.17 c 1626s| 4820k|459304 | 9680k| 479M| 36 | - | 40 | 13k| 49 | 40 | 19 | 18 |3205k|6207 | 0.000000e+00 | -- | Inf
1661.27/1661.72 c 1630s| 4830k|459728 | 9700k| 479M| 36 | - | 40 | 11k| 19 | 0 | 0 | 18 |3212k|6207 | 0.000000e+00 | -- | Inf
1665.47/1665.98 c 1634s| 4840k|460084 | 9720k| 479M| 36 | 5 | 40 | 10k| 54 | 40 | 19 | 18 |3219k|6207 | 0.000000e+00 | -- | Inf
1669.87/1670.31 c 1638s| 4850k|460343 | 9740k| 480M| 36 | - | 40 |9567 | 12 | 40 | 19 | 18 |3226k|6207 | 0.000000e+00 | -- | Inf
1673.27/1673.78 c 1642s| 4860k|461101 | 9759k| 481M| 36 | 5 | 40 | 10k| 88 | 40 | 19 | 18 |3233k|6207 | 0.000000e+00 | -- | Inf
1676.77/1677.20 c 1645s| 4870k|461910 | 9779k| 482M| 36 | - | 40 | 10k| 84 | 40 | 19 | 18 |3240k|6207 | 0.000000e+00 | -- | Inf
1680.47/1680.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.47/1680.94 c 1649s| 4880k|462270 | 9799k| 482M| 36 | - | 40 | 10k| 37 | 40 | 19 | 18 |3247k|6207 | 0.000000e+00 | -- | Inf
1684.57/1685.00 c 1653s| 4890k|462629 | 9818k| 483M| 36 | 5 | 40 |9636 | 11 | 40 | 19 | 18 |3254k|6207 | 0.000000e+00 | -- | Inf
1688.37/1688.81 c 1657s| 4900k|463095 | 9838k| 483M| 36 | - | 40 |9476 | 13 | 0 | 0 | 18 |3261k|6207 | 0.000000e+00 | -- | Inf
1692.37/1692.83 c 1661s| 4910k|463328 | 9858k| 484M| 36 | - | 40 |9386 | 10 | 40 | 19 | 18 |3269k|6207 | 0.000000e+00 | -- | Inf
1695.77/1696.25 c 1664s| 4920k|464304 | 9878k| 485M| 36 | - | 40 | 10k| 126 | 40 | 19 | 18 |3275k|6207 | 0.000000e+00 | -- | Inf
1698.37/1698.89 c 1666s| 4930k|465681 | 9897k| 486M| 36 | 5 | 40 | 11k| 30 | 40 | 19 | 18 |3281k|6207 | 0.000000e+00 | -- | Inf
1701.57/1702.05 c 1670s| 4940k|466339 | 9917k| 487M| 36 | - | 40 | 11k| 5 | 0 | 0 | 18 |3288k|6207 | 0.000000e+00 | -- | Inf
1704.77/1705.21 c 1673s| 4950k|467003 | 9936k| 488M| 36 | - | 40 | 12k| 51 | 0 | 0 | 18 |3295k|6207 | 0.000000e+00 | -- | Inf
1708.87/1709.32 c 1677s| 4960k|467291 | 9955k| 488M| 36 | 5 | 40 | 10k| 94 | 40 | 19 | 18 |3302k|6207 | 0.000000e+00 | -- | Inf
1713.47/1713.99 c 1681s| 4970k|467275 | 9975k| 488M| 36 | 5 | 40 |8646 | 80 | 40 | 19 | 18 |3310k|6207 | 0.000000e+00 | -- | Inf
1716.96/1717.43 c 1685s| 4980k|467774 | 9995k| 489M| 36 | - | 40 |9565 | 17 | 40 | 19 | 18 |3317k|6207 | 0.000000e+00 | -- | Inf
1720.87/1721.39 c 1689s| 4990k|468197 | 10015k| 489M| 36 | 5 | 40 |8139 | 28 | 40 | 19 | 18 |3324k|6207 | 0.000000e+00 | -- | Inf
1723.57/1724.02 c 1691s| 5000k|469316 | 10036k| 491M| 36 | - | 40 | 10k| 19 | 40 | 19 | 18 |3331k|6207 | 0.000000e+00 | -- | Inf
1726.87/1727.33 c 1694s| 5010k|469748 | 10056k| 492M| 36 | - | 40 | 10k| 7 | 0 | 0 | 18 |3338k|6207 | 0.000000e+00 | -- | Inf
1730.97/1731.47 c 1698s| 5020k|470071 | 10075k| 492M| 36 | 5 | 40 |9748 | 8 | 40 | 19 | 18 |3345k|6207 | 0.000000e+00 | -- | Inf
1734.17/1734.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1734.17/1734.70 c 1702s| 5030k|470960 | 10095k| 494M| 36 | - | 40 | 10k| 9 | 40 | 19 | 18 |3352k|6207 | 0.000000e+00 | -- | Inf
1737.36/1737.86 c 1705s| 5040k|471552 | 10115k| 495M| 36 | 5 | 40 | 12k| 43 | 40 | 19 | 18 |3359k|6207 | 0.000000e+00 | -- | Inf
1742.26/1742.77 c 1709s| 5050k|471675 | 10135k| 495M| 36 | 5 | 40 | 10k| 11 | 40 | 19 | 18 |3366k|6207 | 0.000000e+00 | -- | Inf
1746.46/1746.91 c 1714s| 5060k|471968 | 10155k| 495M| 36 | 5 | 40 | 10k| 25 | 40 | 19 | 18 |3373k|6207 | 0.000000e+00 | -- | Inf
1750.56/1751.01 c 1718s| 5070k|472312 | 10174k| 496M| 36 | - | 40 | 10k| 45 | 0 | 0 | 18 |3380k|6210 | 0.000000e+00 | -- | Inf
1754.56/1755.07 c 1722s| 5080k|472609 | 10194k| 496M| 36 | 5 | 40 |9162 | 32 | 40 | 19 | 18 |3388k|6213 | 0.000000e+00 | -- | Inf
1757.95/1758.42 c 1725s| 5090k|473268 | 10214k| 497M| 36 | 5 | 40 | 10k| 107 | 40 | 19 | 18 |3395k|6220 | 0.000000e+00 | -- | Inf
1762.16/1762.69 c 1729s| 5100k|473464 | 10234k| 497M| 36 | 5 | 40 |8817 | 37 | 40 | 19 | 18 |3402k|6223 | 0.000000e+00 | -- | Inf
1766.17/1766.61 c 1733s| 5110k|473585 | 10254k| 498M| 36 | - | 40 |8719 | 86 | 40 | 19 | 18 |3409k|6228 | 0.000000e+00 | -- | Inf
1769.16/1769.64 c 1736s| 5120k|474384 | 10273k| 499M| 36 | 5 | 40 | 10k| 127 | 40 | 19 | 18 |3415k|6234 | 0.000000e+00 | -- | Inf
1773.35/1773.89 c 1740s| 5130k|474617 | 10293k| 499M| 36 | 5 | 40 |9165 | 9 | 40 | 19 | 18 |3423k|6243 | 0.000000e+00 | -- | Inf
1777.25/1777.74 c 1744s| 5140k|474837 | 10312k| 500M| 36 | - | 40 |8943 | 82 | 40 | 19 | 18 |3430k|6243 | 0.000000e+00 | -- | Inf
1780.95/1781.44 c 1747s| 5150k|475195 | 10332k| 500M| 36 | 5 | 40 |9118 | 52 | 40 | 19 | 18 |3437k|6248 | 0.000000e+00 | -- | Inf
1784.66/1785.18 c 1751s| 5160k|475539 | 10353k| 501M| 36 | 5 | 40 |9587 | 32 | 40 | 19 | 18 |3445k|6254 | 0.000000e+00 | -- | Inf
1788.45/1788.98 c 1755s| 5170k|475854 | 10372k| 502M| 36 | 5 | 40 | 10k| 76 | 40 | 19 | 18 |3452k|6260 | 0.000000e+00 | -- | Inf
1792.15/1792.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.15/1792.67 c 1758s| 5180k|476414 | 10392k| 503M| 36 | 5 | 40 | 11k| 39 | 40 | 19 | 18 |3459k|6262 | 0.000000e+00 | -- | Inf
1795.95/1796.40 c 1762s| 5190k|476843 | 10412k| 504M| 36 | - | 40 | 11k| 68 | 0 | 0 | 18 |3466k|6270 | 0.000000e+00 | -- | Inf
1799.65/1800.18 c 1766s| 5200k|477777 | 10431k| 504M| 36 | 5 | 40 | 10k| 135 | 40 | 19 | 18 |3473k|6279 | 0.000000e+00 | -- | Inf
1800.06/1800.50 c
1800.06/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.50 c Solving Time (sec) : 1766.12
1800.06/1800.50 c Solving Nodes : 5201394
1800.06/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.50 c Dual Bound : +0.00000000000000e+00
1800.06/1800.50 c Gap : infinite
1800.06/1800.50 c NODE 5201394
1800.06/1800.50 c DUAL BOUND 0
1800.06/1800.50 c PRIMAL BOUND 1e+20
1800.06/1800.50 c GAP 1e+20
1800.06/1800.50 s UNKNOWN
1800.06/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.50 c Solving Time : 1766.12
1800.06/1800.50 c Original Problem :
1800.06/1800.50 c Problem name : HOME/instance-3734983-1338706817.opb
1800.06/1800.50 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.50 c Constraints : 11 initial, 11 maximal
1800.06/1800.50 c Presolved Problem :
1800.06/1800.50 c Problem name : t_HOME/instance-3734983-1338706817.opb
1800.06/1800.50 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.50 c Constraints : 5 initial, 25426 maximal
1800.06/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.06/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.50 c linear : 0.00 0 0 0 0 0 6 0 0
1800.06/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.50 c root node : - 0 - - 0 - - - -
1800.06/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.50 c integral : 0 0 0 2970060 0 1038 2952 0 0 5932514
1800.06/1800.50 c linear : 5 6 12886853 0 0 595514 6812485 0 0 0
1800.06/1800.50 c logicor : 0+ 0 6302573 0 0 27802 2370618 0 0 0
1800.06/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.50 c integral : 16.02 0.00 0.00 16.02 0.00
1800.06/1800.50 c linear : 174.04 0.00 174.04 0.00 0.00
1800.06/1800.50 c logicor : 592.87 0.00 592.87 0.00 0.00
1800.06/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.50 c rootredcost : 2.06 0 0 0
1800.06/1800.50 c pseudoobj : 1.11 0 0 0
1800.06/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.50 c propagation : 17.09 623316 446791 1337533 28.9 114 24.0 -
1800.06/1800.50 c infeasible LP : 43.72 1846317 1846245 3552183 20.0 32087 24.8 0
1800.06/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.50 c applied globally : - - - 3445137 19.6 - - -
1800.06/1800.50 c applied locally : - - - 28869 31.4 - - -
1800.06/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.50 c cut pool : 0.00 5 - - 67 - (maximal pool size: 92)
1800.06/1800.50 c redcost : 2.71 2970063 0 0 0 0
1800.06/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.06/1800.50 c intobj : 0.00 0 0 0 0 0
1800.06/1800.50 c gomory : 0.00 6 0 0 0 0
1800.06/1800.50 c strongcg : 0.00 6 0 0 16 0
1800.06/1800.50 c cmir : 0.00 6 0 0 44 0
1800.06/1800.50 c flowcover : 0.01 6 0 0 55 0
1800.06/1800.50 c clique : 0.00 1 0 0 0 0
1800.06/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.50 c mcf : 0.00 1 0 0 0 0
1800.06/1800.50 c Pricers : Time Calls Vars
1800.06/1800.50 c problem variables: 0.00 0 0
1800.06/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.50 c relpscost : 14.67 2970060 1038 2952 0 0 5932514
1800.06/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.06/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.50 c random : 0.00 0 0 0 0 0 0
1800.06/1800.50 c Primal Heuristics : Time Calls Found
1800.06/1800.50 c LP solutions : 0.00 - 0
1800.06/1800.50 c pseudo solutions : 0.00 - 0
1800.06/1800.50 c oneopt : 0.72 0 0
1800.06/1800.50 c crossover : 0.64 0 0
1800.06/1800.50 c guideddiving : 0.17 0 0
1800.06/1800.50 c feaspump : 0.09 62 0
1800.06/1800.50 c pscostdiving : 0.17 124 0
1800.06/1800.50 c fracdiving : 0.16 124 0
1800.06/1800.50 c coefdiving : 0.15 124 0
1800.06/1800.50 c veclendiving : 0.13 124 0
1800.06/1800.50 c linesearchdiving : 0.18 124 0
1800.06/1800.50 c objpscostdiving : 0.14 63 0
1800.06/1800.50 c rootsoldiving : 0.13 63 0
1800.06/1800.50 c simplerounding : 0.76 0 0
1800.06/1800.50 c rounding : 1.01 24399 0
1800.06/1800.50 c shifting : 1.28 7335 0
1800.06/1800.50 c intshifting : 0.05 0 0
1800.06/1800.50 c fixandinfer : 0.00 0 0
1800.06/1800.50 c intdiving : 0.00 0 0
1800.06/1800.50 c actconsdiving : 0.00 0 0
1800.06/1800.50 c octane : 0.00 0 0
1800.06/1800.50 c rens : 0.01 1 0
1800.06/1800.50 c rins : 0.00 0 0
1800.06/1800.50 c localbranching : 0.00 0 0
1800.06/1800.50 c mutation : 0.00 0 0
1800.06/1800.50 c dins : 0.00 0 0
1800.06/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.50 c primal LP : 0.01 0 0 0.00 0.00
1800.06/1800.50 c dual LP : 170.16 4618734 10431364 2.26 61303.27
1800.06/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.50 c diving/probing LP: 0.08 1870 3168 1.69 39600.00
1800.06/1800.50 c strong branching : 0.55 6279 27240 4.34 49527.27
1800.06/1800.50 c (at root node) : - 19 981 51.63 -
1800.06/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.50 c B&B Tree :
1800.06/1800.50 c number of runs : 1
1800.06/1800.50 c nodes : 5201394
1800.06/1800.50 c nodes (total) : 5201394
1800.06/1800.50 c nodes left : 478018
1800.06/1800.50 c max depth : 36
1800.06/1800.50 c max depth (total): 36
1800.06/1800.50 c backtracks : 1131606 (21.8%)
1800.06/1800.50 c delayed cutoffs : 253103
1800.06/1800.50 c repropagations : 4145626 (4280377 domain reductions, 234049 cutoffs)
1800.06/1800.50 c avg switch length: 5.67
1800.06/1800.50 c switching time : 515.57
1800.06/1800.50 c Solution :
1800.06/1800.50 c Solutions found : 0 (0 improvements)
1800.06/1800.50 c Primal Bound : -
1800.06/1800.50 c Dual Bound : +0.00000000000000e+00
1800.06/1800.50 c Gap : infinite
1800.06/1800.50 c Root Dual Bound : +0.00000000000000e+00
1801.95/1802.42 c Time complete: 1801.97.
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-3734983-1338706817/watcher-3734983-1338706817 -o /tmp/evaluation-result-3734983-1338706817/solver-3734983-1338706817 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3734983-1338706817.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 2/175 26328
/proc/meminfo: memFree=23617044/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=8548 CPUtime=0 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 1474 0 0 0 0 0 0 0 20 0 1 0 336810283 8753152 1426 33554432000 4194304 7823515 140734572375104 140736022581912 4401584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 2137 1426 354 887 0 1247 0
[startup+0.074492 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 26328
/proc/meminfo: memFree=23617044/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=14824 CPUtime=0.06 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 4388 0 0 0 6 0 0 0 20 0 1 0 336810283 15179776 2893 33554432000 4194304 7823515 140734572375104 140736022581912 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 3706 2893 559 887 0 2816 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14824
[startup+0.100313 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 26328
/proc/meminfo: memFree=23617044/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=14824 CPUtime=0.08 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 4395 0 0 0 8 0 0 0 20 0 1 0 336810283 15179776 2900 33554432000 4194304 7823515 140734572375104 140736022581912 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 3706 2900 566 887 0 2816 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14824
[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 26328
/proc/meminfo: memFree=23617044/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=14824 CPUtime=0.29 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 4398 0 0 0 28 1 0 0 20 0 1 0 336810283 15179776 2903 33554432000 4194304 7823515 140734572375104 140736022581912 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 3706 2903 566 887 0 2816 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14824
[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 26328
/proc/meminfo: memFree=23617044/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=14824 CPUtime=0.69 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 4418 0 0 0 66 3 0 0 20 0 1 0 336810283 15179776 2923 33554432000 4194304 7823515 140734572375104 140736022581912 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 3706 2923 566 887 0 2816 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14824
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26329
/proc/meminfo: memFree=23605620/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=16964 CPUtime=1.49 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 4908 0 0 0 143 6 0 0 20 0 1 0 336810283 17371136 3413 33554432000 4194304 7823515 140734572375104 140734572371848 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 4241 3413 566 887 0 3351 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16964
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26329
/proc/meminfo: memFree=23602768/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=19492 CPUtime=3.09 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 5534 0 0 0 297 12 0 0 20 0 1 0 336810283 19959808 4039 33554432000 4194304 7823515 140734572375104 140734572372936 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 4873 4039 566 887 0 3983 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19492
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26329
/proc/meminfo: memFree=23597064/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=22852 CPUtime=6.28 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 6414 0 0 0 605 23 0 0 20 0 1 0 336810283 23400448 4919 33554432000 4194304 7823515 140734572375104 140734572371144 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 5713 4919 566 887 0 4823 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22852
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26329
/proc/meminfo: memFree=23581812/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=29168 CPUtime=12.69 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 7991 0 0 0 1225 44 0 0 20 0 1 0 336810283 29868032 6496 33554432000 4194304 7823515 140734572375104 140734572372936 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 7292 6496 566 887 0 6402 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29168
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26329
/proc/meminfo: memFree=23552036/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=40780 CPUtime=25.48 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 10918 0 0 0 2463 85 0 0 20 0 1 0 336810283 41758720 9423 33554432000 4194304 7823515 140734572375104 140734572372136 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 10195 9423 566 887 0 9305 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40780
[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 26352
/proc/meminfo: memFree=23535200/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=58784 CPUtime=51.08 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 15434 0 0 0 4949 159 0 0 20 0 1 0 336810283 60194816 13939 33554432000 4194304 7823515 140734572375104 140734572371848 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 14696 13939 566 887 0 13806 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 58784
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 26352
/proc/meminfo: memFree=23480608/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=89924 CPUtime=102.28 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 22821 0 0 0 9938 290 0 0 20 0 1 0 336810283 92082176 21326 33554432000 4194304 7823515 140734572375104 140734572372936 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 22481 21326 566 887 0 21591 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 89924
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 26353
/proc/meminfo: memFree=23423356/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=114508 CPUtime=162.26 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 29027 0 0 0 15809 417 0 0 20 0 1 0 336810283 117256192 27532 33554432000 4194304 7823515 140734572375104 140734572371592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 28627 27532 566 887 0 27737 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 114508
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26353
/proc/meminfo: memFree=23355184/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=143244 CPUtime=222.26 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 36199 0 0 0 21686 540 0 0 20 0 1 0 336810283 146681856 34704 33554432000 4194304 7823515 140734572375104 140734572372136 4207889 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 35811 34704 566 887 0 34921 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 143244
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26353
/proc/meminfo: memFree=23318700/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=160752 CPUtime=282.21 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 40676 0 0 0 27554 667 0 0 20 0 1 0 336810283 164610048 39544 33554432000 4194304 7823515 140734572375104 140734572372936 5102375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 40188 39544 566 887 0 39298 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 160752
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26353
/proc/meminfo: memFree=23280424/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=185468 CPUtime=342.17 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 46791 0 0 0 33427 790 0 0 20 0 1 0 336810283 189919232 45891 33554432000 4194304 7823515 140734572375104 140734572371848 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 46367 45891 566 887 0 45477 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 185468
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26353
/proc/meminfo: memFree=23242852/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=207632 CPUtime=402.16 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 52201 0 0 0 39296 920 0 0 20 0 1 0 336810283 212615168 51301 33554432000 4194304 7823515 140734572375104 140734572372936 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 51908 51301 566 887 0 51018 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 207632
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26354
/proc/meminfo: memFree=23225988/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=223684 CPUtime=462.15 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 55239 0 0 0 45186 1029 0 0 20 0 1 0 336810283 229052416 54339 33554432000 4194304 7823515 140734572375104 140734572372936 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 55921 54339 566 887 0 55031 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 223684
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26354
/proc/meminfo: memFree=23200320/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=240208 CPUtime=522.14 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 59384 0 0 0 51069 1145 0 0 20 0 1 0 336810283 245972992 58484 33554432000 4194304 7823515 140734572375104 140734572371848 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 60052 58484 566 887 0 59162 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 240208
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 26354
/proc/meminfo: memFree=23182544/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=255152 CPUtime=582.13 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 63229 0 0 0 56943 1270 0 0 20 0 1 0 336810283 261275648 62329 33554432000 4194304 7823515 140734572375104 140734572369768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 63788 62329 566 887 0 62898 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 255152
[startup+642.3 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26358
/proc/meminfo: memFree=22990316/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=358900 CPUtime=1002.02 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 89170 0 0 0 98292 1910 0 0 20 0 1 0 336810283 367513600 88787 33554432000 4194304 7823515 140734572375104 140734572371848 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 89725 88787 566 887 0 88835 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 358900
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 26358
/proc/meminfo: memFree=22960964/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=376408 CPUtime=1062.01 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 93640 0 0 0 104179 2022 0 0 20 0 1 0 336810283 385441792 93257 33554432000 4194304 7823515 140734572375104 140734572372936 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 94102 93257 566 887 0 93212 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 376408
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 26359
/proc/meminfo: memFree=22925736/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=396020 CPUtime=1122 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 98639 0 0 0 110056 2144 0 0 20 0 1 0 336810283 405524480 98256 33554432000 4194304 7823515 140734572375104 140734572372136 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 99005 98256 566 887 0 98115 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 396020
[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 26359
/proc/meminfo: memFree=22882460/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=415936 CPUtime=1181.99 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 103672 0 0 0 115949 2250 0 0 20 0 1 0 336810283 425918464 103289 33554432000 4194304 7823515 140734572375104 140734572372136 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 103984 103289 566 887 0 103094 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 415936
[startup+1242.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/176 26362
/proc/meminfo: memFree=22833224/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=427192 CPUtime=1241.98 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 106389 0 0 0 121860 2338 0 0 20 0 1 0 336810283 437444608 106006 33554432000 4194304 7823515 140734572375104 140734572372936 4240344 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 106798 106006 566 887 0 105908 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 427192
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 26362
/proc/meminfo: memFree=22791000/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=437884 CPUtime=1301.98 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 109156 0 0 0 127750 2448 0 0 20 0 1 0 336810283 448393216 108769 33554432000 4194304 7823515 140734572375104 140734572372136 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 109471 108769 566 887 0 108581 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 437884
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 26362
/proc/meminfo: memFree=22750480/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=448412 CPUtime=1361.93 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 111853 0 0 0 133631 2562 0 0 20 0 1 0 336810283 459173888 111493 33554432000 4194304 7823515 140734572375104 140734572372136 5813896 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 112103 111493 566 887 0 111213 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 448412
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 26363
/proc/meminfo: memFree=22694712/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=461664 CPUtime=1421.92 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 115264 0 0 0 139514 2678 0 0 20 0 1 0 336810283 472743936 114890 33554432000 4194304 7823515 140734572375104 140734572370440 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 115416 114890 566 887 0 114526 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 461664
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 26363
/proc/meminfo: memFree=22637184/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=473240 CPUtime=1481.9 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 118182 0 0 0 145395 2795 0 0 20 0 1 0 336810283 484597760 117808 33554432000 4194304 7823515 140734572375104 140734572372408 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 118310 117808 566 887 0 117420 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 473240
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 26364
/proc/meminfo: memFree=22585404/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=487880 CPUtime=1541.89 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 121724 0 0 0 151280 2909 0 0 20 0 1 0 336810283 499589120 121350 33554432000 4194304 7823515 140734572375104 140734572371848 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 121970 121350 566 887 0 121080 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 487880
[startup+1602.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/175 26441
/proc/meminfo: memFree=23306680/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=500664 CPUtime=1601.88 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 124964 0 0 0 157168 3020 0 0 20 0 1 0 336810283 512679936 124590 33554432000 4194304 7823515 140734572375104 140734572372936 5106728 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 125166 124590 566 887 0 124276 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 500664
[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/175 26441
/proc/meminfo: memFree=23289444/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=519420 CPUtime=1661.87 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 127665 0 0 0 163057 3130 0 0 20 0 1 0 336810283 531886080 127291 33554432000 4194304 7823515 140734572375104 140734572372936 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 129855 127291 566 887 0 128965 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 519420
[startup+1722.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/175 26442
/proc/meminfo: memFree=23275928/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=529292 CPUtime=1721.87 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 130188 0 0 0 168941 3246 0 0 20 0 1 0 336810283 541995008 129814 33554432000 4194304 7823515 140734572375104 140734572372328 5102406 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 132323 129814 566 887 0 131433 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 529292
[startup+1782.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 26442
/proc/meminfo: memFree=23258940/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=541776 CPUtime=1781.86 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 133362 0 0 0 174824 3362 0 0 20 0 1 0 336810283 554778624 132988 33554432000 4194304 7823515 140734572375104 140734572371880 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 135444 132988 566 887 0 134554 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 541776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 26445
/proc/meminfo: memFree=23254344/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=547280 CPUtime=1800.06 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 134757 0 0 0 176612 3394 0 0 20 0 1 0 336810283 560414720 134383 33554432000 4194304 7823515 140734572375104 140734572372936 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 136820 134383 566 887 0 135930 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 547280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26446
/proc/meminfo: memFree=23253972/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=547280 CPUtime=1800.95 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 134759 0 0 0 176701 3394 0 0 20 0 1 0 336810283 560414720 134385 33554432000 4194304 7823515 140734572375104 140734572370616 5875134 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 136820 134385 568 887 0 135930 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 547280
[startup+1802.2 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26446
/proc/meminfo: memFree=23251856/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=547280 CPUtime=1801.75 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 134759 0 0 0 176781 3394 0 0 20 0 1 0 336810283 560414720 134385 33554432000 4194304 7823515 140734572375104 140734572370616 4805770 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 136820 134385 568 887 0 135930 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 547280
[startup+1802.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26446
/proc/meminfo: memFree=23251856/32873844 swapFree=7112/7112
[pid=26328] ppid=26326 vsize=547280 CPUtime=1801.95 cores=1,3,5,7
/proc/26328/stat : 26328 (pbscip.linux.x8) R 26326 26328 13043 0 -1 4202496 134759 0 0 0 176801 3394 0 0 20 0 1 0 336810283 560414720 134385 33554432000 4194304 7823515 140734572375104 140734572370616 4511204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26328/statm: 136820 134385 568 887 0 135930 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 547280
Child status: 0
Real time (s): 1802.42
CPU time (s): 1801.98
CPU user time (s): 1768.03
CPU system time (s): 33.9578
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 547280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.03
system time used= 33.9578
maximum resident set size= 537540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134762
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= 208
involuntary context switches= 1847
runsolver used 3.51347 second user time and 9.41257 second system time
The end