0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver Clp 1.8.2
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869529-1245176703.opb>
0.00/0.01 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 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.01 c (round 2) 1 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c OPT-LIN
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = c 1620
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = c 1791
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = c 10000
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving problem
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 29 | 251k| 0 | 6 | 50 | 6 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.03 c 0.0s| 1 | 0 | 89 | 283k| 0 | 9 | 50 | 6 | 6 | 50 | 13 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.04 c 0.0s| 1 | 0 | 96 | 322k| 0 | 13 | 50 | 6 | 6 | 50 | 19 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.05 c 0.0s| 1 | 0 | 104 | 357k| 0 | 17 | 50 | 6 | 6 | 50 | 23 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.06 c 0.1s| 1 | 0 | 117 | 381k| 0 | 21 | 50 | 6 | 6 | 50 | 27 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.08 c 0.1s| 1 | 0 | 136 | 392k| 0 | 17 | 50 | 6 | 6 | 50 | 29 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.09 c 0.1s| 1 | 0 | 154 | 412k| 0 | 19 | 50 | 6 | 6 | 50 | 33 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 2 | 154 | 413k| 0 | 19 | 50 | 6 | 6 | 50 | 33 | 27 | 0 | 19 | 0.000000e+00 | -- | Inf
4.89/4.98 c 4.8s| 10000 | 2970 | 26315 |1867k| 44 | - | 50 | 154 | 10 | 0 | 0 | 27 | 386 | 514 | 0.000000e+00 | -- | Inf
9.49/9.55 c 9.2s| 20000 | 5330 | 51797 |3087k| 44 | - | 50 | 268 | 13 | 50 | 22 | 27 | 803 | 670 | 0.000000e+00 | -- | Inf
14.09/14.18 c 13.6s| 30000 | 7288 | 77695 |4125k| 45 | 6 | 50 | 312 | 24 | 50 | 22 | 27 |1144 | 808 | 0.000000e+00 | -- | Inf
18.69/18.78 c 18.1s| 40000 | 9414 |102949 |5231k| 45 | 6 | 50 | 345 | 9 | 50 | 22 | 27 |1569 | 927 | 0.000000e+00 | -- | Inf
23.39/23.43 c 22.5s| 50000 | 11452 |129408 |6253k| 45 | - | 50 | 321 | 17 | 50 | 22 | 27 |1921 |1029 | 0.000000e+00 | -- | Inf
27.89/27.96 c 26.9s| 60000 | 13931 |155363 |7461k| 45 | - | 50 | 361 | 46 | 50 | 22 | 27 |2369 |1103 | 0.000000e+00 | -- | Inf
32.39/32.42 c 31.2s| 70000 | 16019 |179626 |8474k| 45 | 6 | 50 | 244 | 32 | 50 | 22 | 27 |2664 |1174 | 0.000000e+00 | -- | Inf
36.87/36.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.87/36.90 c 35.5s| 80000 | 17909 |204220 |9447k| 45 | - | 50 | 139 | 14 | 50 | 22 | 27 |3044 |1231 | 0.000000e+00 | -- | Inf
41.27/41.36 c 39.8s| 90000 | 19927 |228395 | 10M| 45 | 6 | 50 | 93 | 6 | 50 | 22 | 27 |3326 |1351 | 0.000000e+00 | -- | Inf
45.67/45.74 c 44.0s|100000 | 21660 |252717 | 11M| 45 | 6 | 50 | 68 | 6 | 50 | 22 | 27 |3627 |1384 | 0.000000e+00 | -- | Inf
49.97/50.06 c 48.1s|110000 | 23815 |276891 | 12M| 45 | 6 | 50 | 72 | 11 | 50 | 22 | 27 |3964 |1407 | 0.000000e+00 | -- | Inf
54.37/54.45 c 52.4s|120000 | 25681 |301172 | 13M| 45 | - | 50 | 64 | 6 | 0 | 0 | 27 |4321 |1469 | 0.000000e+00 | -- | Inf
58.77/58.86 c 56.6s|130000 | 27429 |325479 | 14M| 45 | - | 50 | 35 | 6 | 50 | 22 | 27 |4578 |1503 | 0.000000e+00 | -- | Inf
63.17/63.24 c 60.8s|140000 | 29121 |349364 | 15M| 45 | - | 50 | 45 | 6 | 50 | 22 | 27 |4909 |1536 | 0.000000e+00 | -- | Inf
67.57/67.61 c 65.0s|150000 | 31026 |373441 | 16M| 45 | 6 | 50 | 40 | 6 | 50 | 22 | 27 |5215 |1590 | 0.000000e+00 | -- | Inf
71.87/71.95 c 69.1s|160000 | 32922 |397627 | 17M| 45 | 6 | 50 | 38 | 6 | 50 | 22 | 27 |5550 |1624 | 0.000000e+00 | -- | Inf
76.26/76.31 c 73.3s|170000 | 34758 |421340 | 18M| 45 | - | 50 | 38 | 7 | 50 | 22 | 27 |5902 |1683 | 0.000000e+00 | -- | Inf
80.56/80.65 c 77.5s|180000 | 36360 |444556 | 19M| 45 | - | 50 | 42 | 6 | 0 | 0 | 27 |6199 |1734 | 0.000000e+00 | -- | Inf
84.96/85.03 c 81.7s|190000 | 38095 |468401 | 19M| 45 | - | 50 | 48 | 6 | 50 | 22 | 27 |6579 |1772 | 0.000000e+00 | -- | Inf
89.36/89.40 c 85.9s|200000 | 39880 |492540 | 20M| 45 | 6 | 50 | 38 | 9 | 50 | 22 | 27 |6873 |1827 | 0.000000e+00 | -- | Inf
93.66/93.72 c 90.0s|210000 | 41424 |515797 | 21M| 45 | - | 50 | 44 | 6 | 50 | 22 | 27 |7279 |1855 | 0.000000e+00 | -- | Inf
98.05/98.12 c 94.3s|220000 | 42980 |539856 | 22M| 45 | 6 | 50 | 36 | 6 | 50 | 22 | 27 |7627 |1884 | 0.000000e+00 | -- | Inf
102.36/102.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.36/102.48 c 98.5s|230000 | 44647 |563341 | 23M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 |7934 |1908 | 0.000000e+00 | -- | Inf
106.75/106.82 c 103s|240000 | 46235 |586953 | 24M| 45 | 6 | 50 | 35 | 6 | 50 | 22 | 27 |8240 |1940 | 0.000000e+00 | -- | Inf
110.95/111.10 c 107s|250000 | 48029 |610026 | 25M| 45 | 6 | 50 | 47 | 9 | 50 | 22 | 27 |8601 |1969 | 0.000000e+00 | -- | Inf
115.36/115.44 c 111s|260000 | 49743 |633735 | 26M| 45 | 6 | 50 | 56 | 6 | 50 | 22 | 27 |8905 |2003 | 0.000000e+00 | -- | Inf
119.66/119.77 c 115s|270000 | 51532 |657445 | 27M| 45 | - | 50 | 46 | 7 | 50 | 22 | 27 |9251 |2035 | 0.000000e+00 | -- | Inf
124.05/124.12 c 119s|280000 | 53338 |681265 | 28M| 45 | - | 50 | 62 | 6 | 50 | 22 | 27 |9565 |2073 | 0.000000e+00 | -- | Inf
128.35/128.40 c 123s|290000 | 55072 |704078 | 29M| 45 | 6 | 50 | 45 | 6 | 50 | 22 | 27 |9822 |2114 | 0.000000e+00 | -- | Inf
132.65/132.71 c 128s|300000 | 56865 |727831 | 29M| 45 | 6 | 50 | 70 | 7 | 50 | 22 | 27 | 10k|2141 | 0.000000e+00 | -- | Inf
136.94/137.06 c 132s|310000 | 58805 |751579 | 30M| 45 | - | 50 | 49 | 7 | 50 | 22 | 27 | 10k|2165 | 0.000000e+00 | -- | Inf
141.25/141.36 c 136s|320000 | 60796 |775158 | 31M| 45 | - | 50 | 57 | 7 | 50 | 22 | 27 | 10k|2192 | 0.000000e+00 | -- | Inf
145.54/145.68 c 140s|330000 | 62369 |798470 | 32M| 45 | - | 50 | 44 | 5 | 0 | 0 | 27 | 10k|2229 | 0.000000e+00 | -- | Inf
149.85/149.96 c 144s|340000 | 63948 |821682 | 33M| 45 | - | 50 | 64 | 7 | 50 | 22 | 27 | 11k|2247 | 0.000000e+00 | -- | Inf
154.15/154.26 c 148s|350000 | 65552 |844825 | 34M| 45 | 6 | 50 | 50 | 6 | 50 | 22 | 27 | 11k|2282 | 0.000000e+00 | -- | Inf
158.54/158.61 c 152s|360000 | 67216 |868307 | 35M| 45 | 6 | 50 | 51 | 7 | 50 | 22 | 27 | 12k|2305 | 0.000000e+00 | -- | Inf
162.84/162.93 c 157s|370000 | 68735 |891450 | 36M| 45 | 6 | 50 | 59 | 6 | 50 | 22 | 27 | 12k|2319 | 0.000000e+00 | -- | Inf
167.05/167.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.05/167.18 c 161s|380000 | 70433 |914522 | 37M| 45 | 6 | 50 | 56 | 6 | 50 | 22 | 27 | 12k|2346 | 0.000000e+00 | -- | Inf
171.34/171.43 c 165s|390000 | 71963 |937595 | 38M| 45 | 6 | 50 | 29 | 6 | 50 | 22 | 27 | 13k|2367 | 0.000000e+00 | -- | Inf
175.63/175.78 c 169s|400000 | 73471 |961092 | 38M| 45 | 6 | 50 | 27 | 6 | 50 | 22 | 27 | 13k|2386 | 0.000000e+00 | -- | Inf
180.04/180.13 c 173s|410000 | 74859 |984494 | 39M| 45 | - | 50 | 44 | 6 | 50 | 22 | 27 | 13k|2395 | 0.000000e+00 | -- | Inf
184.33/184.41 c 177s|420000 | 76430 | 1007k| 40M| 45 | 6 | 50 | 40 | 6 | 50 | 22 | 27 | 14k|2408 | 0.000000e+00 | -- | Inf
188.53/188.69 c 181s|430000 | 78053 | 1030k| 41M| 45 | 6 | 50 | 44 | 6 | 50 | 22 | 27 | 14k|2420 | 0.000000e+00 | -- | Inf
192.83/192.98 c 185s|440000 | 79750 | 1053k| 42M| 45 | 6 | 50 | 44 | 7 | 50 | 22 | 27 | 14k|2446 | 0.000000e+00 | -- | Inf
197.13/197.29 c 190s|450000 | 81708 | 1077k| 43M| 45 | 6 | 50 | 46 | 6 | 50 | 22 | 27 | 15k|2466 | 0.000000e+00 | -- | Inf
201.53/201.64 c 194s|460000 | 83050 | 1100k| 44M| 45 | - | 50 | 30 | 6 | 50 | 22 | 27 | 15k|2488 | 0.000000e+00 | -- | Inf
205.82/205.96 c 198s|470000 | 84692 | 1124k| 44M| 45 | - | 50 | 23 | 6 | 50 | 22 | 27 | 15k|2511 | 0.000000e+00 | -- | Inf
210.13/210.26 c 202s|480000 | 86549 | 1148k| 45M| 45 | 6 | 50 | 23 | 6 | 50 | 22 | 27 | 15k|2531 | 0.000000e+00 | -- | Inf
214.43/214.55 c 206s|490000 | 88014 | 1171k| 46M| 45 | 6 | 50 | 55 | 6 | 50 | 22 | 27 | 16k|2548 | 0.000000e+00 | -- | Inf
218.73/218.86 c 210s|500000 | 89687 | 1194k| 47M| 45 | 6 | 50 | 45 | 6 | 50 | 22 | 27 | 16k|2562 | 0.000000e+00 | -- | Inf
223.02/223.16 c 215s|510000 | 91303 | 1217k| 48M| 45 | - | 50 | 38 | 6 | 0 | 0 | 27 | 16k|2567 | 0.000000e+00 | -- | Inf
227.32/227.49 c 219s|520000 | 92602 | 1240k| 49M| 45 | 6 | 50 | 28 | 6 | 50 | 22 | 27 | 16k|2578 | 0.000000e+00 | -- | Inf
231.63/231.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.63/231.73 c 223s|530000 | 94164 | 1263k| 50M| 45 | - | 50 | 39 | 6 | 0 | 0 | 27 | 17k|2583 | 0.000000e+00 | -- | Inf
235.92/236.06 c 227s|540000 | 95550 | 1286k| 50M| 45 | 6 | 50 | 29 | 6 | 50 | 22 | 27 | 17k|2599 | 0.000000e+00 | -- | Inf
240.32/240.43 c 231s|550000 | 96985 | 1310k| 51M| 45 | 6 | 50 | 33 | 7 | 50 | 22 | 27 | 17k|2615 | 0.000000e+00 | -- | Inf
244.62/244.74 c 235s|560000 | 98525 | 1332k| 52M| 45 | - | 50 | 42 | 6 | 50 | 22 | 27 | 18k|2619 | 0.000000e+00 | -- | Inf
248.92/249.05 c 239s|570000 |100088 | 1356k| 53M| 45 | 6 | 50 | 55 | 9 | 50 | 22 | 27 | 18k|2631 | 0.000000e+00 | -- | Inf
253.32/253.40 c 244s|580000 |101594 | 1379k| 54M| 45 | 6 | 50 | 51 | 6 | 50 | 22 | 27 | 18k|2645 | 0.000000e+00 | -- | Inf
257.61/257.71 c 248s|590000 |103205 | 1403k| 55M| 45 | 6 | 50 | 50 | 6 | 50 | 22 | 27 | 19k|2648 | 0.000000e+00 | -- | Inf
261.91/262.08 c 252s|600000 |104959 | 1426k| 56M| 45 | 6 | 50 | 65 | 6 | 50 | 22 | 27 | 19k|2649 | 0.000000e+00 | -- | Inf
266.31/266.42 c 256s|610000 |106247 | 1449k| 56M| 45 | 6 | 50 | 47 | 8 | 50 | 22 | 27 | 19k|2675 | 0.000000e+00 | -- | Inf
270.61/270.72 c 260s|620000 |107754 | 1472k| 57M| 45 | 6 | 50 | 35 | 8 | 50 | 22 | 27 | 20k|2686 | 0.000000e+00 | -- | Inf
274.91/275.09 c 264s|630000 |109353 | 1496k| 58M| 45 | - | 50 | 33 | 6 | 50 | 22 | 27 | 20k|2696 | 0.000000e+00 | -- | Inf
279.21/279.39 c 269s|640000 |111545 | 1519k| 59M| 45 | 6 | 50 | 41 | 6 | 50 | 22 | 27 | 20k|2709 | 0.000000e+00 | -- | Inf
283.61/283.71 c 273s|650000 |113558 | 1543k| 60M| 45 | 6 | 50 | 42 | 7 | 50 | 22 | 27 | 20k|2723 | 0.000000e+00 | -- | Inf
287.91/288.04 c 277s|660000 |115096 | 1567k| 61M| 45 | - | 50 | 37 | 6 | 0 | 0 | 27 | 21k|2737 | 0.000000e+00 | -- | Inf
292.20/292.32 c 281s|670000 |116488 | 1590k| 62M| 45 | 6 | 50 | 39 | 13 | 50 | 22 | 27 | 21k|2750 | 0.000000e+00 | -- | Inf
296.51/296.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.51/296.69 c 285s|680000 |118049 | 1613k| 63M| 45 | 6 | 50 | 45 | 6 | 50 | 22 | 27 | 22k|2773 | 0.000000e+00 | -- | Inf
300.91/301.01 c 289s|690000 |119645 | 1637k| 63M| 45 | 6 | 50 | 39 | 8 | 50 | 22 | 27 | 22k|2821 | 0.000000e+00 | -- | Inf
305.11/305.29 c 293s|700000 |122022 | 1660k| 65M| 45 | 6 | 50 | 90 | 6 | 50 | 22 | 27 | 22k|2824 | 0.000000e+00 | -- | Inf
309.40/309.60 c 298s|710000 |124189 | 1684k| 66M| 45 | 6 | 50 | 68 | 6 | 50 | 22 | 27 | 22k|2832 | 0.000000e+00 | -- | Inf
313.80/313.92 c 302s|720000 |126006 | 1707k| 67M| 45 | 6 | 50 | 51 | 6 | 50 | 22 | 27 | 23k|2843 | 0.000000e+00 | -- | Inf
318.09/318.22 c 306s|730000 |127620 | 1729k| 68M| 45 | - | 50 | 62 | 6 | 0 | 0 | 27 | 23k|2855 | 0.000000e+00 | -- | Inf
322.40/322.52 c 310s|740000 |129704 | 1752k| 69M| 45 | 6 | 50 | 66 | 7 | 50 | 22 | 27 | 23k|2860 | 0.000000e+00 | -- | Inf
326.70/326.86 c 314s|750000 |131338 | 1776k| 69M| 45 | 6 | 50 | 69 | 6 | 50 | 22 | 27 | 24k|2871 | 0.000000e+00 | -- | Inf
330.99/331.19 c 318s|760000 |132929 | 1799k| 70M| 45 | 6 | 50 | 65 | 7 | 50 | 22 | 27 | 24k|2878 | 0.000000e+00 | -- | Inf
335.40/335.51 c 322s|770000 |134523 | 1822k| 71M| 45 | 6 | 50 | 49 | 6 | 50 | 22 | 27 | 24k|2891 | 0.000000e+00 | -- | Inf
339.70/339.83 c 327s|780000 |136220 | 1845k| 72M| 45 | - | 50 | 38 | 6 | 50 | 22 | 27 | 24k|2900 | 0.000000e+00 | -- | Inf
343.99/344.19 c 331s|790000 |137860 | 1868k| 73M| 45 | - | 50 | 46 | 6 | 50 | 22 | 27 | 25k|2914 | 0.000000e+00 | -- | Inf
348.29/348.46 c 335s|800000 |139359 | 1891k| 74M| 45 | - | 50 | 48 | 6 | 50 | 22 | 27 | 25k|2957 | 0.000000e+00 | -- | Inf
352.59/352.71 c 339s|810000 |140969 | 1913k| 75M| 45 | 6 | 50 | 43 | 7 | 50 | 22 | 27 | 25k|2971 | 0.000000e+00 | -- | Inf
356.89/357.01 c 343s|820000 |142767 | 1936k| 76M| 45 | 6 | 50 | 42 | 6 | 50 | 22 | 27 | 26k|2979 | 0.000000e+00 | -- | Inf
361.19/361.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.19/361.31 c 347s|830000 |144459 | 1959k| 77M| 45 | 6 | 50 | 40 | 9 | 50 | 22 | 27 | 26k|2985 | 0.000000e+00 | -- | Inf
365.38/365.58 c 351s|840000 |146657 | 1982k| 78M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 | 26k|2996 | 0.000000e+00 | -- | Inf
369.78/369.90 c 355s|850000 |148164 | 2006k| 78M| 45 | 6 | 50 | 35 | 6 | 50 | 22 | 27 | 26k|3009 | 0.000000e+00 | -- | Inf
374.09/374.25 c 360s|860000 |149732 | 2029k| 79M| 45 | - | 50 | 34 | 6 | 0 | 0 | 27 | 27k|3032 | 0.000000e+00 | -- | Inf
378.38/378.57 c 364s|870000 |151395 | 2052k| 80M| 45 | 6 | 50 | 34 | 6 | 50 | 22 | 27 | 27k|3036 | 0.000000e+00 | -- | Inf
382.78/382.93 c 368s|880000 |152823 | 2075k| 81M| 45 | 6 | 50 | 29 | 6 | 50 | 22 | 27 | 27k|3048 | 0.000000e+00 | -- | Inf
387.09/387.27 c 372s|890000 |154842 | 2099k| 82M| 45 | 6 | 50 | 67 | 6 | 50 | 22 | 27 | 27k|3048 | 0.000000e+00 | -- | Inf
391.48/391.61 c 376s|900000 |156538 | 2122k| 83M| 45 | 6 | 50 | 94 | 6 | 50 | 22 | 27 | 28k|3057 | 0.000000e+00 | -- | Inf
395.79/395.99 c 381s|910000 |157897 | 2145k| 84M| 45 | - | 50 | 47 | 5 | 0 | 0 | 27 | 28k|3071 | 0.000000e+00 | -- | Inf
400.18/400.30 c 385s|920000 |159367 | 2168k| 85M| 45 | - | 50 | 47 | 7 | 0 | 0 | 27 | 29k|3079 | 0.000000e+00 | -- | Inf
404.48/404.62 c 389s|930000 |160845 | 2191k| 85M| 45 | 6 | 50 | 60 | 7 | 50 | 22 | 27 | 29k|3087 | 0.000000e+00 | -- | Inf
408.68/408.87 c 393s|940000 |162220 | 2213k| 86M| 45 | 6 | 50 | 80 | 6 | 50 | 22 | 27 | 30k|3093 | 0.000000e+00 | -- | Inf
413.07/413.20 c 397s|950000 |163957 | 2237k| 87M| 45 | 6 | 50 | 75 | 6 | 50 | 22 | 27 | 30k|3097 | 0.000000e+00 | -- | Inf
417.47/417.61 c 401s|960000 |165399 | 2260k| 88M| 45 | - | 50 | 38 | 7 | 50 | 22 | 27 | 30k|3110 | 0.000000e+00 | -- | Inf
421.87/422.08 c 406s|970000 |166698 | 2284k| 89M| 45 | 6 | 50 | 108 | 11 | 50 | 22 | 27 | 30k|3118 | 0.000000e+00 | -- | Inf
426.37/426.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.37/426.59 c 410s|980000 |168062 | 2309k| 89M| 45 | - | 50 | 120 | 9 | 50 | 22 | 27 | 31k|3126 | 0.000000e+00 | -- | Inf
430.87/431.02 c 414s|990000 |169414 | 2333k| 90M| 45 | 6 | 50 | 107 | 6 | 50 | 22 | 27 | 31k|3144 | 0.000000e+00 | -- | Inf
435.27/435.46 c 418s| 1000k|170913 | 2356k| 91M| 45 | 6 | 50 | 121 | 6 | 50 | 22 | 27 | 32k|3183 | 0.000000e+00 | -- | Inf
439.77/439.93 c 423s| 1010k|172338 | 2380k| 92M| 45 | 6 | 50 | 83 | 6 | 50 | 22 | 27 | 32k|3213 | 0.000000e+00 | -- | Inf
444.07/444.29 c 427s| 1020k|174081 | 2404k| 93M| 45 | 6 | 50 | 62 | 6 | 50 | 22 | 27 | 32k|3216 | 0.000000e+00 | -- | Inf
448.47/448.64 c 431s| 1030k|175547 | 2427k| 94M| 45 | 6 | 50 | 51 | 6 | 50 | 22 | 27 | 32k|3232 | 0.000000e+00 | -- | Inf
452.77/452.97 c 435s| 1040k|177051 | 2449k| 94M| 45 | - | 50 | 41 | 6 | 50 | 22 | 27 | 33k|3243 | 0.000000e+00 | -- | Inf
457.17/457.36 c 440s| 1050k|178957 | 2473k| 95M| 45 | 6 | 50 | 52 | 6 | 50 | 22 | 27 | 33k|3266 | 0.000000e+00 | -- | Inf
461.56/461.73 c 444s| 1060k|180474 | 2496k| 96M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 | 33k|3271 | 0.000000e+00 | -- | Inf
465.86/466.06 c 448s| 1070k|181881 | 2518k| 97M| 45 | 6 | 50 | 50 | 6 | 50 | 22 | 27 | 34k|3281 | 0.000000e+00 | -- | Inf
470.15/470.35 c 452s| 1080k|183460 | 2541k| 98M| 45 | 6 | 50 | 39 | 6 | 50 | 22 | 27 | 34k|3288 | 0.000000e+00 | -- | Inf
474.56/474.72 c 456s| 1090k|184857 | 2564k| 99M| 45 | 6 | 50 | 39 | 6 | 50 | 22 | 27 | 34k|3295 | 0.000000e+00 | -- | Inf
478.95/479.12 c 460s| 1100k|186271 | 2587k| 100M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 | 35k|3316 | 0.000000e+00 | -- | Inf
483.15/483.37 c 465s| 1110k|188283 | 2609k| 101M| 45 | - | 50 | 54 | 6 | 50 | 22 | 27 | 35k|3328 | 0.000000e+00 | -- | Inf
487.45/487.65 c 469s| 1120k|189617 | 2632k| 101M| 45 | 6 | 50 | 51 | 6 | 50 | 22 | 27 | 35k|3333 | 0.000000e+00 | -- | Inf
491.75/491.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.75/491.96 c 473s| 1130k|190916 | 2654k| 102M| 45 | - | 50 | 41 | 6 | 50 | 22 | 27 | 36k|3338 | 0.000000e+00 | -- | Inf
496.15/496.38 c 477s| 1140k|192266 | 2677k| 103M| 45 | - | 50 | 42 | 7 | 0 | 0 | 27 | 36k|3345 | 0.000000e+00 | -- | Inf
500.55/500.77 c 481s| 1150k|193742 | 2701k| 104M| 45 | 6 | 50 | 34 | 6 | 50 | 22 | 27 | 36k|3358 | 0.000000e+00 | -- | Inf
504.95/505.16 c 486s| 1160k|195187 | 2724k| 104M| 45 | 6 | 50 | 48 | 6 | 50 | 22 | 27 | 37k|3364 | 0.000000e+00 | -- | Inf
509.24/509.49 c 490s| 1170k|196399 | 2747k| 105M| 45 | 6 | 50 | 38 | 6 | 50 | 22 | 27 | 37k|3373 | 0.000000e+00 | -- | Inf
513.65/513.89 c 494s| 1180k|197665 | 2770k| 106M| 45 | 6 | 50 | 35 | 7 | 50 | 22 | 27 | 37k|3386 | 0.000000e+00 | -- | Inf
518.05/518.26 c 498s| 1190k|199152 | 2793k| 107M| 45 | - | 50 | 36 | 7 | 50 | 22 | 27 | 37k|3400 | 0.000000e+00 | -- | Inf
522.45/522.64 c 502s| 1200k|200678 | 2815k| 108M| 45 | 6 | 50 | 36 | 6 | 50 | 22 | 27 | 38k|3409 | 0.000000e+00 | -- | Inf
526.84/527.02 c 507s| 1210k|202073 | 2839k| 108M| 45 | - | 50 | 36 | 6 | 50 | 22 | 27 | 38k|3419 | 0.000000e+00 | -- | Inf
531.24/531.41 c 511s| 1220k|203579 | 2862k| 109M| 45 | - | 50 | 45 | 6 | 50 | 22 | 27 | 38k|3426 | 0.000000e+00 | -- | Inf
535.54/535.77 c 515s| 1230k|205073 | 2884k| 110M| 45 | - | 50 | 44 | 6 | 50 | 22 | 27 | 39k|3442 | 0.000000e+00 | -- | Inf
539.84/540.04 c 519s| 1240k|207286 | 2907k| 111M| 45 | - | 50 | 56 | 6 | 50 | 22 | 27 | 39k|3453 | 0.000000e+00 | -- | Inf
544.24/544.40 c 523s| 1250k|208767 | 2929k| 112M| 45 | 6 | 50 | 52 | 6 | 50 | 22 | 27 | 39k|3462 | 0.000000e+00 | -- | Inf
548.54/548.79 c 528s| 1260k|210153 | 2953k| 113M| 45 | 6 | 50 | 48 | 7 | 50 | 22 | 27 | 39k|3474 | 0.000000e+00 | -- | Inf
552.94/553.20 c 532s| 1270k|211615 | 2976k| 114M| 45 | 6 | 50 | 35 | 6 | 50 | 22 | 27 | 40k|3481 | 0.000000e+00 | -- | Inf
557.43/557.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.43/557.63 c 536s| 1280k|213317 | 3000k| 115M| 45 | - | 50 | 41 | 6 | 50 | 22 | 27 | 40k|3487 | 0.000000e+00 | -- | Inf
561.84/562.05 c 540s| 1290k|214673 | 3023k| 115M| 45 | - | 50 | 42 | 6 | 0 | 0 | 27 | 40k|3502 | 0.000000e+00 | -- | Inf
566.13/566.37 c 544s| 1300k|216140 | 3046k| 116M| 45 | - | 50 | 50 | 11 | 50 | 22 | 27 | 40k|3511 | 0.000000e+00 | -- | Inf
570.53/570.71 c 549s| 1310k|217800 | 3069k| 117M| 45 | - | 50 | 54 | 9 | 50 | 22 | 27 | 41k|3511 | 0.000000e+00 | -- | Inf
574.83/575.05 c 553s| 1320k|219401 | 3091k| 118M| 45 | 6 | 50 | 58 | 6 | 50 | 22 | 27 | 41k|3513 | 0.000000e+00 | -- | Inf
579.12/579.34 c 557s| 1330k|221185 | 3114k| 119M| 45 | 6 | 50 | 55 | 6 | 50 | 22 | 27 | 41k|3513 | 0.000000e+00 | -- | Inf
583.53/583.73 c 561s| 1340k|222674 | 3137k| 120M| 45 | 6 | 50 | 51 | 9 | 50 | 22 | 27 | 41k|3516 | 0.000000e+00 | -- | Inf
588.02/588.22 c 565s| 1350k|223991 | 3161k| 120M| 45 | - | 50 | 76 | 6 | 50 | 22 | 27 | 42k|3550 | 0.000000e+00 | -- | Inf
592.52/592.71 c 570s| 1360k|225358 | 3186k| 121M| 45 | 6 | 50 | 98 | 6 | 50 | 22 | 27 | 42k|3553 | 0.000000e+00 | -- | Inf
597.03/597.25 c 574s| 1370k|227057 | 3211k| 122M| 45 | - | 50 | 117 | 6 | 50 | 22 | 27 | 42k|3559 | 0.000000e+00 | -- | Inf
601.62/601.83 c 579s| 1380k|228430 | 3236k| 123M| 45 | 6 | 50 | 97 | 10 | 50 | 22 | 27 | 43k|3567 | 0.000000e+00 | -- | Inf
606.02/606.28 c 583s| 1390k|229896 | 3259k| 124M| 45 | - | 50 | 96 | 7 | 50 | 22 | 27 | 43k|3572 | 0.000000e+00 | -- | Inf
610.42/610.69 c 587s| 1400k|231498 | 3282k| 125M| 45 | - | 50 | 101 | 7 | 0 | 0 | 27 | 43k|3592 | 0.000000e+00 | -- | Inf
614.92/615.12 c 591s| 1410k|232698 | 3305k| 125M| 45 | - | 50 | 111 | 7 | 50 | 22 | 27 | 44k|3593 | 0.000000e+00 | -- | Inf
619.32/619.53 c 596s| 1420k|233950 | 3327k| 126M| 45 | 6 | 50 | 77 | 9 | 50 | 22 | 27 | 44k|3599 | 0.000000e+00 | -- | Inf
623.62/623.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.62/623.88 c 600s| 1430k|235395 | 3349k| 127M| 45 | 6 | 50 | 59 | 6 | 50 | 22 | 27 | 44k|3607 | 0.000000e+00 | -- | Inf
627.92/628.19 c 604s| 1440k|236867 | 3372k| 128M| 45 | 6 | 50 | 49 | 7 | 50 | 22 | 27 | 45k|3619 | 0.000000e+00 | -- | Inf
632.32/632.54 c 608s| 1450k|238334 | 3395k| 129M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 | 45k|3629 | 0.000000e+00 | -- | Inf
636.72/636.93 c 612s| 1460k|239627 | 3418k| 129M| 45 | 6 | 50 | 36 | 6 | 50 | 22 | 27 | 45k|3632 | 0.000000e+00 | -- | Inf
641.11/641.38 c 617s| 1470k|240868 | 3440k| 130M| 45 | 6 | 50 | 39 | 7 | 50 | 22 | 27 | 45k|3641 | 0.000000e+00 | -- | Inf
645.51/645.76 c 621s| 1480k|242382 | 3463k| 131M| 45 | 6 | 50 | 40 | 7 | 50 | 22 | 27 | 46k|3652 | 0.000000e+00 | -- | Inf
649.81/650.05 c 625s| 1490k|244745 | 3486k| 132M| 45 | - | 50 | 44 | 6 | 50 | 22 | 27 | 46k|3656 | 0.000000e+00 | -- | Inf
654.21/654.40 c 629s| 1500k|246421 | 3508k| 133M| 45 | 6 | 50 | 40 | 6 | 50 | 22 | 27 | 46k|3659 | 0.000000e+00 | -- | Inf
658.61/658.85 c 633s| 1510k|248081 | 3531k| 134M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 | 46k|3666 | 0.000000e+00 | -- | Inf
663.11/663.34 c 638s| 1520k|249727 | 3555k| 135M| 45 | 6 | 50 | 47 | 6 | 50 | 22 | 27 | 46k|3673 | 0.000000e+00 | -- | Inf
667.41/667.63 c 642s| 1530k|251514 | 3577k| 136M| 45 | 6 | 50 | 51 | 6 | 50 | 22 | 27 | 46k|3680 | 0.000000e+00 | -- | Inf
671.70/671.98 c 646s| 1540k|252974 | 3600k| 136M| 45 | - | 50 | 64 | 6 | 0 | 0 | 27 | 46k|3684 | 0.000000e+00 | -- | Inf
676.20/676.41 c 650s| 1550k|254491 | 3624k| 137M| 45 | 6 | 50 | 62 | 6 | 50 | 22 | 27 | 46k|3694 | 0.000000e+00 | -- | Inf
680.71/680.92 c 655s| 1560k|256178 | 3649k| 138M| 45 | - | 50 | 65 | 6 | 50 | 22 | 27 | 47k|3698 | 0.000000e+00 | -- | Inf
685.10/685.32 c 659s| 1570k|257450 | 3672k| 139M| 45 | - | 50 | 47 | 7 | 50 | 22 | 27 | 47k|3707 | 0.000000e+00 | -- | Inf
689.40/689.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
689.40/689.69 c 663s| 1580k|258800 | 3695k| 140M| 45 | - | 50 | 45 | 6 | 50 | 22 | 27 | 47k|3738 | 0.000000e+00 | -- | Inf
693.90/694.13 c 667s| 1590k|260029 | 3718k| 140M| 45 | - | 50 | 34 | 6 | 50 | 22 | 27 | 48k|3747 | 0.000000e+00 | -- | Inf
698.30/698.58 c 672s| 1600k|261219 | 3741k| 141M| 45 | 6 | 50 | 29 | 12 | 50 | 22 | 27 | 48k|3755 | 0.000000e+00 | -- | Inf
702.70/702.96 c 676s| 1610k|262862 | 3764k| 142M| 45 | - | 50 | 44 | 6 | 50 | 22 | 27 | 48k|3761 | 0.000000e+00 | -- | Inf
707.09/707.30 c 680s| 1620k|264395 | 3786k| 143M| 45 | - | 50 | 37 | 7 | 0 | 0 | 27 | 49k|3767 | 0.000000e+00 | -- | Inf
711.49/711.70 c 684s| 1630k|265725 | 3809k| 144M| 45 | 6 | 50 | 36 | 7 | 50 | 22 | 27 | 49k|3775 | 0.000000e+00 | -- | Inf
715.79/716.05 c 688s| 1640k|267216 | 3831k| 144M| 45 | 6 | 50 | 39 | 6 | 50 | 22 | 27 | 49k|3780 | 0.000000e+00 | -- | Inf
720.19/720.44 c 693s| 1650k|268696 | 3855k| 145M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 | 49k|3785 | 0.000000e+00 | -- | Inf
724.60/724.85 c 697s| 1660k|270135 | 3878k| 146M| 45 | 6 | 50 | 45 | 8 | 50 | 22 | 27 | 50k|3793 | 0.000000e+00 | -- | Inf
728.89/729.19 c 701s| 1670k|271456 | 3900k| 147M| 45 | 6 | 50 | 38 | 7 | 50 | 22 | 27 | 50k|3800 | 0.000000e+00 | -- | Inf
733.29/733.55 c 705s| 1680k|272920 | 3922k| 148M| 45 | - | 50 | 43 | 6 | 50 | 22 | 27 | 50k|3804 | 0.000000e+00 | -- | Inf
737.58/737.89 c 709s| 1690k|274359 | 3944k| 148M| 45 | 6 | 50 | 54 | 6 | 50 | 22 | 27 | 50k|3811 | 0.000000e+00 | -- | Inf
742.08/742.36 c 714s| 1700k|275696 | 3967k| 149M| 45 | 6 | 50 | 47 | 7 | 50 | 22 | 27 | 51k|3820 | 0.000000e+00 | -- | Inf
746.49/746.76 c 718s| 1710k|276938 | 3990k| 150M| 45 | 6 | 50 | 38 | 6 | 50 | 22 | 27 | 51k|3835 | 0.000000e+00 | -- | Inf
750.88/751.12 c 722s| 1720k|278342 | 4013k| 151M| 45 | - | 50 | 33 | 6 | 50 | 22 | 27 | 51k|3839 | 0.000000e+00 | -- | Inf
755.28/755.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.28/755.54 c 726s| 1730k|279542 | 4035k| 151M| 45 | 6 | 50 | 33 | 6 | 50 | 22 | 27 | 52k|3849 | 0.000000e+00 | -- | Inf
759.68/759.95 c 731s| 1740k|280985 | 4057k| 152M| 45 | 6 | 50 | 41 | 9 | 50 | 22 | 27 | 52k|3859 | 0.000000e+00 | -- | Inf
764.08/764.34 c 735s| 1750k|282435 | 4080k| 153M| 45 | - | 50 | 26 | 5 | 0 | 0 | 27 | 52k|3870 | 0.000000e+00 | -- | Inf
768.47/768.71 c 739s| 1760k|283698 | 4102k| 154M| 45 | - | 50 | 33 | 7 | 50 | 22 | 27 | 52k|3883 | 0.000000e+00 | -- | Inf
772.78/773.06 c 743s| 1770k|284996 | 4124k| 155M| 45 | 6 | 50 | 43 | 10 | 50 | 22 | 27 | 53k|3886 | 0.000000e+00 | -- | Inf
777.18/777.48 c 748s| 1780k|286326 | 4147k| 155M| 45 | 6 | 50 | 44 | 6 | 50 | 22 | 27 | 53k|3897 | 0.000000e+00 | -- | Inf
781.68/781.92 c 752s| 1790k|287678 | 4170k| 156M| 45 | 6 | 50 | 45 | 7 | 50 | 22 | 27 | 53k|3901 | 0.000000e+00 | -- | Inf
786.07/786.35 c 756s| 1800k|289090 | 4192k| 157M| 45 | 6 | 50 | 33 | 6 | 50 | 22 | 27 | 54k|3933 | 0.000000e+00 | -- | Inf
790.47/790.70 c 760s| 1810k|290574 | 4215k| 158M| 45 | 6 | 50 | 36 | 6 | 50 | 22 | 27 | 54k|3942 | 0.000000e+00 | -- | Inf
794.77/795.10 c 765s| 1820k|291839 | 4237k| 159M| 45 | - | 50 | 38 | 6 | 50 | 22 | 27 | 54k|3952 | 0.000000e+00 | -- | Inf
799.27/799.52 c 769s| 1830k|292845 | 4260k| 159M| 45 | 6 | 50 | 42 | 6 | 50 | 22 | 27 | 54k|3954 | 0.000000e+00 | -- | Inf
803.67/803.98 c 773s| 1840k|294039 | 4283k| 160M| 45 | 6 | 50 | 36 | 6 | 50 | 22 | 27 | 55k|3961 | 0.000000e+00 | -- | Inf
808.17/808.42 c 777s| 1850k|295373 | 4306k| 161M| 45 | 6 | 50 | 31 | 7 | 50 | 22 | 27 | 55k|3969 | 0.000000e+00 | -- | Inf
812.57/812.80 c 782s| 1860k|296857 | 4329k| 162M| 45 | 6 | 50 | 38 | 6 | 50 | 22 | 27 | 55k|3972 | 0.000000e+00 | -- | Inf
816.97/817.20 c 786s| 1870k|298252 | 4351k| 162M| 45 | 6 | 50 | 57 | 6 | 50 | 22 | 27 | 56k|3984 | 0.000000e+00 | -- | Inf
821.26/821.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.26/821.58 c 790s| 1880k|299708 | 4374k| 163M| 45 | 6 | 50 | 51 | 6 | 50 | 22 | 27 | 56k|3997 | 0.000000e+00 | -- | Inf
825.66/825.95 c 794s| 1890k|301074 | 4396k| 164M| 45 | - | 50 | 42 | 6 | 50 | 22 | 27 | 56k|3999 | 0.000000e+00 | -- | Inf
830.07/830.33 c 798s| 1900k|302212 | 4418k| 165M| 45 | 6 | 50 | 23 | 7 | 50 | 22 | 27 | 56k|4003 | 0.000000e+00 | -- | Inf
834.46/834.77 c 803s| 1910k|303471 | 4441k| 165M| 45 | - | 50 | 24 | 6 | 50 | 22 | 27 | 57k|4011 | 0.000000e+00 | -- | Inf
838.86/839.14 c 807s| 1920k|304561 | 4463k| 166M| 45 | 6 | 50 | 23 | 6 | 50 | 22 | 27 | 57k|4014 | 0.000000e+00 | -- | Inf
843.37/843.65 c 811s| 1930k|305970 | 4487k| 167M| 45 | 6 | 50 | 25 | 6 | 50 | 22 | 27 | 57k|4024 | 0.000000e+00 | -- | Inf
847.66/847.99 c 815s| 1940k|307222 | 4509k| 168M| 45 | 6 | 50 | 26 | 6 | 50 | 22 | 27 | 58k|4031 | 0.000000e+00 | -- | Inf
852.16/852.48 c 820s| 1950k|308623 | 4533k| 168M| 45 | - | 50 | 31 | 6 | 50 | 22 | 27 | 58k|4042 | 0.000000e+00 | -- | Inf
856.66/856.93 c 824s| 1960k|309851 | 4556k| 169M| 45 | 6 | 50 | 20 | 6 | 50 | 22 | 27 | 58k|4050 | 0.000000e+00 | -- | Inf
861.05/861.37 c 828s| 1970k|310950 | 4578k| 170M| 45 | 6 | 50 | 28 | 6 | 50 | 22 | 27 | 58k|4061 | 0.000000e+00 | -- | Inf
865.45/865.78 c 832s| 1980k|312121 | 4601k| 171M| 45 | 6 | 50 | 26 | 7 | 50 | 22 | 27 | 59k|4065 | 0.000000e+00 | -- | Inf
869.85/870.14 c 837s| 1990k|313424 | 4623k| 171M| 45 | - | 50 | 39 | 6 | 0 | 0 | 27 | 59k|4071 | 0.000000e+00 | -- | Inf
874.16/874.48 c 841s| 2000k|314711 | 4645k| 172M| 45 | 6 | 50 | 47 | 6 | 50 | 22 | 27 | 59k|4077 | 0.000000e+00 | -- | Inf
878.55/878.87 c 845s| 2010k|315797 | 4667k| 173M| 45 | 6 | 50 | 44 | 6 | 50 | 22 | 27 | 60k|4081 | 0.000000e+00 | -- | Inf
882.95/883.30 c 849s| 2020k|316943 | 4690k| 173M| 45 | 6 | 50 | 34 | 6 | 50 | 22 | 27 | 60k|4084 | 0.000000e+00 | -- | Inf
887.35/887.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.35/887.68 c 854s| 2030k|318468 | 4712k| 174M| 45 | - | 50 | 43 | 6 | 50 | 22 | 27 | 60k|4093 | 0.000000e+00 | -- | Inf
891.75/892.05 c 858s| 2040k|320071 | 4736k| 175M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 | 60k|4099 | 0.000000e+00 | -- | Inf
896.15/896.48 c 862s| 2050k|321371 | 4759k| 176M| 45 | 6 | 50 | 36 | 8 | 50 | 22 | 27 | 61k|4110 | 0.000000e+00 | -- | Inf
900.44/900.79 c 866s| 2060k|323098 | 4780k| 177M| 45 | 6 | 50 | 41 | 6 | 50 | 22 | 27 | 61k|4118 | 0.000000e+00 | -- | Inf
904.75/905.10 c 870s| 2070k|324520 | 4802k| 178M| 45 | - | 50 | 38 | 6 | 50 | 22 | 27 | 61k|4122 | 0.000000e+00 | -- | Inf
909.24/909.56 c 875s| 2080k|325526 | 4825k| 178M| 45 | 6 | 50 | 31 | 8 | 50 | 22 | 27 | 62k|4134 | 0.000000e+00 | -- | Inf
913.64/913.98 c 879s| 2090k|327033 | 4848k| 179M| 45 | 6 | 50 | 33 | 6 | 50 | 22 | 27 | 62k|4141 | 0.000000e+00 | -- | Inf
918.14/918.43 c 883s| 2100k|328234 | 4871k| 180M| 45 | 6 | 50 | 33 | 6 | 50 | 22 | 27 | 62k|4153 | 0.000000e+00 | -- | Inf
922.55/922.87 c 887s| 2110k|329566 | 4894k| 181M| 45 | 6 | 50 | 26 | 6 | 50 | 22 | 27 | 62k|4158 | 0.000000e+00 | -- | Inf
926.94/927.26 c 892s| 2120k|330792 | 4917k| 181M| 45 | 6 | 50 | 22 | 6 | 50 | 22 | 27 | 63k|4169 | 0.000000e+00 | -- | Inf
931.34/931.63 c 896s| 2130k|332203 | 4940k| 182M| 45 | 6 | 50 | 36 | 6 | 50 | 22 | 27 | 63k|4176 | 0.000000e+00 | -- | Inf
935.74/936.04 c 900s| 2140k|333716 | 4963k| 183M| 45 | 6 | 50 | 45 | 6 | 50 | 22 | 27 | 63k|4186 | 0.000000e+00 | -- | Inf
940.14/940.45 c 904s| 2150k|334882 | 4985k| 184M| 45 | 6 | 50 | 34 | 6 | 50 | 22 | 27 | 64k|4193 | 0.000000e+00 | -- | Inf
944.64/944.91 c 909s| 2160k|336434 | 5009k| 184M| 45 | - | 50 | 49 | 6 | 50 | 22 | 27 | 64k|4200 | 0.000000e+00 | -- | Inf
948.94/949.27 c 913s| 2170k|337796 | 5032k| 185M| 45 | 6 | 50 | 55 | 6 | 50 | 22 | 27 | 64k|4206 | 0.000000e+00 | -- | Inf
953.34/953.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.34/953.65 c 917s| 2180k|339221 | 5054k| 186M| 45 | - | 50 | 48 | 6 | 50 | 22 | 27 | 65k|4214 | 0.000000e+00 | -- | Inf
957.73/958.04 c 921s| 2190k|340796 | 5077k| 187M| 45 | 6 | 50 | 45 | 6 | 50 | 22 | 27 | 65k|4224 | 0.000000e+00 | -- | Inf
962.14/962.48 c 926s| 2200k|342409 | 5100k| 188M| 45 | - | 50 | 59 | 8 | 50 | 22 | 27 | 65k|4229 | 0.000000e+00 | -- | Inf
966.63/966.92 c 930s| 2210k|343706 | 5123k| 189M| 45 | - | 50 | 40 | 6 | 50 | 22 | 27 | 65k|4237 | 0.000000e+00 | -- | Inf
970.93/971.29 c 934s| 2220k|345247 | 5145k| 189M| 45 | 6 | 50 | 52 | 6 | 50 | 22 | 27 | 65k|4245 | 0.000000e+00 | -- | Inf
975.33/975.69 c 938s| 2230k|346780 | 5167k| 190M| 45 | 6 | 50 | 47 | 6 | 50 | 22 | 27 | 66k|4250 | 0.000000e+00 | -- | Inf
979.92/980.20 c 943s| 2240k|347977 | 5190k| 191M| 45 | - | 50 | 42 | 7 | 0 | 0 | 27 | 66k|4258 | 0.000000e+00 | -- | Inf
984.32/984.70 c 947s| 2250k|349068 | 5213k| 192M| 45 | - | 50 | 32 | 6 | 50 | 22 | 27 | 66k|4269 | 0.000000e+00 | -- | Inf
988.72/989.07 c 951s| 2260k|350297 | 5235k| 192M| 45 | 6 | 50 | 26 | 6 | 50 | 22 | 27 | 66k|4273 | 0.000000e+00 | -- | Inf
993.22/993.51 c 955s| 2270k|351637 | 5258k| 193M| 45 | - | 50 | 36 | 6 | 50 | 22 | 27 | 67k|4280 | 0.000000e+00 | -- | Inf
997.52/997.84 c 960s| 2280k|353000 | 5279k| 194M| 45 | - | 50 | 34 | 6 | 50 | 22 | 27 | 67k|4286 | 0.000000e+00 | -- | Inf
1001.92/1002.24 c 964s| 2290k|354333 | 5302k| 195M| 45 | 6 | 50 | 26 | 6 | 50 | 22 | 27 | 67k|4295 | 0.000000e+00 | -- | Inf
1006.32/1006.64 c 968s| 2300k|355613 | 5324k| 195M| 45 | 6 | 50 | 32 | 6 | 50 | 22 | 27 | 67k|4297 | 0.000000e+00 | -- | Inf
1010.72/1011.02 c 972s| 2310k|356921 | 5346k| 196M| 45 | 6 | 50 | 39 | 7 | 50 | 22 | 27 | 68k|4308 | 0.000000e+00 | -- | Inf
1015.11/1015.46 c 976s| 2320k|358372 | 5369k| 197M| 45 | 6 | 50 | 37 | 6 | 50 | 22 | 27 | 68k|4318 | 0.000000e+00 | -- | Inf
1019.51/1019.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.51/1019.87 c 981s| 2330k|359701 | 5391k| 198M| 45 | - | 50 | 36 | 6 | 50 | 22 | 27 | 68k|4333 | 0.000000e+00 | -- | Inf
1024.01/1024.31 c 985s| 2340k|361190 | 5414k| 199M| 45 | - | 50 | 55 | 6 | 50 | 22 | 27 | 68k|4339 | 0.000000e+00 | -- | Inf
1028.41/1028.75 c 989s| 2350k|362410 | 5437k| 199M| 45 | 6 | 50 | 34 | 6 | 50 | 22 | 27 | 68k|4356 | 0.000000e+00 | -- | Inf
1032.81/1033.18 c 993s| 2360k|363751 | 5460k| 200M| 45 | 6 | 50 | 30 | 6 | 50 | 22 | 27 | 69k|4362 | 0.000000e+00 | -- | Inf
1037.21/1037.57 c 998s| 2370k|365500 | 5482k| 201M| 45 | 6 | 50 | 46 | 6 | 50 | 22 | 27 | 69k|4368 | 0.000000e+00 | -- | Inf
1041.70/1042.09 c 1002s| 2380k|366958 | 5505k| 202M| 45 | 6 | 50 | 40 | 6 | 50 | 22 | 27 | 69k|4379 | 0.000000e+00 | -- | Inf
1046.10/1046.40 c 1006s| 2390k|368798 | 5528k| 203M| 45 | 6 | 50 | 39 | 6 | 50 | 22 | 27 | 69k|4382 | 0.000000e+00 | -- | Inf
1050.30/1050.66 c 1010s| 2400k|370315 | 5550k| 204M| 45 | 6 | 50 | 42 | 7 | 50 | 22 | 27 | 70k|4384 | 0.000000e+00 | -- | Inf
1054.70/1055.04 c 1014s| 2410k|371753 | 5573k| 204M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 | 70k|4394 | 0.000000e+00 | -- | Inf
1059.10/1059.40 c 1019s| 2420k|373138 | 5595k| 205M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 | 70k|4394 | 0.000000e+00 | -- | Inf
1063.50/1063.81 c 1023s| 2430k|374142 | 5618k| 206M| 45 | 6 | 50 | 32 | 6 | 50 | 22 | 27 | 70k|4394 | 0.000000e+00 | -- | Inf
1067.90/1068.27 c 1027s| 2440k|375739 | 5641k| 207M| 45 | - | 50 | 36 | 6 | 50 | 22 | 27 | 70k|4419 | 0.000000e+00 | -- | Inf
1072.40/1072.75 c 1031s| 2450k|376930 | 5663k| 207M| 45 | - | 50 | 35 | 6 | 50 | 22 | 27 | 70k|4420 | 0.000000e+00 | -- | Inf
1076.79/1077.18 c 1036s| 2460k|378284 | 5686k| 208M| 45 | 6 | 50 | 35 | 6 | 50 | 22 | 27 | 71k|4421 | 0.000000e+00 | -- | Inf
1081.29/1081.62 c 1040s| 2470k|379418 | 5708k| 209M| 45 | - | 50 | 33 | 7 | 0 | 0 | 27 | 71k|4426 | 0.000000e+00 | -- | Inf
1085.69/1086.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1085.69/1086.05 c 1044s| 2480k|380513 | 5730k| 210M| 45 | - | 50 | 28 | 6 | 50 | 22 | 27 | 71k|4429 | 0.000000e+00 | -- | Inf
1090.09/1090.45 c 1048s| 2490k|381718 | 5753k| 210M| 45 | 6 | 50 | 30 | 8 | 50 | 22 | 27 | 72k|4437 | 0.000000e+00 | -- | Inf
1094.49/1094.86 c 1053s| 2500k|383216 | 5776k| 211M| 45 | - | 50 | 35 | 5 | 0 | 0 | 27 | 72k|4445 | 0.000000e+00 | -- | Inf
1098.89/1099.26 c 1057s| 2510k|384686 | 5799k| 212M| 45 | - | 50 | 43 | 6 | 0 | 0 | 27 | 72k|4453 | 0.000000e+00 | -- | Inf
1103.38/1103.70 c 1061s| 2520k|385758 | 5821k| 213M| 45 | - | 50 | 38 | 6 | 0 | 0 | 27 | 72k|4457 | 0.000000e+00 | -- | Inf
1107.79/1108.10 c 1065s| 2530k|386980 | 5844k| 213M| 45 | 6 | 50 | 41 | 6 | 50 | 22 | 27 | 72k|4462 | 0.000000e+00 | -- | Inf
1112.18/1112.53 c 1070s| 2540k|388057 | 5866k| 214M| 45 | - | 50 | 41 | 6 | 50 | 22 | 27 | 73k|4472 | 0.000000e+00 | -- | Inf
1116.58/1116.96 c 1074s| 2550k|389124 | 5888k| 215M| 45 | 6 | 50 | 36 | 6 | 50 | 22 | 27 | 73k|4512 | 0.000000e+00 | -- | Inf
1120.99/1121.39 c 1078s| 2560k|390218 | 5911k| 215M| 45 | 6 | 50 | 35 | 6 | 50 | 22 | 27 | 73k|4512 | 0.000000e+00 | -- | Inf
1125.48/1125.83 c 1082s| 2570k|391164 | 5933k| 216M| 45 | 6 | 50 | 40 | 6 | 50 | 22 | 27 | 74k|4512 | 0.000000e+00 | -- | Inf
1129.88/1130.21 c 1087s| 2580k|392258 | 5955k| 217M| 45 | - | 50 | 32 | 6 | 0 | 0 | 27 | 74k|4520 | 0.000000e+00 | -- | Inf
1134.18/1134.59 c 1091s| 2590k|393486 | 5977k| 217M| 45 | - | 50 | 35 | 6 | 50 | 22 | 27 | 74k|4524 | 0.000000e+00 | -- | Inf
1138.68/1139.04 c 1095s| 2600k|395518 | 6002k| 218M| 45 | - | 50 | 43 | 6 | 50 | 22 | 27 | 74k|4525 | 0.000000e+00 | -- | Inf
1143.28/1143.63 c 1100s| 2610k|396947 | 6028k| 219M| 45 | - | 50 | 44 | 6 | 0 | 0 | 27 | 75k|4530 | 0.000000e+00 | -- | Inf
1147.68/1148.07 c 1104s| 2620k|398161 | 6052k| 220M| 45 | - | 50 | 47 | 6 | 50 | 22 | 27 | 75k|4538 | 0.000000e+00 | -- | Inf
1152.07/1152.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.07/1152.42 c 1108s| 2630k|399443 | 6074k| 221M| 45 | 6 | 50 | 35 | 6 | 50 | 22 | 27 | 75k|4541 | 0.000000e+00 | -- | Inf
1156.47/1156.80 c 1112s| 2640k|400630 | 6096k| 221M| 45 | - | 50 | 40 | 6 | 50 | 22 | 27 | 75k|4552 | 0.000000e+00 | -- | Inf
1160.87/1161.20 c 1116s| 2650k|401716 | 6118k| 222M| 45 | 6 | 50 | 31 | 6 | 50 | 22 | 27 | 76k|4557 | 0.000000e+00 | -- | Inf
1165.27/1165.66 c 1121s| 2660k|402842 | 6141k| 223M| 45 | - | 50 | 44 | 7 | 0 | 0 | 27 | 76k|4561 | 0.000000e+00 | -- | Inf
1169.77/1170.12 c 1125s| 2670k|403876 | 6163k| 223M| 45 | - | 50 | 35 | 6 | 50 | 22 | 27 | 76k|4573 | 0.000000e+00 | -- | Inf
1174.17/1174.54 c 1129s| 2680k|405004 | 6186k| 224M| 45 | - | 50 | 28 | 7 | 50 | 22 | 27 | 76k|4578 | 0.000000e+00 | -- | Inf
1178.56/1178.93 c 1134s| 2690k|405939 | 6208k| 225M| 45 | 6 | 50 | 28 | 6 | 50 | 22 | 27 | 77k|4582 | 0.000000e+00 | -- | Inf
1183.18/1183.52 c 1138s| 2700k|407287 | 6233k| 225M| 45 | 6 | 50 | 37 | 9 | 50 | 22 | 27 | 77k|4592 | 0.000000e+00 | -- | Inf
1187.57/1187.97 c 1142s| 2710k|408619 | 6257k| 226M| 45 | 6 | 50 | 40 | 6 | 50 | 22 | 27 | 77k|4596 | 0.000000e+00 | -- | Inf
1191.97/1192.37 c 1146s| 2720k|410108 | 6279k| 227M| 45 | 6 | 50 | 53 | 6 | 50 | 22 | 27 | 78k|4603 | 0.000000e+00 | -- | Inf
1196.37/1196.79 c 1151s| 2730k|411424 | 6302k| 228M| 45 | 6 | 50 | 34 | 6 | 50 | 22 | 27 | 78k|4614 | 0.000000e+00 | -- | Inf
1200.86/1201.23 c 1155s| 2740k|412586 | 6324k| 228M| 45 | - | 50 | 28 | 5 | 0 | 0 | 27 | 78k|4622 | 0.000000e+00 | -- | Inf
1205.16/1205.59 c 1159s| 2750k|414024 | 6346k| 229M| 45 | 6 | 50 | 29 | 6 | 50 | 22 | 27 | 78k|4630 | 0.000000e+00 | -- | Inf
1209.56/1209.92 c 1163s| 2760k|415332 | 6367k| 230M| 45 | 6 | 50 | 24 | 6 | 50 | 22 | 27 | 78k|4640 | 0.000000e+00 | -- | Inf
1213.85/1214.26 c 1168s| 2770k|416536 | 6389k| 231M| 45 | - | 50 | 27 | 6 | 50 | 22 | 27 | 79k|4645 | 0.000000e+00 | -- | Inf
1218.36/1218.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.36/1218.71 c 1172s| 2780k|417736 | 6412k| 231M| 45 | 6 | 50 | 27 | 6 | 50 | 22 | 27 | 79k|4649 | 0.000000e+00 | -- | Inf
1222.76/1223.15 c 1176s| 2790k|419531 | 6435k| 232M| 45 | - | 50 | 29 | 6 | 50 | 22 | 27 | 79k|4656 | 0.000000e+00 | -- | Inf
1227.16/1227.54 c 1180s| 2800k|420536 | 6457k| 233M| 45 | - | 50 | 31 | 6 | 50 | 22 | 27 | 79k|4662 | 0.000000e+00 | -- | Inf
1231.56/1231.97 c 1185s| 2810k|421596 | 6480k| 234M| 45 | - | 50 | 31 | 8 | 50 | 22 | 27 | 80k|4669 | 0.000000e+00 | -- | Inf
1235.96/1236.36 c 1189s| 2820k|422918 | 6502k| 234M| 45 | - | 50 | 27 | 6 | 50 | 22 | 27 | 80k|4685 | 0.000000e+00 | -- | Inf
1240.36/1240.75 c 1193s| 2830k|424281 | 6524k| 235M| 45 | 6 | 50 | 24 | 6 | 50 | 22 | 27 | 80k|4697 | 0.000000e+00 | -- | Inf
1244.76/1245.10 c 1197s| 2840k|425510 | 6546k| 236M| 45 | 6 | 50 | 24 | 7 | 50 | 22 | 27 | 81k|4708 | 0.000000e+00 | -- | Inf
1249.05/1249.46 c 1201s| 2850k|426648 | 6568k| 237M| 45 | 6 | 50 | 38 | 6 | 50 | 22 | 27 | 81k|4708 | 0.000000e+00 | -- | Inf
1253.45/1253.86 c 1206s| 2860k|427757 | 6590k| 237M| 45 | 6 | 50 | 34 | 6 | 50 | 22 | 27 | 81k|4710 | 0.000000e+00 | -- | Inf
1257.95/1258.34 c 1210s| 2870k|428976 | 6613k| 238M| 45 | 6 | 50 | 41 | 7 | 50 | 22 | 27 | 82k|4712 | 0.000000e+00 | -- | Inf
1262.35/1262.77 c 1214s| 2880k|430399 | 6636k| 239M| 45 | 6 | 50 | 33 | 6 | 50 | 22 | 27 | 82k|4715 | 0.000000e+00 | -- | Inf
1266.75/1267.13 c 1218s| 2890k|431749 | 6659k| 240M| 45 | - | 50 | 31 | 6 | 50 | 22 | 27 | 82k|4719 | 0.000000e+00 | -- | Inf
1271.15/1271.56 c 1223s| 2900k|433004 | 6681k| 240M| 45 | - | 50 | 33 | 7 | 50 | 22 | 27 | 82k|4721 | 0.000000e+00 | -- | Inf
1275.55/1276.00 c 1227s| 2910k|434155 | 6704k| 241M| 45 | - | 50 | 38 | 6 | 50 | 22 | 27 | 83k|4721 | 0.000000e+00 | -- | Inf
1279.94/1280.40 c 1231s| 2920k|435597 | 6726k| 242M| 45 | 6 | 50 | 49 | 6 | 50 | 22 | 27 | 83k|4729 | 0.000000e+00 | -- | Inf
1284.54/1284.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.54/1284.95 c 1236s| 2930k|437053 | 6751k| 243M| 45 | - | 50 | 44 | 6 | 50 | 22 | 27 | 83k|4736 | 0.000000e+00 | -- | Inf
1288.94/1289.37 c 1240s| 2940k|438343 | 6774k| 243M| 45 | - | 50 | 45 | 6 | 50 | 22 | 27 | 83k|4745 | 0.000000e+00 | -- | Inf
1293.44/1293.80 c 1244s| 2950k|439533 | 6796k| 244M| 45 | 6 | 50 | 35 | 6 | 50 | 22 | 27 | 84k|4755 | 0.000000e+00 | -- | Inf
1297.73/1298.18 c 1248s| 2960k|440642 | 6818k| 245M| 45 | - | 50 | 34 | 6 | 0 | 0 | 27 | 84k|4759 | 0.000000e+00 | -- | Inf
1302.23/1302.69 c 1253s| 2970k|442514 | 6843k| 246M| 45 | - | 50 | 43 | 6 | 50 | 22 | 27 | 84k|4769 | 0.000000e+00 | -- | Inf
1306.84/1307.26 c 1257s| 2980k|444184 | 6870k| 247M| 45 | - | 50 | 44 | 8 | 50 | 22 | 27 | 84k|4776 | 0.000000e+00 | -- | Inf
1311.43/1311.88 c 1261s| 2990k|445337 | 6895k| 247M| 45 | 6 | 50 | 41 | 6 | 50 | 22 | 27 | 85k|4782 | 0.000000e+00 | -- | Inf
1315.93/1316.35 c 1266s| 3000k|446553 | 6918k| 248M| 45 | 6 | 50 | 31 | 6 | 50 | 22 | 27 | 85k|4795 | 0.000000e+00 | -- | Inf
1320.43/1320.81 c 1270s| 3010k|447668 | 6940k| 249M| 45 | 6 | 50 | 28 | 6 | 50 | 22 | 27 | 85k|4809 | 0.000000e+00 | -- | Inf
1324.83/1325.21 c 1274s| 3020k|448879 | 6962k| 250M| 45 | - | 50 | 32 | 6 | 50 | 22 | 27 | 86k|4821 | 0.000000e+00 | -- | Inf
1329.13/1329.58 c 1278s| 3030k|451039 | 6986k| 251M| 45 | - | 50 | 44 | 6 | 50 | 22 | 27 | 86k|4828 | 0.000000e+00 | -- | Inf
1333.63/1334.02 c 1283s| 3040k|453591 | 7011k| 252M| 45 | 6 | 50 | 50 | 6 | 50 | 22 | 27 | 86k|4833 | 0.000000e+00 | -- | Inf
1338.03/1338.49 c 1287s| 3050k|455553 | 7035k| 253M| 45 | 6 | 50 | 42 | 6 | 50 | 22 | 27 | 86k|4838 | 0.000000e+00 | -- | Inf
1342.43/1342.82 c 1291s| 3060k|457662 | 7058k| 254M| 45 | 6 | 50 | 39 | 6 | 50 | 22 | 27 | 86k|4843 | 0.000000e+00 | -- | Inf
1346.82/1347.26 c 1295s| 3070k|459451 | 7082k| 255M| 45 | 6 | 50 | 41 | 6 | 50 | 22 | 27 | 86k|4851 | 0.000000e+00 | -- | Inf
1351.22/1351.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1351.22/1351.69 c 1300s| 3080k|461493 | 7105k| 256M| 45 | 6 | 50 | 42 | 6 | 50 | 22 | 27 | 86k|4854 | 0.000000e+00 | -- | Inf
1355.62/1356.06 c 1304s| 3090k|463508 | 7129k| 257M| 45 | - | 50 | 40 | 6 | 50 | 22 | 27 | 86k|4856 | 0.000000e+00 | -- | Inf
1360.02/1360.45 c 1308s| 3100k|465886 | 7153k| 258M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 | 86k|4864 | 0.000000e+00 | -- | Inf
1364.42/1364.86 c 1312s| 3110k|467887 | 7176k| 259M| 45 | 6 | 50 | 36 | 6 | 50 | 22 | 27 | 86k|4867 | 0.000000e+00 | -- | Inf
1368.82/1369.25 c 1317s| 3120k|470292 | 7199k| 260M| 45 | 6 | 50 | 41 | 6 | 50 | 22 | 27 | 87k|4871 | 0.000000e+00 | -- | Inf
1373.21/1373.68 c 1321s| 3130k|471920 | 7222k| 261M| 45 | - | 50 | 40 | 6 | 0 | 0 | 27 | 87k|4875 | 0.000000e+00 | -- | Inf
1377.72/1378.11 c 1325s| 3140k|473925 | 7245k| 262M| 45 | 6 | 50 | 35 | 6 | 50 | 22 | 27 | 87k|4880 | 0.000000e+00 | -- | Inf
1382.11/1382.57 c 1329s| 3150k|475914 | 7269k| 263M| 45 | 6 | 50 | 39 | 6 | 50 | 22 | 27 | 87k|4884 | 0.000000e+00 | -- | Inf
1386.62/1387.05 c 1334s| 3160k|477420 | 7292k| 264M| 45 | - | 50 | 37 | 6 | 50 | 22 | 27 | 87k|4891 | 0.000000e+00 | -- | Inf
1391.02/1391.43 c 1338s| 3170k|479599 | 7316k| 265M| 45 | 6 | 50 | 36 | 6 | 50 | 22 | 27 | 87k|4901 | 0.000000e+00 | -- | Inf
1395.42/1395.84 c 1342s| 3180k|481461 | 7340k| 266M| 45 | - | 50 | 38 | 6 | 50 | 22 | 27 | 87k|4904 | 0.000000e+00 | -- | Inf
1399.81/1400.28 c 1346s| 3190k|483146 | 7363k| 267M| 45 | 6 | 50 | 35 | 6 | 50 | 22 | 27 | 87k|4906 | 0.000000e+00 | -- | Inf
1404.31/1404.72 c 1351s| 3200k|484601 | 7386k| 268M| 45 | - | 50 | 36 | 6 | 50 | 22 | 27 | 87k|4908 | 0.000000e+00 | -- | Inf
1408.71/1409.12 c 1355s| 3210k|486283 | 7409k| 269M| 45 | - | 50 | 37 | 6 | 0 | 0 | 27 | 87k|4918 | 0.000000e+00 | -- | Inf
1413.11/1413.58 c 1359s| 3220k|487799 | 7432k| 269M| 45 | - | 50 | 40 | 6 | 0 | 0 | 27 | 87k|4925 | 0.000000e+00 | -- | Inf
1417.60/1418.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.60/1418.06 c 1364s| 3230k|489317 | 7456k| 270M| 45 | 6 | 50 | 40 | 7 | 50 | 22 | 27 | 87k|4933 | 0.000000e+00 | -- | Inf
1422.20/1422.60 c 1368s| 3240k|490921 | 7479k| 271M| 45 | 6 | 50 | 41 | 6 | 50 | 22 | 27 | 87k|4941 | 0.000000e+00 | -- | Inf
1426.50/1426.98 c 1372s| 3250k|493356 | 7503k| 272M| 45 | 6 | 50 | 45 | 6 | 50 | 22 | 27 | 87k|4944 | 0.000000e+00 | -- | Inf
1431.00/1431.48 c 1377s| 3260k|495056 | 7526k| 273M| 45 | 6 | 50 | 49 | 8 | 50 | 22 | 27 | 87k|4947 | 0.000000e+00 | -- | Inf
1435.50/1435.99 c 1381s| 3270k|496680 | 7550k| 274M| 45 | 6 | 50 | 46 | 6 | 50 | 22 | 27 | 88k|4951 | 0.000000e+00 | -- | Inf
1440.00/1440.48 c 1385s| 3280k|498238 | 7574k| 275M| 45 | - | 50 | 46 | 6 | 50 | 22 | 27 | 88k|4956 | 0.000000e+00 | -- | Inf
1444.49/1444.92 c 1389s| 3290k|499994 | 7597k| 276M| 45 | 6 | 50 | 51 | 6 | 50 | 22 | 27 | 88k|4959 | 0.000000e+00 | -- | Inf
1448.90/1449.31 c 1394s| 3300k|501681 | 7620k| 277M| 45 | - | 50 | 47 | 6 | 50 | 22 | 27 | 88k|4963 | 0.000000e+00 | -- | Inf
1453.29/1453.78 c 1398s| 3310k|503180 | 7644k| 278M| 45 | - | 50 | 40 | 6 | 0 | 0 | 27 | 88k|4967 | 0.000000e+00 | -- | Inf
1457.79/1458.29 c 1402s| 3320k|505006 | 7667k| 279M| 45 | 6 | 50 | 44 | 6 | 50 | 22 | 27 | 88k|4969 | 0.000000e+00 | -- | Inf
1462.20/1462.68 c 1407s| 3330k|507001 | 7690k| 280M| 45 | 6 | 50 | 42 | 6 | 50 | 22 | 27 | 88k|4973 | 0.000000e+00 | -- | Inf
1466.69/1467.15 c 1411s| 3340k|508941 | 7714k| 281M| 45 | 6 | 50 | 45 | 6 | 50 | 22 | 27 | 88k|4980 | 0.000000e+00 | -- | Inf
1471.09/1471.50 c 1415s| 3350k|510502 | 7736k| 281M| 45 | - | 50 | 52 | 6 | 0 | 0 | 27 | 88k|4981 | 0.000000e+00 | -- | Inf
1475.39/1475.89 c 1419s| 3360k|512266 | 7759k| 282M| 45 | 6 | 50 | 48 | 6 | 50 | 22 | 27 | 88k|4985 | 0.000000e+00 | -- | Inf
1479.89/1480.36 c 1424s| 3370k|513802 | 7782k| 283M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 | 88k|4987 | 0.000000e+00 | -- | Inf
1484.49/1484.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.49/1484.93 c 1428s| 3380k|515332 | 7805k| 284M| 45 | 6 | 50 | 45 | 7 | 50 | 22 | 27 | 88k|4990 | 0.000000e+00 | -- | Inf
1488.99/1489.47 c 1432s| 3390k|516993 | 7829k| 285M| 45 | 6 | 50 | 53 | 6 | 50 | 22 | 27 | 89k|4997 | 0.000000e+00 | -- | Inf
1493.48/1493.90 c 1436s| 3400k|518479 | 7853k| 286M| 45 | 6 | 50 | 48 | 6 | 50 | 22 | 27 | 89k|5002 | 0.000000e+00 | -- | Inf
1497.98/1498.41 c 1441s| 3410k|519936 | 7875k| 287M| 45 | 6 | 50 | 45 | 6 | 50 | 22 | 27 | 89k|5006 | 0.000000e+00 | -- | Inf
1502.48/1502.90 c 1445s| 3420k|521472 | 7899k| 287M| 45 | 6 | 50 | 47 | 7 | 50 | 22 | 27 | 89k|5010 | 0.000000e+00 | -- | Inf
1506.88/1507.39 c 1449s| 3430k|523270 | 7923k| 288M| 45 | - | 50 | 46 | 6 | 0 | 0 | 27 | 89k|5013 | 0.000000e+00 | -- | Inf
1511.48/1511.91 c 1454s| 3440k|524646 | 7946k| 289M| 45 | - | 50 | 55 | 6 | 50 | 22 | 27 | 89k|5017 | 0.000000e+00 | -- | Inf
1515.88/1516.38 c 1458s| 3450k|526156 | 7969k| 290M| 45 | - | 50 | 41 | 6 | 50 | 22 | 27 | 89k|5018 | 0.000000e+00 | -- | Inf
1520.47/1520.91 c 1462s| 3460k|527735 | 7993k| 291M| 45 | - | 50 | 44 | 6 | 50 | 22 | 27 | 89k|5021 | 0.000000e+00 | -- | Inf
1524.98/1525.47 c 1467s| 3470k|528976 | 8016k| 292M| 45 | 6 | 50 | 41 | 6 | 50 | 22 | 27 | 89k|5023 | 0.000000e+00 | -- | Inf
1529.47/1529.98 c 1471s| 3480k|530690 | 8039k| 292M| 45 | - | 50 | 42 | 6 | 50 | 22 | 27 | 89k|5028 | 0.000000e+00 | -- | Inf
1534.07/1534.54 c 1476s| 3490k|532080 | 8063k| 293M| 45 | - | 50 | 44 | 6 | 0 | 0 | 27 | 89k|5031 | 0.000000e+00 | -- | Inf
1538.68/1539.12 c 1480s| 3500k|533415 | 8087k| 294M| 45 | 6 | 50 | 46 | 6 | 50 | 22 | 27 | 90k|5036 | 0.000000e+00 | -- | Inf
1543.17/1543.62 c 1484s| 3510k|535043 | 8111k| 295M| 45 | 6 | 50 | 49 | 7 | 50 | 22 | 27 | 90k|5044 | 0.000000e+00 | -- | Inf
1547.57/1548.08 c 1489s| 3520k|536405 | 8134k| 296M| 45 | - | 50 | 38 | 6 | 50 | 22 | 27 | 90k|5049 | 0.000000e+00 | -- | Inf
1552.17/1552.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.17/1552.65 c 1493s| 3530k|537790 | 8158k| 297M| 45 | 6 | 50 | 39 | 6 | 50 | 22 | 27 | 90k|5053 | 0.000000e+00 | -- | Inf
1556.77/1557.23 c 1497s| 3540k|539113 | 8181k| 297M| 45 | - | 50 | 43 | 6 | 50 | 22 | 27 | 90k|5057 | 0.000000e+00 | -- | Inf
1561.26/1561.70 c 1502s| 3550k|541060 | 8205k| 298M| 45 | - | 50 | 44 | 6 | 50 | 22 | 27 | 90k|5060 | 0.000000e+00 | -- | Inf
1565.67/1566.15 c 1506s| 3560k|543051 | 8229k| 299M| 45 | 6 | 50 | 48 | 6 | 50 | 22 | 27 | 90k|5064 | 0.000000e+00 | -- | Inf
1570.16/1570.67 c 1510s| 3570k|544514 | 8252k| 300M| 45 | 6 | 50 | 47 | 8 | 50 | 22 | 27 | 90k|5068 | 0.000000e+00 | -- | Inf
1574.77/1575.25 c 1515s| 3580k|545744 | 8276k| 301M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 | 90k|5071 | 0.000000e+00 | -- | Inf
1579.26/1579.76 c 1519s| 3590k|547182 | 8299k| 302M| 45 | - | 50 | 39 | 6 | 0 | 0 | 27 | 90k|5077 | 0.000000e+00 | -- | Inf
1583.76/1584.20 c 1523s| 3600k|548374 | 8322k| 302M| 45 | 6 | 50 | 45 | 6 | 50 | 22 | 27 | 90k|5081 | 0.000000e+00 | -- | Inf
1588.16/1588.60 c 1528s| 3610k|550229 | 8345k| 303M| 45 | 6 | 50 | 45 | 6 | 50 | 22 | 27 | 90k|5084 | 0.000000e+00 | -- | Inf
1592.56/1593.04 c 1532s| 3620k|551536 | 8366k| 304M| 45 | 6 | 50 | 45 | 6 | 50 | 22 | 27 | 91k|5088 | 0.000000e+00 | -- | Inf
1597.16/1597.62 c 1536s| 3630k|553012 | 8390k| 305M| 45 | - | 50 | 45 | 7 | 50 | 22 | 27 | 91k|5092 | 0.000000e+00 | -- | Inf
1601.66/1602.18 c 1541s| 3640k|554271 | 8413k| 306M| 45 | - | 50 | 39 | 6 | 50 | 22 | 27 | 91k|5099 | 0.000000e+00 | -- | Inf
1606.16/1606.68 c 1545s| 3650k|555796 | 8436k| 306M| 45 | 6 | 50 | 39 | 6 | 50 | 22 | 27 | 91k|5106 | 0.000000e+00 | -- | Inf
1610.65/1611.11 c 1549s| 3660k|557484 | 8459k| 307M| 45 | - | 50 | 47 | 6 | 50 | 22 | 27 | 91k|5110 | 0.000000e+00 | -- | Inf
1615.15/1615.62 c 1554s| 3670k|559006 | 8482k| 308M| 45 | 6 | 50 | 43 | 7 | 50 | 22 | 27 | 91k|5114 | 0.000000e+00 | -- | Inf
1619.65/1620.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1619.65/1620.16 c 1558s| 3680k|560562 | 8505k| 309M| 45 | 6 | 50 | 40 | 6 | 50 | 22 | 27 | 91k|5125 | 0.000000e+00 | -- | Inf
1624.25/1624.72 c 1562s| 3690k|561744 | 8528k| 310M| 45 | 6 | 50 | 37 | 6 | 50 | 22 | 27 | 91k|5128 | 0.000000e+00 | -- | Inf
1628.75/1629.23 c 1567s| 3700k|563085 | 8552k| 311M| 45 | - | 50 | 40 | 6 | 50 | 22 | 27 | 91k|5139 | 0.000000e+00 | -- | Inf
1633.25/1633.73 c 1571s| 3710k|564777 | 8576k| 311M| 45 | - | 50 | 40 | 6 | 0 | 0 | 27 | 91k|5151 | 0.000000e+00 | -- | Inf
1637.74/1638.26 c 1575s| 3720k|566328 | 8599k| 312M| 45 | 6 | 50 | 46 | 6 | 50 | 22 | 27 | 91k|5155 | 0.000000e+00 | -- | Inf
1642.35/1642.81 c 1580s| 3730k|567723 | 8622k| 313M| 45 | - | 50 | 46 | 6 | 50 | 22 | 27 | 92k|5158 | 0.000000e+00 | -- | Inf
1646.74/1647.28 c 1584s| 3740k|569272 | 8645k| 314M| 45 | 6 | 50 | 41 | 7 | 50 | 22 | 27 | 92k|5163 | 0.000000e+00 | -- | Inf
1651.34/1651.80 c 1588s| 3750k|570998 | 8669k| 315M| 45 | 6 | 50 | 49 | 6 | 50 | 22 | 27 | 92k|5166 | 0.000000e+00 | -- | Inf
1655.84/1656.32 c 1593s| 3760k|572484 | 8692k| 316M| 45 | 6 | 50 | 45 | 6 | 50 | 22 | 27 | 92k|5173 | 0.000000e+00 | -- | Inf
1660.44/1660.92 c 1597s| 3770k|573736 | 8716k| 316M| 45 | 6 | 50 | 49 | 6 | 50 | 22 | 27 | 92k|5176 | 0.000000e+00 | -- | Inf
1664.94/1665.42 c 1602s| 3780k|575105 | 8739k| 317M| 45 | - | 50 | 48 | 9 | 0 | 0 | 27 | 92k|5180 | 0.000000e+00 | -- | Inf
1669.44/1669.96 c 1606s| 3790k|577024 | 8763k| 318M| 45 | 6 | 50 | 48 | 6 | 50 | 22 | 27 | 92k|5185 | 0.000000e+00 | -- | Inf
1674.03/1674.56 c 1610s| 3800k|578770 | 8788k| 319M| 45 | - | 50 | 52 | 6 | 50 | 22 | 27 | 92k|5189 | 0.000000e+00 | -- | Inf
1678.63/1679.14 c 1615s| 3810k|580234 | 8811k| 320M| 45 | 6 | 50 | 50 | 6 | 50 | 22 | 27 | 92k|5196 | 0.000000e+00 | -- | Inf
1683.13/1683.62 c 1619s| 3820k|581570 | 8834k| 321M| 45 | 6 | 50 | 48 | 6 | 50 | 22 | 27 | 92k|5199 | 0.000000e+00 | -- | Inf
1687.53/1688.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.53/1688.08 c 1623s| 3830k|583110 | 8857k| 322M| 45 | 6 | 50 | 48 | 6 | 50 | 22 | 27 | 92k|5202 | 0.000000e+00 | -- | Inf
1692.13/1692.65 c 1628s| 3840k|584643 | 8880k| 322M| 45 | 6 | 50 | 41 | 6 | 50 | 22 | 27 | 93k|5212 | 0.000000e+00 | -- | Inf
1696.63/1697.19 c 1632s| 3850k|585920 | 8903k| 323M| 45 | 6 | 50 | 41 | 6 | 50 | 22 | 27 | 93k|5221 | 0.000000e+00 | -- | Inf
1701.13/1701.69 c 1636s| 3860k|587185 | 8925k| 324M| 45 | 6 | 50 | 35 | 6 | 50 | 22 | 27 | 93k|5224 | 0.000000e+00 | -- | Inf
1705.63/1706.13 c 1641s| 3870k|588608 | 8948k| 325M| 45 | - | 50 | 40 | 6 | 50 | 22 | 27 | 93k|5226 | 0.000000e+00 | -- | Inf
1710.13/1710.61 c 1645s| 3880k|590243 | 8970k| 326M| 45 | 6 | 50 | 36 | 6 | 50 | 22 | 27 | 93k|5231 | 0.000000e+00 | -- | Inf
1714.62/1715.15 c 1649s| 3890k|592075 | 8993k| 326M| 45 | - | 50 | 38 | 6 | 50 | 22 | 27 | 93k|5237 | 0.000000e+00 | -- | Inf
1719.22/1719.73 c 1654s| 3900k|593424 | 9016k| 327M| 45 | - | 50 | 38 | 6 | 50 | 22 | 27 | 93k|5244 | 0.000000e+00 | -- | Inf
1723.83/1724.39 c 1658s| 3910k|594618 | 9040k| 328M| 45 | - | 50 | 39 | 6 | 50 | 22 | 27 | 93k|5247 | 0.000000e+00 | -- | Inf
1728.42/1728.94 c 1663s| 3920k|595802 | 9063k| 329M| 45 | - | 50 | 43 | 7 | 0 | 0 | 27 | 93k|5261 | 0.000000e+00 | -- | Inf
1732.92/1733.46 c 1667s| 3930k|597209 | 9086k| 329M| 45 | 6 | 50 | 41 | 6 | 50 | 22 | 27 | 93k|5269 | 0.000000e+00 | -- | Inf
1737.52/1738.07 c 1671s| 3940k|598769 | 9110k| 330M| 45 | - | 50 | 48 | 6 | 50 | 22 | 27 | 93k|5272 | 0.000000e+00 | -- | Inf
1742.22/1742.77 c 1676s| 3950k|600088 | 9134k| 331M| 45 | 6 | 50 | 43 | 6 | 50 | 22 | 27 | 93k|5281 | 0.000000e+00 | -- | Inf
1746.81/1747.37 c 1680s| 3960k|601387 | 9158k| 332M| 45 | 6 | 50 | 41 | 6 | 50 | 22 | 27 | 94k|5286 | 0.000000e+00 | -- | Inf
1751.31/1751.89 c 1685s| 3970k|602649 | 9180k| 333M| 45 | - | 50 | 40 | 6 | 0 | 0 | 27 | 94k|5290 | 0.000000e+00 | -- | Inf
1755.81/1756.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.81/1756.36 c 1689s| 3980k|603887 | 9203k| 333M| 45 | - | 50 | 29 | 6 | 50 | 22 | 27 | 94k|5295 | 0.000000e+00 | -- | Inf
1760.32/1760.87 c 1693s| 3990k|605060 | 9225k| 334M| 45 | - | 50 | 30 | 9 | 50 | 22 | 27 | 94k|5299 | 0.000000e+00 | -- | Inf
1764.81/1765.37 c 1698s| 4000k|606059 | 9247k| 335M| 45 | 6 | 50 | 26 | 7 | 50 | 22 | 27 | 94k|5306 | 0.000000e+00 | -- | Inf
1769.32/1769.80 c 1702s| 4010k|607402 | 9269k| 335M| 45 | 6 | 50 | 35 | 6 | 50 | 22 | 27 | 95k|5312 | 0.000000e+00 | -- | Inf
1773.71/1774.25 c 1706s| 4020k|608461 | 9290k| 336M| 45 | - | 50 | 32 | 6 | 50 | 22 | 27 | 95k|5319 | 0.000000e+00 | -- | Inf
1778.21/1778.71 c 1711s| 4030k|609954 | 9313k| 337M| 45 | 6 | 50 | 37 | 6 | 50 | 22 | 27 | 95k|5321 | 0.000000e+00 | -- | Inf
1782.61/1783.18 c 1715s| 4040k|611090 | 9334k| 338M| 45 | - | 50 | 31 | 6 | 0 | 0 | 27 | 95k|5329 | 0.000000e+00 | -- | Inf
1787.11/1787.69 c 1719s| 4050k|612453 | 9357k| 338M| 45 | - | 50 | 31 | 8 | 50 | 22 | 27 | 95k|5337 | 0.000000e+00 | -- | Inf
1791.60/1792.18 c 1724s| 4060k|613678 | 9380k| 339M| 45 | - | 50 | 25 | 6 | 0 | 0 | 27 | 96k|5348 | 0.000000e+00 | -- | Inf
1796.01/1796.52 c 1728s| 4070k|614915 | 9402k| 340M| 45 | 6 | 50 | 27 | 6 | 50 | 22 | 27 | 96k|5351 | 0.000000e+00 | -- | Inf
1800.00/1800.50 c
1800.00/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.50 c Solving Time (sec) : 1731.57
1800.00/1800.50 c Solving Nodes : 4078865
1800.00/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.50 c Dual Bound : +0.00000000000000e+00
1800.00/1800.50 c Gap : infinite
1800.00/1800.50 c NODE 4078865
1800.00/1800.50 c DUAL BOUND 0
1800.00/1800.50 c PRIMAL BOUND 1e+20
1800.00/1800.50 c GAP 1e+20
1800.00/1800.50 s UNKNOWN
1800.00/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.50 c Solving Time : 1731.57
1800.00/1800.50 c Original Problem :
1800.00/1800.50 c Problem name : HOME/instance-1869529-1245176703.opb
1800.00/1800.50 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.50 c Constraints : 13 initial, 13 maximal
1800.00/1800.50 c Presolved Problem :
1800.00/1800.50 c Problem name : t_HOME/instance-1869529-1245176703.opb
1800.00/1800.50 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.50 c Constraints : 6 initial, 368 maximal
1800.00/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.00/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.00/1800.50 c linear : 0.00 0 0 0 0 0 7 0 0
1800.00/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c root node : - 0 - - 0 - - - -
1800.00/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.50 c integral : 0 0 0 2354799 0 693 2374 0 0 4703626
1800.00/1800.50 c linear : 6 6 5189919 0 0 436134 6541720 0 0 0
1800.00/1800.50 c logicor : 0+ 0 1324603 0 0 54 85351 0 0 0
1800.00/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.50 c integral : 26.15 0.00 0.00 26.15 0.00
1800.00/1800.50 c linear : 263.26 0.00 263.26 0.00 0.00
1800.00/1800.50 c logicor : 3.83 0.00 3.83 0.00 0.00
1800.00/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.50 c rootredcost : 2.36 0 0 0
1800.00/1800.50 c pseudoobj : 1.41 0 0 0
1800.00/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.50 c propagation : 36.16 436188 91280 196069 37.4 0 0.0 -
1800.00/1800.50 c infeasible LP : 13.69 1299379 4361 5419 22.9 1 34.0 0
1800.00/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.50 c applied globally : - - - 8768 24.9 - - -
1800.00/1800.50 c applied locally : - - - 87521 36.4 - - -
1800.00/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.50 c cut pool : 0.00 5 - - 24 - (maximal pool size: 107)
1800.00/1800.50 c redcost : 4.87 2354802 0 0 0 0
1800.00/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.00/1800.50 c intobj : 0.00 0 0 0 0 0
1800.00/1800.50 c gomory : 0.00 6 0 0 0 0
1800.00/1800.50 c strongcg : 0.00 6 0 0 48 0
1800.00/1800.50 c cmir : 0.02 6 0 0 33 0
1800.00/1800.50 c flowcover : 0.04 6 0 0 47 0
1800.00/1800.50 c clique : 0.00 1 0 0 0 0
1800.00/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.50 c mcf : 0.00 1 0 0 0 0
1800.00/1800.50 c Pricers : Time Calls Vars
1800.00/1800.50 c problem variables: 0.00 0 0
1800.00/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.50 c relpscost : 23.89 2354799 693 2374 0 0 4703626
1800.00/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.00/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.50 c random : 0.00 0 0 0 0 0 0
1800.00/1800.50 c Primal Heuristics : Time Calls Found
1800.00/1800.50 c LP solutions : 0.00 - 0
1800.00/1800.50 c pseudo solutions : 0.00 - 0
1800.00/1800.50 c oneopt : 1.82 0 0
1800.00/1800.50 c crossover : 1.14 0 0
1800.00/1800.50 c guideddiving : 0.15 0 0
1800.00/1800.50 c fracdiving : 0.27 65 0
1800.00/1800.50 c veclendiving : 0.25 65 0
1800.00/1800.50 c objpscostdiving : 0.15 33 0
1800.00/1800.50 c feaspump : 0.18 33 0
1800.00/1800.50 c rootsoldiving : 0.17 33 0
1800.00/1800.50 c coefdiving : 0.12 66 0
1800.00/1800.50 c linesearchdiving : 0.22 66 0
1800.00/1800.50 c pscostdiving : 0.21 66 0
1800.00/1800.50 c simplerounding : 1.15 0 0
1800.00/1800.50 c rounding : 2.16 21684 0
1800.00/1800.50 c shifting : 4.47 6456 0
1800.00/1800.50 c intshifting : 0.06 0 0
1800.00/1800.50 c fixandinfer : 0.00 0 0
1800.00/1800.50 c intdiving : 0.00 0 0
1800.00/1800.50 c actconsdiving : 0.00 0 0
1800.00/1800.50 c octane : 0.00 0 0
1800.00/1800.50 c rens : 0.05 1 0
1800.00/1800.50 c rins : 0.00 0 0
1800.00/1800.50 c localbranching : 0.00 0 0
1800.00/1800.50 c mutation : 0.00 0 0
1800.00/1800.50 c dins : 0.00 0 0
1800.00/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.50 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.50 c dual LP : 1157.45 3683306 9419693 2.56 8138.32
1800.00/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.50 c diving/probing LP: 0.48 1471 2688 1.83 5600.00
1800.00/1800.50 c strong branching : 1.36 5355 32291 6.03 23743.38
1800.00/1800.50 c (at root node) : - 19 975 51.32 -
1800.00/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.50 c B&B Tree :
1800.00/1800.50 c number of runs : 1
1800.00/1800.50 c nodes : 4078865
1800.00/1800.50 c nodes (total) : 4078865
1800.00/1800.50 c nodes left : 616308
1800.00/1800.50 c max depth : 45
1800.00/1800.50 c max depth (total): 45
1800.00/1800.50 c backtracks : 582269 (14.3%)
1800.00/1800.50 c delayed cutoffs : 8454
1800.00/1800.50 c repropagations : 136187 (134811 domain reductions, 8438 cutoffs)
1800.00/1800.50 c avg switch length: 4.24
1800.00/1800.50 c switching time : 101.31
1800.00/1800.50 c Solution :
1800.00/1800.50 c Solutions found : 0 (0 improvements)
1800.00/1800.50 c Primal Bound : -
1800.00/1800.50 c Dual Bound : +0.00000000000000e+00
1800.00/1800.50 c Gap : infinite
1800.00/1800.50 c Root Dual Bound : +0.00000000000000e+00
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869529-1245176703/watcher-1869529-1245176703 -o /tmp/evaluation-result-1869529-1245176703/solver-1869529-1245176703 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869529-1245176703.opb
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 12066
/proc/meminfo: memFree=1849664/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=5812 CPUtime=0
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 70373184 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/12066/statm: 1453 502 332 1256 0 192 0
[startup+0.0308841 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 12066
/proc/meminfo: memFree=1849664/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=14124 CPUtime=0.01
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 2833 0 0 0 1 0 0 0 18 0 1 0 70373184 14462976 2463 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 3531 2463 647 1256 0 2270 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14124
[startup+0.101891 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 12066
/proc/meminfo: memFree=1849664/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=14908 CPUtime=0.09
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 2989 0 0 0 8 1 0 0 18 0 1 0 70373184 15265792 2616 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 3727 2617 660 1256 0 2466 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14908
[startup+0.301914 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 12066
/proc/meminfo: memFree=1849664/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=15708 CPUtime=0.29
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 4593 0 0 0 27 2 0 0 19 0 1 0 70373184 16084992 2623 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 3927 2623 686 1256 0 2666 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15708
[startup+0.701959 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 12066
/proc/meminfo: memFree=1849664/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=15992 CPUtime=0.69
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 4640 0 0 0 65 4 0 0 22 0 1 0 70373184 16375808 2670 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 3998 2670 692 1256 0 2737 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15992
[startup+1.50105 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1841592/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=15992 CPUtime=1.49
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 4674 0 0 0 142 7 0 0 25 0 1 0 70373184 16375808 2704 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 3998 2704 692 1256 0 2737 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15992
[startup+3.10124 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1841208/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=16340 CPUtime=3.09
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 4798 0 0 0 296 13 0 0 25 0 1 0 70373184 16732160 2828 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 4085 2828 692 1256 0 2824 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16340
[startup+6.30161 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1839608/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=19020 CPUtime=6.29
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 5127 0 0 0 602 27 0 0 25 0 1 0 70373184 19476480 3157 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 4755 3157 692 1256 0 3494 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19020
[startup+12.7023 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1838016/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=20488 CPUtime=12.69
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 5548 0 0 0 1222 47 0 0 25 0 1 0 70373184 20979712 3578 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 5122 3578 692 1256 0 3861 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20488
[startup+25.5018 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1834496/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=23588 CPUtime=25.49
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 6409 0 0 0 2453 96 0 0 25 0 1 0 70373184 24154112 4439 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 5897 4439 692 1256 0 4636 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23588
[startup+51.1018 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1828800/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=29444 CPUtime=51.07
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 7844 0 0 0 4913 194 0 0 25 0 1 0 70373184 30150656 5874 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 7361 5874 692 1256 0 6100 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29444
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1817600/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=40536 CPUtime=102.26
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 10599 0 0 0 9828 398 0 0 25 0 1 0 70373184 41508864 8629 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 10134 8629 692 1256 0 8873 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40536
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1804096/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=55252 CPUtime=162.24
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 13962 0 0 0 15593 631 0 0 25 0 1 0 70373184 56578048 11992 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 13813 11992 692 1256 0 12552 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 55252
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1791168/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=68304 CPUtime=222.23
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 17184 0 0 0 21367 856 0 0 25 0 1 0 70373184 69943296 15214 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 17076 15214 692 1256 0 15815 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 68304
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1779136/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=80044 CPUtime=282.21
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 20175 0 0 0 27131 1090 0 0 25 0 1 0 70373184 81965056 18205 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 20011 18205 692 1256 0 18750 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 80044
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1766464/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=92832 CPUtime=342.19
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 23322 0 0 0 32898 1321 0 0 25 0 1 0 70373184 95059968 21351 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 23208 21351 692 1256 0 21947 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 92832
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1753600/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=105560 CPUtime=402.17
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 26514 0 0 0 38662 1555 0 0 25 0 1 0 70373184 108093440 24543 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 26390 24543 692 1256 0 25129 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 105560
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1741696/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=117164 CPUtime=462.16
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 29459 0 0 0 44431 1785 0 0 25 0 1 0 70373184 119975936 27488 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 29291 27488 692 1256 0 28030 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 117164
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1729344/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=133704 CPUtime=522.15
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 32540 0 0 0 50201 2014 0 0 25 0 1 0 70373184 136912896 30568 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 33426 30568 692 1256 0 32165 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 133704
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1718144/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=144576 CPUtime=582.13
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 35329 0 0 0 55977 2236 0 0 25 0 1 0 70373184 148045824 33357 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 36144 33357 692 1256 0 34883 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 144576
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 12067
/proc/meminfo: memFree=1706880/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=155484 CPUtime=642.12
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 38139 0 0 0 61749 2463 0 0 25 0 1 0 70373184 159215616 36167 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 38871 36167 692 1256 0 37610 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 155484
[startup+702.302 s]
################
# More data... #
################
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 57593 0 0 0 102141 4059 0 0 25 0 1 0 70373184 239009792 55619 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 58352 55619 692 1256 0 57091 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 233408
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 12067
/proc/meminfo: memFree=1618496/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=243200 CPUtime=1121.99
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 60056 0 0 0 107907 4292 0 0 25 0 1 0 70373184 249036800 58082 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 60800 58082 692 1256 0 59539 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 243200
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 12067
/proc/meminfo: memFree=1608960/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=253128 CPUtime=1181.97
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 62421 0 0 0 113680 4517 0 0 25 0 1 0 70373184 259203072 60447 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 63282 60447 692 1256 0 62021 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 253128
[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 12067
/proc/meminfo: memFree=1598208/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=263264 CPUtime=1241.95
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 65057 0 0 0 119453 4742 0 0 25 0 1 0 70373184 269582336 63081 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 65816 63081 692 1256 0 64555 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 263264
[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 12067
/proc/meminfo: memFree=1587648/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=273344 CPUtime=1301.94
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 67682 0 0 0 125216 4978 0 0 25 0 1 0 70373184 279904256 65706 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 68336 65706 692 1256 0 67075 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 273344
[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 12067
/proc/meminfo: memFree=1574464/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=294900 CPUtime=1361.92
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 71105 0 0 0 130984 5208 0 0 25 0 1 0 70373184 301977600 69129 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 73725 69129 692 1256 0 72464 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 294900
[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 12067
/proc/meminfo: memFree=1561088/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=308584 CPUtime=1421.91
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 74271 0 0 0 136765 5426 0 0 25 0 1 0 70373184 315990016 72295 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 77146 72295 692 1256 0 75885 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 308584
[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 12067
/proc/meminfo: memFree=1548288/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=320576 CPUtime=1481.88
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 77467 0 0 0 142535 5653 0 0 25 0 1 0 70373184 328269824 75491 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 80144 75491 692 1256 0 78883 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 320576
[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 12067
/proc/meminfo: memFree=1537600/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=331260 CPUtime=1541.87
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 80136 0 0 0 148309 5878 0 0 25 0 1 0 70373184 339210240 78160 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 82815 78160 692 1256 0 81554 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 331260
[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 12067
/proc/meminfo: memFree=1526400/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=342068 CPUtime=1601.86
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 82921 0 0 0 154085 6101 0 0 25 0 1 0 70373184 350277632 80945 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 85517 80945 692 1256 0 84256 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 342068
[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 12067
/proc/meminfo: memFree=1515328/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=353488 CPUtime=1661.84
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 85660 0 0 0 159852 6332 0 0 25 0 1 0 70373184 361971712 83684 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 88372 83684 692 1256 0 87111 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 353488
[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 12067
/proc/meminfo: memFree=1504000/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=364776 CPUtime=1721.83
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 88601 0 0 0 165630 6553 0 0 25 0 1 0 70373184 373530624 86625 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 91194 86625 692 1256 0 89933 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 364776
[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 12067
/proc/meminfo: memFree=1493248/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=375520 CPUtime=1781.8
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 91202 0 0 0 171403 6777 0 0 25 0 1 0 70373184 384532480 89226 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 93880 89226 692 1256 0 92619 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 375520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 12067
/proc/meminfo: memFree=1489856/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=378624 CPUtime=1800
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 91950 0 0 0 173157 6843 0 0 25 0 1 0 70373184 387710976 89974 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12066/statm: 94656 89974 692 1256 0 93395 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 378624
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12066
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 12068
/proc/meminfo: memFree=1489848/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=378624 CPUtime=1800.9
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 91951 0 0 0 173247 6843 0 0 25 0 1 0 70373184 387710976 89975 1992294400 4194304 9342243 548682068736 18446744073709551615 5854449 0 0 4096 0 0 0 0 17 1 0 0
/proc/12066/statm: 94656 89975 693 1256 0 93395 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 378624
[startup+1802.2 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 12068
/proc/meminfo: memFree=1489848/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=378624 CPUtime=1801.7
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 91951 0 0 0 173327 6843 0 0 25 0 1 0 70373184 387710976 89975 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/12066/statm: 94656 89975 693 1256 0 93395 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 378624
[startup+1802.4 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 12068
/proc/meminfo: memFree=1489848/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=378624 CPUtime=1801.9
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 91951 0 0 0 173347 6843 0 0 25 0 1 0 70373184 387710976 89975 1992294400 4194304 9342243 548682068736 18446744073709551615 5854331 0 0 4096 0 0 0 0 17 1 0 0
/proc/12066/statm: 94656 89975 693 1256 0 93395 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 378624
[startup+1802.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 12068
/proc/meminfo: memFree=1489848/2055920 swapFree=4192952/4192956
[pid=12066] ppid=12064 vsize=378624 CPUtime=1802
/proc/12066/stat : 12066 (pbscip.linux.x8) R 12064 12066 11757 0 -1 4194304 91951 0 0 0 173357 6843 0 0 25 0 1 0 70373184 387710976 89975 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/12066/statm: 94656 89975 693 1256 0 93395 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 378624
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.57
CPU time (s): 1802.08
CPU user time (s): 1733.58
CPU system time (s): 68.4986
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 378624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.58
system time used= 68.4986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91951
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= 2
involuntary context switches= 2346
runsolver used 1.16682 second user time and 3.9354 second system time
The end
Begin job on node20 at 2009-06-16 20:25:04
IDJOB=1869529
IDBENCH=2919
IDSOLVER=684
FILE ID=node20/1869529-1245176703
PBS_JOBID= 9363883
Free space on /tmp= 66324 MiB
SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869529-1245176703/watcher-1869529-1245176703 -o /tmp/evaluation-result-1869529-1245176703/solver-1869529-1245176703 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869529-1245176703.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f48abdef3d00ab6f87ca2e4f0d43c1d1
RANDOM SEED=180745963
node20.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1850144 kB
Buffers: 38832 kB
Cached: 81388 kB
SwapCached: 4 kB
Active: 35348 kB
Inactive: 98292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1850144 kB
SwapTotal: 4192956 kB
SwapFree: 4192952 kB
Dirty: 11736 kB
Writeback: 0 kB
Mapped: 23232 kB
Slab: 58080 kB
Committed_AS: 136248 kB
PageTables: 1400 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66312 MiB
End job on node20 at 2009-06-16 20:55:06