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-1869513-1245175836.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 | 30 | 251k| 0 | 6 | 50 | 6 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 103 | 276k| 0 | 11 | 50 | 6 | 6 | 50 | 11 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.03 c 0.0s| 1 | 0 | 108 | 292k| 0 | 12 | 50 | 6 | 6 | 50 | 14 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 116 | 316k| 0 | 14 | 50 | 6 | 6 | 50 | 18 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.06 c 0.0s| 1 | 0 | 122 | 333k| 0 | 14 | 50 | 6 | 6 | 50 | 20 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.07 c 0.1s| 1 | 0 | 137 | 345k| 0 | 15 | 50 | 6 | 6 | 50 | 22 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.08 c 0.1s| 1 | 0 | 140 | 369k| 0 | 17 | 50 | 6 | 6 | 50 | 25 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.15 c 0.1s| 1 | 2 | 140 | 370k| 0 | 17 | 50 | 6 | 6 | 50 | 25 | 19 | 0 | 17 | 0.000000e+00 | -- | Inf
4.19/4.25 c 4.1s| 10000 | 3093 | 24095 |1848k| 44 | - | 50 | 90 | 11 | 50 | 17 | 19 | 238 | 507 | 0.000000e+00 | -- | Inf
8.09/8.18 c 7.8s| 20000 | 5786 | 47575 |3125k| 44 | 6 | 50 | 93 | 9 | 50 | 17 | 19 | 420 | 641 | 0.000000e+00 | -- | Inf
12.09/12.13 c 11.6s| 30000 | 7970 | 71291 |4219k| 44 | - | 50 | 104 | 12 | 50 | 17 | 19 | 639 | 779 | 0.000000e+00 | -- | Inf
15.99/16.00 c 15.3s| 40000 | 10082 | 94292 |5293k| 44 | - | 50 | 111 | 6 | 0 | 0 | 19 | 822 | 883 | 0.000000e+00 | -- | Inf
19.79/19.82 c 19.0s| 50000 | 12286 |117268 |6380k| 44 | - | 50 | 104 | 6 | 50 | 17 | 19 |1034 | 961 | 0.000000e+00 | -- | Inf
23.48/23.56 c 22.6s| 60000 | 14633 |139851 |7508k| 45 | 6 | 50 | 88 | 6 | 50 | 17 | 19 |1225 |1016 | 0.000000e+00 | -- | Inf
27.28/27.36 c 26.3s| 70000 | 16769 |162509 |8584k| 45 | 6 | 50 | 86 | 17 | 50 | 17 | 19 |1397 |1073 | 0.000000e+00 | -- | Inf
31.08/31.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.08/31.20 c 29.9s| 80000 | 19044 |185764 |9697k| 45 | - | 50 | 87 | 8 | 0 | 0 | 19 |1544 |1142 | 0.000000e+00 | -- | Inf
34.98/35.00 c 33.6s| 90000 | 20984 |207833 | 10M| 45 | - | 50 | 64 | 6 | 50 | 17 | 19 |1824 |1191 | 0.000000e+00 | -- | Inf
38.68/38.74 c 37.2s|100000 | 22961 |230126 | 11M| 45 | - | 50 | 56 | 9 | 50 | 17 | 19 |2047 |1225 | 0.000000e+00 | -- | Inf
42.38/42.49 c 40.8s|110000 | 24871 |253159 | 12M| 45 | 6 | 50 | 44 | 10 | 50 | 17 | 19 |2242 |1256 | 0.000000e+00 | -- | Inf
46.18/46.26 c 44.4s|120000 | 26751 |275778 | 13M| 45 | 6 | 50 | 48 | 6 | 50 | 17 | 19 |2446 |1286 | 0.000000e+00 | -- | Inf
49.97/50.05 c 48.0s|130000 | 28630 |298431 | 14M| 45 | 6 | 50 | 46 | 8 | 50 | 17 | 19 |2647 |1335 | 0.000000e+00 | -- | Inf
53.78/53.82 c 51.6s|140000 | 30590 |320390 | 15M| 45 | - | 50 | 47 | 6 | 50 | 17 | 19 |2826 |1382 | 0.000000e+00 | -- | Inf
57.48/57.55 c 55.2s|150000 | 32585 |342178 | 16M| 45 | - | 50 | 47 | 6 | 50 | 17 | 19 |3071 |1433 | 0.000000e+00 | -- | Inf
61.27/61.31 c 58.8s|160000 | 34446 |365040 | 17M| 45 | 6 | 50 | 35 | 6 | 50 | 17 | 19 |3215 |1484 | 0.000000e+00 | -- | Inf
64.97/65.04 c 62.4s|170000 | 36158 |387483 | 18M| 45 | - | 50 | 29 | 10 | 50 | 17 | 19 |3359 |1536 | 0.000000e+00 | -- | Inf
68.67/68.75 c 66.0s|180000 | 38401 |409539 | 19M| 45 | 6 | 50 | 39 | 7 | 50 | 17 | 19 |3509 |1569 | 0.000000e+00 | -- | Inf
72.37/72.49 c 69.6s|190000 | 40084 |431577 | 20M| 45 | 6 | 50 | 40 | 6 | 50 | 17 | 19 |3721 |1611 | 0.000000e+00 | -- | Inf
76.17/76.22 c 73.2s|200000 | 41869 |453333 | 21M| 45 | 6 | 50 | 25 | 6 | 50 | 17 | 19 |3886 |1649 | 0.000000e+00 | -- | Inf
79.87/79.91 c 76.7s|210000 | 43695 |475131 | 22M| 45 | 6 | 50 | 27 | 6 | 50 | 17 | 19 |4094 |1683 | 0.000000e+00 | -- | Inf
83.57/83.64 c 80.3s|220000 | 45355 |497788 | 23M| 45 | 6 | 50 | 29 | 6 | 50 | 17 | 19 |4257 |1724 | 0.000000e+00 | -- | Inf
87.26/87.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.26/87.35 c 83.8s|230000 | 47497 |519753 | 24M| 45 | 6 | 50 | 25 | 6 | 50 | 17 | 19 |4413 |1753 | 0.000000e+00 | -- | Inf
90.96/91.03 c 87.4s|240000 | 50057 |541218 | 25M| 45 | - | 50 | 27 | 6 | 0 | 0 | 19 |4508 |1791 | 0.000000e+00 | -- | Inf
94.67/94.73 c 90.9s|250000 | 52344 |563188 | 26M| 45 | 6 | 50 | 30 | 7 | 50 | 17 | 19 |4672 |1823 | 0.000000e+00 | -- | Inf
98.36/98.41 c 94.4s|260000 | 54418 |584825 | 27M| 45 | - | 50 | 25 | 8 | 50 | 17 | 19 |4810 |1850 | 0.000000e+00 | -- | Inf
102.06/102.10 c 98.0s|270000 | 56348 |607003 | 28M| 45 | - | 50 | 17 | 8 | 0 | 0 | 19 |4987 |1888 | 0.000000e+00 | -- | Inf
105.76/105.82 c 102s|280000 | 58222 |628879 | 29M| 45 | 6 | 50 | 22 | 8 | 50 | 17 | 19 |5151 |1918 | 0.000000e+00 | -- | Inf
109.46/109.54 c 105s|290000 | 60112 |650577 | 30M| 45 | 6 | 50 | 21 | 6 | 50 | 17 | 19 |5294 |1954 | 0.000000e+00 | -- | Inf
113.27/113.31 c 109s|300000 | 62326 |673059 | 31M| 45 | 6 | 50 | 28 | 6 | 50 | 17 | 19 |5476 |1987 | 0.000000e+00 | -- | Inf
116.96/117.07 c 112s|310000 | 64825 |696305 | 33M| 45 | - | 50 | 30 | 6 | 50 | 17 | 19 |5583 |2028 | 0.000000e+00 | -- | Inf
120.66/120.77 c 116s|320000 | 66891 |718076 | 34M| 45 | 6 | 50 | 18 | 6 | 50 | 17 | 19 |5787 |2059 | 0.000000e+00 | -- | Inf
124.35/124.46 c 119s|330000 | 68888 |739582 | 35M| 45 | - | 50 | 22 | 6 | 50 | 17 | 19 |5945 |2095 | 0.000000e+00 | -- | Inf
128.16/128.20 c 123s|340000 | 70840 |761381 | 36M| 45 | 6 | 50 | 33 | 11 | 50 | 17 | 19 |6132 |2122 | 0.000000e+00 | -- | Inf
131.85/131.96 c 127s|350000 | 73077 |783863 | 37M| 45 | - | 50 | 25 | 6 | 0 | 0 | 19 |6261 |2155 | 0.000000e+00 | -- | Inf
135.56/135.69 c 130s|360000 | 75885 |806842 | 38M| 45 | - | 50 | 29 | 6 | 50 | 17 | 19 |6383 |2186 | 0.000000e+00 | -- | Inf
139.25/139.38 c 134s|370000 | 78024 |828394 | 39M| 45 | - | 50 | 32 | 6 | 50 | 17 | 19 |6540 |2210 | 0.000000e+00 | -- | Inf
143.05/143.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.05/143.12 c 137s|380000 | 80086 |851051 | 40M| 45 | 6 | 50 | 15 | 7 | 50 | 17 | 19 |6692 |2240 | 0.000000e+00 | -- | Inf
146.75/146.84 c 141s|390000 | 81973 |872554 | 41M| 45 | - | 50 | 20 | 7 | 50 | 17 | 19 |6896 |2279 | 0.000000e+00 | -- | Inf
150.45/150.56 c 144s|400000 | 83902 |894457 | 42M| 45 | 6 | 50 | 18 | 8 | 50 | 17 | 19 |7012 |2304 | 0.000000e+00 | -- | Inf
154.25/154.32 c 148s|410000 | 85702 |916681 | 43M| 45 | 6 | 50 | 16 | 6 | 50 | 17 | 19 |7149 |2329 | 0.000000e+00 | -- | Inf
157.95/158.08 c 152s|420000 | 87626 |938801 | 44M| 45 | 6 | 50 | 19 | 6 | 50 | 17 | 19 |7295 |2355 | 0.000000e+00 | -- | Inf
161.65/161.78 c 155s|430000 | 89642 |960790 | 45M| 45 | 6 | 50 | 33 | 6 | 50 | 17 | 19 |7454 |2381 | 0.000000e+00 | -- | Inf
165.44/165.53 c 159s|440000 | 91362 |982572 | 46M| 45 | 6 | 50 | 24 | 6 | 50 | 17 | 19 |7637 |2413 | 0.000000e+00 | -- | Inf
169.24/169.35 c 162s|450000 | 93492 | 1005k| 47M| 45 | 6 | 50 | 30 | 7 | 50 | 17 | 19 |7781 |2443 | 0.000000e+00 | -- | Inf
172.94/173.05 c 166s|460000 | 95570 | 1026k| 48M| 45 | - | 50 | 36 | 7 | 50 | 17 | 19 |7965 |2464 | 0.000000e+00 | -- | Inf
176.64/176.77 c 170s|470000 | 97546 | 1048k| 49M| 45 | - | 50 | 30 | 6 | 50 | 17 | 19 |8149 |2489 | 0.000000e+00 | -- | Inf
180.43/180.51 c 173s|480000 | 99438 | 1070k| 50M| 45 | 6 | 50 | 18 | 7 | 50 | 17 | 19 |8280 |2513 | 0.000000e+00 | -- | Inf
184.13/184.28 c 177s|490000 |101746 | 1094k| 51M| 45 | 6 | 50 | 21 | 8 | 50 | 17 | 19 |8338 |2542 | 0.000000e+00 | -- | Inf
187.84/187.99 c 180s|500000 |103318 | 1115k| 52M| 45 | - | 50 | 24 | 6 | 50 | 17 | 19 |8543 |2566 | 0.000000e+00 | -- | Inf
191.64/191.70 c 184s|510000 |105290 | 1137k| 53M| 45 | - | 50 | 26 | 6 | 0 | 0 | 19 |8743 |2578 | 0.000000e+00 | -- | Inf
195.34/195.46 c 188s|520000 |107101 | 1159k| 54M| 45 | 6 | 50 | 22 | 6 | 50 | 17 | 19 |8888 |2601 | 0.000000e+00 | -- | Inf
199.04/199.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.04/199.14 c 191s|530000 |108981 | 1180k| 55M| 45 | 6 | 50 | 18 | 6 | 50 | 17 | 19 |9032 |2629 | 0.000000e+00 | -- | Inf
202.63/202.77 c 195s|540000 |111058 | 1201k| 56M| 45 | 6 | 50 | 21 | 7 | 50 | 17 | 19 |9191 |2646 | 0.000000e+00 | -- | Inf
206.33/206.44 c 198s|550000 |112963 | 1223k| 57M| 45 | - | 50 | 12 | 6 | 0 | 0 | 19 |9346 |2672 | 0.000000e+00 | -- | Inf
210.04/210.19 c 202s|560000 |114643 | 1244k| 58M| 45 | 6 | 50 | 13 | 6 | 50 | 17 | 19 |9485 |2695 | 0.000000e+00 | -- | Inf
213.83/213.93 c 205s|570000 |116678 | 1266k| 59M| 45 | 6 | 50 | 29 | 9 | 50 | 17 | 19 |9648 |2714 | 0.000000e+00 | -- | Inf
217.53/217.65 c 209s|580000 |119319 | 1289k| 60M| 45 | 6 | 50 | 43 | 9 | 50 | 17 | 19 |9878 |2738 | 0.000000e+00 | -- | Inf
221.33/221.40 c 213s|590000 |121408 | 1311k| 61M| 45 | - | 50 | 31 | 7 | 50 | 17 | 19 | 10k|2754 | 0.000000e+00 | -- | Inf
225.03/225.17 c 216s|600000 |123268 | 1333k| 62M| 45 | - | 50 | 31 | 5 | 0 | 0 | 19 | 10k|2773 | 0.000000e+00 | -- | Inf
228.92/229.01 c 220s|610000 |125307 | 1356k| 63M| 45 | 6 | 50 | 39 | 6 | 50 | 17 | 19 | 10k|2794 | 0.000000e+00 | -- | Inf
232.72/232.82 c 223s|620000 |126969 | 1378k| 64M| 45 | 6 | 50 | 24 | 6 | 50 | 17 | 19 | 10k|2815 | 0.000000e+00 | -- | Inf
236.43/236.59 c 227s|630000 |128966 | 1400k| 65M| 45 | 6 | 50 | 22 | 6 | 50 | 17 | 19 | 10k|2832 | 0.000000e+00 | -- | Inf
240.33/240.41 c 231s|640000 |131389 | 1423k| 66M| 45 | - | 50 | 26 | 5 | 0 | 0 | 19 | 10k|2861 | 0.000000e+00 | -- | Inf
244.03/244.16 c 234s|650000 |134009 | 1446k| 67M| 45 | 6 | 50 | 31 | 7 | 50 | 17 | 19 | 11k|2880 | 0.000000e+00 | -- | Inf
247.72/247.86 c 238s|660000 |135866 | 1467k| 68M| 45 | 6 | 50 | 20 | 6 | 50 | 17 | 19 | 11k|2898 | 0.000000e+00 | -- | Inf
251.53/251.62 c 241s|670000 |137600 | 1489k| 69M| 45 | 6 | 50 | 24 | 6 | 50 | 17 | 19 | 11k|2914 | 0.000000e+00 | -- | Inf
255.22/255.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.22/255.38 c 245s|680000 |139550 | 1511k| 70M| 45 | 6 | 50 | 25 | 7 | 50 | 17 | 19 | 11k|2930 | 0.000000e+00 | -- | Inf
259.02/259.14 c 249s|690000 |141494 | 1533k| 71M| 45 | - | 50 | 23 | 6 | 0 | 0 | 19 | 11k|2952 | 0.000000e+00 | -- | Inf
262.72/262.82 c 252s|700000 |143262 | 1554k| 72M| 45 | 6 | 50 | 19 | 6 | 50 | 17 | 19 | 11k|2977 | 0.000000e+00 | -- | Inf
266.51/266.62 c 256s|710000 |145391 | 1577k| 73M| 45 | 6 | 50 | 14 | 7 | 50 | 17 | 19 | 11k|2992 | 0.000000e+00 | -- | Inf
270.12/270.28 c 259s|720000 |148101 | 1598k| 74M| 45 | 6 | 50 | 19 | 6 | 50 | 17 | 19 | 12k|3017 | 0.000000e+00 | -- | Inf
273.81/273.99 c 263s|730000 |150374 | 1619k| 75M| 45 | 6 | 50 | 19 | 6 | 50 | 17 | 19 | 12k|3044 | 0.000000e+00 | -- | Inf
277.62/277.71 c 266s|740000 |152521 | 1641k| 76M| 45 | - | 50 | 19 | 6 | 50 | 17 | 19 | 12k|3067 | 0.000000e+00 | -- | Inf
281.32/281.44 c 270s|750000 |154254 | 1663k| 77M| 45 | 6 | 50 | 17 | 6 | 50 | 17 | 19 | 12k|3086 | 0.000000e+00 | -- | Inf
285.01/285.17 c 274s|760000 |156133 | 1684k| 78M| 45 | - | 50 | 22 | 6 | 50 | 17 | 19 | 12k|3105 | 0.000000e+00 | -- | Inf
288.81/288.94 c 277s|770000 |157813 | 1706k| 79M| 45 | - | 50 | 15 | 6 | 50 | 17 | 19 | 12k|3126 | 0.000000e+00 | -- | Inf
292.51/292.69 c 281s|780000 |159648 | 1727k| 80M| 45 | 6 | 50 | 18 | 7 | 50 | 17 | 19 | 13k|3140 | 0.000000e+00 | -- | Inf
296.31/296.45 c 284s|790000 |161442 | 1748k| 81M| 45 | - | 50 | 30 | 6 | 50 | 17 | 19 | 13k|3162 | 0.000000e+00 | -- | Inf
299.91/300.08 c 288s|800000 |163523 | 1769k| 82M| 45 | 6 | 50 | 28 | 6 | 50 | 17 | 19 | 13k|3172 | 0.000000e+00 | -- | Inf
303.71/303.82 c 291s|810000 |165392 | 1791k| 83M| 45 | 6 | 50 | 25 | 6 | 50 | 17 | 19 | 13k|3193 | 0.000000e+00 | -- | Inf
307.41/307.58 c 295s|820000 |167433 | 1812k| 84M| 45 | - | 50 | 22 | 6 | 50 | 17 | 19 | 13k|3211 | 0.000000e+00 | -- | Inf
311.21/311.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.21/311.31 c 299s|830000 |169189 | 1834k| 85M| 45 | - | 50 | 22 | 6 | 50 | 17 | 19 | 14k|3222 | 0.000000e+00 | -- | Inf
314.90/315.09 c 302s|840000 |170962 | 1856k| 86M| 45 | - | 50 | 22 | 6 | 50 | 17 | 19 | 14k|3237 | 0.000000e+00 | -- | Inf
318.71/318.81 c 306s|850000 |172700 | 1877k| 87M| 45 | 6 | 50 | 32 | 6 | 50 | 17 | 19 | 14k|3251 | 0.000000e+00 | -- | Inf
322.40/322.56 c 309s|860000 |174238 | 1898k| 88M| 45 | 6 | 50 | 24 | 6 | 50 | 17 | 19 | 14k|3272 | 0.000000e+00 | -- | Inf
326.20/326.33 c 313s|870000 |176155 | 1920k| 89M| 45 | 6 | 50 | 25 | 6 | 50 | 17 | 19 | 14k|3288 | 0.000000e+00 | -- | Inf
329.90/330.03 c 317s|880000 |178519 | 1941k| 90M| 45 | 6 | 50 | 31 | 6 | 50 | 17 | 19 | 14k|3309 | 0.000000e+00 | -- | Inf
333.60/333.76 c 320s|890000 |180513 | 1962k| 91M| 45 | - | 50 | 26 | 6 | 0 | 0 | 19 | 14k|3323 | 0.000000e+00 | -- | Inf
337.30/337.44 c 324s|900000 |182809 | 1983k| 92M| 45 | 6 | 50 | 34 | 7 | 50 | 17 | 19 | 15k|3341 | 0.000000e+00 | -- | Inf
341.00/341.14 c 327s|910000 |184896 | 2005k| 93M| 45 | - | 50 | 45 | 7 | 50 | 17 | 19 | 15k|3359 | 0.000000e+00 | -- | Inf
344.70/344.82 c 331s|920000 |186788 | 2026k| 94M| 45 | 6 | 50 | 32 | 6 | 50 | 17 | 19 | 15k|3382 | 0.000000e+00 | -- | Inf
348.50/348.67 c 334s|930000 |188414 | 2048k| 95M| 45 | 6 | 50 | 29 | 8 | 50 | 17 | 19 | 15k|3403 | 0.000000e+00 | -- | Inf
352.29/352.44 c 338s|940000 |190079 | 2069k| 96M| 45 | 6 | 50 | 20 | 6 | 50 | 17 | 19 | 15k|3416 | 0.000000e+00 | -- | Inf
356.10/356.22 c 342s|950000 |191764 | 2091k| 96M| 45 | 6 | 50 | 12 | 6 | 50 | 17 | 19 | 15k|3443 | 0.000000e+00 | -- | Inf
359.79/359.95 c 345s|960000 |193622 | 2112k| 97M| 45 | 6 | 50 | 20 | 6 | 50 | 17 | 19 | 16k|3459 | 0.000000e+00 | -- | Inf
363.49/363.67 c 349s|970000 |195362 | 2134k| 98M| 45 | 6 | 50 | 25 | 6 | 50 | 17 | 19 | 16k|3490 | 0.000000e+00 | -- | Inf
367.29/367.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.29/367.42 c 352s|980000 |197270 | 2155k| 99M| 45 | 6 | 50 | 21 | 6 | 50 | 17 | 19 | 16k|3503 | 0.000000e+00 | -- | Inf
371.19/371.32 c 356s|990000 |199717 | 2179k| 100M| 45 | - | 50 | 33 | 6 | 0 | 0 | 19 | 16k|3530 | 0.000000e+00 | -- | Inf
374.99/375.11 c 360s| 1000k|201435 | 2200k| 101M| 45 | 6 | 50 | 26 | 6 | 50 | 17 | 19 | 16k|3552 | 0.000000e+00 | -- | Inf
378.69/378.85 c 363s| 1010k|203106 | 2222k| 102M| 45 | - | 50 | 23 | 6 | 50 | 17 | 19 | 16k|3568 | 0.000000e+00 | -- | Inf
382.48/382.66 c 367s| 1020k|204807 | 2244k| 103M| 45 | - | 50 | 21 | 6 | 0 | 0 | 19 | 17k|3583 | 0.000000e+00 | -- | Inf
386.28/386.44 c 371s| 1030k|206814 | 2266k| 104M| 45 | 6 | 50 | 21 | 6 | 50 | 17 | 19 | 17k|3600 | 0.000000e+00 | -- | Inf
390.09/390.27 c 374s| 1040k|208524 | 2288k| 105M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 17k|3624 | 0.000000e+00 | -- | Inf
393.88/394.03 c 378s| 1050k|210197 | 2310k| 106M| 45 | 6 | 50 | 19 | 6 | 50 | 17 | 19 | 17k|3638 | 0.000000e+00 | -- | Inf
397.68/397.80 c 382s| 1060k|212139 | 2332k| 107M| 45 | 6 | 50 | 26 | 6 | 50 | 17 | 19 | 17k|3652 | 0.000000e+00 | -- | Inf
401.38/401.54 c 385s| 1070k|213912 | 2353k| 108M| 45 | - | 50 | 38 | 6 | 50 | 17 | 19 | 17k|3663 | 0.000000e+00 | -- | Inf
405.07/405.25 c 389s| 1080k|215755 | 2374k| 109M| 45 | 6 | 50 | 34 | 7 | 50 | 17 | 19 | 18k|3673 | 0.000000e+00 | -- | Inf
408.88/409.05 c 392s| 1090k|217473 | 2395k| 110M| 45 | - | 50 | 23 | 7 | 0 | 0 | 19 | 18k|3696 | 0.000000e+00 | -- | Inf
412.67/412.86 c 396s| 1100k|219061 | 2417k| 111M| 45 | - | 50 | 17 | 6 | 50 | 17 | 19 | 18k|3704 | 0.000000e+00 | -- | Inf
416.48/416.69 c 400s| 1110k|221130 | 2439k| 112M| 45 | 6 | 50 | 18 | 6 | 50 | 17 | 19 | 18k|3721 | 0.000000e+00 | -- | Inf
420.27/420.42 c 403s| 1120k|223034 | 2460k| 113M| 45 | - | 50 | 26 | 8 | 0 | 0 | 19 | 18k|3738 | 0.000000e+00 | -- | Inf
423.97/424.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.97/424.15 c 407s| 1130k|224988 | 2482k| 114M| 45 | - | 50 | 29 | 6 | 50 | 17 | 19 | 18k|3756 | 0.000000e+00 | -- | Inf
427.78/427.99 c 411s| 1140k|227339 | 2505k| 115M| 45 | 6 | 50 | 34 | 6 | 50 | 17 | 19 | 19k|3769 | 0.000000e+00 | -- | Inf
431.67/431.82 c 414s| 1150k|228992 | 2527k| 116M| 45 | 6 | 50 | 31 | 6 | 50 | 17 | 19 | 19k|3779 | 0.000000e+00 | -- | Inf
435.37/435.58 c 418s| 1160k|230358 | 2548k| 116M| 45 | - | 50 | 24 | 6 | 50 | 17 | 19 | 19k|3798 | 0.000000e+00 | -- | Inf
439.17/439.37 c 421s| 1170k|232093 | 2570k| 117M| 45 | 6 | 50 | 30 | 6 | 50 | 17 | 19 | 19k|3812 | 0.000000e+00 | -- | Inf
442.87/443.09 c 425s| 1180k|233580 | 2591k| 118M| 45 | - | 50 | 26 | 6 | 0 | 0 | 19 | 19k|3823 | 0.000000e+00 | -- | Inf
446.66/446.85 c 429s| 1190k|235250 | 2612k| 119M| 45 | 6 | 50 | 19 | 6 | 50 | 17 | 19 | 19k|3845 | 0.000000e+00 | -- | Inf
450.56/450.73 c 432s| 1200k|237179 | 2635k| 120M| 45 | 6 | 50 | 24 | 6 | 50 | 17 | 19 | 20k|3864 | 0.000000e+00 | -- | Inf
454.37/454.55 c 436s| 1210k|238817 | 2657k| 121M| 45 | 6 | 50 | 21 | 6 | 50 | 17 | 19 | 20k|3878 | 0.000000e+00 | -- | Inf
458.16/458.35 c 440s| 1220k|240556 | 2678k| 122M| 45 | 6 | 50 | 29 | 6 | 50 | 17 | 19 | 20k|3896 | 0.000000e+00 | -- | Inf
461.96/462.15 c 443s| 1230k|242513 | 2701k| 123M| 45 | 6 | 50 | 27 | 6 | 50 | 17 | 19 | 20k|3916 | 0.000000e+00 | -- | Inf
465.76/465.91 c 447s| 1240k|244726 | 2723k| 124M| 45 | - | 50 | 29 | 6 | 50 | 17 | 19 | 20k|3929 | 0.000000e+00 | -- | Inf
469.56/469.77 c 451s| 1250k|246459 | 2745k| 125M| 45 | 6 | 50 | 26 | 6 | 50 | 17 | 19 | 20k|3942 | 0.000000e+00 | -- | Inf
473.46/473.60 c 454s| 1260k|247902 | 2767k| 126M| 45 | - | 50 | 20 | 6 | 50 | 17 | 19 | 21k|3963 | 0.000000e+00 | -- | Inf
477.16/477.38 c 458s| 1270k|249339 | 2788k| 126M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 21k|3976 | 0.000000e+00 | -- | Inf
480.96/481.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.96/481.14 c 462s| 1280k|251033 | 2810k| 127M| 45 | 6 | 50 | 28 | 9 | 50 | 17 | 19 | 21k|3992 | 0.000000e+00 | -- | Inf
484.66/484.89 c 465s| 1290k|252568 | 2831k| 128M| 45 | 6 | 50 | 26 | 6 | 50 | 17 | 19 | 21k|4009 | 0.000000e+00 | -- | Inf
488.46/488.65 c 469s| 1300k|254960 | 2853k| 129M| 45 | - | 50 | 28 | 7 | 0 | 0 | 19 | 21k|4019 | 0.000000e+00 | -- | Inf
492.26/492.45 c 472s| 1310k|257155 | 2876k| 130M| 45 | 6 | 50 | 33 | 7 | 50 | 17 | 19 | 21k|4034 | 0.000000e+00 | -- | Inf
496.05/496.30 c 476s| 1320k|259309 | 2899k| 131M| 45 | - | 50 | 32 | 6 | 0 | 0 | 19 | 21k|4048 | 0.000000e+00 | -- | Inf
500.05/500.20 c 480s| 1330k|261145 | 2923k| 132M| 45 | 6 | 50 | 32 | 6 | 50 | 17 | 19 | 21k|4064 | 0.000000e+00 | -- | Inf
503.94/504.10 c 484s| 1340k|262846 | 2947k| 133M| 45 | 6 | 50 | 41 | 6 | 50 | 17 | 19 | 22k|4074 | 0.000000e+00 | -- | Inf
507.75/507.99 c 487s| 1350k|264369 | 2970k| 134M| 45 | - | 50 | 44 | 6 | 50 | 17 | 19 | 22k|4087 | 0.000000e+00 | -- | Inf
511.65/511.87 c 491s| 1360k|266029 | 2992k| 135M| 45 | 6 | 50 | 29 | 6 | 50 | 17 | 19 | 22k|4101 | 0.000000e+00 | -- | Inf
515.45/515.65 c 495s| 1370k|267719 | 3014k| 136M| 45 | 6 | 50 | 27 | 6 | 50 | 17 | 19 | 22k|4116 | 0.000000e+00 | -- | Inf
519.15/519.38 c 498s| 1380k|269649 | 3035k| 137M| 45 | 6 | 50 | 22 | 6 | 50 | 17 | 19 | 22k|4127 | 0.000000e+00 | -- | Inf
522.95/523.17 c 502s| 1390k|271431 | 3057k| 138M| 45 | 6 | 50 | 26 | 6 | 50 | 17 | 19 | 22k|4139 | 0.000000e+00 | -- | Inf
526.75/526.96 c 505s| 1400k|272984 | 3078k| 139M| 45 | - | 50 | 32 | 5 | 0 | 0 | 19 | 23k|4152 | 0.000000e+00 | -- | Inf
530.55/530.77 c 509s| 1410k|274632 | 3099k| 139M| 45 | - | 50 | 29 | 6 | 0 | 0 | 19 | 23k|4170 | 0.000000e+00 | -- | Inf
534.54/534.72 c 513s| 1420k|276540 | 3123k| 140M| 45 | - | 50 | 29 | 6 | 50 | 17 | 19 | 23k|4184 | 0.000000e+00 | -- | Inf
538.44/538.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.44/538.60 c 517s| 1430k|278261 | 3146k| 141M| 45 | - | 50 | 24 | 9 | 50 | 17 | 19 | 23k|4206 | 0.000000e+00 | -- | Inf
542.24/542.41 c 520s| 1440k|279872 | 3168k| 142M| 45 | - | 50 | 20 | 6 | 50 | 17 | 19 | 23k|4226 | 0.000000e+00 | -- | Inf
545.94/546.16 c 524s| 1450k|281487 | 3189k| 143M| 45 | - | 50 | 28 | 8 | 50 | 17 | 19 | 23k|4238 | 0.000000e+00 | -- | Inf
549.84/550.00 c 528s| 1460k|283208 | 3210k| 144M| 45 | - | 50 | 21 | 6 | 50 | 17 | 19 | 24k|4257 | 0.000000e+00 | -- | Inf
553.63/553.80 c 531s| 1470k|284928 | 3231k| 145M| 45 | - | 50 | 27 | 6 | 50 | 17 | 19 | 24k|4267 | 0.000000e+00 | -- | Inf
557.33/557.57 c 535s| 1480k|286688 | 3253k| 146M| 45 | - | 50 | 27 | 7 | 0 | 0 | 19 | 24k|4280 | 0.000000e+00 | -- | Inf
561.14/561.33 c 538s| 1490k|288283 | 3274k| 147M| 45 | - | 50 | 26 | 6 | 50 | 17 | 19 | 24k|4290 | 0.000000e+00 | -- | Inf
564.93/565.12 c 542s| 1500k|290231 | 3297k| 148M| 45 | 6 | 50 | 19 | 6 | 50 | 17 | 19 | 24k|4302 | 0.000000e+00 | -- | Inf
568.73/568.95 c 546s| 1510k|292204 | 3319k| 149M| 45 | - | 50 | 17 | 6 | 50 | 17 | 19 | 24k|4324 | 0.000000e+00 | -- | Inf
572.53/572.72 c 549s| 1520k|293822 | 3340k| 150M| 45 | - | 50 | 23 | 6 | 50 | 17 | 19 | 25k|4340 | 0.000000e+00 | -- | Inf
576.23/576.49 c 553s| 1530k|295343 | 3361k| 150M| 45 | 6 | 50 | 27 | 6 | 50 | 17 | 19 | 25k|4343 | 0.000000e+00 | -- | Inf
580.03/580.25 c 557s| 1540k|297005 | 3383k| 151M| 45 | 6 | 50 | 18 | 6 | 50 | 17 | 19 | 25k|4354 | 0.000000e+00 | -- | Inf
583.83/584.04 c 560s| 1550k|298586 | 3404k| 152M| 45 | 6 | 50 | 18 | 6 | 50 | 17 | 19 | 25k|4370 | 0.000000e+00 | -- | Inf
587.53/587.72 c 564s| 1560k|300364 | 3424k| 153M| 45 | 6 | 50 | 19 | 6 | 50 | 17 | 19 | 25k|4390 | 0.000000e+00 | -- | Inf
591.32/591.58 c 567s| 1570k|302377 | 3446k| 154M| 45 | - | 50 | 29 | 6 | 0 | 0 | 19 | 25k|4403 | 0.000000e+00 | -- | Inf
595.23/595.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.23/595.47 c 571s| 1580k|303710 | 3468k| 155M| 45 | 6 | 50 | 21 | 10 | 50 | 17 | 19 | 26k|4416 | 0.000000e+00 | -- | Inf
599.02/599.22 c 575s| 1590k|305337 | 3488k| 156M| 45 | 6 | 50 | 21 | 6 | 50 | 17 | 19 | 26k|4423 | 0.000000e+00 | -- | Inf
602.82/603.06 c 579s| 1600k|307041 | 3510k| 156M| 45 | - | 50 | 23 | 8 | 0 | 0 | 19 | 26k|4437 | 0.000000e+00 | -- | Inf
606.73/606.92 c 582s| 1610k|308494 | 3531k| 157M| 45 | 6 | 50 | 21 | 6 | 50 | 17 | 19 | 26k|4449 | 0.000000e+00 | -- | Inf
610.52/610.77 c 586s| 1620k|310052 | 3552k| 158M| 45 | 6 | 50 | 27 | 6 | 50 | 17 | 19 | 26k|4460 | 0.000000e+00 | -- | Inf
614.32/614.56 c 590s| 1630k|311690 | 3573k| 159M| 45 | - | 50 | 20 | 6 | 50 | 17 | 19 | 26k|4469 | 0.000000e+00 | -- | Inf
618.12/618.37 c 593s| 1640k|313592 | 3594k| 160M| 45 | 6 | 50 | 33 | 6 | 50 | 17 | 19 | 27k|4485 | 0.000000e+00 | -- | Inf
622.01/622.26 c 597s| 1650k|315724 | 3617k| 161M| 45 | 6 | 50 | 32 | 6 | 50 | 17 | 19 | 27k|4502 | 0.000000e+00 | -- | Inf
625.92/626.10 c 601s| 1660k|317506 | 3639k| 162M| 45 | 6 | 50 | 33 | 6 | 50 | 17 | 19 | 27k|4509 | 0.000000e+00 | -- | Inf
629.71/629.96 c 604s| 1670k|319112 | 3661k| 163M| 45 | - | 50 | 38 | 8 | 0 | 0 | 19 | 27k|4525 | 0.000000e+00 | -- | Inf
633.62/633.82 c 608s| 1680k|320573 | 3682k| 164M| 45 | 6 | 50 | 50 | 6 | 50 | 17 | 19 | 27k|4535 | 0.000000e+00 | -- | Inf
637.41/637.67 c 612s| 1690k|322135 | 3704k| 164M| 45 | - | 50 | 31 | 5 | 0 | 0 | 19 | 27k|4547 | 0.000000e+00 | -- | Inf
641.31/641.52 c 615s| 1700k|323581 | 3726k| 165M| 45 | - | 50 | 25 | 6 | 50 | 17 | 19 | 28k|4560 | 0.000000e+00 | -- | Inf
645.11/645.34 c 619s| 1710k|325376 | 3747k| 166M| 45 | 6 | 50 | 26 | 6 | 50 | 17 | 19 | 28k|4571 | 0.000000e+00 | -- | Inf
649.01/649.27 c 623s| 1720k|327168 | 3770k| 167M| 45 | 6 | 50 | 55 | 6 | 50 | 17 | 19 | 28k|4583 | 0.000000e+00 | -- | Inf
652.91/653.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.91/653.20 c 627s| 1730k|328977 | 3792k| 168M| 45 | 6 | 50 | 79 | 7 | 50 | 17 | 19 | 28k|4595 | 0.000000e+00 | -- | Inf
656.80/657.09 c 630s| 1740k|330816 | 3814k| 169M| 45 | 6 | 50 | 85 | 6 | 50 | 17 | 19 | 28k|4610 | 0.000000e+00 | -- | Inf
660.71/660.97 c 634s| 1750k|332275 | 3836k| 170M| 45 | 6 | 50 | 77 | 8 | 50 | 17 | 19 | 29k|4618 | 0.000000e+00 | -- | Inf
664.60/664.81 c 638s| 1760k|333927 | 3857k| 171M| 45 | 6 | 50 | 75 | 7 | 50 | 17 | 19 | 29k|4628 | 0.000000e+00 | -- | Inf
668.50/668.74 c 642s| 1770k|335531 | 3879k| 171M| 45 | 6 | 50 | 51 | 6 | 50 | 17 | 19 | 29k|4634 | 0.000000e+00 | -- | Inf
672.40/672.64 c 645s| 1780k|337196 | 3901k| 172M| 45 | 6 | 50 | 39 | 8 | 50 | 17 | 19 | 29k|4647 | 0.000000e+00 | -- | Inf
676.31/676.54 c 649s| 1790k|338804 | 3923k| 173M| 45 | 6 | 50 | 38 | 14 | 50 | 17 | 19 | 29k|4654 | 0.000000e+00 | -- | Inf
680.10/680.38 c 653s| 1800k|340213 | 3944k| 174M| 45 | 6 | 50 | 29 | 6 | 50 | 17 | 19 | 30k|4664 | 0.000000e+00 | -- | Inf
684.01/684.22 c 656s| 1810k|341694 | 3965k| 175M| 45 | 6 | 50 | 42 | 6 | 50 | 17 | 19 | 30k|4679 | 0.000000e+00 | -- | Inf
687.90/688.11 c 660s| 1820k|343483 | 3987k| 176M| 45 | 6 | 50 | 47 | 6 | 50 | 17 | 19 | 30k|4686 | 0.000000e+00 | -- | Inf
691.70/691.98 c 664s| 1830k|345328 | 4009k| 177M| 45 | - | 50 | 45 | 6 | 0 | 0 | 19 | 30k|4700 | 0.000000e+00 | -- | Inf
695.49/695.78 c 667s| 1840k|347429 | 4030k| 178M| 45 | 6 | 50 | 50 | 6 | 50 | 17 | 19 | 30k|4713 | 0.000000e+00 | -- | Inf
699.40/699.64 c 671s| 1850k|349146 | 4051k| 179M| 45 | 6 | 50 | 48 | 8 | 50 | 17 | 19 | 30k|4725 | 0.000000e+00 | -- | Inf
703.19/703.46 c 675s| 1860k|350628 | 4072k| 179M| 45 | - | 50 | 37 | 6 | 50 | 17 | 19 | 31k|4737 | 0.000000e+00 | -- | Inf
707.19/707.40 c 679s| 1870k|352236 | 4094k| 180M| 45 | - | 50 | 38 | 6 | 50 | 17 | 19 | 31k|4753 | 0.000000e+00 | -- | Inf
711.09/711.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
711.09/711.30 c 682s| 1880k|353874 | 4115k| 181M| 45 | 6 | 50 | 39 | 7 | 50 | 17 | 19 | 31k|4760 | 0.000000e+00 | -- | Inf
714.99/715.23 c 686s| 1890k|355461 | 4137k| 182M| 45 | - | 50 | 39 | 6 | 0 | 0 | 19 | 31k|4778 | 0.000000e+00 | -- | Inf
718.79/719.07 c 690s| 1900k|357047 | 4158k| 183M| 45 | - | 50 | 54 | 6 | 0 | 0 | 19 | 31k|4788 | 0.000000e+00 | -- | Inf
722.78/723.02 c 694s| 1910k|358692 | 4181k| 184M| 45 | 6 | 50 | 35 | 6 | 50 | 17 | 19 | 31k|4798 | 0.000000e+00 | -- | Inf
726.68/726.92 c 697s| 1920k|360614 | 4203k| 185M| 45 | 6 | 50 | 45 | 7 | 50 | 17 | 19 | 32k|4808 | 0.000000e+00 | -- | Inf
730.69/730.91 c 701s| 1930k|362086 | 4225k| 185M| 45 | 6 | 50 | 49 | 13 | 50 | 17 | 19 | 32k|4816 | 0.000000e+00 | -- | Inf
734.59/734.83 c 705s| 1940k|363559 | 4247k| 186M| 45 | 6 | 50 | 39 | 6 | 50 | 17 | 19 | 32k|4824 | 0.000000e+00 | -- | Inf
738.48/738.70 c 709s| 1950k|365189 | 4269k| 187M| 45 | 6 | 50 | 43 | 6 | 50 | 17 | 19 | 32k|4832 | 0.000000e+00 | -- | Inf
742.29/742.52 c 712s| 1960k|367331 | 4291k| 188M| 45 | - | 50 | 53 | 6 | 50 | 17 | 19 | 32k|4840 | 0.000000e+00 | -- | Inf
746.18/746.48 c 716s| 1970k|368794 | 4313k| 189M| 45 | - | 50 | 50 | 7 | 50 | 17 | 19 | 32k|4851 | 0.000000e+00 | -- | Inf
750.08/750.36 c 720s| 1980k|370295 | 4335k| 190M| 45 | - | 50 | 39 | 6 | 50 | 17 | 19 | 33k|4856 | 0.000000e+00 | -- | Inf
753.97/754.27 c 724s| 1990k|371874 | 4356k| 191M| 45 | - | 50 | 38 | 6 | 50 | 17 | 19 | 33k|4864 | 0.000000e+00 | -- | Inf
757.77/758.09 c 727s| 2000k|373376 | 4377k| 191M| 45 | - | 50 | 42 | 6 | 0 | 0 | 19 | 33k|4878 | 0.000000e+00 | -- | Inf
761.68/761.90 c 731s| 2010k|375020 | 4398k| 192M| 45 | 6 | 50 | 40 | 6 | 50 | 17 | 19 | 33k|4889 | 0.000000e+00 | -- | Inf
765.58/765.87 c 735s| 2020k|376679 | 4421k| 193M| 45 | - | 50 | 44 | 7 | 50 | 17 | 19 | 33k|4895 | 0.000000e+00 | -- | Inf
769.58/769.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.58/769.82 c 739s| 2030k|378312 | 4442k| 194M| 45 | - | 50 | 45 | 9 | 50 | 17 | 19 | 33k|4908 | 0.000000e+00 | -- | Inf
773.57/773.81 c 742s| 2040k|380482 | 4466k| 195M| 45 | 6 | 50 | 51 | 6 | 50 | 17 | 19 | 34k|4917 | 0.000000e+00 | -- | Inf
777.48/777.76 c 746s| 2050k|382346 | 4488k| 196M| 45 | - | 50 | 48 | 6 | 50 | 17 | 19 | 34k|4930 | 0.000000e+00 | -- | Inf
781.37/781.65 c 750s| 2060k|383808 | 4510k| 197M| 45 | - | 50 | 36 | 6 | 50 | 17 | 19 | 34k|4942 | 0.000000e+00 | -- | Inf
785.17/785.48 c 754s| 2070k|385591 | 4532k| 198M| 45 | 6 | 50 | 41 | 6 | 50 | 17 | 19 | 34k|4956 | 0.000000e+00 | -- | Inf
789.07/789.34 c 757s| 2080k|387390 | 4553k| 199M| 45 | - | 50 | 43 | 5 | 0 | 0 | 19 | 34k|4962 | 0.000000e+00 | -- | Inf
792.97/793.29 c 761s| 2090k|389134 | 4575k| 200M| 45 | 6 | 50 | 49 | 6 | 50 | 17 | 19 | 35k|4973 | 0.000000e+00 | -- | Inf
796.87/797.15 c 765s| 2100k|391250 | 4597k| 201M| 45 | - | 50 | 46 | 7 | 0 | 0 | 19 | 35k|4986 | 0.000000e+00 | -- | Inf
800.77/801.01 c 769s| 2110k|393841 | 4619k| 202M| 45 | 6 | 50 | 53 | 7 | 50 | 17 | 19 | 35k|5001 | 0.000000e+00 | -- | Inf
804.67/804.94 c 772s| 2120k|396311 | 4643k| 203M| 45 | 6 | 50 | 60 | 14 | 50 | 17 | 19 | 35k|5017 | 0.000000e+00 | -- | Inf
808.47/808.76 c 776s| 2130k|398850 | 4665k| 204M| 45 | 6 | 50 | 67 | 6 | 50 | 17 | 19 | 35k|5025 | 0.000000e+00 | -- | Inf
812.37/812.64 c 780s| 2140k|401981 | 4687k| 206M| 45 | 6 | 50 | 69 | 6 | 50 | 17 | 19 | 35k|5035 | 0.000000e+00 | -- | Inf
816.26/816.57 c 784s| 2150k|404435 | 4710k| 207M| 45 | 6 | 50 | 78 | 10 | 50 | 17 | 19 | 35k|5042 | 0.000000e+00 | -- | Inf
820.16/820.45 c 787s| 2160k|406777 | 4732k| 208M| 45 | 6 | 50 | 60 | 7 | 50 | 17 | 19 | 36k|5054 | 0.000000e+00 | -- | Inf
823.96/824.27 c 791s| 2170k|409250 | 4754k| 209M| 45 | - | 50 | 65 | 6 | 50 | 17 | 19 | 36k|5066 | 0.000000e+00 | -- | Inf
827.96/828.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.96/828.23 c 795s| 2180k|411223 | 4776k| 210M| 45 | - | 50 | 52 | 7 | 0 | 0 | 19 | 36k|5076 | 0.000000e+00 | -- | Inf
831.96/832.24 c 799s| 2190k|413348 | 4799k| 211M| 45 | - | 50 | 55 | 7 | 50 | 17 | 19 | 36k|5087 | 0.000000e+00 | -- | Inf
835.95/836.25 c 802s| 2200k|415301 | 4822k| 212M| 45 | - | 50 | 53 | 6 | 50 | 17 | 19 | 36k|5103 | 0.000000e+00 | -- | Inf
839.95/840.22 c 806s| 2210k|417117 | 4844k| 213M| 45 | 6 | 50 | 46 | 6 | 50 | 17 | 19 | 36k|5116 | 0.000000e+00 | -- | Inf
843.86/844.11 c 810s| 2220k|419483 | 4866k| 214M| 45 | - | 50 | 55 | 6 | 0 | 0 | 19 | 36k|5129 | 0.000000e+00 | -- | Inf
847.76/848.07 c 814s| 2230k|421577 | 4889k| 215M| 45 | - | 50 | 62 | 7 | 50 | 17 | 19 | 37k|5142 | 0.000000e+00 | -- | Inf
851.76/852.07 c 818s| 2240k|423363 | 4911k| 216M| 45 | 6 | 50 | 55 | 7 | 50 | 17 | 19 | 37k|5154 | 0.000000e+00 | -- | Inf
855.75/856.05 c 821s| 2250k|425052 | 4934k| 217M| 45 | - | 50 | 47 | 6 | 50 | 17 | 19 | 37k|5170 | 0.000000e+00 | -- | Inf
859.65/859.99 c 825s| 2260k|426937 | 4956k| 218M| 45 | 6 | 50 | 48 | 6 | 50 | 17 | 19 | 37k|5184 | 0.000000e+00 | -- | Inf
863.74/864.00 c 829s| 2270k|428903 | 4979k| 219M| 45 | 6 | 50 | 46 | 6 | 50 | 17 | 19 | 37k|5201 | 0.000000e+00 | -- | Inf
867.65/867.99 c 833s| 2280k|431259 | 5002k| 220M| 45 | - | 50 | 57 | 6 | 50 | 17 | 19 | 37k|5216 | 0.000000e+00 | -- | Inf
871.75/872.08 c 837s| 2290k|432646 | 5025k| 221M| 45 | 6 | 50 | 48 | 6 | 50 | 17 | 19 | 38k|5232 | 0.000000e+00 | -- | Inf
875.74/876.06 c 841s| 2300k|434292 | 5047k| 222M| 45 | - | 50 | 47 | 6 | 50 | 17 | 19 | 38k|5241 | 0.000000e+00 | -- | Inf
879.65/880.00 c 844s| 2310k|436506 | 5069k| 223M| 45 | 6 | 50 | 55 | 6 | 50 | 17 | 19 | 38k|5249 | 0.000000e+00 | -- | Inf
883.74/884.01 c 848s| 2320k|438016 | 5091k| 224M| 45 | 6 | 50 | 49 | 6 | 50 | 17 | 19 | 38k|5262 | 0.000000e+00 | -- | Inf
887.64/887.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.64/887.98 c 852s| 2330k|440120 | 5114k| 225M| 45 | - | 50 | 53 | 6 | 50 | 17 | 19 | 38k|5273 | 0.000000e+00 | -- | Inf
891.64/891.97 c 856s| 2340k|441984 | 5136k| 226M| 45 | 6 | 50 | 62 | 6 | 50 | 17 | 19 | 38k|5287 | 0.000000e+00 | -- | Inf
895.74/896.00 c 860s| 2350k|443923 | 5159k| 227M| 45 | - | 50 | 55 | 6 | 50 | 17 | 19 | 38k|5299 | 0.000000e+00 | -- | Inf
899.74/900.09 c 864s| 2360k|445484 | 5182k| 227M| 45 | 6 | 50 | 61 | 6 | 50 | 17 | 19 | 39k|5318 | 0.000000e+00 | -- | Inf
903.84/904.12 c 868s| 2370k|446836 | 5205k| 228M| 45 | 6 | 50 | 52 | 6 | 50 | 17 | 19 | 39k|5329 | 0.000000e+00 | -- | Inf
907.84/908.17 c 872s| 2380k|448436 | 5228k| 229M| 45 | 6 | 50 | 50 | 6 | 50 | 17 | 19 | 39k|5345 | 0.000000e+00 | -- | Inf
911.83/912.11 c 875s| 2390k|450125 | 5250k| 230M| 45 | 6 | 50 | 56 | 6 | 50 | 17 | 19 | 39k|5353 | 0.000000e+00 | -- | Inf
915.74/916.05 c 879s| 2400k|452051 | 5272k| 231M| 45 | - | 50 | 34 | 6 | 50 | 17 | 19 | 39k|5370 | 0.000000e+00 | -- | Inf
919.74/920.00 c 883s| 2410k|453684 | 5294k| 232M| 45 | 6 | 50 | 26 | 6 | 50 | 17 | 19 | 40k|5380 | 0.000000e+00 | -- | Inf
923.53/923.84 c 887s| 2420k|455262 | 5315k| 233M| 45 | 6 | 50 | 30 | 6 | 50 | 17 | 19 | 40k|5384 | 0.000000e+00 | -- | Inf
927.43/927.74 c 890s| 2430k|456813 | 5336k| 234M| 45 | 6 | 50 | 27 | 6 | 50 | 17 | 19 | 40k|5397 | 0.000000e+00 | -- | Inf
931.43/931.70 c 894s| 2440k|458522 | 5358k| 234M| 45 | - | 50 | 31 | 6 | 0 | 0 | 19 | 40k|5409 | 0.000000e+00 | -- | Inf
935.33/935.62 c 898s| 2450k|459900 | 5379k| 235M| 45 | - | 50 | 20 | 6 | 0 | 0 | 19 | 40k|5419 | 0.000000e+00 | -- | Inf
939.22/939.53 c 902s| 2460k|461458 | 5400k| 236M| 45 | - | 50 | 20 | 7 | 50 | 17 | 19 | 40k|5430 | 0.000000e+00 | -- | Inf
943.12/943.49 c 905s| 2470k|462873 | 5422k| 237M| 45 | 6 | 50 | 16 | 6 | 50 | 17 | 19 | 41k|5449 | 0.000000e+00 | -- | Inf
947.13/947.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
947.13/947.41 c 909s| 2480k|464684 | 5444k| 238M| 45 | 6 | 50 | 21 | 7 | 50 | 17 | 19 | 41k|5457 | 0.000000e+00 | -- | Inf
951.03/951.33 c 913s| 2490k|466236 | 5466k| 239M| 45 | 6 | 50 | 20 | 6 | 50 | 17 | 19 | 41k|5469 | 0.000000e+00 | -- | Inf
954.92/955.25 c 917s| 2500k|467617 | 5487k| 239M| 45 | 6 | 50 | 21 | 6 | 50 | 17 | 19 | 41k|5474 | 0.000000e+00 | -- | Inf
958.83/959.17 c 920s| 2510k|469300 | 5509k| 240M| 45 | - | 50 | 24 | 6 | 50 | 17 | 19 | 41k|5486 | 0.000000e+00 | -- | Inf
962.82/963.16 c 924s| 2520k|470956 | 5531k| 241M| 45 | 6 | 50 | 31 | 6 | 50 | 17 | 19 | 41k|5493 | 0.000000e+00 | -- | Inf
966.82/967.14 c 928s| 2530k|472843 | 5553k| 242M| 45 | 6 | 50 | 27 | 7 | 50 | 17 | 19 | 42k|5496 | 0.000000e+00 | -- | Inf
970.72/971.04 c 932s| 2540k|474413 | 5574k| 243M| 45 | - | 50 | 25 | 6 | 50 | 17 | 19 | 42k|5499 | 0.000000e+00 | -- | Inf
974.62/974.90 c 936s| 2550k|476749 | 5596k| 244M| 45 | - | 50 | 29 | 6 | 50 | 17 | 19 | 42k|5509 | 0.000000e+00 | -- | Inf
978.42/978.79 c 939s| 2560k|478552 | 5617k| 245M| 45 | 6 | 50 | 33 | 6 | 50 | 17 | 19 | 42k|5519 | 0.000000e+00 | -- | Inf
982.32/982.69 c 943s| 2570k|480220 | 5639k| 246M| 45 | 6 | 50 | 30 | 6 | 50 | 17 | 19 | 42k|5522 | 0.000000e+00 | -- | Inf
986.21/986.59 c 947s| 2580k|482361 | 5661k| 247M| 45 | 6 | 50 | 26 | 6 | 50 | 17 | 19 | 42k|5531 | 0.000000e+00 | -- | Inf
990.21/990.58 c 951s| 2590k|484007 | 5684k| 248M| 45 | - | 50 | 25 | 6 | 50 | 17 | 19 | 43k|5539 | 0.000000e+00 | -- | Inf
994.12/994.46 c 954s| 2600k|485253 | 5704k| 248M| 45 | 6 | 50 | 22 | 7 | 50 | 17 | 19 | 43k|5548 | 0.000000e+00 | -- | Inf
998.01/998.38 c 958s| 2610k|486922 | 5726k| 249M| 45 | 6 | 50 | 21 | 6 | 50 | 17 | 19 | 43k|5552 | 0.000000e+00 | -- | Inf
1001.91/1002.27 c 962s| 2620k|488587 | 5747k| 250M| 45 | 6 | 50 | 24 | 6 | 50 | 17 | 19 | 43k|5557 | 0.000000e+00 | -- | Inf
1005.81/1006.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.81/1006.19 c 966s| 2630k|490114 | 5769k| 251M| 45 | - | 50 | 21 | 7 | 50 | 17 | 19 | 43k|5563 | 0.000000e+00 | -- | Inf
1009.80/1010.13 c 969s| 2640k|491799 | 5790k| 252M| 45 | 6 | 50 | 20 | 6 | 50 | 17 | 19 | 43k|5572 | 0.000000e+00 | -- | Inf
1013.71/1014.05 c 973s| 2650k|493353 | 5812k| 253M| 45 | - | 50 | 23 | 6 | 50 | 17 | 19 | 44k|5577 | 0.000000e+00 | -- | Inf
1017.71/1018.00 c 977s| 2660k|494821 | 5833k| 254M| 45 | - | 50 | 18 | 6 | 0 | 0 | 19 | 44k|5580 | 0.000000e+00 | -- | Inf
1021.61/1021.92 c 981s| 2670k|496370 | 5855k| 254M| 45 | 6 | 50 | 18 | 8 | 50 | 17 | 19 | 44k|5587 | 0.000000e+00 | -- | Inf
1025.50/1025.81 c 984s| 2680k|497924 | 5876k| 255M| 45 | - | 50 | 25 | 6 | 50 | 17 | 19 | 44k|5602 | 0.000000e+00 | -- | Inf
1029.40/1029.72 c 988s| 2690k|499233 | 5896k| 256M| 45 | - | 50 | 36 | 6 | 0 | 0 | 19 | 44k|5612 | 0.000000e+00 | -- | Inf
1033.30/1033.64 c 992s| 2700k|500719 | 5917k| 257M| 45 | - | 50 | 26 | 6 | 0 | 0 | 19 | 45k|5619 | 0.000000e+00 | -- | Inf
1037.20/1037.55 c 996s| 2710k|502457 | 5939k| 258M| 45 | 6 | 50 | 25 | 6 | 50 | 17 | 19 | 45k|5628 | 0.000000e+00 | -- | Inf
1041.10/1041.46 c 1000s| 2720k|503755 | 5960k| 259M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 45k|5636 | 0.000000e+00 | -- | Inf
1045.10/1045.43 c 1003s| 2730k|505370 | 5982k| 259M| 45 | - | 50 | 28 | 7 | 50 | 17 | 19 | 45k|5645 | 0.000000e+00 | -- | Inf
1049.00/1049.34 c 1007s| 2740k|507251 | 6004k| 260M| 45 | - | 50 | 22 | 6 | 50 | 17 | 19 | 45k|5656 | 0.000000e+00 | -- | Inf
1052.90/1053.24 c 1011s| 2750k|509126 | 6025k| 261M| 45 | - | 50 | 25 | 6 | 50 | 17 | 19 | 45k|5668 | 0.000000e+00 | -- | Inf
1056.70/1057.02 c 1014s| 2760k|511063 | 6046k| 262M| 45 | 6 | 50 | 28 | 6 | 50 | 17 | 19 | 45k|5676 | 0.000000e+00 | -- | Inf
1060.49/1060.88 c 1018s| 2770k|512594 | 6066k| 263M| 45 | 6 | 50 | 21 | 6 | 50 | 17 | 19 | 46k|5683 | 0.000000e+00 | -- | Inf
1064.40/1064.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.40/1064.78 c 1022s| 2780k|513977 | 6087k| 264M| 45 | 6 | 50 | 20 | 7 | 50 | 17 | 19 | 46k|5692 | 0.000000e+00 | -- | Inf
1068.40/1068.73 c 1026s| 2790k|515995 | 6109k| 265M| 45 | 6 | 50 | 22 | 6 | 50 | 17 | 19 | 46k|5699 | 0.000000e+00 | -- | Inf
1072.29/1072.63 c 1029s| 2800k|517530 | 6130k| 266M| 45 | 6 | 50 | 24 | 6 | 50 | 17 | 19 | 46k|5704 | 0.000000e+00 | -- | Inf
1076.19/1076.57 c 1033s| 2810k|518858 | 6151k| 266M| 45 | 6 | 50 | 30 | 7 | 50 | 17 | 19 | 46k|5713 | 0.000000e+00 | -- | Inf
1080.18/1080.57 c 1037s| 2820k|520581 | 6173k| 267M| 45 | 6 | 50 | 21 | 7 | 50 | 17 | 19 | 46k|5728 | 0.000000e+00 | -- | Inf
1084.09/1084.47 c 1041s| 2830k|522191 | 6194k| 268M| 45 | 6 | 50 | 25 | 6 | 50 | 17 | 19 | 47k|5742 | 0.000000e+00 | -- | Inf
1088.09/1088.42 c 1045s| 2840k|523821 | 6216k| 269M| 45 | - | 50 | 21 | 6 | 0 | 0 | 19 | 47k|5748 | 0.000000e+00 | -- | Inf
1091.99/1092.32 c 1048s| 2850k|525331 | 6236k| 270M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 47k|5762 | 0.000000e+00 | -- | Inf
1095.99/1096.34 c 1052s| 2860k|526719 | 6259k| 271M| 45 | - | 50 | 18 | 15 | 0 | 0 | 19 | 47k|5772 | 0.000000e+00 | -- | Inf
1099.88/1100.28 c 1056s| 2870k|528828 | 6281k| 272M| 45 | - | 50 | 18 | 6 | 50 | 17 | 19 | 47k|5782 | 0.000000e+00 | -- | Inf
1103.88/1104.24 c 1060s| 2880k|530497 | 6303k| 273M| 45 | 6 | 50 | 30 | 6 | 50 | 17 | 19 | 47k|5793 | 0.000000e+00 | -- | Inf
1107.88/1108.21 c 1064s| 2890k|531917 | 6325k| 273M| 45 | 6 | 50 | 22 | 6 | 50 | 17 | 19 | 47k|5806 | 0.000000e+00 | -- | Inf
1111.88/1112.22 c 1068s| 2900k|533483 | 6347k| 274M| 45 | 6 | 50 | 19 | 8 | 50 | 17 | 19 | 48k|5812 | 0.000000e+00 | -- | Inf
1115.78/1116.19 c 1071s| 2910k|534894 | 6368k| 275M| 45 | - | 50 | 21 | 7 | 50 | 17 | 19 | 48k|5822 | 0.000000e+00 | -- | Inf
1119.57/1119.98 c 1075s| 2920k|536790 | 6388k| 276M| 45 | 6 | 50 | 20 | 7 | 50 | 17 | 19 | 48k|5829 | 0.000000e+00 | -- | Inf
1123.48/1123.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.48/1123.88 c 1079s| 2930k|538463 | 6409k| 277M| 45 | - | 50 | 21 | 6 | 50 | 17 | 19 | 48k|5840 | 0.000000e+00 | -- | Inf
1127.47/1127.85 c 1083s| 2940k|539960 | 6431k| 278M| 45 | - | 50 | 20 | 6 | 50 | 17 | 19 | 48k|5844 | 0.000000e+00 | -- | Inf
1131.48/1131.87 c 1086s| 2950k|541405 | 6453k| 278M| 45 | - | 50 | 18 | 6 | 50 | 17 | 19 | 48k|5850 | 0.000000e+00 | -- | Inf
1135.47/1135.80 c 1090s| 2960k|543012 | 6474k| 279M| 45 | - | 50 | 17 | 6 | 50 | 17 | 19 | 48k|5855 | 0.000000e+00 | -- | Inf
1139.37/1139.75 c 1094s| 2970k|544609 | 6496k| 280M| 45 | 6 | 50 | 18 | 6 | 50 | 17 | 19 | 49k|5861 | 0.000000e+00 | -- | Inf
1143.27/1143.69 c 1098s| 2980k|545984 | 6517k| 281M| 45 | - | 50 | 16 | 5 | 0 | 0 | 19 | 49k|5871 | 0.000000e+00 | -- | Inf
1147.27/1147.65 c 1102s| 2990k|547456 | 6539k| 282M| 45 | 6 | 50 | 26 | 10 | 50 | 17 | 19 | 49k|5881 | 0.000000e+00 | -- | Inf
1151.28/1151.69 c 1105s| 3000k|548909 | 6560k| 282M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 49k|5892 | 0.000000e+00 | -- | Inf
1155.36/1155.74 c 1109s| 3010k|550528 | 6583k| 283M| 45 | 6 | 50 | 28 | 7 | 50 | 17 | 19 | 49k|5900 | 0.000000e+00 | -- | Inf
1159.36/1159.71 c 1113s| 3020k|551866 | 6605k| 284M| 45 | 6 | 50 | 20 | 6 | 50 | 17 | 19 | 49k|5906 | 0.000000e+00 | -- | Inf
1163.26/1163.60 c 1117s| 3030k|553201 | 6626k| 285M| 45 | 6 | 50 | 20 | 6 | 50 | 17 | 19 | 50k|5918 | 0.000000e+00 | -- | Inf
1167.16/1167.53 c 1121s| 3040k|554460 | 6647k| 286M| 45 | 6 | 50 | 20 | 6 | 50 | 17 | 19 | 50k|5928 | 0.000000e+00 | -- | Inf
1171.07/1171.45 c 1124s| 3050k|556125 | 6668k| 286M| 45 | 6 | 50 | 28 | 6 | 50 | 17 | 19 | 50k|5938 | 0.000000e+00 | -- | Inf
1175.06/1175.44 c 1128s| 3060k|557506 | 6689k| 287M| 45 | - | 50 | 21 | 5 | 0 | 0 | 19 | 50k|5948 | 0.000000e+00 | -- | Inf
1178.96/1179.39 c 1132s| 3070k|558806 | 6710k| 288M| 45 | 6 | 50 | 26 | 6 | 50 | 17 | 19 | 50k|5954 | 0.000000e+00 | -- | Inf
1182.86/1183.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.86/1183.27 c 1136s| 3080k|560369 | 6732k| 289M| 45 | 6 | 50 | 28 | 15 | 50 | 17 | 19 | 51k|5970 | 0.000000e+00 | -- | Inf
1186.76/1187.20 c 1140s| 3090k|561855 | 6752k| 290M| 45 | 6 | 50 | 18 | 6 | 50 | 17 | 19 | 51k|5976 | 0.000000e+00 | -- | Inf
1190.86/1191.21 c 1143s| 3100k|563879 | 6775k| 291M| 45 | 6 | 50 | 22 | 6 | 50 | 17 | 19 | 51k|5990 | 0.000000e+00 | -- | Inf
1194.76/1195.13 c 1147s| 3110k|566003 | 6796k| 292M| 45 | - | 50 | 25 | 7 | 0 | 0 | 19 | 51k|5997 | 0.000000e+00 | -- | Inf
1198.66/1199.08 c 1151s| 3120k|567535 | 6818k| 292M| 45 | 6 | 50 | 25 | 6 | 50 | 17 | 19 | 51k|6003 | 0.000000e+00 | -- | Inf
1202.66/1203.06 c 1155s| 3130k|568896 | 6839k| 293M| 45 | 6 | 50 | 22 | 12 | 50 | 17 | 19 | 51k|6021 | 0.000000e+00 | -- | Inf
1206.65/1207.07 c 1159s| 3140k|570536 | 6861k| 294M| 45 | 6 | 50 | 27 | 6 | 50 | 17 | 19 | 51k|6036 | 0.000000e+00 | -- | Inf
1210.66/1211.07 c 1163s| 3150k|571858 | 6882k| 295M| 45 | - | 50 | 19 | 6 | 50 | 17 | 19 | 52k|6043 | 0.000000e+00 | -- | Inf
1214.65/1215.05 c 1166s| 3160k|573201 | 6904k| 296M| 45 | 6 | 50 | 18 | 10 | 50 | 17 | 19 | 52k|6056 | 0.000000e+00 | -- | Inf
1218.65/1219.02 c 1170s| 3170k|574699 | 6925k| 296M| 45 | 6 | 50 | 21 | 6 | 50 | 17 | 19 | 52k|6067 | 0.000000e+00 | -- | Inf
1222.55/1222.95 c 1174s| 3180k|576015 | 6947k| 297M| 45 | - | 50 | 20 | 6 | 50 | 17 | 19 | 52k|6075 | 0.000000e+00 | -- | Inf
1226.54/1226.94 c 1178s| 3190k|577106 | 6968k| 298M| 45 | - | 50 | 17 | 6 | 50 | 17 | 19 | 52k|6080 | 0.000000e+00 | -- | Inf
1230.45/1230.87 c 1182s| 3200k|579380 | 6990k| 299M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 52k|6083 | 0.000000e+00 | -- | Inf
1234.55/1234.93 c 1185s| 3210k|581705 | 7014k| 300M| 45 | - | 50 | 25 | 6 | 50 | 17 | 19 | 53k|6096 | 0.000000e+00 | -- | Inf
1238.54/1238.96 c 1189s| 3220k|583228 | 7036k| 301M| 45 | 6 | 50 | 19 | 6 | 50 | 17 | 19 | 53k|6107 | 0.000000e+00 | -- | Inf
1242.44/1242.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1242.44/1242.88 c 1193s| 3230k|584660 | 7058k| 302M| 45 | 6 | 50 | 17 | 6 | 50 | 17 | 19 | 53k|6116 | 0.000000e+00 | -- | Inf
1246.34/1246.78 c 1197s| 3240k|586026 | 7079k| 302M| 45 | - | 50 | 20 | 7 | 0 | 0 | 19 | 53k|6125 | 0.000000e+00 | -- | Inf
1250.35/1250.71 c 1201s| 3250k|587418 | 7099k| 303M| 45 | - | 50 | 17 | 7 | 0 | 0 | 19 | 53k|6132 | 0.000000e+00 | -- | Inf
1254.24/1254.69 c 1204s| 3260k|588851 | 7121k| 304M| 45 | 6 | 50 | 18 | 6 | 50 | 17 | 19 | 53k|6140 | 0.000000e+00 | -- | Inf
1258.13/1258.58 c 1208s| 3270k|590452 | 7142k| 305M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 53k|6149 | 0.000000e+00 | -- | Inf
1262.03/1262.46 c 1212s| 3280k|592132 | 7162k| 306M| 45 | - | 50 | 32 | 6 | 0 | 0 | 19 | 54k|6153 | 0.000000e+00 | -- | Inf
1265.94/1266.33 c 1216s| 3290k|593724 | 7183k| 307M| 45 | 6 | 50 | 36 | 6 | 50 | 17 | 19 | 54k|6159 | 0.000000e+00 | -- | Inf
1269.94/1270.35 c 1220s| 3300k|595075 | 7205k| 307M| 45 | 6 | 50 | 32 | 6 | 50 | 17 | 19 | 54k|6169 | 0.000000e+00 | -- | Inf
1274.03/1274.42 c 1223s| 3310k|596324 | 7227k| 308M| 45 | 6 | 50 | 28 | 6 | 50 | 17 | 19 | 54k|6177 | 0.000000e+00 | -- | Inf
1277.93/1278.34 c 1227s| 3320k|597729 | 7249k| 309M| 45 | - | 50 | 28 | 6 | 50 | 17 | 19 | 54k|6190 | 0.000000e+00 | -- | Inf
1281.83/1282.28 c 1231s| 3330k|598981 | 7270k| 310M| 45 | - | 50 | 25 | 6 | 0 | 0 | 19 | 54k|6198 | 0.000000e+00 | -- | Inf
1285.83/1286.27 c 1235s| 3340k|600476 | 7292k| 310M| 45 | - | 50 | 26 | 6 | 50 | 17 | 19 | 55k|6206 | 0.000000e+00 | -- | Inf
1289.84/1290.24 c 1239s| 3350k|602405 | 7314k| 311M| 45 | - | 50 | 34 | 7 | 50 | 17 | 19 | 55k|6214 | 0.000000e+00 | -- | Inf
1293.83/1294.24 c 1242s| 3360k|604114 | 7336k| 312M| 45 | 6 | 50 | 29 | 6 | 50 | 17 | 19 | 55k|6219 | 0.000000e+00 | -- | Inf
1297.72/1298.12 c 1246s| 3370k|605439 | 7357k| 313M| 45 | 6 | 50 | 17 | 6 | 50 | 17 | 19 | 55k|6228 | 0.000000e+00 | -- | Inf
1301.63/1302.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1301.63/1302.05 c 1250s| 3380k|606908 | 7378k| 314M| 45 | - | 50 | 21 | 6 | 0 | 0 | 19 | 55k|6233 | 0.000000e+00 | -- | Inf
1305.62/1306.04 c 1254s| 3390k|608324 | 7399k| 315M| 45 | - | 50 | 20 | 6 | 50 | 17 | 19 | 55k|6246 | 0.000000e+00 | -- | Inf
1309.63/1310.05 c 1258s| 3400k|609788 | 7421k| 315M| 45 | 6 | 50 | 19 | 7 | 50 | 17 | 19 | 56k|6256 | 0.000000e+00 | -- | Inf
1313.43/1313.88 c 1261s| 3410k|611899 | 7441k| 316M| 45 | 6 | 50 | 31 | 6 | 50 | 17 | 19 | 56k|6262 | 0.000000e+00 | -- | Inf
1317.32/1317.72 c 1265s| 3420k|613864 | 7462k| 317M| 45 | 6 | 50 | 32 | 6 | 50 | 17 | 19 | 56k|6265 | 0.000000e+00 | -- | Inf
1321.12/1321.50 c 1269s| 3430k|615471 | 7482k| 318M| 45 | 6 | 50 | 31 | 6 | 50 | 17 | 19 | 56k|6274 | 0.000000e+00 | -- | Inf
1324.92/1325.34 c 1272s| 3440k|617087 | 7503k| 319M| 45 | 6 | 50 | 31 | 6 | 50 | 17 | 19 | 56k|6279 | 0.000000e+00 | -- | Inf
1328.72/1329.19 c 1276s| 3450k|618416 | 7524k| 320M| 45 | 6 | 50 | 30 | 7 | 50 | 17 | 19 | 57k|6285 | 0.000000e+00 | -- | Inf
1332.82/1333.23 c 1280s| 3460k|619876 | 7546k| 321M| 45 | 6 | 50 | 27 | 6 | 50 | 17 | 19 | 57k|6294 | 0.000000e+00 | -- | Inf
1336.62/1337.09 c 1284s| 3470k|621492 | 7566k| 321M| 45 | 6 | 50 | 26 | 6 | 50 | 17 | 19 | 57k|6298 | 0.000000e+00 | -- | Inf
1340.61/1341.04 c 1287s| 3480k|623166 | 7587k| 322M| 45 | - | 50 | 29 | 6 | 0 | 0 | 19 | 57k|6307 | 0.000000e+00 | -- | Inf
1344.51/1344.90 c 1291s| 3490k|625368 | 7610k| 323M| 45 | 6 | 50 | 32 | 6 | 50 | 17 | 19 | 57k|6314 | 0.000000e+00 | -- | Inf
1348.41/1348.84 c 1295s| 3500k|627010 | 7633k| 324M| 45 | 6 | 50 | 29 | 6 | 50 | 17 | 19 | 57k|6324 | 0.000000e+00 | -- | Inf
1352.31/1352.77 c 1299s| 3510k|628545 | 7654k| 325M| 45 | 6 | 50 | 32 | 6 | 50 | 17 | 19 | 57k|6331 | 0.000000e+00 | -- | Inf
1356.21/1356.60 c 1302s| 3520k|630498 | 7675k| 326M| 45 | - | 50 | 36 | 6 | 50 | 17 | 19 | 58k|6337 | 0.000000e+00 | -- | Inf
1360.01/1360.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.01/1360.49 c 1306s| 3530k|632265 | 7695k| 327M| 45 | 6 | 50 | 40 | 6 | 50 | 17 | 19 | 58k|6346 | 0.000000e+00 | -- | Inf
1363.91/1364.39 c 1310s| 3540k|633679 | 7716k| 328M| 45 | 6 | 50 | 39 | 6 | 50 | 17 | 19 | 58k|6355 | 0.000000e+00 | -- | Inf
1367.92/1368.39 c 1314s| 3550k|634957 | 7738k| 328M| 45 | - | 50 | 18 | 6 | 50 | 17 | 19 | 58k|6365 | 0.000000e+00 | -- | Inf
1372.00/1372.41 c 1317s| 3560k|636554 | 7760k| 329M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 58k|6374 | 0.000000e+00 | -- | Inf
1375.91/1376.33 c 1321s| 3570k|638221 | 7781k| 330M| 45 | 6 | 50 | 25 | 6 | 50 | 17 | 19 | 58k|6382 | 0.000000e+00 | -- | Inf
1379.80/1380.21 c 1325s| 3580k|639623 | 7802k| 331M| 45 | 6 | 50 | 20 | 7 | 50 | 17 | 19 | 59k|6403 | 0.000000e+00 | -- | Inf
1383.70/1384.14 c 1329s| 3590k|640969 | 7823k| 332M| 45 | - | 50 | 17 | 6 | 0 | 0 | 19 | 59k|6412 | 0.000000e+00 | -- | Inf
1387.71/1388.10 c 1333s| 3600k|642280 | 7845k| 332M| 45 | - | 50 | 18 | 7 | 50 | 17 | 19 | 59k|6417 | 0.000000e+00 | -- | Inf
1391.60/1392.08 c 1336s| 3610k|644517 | 7867k| 333M| 45 | 6 | 50 | 26 | 6 | 50 | 17 | 19 | 59k|6425 | 0.000000e+00 | -- | Inf
1395.60/1396.08 c 1340s| 3620k|646115 | 7890k| 334M| 45 | 6 | 50 | 22 | 7 | 50 | 17 | 19 | 59k|6431 | 0.000000e+00 | -- | Inf
1399.50/1399.99 c 1344s| 3630k|647465 | 7911k| 335M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 59k|6443 | 0.000000e+00 | -- | Inf
1403.50/1403.96 c 1348s| 3640k|649237 | 7933k| 336M| 45 | - | 50 | 24 | 7 | 0 | 0 | 19 | 59k|6452 | 0.000000e+00 | -- | Inf
1407.39/1407.88 c 1351s| 3650k|651012 | 7955k| 337M| 45 | - | 50 | 26 | 6 | 0 | 0 | 19 | 60k|6464 | 0.000000e+00 | -- | Inf
1411.40/1411.87 c 1355s| 3660k|653031 | 7977k| 338M| 45 | - | 50 | 31 | 6 | 50 | 17 | 19 | 60k|6475 | 0.000000e+00 | -- | Inf
1415.40/1415.82 c 1359s| 3670k|654598 | 7999k| 339M| 45 | - | 50 | 26 | 6 | 50 | 17 | 19 | 60k|6477 | 0.000000e+00 | -- | Inf
1419.39/1419.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1419.39/1419.80 c 1363s| 3680k|656024 | 8021k| 339M| 45 | 6 | 50 | 27 | 7 | 50 | 17 | 19 | 60k|6493 | 0.000000e+00 | -- | Inf
1423.20/1423.68 c 1367s| 3690k|657698 | 8043k| 340M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 60k|6499 | 0.000000e+00 | -- | Inf
1427.19/1427.65 c 1370s| 3700k|659041 | 8064k| 341M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 60k|6499 | 0.000000e+00 | -- | Inf
1431.09/1431.58 c 1374s| 3710k|660637 | 8086k| 342M| 45 | 6 | 50 | 20 | 6 | 50 | 17 | 19 | 60k|6505 | 0.000000e+00 | -- | Inf
1435.09/1435.54 c 1378s| 3720k|661993 | 8107k| 343M| 45 | 6 | 50 | 19 | 7 | 50 | 17 | 19 | 61k|6522 | 0.000000e+00 | -- | Inf
1438.98/1439.40 c 1382s| 3730k|663613 | 8128k| 344M| 45 | - | 50 | 22 | 5 | 0 | 0 | 19 | 61k|6532 | 0.000000e+00 | -- | Inf
1442.89/1443.36 c 1386s| 3740k|665432 | 8151k| 344M| 45 | - | 50 | 32 | 6 | 50 | 17 | 19 | 61k|6540 | 0.000000e+00 | -- | Inf
1446.99/1447.44 c 1389s| 3750k|666826 | 8174k| 345M| 45 | - | 50 | 28 | 6 | 50 | 17 | 19 | 61k|6546 | 0.000000e+00 | -- | Inf
1450.89/1451.39 c 1393s| 3760k|668047 | 8195k| 346M| 45 | - | 50 | 16 | 6 | 50 | 17 | 19 | 61k|6556 | 0.000000e+00 | -- | Inf
1454.99/1455.44 c 1397s| 3770k|669332 | 8217k| 347M| 45 | - | 50 | 22 | 6 | 50 | 17 | 19 | 61k|6564 | 0.000000e+00 | -- | Inf
1458.89/1459.37 c 1401s| 3780k|670829 | 8238k| 348M| 45 | 6 | 50 | 36 | 6 | 50 | 17 | 19 | 62k|6569 | 0.000000e+00 | -- | Inf
1462.68/1463.19 c 1405s| 3790k|672501 | 8259k| 348M| 45 | 6 | 50 | 34 | 6 | 50 | 17 | 19 | 62k|6579 | 0.000000e+00 | -- | Inf
1466.68/1467.20 c 1408s| 3800k|673839 | 8281k| 349M| 45 | - | 50 | 30 | 6 | 50 | 17 | 19 | 62k|6587 | 0.000000e+00 | -- | Inf
1470.78/1471.26 c 1412s| 3810k|675444 | 8303k| 350M| 45 | - | 50 | 29 | 6 | 50 | 17 | 19 | 62k|6590 | 0.000000e+00 | -- | Inf
1474.68/1475.16 c 1416s| 3820k|677120 | 8324k| 351M| 45 | 6 | 50 | 31 | 6 | 50 | 17 | 19 | 62k|6596 | 0.000000e+00 | -- | Inf
1478.58/1479.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.58/1479.06 c 1420s| 3830k|678822 | 8346k| 352M| 45 | 6 | 50 | 35 | 6 | 50 | 17 | 19 | 62k|6612 | 0.000000e+00 | -- | Inf
1482.47/1482.93 c 1424s| 3840k|680401 | 8367k| 353M| 45 | - | 50 | 31 | 6 | 50 | 17 | 19 | 63k|6616 | 0.000000e+00 | -- | Inf
1486.37/1486.82 c 1427s| 3850k|681851 | 8388k| 353M| 45 | 6 | 50 | 29 | 6 | 50 | 17 | 19 | 63k|6624 | 0.000000e+00 | -- | Inf
1490.18/1490.68 c 1431s| 3860k|683667 | 8409k| 354M| 45 | - | 50 | 37 | 6 | 50 | 17 | 19 | 63k|6637 | 0.000000e+00 | -- | Inf
1494.18/1494.60 c 1435s| 3870k|685432 | 8430k| 355M| 45 | 6 | 50 | 33 | 6 | 50 | 17 | 19 | 63k|6640 | 0.000000e+00 | -- | Inf
1497.97/1498.47 c 1438s| 3880k|687010 | 8451k| 356M| 45 | - | 50 | 36 | 6 | 50 | 17 | 19 | 63k|6646 | 0.000000e+00 | -- | Inf
1501.97/1502.45 c 1442s| 3890k|688089 | 8472k| 357M| 45 | - | 50 | 22 | 7 | 50 | 17 | 19 | 63k|6655 | 0.000000e+00 | -- | Inf
1505.96/1506.45 c 1446s| 3900k|689491 | 8493k| 357M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 64k|6668 | 0.000000e+00 | -- | Inf
1509.97/1510.46 c 1450s| 3910k|690567 | 8515k| 358M| 45 | 6 | 50 | 22 | 6 | 50 | 17 | 19 | 64k|6678 | 0.000000e+00 | -- | Inf
1513.96/1514.45 c 1454s| 3920k|691711 | 8536k| 359M| 45 | - | 50 | 19 | 6 | 50 | 17 | 19 | 64k|6693 | 0.000000e+00 | -- | Inf
1517.87/1518.35 c 1458s| 3930k|693446 | 8557k| 360M| 45 | 6 | 50 | 24 | 7 | 50 | 17 | 19 | 64k|6698 | 0.000000e+00 | -- | Inf
1521.76/1522.22 c 1461s| 3940k|695074 | 8578k| 361M| 45 | - | 50 | 20 | 5 | 0 | 0 | 19 | 64k|6705 | 0.000000e+00 | -- | Inf
1525.56/1526.06 c 1465s| 3950k|698207 | 8600k| 362M| 45 | - | 50 | 20 | 6 | 50 | 17 | 19 | 64k|6710 | 0.000000e+00 | -- | Inf
1529.56/1530.04 c 1469s| 3960k|700705 | 8623k| 363M| 45 | 6 | 50 | 22 | 6 | 50 | 17 | 19 | 64k|6720 | 0.000000e+00 | -- | Inf
1533.46/1533.97 c 1473s| 3970k|702904 | 8645k| 364M| 45 | 6 | 50 | 22 | 7 | 50 | 17 | 19 | 65k|6727 | 0.000000e+00 | -- | Inf
1537.37/1537.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1537.37/1537.89 c 1476s| 3980k|704915 | 8667k| 365M| 45 | 6 | 50 | 26 | 7 | 50 | 17 | 19 | 65k|6733 | 0.000000e+00 | -- | Inf
1541.36/1541.84 c 1480s| 3990k|706831 | 8689k| 366M| 45 | - | 50 | 27 | 6 | 50 | 17 | 19 | 65k|6743 | 0.000000e+00 | -- | Inf
1545.26/1545.78 c 1484s| 4000k|709032 | 8713k| 367M| 45 | 6 | 50 | 33 | 6 | 50 | 17 | 19 | 65k|6752 | 0.000000e+00 | -- | Inf
1549.15/1549.67 c 1488s| 4010k|711117 | 8735k| 368M| 45 | - | 50 | 35 | 6 | 50 | 17 | 19 | 65k|6757 | 0.000000e+00 | -- | Inf
1553.15/1553.67 c 1491s| 4020k|713248 | 8757k| 369M| 45 | 6 | 50 | 37 | 6 | 50 | 17 | 19 | 65k|6765 | 0.000000e+00 | -- | Inf
1557.06/1557.59 c 1495s| 4030k|715678 | 8780k| 370M| 45 | 6 | 50 | 43 | 6 | 50 | 17 | 19 | 65k|6772 | 0.000000e+00 | -- | Inf
1561.05/1561.53 c 1499s| 4040k|717577 | 8803k| 371M| 45 | - | 50 | 33 | 5 | 0 | 0 | 19 | 65k|6782 | 0.000000e+00 | -- | Inf
1565.05/1565.55 c 1503s| 4050k|719266 | 8826k| 372M| 45 | 6 | 50 | 28 | 6 | 50 | 17 | 19 | 65k|6788 | 0.000000e+00 | -- | Inf
1569.16/1569.64 c 1507s| 4060k|720900 | 8849k| 373M| 45 | - | 50 | 21 | 6 | 50 | 17 | 19 | 65k|6794 | 0.000000e+00 | -- | Inf
1573.25/1573.76 c 1511s| 4070k|722324 | 8872k| 374M| 45 | 6 | 50 | 29 | 6 | 50 | 17 | 19 | 65k|6804 | 0.000000e+00 | -- | Inf
1577.25/1577.79 c 1515s| 4080k|723829 | 8895k| 375M| 45 | - | 50 | 32 | 5 | 0 | 0 | 19 | 66k|6815 | 0.000000e+00 | -- | Inf
1581.35/1581.85 c 1518s| 4090k|725520 | 8918k| 375M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 66k|6823 | 0.000000e+00 | -- | Inf
1585.25/1585.80 c 1522s| 4100k|727768 | 8940k| 377M| 45 | 6 | 50 | 32 | 6 | 50 | 17 | 19 | 66k|6831 | 0.000000e+00 | -- | Inf
1589.34/1589.81 c 1526s| 4110k|729725 | 8963k| 378M| 45 | - | 50 | 29 | 5 | 0 | 0 | 19 | 66k|6836 | 0.000000e+00 | -- | Inf
1593.35/1593.84 c 1530s| 4120k|731494 | 8985k| 378M| 45 | - | 50 | 32 | 6 | 0 | 0 | 19 | 66k|6848 | 0.000000e+00 | -- | Inf
1597.44/1597.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1597.44/1597.90 c 1534s| 4130k|733177 | 9008k| 379M| 45 | - | 50 | 31 | 6 | 50 | 17 | 19 | 66k|6852 | 0.000000e+00 | -- | Inf
1601.44/1601.93 c 1538s| 4140k|734935 | 9031k| 380M| 45 | - | 50 | 38 | 6 | 50 | 17 | 19 | 66k|6864 | 0.000000e+00 | -- | Inf
1605.54/1606.03 c 1542s| 4150k|736239 | 9054k| 381M| 45 | 6 | 50 | 31 | 6 | 50 | 17 | 19 | 67k|6873 | 0.000000e+00 | -- | Inf
1609.64/1610.10 c 1546s| 4160k|737927 | 9077k| 382M| 45 | 6 | 50 | 33 | 6 | 50 | 17 | 19 | 67k|6882 | 0.000000e+00 | -- | Inf
1613.64/1614.10 c 1549s| 4170k|739551 | 9098k| 383M| 45 | 6 | 50 | 18 | 8 | 50 | 17 | 19 | 67k|6893 | 0.000000e+00 | -- | Inf
1617.64/1618.13 c 1553s| 4180k|740869 | 9120k| 383M| 45 | 6 | 50 | 16 | 6 | 50 | 17 | 19 | 67k|6902 | 0.000000e+00 | -- | Inf
1621.53/1622.00 c 1557s| 4190k|742595 | 9141k| 384M| 45 | 6 | 50 | 19 | 6 | 50 | 17 | 19 | 67k|6906 | 0.000000e+00 | -- | Inf
1625.44/1625.93 c 1561s| 4200k|744000 | 9162k| 385M| 45 | 6 | 50 | 20 | 7 | 50 | 17 | 19 | 67k|6909 | 0.000000e+00 | -- | Inf
1629.33/1629.85 c 1565s| 4210k|745269 | 9182k| 386M| 45 | 6 | 50 | 23 | 7 | 50 | 17 | 19 | 67k|6917 | 0.000000e+00 | -- | Inf
1633.24/1633.78 c 1568s| 4220k|746784 | 9204k| 387M| 45 | 6 | 50 | 22 | 6 | 50 | 17 | 19 | 68k|6926 | 0.000000e+00 | -- | Inf
1637.04/1637.57 c 1572s| 4230k|748145 | 9224k| 387M| 45 | 6 | 50 | 24 | 6 | 50 | 17 | 19 | 68k|6930 | 0.000000e+00 | -- | Inf
1640.93/1641.48 c 1576s| 4240k|749481 | 9245k| 388M| 45 | - | 50 | 16 | 6 | 50 | 17 | 19 | 68k|6933 | 0.000000e+00 | -- | Inf
1644.83/1645.35 c 1579s| 4250k|751133 | 9266k| 389M| 45 | 6 | 50 | 18 | 6 | 50 | 17 | 19 | 68k|6938 | 0.000000e+00 | -- | Inf
1648.83/1649.35 c 1583s| 4260k|752392 | 9288k| 390M| 45 | 6 | 50 | 19 | 6 | 50 | 17 | 19 | 68k|6942 | 0.000000e+00 | -- | Inf
1652.73/1653.21 c 1587s| 4270k|754040 | 9308k| 391M| 45 | - | 50 | 13 | 6 | 50 | 17 | 19 | 68k|6954 | 0.000000e+00 | -- | Inf
1656.62/1657.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1656.62/1657.11 c 1591s| 4280k|756012 | 9330k| 392M| 45 | - | 50 | 16 | 6 | 50 | 17 | 19 | 68k|6963 | 0.000000e+00 | -- | Inf
1660.53/1661.06 c 1595s| 4290k|757304 | 9351k| 392M| 45 | - | 50 | 23 | 6 | 50 | 17 | 19 | 69k|6967 | 0.000000e+00 | -- | Inf
1664.52/1665.08 c 1598s| 4300k|758735 | 9373k| 393M| 45 | 6 | 50 | 20 | 6 | 50 | 17 | 19 | 69k|6972 | 0.000000e+00 | -- | Inf
1668.53/1669.10 c 1602s| 4310k|759938 | 9395k| 394M| 45 | - | 50 | 23 | 9 | 50 | 17 | 19 | 69k|6986 | 0.000000e+00 | -- | Inf
1672.62/1673.12 c 1606s| 4320k|761145 | 9416k| 394M| 45 | 6 | 50 | 22 | 7 | 50 | 17 | 19 | 69k|6992 | 0.000000e+00 | -- | Inf
1676.52/1677.06 c 1610s| 4330k|762652 | 9437k| 395M| 45 | - | 50 | 21 | 8 | 50 | 17 | 19 | 69k|7002 | 0.000000e+00 | -- | Inf
1680.42/1680.97 c 1614s| 4340k|764817 | 9459k| 396M| 45 | 6 | 50 | 24 | 6 | 50 | 17 | 19 | 69k|7006 | 0.000000e+00 | -- | Inf
1684.42/1684.95 c 1617s| 4350k|766166 | 9481k| 397M| 45 | 6 | 50 | 28 | 9 | 50 | 17 | 19 | 70k|7019 | 0.000000e+00 | -- | Inf
1688.41/1688.98 c 1621s| 4360k|767524 | 9503k| 398M| 45 | 6 | 50 | 34 | 7 | 50 | 17 | 19 | 70k|7029 | 0.000000e+00 | -- | Inf
1692.42/1692.96 c 1625s| 4370k|768910 | 9524k| 399M| 45 | - | 50 | 33 | 6 | 50 | 17 | 19 | 70k|7036 | 0.000000e+00 | -- | Inf
1696.41/1696.94 c 1629s| 4380k|770570 | 9544k| 399M| 45 | 6 | 50 | 31 | 6 | 50 | 17 | 19 | 70k|7043 | 0.000000e+00 | -- | Inf
1700.41/1700.90 c 1633s| 4390k|771944 | 9565k| 400M| 45 | - | 50 | 27 | 6 | 50 | 17 | 19 | 70k|7047 | 0.000000e+00 | -- | Inf
1704.42/1704.90 c 1637s| 4400k|773408 | 9587k| 401M| 45 | 6 | 50 | 24 | 6 | 50 | 17 | 19 | 70k|7053 | 0.000000e+00 | -- | Inf
1708.31/1708.88 c 1640s| 4410k|774740 | 9609k| 402M| 45 | 6 | 50 | 30 | 6 | 50 | 17 | 19 | 71k|7060 | 0.000000e+00 | -- | Inf
1712.41/1712.92 c 1644s| 4420k|775985 | 9631k| 402M| 45 | - | 50 | 28 | 6 | 50 | 17 | 19 | 71k|7067 | 0.000000e+00 | -- | Inf
1716.41/1716.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.41/1716.95 c 1648s| 4430k|777432 | 9652k| 403M| 45 | - | 50 | 34 | 6 | 0 | 0 | 19 | 71k|7075 | 0.000000e+00 | -- | Inf
1720.41/1720.90 c 1652s| 4440k|778820 | 9674k| 404M| 45 | - | 50 | 27 | 6 | 0 | 0 | 19 | 71k|7081 | 0.000000e+00 | -- | Inf
1724.31/1724.83 c 1656s| 4450k|780499 | 9695k| 405M| 45 | 6 | 50 | 30 | 6 | 50 | 17 | 19 | 71k|7086 | 0.000000e+00 | -- | Inf
1728.30/1728.80 c 1660s| 4460k|782131 | 9717k| 406M| 45 | 6 | 50 | 25 | 6 | 50 | 17 | 19 | 71k|7091 | 0.000000e+00 | -- | Inf
1732.21/1732.72 c 1663s| 4470k|783926 | 9738k| 407M| 45 | 6 | 50 | 28 | 6 | 50 | 17 | 19 | 71k|7098 | 0.000000e+00 | -- | Inf
1736.21/1736.72 c 1667s| 4480k|785571 | 9760k| 407M| 45 | 6 | 50 | 29 | 6 | 50 | 17 | 19 | 72k|7102 | 0.000000e+00 | -- | Inf
1740.10/1740.67 c 1671s| 4490k|787348 | 9782k| 408M| 45 | - | 50 | 30 | 6 | 50 | 17 | 19 | 72k|7105 | 0.000000e+00 | -- | Inf
1744.10/1744.61 c 1675s| 4500k|789193 | 9803k| 409M| 45 | - | 50 | 31 | 6 | 50 | 17 | 19 | 72k|7123 | 0.000000e+00 | -- | Inf
1748.00/1748.52 c 1679s| 4510k|791068 | 9824k| 410M| 45 | 6 | 50 | 36 | 6 | 50 | 17 | 19 | 72k|7129 | 0.000000e+00 | -- | Inf
1752.00/1752.55 c 1682s| 4520k|792461 | 9846k| 411M| 45 | 6 | 50 | 31 | 7 | 50 | 17 | 19 | 72k|7132 | 0.000000e+00 | -- | Inf
1756.00/1756.50 c 1686s| 4530k|793932 | 9867k| 412M| 45 | 6 | 50 | 28 | 7 | 50 | 17 | 19 | 72k|7143 | 0.000000e+00 | -- | Inf
1759.99/1760.51 c 1690s| 4540k|795250 | 9889k| 413M| 45 | - | 50 | 23 | 6 | 50 | 17 | 19 | 72k|7150 | 0.000000e+00 | -- | Inf
1764.00/1764.54 c 1694s| 4550k|796661 | 9911k| 413M| 45 | 6 | 50 | 27 | 7 | 50 | 17 | 19 | 72k|7157 | 0.000000e+00 | -- | Inf
1768.10/1768.63 c 1698s| 4560k|798108 | 9933k| 414M| 45 | 6 | 50 | 26 | 6 | 50 | 17 | 19 | 73k|7165 | 0.000000e+00 | -- | Inf
1772.09/1772.62 c 1702s| 4570k|799658 | 9956k| 415M| 45 | 6 | 50 | 31 | 6 | 50 | 17 | 19 | 73k|7166 | 0.000000e+00 | -- | Inf
1776.00/1776.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.00/1776.59 c 1706s| 4580k|801087 | 9977k| 416M| 45 | 6 | 50 | 28 | 6 | 50 | 17 | 19 | 73k|7171 | 0.000000e+00 | -- | Inf
1779.89/1780.45 c 1709s| 4590k|803017 | 9999k| 417M| 45 | 6 | 50 | 33 | 6 | 50 | 17 | 19 | 73k|7180 | 0.000000e+00 | -- | Inf
1783.89/1784.42 c 1713s| 4600k|804263 | 10020k| 417M| 45 | 6 | 50 | 18 | 6 | 50 | 17 | 19 | 73k|7188 | 0.000000e+00 | -- | Inf
1787.89/1788.49 c 1717s| 4610k|805590 | 10042k| 418M| 45 | - | 50 | 25 | 6 | 50 | 17 | 19 | 73k|7196 | 0.000000e+00 | -- | Inf
1791.99/1792.53 c 1721s| 4620k|807072 | 10064k| 419M| 45 | 6 | 50 | 19 | 6 | 50 | 17 | 19 | 73k|7207 | 0.000000e+00 | -- | Inf
1796.08/1796.66 c 1725s| 4630k|809044 | 10087k| 420M| 45 | 6 | 50 | 23 | 6 | 50 | 17 | 19 | 74k|7214 | 0.000000e+00 | -- | Inf
1799.99/1800.57 c 1729s| 4640k|811213 | 10109k| 421M| 45 | - | 50 | 21 | 6 | 0 | 0 | 19 | 74k|7226 | 0.000000e+00 | -- | Inf
1800.10/1800.61 c
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time (sec) : 1728.61
1800.10/1800.61 c Solving Nodes : 4640107
1800.10/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.10/1800.61 c Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 c NODE 4640107
1800.10/1800.61 c DUAL BOUND 0
1800.10/1800.61 c PRIMAL BOUND 1e+20
1800.10/1800.61 c GAP 1e+20
1800.10/1800.61 s UNKNOWN
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time : 1728.61
1800.10/1800.61 c Original Problem :
1800.10/1800.61 c Problem name : HOME/instance-1869513-1245175836.opb
1800.10/1800.61 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 13 initial, 13 maximal
1800.10/1800.61 c Presolved Problem :
1800.10/1800.61 c Problem name : t_HOME/instance-1869513-1245175836.opb
1800.10/1800.61 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 6 initial, 112 maximal
1800.10/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.10/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.61 c linear : 0.00 0 0 0 0 0 7 0 0
1800.10/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c root node : - 0 - - 0 - - - -
1800.10/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c integral : 0 0 0 2735509 0 977 3089 0 0 5463666
1800.10/1800.61 c linear : 6 6 5887984 0 0 530479 6764375 0 0 0
1800.10/1800.61 c logicor : 0+ 0 1331919 0 0 89 54971 0 0 0
1800.10/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.61 c integral : 27.42 0.00 0.00 27.42 0.00
1800.10/1800.61 c linear : 277.78 0.00 277.78 0.00 0.00
1800.10/1800.61 c logicor : 3.12 0.00 3.12 0.00 0.00
1800.10/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.61 c rootredcost : 2.39 0 0 0
1800.10/1800.61 c pseudoobj : 1.26 0 0 0
1800.10/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.61 c propagation : 36.89 530568 69050 138654 37.8 0 0.0 -
1800.10/1800.61 c infeasible LP : 13.71 1390157 4758 5442 22.3 1 40.0 0
1800.10/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.61 c applied globally : - - - 6712 23.3 - - -
1800.10/1800.61 c applied locally : - - - 67490 36.9 - - -
1800.10/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.61 c cut pool : 0.00 5 - - 18 - (maximal pool size: 76)
1800.10/1800.61 c redcost : 5.38 2735514 0 0 0 0
1800.10/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.10/1800.61 c intobj : 0.00 0 0 0 0 0
1800.10/1800.61 c gomory : 0.00 6 0 0 0 0
1800.10/1800.61 c strongcg : 0.00 6 0 0 32 0
1800.10/1800.61 c cmir : 0.03 6 0 0 27 0
1800.10/1800.61 c flowcover : 0.01 6 0 0 33 0
1800.10/1800.61 c clique : 0.00 1 0 0 0 0
1800.10/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.61 c mcf : 0.00 1 0 0 0 0
1800.10/1800.61 c Pricers : Time Calls Vars
1800.10/1800.61 c problem variables: 0.00 0 0
1800.10/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c relpscost : 25.05 2735509 977 3089 0 0 5463666
1800.10/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.10/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c random : 0.00 0 0 0 0 0 0
1800.10/1800.61 c Primal Heuristics : Time Calls Found
1800.10/1800.61 c LP solutions : 0.00 - 0
1800.10/1800.61 c pseudo solutions : 0.00 - 0
1800.10/1800.61 c oneopt : 1.72 0 0
1800.10/1800.61 c crossover : 1.32 0 0
1800.10/1800.61 c guideddiving : 0.14 0 0
1800.10/1800.61 c coefdiving : 0.20 96 0
1800.10/1800.61 c linesearchdiving : 0.24 96 0
1800.10/1800.61 c fracdiving : 0.27 96 0
1800.10/1800.61 c pscostdiving : 0.27 97 0
1800.10/1800.61 c veclendiving : 0.31 97 0
1800.10/1800.61 c feaspump : 0.25 49 0
1800.10/1800.61 c objpscostdiving : 0.31 49 0
1800.10/1800.61 c rootsoldiving : 0.23 49 0
1800.10/1800.61 c simplerounding : 1.51 0 0
1800.10/1800.61 c rounding : 2.13 23367 0
1800.10/1800.61 c shifting : 4.04 6375 0
1800.10/1800.61 c intshifting : 0.09 0 0
1800.10/1800.61 c fixandinfer : 0.00 0 0
1800.10/1800.61 c intdiving : 0.00 0 0
1800.10/1800.61 c actconsdiving : 0.00 0 0
1800.10/1800.61 c octane : 0.00 0 0
1800.10/1800.61 c rens : 0.03 1 0
1800.10/1800.61 c rins : 0.00 0 0
1800.10/1800.61 c localbranching : 0.00 0 0
1800.10/1800.61 c mutation : 0.00 0 0
1800.10/1800.61 c dins : 0.00 0 0
1800.10/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.61 c dual LP : 1105.42 4188419 10105695 2.41 9141.95
1800.10/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.61 c diving/probing LP: 0.57 2118 4020 1.90 7052.63
1800.10/1800.61 c strong branching : 1.51 7226 41516 5.75 27494.04
1800.10/1800.61 c (at root node) : - 17 844 49.65 -
1800.10/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.61 c B&B Tree :
1800.10/1800.61 c number of runs : 1
1800.10/1800.61 c nodes : 4640107
1800.10/1800.61 c nodes (total) : 4640107
1800.10/1800.61 c nodes left : 811234
1800.10/1800.61 c max depth : 45
1800.10/1800.61 c max depth (total): 45
1800.10/1800.61 c backtracks : 743107 (16.0%)
1800.10/1800.61 c delayed cutoffs : 12326
1800.10/1800.61 c repropagations : 79559 (137028 domain reductions, 12304 cutoffs)
1800.10/1800.61 c avg switch length: 4.56
1800.10/1800.61 c switching time : 124.68
1800.10/1800.61 c Solution :
1800.10/1800.61 c Solutions found : 0 (0 improvements)
1800.10/1800.61 c Primal Bound : -
1800.10/1800.61 c Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 c Root Dual Bound : +0.00000000000000e+00
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869513-1245175836/watcher-1869513-1245175836 -o /tmp/evaluation-result-1869513-1245175836/solver-1869513-1245175836 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869513-1245175836.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.92 0.98 1.06 3/65 3177
/proc/meminfo: memFree=1864480/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=7616 CPUtime=0
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 605 0 0 0 0 0 0 0 20 0 1 0 185182234 7798784 589 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/3177/statm: 1904 599 353 1256 0 643 0
[startup+0.034066 s]
/proc/loadavg: 0.92 0.98 1.06 3/65 3177
/proc/meminfo: memFree=1864480/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=14284 CPUtime=0.03
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 2847 0 0 0 2 1 0 0 20 0 1 0 185182234 14626816 2477 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 3571 2477 659 1256 0 2310 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14284
[startup+0.101074 s]
/proc/loadavg: 0.92 0.98 1.06 3/65 3177
/proc/meminfo: memFree=1864480/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=21548 CPUtime=0.08
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 4391 0 0 0 7 1 0 0 20 0 1 0 185182234 22065152 4021 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 5387 4021 665 1256 0 4126 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21548
[startup+0.301095 s]
/proc/loadavg: 0.92 0.98 1.06 3/65 3177
/proc/meminfo: memFree=1864480/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=15552 CPUtime=0.29
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 4550 0 0 0 27 2 0 0 22 0 1 0 185182234 15925248 2565 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 3888 2565 692 1256 0 2627 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15552
[startup+0.701135 s]
/proc/loadavg: 0.92 0.98 1.06 3/65 3177
/proc/meminfo: memFree=1864480/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=15744 CPUtime=0.69
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 4636 0 0 0 66 3 0 0 25 0 1 0 185182234 16121856 2651 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 3936 2651 692 1256 0 2675 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15744
[startup+1.50122 s]
/proc/loadavg: 0.92 0.98 1.06 2/66 3178
/proc/meminfo: memFree=1856472/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=16268 CPUtime=1.49
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 4709 0 0 0 143 6 0 0 25 0 1 0 185182234 16658432 2724 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 4067 2724 692 1256 0 2806 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16268
[startup+3.10138 s]
/proc/loadavg: 0.93 0.98 1.06 2/66 3178
/proc/meminfo: memFree=1856152/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=16936 CPUtime=3.09
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 4887 0 0 0 296 13 0 0 25 0 1 0 185182234 17342464 2902 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 4234 2902 692 1256 0 2973 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16936
[startup+6.3017 s]
/proc/loadavg: 0.93 0.98 1.06 2/66 3178
/proc/meminfo: memFree=1854296/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=19036 CPUtime=6.29
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 5272 0 0 0 603 26 0 0 25 0 1 0 185182234 19492864 3287 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 4759 3287 692 1256 0 3498 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19036
[startup+12.7014 s]
/proc/loadavg: 1.01 1.00 1.07 2/66 3178
/proc/meminfo: memFree=1852312/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=20856 CPUtime=12.69
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 5663 0 0 0 1218 51 0 0 25 0 1 0 185182234 21356544 3678 1992294400 4194304 9342243 548682068736 18446744073709551615 7289224 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 5214 3678 692 1256 0 3953 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20856
[startup+25.5017 s]
/proc/loadavg: 1.01 1.00 1.07 2/66 3178
/proc/meminfo: memFree=1848664/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=24148 CPUtime=25.49
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 6577 0 0 0 2447 102 0 0 25 0 1 0 185182234 24727552 4592 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 6037 4592 692 1256 0 4776 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24148
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 3178
/proc/meminfo: memFree=1841816/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=31784 CPUtime=51.08
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 8397 0 0 0 4905 203 0 0 25 0 1 0 185182234 32546816 6412 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 7946 6412 692 1256 0 6685 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31784
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 3178
/proc/meminfo: memFree=1827480/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=45140 CPUtime=102.26
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 11847 0 0 0 9816 410 0 0 25 0 1 0 185182234 46223360 9862 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 11285 9862 692 1256 0 10024 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 45140
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.05 2/66 3178
/proc/meminfo: memFree=1808856/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=64444 CPUtime=162.24
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 16509 0 0 0 15572 652 0 0 25 0 1 0 185182234 65990656 14524 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 16111 14524 692 1256 0 14850 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 64444
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.05 2/66 3178
/proc/meminfo: memFree=1792408/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=81680 CPUtime=222.23
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 20570 0 0 0 21337 886 0 0 25 0 1 0 185182234 83640320 18584 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 20420 18584 692 1256 0 19159 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 81680
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/66 3178
/proc/meminfo: memFree=1776344/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=97924 CPUtime=282.21
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 24607 0 0 0 27079 1142 0 0 25 0 1 0 185182234 100274176 22620 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 24481 22620 692 1256 0 23220 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 97924
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 3178
/proc/meminfo: memFree=1759832/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=114548 CPUtime=342.19
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 28659 0 0 0 32834 1385 0 0 25 0 1 0 185182234 117297152 26672 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 28637 26672 692 1256 0 27376 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 114548
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 3178
/proc/meminfo: memFree=1744472/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=133896 CPUtime=402.17
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 32605 0 0 0 38587 1630 0 0 25 0 1 0 185182234 137109504 30618 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 33474 30618 692 1256 0 32213 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 133896
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 3178
/proc/meminfo: memFree=1729112/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=148752 CPUtime=462.17
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 36356 0 0 0 44353 1864 0 0 25 0 1 0 185182234 152322048 34368 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 37188 34368 692 1256 0 35927 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 148752
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 3178
/proc/meminfo: memFree=1714392/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=163308 CPUtime=522.14
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 39946 0 0 0 50101 2113 0 0 25 0 1 0 185182234 167227392 37956 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 40827 37956 692 1256 0 39566 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 163308
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 3178
/proc/meminfo: memFree=1698712/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=178544 CPUtime=582.13
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 43878 0 0 0 55858 2355 0 0 25 0 1 0 185182234 182829056 41888 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 44636 41888 692 1256 0 43375 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 178544
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3178
/proc/meminfo: memFree=1685592/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=191456 CPUtime=642.11
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 47099 0 0 0 61620 2591 0 0 25 0 1 0 185182234 196050944 45109 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 47864 45109 692 1256 0 46603 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 191456
[startup+702.302 s]
################
# More data... #
################
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 69106 0 0 0 96187 4014 0 0 25 0 1 0 185182234 293441536 67116 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 71641 67116 692 1256 0 70380 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 286564
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3178
/proc/meminfo: memFree=1584024/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=299600 CPUtime=1062
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 72298 0 0 0 101958 4242 0 0 25 0 1 0 185182234 306790400 70308 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 74900 70308 692 1256 0 73639 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 299600
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3178
/proc/meminfo: memFree=1571096/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=312480 CPUtime=1121.98
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 75506 0 0 0 107722 4476 0 0 25 0 1 0 185182234 319979520 73516 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 78120 73516 692 1256 0 76859 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 312480
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3178
/proc/meminfo: memFree=1557976/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=324960 CPUtime=1181.96
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 78785 0 0 0 113489 4707 0 0 25 0 1 0 185182234 332759040 76795 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 81240 76795 692 1256 0 79979 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 324960
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3178
/proc/meminfo: memFree=1544664/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=337644 CPUtime=1241.94
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 82013 0 0 0 119253 4941 0 0 25 0 1 0 185182234 345747456 80023 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 84411 80023 692 1256 0 83150 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 337644
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3178
/proc/meminfo: memFree=1532824/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=349660 CPUtime=1301.93
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 84946 0 0 0 125022 5171 0 0 25 0 1 0 185182234 358051840 82956 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 87415 82956 692 1256 0 86154 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 349660
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3178
/proc/meminfo: memFree=1519256/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=363048 CPUtime=1361.91
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 88319 0 0 0 130771 5420 0 0 25 0 1 0 185182234 371761152 86329 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 90762 86329 692 1256 0 89501 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 363048
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3178
/proc/meminfo: memFree=1505112/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=377264 CPUtime=1421.9
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 91829 0 0 0 136532 5658 0 0 25 0 1 0 185182234 386318336 89839 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 94316 89839 692 1256 0 93055 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 377264
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3178
/proc/meminfo: memFree=1492568/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=389688 CPUtime=1481.87
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 94958 0 0 0 142296 5891 0 0 25 0 1 0 185182234 399040512 92968 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 97422 92968 692 1256 0 96161 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 389688
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3178
/proc/meminfo: memFree=1478104/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=404504 CPUtime=1541.86
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 98609 0 0 0 148054 6132 0 0 25 0 1 0 185182234 414212096 96619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 101126 96619 692 1256 0 99865 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 404504
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3178
/proc/meminfo: memFree=1464216/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=418672 CPUtime=1601.84
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 101982 0 0 0 153807 6377 0 0 25 0 1 0 185182234 428720128 99992 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 104668 99992 692 1256 0 103407 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 418672
[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 3178
/proc/meminfo: memFree=1452248/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=430328 CPUtime=1661.82
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 104942 0 0 0 159578 6604 0 0 25 0 1 0 185182234 440655872 102952 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 107582 102952 692 1256 0 106321 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 430328
[startup+1722.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 3178
/proc/meminfo: memFree=1439704/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=442084 CPUtime=1721.81
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 108080 0 0 0 165334 6847 0 0 25 0 1 0 185182234 452694016 106090 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 110521 106090 692 1256 0 109260 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 442084
[startup+1782.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/66 3178
/proc/meminfo: memFree=1426520/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=454864 CPUtime=1781.79
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 111281 0 0 0 171099 7080 0 0 25 0 1 0 185182234 465780736 109291 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 113716 109291 692 1256 0 112455 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 454864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.10 1.04 1.00 2/66 3178
/proc/meminfo: memFree=1422360/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=458736 CPUtime=1800.1
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 112315 0 0 0 172861 7149 0 0 25 0 1 0 185182234 469745664 110325 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3177/statm: 114684 110325 692 1256 0 113423 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 458736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -3177
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.10 1.04 1.00 2/66 3178
/proc/meminfo: memFree=1422360/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=458736 CPUtime=1800.89
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 112316 0 0 0 172940 7149 0 0 25 0 1 0 185182234 469745664 110326 1992294400 4194304 9342243 548682068736 18446744073709551615 4733160 0 0 4096 0 0 0 0 17 1 0 0
/proc/3177/statm: 114684 110326 693 1256 0 113423 0
Current children cumulated CPU time (s) 1800.89
Current children cumulated vsize (KiB) 458736
[startup+1802.2 s]
/proc/loadavg: 1.10 1.04 1.00 2/67 3179
/proc/meminfo: memFree=1422288/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=458736 CPUtime=1801.69
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 112316 0 0 0 173020 7149 0 0 25 0 1 0 185182234 469745664 110326 1992294400 4194304 9342243 548682068736 18446744073709551615 5854456 0 0 4096 0 0 0 0 17 1 0 0
/proc/3177/statm: 114684 110326 693 1256 0 113423 0
Current children cumulated CPU time (s) 1801.69
Current children cumulated vsize (KiB) 458736
[startup+1802.6 s]
/proc/loadavg: 1.10 1.04 1.00 2/67 3179
/proc/meminfo: memFree=1422288/2055920 swapFree=4169920/4192956
[pid=3177] ppid=3175 vsize=458736 CPUtime=1802.09
/proc/3177/stat : 3177 (pbscip.linux.x8) R 3175 3177 3140 0 -1 4194304 112316 0 0 0 173060 7149 0 0 25 0 1 0 185182234 469745664 110326 1992294400 4194304 9342243 548682068736 18446744073709551615 5854449 0 0 4096 0 0 0 0 17 1 0 0
/proc/3177/statm: 114684 110326 693 1256 0 113423 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 458736
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.68
CPU time (s): 1802.17
CPU user time (s): 1730.61
CPU system time (s): 71.5601
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 458736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1730.61
system time used= 71.5601
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112316
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= 3
involuntary context switches= 2939
runsolver used 2.05769 second user time and 4.33834 second system time
The end
Begin job on node84 at 2009-06-16 20:10:36
IDJOB=1869513
IDBENCH=2911
IDSOLVER=684
FILE ID=node84/1869513-1245175836
PBS_JOBID= 9363945
Free space on /tmp= 66524 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_4.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-1869513-1245175836/watcher-1869513-1245175836 -o /tmp/evaluation-result-1869513-1245175836/solver-1869513-1245175836 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869513-1245175836.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= cef055af6c2a22a549e672ed9a55f2c8
RANDOM SEED=1222241011
node84.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.222
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.222
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1864960 kB
Buffers: 24588 kB
Cached: 87924 kB
SwapCached: 17164 kB
Active: 49476 kB
Inactive: 82464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1864960 kB
SwapTotal: 4192956 kB
SwapFree: 4169920 kB
Dirty: 11936 kB
Writeback: 0 kB
Mapped: 25140 kB
Slab: 44904 kB
Committed_AS: 88764 kB
PageTables: 1396 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= 66512 MiB
End job on node84 at 2009-06-16 20:40:39