0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver Clp 1.8.2
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869541-1245177639.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 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, 6 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) 6 del vars, 6 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/140 (72.1%) - 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 6 deleted vars, 6 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 140 variables (140 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.03 c 6 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.01
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 | 37 | 464k| 0 | 6 | 140 | 6 | 6 | 140 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 130 | 551k| 0 | 10 | 140 | 6 | 6 | 140 | 13 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 146 | 609k| 0 | 13 | 140 | 6 | 6 | 140 | 19 | 13 | 0 | 0 | 1.818989e-12 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 156 | 643k| 0 | 13 | 140 | 6 | 6 | 140 | 21 | 15 | 0 | 0 | 1.818989e-12 | -- | Inf
0.00/0.09 c 0.1s| 1 | 0 | 169 | 688k| 0 | 14 | 140 | 6 | 6 | 140 | 24 | 18 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 194 | 710k| 0 | 15 | 140 | 6 | 6 | 140 | 27 | 21 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 217 | 742k| 0 | 15 | 140 | 6 | 6 | 140 | 31 | 25 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.19 c 0.2s| 1 | 2 | 217 | 742k| 0 | 15 | 140 | 6 | 6 | 140 | 31 | 25 | 0 | 15 | 1.818989e-12 | -- | Inf
0.19/0.29 o 509
0.19/0.29 c c 0.3s| 38 | 36 | 441 | 782k| 37 | - | 140 | 6 | 4 | 140 | 15 | 25 | 0 | 221 | 1.818989e-12 | 5.090000e+02 | Inf
0.59/0.66 o 366
0.59/0.66 c p 0.6s| 398 | 385 | 2613 | 959k| 37 | - | 140 | 6 | 3 | 140 | 15 | 25 | 7 | 521 | 1.818989e-12 | 3.660000e+02 | Inf
0.69/0.70 o 233
0.69/0.70 c f 0.7s| 447 | 424 | 2817 | 980k| 42 | - | 140 | 6 | 4 | 140 | 15 | 25 | 7 | 521 | 1.818989e-12 | 2.330000e+02 | Inf
0.69/0.74 o 227
0.69/0.74 c s 0.7s| 497 | 466 | 3024 | 983k| 42 | - | 140 | 6 | 6 | 140 | 15 | 25 | 10 | 536 | 1.818989e-12 | 2.270000e+02 | Inf
0.69/0.74 o 225
0.69/0.74 c * 0.7s| 499 | 466 | 3029 | 987k| 42 | - | 140 | 6 | 0 | 140 | 15 | 25 | 10 | 544 | 1.818989e-12 | 2.250000e+02 | Inf
0.69/0.74 o 223
0.69/0.74 c * 0.7s| 502 | 466 | 3038 | 989k| 42 | - | 140 | 6 | 0 | 140 | 15 | 25 | 10 | 556 | 1.818989e-12 | 2.230000e+02 | Inf
0.69/0.74 o 221
0.69/0.74 c * 0.7s| 503 | 465 | 3039 | 990k| 42 | - | 140 | 6 | 0 | 140 | 15 | 25 | 10 | 558 | 1.818989e-12 | 2.210000e+02 | Inf
0.69/0.76 o 170
0.69/0.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.76 c g 0.7s| 518 | 456 | 3132 |1000k| 42 | - | 140 | 6 | 4 | 140 | 15 | 25 | 10 | 558 | 1.818989e-12 | 1.700000e+02 | Inf
0.69/0.78 o 169
0.69/0.78 c c 0.7s| 533 | 467 | 3183 | 997k| 42 | - | 140 | 6 | 0 | 140 | 15 | 25 | 10 | 589 | 1.818989e-12 | 1.690000e+02 | Inf
1.19/1.30 o 165
1.19/1.30 c C 1.2s| 733 | 659 | 4364 |1082k| 42 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 16 | 598 | 1.818989e-12 | 1.650000e+02 | Inf
1.89/1.93 o 125
1.89/1.93 c g 1.9s| 1366 | 1252 | 8760 |1370k| 42 | - | 140 | 6 | 3 | 140 | 15 | 25 | 50 | 628 | 1.818989e-12 | 1.250000e+02 | Inf
2.09/2.11 o 124
2.09/2.11 c l 2.0s| 1537 | 1419 | 9801 |1439k| 42 | - | 140 | 6 | 0 | 140 | 15 | 25 | 64 | 640 | 1.818989e-12 | 1.240000e+02 | Inf
2.29/2.30 o 76
2.29/2.30 c g 2.2s| 1777 | 1583 | 11004 |1504k| 42 | - | 140 | 6 | 2 | 140 | 15 | 25 | 73 | 644 | 1.818989e-12 | 7.600000e+01 | Inf
4.89/4.94 o 75
4.89/4.94 c p 4.8s| 4153 | 3884 | 26463 |2523k| 42 | - | 140 | 6 | 0 | 140 | 15 | 25 | 239 | 736 | 1.818989e-12 | 7.500000e+01 | Inf
8.07/8.14 o 73
8.07/8.14 c p 7.9s| 7173 | 6755 | 46667 |3882k| 42 | - | 140 | 6 | 0 | 140 | 15 | 25 | 482 | 793 | 1.818989e-12 | 7.300000e+01 | Inf
9.17/9.22 o 43
9.17/9.22 c f 8.9s| 8062 | 7104 | 53433 |3961k| 42 | - | 140 | 6 | 4 | 140 | 15 | 25 | 548 | 827 | 1.818989e-12 | 4.300000e+01 | Inf
9.88/9.99 o 40
9.88/9.99 c * 9.7s| 8728 | 7538 | 57860 |4191k| 43 | - | 140 | 6 | 1 | 140 | 15 | 25 | 633 | 859 | 1.818989e-12 | 4.000000e+01 | Inf
10.98/11.09 c 10.7s| 10000 | 8496 | 64853 |4745k| 43 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 714 | 922 | 1.818989e-12 | 4.000000e+01 | Inf
11.47/11.53 o 38
11.47/11.53 c *11.2s| 10569 | 8901 | 67575 |4964k| 43 | - | 140 | 6 | 0 | 140 | 15 | 25 | 741 | 957 | 1.818989e-12 | 3.800000e+01 | Inf
11.47/11.54 o 36
11.47/11.54 c *11.2s| 10572 | 8804 | 67581 |4911k| 43 | - | 140 | 6 | 0 | 140 | 15 | 25 | 741 | 969 | 1.818989e-12 | 3.600000e+01 | Inf
15.67/15.76 o 34
15.67/15.76 c *15.2s| 16051 | 12533 | 95444 |7249k| 43 | - | 140 | 6 | 0 | 140 | 15 | 25 |1140 |1241 | 1.818989e-12 | 3.400000e+01 | Inf
15.67/15.76 o 32
15.67/15.76 c *15.2s| 16052 | 11794 | 95444 |6604k| 43 | - | 140 | 6 | 0 | 140 | 15 | 25 |1140 |1241 | 1.818989e-12 | 3.200000e+01 | Inf
16.37/16.46 o 31
16.37/16.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.37/16.46 c *15.9s| 16993 | 12445 | 99983 |6941k| 43 | - | 140 | 6 | 0 | 140 | 15 | 25 |1219 |1295 | 1.818989e-12 | 3.100000e+01 | Inf
18.57/18.68 c 18.1s| 20000 | 14341 |115380 |8057k| 43 | 6 | 140 | 6 | 6 | 140 | 15 | 25 |1503 |1446 | 1.818989e-12 | 3.100000e+01 | Inf
22.97/23.08 o 23
22.97/23.08 c g22.3s| 26301 | 17165 |145998 |9451k| 43 | - | 140 | 6 | 2 | 140 | 15 | 25 |2132 |1662 | 1.818989e-12 | 2.300000e+01 | Inf
27.27/27.32 c 26.4s| 30000 | 18866 |163647 | 10M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 |2475 |1798 | 1.818989e-12 | 2.300000e+01 | Inf
33.76/33.85 c 32.7s| 40000 | 23385 |210289 | 13M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 |3457 |2124 | 1.818989e-12 | 2.300000e+01 | Inf
35.26/35.32 o 21
35.26/35.32 c *34.1s| 42375 | 23956 |220887 | 13M| 47 | - | 140 | 6 | 0 | 140 | 15 | 25 |3695 |2194 | 1.818989e-12 | 2.100000e+01 | Inf
35.26/35.32 o 17
35.26/35.32 c *34.1s| 42376 | 22926 |220887 | 12M| 47 | - | 140 | 6 | 1 | 140 | 15 | 25 |3695 |2194 | 1.818989e-12 | 1.700000e+01 | Inf
40.96/41.04 c 39.6s| 50000 | 25475 |255004 | 14M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 |4335 |2455 | 1.818989e-12 | 1.700000e+01 | Inf
46.66/46.78 c 45.2s| 60000 | 28330 |299615 | 16M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 |5161 |2747 | 1.818989e-12 | 1.700000e+01 | Inf
52.55/52.60 c 50.8s| 70000 | 31654 |346254 | 18M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 |6049 |2955 | 1.818989e-12 | 1.700000e+01 | Inf
52.65/52.70 o 16
52.65/52.70 c *50.9s| 70196 | 29974 |347097 | 17M| 47 | - | 140 | 6 | 0 | 140 | 15 | 25 |6067 |2964 | 1.818989e-12 | 1.600000e+01 | Inf
57.95/58.09 c 56.1s| 80000 | 32408 |392588 | 19M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 |7102 |3221 | 1.818989e-12 | 1.600000e+01 | Inf
63.85/63.91 c 61.7s| 90000 | 35464 |442169 | 21M| 47 | - | 140 | 7 | 6 | 0 | 0 | 25 |7967 |3433 | 1.818989e-12 | 1.600000e+01 | Inf
71.25/71.39 c 68.9s|100000 | 37530 |491304 | 23M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 |8844 |3645 | 1.818989e-12 | 1.600000e+01 | Inf
76.55/76.69 c 74.0s|110000 | 39023 |537368 | 24M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 |9653 |3854 | 1.818989e-12 | 1.600000e+01 | Inf
81.84/81.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.84/81.97 c 79.1s|120000 | 40698 |582744 | 25M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 | 10k|4039 | 1.818989e-12 | 1.600000e+01 | Inf
87.14/87.22 c 84.2s|130000 | 42174 |629119 | 27M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 11k|4222 | 1.818989e-12 | 1.600000e+01 | Inf
89.04/89.14 o 15
89.04/89.14 c *86.0s|133332 | 43007 |645495 | 27M| 47 | - | 140 | 6 | 0 | 140 | 15 | 25 | 11k|4279 | 1.818989e-12 | 1.500000e+01 | Inf
95.35/95.49 c 92.0s|140000 | 45231 |676974 | 28M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 12k|4401 | 1.818989e-12 | 1.500000e+01 | Inf
100.93/101.06 c 97.4s|150000 | 47961 |724379 | 30M| 47 | - | 140 | 6 | 5 | 140 | 15 | 25 | 13k|4588 | 1.818989e-12 | 1.500000e+01 | Inf
106.93/107.09 c 103s|160000 | 51560 |774079 | 32M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 13k|4691 | 1.818989e-12 | 1.500000e+01 | Inf
113.73/113.82 c 110s|170000 | 54641 |822503 | 34M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 14k|4825 | 1.818989e-12 | 1.500000e+01 | Inf
119.33/119.48 c 115s|180000 | 57739 |869768 | 36M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 15k|4989 | 1.818989e-12 | 1.500000e+01 | Inf
125.43/125.55 c 121s|190000 | 61534 |919937 | 38M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 16k|5127 | 1.818989e-12 | 1.500000e+01 | Inf
131.22/131.39 c 127s|200000 | 65499 |967139 | 40M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 17k|5240 | 1.818989e-12 | 1.500000e+01 | Inf
136.73/136.86 c 132s|210000 | 68952 | 1011k| 42M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 18k|5349 | 1.818989e-12 | 1.500000e+01 | Inf
142.33/142.47 c 137s|220000 | 72358 | 1056k| 44M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 19k|5446 | 1.818989e-12 | 1.500000e+01 | Inf
147.62/147.75 c 142s|230000 | 74768 | 1100k| 45M| 47 | - | 140 | 6 | 6 | 0 | 0 | 25 | 19k|5536 | 1.818989e-12 | 1.500000e+01 | Inf
152.82/152.96 c 147s|240000 | 77102 | 1143k| 47M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 20k|5644 | 1.818989e-12 | 1.500000e+01 | Inf
158.42/158.54 c 153s|250000 | 80377 | 1190k| 48M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 21k|5731 | 1.818989e-12 | 1.500000e+01 | Inf
163.61/163.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.61/163.72 c 158s|260000 | 82880 | 1234k| 50M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 22k|5819 | 1.818989e-12 | 1.500000e+01 | Inf
168.71/168.83 c 163s|270000 | 84945 | 1278k| 51M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 23k|5921 | 1.818989e-12 | 1.500000e+01 | Inf
174.12/174.20 c 168s|280000 | 87335 | 1324k| 53M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 24k|6030 | 1.818989e-12 | 1.500000e+01 | Inf
176.52/176.68 o 13
176.52/176.68 c * 170s|284883 | 87152 | 1345k| 52M| 47 | - | 140 | 6 | 0 | 140 | 15 | 25 | 24k|6075 | 1.818989e-12 | 1.300000e+01 | Inf
176.52/176.69 o 11
176.52/176.69 c * 170s|284884 | 85249 | 1345k| 49M| 47 | - | 140 | 6 | 0 | 140 | 15 | 25 | 24k|6075 | 1.818989e-12 | 1.100000e+01 | Inf
179.11/179.30 c 173s|290000 | 86092 | 1368k| 50M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 25k|6121 | 1.818989e-12 | 1.100000e+01 | Inf
184.11/184.30 c 178s|300000 | 87997 | 1411k| 51M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 26k|6204 | 1.818989e-12 | 1.100000e+01 | Inf
189.11/189.26 c 182s|310000 | 89564 | 1455k| 52M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 26k|6303 | 1.818989e-12 | 1.100000e+01 | Inf
194.10/194.20 c 187s|320000 | 91332 | 1499k| 53M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 27k|6400 | 1.818989e-12 | 1.100000e+01 | Inf
199.00/199.14 c 192s|330000 | 92699 | 1542k| 54M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 28k|6500 | 1.818989e-12 | 1.100000e+01 | Inf
203.91/204.03 c 197s|340000 | 93824 | 1586k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 29k|6612 | 1.818989e-12 | 1.100000e+01 | Inf
208.79/208.93 c 201s|350000 | 94919 | 1630k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 30k|6713 | 1.818989e-12 | 1.100000e+01 | Inf
213.80/213.97 c 206s|360000 | 96702 | 1672k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 30k|6814 | 1.818989e-12 | 1.100000e+01 | Inf
217.30/217.50 o 10
217.30/217.50 c * 210s|366714 | 97094 | 1702k| 56M| 47 | - | 140 | 6 | 0 | 140 | 15 | 25 | 31k|6878 | 1.818989e-12 | 1.000000e+01 | Inf
217.39/217.52 o 8
217.39/217.52 c * 210s|366715 | 92544 | 1702k| 51M| 47 | - | 140 | 6 | 0 | 140 | 15 | 25 | 31k|6879 | 1.818989e-12 | 8.000000e+00 | Inf
219.00/219.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.00/219.14 c 211s|370000 | 93026 | 1717k| 52M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 31k|6912 | 1.818989e-12 | 8.000000e+00 | Inf
223.80/223.97 c 216s|380000 | 94522 | 1761k| 53M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 32k|7031 | 1.818989e-12 | 8.000000e+00 | Inf
228.49/228.69 c 220s|390000 | 95738 | 1803k| 53M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 33k|7153 | 1.818989e-12 | 8.000000e+00 | Inf
235.19/235.39 c 227s|400000 | 97361 | 1845k| 54M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 33k|7240 | 1.818989e-12 | 8.000000e+00 | Inf
240.07/240.26 c 232s|410000 | 99394 | 1888k| 55M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 34k|7336 | 1.818989e-12 | 8.000000e+00 | Inf
244.88/245.00 c 236s|420000 |100528 | 1929k| 56M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 35k|7434 | 1.818989e-12 | 8.000000e+00 | Inf
249.48/249.69 c 241s|430000 |101639 | 1970k| 57M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 36k|7531 | 1.818989e-12 | 8.000000e+00 | Inf
254.38/254.55 c 245s|440000 |102991 | 2014k| 58M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 36k|7622 | 1.818989e-12 | 8.000000e+00 | Inf
259.27/259.49 c 250s|450000 |104731 | 2058k| 59M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 37k|7706 | 1.818989e-12 | 8.000000e+00 | Inf
264.07/264.28 c 255s|460000 |106529 | 2100k| 60M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 38k|7789 | 1.818989e-12 | 8.000000e+00 | Inf
268.87/269.04 c 259s|470000 |107823 | 2142k| 61M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 39k|7887 | 1.818989e-12 | 8.000000e+00 | Inf
273.67/273.87 c 264s|480000 |109737 | 2185k| 62M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 39k|7979 | 1.818989e-12 | 8.000000e+00 | Inf
278.36/278.55 c 268s|490000 |110623 | 2227k| 62M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 40k|8064 | 1.818989e-12 | 8.000000e+00 | Inf
283.06/283.21 c 273s|500000 |111368 | 2268k| 63M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 41k|8155 | 1.818989e-12 | 8.000000e+00 | Inf
287.65/287.89 c 277s|510000 |112132 | 2310k| 63M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 42k|8244 | 1.818989e-12 | 8.000000e+00 | Inf
292.36/292.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.36/292.57 c 282s|520000 |113207 | 2352k| 64M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 43k|8325 | 1.818989e-12 | 8.000000e+00 | Inf
297.06/297.28 c 286s|530000 |113952 | 2395k| 65M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 43k|8425 | 1.818989e-12 | 8.000000e+00 | Inf
301.75/301.96 c 291s|540000 |114779 | 2435k| 66M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 44k|8514 | 1.818989e-12 | 8.000000e+00 | Inf
306.55/306.72 c 296s|550000 |115923 | 2477k| 66M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 45k|8601 | 1.818989e-12 | 8.000000e+00 | Inf
311.26/311.43 c 300s|560000 |116337 | 2520k| 67M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 46k|8675 | 1.818989e-12 | 8.000000e+00 | Inf
315.85/316.09 c 305s|570000 |116834 | 2561k| 67M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 47k|8764 | 1.818989e-12 | 8.000000e+00 | Inf
322.15/322.38 c 311s|580000 |117359 | 2602k| 68M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 48k|8834 | 1.818989e-12 | 8.000000e+00 | Inf
326.74/326.97 c 315s|590000 |117598 | 2642k| 68M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 49k|8924 | 1.818989e-12 | 8.000000e+00 | Inf
331.34/331.50 c 319s|600000 |117920 | 2683k| 68M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 50k|9010 | 1.818989e-12 | 8.000000e+00 | Inf
335.94/336.14 c 324s|610000 |118133 | 2723k| 69M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 50k|9095 | 1.818989e-12 | 8.000000e+00 | Inf
340.64/340.81 c 328s|620000 |118735 | 2766k| 69M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 51k|9174 | 1.818989e-12 | 8.000000e+00 | Inf
345.24/345.45 c 333s|630000 |119792 | 2807k| 70M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 52k|9253 | 1.818989e-12 | 8.000000e+00 | Inf
349.83/350.07 c 337s|640000 |120379 | 2848k| 70M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 53k|9321 | 1.818989e-12 | 8.000000e+00 | Inf
354.43/354.67 c 342s|650000 |120696 | 2890k| 71M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 54k|9411 | 1.818989e-12 | 8.000000e+00 | Inf
359.33/359.50 c 346s|660000 |121615 | 2937k| 71M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 54k|9485 | 1.818989e-12 | 8.000000e+00 | Inf
364.13/364.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.13/364.37 c 351s|670000 |121980 | 2988k| 72M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 55k|9576 | 1.818989e-12 | 8.000000e+00 | Inf
368.72/368.94 c 355s|680000 |121934 | 3029k| 72M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 56k|9663 | 1.818989e-12 | 8.000000e+00 | Inf
373.31/373.54 c 360s|690000 |122002 | 3071k| 72M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 57k|9745 | 1.818989e-12 | 8.000000e+00 | Inf
378.02/378.20 c 364s|700000 |121738 | 3113k| 72M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 58k|9832 | 1.818989e-12 | 8.000000e+00 | Inf
382.62/382.81 c 369s|710000 |122059 | 3155k| 72M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 59k|9901 | 1.818989e-12 | 8.000000e+00 | Inf
387.21/387.45 c 373s|720000 |122683 | 3197k| 73M| 47 | - | 140 | 6 | 7 | 0 | 0 | 25 | 60k|9980 | 1.818989e-12 | 8.000000e+00 | Inf
391.91/392.16 c 378s|730000 |123428 | 3240k| 73M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 61k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
396.61/396.85 c 382s|740000 |123587 | 3283k| 74M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 61k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
401.31/401.57 c 387s|750000 |124698 | 3325k| 74M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 62k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
406.01/406.21 c 391s|760000 |125001 | 3367k| 75M| 47 | - | 140 | 6 | 5 | 140 | 15 | 25 | 63k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
410.61/410.87 c 396s|770000 |125372 | 3408k| 75M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 64k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
417.20/417.43 c 402s|780000 |126889 | 3452k| 76M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 65k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
421.90/422.17 c 407s|790000 |128081 | 3495k| 77M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 66k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
426.61/426.82 c 411s|800000 |128837 | 3539k| 77M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 66k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
431.20/431.45 c 416s|810000 |129385 | 3583k| 78M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 67k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
435.90/436.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.90/436.12 c 420s|820000 |130012 | 3627k| 78M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 68k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
440.50/440.75 c 425s|830000 |130588 | 3670k| 79M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 68k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
445.20/445.45 c 429s|840000 |131649 | 3714k| 79M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 69k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
449.79/450.08 c 434s|850000 |132347 | 3758k| 80M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 70k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
454.39/454.68 c 438s|860000 |132954 | 3802k| 80M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 70k| 10k| 1.818989e-12 | 8.000000e+00 | Inf
458.99/459.29 c 442s|870000 |132955 | 3846k| 80M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 71k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
463.58/463.88 c 447s|880000 |133019 | 3890k| 81M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 72k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
468.19/468.46 c 451s|890000 |133418 | 3933k| 81M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 72k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
472.79/473.01 c 456s|900000 |133352 | 3976k| 81M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 73k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
477.38/477.67 c 460s|910000 |133981 | 4019k| 82M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 74k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
482.08/482.39 c 465s|920000 |134292 | 4063k| 82M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 74k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
486.77/487.00 c 469s|930000 |134442 | 4107k| 82M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 75k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
491.38/491.70 c 474s|940000 |134685 | 4153k| 82M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 76k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
496.07/496.37 c 478s|950000 |134671 | 4198k| 82M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 77k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
500.87/501.11 c 483s|960000 |134745 | 4243k| 83M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 77k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
505.56/505.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
505.56/505.82 c 487s|970000 |134797 | 4288k| 83M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 78k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
510.27/510.51 c 492s|980000 |135004 | 4331k| 83M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 79k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
514.97/515.27 c 496s|990000 |135043 | 4377k| 83M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 80k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
519.86/520.11 c 501s| 1000k|135583 | 4423k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 80k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
524.47/524.79 c 506s| 1010k|135263 | 4468k| 83M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 81k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
529.16/529.40 c 510s| 1020k|134948 | 4512k| 83M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 82k| 11k| 1.818989e-12 | 8.000000e+00 | Inf
533.76/534.07 c 514s| 1030k|134723 | 4557k| 83M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 82k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
538.46/538.76 c 519s| 1040k|134626 | 4601k| 83M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 83k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
543.16/543.50 c 524s| 1050k|135445 | 4645k| 84M| 47 | - | 140 | 6 | 6 | 0 | 0 | 25 | 84k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
547.96/548.23 c 528s| 1060k|135750 | 4692k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 84k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
552.55/552.85 c 533s| 1070k|135944 | 4736k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 85k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
557.25/557.51 c 537s| 1080k|135731 | 4781k| 84M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 86k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
561.85/562.18 c 542s| 1090k|135737 | 4824k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 87k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
566.54/566.82 c 546s| 1100k|135675 | 4869k| 85M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 87k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
571.14/571.43 c 550s| 1110k|135495 | 4912k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 88k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
575.75/576.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.75/576.05 c 555s| 1120k|135317 | 4956k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 89k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
580.44/580.71 c 559s| 1130k|135037 | 5000k| 84M| 47 | - | 140 | 6 | 7 | 0 | 0 | 25 | 89k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
585.04/585.39 c 564s| 1140k|135052 | 5045k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 90k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
589.64/589.99 c 568s| 1150k|135070 | 5087k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 91k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
594.33/594.62 c 573s| 1160k|134852 | 5129k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 92k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
598.92/599.27 c 577s| 1170k|134664 | 5172k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 92k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
603.62/603.94 c 582s| 1180k|134656 | 5215k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 93k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
608.32/608.62 c 586s| 1190k|134596 | 5260k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 94k| 12k| 1.818989e-12 | 8.000000e+00 | Inf
612.92/613.28 c 591s| 1200k|135003 | 5304k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 95k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
617.62/617.95 c 595s| 1210k|135429 | 5346k| 85M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 95k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
622.31/622.61 c 600s| 1220k|135422 | 5388k| 85M| 47 | - | 140 | 6 | 5 | 0 | 0 | 25 | 96k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
626.82/627.19 c 604s| 1230k|135328 | 5431k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 97k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
631.41/631.75 c 609s| 1240k|135230 | 5473k| 85M| 47 | - | 140 | 6 | 7 | 0 | 0 | 25 | 97k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
636.01/636.38 c 613s| 1250k|135195 | 5516k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 98k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
640.61/640.98 c 617s| 1260k|134907 | 5557k| 85M| 47 | - | 140 | 6 | 6 | 0 | 0 | 25 | 99k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
645.31/645.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.31/645.64 c 622s| 1270k|134651 | 5600k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 99k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
649.91/650.23 c 626s| 1280k|134426 | 5643k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 100k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
654.51/654.85 c 631s| 1290k|134278 | 5686k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 101k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
659.10/659.49 c 635s| 1300k|134216 | 5729k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 102k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
663.70/664.09 c 640s| 1310k|134148 | 5771k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 102k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
668.30/668.62 c 644s| 1320k|134005 | 5813k| 85M| 47 | - | 140 | 6 | 6 | 0 | 0 | 25 | 103k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
672.90/673.20 c 648s| 1330k|134218 | 5856k| 85M| 47 | - | 140 | 6 | 5 | 140 | 15 | 25 | 104k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
677.40/677.78 c 653s| 1340k|133838 | 5898k| 85M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 105k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
682.10/682.45 c 657s| 1350k|133844 | 5942k| 85M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 105k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
686.59/686.99 c 662s| 1360k|133649 | 5985k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 106k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
691.28/691.64 c 666s| 1370k|133546 | 6029k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 107k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
695.89/696.24 c 671s| 1380k|133334 | 6073k| 85M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 108k| 13k| 1.818989e-12 | 8.000000e+00 | Inf
700.49/700.84 c 675s| 1390k|133148 | 6115k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 108k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
705.08/705.45 c 679s| 1400k|133098 | 6158k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 109k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
709.68/710.08 c 684s| 1410k|132854 | 6201k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 110k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
714.38/714.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.38/714.71 c 688s| 1420k|132740 | 6245k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 111k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
718.98/719.37 c 693s| 1430k|132856 | 6288k| 85M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 111k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
723.58/723.98 c 697s| 1440k|132548 | 6330k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 112k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
728.17/728.58 c 702s| 1450k|132213 | 6373k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 113k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
732.86/733.23 c 706s| 1460k|132142 | 6418k| 84M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 114k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
737.56/737.92 c 711s| 1470k|131723 | 6463k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 114k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
742.17/742.57 c 715s| 1480k|131557 | 6506k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 115k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
746.86/747.22 c 720s| 1490k|131610 | 6550k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 116k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
751.56/751.90 c 724s| 1500k|131868 | 6595k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 117k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
756.26/756.61 c 729s| 1510k|131451 | 6640k| 84M| 47 | - | 140 | 6 | 5 | 140 | 15 | 25 | 118k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
760.96/761.33 c 733s| 1520k|131507 | 6685k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 118k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
765.56/765.97 c 738s| 1530k|131426 | 6731k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 119k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
770.15/770.58 c 742s| 1540k|131164 | 6774k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 120k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
774.85/775.23 c 747s| 1550k|131015 | 6818k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 121k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
779.44/779.85 c 751s| 1560k|131056 | 6861k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 121k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
784.05/784.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.05/784.46 c 756s| 1570k|130688 | 6904k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 122k| 14k| 1.818989e-12 | 8.000000e+00 | Inf
788.75/789.14 c 760s| 1580k|131063 | 6947k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 123k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
793.44/793.82 c 765s| 1590k|131536 | 6990k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 124k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
798.04/798.45 c 769s| 1600k|131284 | 7033k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 124k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
802.64/803.07 c 773s| 1610k|130764 | 7076k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 125k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
807.24/807.63 c 778s| 1620k|130706 | 7119k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 126k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
811.84/812.23 c 782s| 1630k|130762 | 7162k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 127k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
816.53/816.92 c 787s| 1640k|130567 | 7207k| 84M| 47 | - | 140 | 6 | 7 | 0 | 0 | 25 | 127k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
821.13/821.53 c 791s| 1650k|130404 | 7250k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 128k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
825.73/826.13 c 796s| 1660k|130379 | 7293k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 129k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
830.33/830.80 c 800s| 1670k|130620 | 7338k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 129k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
835.03/835.45 c 805s| 1680k|130342 | 7381k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 130k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
839.72/840.17 c 809s| 1690k|130008 | 7425k| 84M| 47 | - | 140 | 6 | 7 | 0 | 0 | 25 | 131k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
844.33/844.79 c 814s| 1700k|129718 | 7469k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 132k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
848.93/849.38 c 818s| 1710k|129611 | 7513k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 132k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
853.62/854.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
853.62/854.04 c 823s| 1720k|129481 | 7558k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 133k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
858.22/858.67 c 827s| 1730k|129329 | 7601k| 83M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 134k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
862.92/863.32 c 831s| 1740k|129388 | 7645k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 135k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
867.42/867.90 c 836s| 1750k|129499 | 7688k| 84M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 135k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
872.02/872.48 c 840s| 1760k|129391 | 7730k| 84M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 136k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
876.71/877.10 c 845s| 1770k|129463 | 7773k| 84M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 137k| 15k| 1.818989e-12 | 8.000000e+00 | Inf
881.21/881.64 c 849s| 1780k|129412 | 7815k| 84M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 138k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
885.80/886.25 c 854s| 1790k|129399 | 7859k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 139k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
890.40/890.86 c 858s| 1800k|129316 | 7903k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 140k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
895.01/895.45 c 862s| 1810k|129357 | 7944k| 84M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 140k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
899.60/900.03 c 867s| 1820k|129169 | 7987k| 84M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 141k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
904.20/904.67 c 871s| 1830k|129146 | 8029k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 142k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
908.79/909.24 c 876s| 1840k|128966 | 8071k| 84M| 47 | - | 140 | 6 | 6 | 0 | 0 | 25 | 143k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
913.50/913.91 c 880s| 1850k|128877 | 8116k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 144k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
918.20/918.62 c 885s| 1860k|128524 | 8160k| 83M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 144k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
922.90/923.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.90/923.35 c 889s| 1870k|128589 | 8205k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 145k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
927.59/928.03 c 894s| 1880k|128578 | 8249k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 146k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
932.19/932.67 c 898s| 1890k|128421 | 8292k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 147k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
936.90/937.38 c 903s| 1900k|128410 | 8337k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 148k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
941.59/942.02 c 907s| 1910k|128699 | 8380k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 148k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
946.19/946.62 c 912s| 1920k|128412 | 8423k| 84M| 47 | - | 140 | 6 | 7 | 0 | 0 | 25 | 149k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
950.69/951.19 c 916s| 1930k|128562 | 8465k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 150k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
955.37/955.84 c 921s| 1940k|129141 | 8508k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 151k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
959.87/960.34 c 925s| 1950k|129470 | 8548k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 151k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
964.37/964.86 c 929s| 1960k|129615 | 8587k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 152k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
968.97/969.41 c 934s| 1970k|129419 | 8627k| 85M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 153k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
973.47/973.96 c 938s| 1980k|129019 | 8668k| 85M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 153k| 16k| 1.818989e-12 | 8.000000e+00 | Inf
978.07/978.57 c 943s| 1990k|129065 | 8710k| 85M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 154k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
982.67/983.19 c 947s| 2000k|128738 | 8751k| 84M| 47 | 5 | 140 | 6 | 6 | 140 | 15 | 25 | 155k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
987.27/987.78 c 951s| 2010k|128719 | 8792k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 156k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
991.87/992.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.87/992.34 c 956s| 2020k|128523 | 8831k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 156k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
996.35/996.87 c 960s| 2030k|128398 | 8873k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 157k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1000.96/1001.46 c 965s| 2040k|128607 | 8914k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 158k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1005.46/1005.98 c 969s| 2050k|128618 | 8955k| 84M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 159k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1009.96/1010.49 c 973s| 2060k|128544 | 8995k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 159k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1014.65/1015.11 c 978s| 2070k|128204 | 9038k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 160k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1019.35/1019.83 c 982s| 2080k|128460 | 9083k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 161k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1023.95/1024.42 c 987s| 2090k|128371 | 9125k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 162k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1028.55/1029.05 c 991s| 2100k|128081 | 9167k| 84M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 163k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1033.04/1033.59 c 996s| 2110k|127864 | 9209k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 164k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1037.65/1038.19 c 1000s| 2120k|127722 | 9252k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 164k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1042.24/1042.74 c 1004s| 2130k|127943 | 9293k| 84M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 165k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1046.74/1047.24 c 1009s| 2140k|127645 | 9334k| 84M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 166k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1051.24/1051.79 c 1013s| 2150k|127544 | 9377k| 84M| 47 | - | 140 | 6 | 6 | 0 | 0 | 25 | 166k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1056.24/1056.70 c 1018s| 2160k|128720 | 9423k| 85M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 167k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1060.94/1061.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.94/1061.45 c 1022s| 2170k|129943 | 9466k| 85M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 168k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1065.54/1066.07 c 1027s| 2180k|130714 | 9509k| 86M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 168k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1070.13/1070.69 c 1031s| 2190k|131395 | 9551k| 87M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 169k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1074.73/1075.28 c 1036s| 2200k|131933 | 9594k| 87M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 170k| 17k| 1.818989e-12 | 8.000000e+00 | Inf
1079.43/1079.97 c 1040s| 2210k|132315 | 9637k| 87M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 171k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1084.14/1084.61 c 1045s| 2220k|132482 | 9679k| 88M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 171k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1088.72/1089.23 c 1049s| 2230k|132798 | 9722k| 88M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 172k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1093.32/1093.84 c 1054s| 2240k|132889 | 9764k| 88M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 173k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1098.02/1098.50 c 1058s| 2250k|133151 | 9807k| 88M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 174k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1102.51/1103.07 c 1062s| 2260k|133469 | 9849k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 174k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1107.11/1107.70 c 1067s| 2270k|133192 | 9892k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 175k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1111.81/1112.30 c 1071s| 2280k|133078 | 9934k| 89M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 176k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1116.52/1117.00 c 1076s| 2290k|133114 | 9977k| 89M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 177k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1121.11/1121.62 c 1080s| 2300k|134209 | 10018k| 90M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 177k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1125.61/1126.14 c 1085s| 2310k|134344 | 10059k| 90M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 178k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1130.30/1130.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1130.30/1130.85 c 1089s| 2320k|135289 | 10103k| 90M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 179k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1134.90/1135.46 c 1094s| 2330k|135407 | 10145k| 91M| 47 | - | 140 | 6 | 7 | 0 | 0 | 25 | 179k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1139.50/1140.09 c 1098s| 2340k|136015 | 10187k| 91M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 180k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1144.10/1144.63 c 1102s| 2350k|136394 | 10229k| 91M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 181k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1148.69/1149.20 c 1107s| 2360k|136487 | 10271k| 92M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 182k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1153.19/1153.78 c 1111s| 2370k|136662 | 10312k| 92M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 182k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1157.80/1158.35 c 1116s| 2380k|136542 | 10354k| 92M| 47 | - | 140 | 6 | 6 | 0 | 0 | 25 | 183k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1162.30/1162.89 c 1120s| 2390k|136245 | 10395k| 92M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 184k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1166.89/1167.49 c 1124s| 2400k|136338 | 10438k| 92M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 184k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1171.59/1172.10 c 1129s| 2410k|136053 | 10481k| 92M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 185k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1176.28/1176.82 c 1133s| 2420k|136499 | 10524k| 92M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 186k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1180.88/1181.49 c 1138s| 2430k|136721 | 10568k| 93M| 47 | - | 140 | 6 | 7 | 0 | 0 | 25 | 187k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1185.58/1186.16 c 1142s| 2440k|136790 | 10612k| 93M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 187k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1190.38/1190.91 c 1147s| 2450k|137907 | 10657k| 93M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 188k| 18k| 1.818989e-12 | 8.000000e+00 | Inf
1194.98/1195.57 c 1151s| 2460k|138120 | 10700k| 94M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 189k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1199.68/1200.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.68/1200.26 c 1156s| 2470k|137923 | 10744k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 190k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1204.27/1204.86 c 1160s| 2480k|137978 | 10786k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 190k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1208.87/1209.46 c 1165s| 2490k|137637 | 10829k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 191k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1213.38/1213.99 c 1169s| 2500k|137660 | 10871k| 94M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 192k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1218.07/1218.61 c 1174s| 2510k|137544 | 10913k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 193k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1222.66/1223.24 c 1178s| 2520k|137400 | 10956k| 94M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 | 193k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1227.26/1227.85 c 1183s| 2530k|137436 | 10999k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 194k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1231.86/1232.48 c 1187s| 2540k|137429 | 11042k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 195k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1236.56/1237.14 c 1192s| 2550k|137525 | 11085k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 196k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1241.16/1241.79 c 1196s| 2560k|137313 | 11129k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 196k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1245.86/1246.42 c 1200s| 2570k|137526 | 11171k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 197k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1250.35/1250.97 c 1205s| 2580k|137485 | 11213k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 198k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1254.95/1255.60 c 1209s| 2590k|137156 | 11257k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 198k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1259.75/1260.32 c 1214s| 2600k|137126 | 11301k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 199k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1264.35/1264.94 c 1218s| 2610k|137011 | 11344k| 94M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 200k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1268.84/1269.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.84/1269.50 c 1223s| 2620k|136898 | 11386k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 201k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1273.43/1274.08 c 1227s| 2630k|136300 | 11429k| 94M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 201k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1278.13/1278.71 c 1232s| 2640k|135988 | 11472k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 202k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1282.73/1283.34 c 1236s| 2650k|135464 | 11515k| 93M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 203k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1287.34/1287.94 c 1240s| 2660k|135206 | 11559k| 93M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 204k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1291.94/1292.52 c 1245s| 2670k|134938 | 11601k| 93M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 204k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1296.53/1297.19 c 1249s| 2680k|135582 | 11643k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 205k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1301.23/1301.86 c 1254s| 2690k|136348 | 11686k| 94M| 47 | - | 140 | 6 | 6 | 0 | 0 | 25 | 206k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1305.83/1306.47 c 1258s| 2700k|136457 | 11729k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 207k| 19k| 1.818989e-12 | 8.000000e+00 | Inf
1310.63/1311.21 c 1263s| 2710k|137564 | 11772k| 95M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 207k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1315.22/1315.83 c 1267s| 2720k|138210 | 11815k| 95M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 208k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1319.82/1320.41 c 1272s| 2730k|138576 | 11857k| 96M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 209k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1324.42/1325.02 c 1276s| 2740k|139410 | 11900k| 96M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 210k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1328.92/1329.54 c 1281s| 2750k|140068 | 11942k| 97M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 210k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1333.42/1334.06 c 1285s| 2760k|140450 | 11983k| 97M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 211k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1338.01/1338.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.01/1338.68 c 1289s| 2770k|140635 | 12026k| 97M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 212k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1342.62/1343.27 c 1294s| 2780k|140541 | 12069k| 98M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 212k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1347.21/1347.86 c 1298s| 2790k|140501 | 12112k| 98M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 213k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1351.81/1352.46 c 1303s| 2800k|140905 | 12155k| 98M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 214k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1356.40/1357.04 c 1307s| 2810k|140740 | 12197k| 98M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 215k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1361.00/1361.66 c 1311s| 2820k|140869 | 12239k| 98M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 215k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1365.61/1366.22 c 1316s| 2830k|140748 | 12282k| 98M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 216k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1370.11/1370.78 c 1320s| 2840k|141108 | 12324k| 99M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 217k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1374.70/1375.33 c 1325s| 2850k|141612 | 12367k| 99M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 218k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1379.19/1379.89 c 1329s| 2860k|141686 | 12409k| 99M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 218k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1383.80/1384.45 c 1333s| 2870k|141660 | 12450k| 99M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 219k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1388.30/1388.98 c 1338s| 2880k|141471 | 12492k| 99M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 220k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1392.89/1393.53 c 1342s| 2890k|141237 | 12534k| 99M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 221k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1397.49/1398.11 c 1346s| 2900k|140784 | 12577k| 99M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 221k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1402.09/1402.71 c 1351s| 2910k|140341 | 12619k| 99M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 222k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1406.69/1407.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1406.69/1407.33 c 1355s| 2920k|140468 | 12663k| 99M| 47 | - | 140 | 6 | 7 | 140 | 15 | 25 | 223k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1411.18/1411.88 c 1360s| 2930k|140415 | 12706k| 99M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 224k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1415.79/1416.49 c 1364s| 2940k|140804 | 12748k| 99M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 224k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1420.39/1421.08 c 1369s| 2950k|140716 | 12791k| 99M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 225k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1424.99/1425.64 c 1373s| 2960k|140239 | 12833k| 99M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 226k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1429.59/1430.21 c 1377s| 2970k|140017 | 12875k| 99M| 47 | - | 140 | 6 | 6 | 0 | 0 | 25 | 227k| 20k| 1.818989e-12 | 8.000000e+00 | Inf
1434.08/1434.76 c 1382s| 2980k|139627 | 12917k| 99M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 227k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1438.68/1439.32 c 1386s| 2990k|139970 | 12959k| 99M| 47 | - | 140 | 6 | 5 | 0 | 0 | 25 | 228k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1443.17/1443.82 c 1390s| 3000k|139643 | 13000k| 99M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 229k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1447.77/1448.41 c 1395s| 3010k|139287 | 13042k| 99M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 230k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1452.27/1452.96 c 1399s| 3020k|138878 | 13086k| 99M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 231k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1456.87/1457.54 c 1404s| 3030k|138856 | 13128k| 99M| 47 | - | 140 | 6 | 6 | 0 | 0 | 25 | 231k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1461.37/1462.09 c 1408s| 3040k|138950 | 13171k| 99M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 232k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1465.96/1466.62 c 1412s| 3050k|138638 | 13212k| 99M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 233k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1470.47/1471.16 c 1417s| 3060k|138108 | 13255k| 98M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 234k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1475.06/1475.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.06/1475.79 c 1421s| 3070k|138074 | 13298k| 98M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 234k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1479.66/1480.39 c 1426s| 3080k|137908 | 13341k| 98M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 235k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1484.26/1484.97 c 1430s| 3090k|138048 | 13383k| 98M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 236k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1488.76/1489.44 c 1434s| 3100k|137818 | 13425k| 98M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 237k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1493.26/1493.99 c 1439s| 3110k|137286 | 13468k| 98M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 238k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1497.85/1498.59 c 1443s| 3120k|136997 | 13511k| 98M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 238k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1502.45/1503.18 c 1448s| 3130k|136659 | 13553k| 97M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 239k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1507.04/1507.72 c 1452s| 3140k|136026 | 13596k| 97M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 240k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1511.55/1512.25 c 1456s| 3150k|135539 | 13639k| 97M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 241k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1516.15/1516.85 c 1461s| 3160k|135100 | 13682k| 96M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 242k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1520.75/1521.40 c 1465s| 3170k|134601 | 13723k| 96M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 242k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1525.34/1526.00 c 1470s| 3180k|134250 | 13766k| 95M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 243k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1529.84/1530.57 c 1474s| 3190k|133624 | 13809k| 95M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 244k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1534.44/1535.10 c 1478s| 3200k|133042 | 13850k| 94M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 245k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1539.04/1539.76 c 1483s| 3210k|132524 | 13894k| 94M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 245k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1543.63/1544.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1543.63/1544.32 c 1487s| 3220k|131944 | 13937k| 93M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 246k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1548.14/1548.83 c 1492s| 3230k|131686 | 13979k| 93M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 247k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1552.63/1553.37 c 1496s| 3240k|131136 | 14021k| 92M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 248k| 21k| 1.818989e-12 | 8.000000e+00 | Inf
1557.33/1558.03 c 1500s| 3250k|130976 | 14064k| 92M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 249k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1562.32/1563.06 c 1505s| 3260k|131657 | 14110k| 93M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 249k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1567.23/1567.96 c 1510s| 3270k|131857 | 14156k| 93M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 250k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1572.03/1572.71 c 1515s| 3280k|132625 | 14203k| 93M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 251k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1576.62/1577.37 c 1519s| 3290k|132786 | 14247k| 94M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 251k| 22k| 1.818989e-12 | 8.000000e+00 | Inf
1577.52/1578.27 o 7
1577.52/1578.27 c *1520s| 3291k|130498 | 14256k| 90M| 47 | - | 140 | 6 | 0 | 140 | 15 | 25 | 251k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1583.31/1584.07 c 1525s| 3300k|130784 | 14292k| 90M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 252k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1587.91/1588.67 c 1530s| 3310k|130896 | 14337k| 90M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 252k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1592.51/1593.27 c 1534s| 3320k|130797 | 14381k| 90M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 253k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1597.10/1597.82 c 1539s| 3330k|130609 | 14424k| 90M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 254k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1601.61/1602.39 c 1543s| 3340k|130309 | 14467k| 90M| 47 | - | 140 | 6 | 6 | 140 | 15 | 25 | 255k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1606.21/1606.96 c 1547s| 3350k|130329 | 14511k| 90M| 47 | - | 140 | 6 | 7 | 0 | 0 | 25 | 255k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1610.71/1611.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1610.71/1611.45 c 1552s| 3360k|130169 | 14554k| 90M| 47 | 6 | 140 | 6 | 6 | 140 | 15 | 25 | 256k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1615.21/1615.99 c 1556s| 3370k|129967 | 14597k| 90M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 256k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1619.80/1620.58 c 1561s| 3380k|129658 | 14641k| 90M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 | 257k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1624.50/1625.24 c 1565s| 3390k|130255 | 14687k| 90M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 258k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1629.10/1629.87 c 1570s| 3400k|130410 | 14732k| 90M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 258k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1633.69/1634.49 c 1574s| 3410k|130579 | 14775k| 90M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 259k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1638.40/1639.11 c 1578s| 3420k|130468 | 14820k| 90M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 | 260k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1642.88/1643.69 c 1583s| 3430k|130247 | 14864k| 90M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 260k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1647.48/1648.23 c 1587s| 3440k|130157 | 14909k| 90M| 47 | 6 | 140 | 8 | 6 | 140 | 15 | 25 | 261k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1651.98/1652.73 c 1592s| 3450k|129921 | 14952k| 90M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 | 262k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1656.58/1657.35 c 1596s| 3460k|130093 | 14995k| 90M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 | 263k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1661.18/1661.92 c 1600s| 3470k|129938 | 15038k| 90M| 47 | - | 140 | 8 | 6 | 140 | 15 | 25 | 263k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1665.68/1666.47 c 1605s| 3480k|129913 | 15081k| 90M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 264k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1670.58/1671.35 c 1609s| 3490k|131278 | 15129k| 91M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 | 265k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1675.37/1676.17 c 1614s| 3500k|132395 | 15173k| 92M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 | 265k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1680.08/1680.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.08/1680.84 c 1619s| 3510k|132934 | 15217k| 92M| 47 | - | 140 | 7 | 6 | 0 | 0 | 25 | 266k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1684.77/1685.52 c 1623s| 3520k|133562 | 15261k| 93M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 267k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1689.37/1690.11 c 1627s| 3530k|134050 | 15304k| 93M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 267k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1693.97/1694.75 c 1632s| 3540k|134660 | 15348k| 93M| 47 | - | 140 | 8 | 6 | 140 | 15 | 25 | 268k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1698.57/1699.36 c 1636s| 3550k|134953 | 15391k| 94M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 269k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1703.17/1703.94 c 1641s| 3560k|135253 | 15434k| 94M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 | 269k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1707.77/1708.60 c 1645s| 3570k|135692 | 15478k| 94M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 270k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1712.36/1713.13 c 1650s| 3580k|135999 | 15521k| 95M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 271k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1716.96/1717.74 c 1654s| 3590k|136842 | 15562k| 95M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 271k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1721.56/1722.30 c 1658s| 3600k|137008 | 15604k| 96M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 272k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1726.05/1726.85 c 1663s| 3610k|136993 | 15646k| 96M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 272k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1730.56/1731.37 c 1667s| 3620k|137012 | 15689k| 96M| 47 | - | 140 | 7 | 6 | 0 | 0 | 25 | 273k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1735.16/1735.93 c 1672s| 3630k|136830 | 15732k| 96M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 274k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1739.66/1740.50 c 1676s| 3640k|137316 | 15774k| 96M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 | 274k| 22k| 1.818989e-12 | 7.000000e+00 | Inf
1744.25/1745.04 c 1680s| 3650k|137392 | 15816k| 96M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 275k| 23k| 1.818989e-12 | 7.000000e+00 | Inf
1748.85/1749.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1748.85/1749.60 c 1685s| 3660k|137286 | 15858k| 96M| 47 | - | 140 | 7 | 7 | 140 | 15 | 25 | 276k| 23k| 1.818989e-12 | 7.000000e+00 | Inf
1753.45/1754.27 c 1689s| 3670k|137957 | 15902k| 97M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 276k| 23k| 1.818989e-12 | 7.000000e+00 | Inf
1758.04/1758.89 c 1694s| 3680k|137870 | 15946k| 97M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 277k| 23k| 1.818989e-12 | 7.000000e+00 | Inf
1762.64/1763.48 c 1698s| 3690k|137660 | 15988k| 97M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 278k| 23k| 1.818989e-12 | 7.000000e+00 | Inf
1767.23/1768.08 c 1703s| 3700k|137706 | 16031k| 97M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 | 278k| 23k| 1.818989e-12 | 7.000000e+00 | Inf
1771.83/1772.65 c 1707s| 3710k|137452 | 16074k| 97M| 47 | 6 | 140 | 8 | 6 | 140 | 15 | 25 | 279k| 23k| 1.818989e-12 | 7.000000e+00 | Inf
1776.44/1777.26 c 1711s| 3720k|137274 | 16117k| 97M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 280k| 23k| 1.818989e-12 | 7.000000e+00 | Inf
1781.13/1781.93 c 1716s| 3730k|137202 | 16160k| 97M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 280k| 23k| 1.818989e-12 | 7.000000e+00 | Inf
1785.73/1786.50 c 1720s| 3740k|137420 | 16204k| 97M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 281k| 23k| 1.818989e-12 | 7.000000e+00 | Inf
1790.32/1791.12 c 1725s| 3750k|137180 | 16249k| 97M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 282k| 23k| 1.818989e-12 | 7.000000e+00 | Inf
1794.92/1795.71 c 1729s| 3760k|137259 | 16293k| 97M| 47 | 6 | 140 | 7 | 6 | 140 | 15 | 25 | 282k| 23k| 1.818989e-12 | 7.000000e+00 | Inf
1799.53/1800.35 c 1734s| 3770k|137195 | 16337k| 97M| 47 | - | 140 | 7 | 6 | 140 | 15 | 25 | 283k| 23k| 1.818989e-12 | 7.000000e+00 | Inf
1800.03/1800.80 c
1800.03/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.81 c Solving Time (sec) : 1734.06
1800.03/1800.81 c Solving Nodes : 3770997
1800.03/1800.81 c Primal Bound : +7.00000000000000e+00 (33 solutions)
1800.03/1800.81 c Dual Bound : +1.81898940354586e-12
1800.03/1800.81 c Gap : infinite
1800.03/1800.81 c NODE 3770997
1800.03/1800.81 c DUAL BOUND 1.81899e-12
1800.03/1800.81 c PRIMAL BOUND 7
1800.03/1800.81 c GAP 1e+20
1800.03/1800.81 s SATISFIABLE
1800.03/1800.81 v -x146 -x145 x144 -x143 x142 -x141 x140 x139 -x138 -x137 -x136 x135 -x134 x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 x125 -x124
1800.03/1800.81 v -x123 x122 x121 -x120 -x119 x118 -x117 x116 x115 x114 x113 x112 x111 x110 -x109 -x108 x107 -x106 -x105 x104 x103 -x102 x101
1800.03/1800.81 v x100 x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
1800.03/1800.81 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1800.03/1800.81 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
1800.03/1800.81 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
1800.03/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.81 c Solving Time : 1734.06
1800.03/1800.81 c Original Problem :
1800.03/1800.81 c Problem name : HOME/instance-1869541-1245177639.opb
1800.03/1800.81 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.81 c Constraints : 12 initial, 12 maximal
1800.03/1800.81 c Presolved Problem :
1800.03/1800.81 c Problem name : t_HOME/instance-1869541-1245177639.opb
1800.03/1800.81 c Variables : 140 (140 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.81 c Constraints : 6 initial, 9 maximal
1800.03/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.81 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.81 c linear : 0.00 0 6 0 0 0 6 0 0
1800.03/1800.81 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.81 c root node : - 60 - - 60 - - - -
1800.03/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.81 c integral : 0 0 0 1993485 0 54 3408 0 0 3980104
1800.03/1800.81 c linear : 6 6 5137584 2 0 664048 4171696 8 0 0
1800.03/1800.81 c logicor : 0+ 0 108128 0 0 4125 81938 0 0 0
1800.03/1800.81 c countsols : 0 0 0 18 0 0 0 0 0 0
1800.03/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.81 c integral : 25.82 0.00 0.00 25.82 0.00
1800.03/1800.81 c linear : 292.34 0.00 292.34 0.00 0.00
1800.03/1800.81 c logicor : 0.70 0.00 0.70 0.00 0.00
1800.03/1800.81 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.81 c rootredcost : 1.83 32 0 60
1800.03/1800.81 c pseudoobj : 39.24 5156395 18982 85293
1800.03/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.81 c propagation : 37.46 687144 283473 325434 45.3 1 43.0 -
1800.03/1800.81 c infeasible LP : 6.91 1199774 2 3 39.7 0 0.0 0
1800.03/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.81 c applied globally : - - - 23 29.4 - - -
1800.03/1800.81 c applied locally : - - - 283452 45.3 - - -
1800.03/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.81 c cut pool : 0.00 5 - - 6 - (maximal pool size: 83)
1800.03/1800.81 c redcost : 34.55 2549886 0 9479573 0 0
1800.03/1800.81 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.81 c intobj : 0.00 0 0 0 0 0
1800.03/1800.81 c gomory : 0.01 6 0 0 0 0
1800.03/1800.81 c strongcg : 0.01 6 0 0 40 0
1800.03/1800.81 c cmir : 0.01 6 0 0 21 0
1800.03/1800.81 c flowcover : 0.05 6 0 0 28 0
1800.03/1800.81 c clique : 0.00 1 0 0 0 0
1800.03/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.81 c mcf : 0.00 1 0 0 0 0
1800.03/1800.81 c Pricers : Time Calls Vars
1800.03/1800.81 c problem variables: 0.00 0 0
1800.03/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.81 c relpscost : 23.87 1993467 54 3408 0 0 3980104
1800.03/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.81 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.81 c random : 0.00 0 0 0 0 0 0
1800.03/1800.81 c Primal Heuristics : Time Calls Found
1800.03/1800.81 c LP solutions : 0.09 - 18
1800.03/1800.81 c pseudo solutions : 0.00 - 0
1800.03/1800.81 c oneopt : 1.73 32 0
1800.03/1800.81 c feaspump : 0.23 2 0
1800.03/1800.81 c crossover : 16.89 13 1
1800.03/1800.81 c linesearchdiving : 7.81 3986 1
1800.03/1800.81 c coefdiving : 11.27 3986 2
1800.03/1800.81 c pscostdiving : 9.28 3986 3
1800.03/1800.81 c fracdiving : 8.67 3986 2
1800.03/1800.81 c guideddiving : 8.23 3986 4
1800.03/1800.81 c veclendiving : 7.94 3987 0
1800.03/1800.81 c simplerounding : 1.30 0 0
1800.03/1800.81 c rounding : 1.93 21646 0
1800.03/1800.81 c shifting : 18.86 21462 1
1800.03/1800.81 c intshifting : 0.14 0 0
1800.03/1800.81 c fixandinfer : 0.00 0 0
1800.03/1800.81 c intdiving : 0.00 0 0
1800.03/1800.81 c actconsdiving : 0.00 0 0
1800.03/1800.81 c objpscostdiving : 6.56 1994 1
1800.03/1800.81 c rootsoldiving : 6.74 1842 0
1800.03/1800.81 c octane : 0.00 0 0
1800.03/1800.81 c rens : 0.02 1 0
1800.03/1800.81 c rins : 0.00 0 0
1800.03/1800.81 c localbranching : 0.00 0 0
1800.03/1800.81 c mutation : 0.00 0 0
1800.03/1800.81 c dins : 0.00 0 0
1800.03/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.81 c dual LP : 991.74 3506855 15739829 4.49 15870.92
1800.03/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.81 c diving/probing LP: 45.32 200004 601926 3.01 13281.69
1800.03/1800.81 c strong branching : 5.45 23375 81568 3.49 14966.61
1800.03/1800.81 c (at root node) : - 15 647 43.13 -
1800.03/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.81 c B&B Tree :
1800.03/1800.81 c number of runs : 1
1800.03/1800.81 c nodes : 3770997
1800.03/1800.81 c nodes (total) : 3770997
1800.03/1800.81 c nodes left : 137114
1800.03/1800.81 c max depth : 47
1800.03/1800.81 c max depth (total): 47
1800.03/1800.81 c backtracks : 970819 (25.7%)
1800.03/1800.81 c delayed cutoffs : 54475
1800.03/1800.81 c repropagations : 87632 (321584 domain reductions, 54150 cutoffs)
1800.03/1800.81 c avg switch length: 4.92
1800.03/1800.81 c switching time : 77.77
1800.03/1800.81 c Solution :
1800.03/1800.81 c Solutions found : 33 (32 improvements)
1800.03/1800.81 c Primal Bound : +7.00000000000000e+00 (in run 1, after 3291894 nodes, 1519.89 seconds, depth 38, found by <relaxation>)
1800.03/1800.81 c Dual Bound : +1.81898940354586e-12
1800.03/1800.81 c Gap : infinite
1800.03/1800.81 c Root Dual Bound : +1.81898940354586e-12
1800.52/1801.33 c Time complete: 1800.56.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869541-1245177639/watcher-1869541-1245177639 -o /tmp/evaluation-result-1869541-1245177639/solver-1869541-1245177639 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869541-1245177639.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: 1.09 1.04 1.00 3/65 3205
/proc/meminfo: memFree=1861792/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=5680 CPUtime=0
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 474 0 0 0 0 0 0 0 20 0 1 0 185362541 5816320 458 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 0 0 0
/proc/3205/statm: 1420 459 332 1256 0 159 0
[startup+0.105167 s]
/proc/loadavg: 1.09 1.04 1.00 3/65 3205
/proc/meminfo: memFree=1861792/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=15184 CPUtime=0.09
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 3012 0 0 0 9 0 0 0 21 0 1 0 185362541 15548416 2642 1992294400 4194304 9342243 548682068736 18446744073709551615 4386402 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 3796 2642 667 1256 0 2535 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15184
[startup+0.201176 s]
/proc/loadavg: 1.09 1.04 1.00 3/65 3205
/proc/meminfo: memFree=1861792/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=16300 CPUtime=0.19
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 4742 0 0 0 18 1 0 0 21 0 1 0 185362541 16691200 2714 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 4075 2714 691 1256 0 2814 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16300
[startup+0.301185 s]
/proc/loadavg: 1.09 1.04 1.00 3/65 3205
/proc/meminfo: memFree=1861792/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=16448 CPUtime=0.28
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 4782 0 0 0 27 1 0 0 22 0 1 0 185362541 16842752 2754 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 4112 2754 693 1256 0 2851 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 16448
[startup+0.701227 s]
/proc/loadavg: 1.09 1.04 1.00 3/65 3205
/proc/meminfo: memFree=1861792/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=16768 CPUtime=0.69
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 4865 0 0 0 67 2 0 0 25 0 1 0 185362541 17170432 2837 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 4192 2837 699 1256 0 2931 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16768
[startup+1.50131 s]
/proc/loadavg: 1.09 1.04 1.00 2/66 3206
/proc/meminfo: memFree=1846744/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=16916 CPUtime=1.49
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 6544 0 0 0 142 7 0 0 25 0 1 0 185362541 17321984 2854 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 4229 2854 699 1256 0 2968 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16916
[startup+3.10147 s]
/proc/loadavg: 1.09 1.04 1.00 2/66 3206
/proc/meminfo: memFree=1852568/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=18072 CPUtime=3.09
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 6780 0 0 0 298 11 0 0 25 0 1 0 185362541 18505728 3090 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 4518 3090 699 1256 0 3257 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18072
[startup+6.30183 s]
/proc/loadavg: 1.08 1.04 1.00 2/66 3206
/proc/meminfo: memFree=1847192/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=20516 CPUtime=6.28
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 8765 0 0 0 607 21 0 0 25 0 1 0 185362541 21008384 4149 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 5129 4149 699 1256 0 3868 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20516
[startup+12.7014 s]
/proc/loadavg: 1.08 1.04 1.00 2/66 3206
/proc/meminfo: memFree=1847200/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=22360 CPUtime=12.67
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 10668 0 0 0 1227 40 0 0 25 0 1 0 185362541 22896640 4272 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 5590 4272 700 1256 0 4329 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 22360
[startup+25.5017 s]
/proc/loadavg: 1.06 1.04 1.00 2/66 3206
/proc/meminfo: memFree=1839008/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=28976 CPUtime=25.47
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 18660 0 0 0 2460 87 0 0 25 0 1 0 185362541 29671424 6314 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 7244 6314 700 1256 0 5983 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 28976
[startup+51.1013 s]
/proc/loadavg: 1.04 1.03 1.00 2/66 3206
/proc/meminfo: memFree=1830304/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=37704 CPUtime=51.05
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 23112 0 0 0 4937 168 0 0 25 0 1 0 185362541 38608896 8530 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 9426 8530 700 1256 0 8165 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 37704
[startup+102.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/66 3206
/proc/meminfo: memFree=1817376/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=51192 CPUtime=102.24
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 31034 0 0 0 9858 366 0 0 25 0 1 0 185362541 52420608 11726 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 12798 11726 700 1256 0 11537 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 51192
[startup+162.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 3206
/proc/meminfo: memFree=1796768/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=73380 CPUtime=162.21
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 37713 0 0 0 15642 579 0 0 25 0 1 0 185362541 75141120 16846 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 18345 16846 700 1256 0 17084 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 73380
[startup+222.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 3206
/proc/meminfo: memFree=1782752/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=86384 CPUtime=222.2
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 41184 0 0 0 21433 787 0 0 25 0 1 0 185362541 88457216 20317 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 21596 20317 700 1256 0 20335 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 86384
[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 3206
/proc/meminfo: memFree=1776416/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=92324 CPUtime=282.16
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 43794 0 0 0 27200 1016 0 0 25 0 1 0 185362541 94539776 21888 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 23081 21888 700 1256 0 21820 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 92324
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3206
/proc/meminfo: memFree=1770336/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=98416 CPUtime=342.13
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 46113 0 0 0 32983 1230 0 0 25 0 1 0 185362541 100777984 23361 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 24604 23361 700 1256 0 23343 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 98416
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3206
/proc/meminfo: memFree=1766240/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=103052 CPUtime=402.11
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 47146 0 0 0 38761 1450 0 0 25 0 1 0 185362541 105525248 24394 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 25763 24394 700 1256 0 24502 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 103052
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3206
/proc/meminfo: memFree=1759968/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=108676 CPUtime=462.08
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 49665 0 0 0 44536 1672 0 0 25 0 1 0 185362541 111284224 25926 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 27169 25926 700 1256 0 25908 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 108676
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3206
/proc/meminfo: memFree=1756256/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=112808 CPUtime=522.07
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 50585 0 0 0 50310 1897 0 0 25 0 1 0 185362541 115515392 26846 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 28202 26846 700 1256 0 26941 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 112808
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3206
/proc/meminfo: memFree=1755616/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=113480 CPUtime=582.04
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 50718 0 0 0 56091 2113 0 0 25 0 1 0 185362541 116203520 26979 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 28370 26979 700 1256 0 27109 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 113480
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3206
/proc/meminfo: memFree=1753248/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=114576 CPUtime=642.01
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 51312 0 0 0 61865 2336 0 0 25 0 1 0 185362541 117325824 27573 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 28644 27573 700 1256 0 27383 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 114576
[startup+702.302 s]
################
# More data... #
################
[startup+942.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 3208
/proc/meminfo: memFree=1752608/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=115828 CPUtime=941.89
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 51338 0 0 0 90755 3434 0 0 25 0 1 0 185362541 118607872 27599 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 28957 27599 700 1256 0 27696 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 115828
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3208
/proc/meminfo: memFree=1751008/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=116292 CPUtime=1001.86
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 51755 0 0 0 96539 3647 0 0 25 0 1 0 185362541 119083008 28016 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 29073 28016 700 1256 0 27812 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 116292
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3208
/proc/meminfo: memFree=1750944/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=116292 CPUtime=1061.84
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 51756 0 0 0 102325 3859 0 0 25 0 1 0 185362541 119083008 28017 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 29073 28017 700 1256 0 27812 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 116292
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3208
/proc/meminfo: memFree=1750752/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=117256 CPUtime=1121.81
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 51793 0 0 0 108097 4084 0 0 25 0 1 0 185362541 120070144 28054 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 29314 28054 700 1256 0 28053 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 117256
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3208
/proc/meminfo: memFree=1747680/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=120324 CPUtime=1181.78
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 52531 0 0 0 113867 4311 0 0 25 0 1 0 185362541 123211776 28792 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 30081 28792 700 1256 0 28820 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 120324
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3214
/proc/meminfo: memFree=1745760/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=122020 CPUtime=1241.75
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 52899 0 0 0 119646 4529 0 0 25 0 1 0 185362541 124948480 29160 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 30505 29160 700 1256 0 29244 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 122020
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3214
/proc/meminfo: memFree=1745760/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=122496 CPUtime=1301.72
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 52905 0 0 0 125426 4746 0 0 25 0 1 0 185362541 125435904 29166 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 30624 29166 700 1256 0 29363 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 122496
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3214
/proc/meminfo: memFree=1742304/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=125740 CPUtime=1361.7
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 53767 0 0 0 131204 4966 0 0 25 0 1 0 185362541 128757760 30028 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 31435 30028 700 1256 0 30174 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 125740
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3214
/proc/meminfo: memFree=1741664/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=126412 CPUtime=1421.69
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 53927 0 0 0 136974 5195 0 0 25 0 1 0 185362541 129445888 30188 1992294400 4194304 9342243 548682068736 18446744073709551615 6059595 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 31603 30188 700 1256 0 30342 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 126412
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3214
/proc/meminfo: memFree=1741088/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=126788 CPUtime=1481.66
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 54051 0 0 0 142752 5414 0 0 25 0 1 0 185362541 129830912 30312 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 31697 30312 700 1256 0 30436 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 126788
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3214
/proc/meminfo: memFree=1740768/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=127392 CPUtime=1541.63
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 54131 0 0 0 148527 5636 0 0 25 0 1 0 185362541 130449408 30392 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 31848 30392 700 1256 0 30587 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 127392
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3214
/proc/meminfo: memFree=1738336/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=128012 CPUtime=1601.61
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 56481 0 0 0 154299 5862 0 0 25 0 1 0 185362541 131084288 30985 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 32003 30985 700 1256 0 30742 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 128012
[startup+1662.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 3214
/proc/meminfo: memFree=1737888/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=128332 CPUtime=1661.58
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 56561 0 0 0 160076 6082 0 0 25 0 1 0 185362541 131411968 31065 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 32083 31065 700 1256 0 30822 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 128332
[startup+1722.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/66 3214
/proc/meminfo: memFree=1737760/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=128332 CPUtime=1721.56
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 56561 0 0 0 165846 6310 0 0 25 0 1 0 185362541 131411968 31065 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 32083 31065 700 1256 0 30822 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 128332
[startup+1782.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/66 3214
/proc/meminfo: memFree=1737568/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=128332 CPUtime=1781.53
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 56561 0 0 0 171624 6529 0 0 25 0 1 0 185362541 131411968 31065 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 32083 31065 700 1256 0 30822 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 128332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.81 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 3214
/proc/meminfo: memFree=1737568/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=128332 CPUtime=1800.03
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 56561 0 0 0 173406 6597 0 0 25 0 1 0 185362541 131411968 31065 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3205/statm: 32083 31065 700 1256 0 30822 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 128332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.1 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 3214
/proc/meminfo: memFree=1737568/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=128332 CPUtime=1800.32
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 56562 0 0 0 173435 6597 0 0 25 0 1 0 185362541 131411968 31066 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/3205/statm: 32083 31066 701 1256 0 30822 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 128332
[startup+1801.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 3214
/proc/meminfo: memFree=1737568/2055920 swapFree=4169920/4192956
[pid=3205] ppid=3203 vsize=128332 CPUtime=1800.52
/proc/3205/stat : 3205 (pbscip.linux.x8) R 3203 3205 3140 0 -1 4194304 56562 0 0 0 173455 6597 0 0 25 0 1 0 185362541 131411968 31066 1992294400 4194304 9342243 548682068736 18446744073709551615 4805770 0 0 4096 0 0 0 0 17 1 0 0
/proc/3205/statm: 32083 31066 701 1256 0 30822 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 128332
Child status: 0
Real time (s): 1801.34
CPU time (s): 1800.57
CPU user time (s): 1734.57
CPU system time (s): 65.998
CPU usage (%): 99.9573
Max. virtual memory (cumulated for all children) (KiB): 134088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1734.57
system time used= 65.998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56565
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= 7275
runsolver used 2.06169 second user time and 4.03739 second system time
The end