0.00/0.00 c SCIP version 1.1.0.7
0.00/0.00 c LP-Solver SoPlex 1.4.1
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c read problem <HOME/instance-3734862-1338705616.opb>
0.00/0.00 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.00 c start presolving problem
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 8 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) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/190 (53.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 8 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 190 variables (190 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c 8 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c OPT-LIN
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = c 13950
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = c 1791
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = c 10000
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving problem
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 122 | 610k| 0 | 8 | 190 | 8 | 8 | 190 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 266 | 721k| 0 | 12 | 190 | 8 | 8 | 190 | 15 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 280 | 796k| 0 | 16 | 190 | 8 | 8 | 190 | 20 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 290 | 846k| 0 | 17 | 190 | 8 | 8 | 190 | 24 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.1s| 1 | 0 | 300 | 880k| 0 | 18 | 190 | 8 | 8 | 190 | 27 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.06 c 0.1s| 1 | 0 | 332 | 918k| 0 | 20 | 190 | 8 | 8 | 190 | 32 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.08 c 0.1s| 1 | 0 | 350 | 930k| 0 | 19 | 190 | 8 | 8 | 190 | 35 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 2 | 350 | 930k| 0 | 19 | 190 | 8 | 8 | 190 | 35 | 27 | 0 | 19 | 0.000000e+00 | -- | Inf
0.18/0.25 o 863
0.18/0.25 c p 0.2s| 81 | 80 | 751 |1046k| 61 | - | 190 | 8 | 2 | 190 | 21 | 27 | 3 | 456 | 0.000000e+00 | 8.630000e+02 | Inf
0.29/0.40 o 685
0.29/0.40 c p 0.4s| 357 | 354 | 2198 |1177k| 61 | - | 190 | 8 | 2 | 190 | 21 | 27 | 7 | 801 | 0.000000e+00 | 6.850000e+02 | Inf
0.29/0.49 o 258
0.29/0.49 c c 0.5s| 605 | 554 | 3853 |1261k| 61 | - | 190 | 8 | 2 | 190 | 21 | 27 | 10 | 858 | 0.000000e+00 | 2.580000e+02 | Inf
0.49/0.54 o 163
0.49/0.54 c g 0.5s| 734 | 622 | 4528 |1298k| 61 | - | 190 | 8 | 1 | 190 | 21 | 27 | 12 | 864 | 0.000000e+00 | 1.630000e+02 | Inf
0.49/0.56 o 161
0.49/0.56 c * 0.5s| 783 | 661 | 4798 |1308k| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 16 | 868 | 0.000000e+00 | 1.610000e+02 | Inf
0.59/0.65 o 160
0.59/0.65 c * 0.6s| 1003 | 868 | 6119 |1414k| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 18 | 928 | 0.000000e+00 | 1.600000e+02 | Inf
0.59/0.65 o 158
0.59/0.65 c * 0.6s| 1004 | 865 | 6120 |1416k| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 18 | 928 | 0.000000e+00 | 1.580000e+02 | Inf
0.59/0.66 o 156
0.59/0.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.66 c c 0.6s| 1022 | 877 | 6198 |1429k| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 18 | 952 | 0.000000e+00 | 1.560000e+02 | Inf
1.48/1.53 o 124
1.48/1.53 c g 1.4s| 3003 | 2788 | 21343 |2304k| 61 | - | 190 | 8 | 1 | 190 | 21 | 27 | 66 | 980 | 0.000000e+00 | 1.240000e+02 | Inf
4.59/4.62 c 4.4s| 10000 | 9687 | 73785 |5273k| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 312 |1099 | 0.000000e+00 | 1.240000e+02 | Inf
5.69/5.71 o 73
5.69/5.71 c g 5.4s| 12552 | 11761 | 93080 |6069k| 61 | - | 190 | 9 | 4 | 190 | 21 | 27 | 404 |1174 | 0.000000e+00 | 7.300000e+01 | Inf
8.38/8.49 c 8.1s| 20000 | 18218 |136829 |9493k| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 582 |1610 | 0.000000e+00 | 7.300000e+01 | Inf
12.09/12.12 c 11.5s| 30000 | 26337 |195880 | 14M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 903 |2168 | 0.000000e+00 | 7.300000e+01 | Inf
14.18/14.29 o 71
14.18/14.29 c p13.6s| 36018 | 30938 |232063 | 17M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 |1116 |2470 | 0.000000e+00 | 7.100000e+01 | Inf
15.78/15.89 c 15.1s| 40000 | 33966 |257573 | 19M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |1322 |2710 | 0.000000e+00 | 7.100000e+01 | Inf
18.59/18.70 o 69
18.59/18.70 c *17.8s| 47807 | 39447 |305054 | 23M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |1651 |3039 | 0.000000e+00 | 6.900000e+01 | Inf
19.48/19.51 c 18.6s| 50000 | 41059 |318591 | 24M| 61 | - | 190 | 8 | 8 | 0 | 0 | 27 |1734 |3123 | 0.000000e+00 | 6.900000e+01 | Inf
21.68/21.72 o 67
21.68/21.72 c *20.6s| 56010 | 45093 |355934 | 26M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 |1992 |3372 | 0.000000e+00 | 6.700000e+01 | Inf
21.88/21.99 o 65
21.88/21.99 c f20.9s| 56746 | 45475 |360324 | 26M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 |2021 |3393 | 0.000000e+00 | 6.500000e+01 | Inf
21.88/22.00 o 63
21.88/22.00 c l20.9s| 56746 | 44128 |360325 | 25M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 |2024 |3393 | 0.000000e+00 | 6.300000e+01 | Inf
23.49/23.50 c 22.3s| 60000 | 46578 |385487 | 26M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |2225 |3514 | 0.000000e+00 | 6.300000e+01 | Inf
27.19/27.26 c 25.9s| 70000 | 53683 |452174 | 31M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |2703 |3859 | 0.000000e+00 | 6.300000e+01 | Inf
30.79/30.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.79/30.81 c 29.3s| 80000 | 60950 |515953 | 36M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |3092 |4139 | 0.000000e+00 | 6.300000e+01 | Inf
34.38/34.44 c 32.8s| 90000 | 68066 |583019 | 41M| 61 | 8 | 190 | 10 | 8 | 190 | 21 | 27 |3519 |4429 | 0.000000e+00 | 6.300000e+01 | Inf
36.99/37.03 o 62
36.99/37.03 c *35.2s| 97216 | 73063 |629311 | 44M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |3838 |4622 | 0.000000e+00 | 6.200000e+01 | Inf
36.99/37.03 o 60
36.99/37.03 c *35.2s| 97218 | 72628 |629313 | 43M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |3838 |4626 | 0.000000e+00 | 6.000000e+01 | Inf
36.99/37.04 o 58
36.99/37.04 c *35.2s| 97219 | 72108 |629316 | 42M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |3838 |4626 | 0.000000e+00 | 5.800000e+01 | Inf
37.99/38.02 c 36.1s|100000 | 73980 |646876 | 44M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 |3947 |4710 | 0.000000e+00 | 5.800000e+01 | Inf
38.08/38.12 o 56
38.08/38.12 c *36.2s|100277 | 73530 |648600 | 43M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |3964 |4729 | 0.000000e+00 | 5.600000e+01 | Inf
38.08/38.12 o 54
38.08/38.12 c l36.2s|100279 | 72855 |648602 | 42M| 61 | - | 190 | 9 | 1 | 190 | 21 | 27 |3965 |4732 | 0.000000e+00 | 5.400000e+01 | Inf
38.88/38.99 o 53
38.88/38.99 c *37.1s|102724 | 73836 |664013 | 43M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |4092 |4812 | 0.000000e+00 | 5.300000e+01 | Inf
38.88/38.99 o 51
38.88/38.99 c *37.1s|102725 | 73000 |664016 | 42M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |4092 |4814 | 0.000000e+00 | 5.100000e+01 | Inf
42.39/42.46 c 40.3s|110000 | 77302 |709997 | 45M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |4521 |5009 | 0.000000e+00 | 5.100000e+01 | Inf
46.08/46.10 c 43.8s|120000 | 83289 |775189 | 49M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 |5041 |5270 | 0.000000e+00 | 5.100000e+01 | Inf
50.39/50.45 c 47.9s|130000 | 89770 |838158 | 54M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 |5508 |5506 | 0.000000e+00 | 5.100000e+01 | Inf
53.89/53.92 c 51.2s|140000 | 96438 |900098 | 58M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 |5888 |5712 | 0.000000e+00 | 5.100000e+01 | Inf
57.38/57.43 c 54.6s|150000 |102945 |962323 | 63M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 |6301 |5952 | 0.000000e+00 | 5.100000e+01 | Inf
60.88/60.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.88/60.94 c 57.9s|160000 |108900 | 1025k| 67M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |6761 |6171 | 0.000000e+00 | 5.100000e+01 | Inf
64.07/64.13 o 49
64.07/64.13 c *60.9s|169176 |113035 | 1082k| 69M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |7202 |6373 | 0.000000e+00 | 4.900000e+01 | Inf
65.28/65.34 c 62.0s|170000 |113481 | 1087k| 69M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 |7236 |6390 | 0.000000e+00 | 4.900000e+01 | Inf
68.78/68.87 c 65.4s|180000 |119035 | 1150k| 74M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 |7724 |6565 | 0.000000e+00 | 4.900000e+01 | Inf
72.28/72.34 c 68.7s|190000 |124289 | 1212k| 77M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |8233 |6757 | 0.000000e+00 | 4.900000e+01 | Inf
75.78/75.88 c 72.1s|200000 |129787 | 1274k| 81M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 |8750 |6936 | 0.000000e+00 | 4.900000e+01 | Inf
78.57/78.64 o 47
78.57/78.64 c *74.7s|208007 |131856 | 1324k| 82M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 |9151 |7085 | 0.000000e+00 | 4.700000e+01 | Inf
79.19/79.27 c 75.3s|210000 |132734 | 1335k| 83M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |9242 |7128 | 0.000000e+00 | 4.700000e+01 | Inf
80.68/80.78 o 45
80.68/80.78 c *76.7s|214439 |133430 | 1362k| 82M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 |9480 |7213 | 0.000000e+00 | 4.500000e+01 | Inf
83.68/83.77 c 79.5s|220000 |136622 | 1396k| 85M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |9740 |7334 | 0.000000e+00 | 4.500000e+01 | Inf
84.97/85.09 o 44
84.97/85.09 c *80.8s|224109 |137666 | 1420k| 85M| 61 | - | 190 | 8 | 1 | 190 | 21 | 27 |9901 |7396 | 0.000000e+00 | 4.400000e+01 | Inf
87.99/88.07 c 83.6s|230000 |140549 | 1456k| 87M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 10k|7513 | 0.000000e+00 | 4.400000e+01 | Inf
88.17/88.23 o 42
88.17/88.23 c *83.8s|230379 |138793 | 1459k| 85M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 10k|7515 | 0.000000e+00 | 4.200000e+01 | Inf
91.47/91.55 c 86.9s|240000 |143809 | 1516k| 89M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 10k|7668 | 0.000000e+00 | 4.200000e+01 | Inf
91.78/91.86 o 41
91.78/91.86 c *87.2s|240903 |143248 | 1522k| 88M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 10k|7676 | 0.000000e+00 | 4.100000e+01 | Inf
94.88/94.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.88/94.90 c 90.1s|250000 |147660 | 1575k| 91M| 61 | - | 190 | 10 | 8 | 190 | 21 | 27 | 11k|7836 | 0.000000e+00 | 4.100000e+01 | Inf
97.57/97.61 o 40
97.57/97.61 c *92.7s|258070 |150636 | 1623k| 93M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 11k|7956 | 0.000000e+00 | 4.000000e+01 | Inf
98.18/98.29 c 93.4s|260000 |151666 | 1634k| 94M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 11k|7971 | 0.000000e+00 | 4.000000e+01 | Inf
101.08/101.13 o 39
101.08/101.13 c g96.0s|265065 |153097 | 1665k| 94M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 11k|8091 | 0.000000e+00 | 3.900000e+01 | Inf
103.07/103.18 c 98.0s|270000 |155284 | 1693k| 96M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 11k|8168 | 0.000000e+00 | 3.900000e+01 | Inf
106.38/106.42 c 101s|280000 |160021 | 1752k| 100M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 12k|8323 | 0.000000e+00 | 3.900000e+01 | Inf
107.07/107.12 o 38
107.07/107.12 c * 102s|282141 |159771 | 1764k| 99M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 12k|8369 | 0.000000e+00 | 3.800000e+01 | Inf
109.98/110.03 c 105s|290000 |163236 | 1809k| 102M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 12k|8508 | 0.000000e+00 | 3.800000e+01 | Inf
113.47/113.55 c 108s|300000 |168624 | 1869k| 106M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 13k|8669 | 0.000000e+00 | 3.800000e+01 | Inf
116.68/116.73 c 111s|310000 |173200 | 1925k| 109M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 13k|8841 | 0.000000e+00 | 3.800000e+01 | Inf
119.77/119.88 c 114s|320000 |177775 | 1981k| 113M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 14k|8982 | 0.000000e+00 | 3.800000e+01 | Inf
120.86/120.98 o 36
120.86/120.98 c c 115s|323379 |176644 | 2001k| 111M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 14k|9029 | 0.000000e+00 | 3.600000e+01 | Inf
123.07/123.19 c 117s|330000 |179357 | 2039k| 113M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 14k|9138 | 0.000000e+00 | 3.600000e+01 | Inf
126.27/126.30 c 120s|340000 |183757 | 2095k| 117M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 14k|9293 | 0.000000e+00 | 3.600000e+01 | Inf
128.96/129.07 o 34
128.96/129.07 c * 123s|348622 |184927 | 2144k| 117M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 15k|9423 | 0.000000e+00 | 3.400000e+01 | Inf
129.36/129.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.36/129.46 c 123s|350000 |185415 | 2151k| 117M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 15k|9447 | 0.000000e+00 | 3.400000e+01 | Inf
132.56/132.60 c 126s|360000 |189840 | 2206k| 120M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 15k|9588 | 0.000000e+00 | 3.400000e+01 | Inf
136.76/136.83 c 130s|370000 |194409 | 2263k| 124M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 16k|9726 | 0.000000e+00 | 3.400000e+01 | Inf
139.85/139.90 c 133s|380000 |198611 | 2317k| 127M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 16k|9879 | 0.000000e+00 | 3.400000e+01 | Inf
142.96/143.05 c 136s|390000 |203055 | 2373k| 131M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 16k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
146.15/146.20 c 139s|400000 |207581 | 2429k| 134M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 17k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
149.05/149.19 c 142s|410000 |211723 | 2483k| 138M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 17k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
152.46/152.56 c 145s|420000 |216815 | 2540k| 141M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 18k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
155.45/155.54 c 148s|430000 |220898 | 2593k| 145M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 18k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
158.46/158.54 c 151s|440000 |225076 | 2647k| 148M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 19k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
161.45/161.55 c 153s|450000 |229193 | 2700k| 151M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 19k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
164.35/164.46 c 156s|460000 |233197 | 2753k| 155M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 19k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
167.74/167.89 c 159s|470000 |238217 | 2812k| 158M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 20k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
170.75/170.85 c 162s|480000 |242506 | 2865k| 162M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 20k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
173.75/173.81 c 165s|490000 |246779 | 2918k| 165M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 20k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
176.94/177.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.94/177.01 c 168s|500000 |251468 | 2974k| 169M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 21k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
176.94/177.02 o 32
176.94/177.02 c * 168s|500004 |240597 | 2974k| 159M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 21k| 11k| 0.000000e+00 | 3.200000e+01 | Inf
176.94/177.03 o 30
176.94/177.03 c * 168s|500005 |237546 | 2974k| 155M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 21k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
180.95/181.09 c 172s|510000 |241879 | 3031k| 158M| 61 | - | 190 | 9 | 8 | 0 | 0 | 27 | 21k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
183.94/184.00 c 175s|520000 |245796 | 3088k| 161M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 22k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
187.05/187.12 c 178s|530000 |250240 | 3147k| 164M| 61 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 22k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
190.04/190.13 c 180s|540000 |254773 | 3205k| 167M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 22k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
193.04/193.14 c 183s|550000 |259262 | 3262k| 170M| 61 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 23k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
195.94/196.04 c 186s|560000 |263150 | 3319k| 173M| 61 | 8 | 190 | 10 | 9 | 190 | 21 | 27 | 23k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
198.85/198.91 c 189s|570000 |267347 | 3374k| 176M| 61 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 24k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
201.54/201.69 c 191s|580000 |271111 | 3429k| 179M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 24k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
204.44/204.59 c 194s|590000 |275107 | 3485k| 182M| 63 | 8 | 190 | 11 | 8 | 190 | 21 | 27 | 25k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
207.34/207.42 c 197s|600000 |279456 | 3539k| 184M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 25k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
210.24/210.30 c 200s|610000 |283616 | 3593k| 187M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 25k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
212.93/213.09 c 202s|620000 |287493 | 3648k| 190M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 26k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
215.74/215.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.74/215.84 c 205s|630000 |291002 | 3703k| 192M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 26k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
218.54/218.64 c 207s|640000 |294702 | 3757k| 195M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 26k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
221.44/221.51 c 210s|650000 |299156 | 3811k| 198M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 27k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
224.14/224.25 c 213s|660000 |302934 | 3865k| 201M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 27k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
226.93/227.05 c 215s|670000 |306721 | 3920k| 203M| 63 | 8 | 190 | 11 | 8 | 190 | 21 | 27 | 28k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
229.94/230.02 c 218s|680000 |310875 | 3979k| 206M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 28k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
232.63/232.75 c 221s|690000 |314186 | 4034k| 209M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 28k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
235.34/235.45 c 223s|700000 |317351 | 4090k| 211M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 29k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
238.22/238.34 c 226s|710000 |321329 | 4147k| 214M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 29k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
238.73/238.84 o 29
238.73/238.84 c * 227s|711819 |320077 | 4157k| 212M| 63 | - | 190 | 9 | 0 | 190 | 21 | 27 | 29k| 13k| 0.000000e+00 | 2.900000e+01 | Inf
241.03/241.11 c 229s|720000 |323076 | 4202k| 214M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 30k| 13k| 0.000000e+00 | 2.900000e+01 | Inf
243.82/243.92 c 231s|730000 |326495 | 4258k| 216M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 30k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
246.53/246.69 c 234s|740000 |330112 | 4312k| 219M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 30k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
249.23/249.37 c 237s|750000 |333403 | 4366k| 221M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 31k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
252.03/252.13 c 239s|760000 |336959 | 4420k| 224M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 31k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
254.73/254.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.73/254.80 c 242s|770000 |340049 | 4474k| 226M| 63 | 8 | 190 | 11 | 8 | 190 | 21 | 27 | 31k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
257.53/257.60 c 244s|780000 |343486 | 4528k| 229M| 63 | - | 190 | 11 | 8 | 190 | 21 | 27 | 32k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
260.43/260.56 c 247s|790000 |347528 | 4585k| 231M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 32k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
263.22/263.36 c 250s|800000 |351001 | 4642k| 234M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 33k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
266.13/266.24 c 253s|810000 |354993 | 4697k| 237M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 33k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
269.03/269.15 c 255s|820000 |359570 | 4753k| 239M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 33k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
271.73/271.82 c 258s|830000 |363384 | 4805k| 242M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 34k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
272.83/272.98 o 27
272.83/272.98 c f 259s|834180 |360526 | 4828k| 237M| 63 | - | 190 | 8 | 0 | 190 | 21 | 27 | 34k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
274.42/274.54 c 260s|840000 |362411 | 4858k| 238M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 34k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
277.13/277.27 c 263s|850000 |365799 | 4911k| 241M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 34k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
279.82/279.93 c 266s|860000 |368991 | 4964k| 243M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 35k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
282.52/282.61 c 268s|870000 |372349 | 5017k| 245M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 35k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
285.02/285.15 c 270s|880000 |375123 | 5069k| 248M| 63 | - | 190 | 10 | 9 | 190 | 21 | 27 | 35k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
287.72/287.89 c 273s|890000 |378474 | 5123k| 250M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 36k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
290.42/290.58 c 276s|900000 |381860 | 5176k| 252M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 36k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
293.02/293.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.02/293.16 c 278s|910000 |384743 | 5228k| 255M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 37k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
295.62/295.79 c 281s|920000 |387699 | 5280k| 257M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 37k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
298.32/298.42 c 283s|930000 |390615 | 5332k| 259M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 37k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
301.91/302.06 c 286s|940000 |394321 | 5385k| 262M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 38k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
304.51/304.64 c 289s|950000 |397497 | 5436k| 264M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 38k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
307.11/307.22 c 291s|960000 |400428 | 5487k| 266M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 38k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
309.71/309.80 c 294s|970000 |403502 | 5539k| 268M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 39k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
312.32/312.42 c 296s|980000 |406620 | 5590k| 271M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 39k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
314.92/315.01 c 299s|990000 |409518 | 5641k| 273M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 39k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
317.52/317.62 c 301s| 1000k|412466 | 5692k| 275M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 40k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
320.12/320.24 c 304s| 1010k|415469 | 5744k| 278M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 40k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
322.82/322.92 c 306s| 1020k|418681 | 5796k| 280M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 40k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
325.41/325.51 c 309s| 1030k|421608 | 5847k| 282M| 63 | - | 190 | 8 | 7 | 190 | 21 | 27 | 41k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
328.02/328.12 c 311s| 1040k|424664 | 5899k| 285M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 41k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
330.62/330.72 c 314s| 1050k|427391 | 5951k| 287M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 41k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
333.21/333.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.21/333.40 c 316s| 1060k|430585 | 6003k| 289M| 63 | 8 | 190 | 11 | 8 | 190 | 21 | 27 | 42k| 17k| 0.000000e+00 | 2.700000e+01 | Inf
336.01/336.14 c 319s| 1070k|434332 | 6056k| 292M| 63 | - | 190 | 11 | 8 | 190 | 21 | 27 | 42k| 17k| 0.000000e+00 | 2.700000e+01 | Inf
338.62/338.74 c 321s| 1080k|437203 | 6107k| 294M| 63 | - | 190 | 10 | 8 | 190 | 21 | 27 | 42k| 17k| 0.000000e+00 | 2.700000e+01 | Inf
341.41/341.51 c 324s| 1090k|440855 | 6159k| 296M| 63 | - | 190 | 12 | 8 | 190 | 21 | 27 | 43k| 17k| 0.000000e+00 | 2.700000e+01 | Inf
344.01/344.19 o 25
344.01/344.19 c * 326s| 1099k|438364 | 6212k| 291M| 63 | - | 190 | 13 | 0 | 190 | 21 | 27 | 43k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
344.11/344.20 c 326s| 1100k|438368 | 6212k| 291M| 63 | - | 190 | 13 | 8 | 190 | 21 | 27 | 43k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
346.62/346.79 c 329s| 1110k|441069 | 6262k| 293M| 63 | 8 | 190 | 12 | 8 | 190 | 21 | 27 | 43k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
349.21/349.36 c 331s| 1120k|443794 | 6311k| 295M| 63 | - | 190 | 12 | 8 | 190 | 21 | 27 | 44k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
352.02/352.18 c 334s| 1130k|447389 | 6365k| 297M| 63 | - | 190 | 11 | 8 | 0 | 0 | 27 | 44k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
354.61/354.76 c 336s| 1140k|450406 | 6415k| 300M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 44k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
357.20/357.38 c 339s| 1150k|453344 | 6466k| 302M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 44k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
359.81/359.93 c 341s| 1160k|456237 | 6516k| 304M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 45k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
362.31/362.42 c 344s| 1170k|458610 | 6565k| 306M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 45k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
364.91/365.03 c 346s| 1180k|461469 | 6615k| 308M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 45k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
367.41/367.54 c 349s| 1190k|463910 | 6665k| 310M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 46k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
370.01/370.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.01/370.19 c 351s| 1200k|466849 | 6717k| 313M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 46k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
372.61/372.77 c 353s| 1210k|469368 | 6767k| 315M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 46k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
375.11/375.30 c 356s| 1220k|471722 | 6818k| 317M| 63 | - | 190 | 9 | 7 | 190 | 21 | 27 | 47k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
377.70/377.81 c 358s| 1230k|474284 | 6867k| 319M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 47k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
380.31/380.40 c 361s| 1240k|477309 | 6917k| 321M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 47k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
382.81/382.99 c 363s| 1250k|480294 | 6967k| 323M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 48k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
385.41/385.53 c 366s| 1260k|482939 | 7016k| 325M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 48k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
388.00/388.10 c 368s| 1270k|485614 | 7067k| 327M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 48k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
390.51/390.63 c 370s| 1280k|487802 | 7117k| 329M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 49k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
393.60/393.70 c 373s| 1290k|492271 | 7172k| 332M| 63 | - | 190 | 8 | 9 | 0 | 0 | 27 | 49k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
396.40/396.53 c 376s| 1300k|496081 | 7226k| 335M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 49k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
399.21/399.31 c 379s| 1310k|499782 | 7280k| 337M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 50k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
402.00/402.11 c 381s| 1320k|503725 | 7333k| 340M| 63 | 8 | 190 | 12 | 8 | 190 | 21 | 27 | 50k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
404.60/404.79 c 384s| 1330k|507085 | 7385k| 342M| 63 | - | 190 | 10 | 8 | 0 | 0 | 27 | 50k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
407.31/407.42 c 386s| 1340k|510198 | 7437k| 345M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 51k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
409.90/410.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.90/410.00 c 389s| 1350k|512973 | 7487k| 347M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 51k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
412.50/412.67 c 391s| 1360k|516431 | 7539k| 349M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 51k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
415.10/415.27 c 394s| 1370k|519631 | 7589k| 351M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 52k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
417.80/417.90 c 396s| 1380k|522363 | 7640k| 354M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 52k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
420.40/420.50 c 399s| 1390k|525492 | 7690k| 356M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 52k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
423.10/423.20 c 401s| 1400k|529093 | 7742k| 358M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 53k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
425.71/425.86 c 404s| 1410k|532362 | 7794k| 361M| 63 | - | 190 | 9 | 8 | 0 | 0 | 27 | 53k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
428.30/428.49 c 406s| 1420k|535424 | 7846k| 363M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 53k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
431.30/431.47 c 409s| 1430k|539963 | 7900k| 366M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 54k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
434.10/434.26 c 412s| 1440k|544112 | 7952k| 368M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 54k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
436.80/436.99 c 414s| 1450k|547905 | 8003k| 371M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 54k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
439.39/439.57 c 417s| 1460k|550812 | 8054k| 373M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 55k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
441.90/442.09 c 419s| 1470k|553562 | 8102k| 375M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 55k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
444.60/444.70 c 422s| 1480k|556702 | 8152k| 377M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 55k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
447.10/447.29 c 424s| 1490k|559898 | 8201k| 379M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 56k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
449.70/449.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.70/449.84 c 426s| 1500k|562574 | 8252k| 381M| 63 | - | 190 | 9 | 8 | 0 | 0 | 27 | 56k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
452.40/452.51 c 429s| 1510k|565482 | 8304k| 383M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 56k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
455.10/455.23 c 432s| 1520k|568873 | 8357k| 386M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 57k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
457.69/457.82 c 434s| 1530k|571398 | 8409k| 388M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 57k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
460.49/460.66 c 437s| 1540k|575175 | 8463k| 391M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 57k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
463.19/463.30 c 439s| 1550k|578565 | 8515k| 393M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 57k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
463.19/463.38 o 23
463.19/463.38 c * 439s| 1550k|570947 | 8516k| 382M| 63 | - | 190 | 8 | 0 | 190 | 21 | 27 | 58k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
463.29/463.40 o 21
463.29/463.40 c * 439s| 1550k|561432 | 8516k| 370M| 63 | - | 190 | 8 | 0 | 190 | 21 | 27 | 58k| 20k| 0.000000e+00 | 2.100000e+01 | Inf
463.29/463.42 o 19
463.29/463.42 c * 439s| 1550k|549796 | 8516k| 355M| 63 | - | 190 | 8 | 0 | 190 | 21 | 27 | 58k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
466.49/466.66 c 442s| 1560k|552628 | 8562k| 357M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 58k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
469.09/469.20 c 445s| 1570k|555346 | 8609k| 359M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 58k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
471.49/471.65 c 447s| 1580k|557491 | 8656k| 361M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 58k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
473.99/474.13 c 449s| 1590k|559717 | 8703k| 363M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 59k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
476.59/476.79 c 452s| 1600k|563451 | 8751k| 365M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 59k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
479.29/479.44 c 455s| 1610k|567012 | 8800k| 367M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 59k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
481.99/482.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.99/482.12 c 457s| 1620k|570740 | 8850k| 369M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 60k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
484.59/484.72 c 460s| 1630k|574201 | 8897k| 372M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 60k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
487.20/487.40 c 462s| 1640k|577946 | 8946k| 374M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 60k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
489.89/490.03 c 465s| 1650k|581599 | 8993k| 376M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 61k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
493.39/493.53 c 468s| 1660k|584862 | 9040k| 378M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 61k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
495.89/496.06 c 470s| 1670k|587970 | 9087k| 380M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 61k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
498.39/498.58 c 473s| 1680k|591149 | 9132k| 383M| 63 | - | 190 | 10 | 9 | 190 | 21 | 27 | 62k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
500.98/501.13 c 475s| 1690k|594430 | 9178k| 385M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 62k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
503.39/503.57 c 477s| 1700k|597298 | 9223k| 387M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 62k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
505.90/506.02 c 480s| 1710k|600132 | 9268k| 389M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 63k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
508.29/508.46 c 482s| 1720k|602708 | 9313k| 391M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 63k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
510.79/510.96 c 484s| 1730k|605414 | 9359k| 392M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 63k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
513.39/513.50 c 487s| 1740k|608792 | 9404k| 395M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 64k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
515.79/515.97 c 489s| 1750k|611658 | 9449k| 397M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 64k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
518.19/518.34 c 491s| 1760k|613969 | 9492k| 398M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 64k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
520.58/520.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.58/520.75 c 494s| 1770k|616050 | 9536k| 400M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 64k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
523.08/523.21 c 496s| 1780k|618673 | 9581k| 402M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 65k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
525.48/525.63 c 498s| 1790k|620730 | 9625k| 404M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 65k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
527.89/528.03 c 501s| 1800k|622792 | 9669k| 405M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 66k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
530.28/530.45 c 503s| 1810k|625064 | 9714k| 407M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 66k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
532.69/532.82 c 505s| 1820k|627159 | 9758k| 409M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 66k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
535.09/535.25 c 508s| 1830k|629616 | 9803k| 411M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 66k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
537.48/537.66 c 510s| 1840k|631911 | 9846k| 412M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 67k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
539.88/540.10 c 512s| 1850k|634259 | 9892k| 414M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 67k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
542.38/542.52 c 514s| 1860k|636569 | 9937k| 416M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 67k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
544.88/545.06 c 517s| 1870k|639969 | 9983k| 418M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 68k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
547.38/547.54 c 519s| 1880k|642750 | 10028k| 420M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 68k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
549.78/549.98 c 522s| 1890k|645175 | 10073k| 422M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 68k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
552.19/552.37 c 524s| 1900k|647505 | 10117k| 423M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 69k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
554.68/554.82 c 526s| 1910k|649947 | 10162k| 425M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 69k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
557.08/557.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.08/557.20 c 528s| 1920k|651875 | 10206k| 427M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 69k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
559.38/559.58 c 531s| 1930k|654002 | 10249k| 429M| 63 | - | 190 | 9 | 9 | 190 | 21 | 27 | 70k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
561.78/561.95 c 533s| 1940k|656022 | 10293k| 430M| 63 | - | 190 | 10 | 8 | 190 | 21 | 27 | 70k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
564.19/564.34 c 535s| 1950k|657896 | 10337k| 432M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 70k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
566.58/566.78 c 537s| 1960k|660067 | 10382k| 434M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 71k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
569.08/569.20 c 540s| 1970k|661918 | 10427k| 435M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 71k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
571.38/571.58 c 542s| 1980k|663763 | 10471k| 437M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 71k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
573.78/573.95 c 544s| 1990k|665522 | 10515k| 439M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 72k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
576.18/576.34 c 547s| 2000k|667129 | 10560k| 440M| 63 | - | 190 | 9 | 8 | 0 | 0 | 27 | 72k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
578.58/578.77 c 549s| 2010k|669080 | 10604k| 442M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 72k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
580.98/581.17 c 551s| 2020k|670605 | 10649k| 443M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 73k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
583.37/583.60 c 553s| 2030k|672222 | 10694k| 445M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 73k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
585.97/586.12 c 556s| 2040k|674976 | 10739k| 447M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 73k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
588.38/588.59 c 558s| 2050k|677262 | 10784k| 449M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 74k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
590.87/591.00 c 560s| 2060k|679012 | 10830k| 450M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 74k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
593.27/593.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.27/593.46 c 563s| 2070k|680746 | 10875k| 452M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 74k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
595.67/595.85 c 565s| 2080k|682543 | 10920k| 453M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 75k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
598.07/598.26 c 567s| 2090k|684075 | 10964k| 455M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 75k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
600.78/600.99 c 570s| 2100k|687794 | 11014k| 457M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 75k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
603.37/603.59 c 572s| 2110k|691134 | 11062k| 460M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 76k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
605.98/606.13 c 575s| 2120k|693990 | 11110k| 462M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 76k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
608.48/608.68 c 577s| 2130k|696982 | 11158k| 464M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 76k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
611.07/611.22 c 580s| 2140k|699845 | 11204k| 466M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 77k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
613.48/613.65 c 582s| 2150k|701976 | 11251k| 468M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 77k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
616.07/616.20 c 584s| 2160k|705003 | 11297k| 470M| 63 | - | 190 | 8 | 7 | 190 | 21 | 27 | 77k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
618.57/618.72 c 587s| 2170k|707764 | 11343k| 472M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 78k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
620.97/621.16 c 589s| 2180k|709932 | 11389k| 473M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 78k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
623.37/623.57 c 591s| 2190k|711884 | 11434k| 475M| 63 | - | 190 | 8 | 7 | 0 | 0 | 27 | 78k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
625.87/626.03 c 594s| 2200k|714037 | 11480k| 477M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 79k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
628.27/628.48 c 596s| 2210k|716100 | 11526k| 479M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 79k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
630.77/630.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.77/630.91 c 598s| 2220k|718241 | 11571k| 480M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 79k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
633.16/633.33 c 601s| 2230k|720176 | 11617k| 482M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 80k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
635.56/635.74 c 603s| 2240k|721930 | 11663k| 484M| 63 | - | 190 | 8 | 9 | 190 | 21 | 27 | 80k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
638.06/638.21 c 605s| 2250k|724070 | 11710k| 485M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 80k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
640.56/640.78 c 608s| 2260k|727282 | 11756k| 487M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 81k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
643.07/643.21 c 610s| 2270k|729383 | 11801k| 489M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 81k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
645.47/645.64 c 612s| 2280k|731336 | 11845k| 491M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 81k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
647.88/648.07 c 615s| 2290k|733091 | 11891k| 492M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 82k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
650.27/650.48 c 617s| 2300k|734875 | 11937k| 494M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 82k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
652.76/652.97 c 619s| 2310k|737311 | 11983k| 496M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 82k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
655.26/655.45 c 622s| 2320k|739718 | 12029k| 498M| 63 | 8 | 190 | 12 | 8 | 190 | 21 | 27 | 83k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
657.67/657.89 c 624s| 2330k|741504 | 12076k| 499M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 83k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
660.06/660.29 c 626s| 2340k|743206 | 12121k| 501M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 83k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
662.56/662.70 c 628s| 2350k|744698 | 12166k| 502M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 84k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
664.97/665.13 c 631s| 2360k|746625 | 12212k| 504M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 84k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
667.37/667.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.37/667.59 c 633s| 2370k|749509 | 12256k| 506M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 84k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
669.77/669.97 c 635s| 2380k|751624 | 12299k| 508M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 85k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
672.16/672.38 c 638s| 2390k|753776 | 12343k| 509M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 85k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
674.66/674.82 c 640s| 2400k|755680 | 12387k| 511M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 85k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
677.06/677.24 c 642s| 2410k|757658 | 12431k| 512M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 86k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
679.46/679.63 c 644s| 2420k|759196 | 12475k| 514M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 86k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
681.86/682.05 c 647s| 2430k|760806 | 12520k| 515M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 86k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
684.36/684.52 c 649s| 2440k|762750 | 12565k| 517M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 87k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
686.75/686.99 c 651s| 2450k|764943 | 12611k| 519M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 87k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
689.26/689.44 c 654s| 2460k|766866 | 12656k| 521M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 87k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
691.65/691.86 c 656s| 2470k|768668 | 12702k| 522M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 88k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
694.06/694.25 c 658s| 2480k|769989 | 12746k| 524M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 88k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
696.46/696.69 c 661s| 2490k|771575 | 12792k| 525M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 88k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
698.96/699.10 c 663s| 2500k|773134 | 12836k| 527M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 89k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
701.36/701.52 c 665s| 2510k|775037 | 12882k| 528M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 89k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
703.86/704.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
703.86/704.09 c 668s| 2520k|777398 | 12928k| 530M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 89k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
706.45/706.67 c 670s| 2530k|780812 | 12977k| 532M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 90k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
708.95/709.18 c 672s| 2540k|783662 | 13023k| 534M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 90k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
711.66/711.83 c 675s| 2550k|787082 | 13072k| 537M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 90k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
714.35/714.52 c 678s| 2560k|790856 | 13121k| 539M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 91k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
716.95/717.16 c 680s| 2570k|794474 | 13169k| 541M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 91k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
719.55/719.70 c 682s| 2580k|797587 | 13216k| 543M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 91k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
721.95/722.19 c 685s| 2590k|800204 | 13263k| 545M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 92k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
724.46/724.63 c 687s| 2600k|802567 | 13307k| 547M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 92k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
726.96/727.11 c 689s| 2610k|805116 | 13354k| 549M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 92k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
729.35/729.55 c 692s| 2620k|807340 | 13400k| 551M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 93k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
731.95/732.12 c 694s| 2630k|810121 | 13447k| 553M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 93k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
734.45/734.64 c 697s| 2640k|812758 | 13493k| 555M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 93k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
736.95/737.13 c 699s| 2650k|815848 | 13540k| 557M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 94k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
739.34/739.59 c 701s| 2660k|818281 | 13586k| 559M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 94k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
741.85/742.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.85/742.06 c 704s| 2670k|820633 | 13632k| 561M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 94k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
744.25/744.49 c 706s| 2680k|822876 | 13677k| 563M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 95k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
746.75/746.96 c 708s| 2690k|824961 | 13723k| 564M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 95k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
749.14/749.40 c 711s| 2700k|827136 | 13768k| 566M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 95k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
751.65/751.82 c 713s| 2710k|829450 | 13813k| 568M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 95k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
754.05/754.28 c 715s| 2720k|831632 | 13858k| 570M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 96k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
756.55/756.71 c 718s| 2730k|833614 | 13903k| 571M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 96k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
759.04/759.20 c 720s| 2740k|835898 | 13949k| 573M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 96k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
761.44/761.67 c 722s| 2750k|838371 | 13996k| 575M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 97k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
763.94/764.16 c 725s| 2760k|840803 | 14041k| 577M| 63 | - | 190 | 8 | 7 | 0 | 0 | 27 | 97k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
766.55/766.75 c 727s| 2770k|844121 | 14089k| 579M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 97k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
769.04/769.25 c 729s| 2780k|846940 | 14135k| 581M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 98k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
771.74/771.95 c 732s| 2790k|850501 | 14187k| 584M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 98k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
774.24/774.45 c 734s| 2800k|853262 | 14234k| 586M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 98k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
776.84/777.03 c 737s| 2810k|856106 | 14282k| 588M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 99k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
779.44/779.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.44/779.62 c 739s| 2820k|858697 | 14331k| 590M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 99k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
782.24/782.40 c 742s| 2830k|862558 | 14381k| 593M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 99k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
784.84/785.07 c 744s| 2840k|865848 | 14430k| 595M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 100k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
787.44/787.70 c 747s| 2850k|868973 | 14479k| 597M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 100k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
790.14/790.40 c 750s| 2860k|872374 | 14527k| 599M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 100k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
792.73/792.97 c 752s| 2870k|875688 | 14574k| 602M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 101k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
795.25/795.46 c 754s| 2880k|878343 | 14621k| 604M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 101k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
797.74/797.97 c 757s| 2890k|880595 | 14668k| 605M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 101k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
800.23/800.43 c 759s| 2900k|882764 | 14714k| 607M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 102k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
802.64/802.89 c 761s| 2910k|884965 | 14760k| 609M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 102k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
805.14/805.38 c 764s| 2920k|887168 | 14808k| 611M| 63 | - | 190 | 8 | 7 | 0 | 0 | 27 | 102k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
807.74/807.93 c 766s| 2930k|889778 | 14856k| 613M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 102k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
810.33/810.56 c 769s| 2940k|892676 | 14904k| 615M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 103k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
812.74/813.00 c 771s| 2950k|895023 | 14949k| 617M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 103k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
815.33/815.51 c 773s| 2960k|897571 | 14996k| 619M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 103k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
817.73/817.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.73/817.97 c 776s| 2970k|900059 | 15043k| 621M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 104k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
820.23/820.43 c 778s| 2980k|902130 | 15089k| 623M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 104k| 29k| 0.000000e+00 | 1.900000e+01 | Inf
822.64/822.88 c 780s| 2990k|904057 | 15135k| 624M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 104k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
825.13/825.35 c 783s| 3000k|906371 | 15181k| 626M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 105k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
827.63/827.87 c 785s| 3010k|909011 | 15229k| 628M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 105k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
830.23/830.47 c 787s| 3020k|912521 | 15276k| 631M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 105k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
832.73/832.93 c 790s| 3030k|915019 | 15322k| 632M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 106k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
835.13/835.35 c 792s| 3040k|917115 | 15367k| 634M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 106k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
837.63/837.81 c 794s| 3050k|919361 | 15412k| 636M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 106k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
840.03/840.24 c 797s| 3060k|921742 | 15457k| 638M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 107k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
842.53/842.75 c 799s| 3070k|924435 | 15503k| 640M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 107k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
845.03/845.24 c 801s| 3080k|926795 | 15549k| 642M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 107k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
847.43/847.67 c 804s| 3090k|928909 | 15594k| 643M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 107k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
849.92/850.12 c 806s| 3100k|930641 | 15640k| 645M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 108k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
852.44/852.62 c 808s| 3110k|932583 | 15687k| 647M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 108k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
854.83/855.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.83/855.07 c 811s| 3120k|934497 | 15734k| 648M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 108k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
857.33/857.57 c 813s| 3130k|937151 | 15780k| 650M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 109k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
859.83/860.07 c 815s| 3140k|939333 | 15826k| 652M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 109k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
862.34/862.54 c 818s| 3150k|941403 | 15873k| 654M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 109k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
864.83/865.05 c 820s| 3160k|943497 | 15919k| 656M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 110k| 30k| 0.000000e+00 | 1.900000e+01 | Inf
867.32/867.51 c 822s| 3170k|946155 | 15965k| 658M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 110k| 31k| 0.000000e+00 | 1.900000e+01 | Inf
869.63/869.86 o 18
869.63/869.86 c s 825s| 3179k|940522 | 16008k| 649M| 63 | - | 190 | 9 | 2 | 190 | 21 | 27 | 110k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
869.83/870.01 c 825s| 3180k|940678 | 16011k| 649M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 110k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
872.23/872.49 c 827s| 3190k|942592 | 16056k| 650M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 111k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
874.72/874.98 c 830s| 3200k|944517 | 16101k| 652M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 111k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
877.23/877.46 c 832s| 3210k|946340 | 16146k| 654M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 111k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
879.72/879.94 c 834s| 3220k|948085 | 16190k| 655M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 112k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
882.43/882.62 c 837s| 3230k|951714 | 16237k| 657M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 112k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
885.02/885.27 c 839s| 3240k|955147 | 16284k| 660M| 63 | 8 | 190 | 9 | 9 | 190 | 21 | 27 | 112k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
887.92/888.15 c 842s| 3250k|959431 | 16335k| 662M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 112k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
890.62/890.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
890.62/890.88 c 845s| 3260k|963073 | 16384k| 665M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 113k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
893.42/893.63 c 847s| 3270k|967247 | 16432k| 667M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 113k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
896.02/896.23 c 850s| 3280k|970552 | 16479k| 669M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 113k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
898.53/898.79 c 852s| 3290k|973701 | 16525k| 671M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 114k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
901.11/901.34 c 855s| 3300k|976694 | 16572k| 674M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 114k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
903.72/903.94 c 857s| 3310k|979796 | 16618k| 676M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 114k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
906.23/906.43 c 859s| 3320k|982381 | 16664k| 678M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 114k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
908.71/908.94 c 862s| 3330k|985030 | 16710k| 680M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 115k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
911.22/911.50 c 864s| 3340k|987613 | 16756k| 681M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 115k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
913.81/914.09 c 867s| 3350k|990776 | 16802k| 684M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 115k| 31k| 0.000000e+00 | 1.800000e+01 | Inf
916.41/916.64 c 869s| 3360k|993431 | 16849k| 686M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 116k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
918.92/919.19 c 872s| 3370k|995932 | 16895k| 688M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 116k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
921.51/921.76 c 874s| 3380k|998875 | 16942k| 690M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 116k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
924.11/924.33 c 876s| 3390k| 1001k| 16988k| 692M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 116k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
926.61/926.82 c 879s| 3400k| 1004k| 17034k| 694M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 117k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
929.11/929.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
929.11/929.30 c 881s| 3410k| 1006k| 17078k| 695M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 117k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
931.62/931.81 c 884s| 3420k| 1009k| 17123k| 697M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 117k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
934.11/934.34 c 886s| 3430k| 1011k| 17169k| 699M| 63 | - | 190 | 8 | 7 | 0 | 0 | 27 | 118k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
936.61/936.81 c 888s| 3440k| 1014k| 17214k| 701M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 118k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
939.11/939.32 c 891s| 3450k| 1016k| 17259k| 703M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 118k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
941.52/941.76 c 893s| 3460k| 1018k| 17304k| 704M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 118k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
944.11/944.37 c 895s| 3470k| 1022k| 17351k| 707M| 63 | 8 | 190 | 11 | 9 | 190 | 21 | 27 | 119k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
946.60/946.88 c 898s| 3480k| 1024k| 17396k| 709M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 119k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
949.22/949.45 c 900s| 3490k| 1027k| 17442k| 711M| 63 | - | 190 | 10 | 8 | 0 | 0 | 27 | 120k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
951.71/951.96 c 903s| 3500k| 1030k| 17487k| 713M| 63 | - | 190 | 8 | 7 | 0 | 0 | 27 | 120k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
954.21/954.46 c 905s| 3510k| 1032k| 17533k| 714M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 120k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
956.71/956.93 c 907s| 3520k| 1034k| 17578k| 716M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 121k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
959.11/959.37 c 910s| 3530k| 1036k| 17622k| 718M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 121k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
961.61/961.81 c 912s| 3540k| 1038k| 17667k| 719M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 121k| 32k| 0.000000e+00 | 1.800000e+01 | Inf
964.10/964.34 c 914s| 3550k| 1041k| 17713k| 721M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 122k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
966.50/966.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.50/966.79 c 917s| 3560k| 1043k| 17758k| 723M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 122k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
969.01/969.27 c 919s| 3570k| 1045k| 17803k| 725M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 122k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
971.70/971.90 c 922s| 3580k| 1049k| 17850k| 727M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 123k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
974.11/974.33 c 924s| 3590k| 1052k| 17894k| 729M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 123k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
976.50/976.80 c 926s| 3600k| 1054k| 17939k| 731M| 63 | - | 190 | 11 | 8 | 190 | 21 | 27 | 123k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
979.01/979.22 c 929s| 3610k| 1057k| 17982k| 733M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 123k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
981.41/981.68 c 931s| 3620k| 1059k| 18026k| 734M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 124k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
983.80/984.09 c 933s| 3630k| 1061k| 18069k| 736M| 63 | - | 190 | 9 | 7 | 190 | 21 | 27 | 124k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
986.30/986.53 c 936s| 3640k| 1063k| 18114k| 738M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 124k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
988.71/988.94 c 938s| 3650k| 1065k| 18158k| 739M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 125k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
991.11/991.33 c 940s| 3660k| 1067k| 18202k| 741M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 125k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
993.50/993.79 c 942s| 3670k| 1069k| 18247k| 743M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 125k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
996.10/996.34 c 945s| 3680k| 1071k| 18293k| 745M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 126k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
998.61/998.82 c 947s| 3690k| 1074k| 18338k| 747M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 126k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
1001.00/1001.29 c 950s| 3700k| 1076k| 18383k| 749M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 126k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
1003.50/1003.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1003.50/1003.79 c 952s| 3710k| 1078k| 18428k| 750M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 126k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
1006.00/1006.25 c 954s| 3720k| 1080k| 18472k| 752M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 127k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
1008.50/1008.72 c 957s| 3730k| 1082k| 18517k| 754M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 127k| 33k| 0.000000e+00 | 1.800000e+01 | Inf
1010.90/1011.16 c 959s| 3740k| 1084k| 18562k| 756M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 127k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1013.30/1013.57 c 961s| 3750k| 1086k| 18607k| 757M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 128k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1015.79/1016.01 c 964s| 3760k| 1088k| 18651k| 759M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 128k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1018.20/1018.42 c 966s| 3770k| 1090k| 18694k| 761M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 128k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1020.61/1020.87 c 968s| 3780k| 1092k| 18738k| 762M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 129k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1023.10/1023.38 c 971s| 3790k| 1095k| 18783k| 764M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 129k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1025.50/1025.79 c 973s| 3800k| 1096k| 18826k| 766M| 63 | - | 190 | 9 | 8 | 0 | 0 | 27 | 129k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1027.99/1028.20 c 975s| 3810k| 1098k| 18870k| 767M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 129k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1030.40/1030.66 c 977s| 3820k| 1100k| 18916k| 769M| 63 | - | 190 | 9 | 9 | 0 | 0 | 27 | 130k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1032.90/1033.12 c 980s| 3830k| 1102k| 18960k| 771M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 130k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1035.30/1035.56 c 982s| 3840k| 1103k| 19005k| 772M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 130k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1037.69/1037.98 c 984s| 3850k| 1105k| 19049k| 774M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 131k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1040.20/1040.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1040.20/1040.42 c 987s| 3860k| 1107k| 19094k| 775M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 131k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1042.60/1042.85 c 989s| 3870k| 1109k| 19138k| 777M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 131k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1045.09/1045.30 c 991s| 3880k| 1111k| 19182k| 778M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 132k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1047.49/1047.73 c 994s| 3890k| 1112k| 19227k| 780M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 132k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1049.89/1050.15 c 996s| 3900k| 1114k| 19270k| 781M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 132k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1052.40/1052.65 c 998s| 3910k| 1116k| 19315k| 783M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 133k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1054.90/1055.14 c 1001s| 3920k| 1118k| 19360k| 785M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 133k| 34k| 0.000000e+00 | 1.800000e+01 | Inf
1057.39/1057.60 c 1003s| 3930k| 1120k| 19405k| 786M| 63 | - | 190 | 9 | 8 | 0 | 0 | 27 | 133k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1059.79/1060.03 c 1005s| 3940k| 1122k| 19449k| 788M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 134k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1062.19/1062.44 c 1008s| 3950k| 1124k| 19494k| 790M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 134k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1064.59/1064.86 c 1010s| 3960k| 1125k| 19538k| 791M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 134k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1066.99/1067.29 c 1012s| 3970k| 1127k| 19583k| 793M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 135k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1069.49/1069.77 c 1015s| 3980k| 1129k| 19627k| 794M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 135k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1071.89/1072.16 c 1017s| 3990k| 1130k| 19670k| 796M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 135k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1074.39/1074.60 c 1019s| 4000k| 1132k| 19714k| 797M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 136k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1076.69/1077.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.69/1077.00 c 1021s| 4010k| 1133k| 19758k| 799M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 136k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1079.19/1079.41 c 1024s| 4020k| 1134k| 19802k| 800M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 136k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1081.59/1081.84 c 1026s| 4030k| 1137k| 19848k| 802M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 137k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1083.99/1084.23 c 1028s| 4040k| 1138k| 19893k| 803M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 137k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1086.39/1086.67 c 1031s| 4050k| 1140k| 19938k| 805M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 137k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1088.79/1089.06 c 1033s| 4060k| 1141k| 19982k| 806M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 137k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1091.29/1091.50 c 1035s| 4070k| 1143k| 20027k| 808M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 138k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1093.69/1093.97 c 1038s| 4080k| 1145k| 20073k| 809M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 138k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1096.08/1096.37 c 1040s| 4090k| 1146k| 20117k| 811M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 138k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1098.59/1098.80 c 1042s| 4100k| 1148k| 20162k| 812M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 139k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1100.89/1101.19 c 1044s| 4110k| 1149k| 20206k| 814M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 139k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1103.38/1103.66 c 1047s| 4120k| 1151k| 20250k| 815M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 139k| 35k| 0.000000e+00 | 1.800000e+01 | Inf
1105.89/1106.13 c 1049s| 4130k| 1152k| 20296k| 817M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 140k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1108.28/1108.58 c 1051s| 4140k| 1154k| 20341k| 818M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 140k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1110.79/1111.04 c 1054s| 4150k| 1156k| 20387k| 820M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 140k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1113.18/1113.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.18/1113.46 c 1056s| 4160k| 1157k| 20432k| 821M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 141k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1115.68/1115.91 c 1058s| 4170k| 1159k| 20476k| 823M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 141k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1118.09/1118.35 c 1061s| 4180k| 1160k| 20521k| 824M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 141k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1120.48/1120.77 c 1063s| 4190k| 1162k| 20565k| 826M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 141k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1122.99/1123.21 c 1065s| 4200k| 1164k| 20610k| 827M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 142k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1125.48/1125.74 c 1068s| 4210k| 1166k| 20656k| 829M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 142k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1128.08/1128.34 c 1070s| 4220k| 1169k| 20704k| 831M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 142k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1130.59/1130.85 c 1073s| 4230k| 1171k| 20750k| 833M| 63 | - | 190 | 9 | 9 | 0 | 0 | 27 | 143k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1133.08/1133.35 c 1075s| 4240k| 1173k| 20797k| 835M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 143k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1135.58/1135.85 c 1077s| 4250k| 1175k| 20844k| 837M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 143k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1137.98/1138.29 c 1080s| 4260k| 1177k| 20890k| 838M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 143k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1140.49/1140.77 c 1082s| 4270k| 1179k| 20935k| 840M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 144k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1142.98/1143.20 c 1084s| 4280k| 1181k| 20982k| 842M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 144k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1145.38/1145.66 c 1087s| 4290k| 1182k| 21027k| 843M| 63 | - | 190 | 9 | 8 | 0 | 0 | 27 | 144k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1147.88/1148.10 c 1089s| 4300k| 1184k| 21073k| 845M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 145k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1150.28/1150.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1150.28/1150.52 c 1091s| 4310k| 1185k| 21118k| 846M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 145k| 36k| 0.000000e+00 | 1.800000e+01 | Inf
1152.68/1152.98 c 1094s| 4320k| 1187k| 21164k| 848M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 145k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1155.17/1155.45 c 1096s| 4330k| 1189k| 21210k| 849M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 145k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1157.58/1157.87 c 1098s| 4340k| 1190k| 21256k| 851M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 146k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1160.08/1160.35 c 1101s| 4350k| 1193k| 21301k| 853M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 146k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1162.48/1162.79 c 1103s| 4360k| 1194k| 21347k| 854M| 63 | - | 190 | 10 | 8 | 190 | 21 | 27 | 146k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1164.97/1165.24 c 1105s| 4370k| 1196k| 21392k| 856M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 147k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1167.38/1167.67 c 1108s| 4380k| 1197k| 21437k| 857M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 147k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1169.87/1170.11 c 1110s| 4390k| 1198k| 21481k| 859M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 147k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1172.28/1172.53 c 1112s| 4400k| 1200k| 21526k| 860M| 63 | 8 | 190 | 10 | 9 | 190 | 21 | 27 | 148k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1174.68/1174.96 c 1115s| 4410k| 1201k| 21571k| 862M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 148k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1177.07/1177.37 c 1117s| 4420k| 1203k| 21616k| 863M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 148k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1179.57/1179.81 c 1119s| 4430k| 1204k| 21662k| 865M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 149k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1181.97/1182.27 c 1121s| 4440k| 1205k| 21708k| 866M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 149k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1184.48/1184.71 c 1124s| 4450k| 1206k| 21753k| 868M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 149k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1186.88/1187.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.88/1187.15 c 1126s| 4460k| 1208k| 21798k| 869M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 149k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1189.27/1189.56 c 1128s| 4470k| 1210k| 21842k| 871M| 63 | - | 190 | 9 | 9 | 190 | 21 | 27 | 150k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1191.77/1192.00 c 1131s| 4480k| 1211k| 21886k| 872M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 150k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1194.07/1194.39 c 1133s| 4490k| 1212k| 21931k| 873M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 150k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1196.58/1196.83 c 1135s| 4500k| 1214k| 21975k| 875M| 63 | - | 190 | 9 | 8 | 0 | 0 | 27 | 151k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1198.97/1199.27 c 1138s| 4510k| 1215k| 22020k| 876M| 63 | 7 | 190 | 9 | 8 | 190 | 21 | 27 | 151k| 37k| 0.000000e+00 | 1.800000e+01 | Inf
1201.47/1201.70 c 1140s| 4520k| 1216k| 22065k| 878M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 151k| 38k| 0.000000e+00 | 1.800000e+01 | Inf
1203.87/1204.11 c 1142s| 4530k| 1218k| 22109k| 879M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 152k| 38k| 0.000000e+00 | 1.800000e+01 | Inf
1206.27/1206.53 c 1145s| 4540k| 1219k| 22153k| 880M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 152k| 38k| 0.000000e+00 | 1.800000e+01 | Inf
1208.67/1208.94 c 1147s| 4550k| 1221k| 22197k| 882M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 152k| 38k| 0.000000e+00 | 1.800000e+01 | Inf
1211.17/1211.40 c 1149s| 4560k| 1222k| 22242k| 883M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 153k| 38k| 0.000000e+00 | 1.800000e+01 | Inf
1213.57/1213.87 c 1152s| 4570k| 1224k| 22287k| 885M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 153k| 38k| 0.000000e+00 | 1.800000e+01 | Inf
1215.27/1215.51 o 17
1215.27/1215.51 c *1153s| 4576k| 1216k| 22317k| 873M| 63 | - | 190 | 8 | 0 | 190 | 21 | 27 | 153k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1216.77/1217.07 c 1155s| 4580k| 1216k| 22332k| 873M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 153k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1219.27/1219.53 c 1157s| 4590k| 1218k| 22377k| 875M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 154k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1221.67/1221.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.67/1221.96 c 1159s| 4600k| 1219k| 22421k| 876M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 154k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1224.08/1224.38 c 1161s| 4610k| 1221k| 22465k| 877M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 154k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1226.57/1226.80 c 1164s| 4620k| 1222k| 22509k| 879M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 154k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1228.97/1229.24 c 1166s| 4630k| 1224k| 22554k| 880M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 155k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1231.37/1231.67 c 1168s| 4640k| 1225k| 22599k| 881M| 63 | 8 | 190 | 12 | 8 | 190 | 21 | 27 | 155k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1233.87/1234.14 c 1171s| 4650k| 1227k| 22644k| 883M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 155k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1236.27/1236.54 c 1173s| 4660k| 1228k| 22689k| 884M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 156k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1238.67/1238.96 c 1175s| 4670k| 1230k| 22733k| 886M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 156k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1242.06/1242.35 c 1179s| 4680k| 1232k| 22777k| 887M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 156k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1244.46/1244.75 c 1181s| 4690k| 1233k| 22821k| 889M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 156k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1246.86/1247.17 c 1183s| 4700k| 1234k| 22865k| 890M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 157k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1249.26/1249.59 c 1185s| 4710k| 1235k| 22909k| 891M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 157k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1251.76/1252.00 c 1188s| 4720k| 1237k| 22953k| 893M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 158k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1254.16/1254.45 c 1190s| 4730k| 1238k| 22998k| 894M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 158k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1256.56/1256.87 c 1192s| 4740k| 1239k| 23042k| 895M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 158k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1258.96/1259.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1258.96/1259.28 c 1195s| 4750k| 1241k| 23085k| 897M| 63 | - | 190 | 8 | 9 | 0 | 0 | 27 | 158k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1261.36/1261.70 c 1197s| 4760k| 1242k| 23129k| 898M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 159k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1263.86/1264.12 c 1199s| 4770k| 1243k| 23174k| 899M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 159k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1266.26/1266.56 c 1202s| 4780k| 1244k| 23218k| 901M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 159k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1268.66/1268.97 c 1204s| 4790k| 1246k| 23262k| 902M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 160k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1271.16/1271.44 c 1206s| 4800k| 1248k| 23307k| 904M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 160k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1273.56/1273.88 c 1208s| 4810k| 1249k| 23352k| 905M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 160k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1276.06/1276.30 c 1211s| 4820k| 1250k| 23396k| 906M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 161k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1278.46/1278.75 c 1213s| 4830k| 1252k| 23441k| 908M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 161k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1280.96/1281.25 c 1215s| 4840k| 1255k| 23486k| 910M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 161k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1283.36/1283.69 c 1218s| 4850k| 1257k| 23530k| 912M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 162k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1285.85/1286.14 c 1220s| 4860k| 1259k| 23574k| 914M| 63 | - | 190 | 10 | 8 | 190 | 21 | 27 | 162k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1288.26/1288.58 c 1222s| 4870k| 1261k| 23618k| 915M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 162k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1290.76/1291.00 c 1225s| 4880k| 1262k| 23661k| 916M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 162k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1293.15/1293.41 c 1227s| 4890k| 1264k| 23705k| 918M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 163k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1295.56/1295.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1295.56/1295.83 c 1229s| 4900k| 1265k| 23748k| 919M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 163k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1297.95/1298.24 c 1232s| 4910k| 1266k| 23791k| 920M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 163k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1300.35/1300.64 c 1234s| 4920k| 1267k| 23834k| 922M| 63 | - | 190 | 9 | 8 | 0 | 0 | 27 | 164k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1302.75/1303.07 c 1236s| 4930k| 1269k| 23877k| 923M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 164k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1305.15/1305.48 c 1238s| 4940k| 1270k| 23921k| 924M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 164k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1307.56/1307.89 c 1241s| 4950k| 1272k| 23965k| 926M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 165k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1310.05/1310.31 c 1243s| 4960k| 1273k| 24008k| 927M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 165k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1312.45/1312.73 c 1245s| 4970k| 1274k| 24053k| 929M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 165k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1314.85/1315.17 c 1248s| 4980k| 1275k| 24098k| 930M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 166k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1317.35/1317.61 c 1250s| 4990k| 1277k| 24143k| 931M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 166k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1319.76/1320.06 c 1252s| 5000k| 1278k| 24188k| 932M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 166k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1322.16/1322.48 c 1255s| 5010k| 1280k| 24232k| 934M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 166k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1324.55/1324.89 c 1257s| 5020k| 1281k| 24276k| 935M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 167k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1327.05/1327.31 c 1259s| 5030k| 1282k| 24319k| 937M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 167k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1329.46/1329.74 c 1261s| 5040k| 1284k| 24362k| 938M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 168k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1331.86/1332.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1331.86/1332.14 c 1264s| 5050k| 1285k| 24406k| 939M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 168k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1334.25/1334.57 c 1266s| 5060k| 1286k| 24451k| 941M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 168k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1336.75/1337.01 c 1268s| 5070k| 1288k| 24496k| 942M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 168k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1339.15/1339.42 c 1271s| 5080k| 1289k| 24539k| 943M| 63 | - | 190 | 10 | 8 | 190 | 21 | 27 | 169k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1341.55/1341.81 c 1273s| 5090k| 1290k| 24584k| 945M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 169k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1343.95/1344.23 c 1275s| 5100k| 1291k| 24627k| 946M| 63 | - | 190 | 8 | 9 | 190 | 21 | 27 | 169k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1346.35/1346.63 c 1277s| 5110k| 1292k| 24670k| 947M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 170k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1348.75/1349.06 c 1280s| 5120k| 1294k| 24715k| 948M| 63 | 8 | 190 | 9 | 9 | 190 | 21 | 27 | 170k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1351.15/1351.46 c 1282s| 5130k| 1295k| 24758k| 950M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 170k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1353.64/1353.91 c 1284s| 5140k| 1296k| 24803k| 951M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 171k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1356.06/1356.35 c 1287s| 5150k| 1297k| 24846k| 952M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 171k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1358.54/1358.80 c 1289s| 5160k| 1299k| 24894k| 954M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 171k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1360.95/1361.20 c 1291s| 5170k| 1300k| 24938k| 955M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 172k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1363.34/1363.61 c 1294s| 5180k| 1301k| 24981k| 956M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 172k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1365.64/1365.99 c 1296s| 5190k| 1303k| 25024k| 958M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 172k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1368.15/1368.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1368.15/1368.44 c 1298s| 5200k| 1304k| 25069k| 959M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 172k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1370.55/1370.85 c 1300s| 5210k| 1306k| 25113k| 961M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 173k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1372.94/1373.28 c 1303s| 5220k| 1307k| 25157k| 962M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 173k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1375.34/1375.70 c 1305s| 5230k| 1308k| 25201k| 963M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 173k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1377.74/1378.09 c 1307s| 5240k| 1309k| 25245k| 964M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 174k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1380.14/1380.49 c 1310s| 5250k| 1310k| 25289k| 965M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 174k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1382.64/1382.92 c 1312s| 5260k| 1312k| 25333k| 967M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 174k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1385.04/1385.31 c 1314s| 5270k| 1313k| 25376k| 968M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 174k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1387.45/1387.74 c 1317s| 5280k| 1314k| 25421k| 969M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 175k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1389.84/1390.14 c 1319s| 5290k| 1315k| 25465k| 970M| 63 | - | 190 | 10 | 8 | 190 | 21 | 27 | 175k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1392.24/1392.58 c 1321s| 5300k| 1316k| 25509k| 972M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 175k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1394.74/1395.01 c 1323s| 5310k| 1317k| 25553k| 973M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 176k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1397.14/1397.40 c 1326s| 5320k| 1319k| 25596k| 974M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 176k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1399.54/1399.81 c 1328s| 5330k| 1320k| 25639k| 975M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 176k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1401.94/1402.23 c 1330s| 5340k| 1321k| 25682k| 976M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 177k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1404.34/1404.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.34/1404.65 c 1333s| 5350k| 1322k| 25727k| 978M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 177k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1406.74/1407.05 c 1335s| 5360k| 1323k| 25771k| 979M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 177k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1409.14/1409.48 c 1337s| 5370k| 1324k| 25814k| 980M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 178k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1411.64/1411.92 c 1340s| 5380k| 1325k| 25859k| 981M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 178k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1414.04/1414.38 c 1342s| 5390k| 1326k| 25904k| 983M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 178k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1416.44/1416.79 c 1344s| 5400k| 1327k| 25947k| 984M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 179k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1418.93/1419.23 c 1346s| 5410k| 1328k| 25991k| 985M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 179k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1421.33/1421.63 c 1349s| 5420k| 1329k| 26035k| 986M| 63 | - | 190 | 8 | 9 | 0 | 0 | 27 | 179k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1423.73/1424.04 c 1351s| 5430k| 1330k| 26078k| 988M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 180k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1426.14/1426.45 c 1353s| 5440k| 1332k| 26122k| 989M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 180k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1428.64/1428.92 c 1356s| 5450k| 1333k| 26167k| 990M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 180k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1431.03/1431.38 c 1358s| 5460k| 1336k| 26212k| 992M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 181k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1433.53/1433.85 c 1360s| 5470k| 1339k| 26255k| 994M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 181k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1436.03/1436.33 c 1363s| 5480k| 1341k| 26299k| 996M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 181k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1438.43/1438.73 c 1365s| 5490k| 1343k| 26343k| 997M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 182k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1440.84/1441.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.84/1441.15 c 1367s| 5500k| 1344k| 26387k| 999M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 182k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1443.24/1443.52 c 1370s| 5510k| 1346k| 26429k|1000M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 182k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1445.63/1445.97 c 1372s| 5520k| 1347k| 26473k|1002M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 183k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1448.03/1448.37 c 1374s| 5530k| 1349k| 26517k|1003M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 183k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1450.54/1450.80 c 1376s| 5540k| 1350k| 26561k|1004M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 183k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1452.94/1453.20 c 1379s| 5550k| 1352k| 26606k|1006M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 184k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1455.33/1455.67 c 1381s| 5560k| 1353k| 26650k|1007M| 63 | - | 190 | 9 | 8 | 0 | 0 | 27 | 184k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1457.83/1458.13 c 1383s| 5570k| 1355k| 26695k|1009M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 184k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1460.23/1460.54 c 1386s| 5580k| 1356k| 26739k|1010M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 185k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1462.63/1463.00 c 1388s| 5590k| 1357k| 26784k|1011M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 185k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1465.13/1465.46 c 1390s| 5600k| 1359k| 26829k|1013M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 185k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1467.63/1467.90 c 1393s| 5610k| 1360k| 26874k|1014M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 186k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1470.03/1470.32 c 1395s| 5620k| 1361k| 26918k|1016M| 63 | - | 190 | 9 | 8 | 0 | 0 | 27 | 186k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1472.43/1472.74 c 1397s| 5630k| 1363k| 26961k|1017M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 186k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1474.83/1475.14 c 1400s| 5640k| 1364k| 27005k|1018M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 187k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1477.23/1477.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1477.23/1477.51 c 1402s| 5650k| 1365k| 27048k|1019M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 187k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1479.62/1479.95 c 1404s| 5660k| 1366k| 27092k|1021M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 187k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1482.03/1482.31 c 1406s| 5670k| 1367k| 27134k|1022M| 63 | - | 190 | 10 | 8 | 190 | 21 | 27 | 188k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1484.42/1484.72 c 1409s| 5680k| 1368k| 27177k|1023M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 188k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1486.83/1487.10 c 1411s| 5690k| 1370k| 27220k|1024M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 188k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1489.13/1489.50 c 1413s| 5700k| 1371k| 27263k|1025M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 189k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1491.52/1491.89 c 1415s| 5710k| 1372k| 27307k|1027M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 189k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1493.92/1494.26 c 1418s| 5720k| 1373k| 27349k|1028M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 189k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1496.32/1496.68 c 1420s| 5730k| 1374k| 27392k|1029M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 190k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1498.72/1499.07 c 1422s| 5740k| 1375k| 27435k|1030M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 190k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1501.12/1501.45 c 1425s| 5750k| 1376k| 27478k|1031M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 190k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1503.53/1503.85 c 1427s| 5760k| 1376k| 27521k|1032M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 191k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1505.91/1506.27 c 1429s| 5770k| 1377k| 27565k|1033M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 191k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1508.32/1508.69 c 1431s| 5780k| 1378k| 27610k|1035M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 191k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1510.72/1511.08 c 1434s| 5790k| 1379k| 27653k|1036M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 192k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1513.11/1513.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1513.11/1513.49 c 1436s| 5800k| 1380k| 27697k|1037M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 192k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1515.52/1515.85 c 1438s| 5810k| 1381k| 27739k|1038M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 192k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1517.92/1518.23 c 1440s| 5820k| 1382k| 27782k|1040M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 193k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1520.32/1520.64 c 1443s| 5830k| 1383k| 27826k|1041M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 193k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1522.71/1523.05 c 1445s| 5840k| 1384k| 27870k|1042M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 194k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1525.11/1525.43 c 1447s| 5850k| 1385k| 27914k|1043M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 194k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1527.51/1527.87 c 1450s| 5860k| 1387k| 27959k|1044M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 194k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1529.92/1530.28 c 1452s| 5870k| 1388k| 28002k|1046M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 194k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1532.32/1532.67 c 1454s| 5880k| 1389k| 28046k|1047M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 195k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1534.71/1535.09 c 1456s| 5890k| 1390k| 28089k|1048M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 195k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1537.21/1537.51 c 1459s| 5900k| 1391k| 28133k|1049M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 195k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1539.61/1539.91 c 1461s| 5910k| 1392k| 28177k|1050M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 196k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1542.02/1542.33 c 1463s| 5920k| 1393k| 28220k|1051M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 196k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1544.41/1544.75 c 1466s| 5930k| 1395k| 28264k|1053M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 196k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1546.81/1547.15 c 1468s| 5940k| 1397k| 28309k|1055M| 63 | - | 190 | 8 | 5 | 0 | 0 | 27 | 197k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1549.21/1549.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1549.21/1549.58 c 1470s| 5950k| 1399k| 28353k|1056M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 197k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1551.60/1551.93 c 1472s| 5960k| 1400k| 28396k|1057M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 197k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1554.02/1554.31 c 1475s| 5970k| 1401k| 28439k|1059M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 198k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1556.31/1556.69 c 1477s| 5980k| 1403k| 28483k|1060M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 198k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1558.80/1559.19 c 1479s| 5990k| 1405k| 28529k|1062M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 198k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1561.31/1561.62 c 1482s| 6000k| 1406k| 28572k|1063M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 198k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1563.71/1564.00 c 1484s| 6010k| 1407k| 28616k|1065M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 199k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1566.11/1566.41 c 1486s| 6020k| 1408k| 28659k|1066M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 199k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1568.50/1568.80 c 1488s| 6030k| 1409k| 28702k|1067M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 199k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1570.80/1571.17 c 1491s| 6040k| 1411k| 28746k|1068M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 200k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1573.21/1573.53 c 1493s| 6050k| 1412k| 28789k|1070M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 200k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1575.60/1575.92 c 1495s| 6060k| 1413k| 28831k|1071M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 200k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1578.00/1578.35 c 1497s| 6070k| 1414k| 28874k|1072M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 200k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1580.41/1580.74 c 1500s| 6080k| 1415k| 28918k|1073M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 201k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1582.80/1583.15 c 1502s| 6090k| 1416k| 28961k|1074M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 201k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1585.20/1585.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1585.20/1585.55 c 1504s| 6100k| 1417k| 29004k|1075M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 201k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1587.60/1587.96 c 1507s| 6110k| 1418k| 29047k|1076M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 202k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1590.00/1590.36 c 1509s| 6120k| 1419k| 29090k|1077M| 63 | - | 190 | 8 | 9 | 0 | 0 | 27 | 202k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1592.40/1592.77 c 1511s| 6130k| 1420k| 29134k|1079M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 202k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1594.90/1595.22 c 1513s| 6140k| 1421k| 29178k|1080M| 63 | - | 190 | 8 | 9 | 0 | 0 | 27 | 203k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1597.30/1597.65 c 1516s| 6150k| 1423k| 29222k|1081M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 203k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1599.80/1600.11 c 1518s| 6160k| 1424k| 29268k|1083M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 204k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1602.20/1602.51 c 1520s| 6170k| 1426k| 29314k|1084M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 204k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1604.49/1604.89 c 1523s| 6180k| 1427k| 29359k|1086M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 204k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1606.90/1607.28 c 1525s| 6190k| 1428k| 29403k|1087M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 204k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1609.30/1609.69 c 1527s| 6200k| 1429k| 29449k|1088M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 205k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1611.70/1612.05 c 1529s| 6210k| 1430k| 29493k|1089M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 205k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1614.10/1614.45 c 1532s| 6220k| 1430k| 29537k|1090M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 205k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1616.50/1616.83 c 1534s| 6230k| 1431k| 29581k|1091M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 205k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1618.91/1619.24 c 1536s| 6240k| 1432k| 29625k|1092M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 206k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1621.29/1621.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.29/1621.61 c 1538s| 6250k| 1433k| 29669k|1093M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 206k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1623.69/1624.04 c 1541s| 6260k| 1433k| 29712k|1094M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 206k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1626.09/1626.45 c 1543s| 6270k| 1434k| 29757k|1095M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 206k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1628.49/1628.86 c 1545s| 6280k| 1435k| 29801k|1096M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 207k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1630.89/1631.28 c 1548s| 6290k| 1436k| 29846k|1097M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 207k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1633.30/1633.69 c 1550s| 6300k| 1437k| 29889k|1098M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 207k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1635.69/1636.06 c 1552s| 6310k| 1438k| 29931k|1099M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 208k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1638.09/1638.48 c 1554s| 6320k| 1439k| 29975k|1100M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 208k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1640.48/1640.87 c 1557s| 6330k| 1440k| 30018k|1101M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 208k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1642.89/1643.27 c 1559s| 6340k| 1441k| 30062k|1103M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 209k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1645.29/1645.64 c 1561s| 6350k| 1442k| 30105k|1104M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 209k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1647.68/1648.07 c 1564s| 6360k| 1443k| 30149k|1105M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 209k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1650.19/1650.53 c 1566s| 6370k| 1444k| 30195k|1106M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 210k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1652.58/1652.94 c 1568s| 6380k| 1445k| 30239k|1107M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 210k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1654.99/1655.35 c 1570s| 6390k| 1446k| 30283k|1109M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 210k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1657.39/1657.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1657.39/1657.78 c 1573s| 6400k| 1447k| 30329k|1110M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 211k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1659.89/1660.20 c 1575s| 6410k| 1448k| 30373k|1111M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 211k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1662.28/1662.62 c 1577s| 6420k| 1449k| 30418k|1112M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 211k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1664.69/1665.01 c 1580s| 6430k| 1450k| 30462k|1113M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 212k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1667.08/1667.42 c 1582s| 6440k| 1451k| 30505k|1114M| 63 | - | 190 | 8 | 7 | 0 | 0 | 27 | 212k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1669.49/1669.89 c 1584s| 6450k| 1453k| 30551k|1116M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 212k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1671.98/1672.31 c 1587s| 6460k| 1454k| 30595k|1117M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 213k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1674.38/1674.70 c 1589s| 6470k| 1455k| 30640k|1118M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 213k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1676.78/1677.10 c 1591s| 6480k| 1456k| 30684k|1120M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 213k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1679.08/1679.47 c 1593s| 6490k| 1457k| 30727k|1121M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 213k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1681.48/1681.90 c 1596s| 6500k| 1458k| 30771k|1122M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 214k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1683.89/1684.28 c 1598s| 6510k| 1458k| 30815k|1123M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 214k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1686.28/1686.69 c 1600s| 6520k| 1460k| 30859k|1124M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 214k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1688.78/1689.10 c 1603s| 6530k| 1461k| 30903k|1125M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 215k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1691.18/1691.52 c 1605s| 6540k| 1462k| 30946k|1126M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 215k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1693.58/1693.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1693.58/1693.94 c 1607s| 6550k| 1463k| 30991k|1127M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 215k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1695.99/1696.36 c 1610s| 6560k| 1464k| 31035k|1129M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 216k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1698.38/1698.79 c 1612s| 6570k| 1465k| 31079k|1130M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 216k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1700.78/1701.19 c 1614s| 6580k| 1465k| 31122k|1131M| 63 | - | 190 | 8 | 9 | 0 | 0 | 27 | 216k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1703.18/1703.58 c 1616s| 6590k| 1466k| 31166k|1132M| 63 | - | 190 | 8 | 9 | 190 | 21 | 27 | 217k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1705.57/1705.98 c 1619s| 6600k| 1467k| 31208k|1133M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 217k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1706.78/1707.10 o 15
1706.78/1707.10 c *1620s| 6604k| 1440k| 31227k|1094M| 63 | - | 190 | 8 | 0 | 190 | 21 | 27 | 217k| 47k| 0.000000e+00 | 1.500000e+01 | Inf
1708.09/1708.46 c 1621s| 6610k| 1440k| 31254k|1094M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 217k| 47k| 0.000000e+00 | 1.500000e+01 | Inf
1711.47/1711.85 c 1624s| 6620k| 1441k| 31300k|1095M| 63 | 8 | 190 | 9 | 9 | 190 | 21 | 27 | 218k| 47k| 0.000000e+00 | 1.500000e+01 | Inf
1713.87/1714.20 c 1626s| 6630k| 1442k| 31347k|1096M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 218k| 47k| 0.000000e+00 | 1.500000e+01 | Inf
1716.17/1716.57 c 1629s| 6640k| 1443k| 31394k|1097M| 63 | 8 | 190 | 12 | 12 | 190 | 21 | 27 | 218k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1718.57/1718.97 c 1631s| 6650k| 1444k| 31441k|1097M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 219k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1721.97/1722.35 c 1634s| 6660k| 1445k| 31489k|1099M| 63 | 8 | 190 | 11 | 8 | 190 | 21 | 27 | 219k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1724.38/1724.78 c 1636s| 6670k| 1447k| 31537k|1100M| 63 | - | 190 | 10 | 8 | 190 | 21 | 27 | 219k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1726.87/1727.24 c 1639s| 6680k| 1448k| 31584k|1101M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 220k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1729.28/1729.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1729.28/1729.67 c 1641s| 6690k| 1450k| 31632k|1102M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 220k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1731.67/1732.09 c 1643s| 6700k| 1451k| 31679k|1103M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 220k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1734.17/1734.54 c 1646s| 6710k| 1452k| 31727k|1104M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 221k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1736.58/1736.97 c 1648s| 6720k| 1453k| 31774k|1105M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 221k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1739.08/1739.41 c 1650s| 6730k| 1454k| 31820k|1106M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 221k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1741.47/1741.85 c 1653s| 6740k| 1454k| 31867k|1107M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 222k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1743.87/1744.29 c 1655s| 6750k| 1455k| 31915k|1108M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 222k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1746.37/1746.72 c 1657s| 6760k| 1456k| 31962k|1109M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 223k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1748.78/1749.14 c 1660s| 6770k| 1457k| 32008k|1110M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 223k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1751.17/1751.56 c 1662s| 6780k| 1458k| 32056k|1110M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 223k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1753.67/1754.02 c 1664s| 6790k| 1459k| 32105k|1111M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 223k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1756.07/1756.47 c 1666s| 6800k| 1460k| 32152k|1112M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 224k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1758.58/1758.91 c 1669s| 6810k| 1461k| 32200k|1113M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 224k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1760.97/1761.33 c 1671s| 6820k| 1462k| 32247k|1114M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 224k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1763.37/1763.77 c 1673s| 6830k| 1462k| 32295k|1115M| 63 | - | 190 | 11 | 8 | 190 | 21 | 27 | 225k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1765.77/1766.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.77/1766.16 c 1676s| 6840k| 1464k| 32342k|1116M| 63 | 8 | 190 | 11 | 8 | 190 | 21 | 27 | 225k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1768.16/1768.54 c 1678s| 6850k| 1465k| 32388k|1117M| 63 | - | 190 | 10 | 8 | 190 | 21 | 27 | 226k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1770.56/1770.97 c 1680s| 6860k| 1466k| 32435k|1118M| 63 | - | 190 | 10 | 8 | 0 | 0 | 27 | 226k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1772.97/1773.34 c 1682s| 6870k| 1467k| 32482k|1119M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 226k| 48k| 0.000000e+00 | 1.500000e+01 | Inf
1775.36/1775.75 c 1685s| 6880k| 1468k| 32529k|1120M| 63 | 8 | 190 | 11 | 8 | 190 | 21 | 27 | 227k| 49k| 0.000000e+00 | 1.500000e+01 | Inf
1777.77/1778.14 c 1687s| 6890k| 1468k| 32576k|1121M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 227k| 49k| 0.000000e+00 | 1.500000e+01 | Inf
1780.17/1780.56 c 1689s| 6900k| 1469k| 32622k|1122M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 227k| 49k| 0.000000e+00 | 1.500000e+01 | Inf
1782.57/1782.96 c 1692s| 6910k| 1469k| 32669k|1122M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 228k| 49k| 0.000000e+00 | 1.500000e+01 | Inf
1784.97/1785.36 c 1694s| 6920k| 1470k| 32717k|1123M| 63 | - | 190 | 8 | 7 | 0 | 0 | 27 | 228k| 49k| 0.000000e+00 | 1.500000e+01 | Inf
1787.36/1787.75 c 1696s| 6930k| 1471k| 32764k|1124M| 63 | 8 | 190 | 11 | 8 | 190 | 21 | 27 | 228k| 49k| 0.000000e+00 | 1.500000e+01 | Inf
1789.76/1790.16 c 1698s| 6940k| 1472k| 32810k|1125M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 229k| 49k| 0.000000e+00 | 1.500000e+01 | Inf
1792.17/1792.57 c 1701s| 6950k| 1473k| 32857k|1126M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 229k| 49k| 0.000000e+00 | 1.500000e+01 | Inf
1794.56/1794.98 c 1703s| 6960k| 1474k| 32905k|1127M| 63 | 8 | 190 | 9 | 9 | 190 | 21 | 27 | 229k| 49k| 0.000000e+00 | 1.500000e+01 | Inf
1796.96/1797.39 c 1705s| 6970k| 1476k| 32952k|1128M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 230k| 49k| 0.000000e+00 | 1.500000e+01 | Inf
1799.47/1799.89 c 1708s| 6980k| 1478k| 33000k|1130M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 230k| 49k| 0.000000e+00 | 1.500000e+01 | Inf
1800.07/1800.40 c
1800.07/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.40 c Solving Time (sec) : 1708.17
1800.07/1800.40 c Solving Nodes : 6982199
1800.07/1800.40 c Primal Bound : +1.50000000000000e+01 (50 solutions)
1800.07/1800.40 c Dual Bound : +0.00000000000000e+00
1800.07/1800.40 c Gap : infinite
1800.07/1800.40 c NODE 6982199
1800.07/1800.40 c DUAL BOUND 0
1800.07/1800.40 c PRIMAL BOUND 15
1800.07/1800.40 c GAP 1e+20
1800.07/1800.40 s SATISFIABLE
1800.07/1800.40 v -x176 x198 x197 x196 -x195 x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 x177
1800.07/1800.40 v x175 -x174 x173 x172 x171 -x170 -x169 x168 -x167 x166 -x165 x164 -x163 -x162 -x161 x160 -x159 x158 -x157 x156 x155 x154 x153
1800.07/1800.40 v -x152 -x151 x150 -x149 -x148 x147 x146 -x145 -x144 -x143 x142 x141 x140 x139 x138 -x137 -x136 x135 -x134 x133 x132 x131 x130
1800.07/1800.40 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1800.07/1800.40 v -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86
1800.07/1800.40 v -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60
1800.07/1800.40 v -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.07/1800.40 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1800.07/1800.40 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.07/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.40 c Solving Time : 1708.17
1800.07/1800.40 c Original Problem :
1800.07/1800.40 c Problem name : HOME/instance-3734862-1338705616.opb
1800.07/1800.40 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.40 c Constraints : 16 initial, 16 maximal
1800.07/1800.40 c Presolved Problem :
1800.07/1800.40 c Problem name : t_HOME/instance-3734862-1338705616.opb
1800.07/1800.40 c Variables : 190 (190 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.40 c Constraints : 8 initial, 14 maximal
1800.07/1800.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.40 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.40 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.40 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.40 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.40 c linear : 0.00 0 8 0 0 0 8 0 0
1800.07/1800.40 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.40 c root node : - 64 - - 64 - - - -
1800.07/1800.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.40 c integral : 0 0 0 4328709 0 191 15603 0 0 8626890
1800.07/1800.40 c linear : 8 6 10953186 1 0 742278 5517140 10 0 0
1800.07/1800.40 c logicor : 0+ 0 220089 0 0 3781 80658 0 0 0
1800.07/1800.40 c countsols : 0 0 0 29 0 0 0 0 0 0
1800.07/1800.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.40 c integral : 30.82 0.00 0.00 30.82 0.00
1800.07/1800.40 c linear : 405.85 0.02 405.83 0.00 0.00
1800.07/1800.40 c logicor : 0.35 0.00 0.35 0.00 0.00
1800.07/1800.40 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.40 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.40 c rootredcost : 2.15 44 0 64
1800.07/1800.40 c pseudoobj : 42.79 10980390 27345 80359
1800.07/1800.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.40 c propagation : 30.13 769623 227513 256936 71.1 0 0.0 -
1800.07/1800.40 c infeasible LP : 0.27 7034 6920 7096 37.9 0 0.0 0
1800.07/1800.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.40 c pseudo solution : 0.00 2 2 2 40.0 0 0.0 -
1800.07/1800.40 c applied globally : - - - 776 28.6 - - -
1800.07/1800.40 c applied locally : - - - 229825 70.7 - - -
1800.07/1800.40 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.40 c cut pool : 0.00 5 - - 19 - (maximal pool size: 78)
1800.07/1800.40 c redcost : 64.67 6397596 0 47327811 0 0
1800.07/1800.40 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.40 c intobj : 0.00 0 0 0 0 0
1800.07/1800.40 c gomory : 0.00 6 0 0 0 0
1800.07/1800.40 c strongcg : 0.00 6 0 0 25 0
1800.07/1800.40 c cmir : 0.01 6 0 0 40 0
1800.07/1800.40 c flowcover : 0.03 6 0 0 42 0
1800.07/1800.40 c clique : 0.00 1 0 0 0 0
1800.07/1800.40 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.40 c mcf : 0.00 1 0 0 0 0
1800.07/1800.40 c Pricers : Time Calls Vars
1800.07/1800.40 c problem variables: 0.00 0 0
1800.07/1800.40 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.40 c relpscost : 28.88 4328680 191 15603 0 0 8626890
1800.07/1800.40 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.40 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.40 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.40 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.40 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.40 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.40 c random : 0.00 0 0 0 0 0 0
1800.07/1800.40 c Primal Heuristics : Time Calls Found
1800.07/1800.40 c LP solutions : 0.24 - 29
1800.07/1800.40 c pseudo solutions : 0.00 - 0
1800.07/1800.40 c feaspump : 0.12 2 0
1800.07/1800.40 c oneopt : 1.53 43 0
1800.07/1800.40 c crossover : 15.09 21 0
1800.07/1800.40 c rootsoldiving : 5.54 1480 4
1800.07/1800.40 c linesearchdiving : 13.96 9878 2
1800.07/1800.40 c coefdiving : 30.20 9878 3
1800.07/1800.40 c fracdiving : 21.49 9879 2
1800.07/1800.40 c veclendiving : 14.72 9879 0
1800.07/1800.40 c guideddiving : 16.46 9879 4
1800.07/1800.40 c pscostdiving : 22.28 9879 3
1800.07/1800.40 c objpscostdiving : 5.21 4940 2
1800.07/1800.40 c simplerounding : 1.63 0 0
1800.07/1800.40 c rounding : 1.92 30544 0
1800.07/1800.40 c shifting : 11.67 25212 1
1800.07/1800.40 c intshifting : 0.03 0 0
1800.07/1800.40 c fixandinfer : 0.00 0 0
1800.07/1800.40 c intdiving : 0.00 0 0
1800.07/1800.40 c actconsdiving : 0.00 0 0
1800.07/1800.40 c octane : 0.00 0 0
1800.07/1800.40 c rens : 0.01 1 0
1800.07/1800.40 c rins : 0.00 0 0
1800.07/1800.40 c localbranching : 0.00 0 0
1800.07/1800.40 c mutation : 0.00 0 0
1800.07/1800.40 c dins : 0.00 0 0
1800.07/1800.40 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.40 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.40 c dual LP : 673.52 6614772 30727143 4.65 45621.72
1800.07/1800.40 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.40 c diving/probing LP: 68.32 1061140 2283642 2.15 33425.67
1800.07/1800.40 c strong branching : 5.91 49420 168456 3.41 28503.55
1800.07/1800.40 c (at root node) : - 19 859 45.21 -
1800.07/1800.40 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.40 c B&B Tree :
1800.07/1800.40 c number of runs : 1
1800.07/1800.40 c nodes : 6982199
1800.07/1800.40 c nodes (total) : 6982199
1800.07/1800.40 c nodes left : 1479153
1800.07/1800.40 c max depth : 63
1800.07/1800.40 c max depth (total): 63
1800.07/1800.40 c backtracks : 1290068 (18.5%)
1800.07/1800.40 c delayed cutoffs : 43416
1800.07/1800.40 c repropagations : 82368 (315461 domain reductions, 43415 cutoffs)
1800.07/1800.40 c avg switch length: 5.66
1800.07/1800.40 c switching time : 121.66
1800.07/1800.40 c Solution :
1800.07/1800.40 c Solutions found : 50 (44 improvements)
1800.07/1800.40 c Primal Bound : +1.50000000000000e+01 (in run 1, after 6604322 nodes, 1619.66 seconds, depth 48, found by <relaxation>)
1800.07/1800.40 c Dual Bound : +0.00000000000000e+00
1800.07/1800.40 c Gap : infinite
1800.07/1800.40 c Root Dual Bound : +0.00000000000000e+00
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734862-1338705616/watcher-3734862-1338705616 -o /tmp/evaluation-result-3734862-1338705616/solver-3734862-1338705616 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3734862-1338705616.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17380
/proc/meminfo: memFree=30260824/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=8692 CPUtime=0 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 1514 0 0 0 0 0 0 0 20 0 1 0 336687490 8900608 1466 33554432000 4194304 7823515 140735766336272 140735929708440 6883856 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 2173 1466 354 887 0 1283 0
[startup+0.0571159 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17380
/proc/meminfo: memFree=30260824/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=13192 CPUtime=0.05 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 2931 0 0 0 5 0 0 0 20 0 1 0 336687490 13508608 2529 33554432000 4194304 7823515 140735766336272 140735929708440 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 3298 2529 551 887 0 2408 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13192
[startup+0.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17380
/proc/meminfo: memFree=30260824/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=16336 CPUtime=0.09 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 4902 0 0 0 9 0 0 0 20 0 1 0 336687490 16728064 3306 33554432000 4194304 7823515 140735766336272 140735929708440 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 4084 3306 567 887 0 3194 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16336
[startup+0.300573 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17380
/proc/meminfo: memFree=30260824/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=16336 CPUtime=0.29 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 4909 0 0 0 28 1 0 0 20 0 1 0 336687490 16728064 3313 33554432000 4194304 7823515 140735766336272 140735929708440 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 4084 3313 571 887 0 3194 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16336
[startup+0.700172 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17380
/proc/meminfo: memFree=30260824/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=14260 CPUtime=0.69 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 5054 0 0 0 66 3 0 0 20 0 1 0 336687490 14602240 2796 33554432000 4194304 7823515 140735766336272 140735929708440 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 3565 2796 573 887 0 2675 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14260
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17381
/proc/meminfo: memFree=30250760/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=15108 CPUtime=1.48 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 9180 0 0 0 141 7 0 0 20 0 1 0 336687490 15470592 3045 33554432000 4194304 7823515 140735766336272 140735766332168 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 3777 3045 573 887 0 2887 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15108
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17381
/proc/meminfo: memFree=30248404/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=17212 CPUtime=3.09 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 13278 0 0 0 293 16 0 0 20 0 1 0 336687490 17625088 3557 33554432000 4194304 7823515 140735766336272 140735766332264 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 4303 3557 573 887 0 3413 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17212
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17381
/proc/meminfo: memFree=30245392/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=20620 CPUtime=6.28 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 16132 0 0 0 596 32 0 0 20 0 1 0 336687490 21114880 4434 33554432000 4194304 7823515 140735766336272 140735766332072 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 5155 4434 573 887 0 4265 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20620
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17381
/proc/meminfo: memFree=30234012/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=29932 CPUtime=12.69 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 21136 0 0 0 1207 62 0 0 20 0 1 0 336687490 30650368 6815 33554432000 4194304 7823515 140735766336272 140735766332200 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 7483 6815 573 887 0 6593 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29932
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17381
/proc/meminfo: memFree=30210324/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=47200 CPUtime=25.49 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 34014 0 0 0 2423 126 0 0 20 0 1 0 336687490 48332800 11225 33554432000 4194304 7823515 140735766336272 140735766331752 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 11800 11225 573 887 0 10910 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47200
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17381
/proc/meminfo: memFree=30172476/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=76884 CPUtime=51.08 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 50773 0 0 0 4852 256 0 0 20 0 1 0 336687490 78729216 18391 33554432000 4194304 7823515 140735766336272 140735766331752 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 19221 18391 573 887 0 18331 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 76884
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17381
/proc/meminfo: memFree=30121684/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=125184 CPUtime=102.28 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 96097 0 0 0 9713 515 0 0 20 0 1 0 336687490 128188416 30681 33554432000 4194304 7823515 140735766336272 140735766331976 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 31296 30681 573 887 0 30406 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 125184
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17382
/proc/meminfo: memFree=30063800/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=186160 CPUtime=162.25 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 125591 0 0 0 15413 812 0 0 20 0 1 0 336687490 190627840 45296 33554432000 4194304 7823515 140735766336272 140735766331960 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 46540 45296 573 887 0 45650 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 186160
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17382
/proc/meminfo: memFree=30001960/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=235800 CPUtime=222.24 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 144961 0 0 0 21094 1130 0 0 20 0 1 0 336687490 241459200 57950 33554432000 4194304 7823515 140735766336272 140735766331608 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 58950 57950 573 887 0 58060 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 235800
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17382
/proc/meminfo: memFree=29949668/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=284516 CPUtime=282.22 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 166487 0 0 0 26778 1444 0 0 20 0 1 0 336687490 291344384 70494 33554432000 4194304 7823515 140735766336272 140735766332168 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 71129 70494 573 887 0 70239 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 284516
[startup+342.3 s]
/proc/loadavg: 2.18 2.04 2.01 3/177 17382
/proc/meminfo: memFree=29895624/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=334684 CPUtime=342.21 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 182544 0 0 0 32459 1762 0 0 20 0 1 0 336687490 342716416 83242 33554432000 4194304 7823515 140735766336272 140735766332760 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 83671 83242 573 887 0 82781 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 334684
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/177 17382
/proc/meminfo: memFree=29857688/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=380124 CPUtime=402.21 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 197927 0 0 0 38144 2077 0 0 20 0 1 0 336687490 389246976 92780 33554432000 4194304 7823515 140735766336272 140735766332072 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 95031 92780 573 887 0 94141 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 380124
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 17383
/proc/meminfo: memFree=29799984/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=434744 CPUtime=462.19 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 211807 0 0 0 43825 2394 0 0 20 0 1 0 336687490 445177856 107171 33554432000 4194304 7823515 140735766336272 140735766333000 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 108686 107171 573 887 0 107796 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 434744
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 17383
/proc/meminfo: memFree=29779532/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=455172 CPUtime=522.19 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 226053 0 0 0 49522 2697 0 0 20 0 1 0 336687490 466096128 112360 33554432000 4194304 7823515 140735766336272 140735766332600 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 113793 112360 573 887 0 112903 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 455172
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17383
/proc/meminfo: memFree=29743824/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=489780 CPUtime=582.18 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 234809 0 0 0 55220 2998 0 0 20 0 1 0 336687490 501534720 121116 33554432000 4194304 7823515 140735766336272 140735766332072 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 122445 121116 573 887 0 121555 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 489780
[startup+642.3 s]
################
# More data... #
################
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 327522 0 0 0 100751 5458 0 0 20 0 1 0 336687490 863240192 206922 33554432000 4194304 7823515 140735766336272 140735766331976 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 210752 206922 573 887 0 209862 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 843008
[startup+1122.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17427
/proc/meminfo: memFree=29636116/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=878900 CPUtime=1122.09 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 337259 0 0 0 106451 5758 0 0 20 0 1 0 336687490 899993600 216011 33554432000 4194304 7823515 140735766336272 140735766332024 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 219725 216011 573 887 0 218835 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 878900
[startup+1182.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17427
/proc/meminfo: memFree=29596812/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=917012 CPUtime=1182.08 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 346913 0 0 0 112150 6058 0 0 20 0 1 0 336687490 939020288 225665 33554432000 4194304 7823515 140735766336272 140735766331960 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 229253 225665 573 887 0 228363 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 917012
[startup+1242.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 17430
/proc/meminfo: memFree=29556572/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=946468 CPUtime=1242.06 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 362918 0 0 0 117846 6360 0 0 20 0 1 0 336687490 969183232 233647 33554432000 4194304 7823515 140735766336272 140735766330968 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 236617 233647 573 887 0 235727 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 946468
[startup+1302.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 17453
/proc/meminfo: memFree=29527584/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=981740 CPUtime=1302.05 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 372395 0 0 0 123544 6661 0 0 20 0 1 0 336687490 1005301760 242990 33554432000 4194304 7823515 140735766336272 140735766331624 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 245435 242990 573 887 0 244545 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 981740
[startup+1362.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17454
/proc/meminfo: memFree=29498208/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=1009972 CPUtime=1362.05 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 380127 0 0 0 129232 6973 0 0 20 0 1 0 336687490 1034211328 250078 33554432000 4194304 7823515 140735766336272 140735766332072 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 252493 250078 573 887 0 251603 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1009972
[startup+1422.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17454
/proc/meminfo: memFree=29464120/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=1042776 CPUtime=1422.04 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 388999 0 0 0 134938 7266 0 0 20 0 1 0 336687490 1067802624 258306 33554432000 4194304 7823515 140735766336272 140735766331288 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 260694 258306 573 887 0 259804 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1042776
[startup+1482.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 17454
/proc/meminfo: memFree=29433716/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=1071744 CPUtime=1482.03 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 396274 0 0 0 140641 7562 0 0 20 0 1 0 336687490 1097465856 266088 33554432000 4194304 7823515 140735766336272 140735766332760 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 267936 266088 573 887 0 267046 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1071744
[startup+1542.31 s]
/proc/loadavg: 2.10 2.02 2.00 3/177 17454
/proc/meminfo: memFree=29399536/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=1104760 CPUtime=1542.02 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 404537 0 0 0 146327 7875 0 0 20 0 1 0 336687490 1131274240 274342 33554432000 4194304 7823515 140735766336272 140735766332760 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 276190 274342 573 887 0 275300 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1104760
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17454
/proc/meminfo: memFree=29358896/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=1135344 CPUtime=1602 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 412186 0 0 0 152014 8186 0 0 20 0 1 0 336687490 1162592256 281989 33554432000 4194304 7823515 140735766336272 140735766332968 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 283836 281989 573 887 0 282946 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1135344
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17455
/proc/meminfo: memFree=29326220/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=1160192 CPUtime=1661.99 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 418410 0 0 0 157710 8489 0 0 20 0 1 0 336687490 1188036608 288201 33554432000 4194304 7823515 140735766336272 140735766332072 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 290048 288201 573 887 0 289158 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1160192
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 17455
/proc/meminfo: memFree=29297340/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=1181692 CPUtime=1721.97 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 431909 0 0 0 163409 8788 0 0 20 0 1 0 336687490 1210052608 293608 33554432000 4194304 7823515 140735766336272 140735766332808 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 295423 293608 573 887 0 294533 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1181692
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17455
/proc/meminfo: memFree=29287796/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=1189044 CPUtime=1781.96 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 434391 0 0 0 169097 9099 0 0 20 0 1 0 336687490 1217581056 295446 33554432000 4194304 7823515 140735766336272 140735766334104 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 297261 295446 573 887 0 296371 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1189044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 17458
/proc/meminfo: memFree=29280716/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=1196932 CPUtime=1800.07 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 436331 0 0 0 170817 9190 0 0 20 0 1 0 336687490 1225658368 297386 33554432000 4194304 7823515 140735766336272 140735766331960 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 299233 297386 573 887 0 298343 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1196932
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17380
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17459
/proc/meminfo: memFree=29280716/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=1196932 CPUtime=1801.16 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 436333 0 0 0 170926 9190 0 0 20 0 1 0 336687490 1225658368 297388 33554432000 4194304 7823515 140735766336272 140735766331784 5875729 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 299233 297388 575 887 0 298343 0
Current children cumulated CPU time (s) 1801.16
Current children cumulated vsize (KiB) 1196932
[startup+1801.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17459
/proc/meminfo: memFree=29280212/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=1196932 CPUtime=1801.57 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 436333 0 0 0 170967 9190 0 0 20 0 1 0 336687490 1225658368 297388 33554432000 4194304 7823515 140735766336272 140735766331784 5875265 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 299233 297388 575 887 0 298343 0
Current children cumulated CPU time (s) 1801.57
Current children cumulated vsize (KiB) 1196932
[startup+1802.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17459
/proc/meminfo: memFree=29280212/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=1196932 CPUtime=1801.96 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 436333 0 0 0 171006 9190 0 0 20 0 1 0 336687490 1225658368 297388 33554432000 4194304 7823515 140735766336272 140735766331784 5875119 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 299233 297388 575 887 0 298343 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 1196932
[startup+1802.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17459
/proc/meminfo: memFree=29280212/32873648 swapFree=6860/6860
[pid=17380] ppid=17378 vsize=1196932 CPUtime=1802.06 cores=1,3,5,7
/proc/17380/stat : 17380 (pbscip.linux.x8) R 17378 17380 4790 0 -1 4202496 436333 0 0 0 171016 9190 0 0 20 0 1 0 336687490 1225658368 297388 33554432000 4194304 7823515 140735766336272 140735766331784 5875162 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 299233 297388 575 887 0 298343 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 1196932
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.41
CPU time (s): 1802.09
CPU user time (s): 1710.17
CPU system time (s): 91.911
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 1196932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.18
system time used= 91.911
maximum resident set size= 1189552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 436333
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= 96
involuntary context switches= 1959
runsolver used 3.05653 second user time and 8.84266 second system time
The end