0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869554-1245178365.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 7 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/165 (61.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 7 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 165 variables (165 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c OPT-LIN
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = c 1620
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = c 1791
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = c 10000
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving problem
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 124 | 541k| 0 | 7 | 165 | 7 | 7 | 165 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 277 | 642k| 0 | 12 | 165 | 7 | 7 | 165 | 14 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 283 | 704k| 0 | 12 | 165 | 7 | 7 | 165 | 16 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.07/0.08 c 0.1s| 1 | 0 | 290 | 776k| 0 | 13 | 165 | 7 | 7 | 165 | 21 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 295 | 810k| 0 | 16 | 165 | 7 | 7 | 165 | 24 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 309 | 831k| 0 | 17 | 165 | 7 | 7 | 165 | 27 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 316 | 839k| 0 | 19 | 165 | 7 | 7 | 165 | 29 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 2 | 316 | 840k| 0 | 19 | 165 | 7 | 7 | 165 | 29 | 22 | 0 | 19 | 0.000000e+00 | -- | Inf
0.39/0.49 o 951
0.39/0.49 c f 0.5s| 64 | 65 | 784 | 936k| 39 | - | 165 | 7 | 2 | 165 | 22 | 22 | 2 | 334 | 0.000000e+00 | 9.510000e+02 | Inf
0.69/0.71 o 226
0.69/0.71 c c 0.7s| 232 | 206 | 1905 | 999k| 45 | - | 165 | 9 | 4 | 165 | 22 | 22 | 4 | 557 | 0.000000e+00 | 2.260000e+02 | Inf
0.79/0.83 o 222
0.79/0.83 c g 0.8s| 352 | 323 | 2505 |1057k| 45 | - | 165 | 9 | 0 | 165 | 22 | 22 | 7 | 626 | 0.000000e+00 | 2.220000e+02 | Inf
0.89/0.92 o 220
0.89/0.92 c * 0.9s| 466 | 431 | 3452 |1107k| 45 | - | 165 | 11 | 2 | 165 | 22 | 22 | 10 | 643 | 0.000000e+00 | 2.200000e+02 | Inf
0.89/0.93 o 219
0.89/0.93 c * 0.9s| 480 | 443 | 3501 |1119k| 45 | - | 165 | 11 | 2 | 165 | 22 | 22 | 10 | 643 | 0.000000e+00 | 2.190000e+02 | Inf
1.59/1.68 o 218
1.59/1.68 c * 1.6s| 1325 | 1275 | 9382 |1483k| 50 | - | 165 | 11 | 3 | 165 | 22 | 22 | 40 | 701 | 0.000000e+00 | 2.180000e+02 | Inf
1.79/1.83 o 125
1.79/1.83 c g 1.7s| 1496 | 1392 | 10475 |1531k| 50 | - | 165 | 11 | 3 | 165 | 22 | 22 | 48 | 715 | 0.000000e+00 | 1.250000e+02 | Inf
3.09/3.15 o 123
3.09/3.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.15 c l 3.0s| 3023 | 2876 | 20522 |2187k| 50 | - | 165 | 11 | 0 | 165 | 22 | 22 | 119 | 809 | 0.000000e+00 | 1.230000e+02 | Inf
3.79/3.84 o 79
3.79/3.84 c g 3.6s| 3802 | 3511 | 25687 |2436k| 50 | - | 165 | 11 | 1 | 165 | 22 | 22 | 154 | 821 | 0.000000e+00 | 7.900000e+01 | Inf
7.99/8.07 o 78
7.99/8.07 c * 7.6s| 7682 | 7155 | 56635 |4098k| 50 | - | 165 | 9 | 0 | 165 | 22 | 22 | 374 | 884 | 0.000000e+00 | 7.800000e+01 | Inf
7.99/8.08 o 76
7.99/8.08 c * 7.6s| 7683 | 7147 | 56637 |4096k| 50 | - | 165 | 9 | 0 | 165 | 22 | 22 | 374 | 884 | 0.000000e+00 | 7.600000e+01 | Inf
9.69/9.79 c 9.2s| 10000 | 9273 | 69404 |5167k| 50 | 7 | 165 | 11 | 9 | 165 | 22 | 22 | 432 |1006 | 0.000000e+00 | 7.600000e+01 | Inf
11.29/11.34 o 75
11.29/11.34 c *10.7s| 12102 | 11118 | 81202 |6137k| 50 | - | 165 | 13 | 2 | 165 | 22 | 22 | 511 |1115 | 0.000000e+00 | 7.500000e+01 | Inf
11.29/11.34 o 73
11.29/11.34 c *10.7s| 12103 | 11090 | 81206 |6116k| 50 | - | 165 | 13 | 2 | 165 | 22 | 22 | 511 |1115 | 0.000000e+00 | 7.300000e+01 | Inf
15.79/15.88 o 71
15.79/15.88 c *14.9s| 16262 | 14449 |105576 |8070k| 50 | - | 165 | 13 | 1 | 165 | 22 | 22 | 714 |1409 | 0.000000e+00 | 7.100000e+01 | Inf
16.78/16.83 o 70
16.78/16.83 c *15.8s| 17589 | 15549 |112980 |8705k| 50 | - | 165 | 11 | 0 | 165 | 22 | 22 | 766 |1495 | 0.000000e+00 | 7.000000e+01 | Inf
17.49/17.53 o 69
17.49/17.53 c *16.4s| 18533 | 16298 |118385 |9128k| 50 | - | 165 | 11 | 1 | 165 | 22 | 22 | 796 |1540 | 0.000000e+00 | 6.900000e+01 | Inf
17.49/17.53 o 67
17.49/17.53 c *16.4s| 18534 | 16251 |118390 |9074k| 50 | - | 165 | 11 | 1 | 165 | 22 | 22 | 796 |1540 | 0.000000e+00 | 6.700000e+01 | Inf
18.08/18.14 o 66
18.08/18.14 c v17.0s| 19344 | 16889 |123116 |9449k| 50 | - | 165 | 13 | 0 | 165 | 22 | 22 | 829 |1602 | 0.000000e+00 | 6.600000e+01 | Inf
18.69/18.74 c 17.6s| 20000 | 17421 |127844 |9773k| 50 | 7 | 165 | 13 | 11 | 165 | 22 | 22 | 854 |1628 | 0.000000e+00 | 6.600000e+01 | Inf
19.29/19.32 o 64
19.29/19.32 c *18.1s| 20677 | 17805 |132354 |9963k| 50 | - | 165 | 12 | 1 | 165 | 22 | 22 | 886 |1673 | 0.000000e+00 | 6.400000e+01 | Inf
23.99/24.00 o 62
23.99/24.00 c l22.5s| 27065 | 22841 |169593 | 12M| 50 | - | 165 | 11 | 0 | 165 | 22 | 22 |1168 |2034 | 0.000000e+00 | 6.200000e+01 | Inf
24.58/24.66 o 61
24.58/24.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.58/24.66 c l23.1s| 27864 | 23397 |174872 | 13M| 50 | - | 165 | 11 | 0 | 165 | 22 | 22 |1209 |2057 | 0.000000e+00 | 6.100000e+01 | Inf
26.59/26.63 c 25.0s| 30000 | 25079 |189052 | 14M| 50 | 7 | 165 | 12 | 8 | 165 | 22 | 22 |1317 |2152 | 0.000000e+00 | 6.100000e+01 | Inf
29.68/29.74 o 59
29.68/29.74 c *27.9s| 34263 | 28198 |213949 | 15M| 50 | - | 165 | 15 | 0 | 165 | 22 | 22 |1506 |2351 | 0.000000e+00 | 5.900000e+01 | Inf
29.68/29.74 o 57
29.68/29.74 c *27.9s| 34264 | 28008 |213951 | 15M| 50 | - | 165 | 15 | 0 | 165 | 22 | 22 |1506 |2351 | 0.000000e+00 | 5.700000e+01 | Inf
31.19/31.23 o 55
31.19/31.23 c *29.3s| 36360 | 29313 |225701 | 16M| 50 | - | 165 | 14 | 0 | 165 | 22 | 22 |1606 |2426 | 0.000000e+00 | 5.500000e+01 | Inf
34.78/34.88 c 32.7s| 40000 | 31926 |246232 | 17M| 51 | 7 | 165 | 15 | 8 | 165 | 22 | 22 |1786 |2572 | 0.000000e+00 | 5.500000e+01 | Inf
41.69/41.76 c 39.1s| 50000 | 39015 |301005 | 22M| 51 | - | 165 | 12 | 7 | 165 | 22 | 22 |2263 |2940 | 0.000000e+00 | 5.500000e+01 | Inf
48.68/48.76 c 45.7s| 60000 | 45666 |357045 | 26M| 51 | 7 | 165 | 12 | 7 | 165 | 22 | 22 |2757 |3239 | 0.000000e+00 | 5.500000e+01 | Inf
50.37/50.47 o 52
50.37/50.47 c g47.3s| 62434 | 46768 |371188 | 27M| 51 | - | 165 | 11 | 0 | 165 | 22 | 22 |2874 |3341 | 0.000000e+00 | 5.200000e+01 | Inf
55.87/55.99 c 52.5s| 70000 | 51296 |415539 | 30M| 51 | 7 | 165 | 14 | 7 | 165 | 22 | 22 |3313 |3553 | 0.000000e+00 | 5.200000e+01 | Inf
58.08/58.13 o 34
58.08/58.13 c c54.5s| 73131 | 47096 |433244 | 25M| 51 | - | 165 | 17 | 1 | 165 | 22 | 22 |3476 |3644 | 0.000000e+00 | 3.400000e+01 | Inf
62.87/62.94 c 59.1s| 80000 | 50500 |471134 | 28M| 51 | 7 | 165 | 19 | 8 | 165 | 22 | 22 |3870 |3816 | 0.000000e+00 | 3.400000e+01 | Inf
69.57/69.61 c 65.3s| 90000 | 55735 |523757 | 32M| 51 | - | 165 | 15 | 8 | 0 | 0 | 22 |4334 |4045 | 0.000000e+00 | 3.400000e+01 | Inf
76.07/76.12 c 71.5s|100000 | 60723 |574816 | 35M| 51 | 7 | 165 | 16 | 7 | 165 | 22 | 22 |4857 |4235 | 0.000000e+00 | 3.400000e+01 | Inf
78.76/78.82 o 32
78.76/78.82 c *74.0s|104060 | 56804 |596117 | 32M| 51 | - | 165 | 22 | 0 | 165 | 22 | 22 |5080 |4343 | 0.000000e+00 | 3.200000e+01 | Inf
81.27/81.36 o 30
81.27/81.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.27/81.36 c f76.3s|105005 | 56568 |600907 | 32M| 51 | - | 165 | 21 | 0 | 165 | 22 | 22 |5132 |4390 | 0.000000e+00 | 3.000000e+01 | Inf
84.57/84.68 c 79.4s|110000 | 59136 |626647 | 33M| 51 | 7 | 165 | 20 | 8 | 165 | 22 | 22 |5450 |4489 | 0.000000e+00 | 3.000000e+01 | Inf
91.17/91.29 c 85.6s|120000 | 64287 |679051 | 37M| 51 | 7 | 165 | 18 | 9 | 165 | 22 | 22 |6049 |4743 | 0.000000e+00 | 3.000000e+01 | Inf
97.77/97.81 c 91.7s|130000 | 69490 |731937 | 40M| 51 | 7 | 165 | 22 | 7 | 165 | 22 | 22 |6541 |4950 | 0.000000e+00 | 3.000000e+01 | Inf
103.86/103.96 c 97.5s|140000 | 74126 |782743 | 43M| 51 | 7 | 165 | 22 | 9 | 165 | 22 | 22 |7003 |5156 | 0.000000e+00 | 3.000000e+01 | Inf
109.96/110.04 c 103s|150000 | 78454 |833062 | 46M| 54 | 7 | 165 | 22 | 8 | 165 | 22 | 22 |7509 |5331 | 0.000000e+00 | 3.000000e+01 | Inf
115.96/116.01 c 109s|160000 | 82434 |883360 | 49M| 54 | 7 | 165 | 20 | 9 | 165 | 22 | 22 |7957 |5513 | 0.000000e+00 | 3.000000e+01 | Inf
121.96/122.04 c 115s|170000 | 86607 |934027 | 52M| 54 | 7 | 165 | 16 | 7 | 165 | 22 | 22 |8436 |5681 | 0.000000e+00 | 3.000000e+01 | Inf
128.26/128.31 c 120s|180000 | 91161 |987392 | 55M| 54 | 7 | 165 | 23 | 7 | 165 | 22 | 22 |8877 |5848 | 0.000000e+00 | 3.000000e+01 | Inf
134.16/134.29 c 126s|190000 | 95464 | 1037k| 58M| 54 | 7 | 165 | 21 | 7 | 165 | 22 | 22 |9295 |6011 | 0.000000e+00 | 3.000000e+01 | Inf
136.05/136.10 o 29
136.05/136.10 c * 128s|193086 | 96186 | 1052k| 58M| 54 | - | 165 | 22 | 0 | 165 | 22 | 22 |9431 |6061 | 0.000000e+00 | 2.900000e+01 | Inf
136.05/136.11 o 27
136.05/136.11 c * 128s|193087 | 95093 | 1052k| 56M| 54 | - | 165 | 22 | 0 | 165 | 22 | 22 |9431 |6061 | 0.000000e+00 | 2.700000e+01 | Inf
140.05/140.16 c 132s|200000 | 97590 | 1086k| 58M| 54 | - | 165 | 20 | 7 | 165 | 22 | 22 |9694 |6180 | 0.000000e+00 | 2.700000e+01 | Inf
145.75/145.88 c 137s|210000 |100959 | 1134k| 60M| 54 | 7 | 165 | 17 | 7 | 165 | 22 | 22 | 10k|6327 | 0.000000e+00 | 2.700000e+01 | Inf
146.85/146.97 o 26
146.85/146.97 c * 138s|211688 |101083 | 1143k| 60M| 55 | - | 165 | 17 | 0 | 165 | 22 | 22 | 10k|6369 | 0.000000e+00 | 2.600000e+01 | Inf
146.85/146.98 o 24
146.85/146.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.85/146.98 c * 138s|211690 | 99526 | 1143k| 58M| 56 | - | 165 | 17 | 0 | 165 | 22 | 22 | 10k|6370 | 0.000000e+00 | 2.400000e+01 | Inf
146.95/147.00 o 22
146.95/147.00 c * 138s|211695 | 97794 | 1143k| 56M| 59 | - | 165 | 17 | 0 | 165 | 22 | 22 | 10k|6383 | 0.000000e+00 | 2.200000e+01 | Inf
151.84/151.97 c 143s|220000 |101099 | 1183k| 58M| 59 | - | 165 | 23 | 7 | 165 | 22 | 22 | 10k|6510 | 0.000000e+00 | 2.200000e+01 | Inf
157.35/157.48 c 148s|230000 |104436 | 1227k| 61M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 10k|6670 | 0.000000e+00 | 2.200000e+01 | Inf
162.84/162.90 c 153s|240000 |107365 | 1272k| 63M| 59 | - | 165 | 16 | 7 | 0 | 0 | 22 | 11k|6830 | 0.000000e+00 | 2.200000e+01 | Inf
168.15/168.27 c 158s|250000 |110213 | 1318k| 65M| 59 | 7 | 165 | 21 | 7 | 165 | 22 | 22 | 11k|6991 | 0.000000e+00 | 2.200000e+01 | Inf
173.54/173.67 c 163s|260000 |113078 | 1363k| 67M| 59 | - | 165 | 20 | 7 | 165 | 22 | 22 | 11k|7129 | 0.000000e+00 | 2.200000e+01 | Inf
179.64/179.78 c 169s|270000 |117372 | 1413k| 69M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 12k|7278 | 0.000000e+00 | 2.200000e+01 | Inf
185.64/185.74 c 174s|280000 |121186 | 1461k| 72M| 59 | 7 | 165 | 22 | 9 | 165 | 22 | 22 | 12k|7418 | 0.000000e+00 | 2.200000e+01 | Inf
191.73/191.80 c 180s|290000 |125399 | 1510k| 74M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 12k|7554 | 0.000000e+00 | 2.200000e+01 | Inf
194.24/194.33 o 20
194.24/194.33 c * 183s|294520 |124861 | 1530k| 73M| 59 | - | 165 | 15 | 0 | 165 | 22 | 22 | 12k|7600 | 0.000000e+00 | 2.000000e+01 | Inf
197.13/197.25 c 185s|300000 |126587 | 1553k| 74M| 59 | - | 165 | 15 | 7 | 0 | 0 | 22 | 13k|7685 | 0.000000e+00 | 2.000000e+01 | Inf
202.73/202.85 c 191s|310000 |130454 | 1599k| 76M| 59 | 7 | 165 | 21 | 7 | 165 | 22 | 22 | 13k|7806 | 0.000000e+00 | 2.000000e+01 | Inf
210.23/210.38 c 198s|320000 |133640 | 1644k| 78M| 59 | 7 | 165 | 17 | 7 | 165 | 22 | 22 | 13k|7959 | 0.000000e+00 | 2.000000e+01 | Inf
215.54/215.69 c 203s|330000 |136331 | 1688k| 80M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 14k|8101 | 0.000000e+00 | 2.000000e+01 | Inf
220.73/220.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.73/220.83 c 207s|340000 |138808 | 1730k| 82M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 14k|8237 | 0.000000e+00 | 2.000000e+01 | Inf
226.02/226.13 c 212s|350000 |141336 | 1774k| 84M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 14k|8359 | 0.000000e+00 | 2.000000e+01 | Inf
231.12/231.20 c 217s|360000 |143603 | 1817k| 86M| 59 | 7 | 165 | 21 | 8 | 165 | 22 | 22 | 15k|8499 | 0.000000e+00 | 2.000000e+01 | Inf
236.03/236.17 c 222s|370000 |145601 | 1859k| 88M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 15k|8645 | 0.000000e+00 | 2.000000e+01 | Inf
239.73/239.89 o 19
239.73/239.89 c * 225s|377295 |146138 | 1890k| 87M| 59 | - | 165 | 15 | 0 | 165 | 22 | 22 | 15k|8725 | 0.000000e+00 | 1.900000e+01 | Inf
242.32/242.43 o 18
242.32/242.43 c C 228s|378695 |145102 | 1896k| 86M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 15k|8746 | 0.000000e+00 | 1.800000e+01 | Inf
244.42/244.51 c 229s|380000 |145365 | 1902k| 86M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 15k|8759 | 0.000000e+00 | 1.800000e+01 | Inf
249.52/249.60 c 234s|390000 |147548 | 1943k| 88M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 15k|8892 | 0.000000e+00 | 1.800000e+01 | Inf
254.42/254.57 c 239s|400000 |149334 | 1985k| 89M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 16k|9041 | 0.000000e+00 | 1.800000e+01 | Inf
259.62/259.74 c 244s|410000 |152002 | 2027k| 91M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 16k|9158 | 0.000000e+00 | 1.800000e+01 | Inf
264.61/264.79 c 248s|420000 |154018 | 2069k| 93M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 16k|9275 | 0.000000e+00 | 1.800000e+01 | Inf
269.81/269.98 c 253s|430000 |156180 | 2112k| 95M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 16k|9405 | 0.000000e+00 | 1.800000e+01 | Inf
274.91/275.00 c 258s|440000 |158409 | 2154k| 97M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 17k|9544 | 0.000000e+00 | 1.800000e+01 | Inf
279.81/280.00 c 263s|450000 |160391 | 2196k| 98M| 59 | 7 | 165 | 17 | 7 | 165 | 22 | 22 | 17k|9676 | 0.000000e+00 | 1.800000e+01 | Inf
284.81/284.90 c 267s|460000 |161984 | 2236k| 100M| 59 | - | 165 | 14 | 9 | 0 | 0 | 22 | 17k|9791 | 0.000000e+00 | 1.800000e+01 | Inf
289.71/289.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
289.71/289.85 c 272s|470000 |163433 | 2277k| 101M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 17k|9898 | 0.000000e+00 | 1.800000e+01 | Inf
294.61/294.75 c 277s|480000 |164734 | 2319k| 102M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 18k| 10k| 0.000000e+00 | 1.800000e+01 | Inf
299.51/299.62 c 281s|490000 |166269 | 2359k| 104M| 59 | 7 | 165 | 17 | 7 | 165 | 22 | 22 | 18k| 10k| 0.000000e+00 | 1.800000e+01 | Inf
304.31/304.48 c 286s|500000 |167709 | 2400k| 105M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 18k| 10k| 0.000000e+00 | 1.800000e+01 | Inf
309.60/309.80 c 291s|510000 |170530 | 2443k| 107M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 18k| 10k| 0.000000e+00 | 1.800000e+01 | Inf
314.80/314.93 c 296s|520000 |172927 | 2485k| 108M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 19k| 10k| 0.000000e+00 | 1.800000e+01 | Inf
319.70/319.88 c 300s|530000 |174829 | 2527k| 110M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 19k| 10k| 0.000000e+00 | 1.800000e+01 | Inf
324.70/324.87 c 305s|540000 |176607 | 2568k| 112M| 59 | - | 165 | 14 | 7 | 0 | 0 | 22 | 19k| 10k| 0.000000e+00 | 1.800000e+01 | Inf
329.60/329.73 c 310s|550000 |178015 | 2608k| 113M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 20k| 10k| 0.000000e+00 | 1.800000e+01 | Inf
334.49/334.61 c 314s|560000 |179734 | 2648k| 114M| 59 | - | 165 | 14 | 7 | 0 | 0 | 22 | 20k| 10k| 0.000000e+00 | 1.800000e+01 | Inf
339.30/339.44 c 319s|570000 |181143 | 2688k| 116M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 20k| 11k| 0.000000e+00 | 1.800000e+01 | Inf
344.09/344.30 c 323s|580000 |182395 | 2728k| 117M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 20k| 11k| 0.000000e+00 | 1.800000e+01 | Inf
349.78/349.94 c 329s|590000 |185398 | 2773k| 119M| 59 | - | 165 | 18 | 7 | 0 | 0 | 22 | 21k| 11k| 0.000000e+00 | 1.800000e+01 | Inf
355.19/355.36 c 334s|600000 |188679 | 2817k| 121M| 59 | - | 165 | 14 | 11 | 0 | 0 | 22 | 21k| 11k| 0.000000e+00 | 1.800000e+01 | Inf
360.49/360.69 c 339s|610000 |191597 | 2861k| 123M| 59 | - | 165 | 15 | 8 | 165 | 22 | 22 | 21k| 11k| 0.000000e+00 | 1.800000e+01 | Inf
365.68/365.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.68/365.85 c 344s|620000 |194083 | 2903k| 124M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 21k| 11k| 0.000000e+00 | 1.800000e+01 | Inf
371.09/371.22 c 349s|630000 |197091 | 2947k| 126M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 22k| 11k| 0.000000e+00 | 1.800000e+01 | Inf
376.28/376.43 c 353s|640000 |199789 | 2990k| 128M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 22k| 11k| 0.000000e+00 | 1.800000e+01 | Inf
381.49/381.63 c 358s|650000 |202557 | 3033k| 130M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 22k| 11k| 0.000000e+00 | 1.800000e+01 | Inf
386.68/386.89 c 363s|660000 |205231 | 3076k| 132M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 23k| 12k| 0.000000e+00 | 1.800000e+01 | Inf
392.27/392.44 c 369s|670000 |208736 | 3121k| 134M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 23k| 12k| 0.000000e+00 | 1.800000e+01 | Inf
397.58/397.74 c 374s|680000 |211792 | 3164k| 137M| 59 | 7 | 165 | 17 | 7 | 165 | 22 | 22 | 23k| 12k| 0.000000e+00 | 1.800000e+01 | Inf
402.97/403.19 c 379s|690000 |215076 | 3209k| 139M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 24k| 12k| 0.000000e+00 | 1.800000e+01 | Inf
408.17/408.32 c 384s|700000 |217499 | 3251k| 140M| 59 | - | 165 | 16 | 7 | 165 | 22 | 22 | 24k| 12k| 0.000000e+00 | 1.800000e+01 | Inf
413.27/413.44 c 388s|710000 |219963 | 3293k| 142M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 24k| 12k| 0.000000e+00 | 1.800000e+01 | Inf
418.27/418.43 c 393s|720000 |222345 | 3334k| 144M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 24k| 12k| 0.000000e+00 | 1.800000e+01 | Inf
423.37/423.53 c 398s|730000 |224784 | 3377k| 146M| 59 | 7 | 165 | 18 | 8 | 165 | 22 | 22 | 25k| 12k| 0.000000e+00 | 1.800000e+01 | Inf
428.37/428.56 c 402s|740000 |227002 | 3419k| 147M| 59 | - | 165 | 14 | 7 | 0 | 0 | 22 | 25k| 12k| 0.000000e+00 | 1.800000e+01 | Inf
433.27/433.48 c 407s|750000 |228925 | 3459k| 149M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 25k| 12k| 0.000000e+00 | 1.800000e+01 | Inf
438.36/438.59 c 412s|760000 |231436 | 3502k| 150M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 25k| 12k| 0.000000e+00 | 1.800000e+01 | Inf
443.66/443.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.66/443.81 c 417s|770000 |233943 | 3545k| 152M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 26k| 13k| 0.000000e+00 | 1.800000e+01 | Inf
448.75/448.91 c 422s|780000 |235916 | 3588k| 154M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 26k| 13k| 0.000000e+00 | 1.800000e+01 | Inf
453.76/453.93 c 426s|790000 |237805 | 3631k| 156M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 26k| 13k| 0.000000e+00 | 1.800000e+01 | Inf
459.16/459.36 c 431s|800000 |240966 | 3675k| 158M| 59 | 7 | 165 | 15 | 8 | 165 | 22 | 22 | 26k| 13k| 0.000000e+00 | 1.800000e+01 | Inf
464.46/464.66 c 436s|810000 |243656 | 3718k| 160M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 27k| 13k| 0.000000e+00 | 1.800000e+01 | Inf
469.75/469.91 c 441s|820000 |246509 | 3761k| 161M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 27k| 13k| 0.000000e+00 | 1.800000e+01 | Inf
474.96/475.13 c 446s|830000 |249400 | 3804k| 163M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 27k| 13k| 0.000000e+00 | 1.800000e+01 | Inf
479.95/480.15 c 451s|840000 |251539 | 3847k| 165M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 27k| 13k| 0.000000e+00 | 1.800000e+01 | Inf
485.65/485.81 c 456s|850000 |255280 | 3892k| 167M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 28k| 13k| 0.000000e+00 | 1.800000e+01 | Inf
490.95/491.19 c 461s|860000 |258522 | 3937k| 169M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 28k| 13k| 0.000000e+00 | 1.800000e+01 | Inf
496.24/496.47 c 466s|870000 |261475 | 3981k| 171M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 28k| 13k| 0.000000e+00 | 1.800000e+01 | Inf
501.94/502.19 c 472s|880000 |265317 | 4027k| 174M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 28k| 14k| 0.000000e+00 | 1.800000e+01 | Inf
508.04/508.21 c 477s|890000 |269628 | 4075k| 176M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 29k| 14k| 0.000000e+00 | 1.800000e+01 | Inf
513.33/513.57 c 482s|900000 |272896 | 4119k| 179M| 59 | - | 165 | 14 | 8 | 0 | 0 | 22 | 29k| 14k| 0.000000e+00 | 1.800000e+01 | Inf
518.84/519.07 c 488s|910000 |276464 | 4165k| 181M| 59 | - | 165 | 16 | 8 | 0 | 0 | 22 | 29k| 14k| 0.000000e+00 | 1.800000e+01 | Inf
524.13/524.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.13/524.33 c 493s|920000 |279460 | 4209k| 183M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 30k| 14k| 0.000000e+00 | 1.800000e+01 | Inf
529.33/529.53 c 497s|930000 |282196 | 4253k| 185M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 30k| 14k| 0.000000e+00 | 1.800000e+01 | Inf
534.33/534.59 c 502s|940000 |284773 | 4296k| 187M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 30k| 14k| 0.000000e+00 | 1.800000e+01 | Inf
539.43/539.62 c 507s|950000 |287211 | 4339k| 189M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 31k| 14k| 0.000000e+00 | 1.800000e+01 | Inf
544.33/544.57 c 512s|960000 |289215 | 4380k| 190M| 59 | 7 | 165 | 17 | 7 | 165 | 22 | 22 | 31k| 14k| 0.000000e+00 | 1.800000e+01 | Inf
550.03/550.24 c 517s|970000 |292848 | 4428k| 193M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 31k| 14k| 0.000000e+00 | 1.800000e+01 | Inf
555.32/555.51 c 522s|980000 |296076 | 4472k| 195M| 59 | - | 165 | 14 | 7 | 0 | 0 | 22 | 31k| 14k| 0.000000e+00 | 1.800000e+01 | Inf
560.42/560.67 c 527s|990000 |299003 | 4516k| 197M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 32k| 14k| 0.000000e+00 | 1.800000e+01 | Inf
566.12/566.30 c 532s| 1000k|302516 | 4562k| 199M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 32k| 15k| 0.000000e+00 | 1.800000e+01 | Inf
571.62/571.87 c 537s| 1010k|306273 | 4609k| 202M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 32k| 15k| 0.000000e+00 | 1.800000e+01 | Inf
576.91/577.15 c 542s| 1020k|309155 | 4655k| 204M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 32k| 15k| 0.000000e+00 | 1.800000e+01 | Inf
582.52/582.79 c 547s| 1030k|312978 | 4701k| 206M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 33k| 15k| 0.000000e+00 | 1.800000e+01 | Inf
587.91/588.11 c 552s| 1040k|315913 | 4745k| 208M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 33k| 15k| 0.000000e+00 | 1.800000e+01 | Inf
591.32/591.50 o 17
591.32/591.50 c * 556s| 1046k|315652 | 4774k| 207M| 59 | - | 165 | 14 | 0 | 165 | 22 | 22 | 33k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
596.61/596.81 c 560s| 1050k|316452 | 4789k| 207M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 33k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
603.71/603.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
603.71/603.90 c 567s| 1060k|318734 | 4832k| 209M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 34k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
608.71/608.94 c 572s| 1070k|320916 | 4874k| 211M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 34k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
613.80/614.05 c 577s| 1080k|323320 | 4918k| 213M| 59 | 7 | 165 | 18 | 10 | 165 | 22 | 22 | 34k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
619.01/619.26 c 582s| 1090k|325829 | 4963k| 214M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 34k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
624.00/624.20 c 586s| 1100k|327572 | 5006k| 216M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 35k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
629.10/629.33 c 591s| 1110k|330018 | 5049k| 218M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 35k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
634.20/634.41 c 596s| 1120k|332322 | 5092k| 220M| 59 | - | 165 | 16 | 7 | 165 | 22 | 22 | 35k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
639.20/639.46 c 600s| 1130k|334955 | 5135k| 222M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 35k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
644.30/644.59 c 605s| 1140k|337401 | 5178k| 223M| 59 | 7 | 165 | 19 | 9 | 165 | 22 | 22 | 36k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
649.39/649.63 c 610s| 1150k|339492 | 5221k| 225M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 36k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
654.30/654.59 c 615s| 1160k|341569 | 5263k| 227M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 36k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
659.29/659.53 c 619s| 1170k|343496 | 5306k| 228M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 36k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
664.30/664.53 c 624s| 1180k|345332 | 5348k| 230M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 37k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
669.19/669.45 c 629s| 1190k|347011 | 5390k| 232M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 37k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
674.39/674.61 c 634s| 1200k|349530 | 5433k| 233M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 37k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
679.39/679.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.39/679.61 c 638s| 1210k|352236 | 5475k| 235M| 59 | - | 165 | 14 | 8 | 0 | 0 | 22 | 37k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
684.39/684.63 c 643s| 1220k|354445 | 5517k| 237M| 59 | - | 165 | 20 | 7 | 165 | 22 | 22 | 38k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
689.28/689.59 c 648s| 1230k|356344 | 5559k| 239M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 38k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
694.28/694.52 c 652s| 1240k|358662 | 5601k| 240M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 38k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
699.18/699.42 c 657s| 1250k|360536 | 5643k| 242M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 38k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
704.08/704.39 c 662s| 1260k|362205 | 5686k| 244M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 39k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
708.98/709.29 c 666s| 1270k|363740 | 5727k| 245M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 39k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
713.87/714.15 c 671s| 1280k|365364 | 5768k| 247M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 39k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
718.78/719.08 c 675s| 1290k|367365 | 5809k| 248M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 39k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
723.67/723.98 c 680s| 1300k|369019 | 5851k| 250M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 40k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
728.68/728.99 c 685s| 1310k|370731 | 5893k| 251M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 40k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
733.67/733.91 c 689s| 1320k|372586 | 5934k| 253M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 40k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
738.88/739.17 c 694s| 1330k|375329 | 5979k| 255M| 59 | 7 | 165 | 15 | 8 | 165 | 22 | 22 | 40k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
743.97/744.24 c 699s| 1340k|377568 | 6022k| 256M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 41k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
748.97/749.29 c 704s| 1350k|379717 | 6064k| 258M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 41k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
753.86/754.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.86/754.16 c 708s| 1360k|381469 | 6107k| 260M| 59 | - | 165 | 17 | 8 | 0 | 0 | 22 | 41k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
758.76/759.03 c 713s| 1370k|383222 | 6147k| 261M| 59 | - | 165 | 14 | 7 | 0 | 0 | 22 | 41k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
763.77/764.00 c 718s| 1380k|385130 | 6190k| 263M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 42k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
768.66/768.94 c 722s| 1390k|386626 | 6232k| 264M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 42k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
773.66/773.99 c 727s| 1400k|388733 | 6276k| 266M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 42k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
778.86/779.11 c 732s| 1410k|391365 | 6320k| 268M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 43k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
783.85/784.16 c 737s| 1420k|393729 | 6362k| 270M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 43k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
788.76/789.09 c 741s| 1430k|395517 | 6404k| 271M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 43k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
793.75/794.06 c 746s| 1440k|397572 | 6447k| 273M| 59 | - | 165 | 19 | 11 | 165 | 22 | 22 | 43k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
798.75/799.09 c 751s| 1450k|399780 | 6489k| 275M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 44k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
805.75/806.07 c 757s| 1460k|401331 | 6531k| 276M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 44k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
810.65/810.92 c 762s| 1470k|403118 | 6572k| 278M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 44k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
815.54/815.81 c 766s| 1480k|405178 | 6614k| 280M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 45k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
820.35/820.68 c 771s| 1490k|406562 | 6655k| 281M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 45k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
824.75/825.00 o 16
824.75/825.00 c * 775s| 1498k|401883 | 6691k| 275M| 59 | - | 165 | 15 | 0 | 165 | 22 | 22 | 45k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
825.34/825.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.34/825.68 c 776s| 1500k|402216 | 6697k| 276M| 59 | - | 165 | 13 | 7 | 165 | 22 | 22 | 45k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
830.34/830.68 c 780s| 1510k|403561 | 6742k| 277M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 45k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
835.34/835.68 c 785s| 1520k|405310 | 6787k| 278M| 59 | - | 165 | 12 | 7 | 0 | 0 | 22 | 46k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
840.34/840.60 c 789s| 1530k|406783 | 6832k| 279M| 59 | 7 | 165 | 16 | 8 | 165 | 22 | 22 | 46k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
845.34/845.60 c 794s| 1540k|408361 | 6878k| 280M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 46k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
851.94/852.27 c 800s| 1550k|409669 | 6923k| 282M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 47k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
856.84/857.10 c 805s| 1560k|411139 | 6968k| 283M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 47k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
861.64/861.98 c 810s| 1570k|412593 | 7012k| 284M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 47k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
866.64/866.91 c 814s| 1580k|414218 | 7058k| 285M| 59 | - | 165 | 17 | 7 | 165 | 22 | 22 | 47k| 19k| 0.000000e+00 | 1.600000e+01 | Inf
871.53/871.80 c 819s| 1590k|415964 | 7102k| 287M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 48k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
876.34/876.62 c 823s| 1600k|417144 | 7146k| 288M| 59 | - | 165 | 13 | 7 | 0 | 0 | 22 | 48k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
881.33/881.62 c 828s| 1610k|419161 | 7191k| 289M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 48k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
886.33/886.65 c 833s| 1620k|421261 | 7236k| 291M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 49k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
891.23/891.53 c 837s| 1630k|422660 | 7281k| 292M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 49k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
896.02/896.40 c 842s| 1640k|424140 | 7327k| 293M| 59 | - | 165 | 12 | 6 | 0 | 0 | 22 | 49k| 20k| 0.000000e+00 | 1.600000e+01 | Inf
899.32/899.60 o 15
899.32/899.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.32/899.60 c * 845s| 1646k|422075 | 7356k| 289M| 59 | - | 165 | 14 | 0 | 165 | 22 | 22 | 49k| 20k| 0.000000e+00 | 1.500000e+01 | Inf
901.92/902.21 c 847s| 1650k|422365 | 7371k| 289M| 59 | - | 165 | 15 | 6 | 0 | 0 | 22 | 49k| 20k| 0.000000e+00 | 1.500000e+01 | Inf
906.82/907.13 c 852s| 1660k|423734 | 7416k| 290M| 59 | - | 165 | 13 | 7 | 165 | 22 | 22 | 50k| 20k| 0.000000e+00 | 1.500000e+01 | Inf
911.72/912.06 c 856s| 1670k|425076 | 7460k| 291M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 50k| 20k| 0.000000e+00 | 1.500000e+01 | Inf
916.52/916.89 c 861s| 1680k|426558 | 7504k| 292M| 59 | - | 165 | 16 | 8 | 0 | 0 | 22 | 50k| 20k| 0.000000e+00 | 1.500000e+01 | Inf
921.31/921.67 c 866s| 1690k|427948 | 7547k| 294M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 51k| 20k| 0.000000e+00 | 1.500000e+01 | Inf
926.21/926.58 c 870s| 1700k|429597 | 7591k| 295M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 51k| 20k| 0.000000e+00 | 1.500000e+01 | Inf
931.32/931.62 c 875s| 1710k|431710 | 7636k| 296M| 59 | - | 165 | 13 | 7 | 165 | 22 | 22 | 51k| 20k| 0.000000e+00 | 1.500000e+01 | Inf
936.11/936.44 c 879s| 1720k|433207 | 7681k| 297M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 51k| 21k| 0.000000e+00 | 1.500000e+01 | Inf
937.81/938.12 o 13
937.81/938.12 c s 881s| 1723k|425950 | 7695k| 286M| 59 | 2 | 165 | 13 | 7 | 165 | 22 | 22 | 51k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
937.81/938.18 o 11
937.81/938.18 c * 881s| 1723k|414455 | 7695k| 270M| 59 | - | 165 | 13 | 0 | 165 | 22 | 22 | 51k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
941.22/941.54 c 884s| 1730k|415241 | 7723k| 270M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 52k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
946.01/946.37 c 889s| 1740k|416196 | 7764k| 271M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 52k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
950.81/951.19 c 893s| 1750k|416839 | 7805k| 272M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 52k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
955.61/955.94 c 898s| 1760k|417731 | 7845k| 273M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 52k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
960.51/960.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.51/960.90 c 902s| 1770k|419611 | 7886k| 274M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 53k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
967.30/967.69 c 909s| 1780k|420923 | 7928k| 275M| 59 | - | 165 | 13 | 7 | 165 | 22 | 22 | 53k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
972.11/972.45 c 913s| 1790k|421951 | 7968k| 276M| 59 | 7 | 165 | 13 | 8 | 165 | 22 | 22 | 53k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
976.90/977.23 c 918s| 1800k|422801 | 8008k| 276M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 53k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
981.59/981.99 c 922s| 1810k|423819 | 8048k| 277M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 54k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
986.49/986.80 c 927s| 1820k|424506 | 8089k| 278M| 59 | 7 | 165 | 12 | 8 | 165 | 22 | 22 | 54k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
991.30/991.63 c 931s| 1830k|425835 | 8129k| 279M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 54k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
996.10/996.47 c 936s| 1840k|427184 | 8169k| 280M| 59 | - | 165 | 11 | 7 | 0 | 0 | 22 | 54k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1000.80/1001.15 c 940s| 1850k|427913 | 8208k| 281M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 55k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1005.49/1005.89 c 945s| 1860k|428654 | 8248k| 281M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 55k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1010.29/1010.60 c 949s| 1870k|429785 | 8288k| 282M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 55k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1014.99/1015.37 c 954s| 1880k|430683 | 8331k| 283M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 55k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1019.69/1020.09 c 958s| 1890k|431618 | 8371k| 284M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 56k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1024.49/1024.84 c 962s| 1900k|432114 | 8411k| 285M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 56k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1029.29/1029.63 c 967s| 1910k|433020 | 8452k| 285M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 56k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1033.98/1034.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.98/1034.31 c 971s| 1920k|434080 | 8492k| 286M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 56k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1038.68/1039.00 c 976s| 1930k|435162 | 8532k| 287M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 57k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1043.28/1043.68 c 980s| 1940k|435979 | 8572k| 288M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 57k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1048.08/1048.41 c 985s| 1950k|436787 | 8611k| 289M| 59 | 7 | 165 | 12 | 8 | 165 | 22 | 22 | 57k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1052.77/1053.15 c 989s| 1960k|438064 | 8651k| 290M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 57k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1057.47/1057.83 c 993s| 1970k|438943 | 8691k| 290M| 59 | 7 | 165 | 12 | 8 | 165 | 22 | 22 | 58k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1062.07/1062.47 c 998s| 1980k|439772 | 8730k| 291M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 58k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1066.87/1067.20 c 1002s| 1990k|440234 | 8770k| 292M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 58k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1071.47/1071.86 c 1007s| 2000k|440720 | 8809k| 292M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 58k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1076.17/1076.52 c 1011s| 2010k|441424 | 8849k| 293M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 59k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1080.87/1081.23 c 1015s| 2020k|441978 | 8889k| 294M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 59k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1085.57/1085.98 c 1020s| 2030k|443199 | 8931k| 295M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 59k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1090.26/1090.66 c 1024s| 2040k|444063 | 8971k| 295M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 59k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1094.96/1095.35 c 1029s| 2050k|444843 | 9012k| 296M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 60k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1099.67/1100.07 c 1033s| 2060k|445505 | 9053k| 297M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 60k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1104.36/1104.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.36/1104.73 c 1038s| 2070k|445811 | 9092k| 297M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 60k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1109.16/1109.51 c 1042s| 2080k|446828 | 9133k| 298M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 60k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1113.86/1114.25 c 1047s| 2090k|448135 | 9174k| 299M| 59 | - | 165 | 13 | 7 | 165 | 22 | 22 | 61k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1118.56/1118.95 c 1051s| 2100k|449158 | 9215k| 300M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 61k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1123.15/1123.57 c 1055s| 2110k|449608 | 9254k| 301M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 61k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1127.95/1128.33 c 1060s| 2120k|450514 | 9296k| 301M| 59 | - | 165 | 12 | 8 | 165 | 22 | 22 | 61k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1132.55/1132.95 c 1064s| 2130k|450860 | 9335k| 302M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 62k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1137.15/1137.57 c 1068s| 2140k|451278 | 9375k| 302M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 62k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1141.84/1142.28 c 1073s| 2150k|452275 | 9414k| 303M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 62k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1146.65/1147.03 c 1077s| 2160k|452605 | 9455k| 304M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 62k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1151.24/1151.69 c 1082s| 2170k|453007 | 9494k| 304M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 63k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1155.94/1156.35 c 1086s| 2180k|453064 | 9533k| 305M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 63k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1160.74/1161.11 c 1091s| 2190k|454009 | 9574k| 305M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 63k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1165.44/1165.81 c 1095s| 2200k|454657 | 9613k| 306M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 64k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1170.13/1170.50 c 1099s| 2210k|455072 | 9652k| 307M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 64k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1174.74/1175.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1174.74/1175.12 c 1104s| 2220k|455411 | 9691k| 307M| 59 | 7 | 165 | 14 | 8 | 165 | 22 | 22 | 64k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1179.33/1179.73 c 1108s| 2230k|455811 | 9730k| 308M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 65k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1183.93/1184.38 c 1113s| 2240k|456528 | 9769k| 308M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 65k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1189.04/1189.48 c 1117s| 2250k|458970 | 9813k| 310M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 65k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1194.03/1194.47 c 1122s| 2260k|461330 | 9857k| 312M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 65k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1199.33/1199.72 c 1127s| 2270k|464251 | 9902k| 313M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 66k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1204.22/1204.63 c 1132s| 2280k|466139 | 9945k| 315M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 66k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1209.02/1209.49 c 1136s| 2290k|468031 | 9988k| 316M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 66k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1214.22/1214.68 c 1141s| 2300k|470637 | 10033k| 317M| 59 | - | 165 | 17 | 8 | 165 | 22 | 22 | 66k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1219.22/1219.66 c 1146s| 2310k|473280 | 10076k| 319M| 59 | - | 165 | 17 | 9 | 165 | 22 | 22 | 67k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1224.42/1224.89 c 1151s| 2320k|476037 | 10121k| 321M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 67k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1229.52/1229.92 c 1155s| 2330k|478096 | 10164k| 322M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 67k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1234.82/1235.22 c 1160s| 2340k|481136 | 10208k| 324M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 67k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1240.12/1240.55 c 1165s| 2350k|484717 | 10253k| 326M| 59 | 7 | 165 | 17 | 8 | 165 | 22 | 22 | 68k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1245.21/1245.66 c 1170s| 2360k|487592 | 10295k| 327M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 68k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1250.41/1250.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1250.41/1250.81 c 1175s| 2370k|490381 | 10338k| 329M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 68k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1254.21/1254.62 o 10
1254.21/1254.62 c *1179s| 2377k|484700 | 10370k| 319M| 59 | - | 165 | 16 | 0 | 165 | 22 | 22 | 68k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1257.41/1257.80 c 1182s| 2380k|485176 | 10380k| 320M| 59 | - | 165 | 16 | 7 | 165 | 22 | 22 | 68k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1262.51/1262.90 c 1186s| 2390k|488075 | 10422k| 321M| 59 | 7 | 165 | 16 | 8 | 165 | 22 | 22 | 69k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1269.51/1269.93 c 1193s| 2400k|490497 | 10463k| 323M| 59 | 7 | 165 | 17 | 7 | 165 | 22 | 22 | 69k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1274.41/1274.85 c 1198s| 2410k|492363 | 10505k| 324M| 59 | 7 | 165 | 18 | 7 | 165 | 22 | 22 | 69k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1279.40/1279.83 c 1202s| 2420k|494695 | 10547k| 325M| 59 | 7 | 165 | 15 | 7 | 165 | 22 | 22 | 69k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1284.20/1284.62 c 1207s| 2430k|496895 | 10588k| 327M| 59 | 7 | 165 | 17 | 7 | 165 | 22 | 22 | 70k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1289.01/1289.44 c 1211s| 2440k|498584 | 10628k| 328M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 70k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1293.90/1294.32 c 1216s| 2450k|500767 | 10670k| 329M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 70k| 24k| 0.000000e+00 | 1.000000e+01 | Inf
1298.80/1299.27 c 1221s| 2460k|503144 | 10712k| 330M| 59 | - | 165 | 17 | 7 | 165 | 22 | 22 | 70k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1303.80/1304.20 c 1225s| 2470k|505828 | 10752k| 332M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 70k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1308.69/1309.12 c 1230s| 2480k|507745 | 10794k| 333M| 59 | 7 | 165 | 15 | 8 | 165 | 22 | 22 | 71k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1313.60/1314.03 c 1234s| 2490k|510189 | 10835k| 335M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 71k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1318.39/1318.84 c 1239s| 2500k|512138 | 10876k| 336M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 71k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1323.29/1323.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.29/1323.70 c 1244s| 2510k|514150 | 10917k| 337M| 59 | 7 | 165 | 12 | 8 | 165 | 22 | 22 | 71k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1327.99/1328.45 c 1248s| 2520k|515739 | 10958k| 338M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 72k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1332.69/1333.14 c 1252s| 2530k|517074 | 10998k| 339M| 59 | - | 165 | 13 | 7 | 165 | 22 | 22 | 72k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1337.58/1338.01 c 1257s| 2540k|518835 | 11040k| 340M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 72k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1342.38/1342.83 c 1262s| 2550k|520760 | 11080k| 342M| 59 | - | 165 | 14 | 8 | 165 | 22 | 22 | 72k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1347.18/1347.62 c 1266s| 2560k|522454 | 11121k| 343M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 73k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1352.49/1352.96 c 1271s| 2570k|525953 | 11164k| 345M| 59 | - | 165 | 12 | 7 | 0 | 0 | 22 | 73k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1357.58/1358.08 c 1276s| 2580k|528908 | 11207k| 346M| 59 | - | 165 | 16 | 7 | 0 | 0 | 22 | 73k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1362.58/1363.00 c 1281s| 2590k|531369 | 11249k| 348M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 73k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1367.28/1367.79 c 1285s| 2600k|533718 | 11290k| 349M| 59 | - | 165 | 16 | 7 | 0 | 0 | 22 | 73k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1372.28/1372.72 c 1290s| 2610k|536267 | 11330k| 351M| 59 | 7 | 165 | 13 | 8 | 165 | 22 | 22 | 74k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1376.98/1377.42 c 1294s| 2620k|538228 | 11371k| 352M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 74k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1381.68/1382.17 c 1299s| 2630k|540150 | 11411k| 353M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 74k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1386.38/1386.89 c 1303s| 2640k|541822 | 11450k| 354M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 74k| 25k| 0.000000e+00 | 1.000000e+01 | Inf
1391.27/1391.73 c 1308s| 2650k|543923 | 11491k| 356M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 74k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1396.16/1396.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1396.16/1396.62 c 1312s| 2660k|546313 | 11532k| 357M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 75k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1400.77/1401.24 c 1317s| 2670k|548287 | 11572k| 358M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 75k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1405.57/1406.00 c 1321s| 2680k|550120 | 11612k| 359M| 59 | - | 165 | 14 | 7 | 0 | 0 | 22 | 75k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1410.66/1411.18 c 1326s| 2690k|553427 | 11654k| 361M| 59 | 7 | 165 | 17 | 8 | 165 | 22 | 22 | 75k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1415.56/1416.00 c 1330s| 2700k|555948 | 11694k| 363M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 75k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1420.26/1420.72 c 1335s| 2710k|558101 | 11735k| 364M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 76k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1424.96/1425.41 c 1339s| 2720k|559621 | 11774k| 365M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 76k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1429.76/1430.23 c 1344s| 2730k|561677 | 11814k| 366M| 59 | 7 | 165 | 13 | 8 | 165 | 22 | 22 | 76k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1434.56/1435.03 c 1348s| 2740k|563686 | 11854k| 368M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 76k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1439.36/1439.85 c 1353s| 2750k|565939 | 11893k| 369M| 59 | - | 165 | 17 | 9 | 0 | 0 | 22 | 76k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1444.15/1444.61 c 1357s| 2760k|567890 | 11934k| 370M| 59 | 7 | 165 | 14 | 9 | 165 | 22 | 22 | 77k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1448.85/1449.32 c 1362s| 2770k|569215 | 11973k| 371M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 77k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1453.55/1454.05 c 1366s| 2780k|570710 | 12012k| 372M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 77k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1458.24/1458.70 c 1371s| 2790k|572063 | 12051k| 373M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 77k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1462.74/1463.28 c 1375s| 2800k|573345 | 12090k| 374M| 59 | 7 | 165 | 16 | 10 | 165 | 22 | 22 | 77k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1467.54/1468.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1467.54/1468.05 c 1379s| 2810k|575381 | 12128k| 375M| 59 | - | 165 | 13 | 7 | 165 | 22 | 22 | 78k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1472.35/1472.82 c 1384s| 2820k|577689 | 12167k| 377M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 78k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1476.85/1477.36 c 1388s| 2830k|579519 | 12205k| 378M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 78k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1481.43/1481.91 c 1392s| 2840k|581281 | 12243k| 379M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 78k| 26k| 0.000000e+00 | 1.000000e+01 | Inf
1486.04/1486.50 c 1397s| 2850k|582825 | 12279k| 380M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 79k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1490.53/1491.03 c 1401s| 2860k|584325 | 12315k| 381M| 59 | - | 165 | 13 | 8 | 165 | 22 | 22 | 79k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1495.04/1495.60 c 1405s| 2870k|585566 | 12353k| 382M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 79k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1499.84/1500.37 c 1410s| 2880k|587541 | 12393k| 383M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 79k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1504.53/1505.07 c 1414s| 2890k|588943 | 12432k| 384M| 59 | - | 165 | 15 | 7 | 165 | 22 | 22 | 79k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1509.23/1509.75 c 1419s| 2900k|590227 | 12470k| 385M| 59 | - | 165 | 14 | 7 | 0 | 0 | 22 | 80k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1513.83/1514.31 c 1423s| 2910k|591329 | 12508k| 386M| 59 | - | 165 | 14 | 7 | 165 | 22 | 22 | 80k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1518.42/1519.00 c 1427s| 2920k|592881 | 12547k| 387M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 80k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1523.12/1523.65 c 1432s| 2930k|593993 | 12586k| 388M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 80k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1527.82/1528.30 c 1436s| 2940k|595855 | 12624k| 389M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 80k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1532.43/1532.91 c 1440s| 2950k|597089 | 12662k| 390M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 81k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1536.92/1537.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.92/1537.44 c 1445s| 2960k|598049 | 12699k| 391M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 81k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1541.62/1542.14 c 1449s| 2970k|599661 | 12738k| 392M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 81k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1546.22/1546.72 c 1454s| 2980k|600586 | 12775k| 393M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 81k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1550.82/1551.39 c 1458s| 2990k|602110 | 12814k| 394M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 81k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1555.41/1555.91 c 1462s| 3000k|603694 | 12851k| 395M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 82k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1560.01/1560.51 c 1466s| 3010k|604546 | 12890k| 395M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 82k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1564.82/1565.31 c 1471s| 3020k|606545 | 12929k| 397M| 59 | 7 | 165 | 14 | 8 | 165 | 22 | 22 | 82k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1569.52/1570.03 c 1475s| 3030k|608761 | 12969k| 398M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 82k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1574.11/1574.67 c 1480s| 3040k|610463 | 13007k| 399M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 82k| 27k| 0.000000e+00 | 1.000000e+01 | Inf
1578.81/1579.30 c 1484s| 3050k|611875 | 13045k| 400M| 59 | - | 165 | 12 | 7 | 0 | 0 | 22 | 83k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1583.41/1583.97 c 1489s| 3060k|613333 | 13083k| 401M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 83k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1588.00/1588.53 c 1493s| 3070k|614390 | 13120k| 402M| 59 | - | 165 | 11 | 7 | 0 | 0 | 22 | 83k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1592.71/1593.27 c 1497s| 3080k|616259 | 13159k| 403M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 83k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1597.40/1597.91 c 1502s| 3090k|617971 | 13199k| 404M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 83k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1602.00/1602.55 c 1506s| 3100k|619469 | 13238k| 405M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 84k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1606.60/1607.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1606.60/1607.15 c 1510s| 3110k|620503 | 13276k| 406M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 84k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1611.20/1611.76 c 1515s| 3120k|621460 | 13315k| 407M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 84k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1615.89/1616.41 c 1519s| 3130k|623182 | 13353k| 408M| 59 | - | 165 | 17 | 6 | 0 | 0 | 22 | 84k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1620.39/1620.97 c 1523s| 3140k|624694 | 13391k| 409M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 84k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1624.99/1625.52 c 1528s| 3150k|626114 | 13427k| 410M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 85k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1629.49/1630.10 c 1532s| 3160k|626915 | 13464k| 411M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 85k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1634.09/1634.61 c 1536s| 3170k|627789 | 13501k| 411M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 85k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1638.59/1639.14 c 1540s| 3180k|628781 | 13539k| 412M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 85k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1643.19/1643.74 c 1545s| 3190k|629794 | 13576k| 413M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 85k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1647.79/1648.31 c 1549s| 3200k|630689 | 13614k| 414M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 86k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1652.39/1652.95 c 1553s| 3210k|632047 | 13651k| 415M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 86k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1656.99/1657.56 c 1558s| 3220k|633185 | 13689k| 416M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 86k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1661.58/1662.16 c 1562s| 3230k|634046 | 13728k| 416M| 59 | - | 165 | 17 | 8 | 165 | 22 | 22 | 86k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1666.28/1666.85 c 1567s| 3240k|635254 | 13767k| 417M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 86k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1670.88/1671.49 c 1571s| 3250k|636039 | 13804k| 418M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 87k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1675.38/1675.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.38/1675.96 c 1575s| 3260k|636600 | 13841k| 418M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 87k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1679.97/1680.54 c 1579s| 3270k|637678 | 13880k| 419M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 87k| 28k| 0.000000e+00 | 1.000000e+01 | Inf
1684.58/1685.14 c 1584s| 3280k|638193 | 13917k| 420M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 87k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1689.18/1689.72 c 1588s| 3290k|638764 | 13954k| 420M| 59 | 7 | 165 | 16 | 7 | 165 | 22 | 22 | 87k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1693.77/1694.34 c 1592s| 3300k|639458 | 13993k| 421M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 88k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1698.37/1698.95 c 1597s| 3310k|640774 | 14031k| 422M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 88k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1703.08/1703.61 c 1601s| 3320k|642462 | 14070k| 423M| 59 | 7 | 165 | 13 | 7 | 165 | 22 | 22 | 88k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1707.67/1708.24 c 1605s| 3330k|643201 | 14107k| 424M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 88k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1712.17/1712.77 c 1610s| 3340k|643845 | 14145k| 424M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 88k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1716.77/1717.31 c 1614s| 3350k|645193 | 14182k| 425M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 89k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1721.26/1721.89 c 1618s| 3360k|645672 | 14219k| 426M| 59 | - | 165 | 16 | 10 | 165 | 22 | 22 | 89k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1725.87/1726.48 c 1623s| 3370k|646344 | 14256k| 427M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 89k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1730.47/1731.03 c 1627s| 3380k|646965 | 14292k| 427M| 59 | 7 | 165 | 13 | 8 | 165 | 22 | 22 | 89k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1735.06/1735.66 c 1631s| 3390k|647791 | 14331k| 428M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 90k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1739.66/1740.26 c 1636s| 3400k|648448 | 14368k| 428M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 90k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1744.36/1744.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1744.36/1744.91 c 1640s| 3410k|649328 | 14405k| 429M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 90k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1749.06/1749.63 c 1644s| 3420k|650745 | 14443k| 430M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 90k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1753.56/1754.19 c 1649s| 3430k|651677 | 14481k| 431M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 90k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1758.15/1758.72 c 1653s| 3440k|652447 | 14518k| 432M| 59 | - | 165 | 11 | 7 | 165 | 22 | 22 | 91k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1762.65/1763.24 c 1657s| 3450k|652842 | 14554k| 432M| 59 | - | 165 | 13 | 7 | 165 | 22 | 22 | 91k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1767.26/1767.87 c 1662s| 3460k|653797 | 14592k| 433M| 59 | - | 165 | 13 | 7 | 165 | 22 | 22 | 91k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1771.95/1772.51 c 1666s| 3470k|654451 | 14631k| 434M| 59 | 7 | 165 | 14 | 7 | 165 | 22 | 22 | 91k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1776.45/1777.09 c 1670s| 3480k|655250 | 14669k| 434M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 91k| 29k| 0.000000e+00 | 1.000000e+01 | Inf
1781.05/1781.68 c 1675s| 3490k|655846 | 14707k| 435M| 59 | - | 165 | 12 | 7 | 165 | 22 | 22 | 92k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1785.65/1786.25 c 1679s| 3500k|656028 | 14744k| 435M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 92k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1790.24/1790.87 c 1683s| 3510k|656464 | 14782k| 436M| 59 | - | 165 | 11 | 7 | 0 | 0 | 22 | 92k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1794.74/1795.38 c 1687s| 3520k|656939 | 14819k| 436M| 59 | 7 | 165 | 12 | 7 | 165 | 22 | 22 | 92k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1799.33/1799.99 c 1692s| 3530k|657647 | 14856k| 437M| 59 | 7 | 165 | 11 | 7 | 165 | 22 | 22 | 92k| 30k| 0.000000e+00 | 1.000000e+01 | Inf
1800.05/1800.60 c
1800.05/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1692.35
1800.05/1800.61 c Solving Nodes : 3531091
1800.05/1800.61 c Primal Bound : +1.00000000000000e+01 (42 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c NODE 3531091
1800.05/1800.61 c DUAL BOUND 0
1800.05/1800.61 c PRIMAL BOUND 10
1800.05/1800.61 c GAP 1e+20
1800.05/1800.61 s SATISFIABLE
1800.05/1800.61 v x172 x171 x170 -x169 x168 -x167 -x166 -x165 -x164 x163 x162 x161 x160 x159 -x158 -x157 x156 x155 -x154 x153 x152 x151 -x150 -x149
1800.05/1800.61 v x148 -x147 -x146 -x145 x144 -x143 x142 x141 -x140 -x139 x138 x137 x136 -x135 -x134 x133 -x132 -x131 x130 -x129 -x128 x127
1800.05/1800.61 v x126 x125 x124 x123 -x122 -x121 -x120 x119 -x118 x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.05/1800.61 v -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.61 v -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.05/1800.61 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 x33 -x32 -x31 -x30
1800.05/1800.61 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.05/1800.61 v x2 -x1
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1692.35
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-1869554-1245178365.opb
1800.05/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 14 initial, 14 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-1869554-1245178365.opb
1800.05/1800.61 c Variables : 165 (165 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 7 initial, 26 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.01 0 7 0 0 0 7 0 0
1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 56 - - 56 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 2143353 0 130 9997 0 0 4266942
1800.05/1800.61 c linear : 7 6 5303476 0 0 426550 2835028 14 0 0
1800.05/1800.61 c logicor : 0+ 0 585008 0 0 3053 28045 0 0 0
1800.05/1800.61 c countsols : 0 0 0 28 0 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 30.93 0.00 0.00 30.93 0.00
1800.05/1800.61 c linear : 409.10 0.00 409.10 0.00 0.00
1800.05/1800.61 c logicor : 1.10 0.00 1.10 0.00 0.00
1800.05/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c rootredcost : 1.96 42 0 56
1800.05/1800.61 c pseudoobj : 47.02 5319929 16589 46647
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 32.62 443567 89251 101729 59.9 0 0.0 -
1800.05/1800.61 c infeasible LP : 0.36 4226 4221 4303 30.1 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 2 2 2 36.5 0 0.0 -
1800.05/1800.61 c applied globally : - - - 2733 26.3 - - -
1800.05/1800.61 c applied locally : - - - 90098 59.6 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 5 - - 21 - (maximal pool size: 89)
1800.05/1800.61 c redcost : 60.06 2965314 0 18734017 0 0
1800.05/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 6 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 6 0 0 24 0
1800.05/1800.61 c cmir : 0.06 6 0 0 29 0
1800.05/1800.61 c flowcover : 0.03 6 0 0 36 0
1800.05/1800.61 c clique : 0.00 1 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 1 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 28.85 2143325 130 9997 0 0 4266942
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.31 - 28
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c feaspump : 0.21 1 0
1800.05/1800.61 c oneopt : 1.69 41 0
1800.05/1800.61 c crossover : 24.96 20 1
1800.05/1800.61 c rootsoldiving : 5.53 746 0
1800.05/1800.61 c linesearchdiving : 16.53 6317 3
1800.05/1800.61 c veclendiving : 17.19 6317 1
1800.05/1800.61 c guideddiving : 17.63 6317 4
1800.05/1800.61 c pscostdiving : 24.18 6317 0
1800.05/1800.61 c fracdiving : 23.21 6317 2
1800.05/1800.61 c objpscostdiving : 6.48 3159 0
1800.05/1800.61 c coefdiving : 30.94 6318 2
1800.05/1800.61 c simplerounding : 1.11 0 0
1800.05/1800.61 c rounding : 2.23 21581 0
1800.05/1800.61 c shifting : 18.98 17465 1
1800.05/1800.61 c intshifting : 0.17 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.06 1 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 654.21 3311033 13688400 4.13 20923.56
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 72.68 574310 1173098 2.04 16140.59
1800.05/1800.61 c strong branching : 7.92 30220 103185 3.41 13028.41
1800.05/1800.61 c (at root node) : - 19 749 39.42 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 3531091
1800.05/1800.61 c nodes (total) : 3531091
1800.05/1800.61 c nodes left : 658084
1800.05/1800.61 c max depth : 59
1800.05/1800.61 c max depth (total): 59
1800.05/1800.61 c backtracks : 679225 (19.2%)
1800.05/1800.61 c delayed cutoffs : 14876
1800.05/1800.61 c repropagations : 29401 (100654 domain reductions, 14863 cutoffs)
1800.05/1800.61 c avg switch length: 5.14
1800.05/1800.61 c switching time : 109.76
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 42 (42 improvements)
1800.05/1800.61 c Primal Bound : +1.00000000000000e+01 (in run 1, after 2377503 nodes, 1178.57 seconds, depth 43, found by <relaxation>)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c Root Dual Bound : +0.00000000000000e+00
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869554-1245178365/watcher-1869554-1245178365 -o /tmp/evaluation-result-1869554-1245178365/solver-1869554-1245178365 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869554-1245178365.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 7024
/proc/meminfo: memFree=1846144/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=4488 CPUtime=0
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 487 0 0 0 0 0 0 0 18 0 1 0 185433357 4595712 471 1992294400 4194304 7823515 548682068736 18446744073709551615 6884513 0 0 4096 0 0 0 0 17 1 0 0
/proc/7024/statm: 1162 483 316 886 0 272 0
[startup+0.088584 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 7024
/proc/meminfo: memFree=1846144/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=13108 CPUtime=0.07
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 2834 0 0 0 7 0 0 0 18 0 1 0 185433357 13422592 2462 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 3277 2462 551 886 0 2387 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13108
[startup+0.101587 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 7024
/proc/meminfo: memFree=1846144/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=13108 CPUtime=0.09
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 2842 0 0 0 9 0 0 0 18 0 1 0 185433357 13422592 2470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 3277 2470 551 886 0 2387 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13108
[startup+0.301607 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 7024
/proc/meminfo: memFree=1846144/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=15980 CPUtime=0.29
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 4557 0 0 0 26 3 0 0 19 0 1 0 185433357 16363520 3222 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 3995 3222 567 886 0 3105 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15980
[startup+0.70165 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 7024
/proc/meminfo: memFree=1846144/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=15980 CPUtime=0.69
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 4563 0 0 0 65 4 0 0 22 0 1 0 185433357 16363520 3228 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 3995 3228 573 886 0 3105 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15980
[startup+1.50174 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7025
/proc/meminfo: memFree=1835192/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=13956 CPUtime=1.49
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 5414 0 0 0 140 9 0 0 25 0 1 0 185433357 14290944 2755 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 3489 2755 573 886 0 2599 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13956
[startup+3.10191 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7025
/proc/meminfo: memFree=1836728/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=14816 CPUtime=3.09
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 7624 0 0 0 291 18 0 0 25 0 1 0 185433357 15171584 2975 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 3704 2975 573 886 0 2814 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14816
[startup+6.30127 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7025
/proc/meminfo: memFree=1834552/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=16288 CPUtime=6.29
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 10645 0 0 0 592 37 0 0 25 0 1 0 185433357 16678912 3354 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 4072 3354 573 886 0 3182 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16288
[startup+12.702 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7025
/proc/meminfo: memFree=1831096/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=28044 CPUtime=12.69
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 17513 0 0 0 1189 80 0 0 25 0 1 0 185433357 28717056 5963 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 7011 5963 573 886 0 6121 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28044
[startup+25.5014 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7025
/proc/meminfo: memFree=1816120/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=28288 CPUtime=25.48
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 27986 0 0 0 2389 159 0 0 25 0 1 0 185433357 28966912 6426 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 7072 6426 573 886 0 6182 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28288
[startup+51.1012 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7025
/proc/meminfo: memFree=1805048/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=45360 CPUtime=51.08
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 41336 0 0 0 4790 318 0 0 25 0 1 0 185433357 46448640 10786 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 11340 10786 573 886 0 10450 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45360
[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7025
/proc/meminfo: memFree=1785400/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=66096 CPUtime=102.26
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 57368 0 0 0 9596 630 0 0 25 0 1 0 185433357 67682304 15647 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 16524 15647 573 886 0 15634 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 66096
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7025
/proc/meminfo: memFree=1762232/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=88456 CPUtime=162.24
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 71544 0 0 0 15234 990 0 0 25 0 1 0 185433357 90578944 21368 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 22114 21368 573 886 0 21224 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 88456
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7025
/proc/meminfo: memFree=1741560/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=108884 CPUtime=222.22
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 82656 0 0 0 20880 1342 0 0 25 0 1 0 185433357 111497216 26539 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 27221 26539 573 886 0 26331 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 108884
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7025
/proc/meminfo: memFree=1725048/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=125244 CPUtime=282.21
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 97928 0 0 0 26495 1726 0 0 25 0 1 0 185433357 128249856 30691 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 31311 30691 573 886 0 30421 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 125244
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7025
/proc/meminfo: memFree=1705272/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=144492 CPUtime=342.19
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 103453 0 0 0 32137 2082 0 0 25 0 1 0 185433357 147959808 35565 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 36123 35565 573 886 0 35233 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 144492
[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7025
/proc/meminfo: memFree=1678776/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=174460 CPUtime=402.18
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 110682 0 0 0 37787 2431 0 0 25 0 1 0 185433357 178647040 42143 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 43615 42143 573 886 0 42725 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 174460
[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7025
/proc/meminfo: memFree=1656824/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=195880 CPUtime=462.15
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 116793 0 0 0 43419 2796 0 0 25 0 1 0 185433357 200581120 47606 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 48970 47606 573 886 0 48080 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 195880
[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1631672/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=220096 CPUtime=522.13
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 122994 0 0 0 49060 3153 0 0 25 0 1 0 185433357 225378304 53807 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 55024 53807 573 886 0 54134 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 220096
[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1609592/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=241544 CPUtime=582.11
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 128486 0 0 0 54697 3514 0 0 25 0 1 0 185433357 247341056 59299 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 60386 59299 573 886 0 59496 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 241544
[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1593336/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=257400 CPUtime=642.11
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 140916 0 0 0 60317 3894 0 0 25 0 1 0 185433357 263577600 63353 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 64350 63353 573 886 0 63460 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 257400
[startup+702.301 s]
################
# More data... #
################
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 185525 0 0 0 94123 6076 0 0 25 0 1 0 185433357 348426240 84449 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 85065 84449 573 886 0 84175 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 340260
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1501304/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=347176 CPUtime=1061.97
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 187928 0 0 0 99758 6439 0 0 25 0 1 0 185433357 355508224 86202 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 86794 86202 573 886 0 85904 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 347176
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1494712/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=353512 CPUtime=1121.95
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 189548 0 0 0 105408 6787 0 0 25 0 1 0 185433357 361996288 87822 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 88378 87822 573 886 0 87488 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 353512
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1489784/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=358184 CPUtime=1181.94
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 190775 0 0 0 111061 7133 0 0 25 0 1 0 185433357 366780416 89049 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 89546 89049 573 886 0 88656 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 358184
[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1473272/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=382792 CPUtime=1241.91
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 194963 0 0 0 116701 7490 0 0 25 0 1 0 185433357 391979008 93237 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 95698 93237 573 886 0 94808 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 382792
[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1462200/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=392908 CPUtime=1301.9
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 205493 0 0 0 122339 7851 0 0 25 0 1 0 185433357 402337792 95840 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 98227 95840 573 886 0 97337 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 392908
[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1449016/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=405648 CPUtime=1361.88
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 210079 0 0 0 127986 8202 0 0 25 0 1 0 185433357 415383552 99128 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 101412 99128 573 886 0 100522 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 405648
[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1434360/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=419728 CPUtime=1421.87
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 213711 0 0 0 133638 8549 0 0 25 0 1 0 185433357 429801472 102760 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 104932 102760 573 886 0 104042 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 419728
[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1422392/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=431364 CPUtime=1481.84
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 217353 0 0 0 139285 8899 0 0 25 0 1 0 185433357 441716736 105753 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 107841 105753 573 886 0 106951 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 431364
[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1409912/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=443344 CPUtime=1541.82
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 220423 0 0 0 144932 9250 0 0 25 0 1 0 185433357 453984256 108823 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 110836 108823 573 886 0 109946 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 443344
[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1395192/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=457680 CPUtime=1601.8
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 224084 0 0 0 150575 9605 0 0 25 0 1 0 185433357 468664320 112484 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 114420 112484 573 886 0 113530 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 457680
[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1385912/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=467472 CPUtime=1661.78
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 227232 0 0 0 156222 9956 0 0 25 0 1 0 185433357 478691328 114987 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 116868 114987 573 886 0 115978 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 467472
[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1376504/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=475796 CPUtime=1721.77
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 229359 0 0 0 161864 10313 0 0 25 0 1 0 185433357 487215104 117114 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 118949 117114 573 886 0 118059 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 475796
[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1369656/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=482388 CPUtime=1781.74
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 231046 0 0 0 167515 10659 0 0 25 0 1 0 185433357 493965312 118801 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 120597 118801 573 886 0 119707 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 482388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1367096/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=484756 CPUtime=1800.05
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 231678 0 0 0 169235 10770 0 0 25 0 1 0 185433357 496390144 119433 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7024/statm: 121189 119433 573 886 0 120299 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 484756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7024
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 7031
/proc/meminfo: memFree=1367096/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=484756 CPUtime=1800.84
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 231680 0 0 0 169314 10770 0 0 25 0 1 0 185433357 496390144 119435 1992294400 4194304 7823515 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 0 0 0
/proc/7024/statm: 121189 119435 575 886 0 120299 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 484756
[startup+1802.2 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 7032
/proc/meminfo: memFree=1367088/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=484756 CPUtime=1801.64
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 231680 0 0 0 169394 10770 0 0 25 0 1 0 185433357 496390144 119435 1992294400 4194304 7823515 548682068736 18446744073709551615 5875141 0 0 4096 0 0 0 0 17 1 0 0
/proc/7024/statm: 121189 119435 575 886 0 120299 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 484756
[startup+1802.6 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 7032
/proc/meminfo: memFree=1367088/2055920 swapFree=4192812/4192956
[pid=7024] ppid=7022 vsize=484756 CPUtime=1802.04
/proc/7024/stat : 7024 (pbscip.linux.x8) R 7022 7024 6915 0 -1 4194304 231680 0 0 0 169434 10770 0 0 25 0 1 0 185433357 496390144 119435 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/7024/statm: 121189 119435 575 886 0 120299 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 484756
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.13
CPU user time (s): 1694.35
CPU system time (s): 107.781
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 484756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1694.35
system time used= 107.781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231680
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 3157
runsolver used 1.60776 second user time and 3.40248 second system time
The end