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-1869495-1245174707.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.01 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.02 c (0.0s) probing: 101/140 (72.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 140 variables (140 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c OPT-LIN
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = c 1620
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = c 1791
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = c 10000
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving problem
0.00/0.02 c
0.00/0.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 | 465k| 0 | 6 | 140 | 6 | 6 | 140 | 6 | 0 | 0 | 0 | 9.094947e-13 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 96 | 553k| 0 | 10 | 140 | 6 | 6 | 140 | 13 | 7 | 0 | 0 | 9.094947e-13 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 106 | 601k| 0 | 14 | 140 | 6 | 6 | 140 | 19 | 13 | 0 | 0 | 9.094947e-13 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 109 | 609k| 0 | 15 | 140 | 6 | 6 | 140 | 21 | 15 | 0 | 0 | 9.094947e-13 | -- | Inf
0.09/0.13 c 0.1s| 1 | 2 | 109 | 609k| 0 | 15 | 140 | 6 | 6 | 140 | 21 | 15 | 0 | 15 | 9.094947e-13 | -- | Inf
0.19/0.23 o 548
0.19/0.23 c c 0.2s| 39 | 38 | 281 | 648k| 37 | - | 140 | 6 | 4 | 140 | 16 | 15 | 0 | 216 | 9.094947e-13 | 5.480000e+02 | Inf
0.29/0.31 o 311
0.29/0.31 c f 0.3s| 95 | 85 | 471 | 676k| 42 | - | 140 | 6 | 4 | 140 | 16 | 15 | 0 | 381 | 9.094947e-13 | 3.110000e+02 | Inf
0.39/0.41 o 310
0.39/0.41 c * 0.4s| 172 | 158 | 945 | 730k| 42 | - | 140 | 6 | 0 | 140 | 16 | 15 | 2 | 522 | 9.094947e-13 | 3.100000e+02 | Inf
0.49/0.57 o 309
0.49/0.57 c * 0.5s| 364 | 339 | 1809 | 818k| 44 | - | 140 | 6 | 0 | 140 | 16 | 15 | 8 | 574 | 9.094947e-13 | 3.090000e+02 | Inf
0.49/0.57 o 307
0.49/0.57 c * 0.5s| 365 | 338 | 1809 | 819k| 44 | - | 140 | 6 | 0 | 140 | 16 | 15 | 8 | 574 | 9.094947e-13 | 3.070000e+02 | Inf
0.69/0.72 o 165
0.69/0.72 c c 0.7s| 548 | 462 | 2592 | 883k| 44 | - | 140 | 6 | 3 | 140 | 16 | 15 | 15 | 630 | 9.094947e-13 | 1.650000e+02 | Inf
0.79/0.80 o 163
0.79/0.80 c * 0.8s| 650 | 540 | 3020 | 912k| 44 | - | 140 | 6 | 0 | 140 | 16 | 15 | 15 | 665 | 9.094947e-13 | 1.630000e+02 | Inf
0.79/0.80 o 161
0.79/0.80 c * 0.8s| 651 | 539 | 3021 | 913k| 44 | - | 140 | 6 | 0 | 140 | 16 | 15 | 15 | 665 | 9.094947e-13 | 1.610000e+02 | Inf
0.79/0.82 o 159
0.79/0.82 c v 0.8s| 666 | 554 | 3096 | 928k| 44 | - | 140 | 6 | 0 | 140 | 16 | 15 | 17 | 682 | 9.094947e-13 | 1.590000e+02 | Inf
0.79/0.83 o 158
0.79/0.83 c l 0.8s| 681 | 569 | 3151 | 938k| 44 | - | 140 | 6 | 0 | 140 | 16 | 15 | 17 | 708 | 9.094947e-13 | 1.580000e+02 | Inf
0.89/0.96 o 156
0.89/0.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.96 c v 0.9s| 797 | 683 | 4003 |1002k| 44 | - | 140 | 6 | 0 | 140 | 16 | 15 | 23 | 738 | 9.094947e-13 | 1.560000e+02 | Inf
1.29/1.35 o 155
1.29/1.35 c v 1.3s| 1180 | 1050 | 6586 |1182k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 | 42 | 783 | 9.094947e-13 | 1.550000e+02 | Inf
1.49/1.57 o 109
1.49/1.57 c g 1.5s| 1414 | 1218 | 8233 |1259k| 52 | - | 140 | 6 | 2 | 140 | 16 | 15 | 49 | 785 | 9.094947e-13 | 1.090000e+02 | Inf
1.90/1.94 o 107
1.90/1.94 c f 1.9s| 1862 | 1613 | 10854 |1430k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 | 69 | 795 | 9.094947e-13 | 1.070000e+02 | Inf
2.69/2.79 o 45
2.69/2.79 c f 2.7s| 2197 | 1637 | 12714 |1413k| 52 | - | 140 | 6 | 3 | 140 | 16 | 15 | 86 | 797 | 9.094947e-13 | 4.500000e+01 | Inf
4.89/4.98 o 44
4.89/4.98 c * 4.8s| 4123 | 3102 | 26716 |2145k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 | 251 | 851 | 9.094947e-13 | 4.400000e+01 | Inf
8.59/8.67 o 42
8.59/8.67 c * 8.4s| 8137 | 5900 | 51445 |3688k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 | 556 | 958 | 9.094947e-13 | 4.200000e+01 | Inf
10.29/10.32 c 10.0s| 10000 | 7239 | 62190 |4412k| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 696 |1044 | 9.094947e-13 | 4.200000e+01 | Inf
10.79/10.83 o 41
10.79/10.83 c *10.5s| 10647 | 7629 | 65504 |4651k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 | 754 |1085 | 9.094947e-13 | 4.100000e+01 | Inf
12.38/12.40 o 40
12.38/12.40 c *12.0s| 12650 | 8885 | 76417 |5349k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 | 886 |1191 | 9.094947e-13 | 4.000000e+01 | Inf
12.38/12.40 o 38
12.38/12.40 c *12.0s| 12651 | 8828 | 76419 |5306k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 | 886 |1193 | 9.094947e-13 | 3.800000e+01 | Inf
13.19/13.23 o 37
13.19/13.23 c *12.8s| 13787 | 9379 | 82015 |5627k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 | 954 |1250 | 9.094947e-13 | 3.700000e+01 | Inf
13.98/14.09 o 36
13.98/14.09 c *13.6s| 14825 | 9957 | 87285 |5960k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |1009 |1306 | 9.094947e-13 | 3.600000e+01 | Inf
13.98/14.09 o 34
13.98/14.09 c *13.6s| 14826 | 9848 | 87285 |5866k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |1009 |1306 | 9.094947e-13 | 3.400000e+01 | Inf
14.09/14.16 o 32
14.09/14.16 c *13.7s| 14924 | 9444 | 87753 |5545k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |1023 |1311 | 9.094947e-13 | 3.200000e+01 | Inf
14.68/14.79 o 31
14.68/14.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.68/14.79 c *14.3s| 15828 | 9931 | 92119 |5830k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |1095 |1369 | 9.094947e-13 | 3.100000e+01 | Inf
14.68/14.79 o 29
14.68/14.79 c *14.3s| 15829 | 9842 | 92119 |5739k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |1095 |1369 | 9.094947e-13 | 2.900000e+01 | Inf
16.39/16.42 o 28
16.39/16.42 c *15.8s| 18148 | 11119 |103348 |6377k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |1244 |1452 | 9.094947e-13 | 2.800000e+01 | Inf
17.68/17.77 c 17.1s| 20000 | 12204 |112631 |6943k| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 |1354 |1513 | 9.094947e-13 | 2.800000e+01 | Inf
22.38/22.43 o 27
22.38/22.43 c *21.6s| 26826 | 15611 |144720 |8910k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |1777 |1730 | 9.094947e-13 | 2.700000e+01 | Inf
22.38/22.43 o 25
22.38/22.43 c *21.6s| 26827 | 15466 |144722 |8757k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |1777 |1730 | 9.094947e-13 | 2.500000e+01 | Inf
22.68/22.73 o 23
22.68/22.73 c l21.9s| 27301 | 15484 |146962 |8677k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |1809 |1758 | 9.094947e-13 | 2.300000e+01 | Inf
24.38/24.44 c 23.5s| 30000 | 16650 |158817 |9364k| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |1968 |1832 | 9.094947e-13 | 2.300000e+01 | Inf
24.68/24.77 o 21
24.68/24.77 c *23.9s| 30563 | 16681 |161382 |9290k| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |1997 |1860 | 9.094947e-13 | 2.100000e+01 | Inf
29.38/29.48 o 20
29.38/29.48 c *28.4s| 39013 | 19390 |197236 | 10M| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |2366 |2127 | 9.094947e-13 | 2.000000e+01 | Inf
29.98/30.03 c 28.9s| 40000 | 19714 |201374 | 11M| 52 | - | 140 | 6 | 5 | 0 | 0 | 15 |2416 |2162 | 9.094947e-13 | 2.000000e+01 | Inf
34.37/34.41 o 19
34.37/34.41 c *33.2s| 47697 | 22319 |234278 | 12M| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |2795 |2360 | 9.094947e-13 | 1.900000e+01 | Inf
34.37/34.41 o 17
34.37/34.41 c *33.2s| 47699 | 21908 |234280 | 12M| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |2795 |2360 | 9.094947e-13 | 1.700000e+01 | Inf
34.37/34.42 o 15
34.37/34.42 c *33.2s| 47700 | 20771 |234280 | 11M| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |2795 |2360 | 9.094947e-13 | 1.500000e+01 | Inf
35.67/35.73 c 34.4s| 50000 | 21561 |243808 | 11M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |2879 |2436 | 9.094947e-13 | 1.500000e+01 | Inf
42.37/42.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.37/42.43 c 40.9s| 60000 | 23706 |284772 | 12M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |3175 |2704 | 9.094947e-13 | 1.500000e+01 | Inf
47.96/48.06 c 46.3s| 70000 | 25619 |326540 | 14M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |3414 |2927 | 9.094947e-13 | 1.500000e+01 | Inf
50.75/50.82 o 14
50.75/50.82 c *48.9s| 75273 | 26477 |348362 | 14M| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |3592 |3037 | 9.094947e-13 | 1.400000e+01 | Inf
53.76/53.85 c 51.8s| 80000 | 26978 |368071 | 15M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |3730 |3139 | 9.094947e-13 | 1.400000e+01 | Inf
59.45/59.50 c 57.3s| 90000 | 30197 |412812 | 16M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 |4087 |3308 | 9.094947e-13 | 1.400000e+01 | Inf
64.85/64.98 c 62.6s|100000 | 33532 |456904 | 18M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |4452 |3475 | 9.094947e-13 | 1.400000e+01 | Inf
70.04/70.16 c 67.6s|110000 | 35667 |504358 | 19M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |4694 |3837 | 9.094947e-13 | 1.400000e+01 | Inf
75.24/75.31 c 72.5s|120000 | 37876 |551356 | 20M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |5000 |4125 | 9.094947e-13 | 1.400000e+01 | Inf
76.64/76.74 o 12
76.64/76.74 c *73.9s|122761 | 37655 |564504 | 20M| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |5068 |4206 | 9.094947e-13 | 1.200000e+01 | Inf
80.44/80.52 c 77.5s|130000 | 39034 |598660 | 21M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |5212 |4371 | 9.094947e-13 | 1.200000e+01 | Inf
84.54/84.64 o 10
84.54/84.64 c *81.5s|137966 | 39488 |635449 | 21M| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 |5396 |4534 | 9.094947e-13 | 1.000000e+01 | Inf
85.53/85.68 c 82.5s|140000 | 39707 |645250 | 21M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |5437 |4563 | 9.094947e-13 | 1.000000e+01 | Inf
90.53/90.65 c 87.3s|150000 | 40560 |692945 | 22M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 |5597 |4762 | 9.094947e-13 | 1.000000e+01 | Inf
95.53/95.64 c 92.1s|160000 | 41565 |739452 | 22M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |5723 |4943 | 9.094947e-13 | 1.000000e+01 | Inf
100.53/100.66 c 97.0s|170000 | 42054 |787129 | 23M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |5878 |5146 | 9.094947e-13 | 1.000000e+01 | Inf
105.63/105.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.63/105.74 c 102s|180000 | 43081 |835134 | 24M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 |6082 |5325 | 9.094947e-13 | 1.000000e+01 | Inf
110.62/110.79 c 107s|190000 | 44423 |882670 | 24M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 |6271 |5485 | 9.094947e-13 | 1.000000e+01 | Inf
115.72/115.81 c 112s|200000 | 45519 |930838 | 25M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |6421 |5670 | 9.094947e-13 | 1.000000e+01 | Inf
120.62/120.79 c 116s|210000 | 46976 |977022 | 26M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 |6596 |5850 | 9.094947e-13 | 1.000000e+01 | Inf
125.82/125.90 c 121s|220000 | 48795 | 1024k| 27M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |6802 |5995 | 9.094947e-13 | 1.000000e+01 | Inf
130.81/130.98 c 126s|230000 | 50661 | 1072k| 28M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 |6981 |6160 | 9.094947e-13 | 1.000000e+01 | Inf
135.71/135.89 c 131s|240000 | 51939 | 1117k| 29M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 |7143 |6331 | 9.094947e-13 | 1.000000e+01 | Inf
140.62/140.76 c 136s|250000 | 52852 | 1161k| 30M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 |7309 |6478 | 9.094947e-13 | 1.000000e+01 | Inf
146.01/146.12 c 141s|260000 | 55647 | 1208k| 31M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |7561 |6605 | 9.094947e-13 | 1.000000e+01 | Inf
151.20/151.36 c 146s|270000 | 58326 | 1254k| 33M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |7785 |6726 | 9.094947e-13 | 1.000000e+01 | Inf
156.39/156.58 c 151s|280000 | 60805 | 1300k| 34M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |7992 |6872 | 9.094947e-13 | 1.000000e+01 | Inf
161.50/161.69 c 156s|290000 | 62880 | 1345k| 35M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |8202 |7000 | 9.094947e-13 | 1.000000e+01 | Inf
166.60/166.74 c 161s|300000 | 64690 | 1391k| 36M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 |8422 |7125 | 9.094947e-13 | 1.000000e+01 | Inf
171.79/171.92 c 166s|310000 | 66962 | 1437k| 38M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |8636 |7238 | 9.094947e-13 | 1.000000e+01 | Inf
176.69/176.84 c 170s|320000 | 68855 | 1481k| 39M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |8817 |7356 | 9.094947e-13 | 1.000000e+01 | Inf
181.59/181.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.59/181.74 c 175s|330000 | 70308 | 1524k| 40M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |8963 |7469 | 9.094947e-13 | 1.000000e+01 | Inf
186.48/186.69 c 180s|340000 | 71532 | 1570k| 41M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 |9142 |7575 | 9.094947e-13 | 1.000000e+01 | Inf
191.49/191.65 c 185s|350000 | 72938 | 1615k| 42M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |9266 |7668 | 9.094947e-13 | 1.000000e+01 | Inf
196.58/196.77 c 190s|360000 | 74892 | 1662k| 43M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 |9473 |7797 | 9.094947e-13 | 1.000000e+01 | Inf
201.48/201.69 c 194s|370000 | 76587 | 1705k| 44M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 |9701 |7921 | 9.094947e-13 | 1.000000e+01 | Inf
206.48/206.63 c 199s|380000 | 78052 | 1749k| 45M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 |9866 |8033 | 9.094947e-13 | 1.000000e+01 | Inf
211.38/211.52 c 204s|390000 | 79344 | 1793k| 45M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 10k|8146 | 9.094947e-13 | 1.000000e+01 | Inf
216.17/216.34 c 209s|400000 | 80384 | 1838k| 46M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 10k|8238 | 9.094947e-13 | 1.000000e+01 | Inf
221.07/221.24 c 213s|410000 | 81422 | 1883k| 47M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 10k|8349 | 9.094947e-13 | 1.000000e+01 | Inf
225.97/226.11 c 218s|420000 | 82286 | 1929k| 47M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 10k|8436 | 9.094947e-13 | 1.000000e+01 | Inf
230.77/230.97 c 223s|430000 | 83255 | 1974k| 48M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 10k|8530 | 9.094947e-13 | 1.000000e+01 | Inf
235.56/235.79 c 227s|440000 | 84058 | 2020k| 49M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 10k|8651 | 9.094947e-13 | 1.000000e+01 | Inf
240.67/240.80 c 232s|450000 | 85062 | 2066k| 49M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 10k|8738 | 9.094947e-13 | 1.000000e+01 | Inf
245.45/245.69 c 237s|460000 | 85958 | 2111k| 50M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 11k|8845 | 9.094947e-13 | 1.000000e+01 | Inf
250.26/250.49 c 241s|470000 | 86452 | 2155k| 51M| 52 | - | 140 | 7 | 6 | 140 | 16 | 15 | 11k|8945 | 9.094947e-13 | 1.000000e+01 | Inf
255.06/255.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.06/255.29 c 246s|480000 | 87724 | 2199k| 51M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 11k|9044 | 9.094947e-13 | 1.000000e+01 | Inf
259.86/260.00 c 251s|490000 | 88292 | 2242k| 52M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 11k|9140 | 9.094947e-13 | 1.000000e+01 | Inf
264.75/264.92 c 255s|500000 | 89155 | 2289k| 53M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 11k|9247 | 9.094947e-13 | 1.000000e+01 | Inf
269.54/269.77 c 260s|510000 | 90022 | 2336k| 53M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 11k|9341 | 9.094947e-13 | 1.000000e+01 | Inf
274.35/274.53 c 265s|520000 | 90404 | 2381k| 54M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 11k|9453 | 9.094947e-13 | 1.000000e+01 | Inf
275.54/275.71 o 8
275.54/275.71 c * 266s|522419 | 89152 | 2392k| 52M| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 | 11k|9470 | 9.094947e-13 | 8.000000e+00 | Inf
281.35/281.55 c 271s|530000 | 90321 | 2426k| 53M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 12k|9546 | 9.094947e-13 | 8.000000e+00 | Inf
286.14/286.34 c 276s|540000 | 91038 | 2472k| 53M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 12k|9643 | 9.094947e-13 | 8.000000e+00 | Inf
290.83/291.03 c 280s|550000 | 91570 | 2517k| 54M| 52 | 6 | 140 | 7 | 6 | 140 | 16 | 15 | 12k|9741 | 9.094947e-13 | 8.000000e+00 | Inf
295.53/295.78 c 285s|560000 | 92198 | 2561k| 54M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 12k|9818 | 9.094947e-13 | 8.000000e+00 | Inf
300.33/300.51 c 290s|570000 | 92297 | 2606k| 54M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 12k|9921 | 9.094947e-13 | 8.000000e+00 | Inf
307.13/307.30 c 296s|580000 | 92740 | 2650k| 55M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 12k|9995 | 9.094947e-13 | 8.000000e+00 | Inf
311.83/312.00 c 301s|590000 | 93061 | 2695k| 55M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 12k| 10k| 9.094947e-13 | 8.000000e+00 | Inf
316.43/316.64 c 305s|600000 | 93631 | 2738k| 55M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 12k| 10k| 9.094947e-13 | 8.000000e+00 | Inf
321.13/321.30 c 310s|610000 | 93897 | 2781k| 56M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 13k| 10k| 9.094947e-13 | 8.000000e+00 | Inf
325.82/326.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
325.82/326.06 c 314s|620000 | 94518 | 2826k| 56M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 13k| 10k| 9.094947e-13 | 8.000000e+00 | Inf
330.52/330.70 c 319s|630000 | 95002 | 2870k| 57M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 13k| 10k| 9.094947e-13 | 8.000000e+00 | Inf
335.11/335.37 c 323s|640000 | 94963 | 2915k| 57M| 52 | - | 140 | 7 | 6 | 140 | 16 | 15 | 13k| 10k| 9.094947e-13 | 8.000000e+00 | Inf
339.91/340.13 c 328s|650000 | 94794 | 2959k| 57M| 52 | - | 140 | 7 | 6 | 140 | 16 | 15 | 13k| 10k| 9.094947e-13 | 8.000000e+00 | Inf
340.31/340.59 o 6
340.31/340.59 c * 328s|650933 | 92819 | 2963k| 54M| 52 | - | 140 | 7 | 0 | 140 | 16 | 15 | 13k| 10k| 9.094947e-13 | 6.000000e+00 | Inf
344.61/344.84 c 332s|660000 | 93053 | 3004k| 54M| 52 | 6 | 140 | 7 | 6 | 140 | 16 | 15 | 13k| 10k| 9.094947e-13 | 6.000000e+00 | Inf
349.21/349.45 c 337s|670000 | 93101 | 3049k| 55M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 13k| 10k| 9.094947e-13 | 6.000000e+00 | Inf
353.91/354.17 c 341s|680000 | 93230 | 3097k| 55M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 13k| 10k| 9.094947e-13 | 6.000000e+00 | Inf
358.50/358.77 c 346s|690000 | 93515 | 3142k| 55M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 13k| 10k| 9.094947e-13 | 6.000000e+00 | Inf
363.30/363.51 c 350s|700000 | 93696 | 3188k| 55M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 14k| 10k| 9.094947e-13 | 6.000000e+00 | Inf
367.90/368.17 c 355s|710000 | 94622 | 3234k| 56M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 14k| 10k| 9.094947e-13 | 6.000000e+00 | Inf
372.50/372.78 c 359s|720000 | 95131 | 3279k| 56M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 14k| 11k| 9.094947e-13 | 6.000000e+00 | Inf
377.19/377.44 c 364s|730000 | 95484 | 3325k| 57M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 14k| 11k| 9.094947e-13 | 6.000000e+00 | Inf
381.89/382.13 c 368s|740000 | 95433 | 3370k| 57M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 14k| 11k| 9.094947e-13 | 6.000000e+00 | Inf
386.49/386.70 c 373s|750000 | 95646 | 3414k| 57M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 14k| 11k| 9.094947e-13 | 6.000000e+00 | Inf
393.18/393.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.18/393.42 c 379s|760000 | 95761 | 3459k| 57M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 14k| 11k| 9.094947e-13 | 6.000000e+00 | Inf
397.79/398.01 c 384s|770000 | 95931 | 3504k| 57M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 14k| 11k| 9.094947e-13 | 6.000000e+00 | Inf
402.39/402.63 c 388s|780000 | 95782 | 3549k| 57M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 14k| 11k| 9.094947e-13 | 6.000000e+00 | Inf
407.09/407.35 c 393s|790000 | 96340 | 3596k| 58M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 14k| 11k| 9.094947e-13 | 6.000000e+00 | Inf
411.68/411.94 c 397s|800000 | 96793 | 3641k| 58M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 14k| 11k| 9.094947e-13 | 6.000000e+00 | Inf
416.28/416.55 c 402s|810000 | 96921 | 3687k| 58M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 15k| 11k| 9.094947e-13 | 6.000000e+00 | Inf
420.88/421.13 c 406s|820000 | 96789 | 3731k| 58M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 15k| 11k| 9.094947e-13 | 6.000000e+00 | Inf
425.48/425.74 c 410s|830000 | 96768 | 3776k| 58M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 15k| 11k| 9.094947e-13 | 6.000000e+00 | Inf
430.07/430.38 c 415s|840000 | 97567 | 3819k| 59M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 15k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
434.66/434.91 c 419s|850000 | 97606 | 3863k| 59M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 15k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
439.26/439.54 c 424s|860000 | 97632 | 3907k| 59M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 15k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
443.86/444.11 c 428s|870000 | 97871 | 3950k| 60M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 15k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
448.56/448.83 c 433s|880000 | 98838 | 3995k| 60M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 15k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
453.26/453.51 c 437s|890000 |100280 | 4040k| 61M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 15k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
457.85/458.19 c 442s|900000 |101565 | 4086k| 62M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 15k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
462.56/462.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.56/462.87 c 446s|910000 |102550 | 4131k| 62M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 15k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
467.15/467.46 c 451s|920000 |103125 | 4176k| 63M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 16k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
471.75/472.08 c 455s|930000 |103642 | 4220k| 63M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 16k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
476.44/476.71 c 459s|940000 |104174 | 4265k| 64M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 16k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
481.04/481.30 c 464s|950000 |104654 | 4310k| 64M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 16k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
485.64/485.93 c 468s|960000 |105222 | 4355k| 64M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 16k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
490.14/490.49 c 473s|970000 |105609 | 4399k| 65M| 52 | - | 140 | 6 | 5 | 140 | 16 | 15 | 16k| 12k| 9.094947e-13 | 6.000000e+00 | Inf
494.74/495.09 c 477s|980000 |106013 | 4444k| 65M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 16k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
499.43/499.70 c 482s|990000 |106517 | 4489k| 66M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 16k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
504.23/504.53 c 486s| 1000k|108182 | 4534k| 66M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 16k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
508.93/509.27 c 491s| 1010k|109818 | 4579k| 67M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 17k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
513.62/513.96 c 495s| 1020k|111024 | 4624k| 68M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 17k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
518.32/518.63 c 500s| 1030k|111812 | 4668k| 69M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 17k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
523.02/523.30 c 504s| 1040k|112296 | 4713k| 69M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 17k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
527.63/527.98 c 509s| 1050k|113017 | 4757k| 70M| 52 | - | 140 | 7 | 6 | 140 | 16 | 15 | 17k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
532.31/532.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.31/532.64 c 513s| 1060k|113972 | 4802k| 70M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 17k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
536.92/537.28 c 518s| 1070k|114547 | 4846k| 71M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 17k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
541.62/541.95 c 522s| 1080k|115122 | 4892k| 71M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 17k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
546.32/546.61 c 527s| 1090k|115871 | 4936k| 72M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 18k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
550.81/551.16 c 531s| 1100k|116475 | 4979k| 72M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 18k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
555.50/555.88 c 536s| 1110k|116706 | 5023k| 72M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 18k| 13k| 9.094947e-13 | 6.000000e+00 | Inf
560.19/560.50 c 540s| 1120k|116956 | 5068k| 73M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 18k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
564.80/565.19 c 545s| 1130k|117300 | 5113k| 73M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 18k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
569.39/569.79 c 549s| 1140k|117701 | 5158k| 73M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 18k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
573.99/574.38 c 553s| 1150k|117878 | 5202k| 74M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 18k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
578.59/578.98 c 558s| 1160k|118071 | 5246k| 74M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 18k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
583.29/583.67 c 562s| 1170k|118444 | 5291k| 74M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 19k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
587.88/588.22 c 567s| 1180k|118575 | 5335k| 74M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 19k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
592.59/592.96 c 571s| 1190k|119608 | 5381k| 75M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 19k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
597.38/597.76 c 576s| 1200k|120493 | 5427k| 76M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 19k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
602.18/602.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.18/602.52 c 581s| 1210k|121368 | 5474k| 76M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 19k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
606.89/607.23 c 585s| 1220k|122015 | 5520k| 77M| 52 | 6 | 140 | 7 | 6 | 140 | 16 | 15 | 19k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
611.57/611.91 c 590s| 1230k|122779 | 5565k| 77M| 52 | - | 140 | 7 | 6 | 140 | 16 | 15 | 20k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
616.17/616.58 c 594s| 1240k|123395 | 5611k| 78M| 52 | 6 | 140 | 7 | 6 | 140 | 16 | 15 | 20k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
620.87/621.30 c 599s| 1250k|124121 | 5656k| 78M| 52 | 6 | 140 | 7 | 6 | 140 | 16 | 15 | 20k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
625.67/626.00 c 603s| 1260k|124470 | 5701k| 79M| 52 | - | 140 | 7 | 6 | 0 | 0 | 15 | 20k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
630.26/630.66 c 608s| 1270k|124880 | 5747k| 79M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 20k| 14k| 9.094947e-13 | 6.000000e+00 | Inf
634.87/635.24 c 612s| 1280k|125453 | 5791k| 79M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 21k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
639.56/639.95 c 617s| 1290k|125752 | 5836k| 80M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 21k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
644.35/644.70 c 621s| 1300k|126491 | 5882k| 80M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 21k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
648.95/649.35 c 626s| 1310k|127104 | 5928k| 81M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 21k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
653.65/654.04 c 630s| 1320k|127412 | 5975k| 81M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 21k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
658.35/658.76 c 635s| 1330k|127448 | 6024k| 81M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 21k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
663.15/663.55 c 639s| 1340k|127501 | 6072k| 81M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 21k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
667.94/668.36 c 644s| 1350k|127653 | 6123k| 82M| 52 | 6 | 140 | 7 | 6 | 140 | 16 | 15 | 22k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
672.54/672.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.54/672.99 c 649s| 1360k|127898 | 6168k| 82M| 52 | - | 140 | 7 | 6 | 140 | 16 | 15 | 22k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
677.15/677.56 c 653s| 1370k|128162 | 6211k| 82M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 22k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
681.84/682.23 c 657s| 1380k|128086 | 6256k| 82M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 22k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
686.44/686.86 c 662s| 1390k|128168 | 6302k| 82M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 22k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
691.03/691.43 c 666s| 1400k|128252 | 6347k| 82M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 22k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
695.73/696.15 c 671s| 1410k|128529 | 6392k| 83M| 52 | - | 140 | 6 | 7 | 0 | 0 | 15 | 23k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
700.52/700.98 c 675s| 1420k|130567 | 6437k| 84M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 23k| 15k| 9.094947e-13 | 6.000000e+00 | Inf
705.22/705.67 c 680s| 1430k|131867 | 6481k| 85M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 23k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
710.02/710.45 c 685s| 1440k|133812 | 6527k| 86M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 23k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
714.62/715.08 c 689s| 1450k|135228 | 6570k| 86M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 23k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
719.32/719.75 c 694s| 1460k|136258 | 6615k| 87M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 23k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
726.02/726.43 c 700s| 1470k|137778 | 6660k| 88M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 24k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
730.61/731.08 c 704s| 1480k|139422 | 6705k| 89M| 52 | - | 140 | 6 | 5 | 140 | 16 | 15 | 24k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
735.21/735.64 c 709s| 1490k|140584 | 6748k| 90M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 24k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
740.01/740.43 c 713s| 1500k|142521 | 6793k| 91M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 24k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
744.60/745.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.60/745.04 c 718s| 1510k|143351 | 6837k| 91M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 24k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
749.21/749.65 c 722s| 1520k|144446 | 6880k| 92M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 24k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
753.90/754.31 c 727s| 1530k|145665 | 6924k| 93M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 24k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
758.51/758.97 c 731s| 1540k|146785 | 6967k| 93M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 25k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
763.10/763.59 c 736s| 1550k|147488 | 7010k| 94M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 25k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
767.69/768.17 c 740s| 1560k|148327 | 7052k| 94M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 25k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
772.19/772.66 c 744s| 1570k|149011 | 7092k| 95M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 25k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
776.80/777.20 c 749s| 1580k|149815 | 7135k| 95M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 25k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
781.39/781.86 c 753s| 1590k|150682 | 7178k| 96M| 52 | 6 | 140 | 7 | 6 | 140 | 16 | 15 | 25k| 16k| 9.094947e-13 | 6.000000e+00 | Inf
785.99/786.43 c 758s| 1600k|151165 | 7220k| 96M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 25k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
790.59/791.04 c 762s| 1610k|151865 | 7263k| 97M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 25k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
795.08/795.55 c 766s| 1620k|152684 | 7303k| 97M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 26k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
799.68/800.15 c 771s| 1630k|153168 | 7346k| 98M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 26k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
804.28/804.77 c 775s| 1640k|153825 | 7388k| 98M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 26k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
808.87/809.30 c 780s| 1650k|154965 | 7430k| 99M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 26k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
813.37/813.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.37/813.84 c 784s| 1660k|155989 | 7471k| 100M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 26k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
817.98/818.43 c 788s| 1670k|157028 | 7513k| 100M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 26k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
822.57/823.05 c 793s| 1680k|157689 | 7558k| 101M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 26k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
827.27/827.73 c 797s| 1690k|157978 | 7605k| 101M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 27k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
831.97/832.43 c 802s| 1700k|158287 | 7654k| 101M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 27k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
836.66/837.12 c 806s| 1710k|158498 | 7702k| 102M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 27k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
841.36/841.89 c 811s| 1720k|158965 | 7750k| 102M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 27k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
846.26/846.70 c 816s| 1730k|160220 | 7798k| 103M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 27k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
850.87/851.39 c 820s| 1740k|161447 | 7846k| 104M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 27k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
855.56/856.03 c 825s| 1750k|162253 | 7894k| 104M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 27k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
860.15/860.68 c 829s| 1760k|162844 | 7941k| 105M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 27k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
864.95/865.48 c 834s| 1770k|163766 | 7990k| 105M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 27k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
869.76/870.21 c 838s| 1780k|164161 | 8040k| 105M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 28k| 17k| 9.094947e-13 | 6.000000e+00 | Inf
874.15/874.69 c 843s| 1790k|164771 | 8081k| 106M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 28k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
878.75/879.23 c 847s| 1800k|165111 | 8123k| 106M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 28k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
883.24/883.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.24/883.72 c 851s| 1810k|165431 | 8163k| 107M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 28k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
887.74/888.22 c 856s| 1820k|165804 | 8204k| 107M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 28k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
892.24/892.74 c 860s| 1830k|166141 | 8245k| 107M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 28k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
896.74/897.29 c 865s| 1840k|166499 | 8286k| 108M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 28k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
901.33/901.83 c 869s| 1850k|167369 | 8327k| 108M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 28k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
905.84/906.37 c 873s| 1860k|168225 | 8368k| 109M| 52 | - | 140 | 6 | 5 | 140 | 16 | 15 | 29k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
910.33/910.82 c 878s| 1870k|168678 | 8409k| 109M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 29k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
914.73/915.29 c 882s| 1880k|169154 | 8450k| 109M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 29k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
919.33/919.82 c 886s| 1890k|169444 | 8492k| 110M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 29k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
923.92/924.41 c 891s| 1900k|169926 | 8533k| 110M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 29k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
928.32/928.82 c 895s| 1910k|170154 | 8574k| 110M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 29k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
932.72/933.24 c 899s| 1920k|170546 | 8614k| 111M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 29k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
937.32/937.89 c 904s| 1930k|171725 | 8656k| 111M| 52 | - | 140 | 6 | 5 | 0 | 0 | 15 | 29k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
941.92/942.44 c 908s| 1940k|172712 | 8697k| 112M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 29k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
946.42/946.99 c 912s| 1950k|173040 | 8738k| 112M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 30k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
950.92/951.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.92/951.46 c 917s| 1960k|173447 | 8778k| 113M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 30k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
955.42/955.99 c 921s| 1970k|173503 | 8820k| 113M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 30k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
960.01/960.50 c 925s| 1980k|173850 | 8861k| 113M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 30k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
964.50/965.04 c 930s| 1990k|173941 | 8902k| 113M| 52 | - | 140 | 6 | 5 | 140 | 16 | 15 | 30k| 18k| 9.094947e-13 | 6.000000e+00 | Inf
969.10/969.61 c 934s| 2000k|174442 | 8943k| 114M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 30k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
973.70/974.20 c 939s| 2010k|174991 | 8985k| 114M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 30k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
978.20/978.77 c 943s| 2020k|175067 | 9027k| 114M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 30k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
982.80/983.37 c 947s| 2030k|175188 | 9069k| 115M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 30k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
987.39/987.90 c 952s| 2040k|175605 | 9110k| 115M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 30k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
991.90/992.45 c 956s| 2050k|176102 | 9152k| 115M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 31k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
996.29/996.88 c 960s| 2060k|176456 | 9191k| 116M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 31k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1000.79/1001.38 c 965s| 2070k|176946 | 9233k| 116M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 31k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1005.29/1005.89 c 969s| 2080k|177259 | 9274k| 116M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 31k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1009.89/1010.41 c 974s| 2090k|177276 | 9315k| 117M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 31k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1014.38/1014.95 c 978s| 2100k|177329 | 9357k| 117M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 31k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1018.88/1019.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.88/1019.43 c 982s| 2110k|177292 | 9397k| 117M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 31k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1023.38/1024.00 c 987s| 2120k|177220 | 9439k| 117M| 52 | - | 140 | 6 | 5 | 0 | 0 | 15 | 31k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1027.97/1028.54 c 991s| 2130k|177426 | 9482k| 117M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 31k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1032.47/1033.08 c 995s| 2140k|178450 | 9523k| 118M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 32k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1036.97/1037.60 c 1000s| 2150k|178883 | 9565k| 118M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 32k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1041.57/1042.19 c 1004s| 2160k|179791 | 9607k| 119M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 32k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1046.17/1046.78 c 1009s| 2170k|180441 | 9649k| 119M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 32k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1050.66/1051.28 c 1013s| 2180k|180738 | 9690k| 120M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 32k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1055.36/1055.91 c 1017s| 2190k|181127 | 9734k| 120M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 32k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1059.95/1060.60 c 1022s| 2200k|182020 | 9778k| 121M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 32k| 19k| 9.094947e-13 | 6.000000e+00 | Inf
1064.66/1065.24 c 1026s| 2210k|182240 | 9823k| 121M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 32k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1069.25/1069.81 c 1031s| 2220k|182752 | 9867k| 121M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 33k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1073.75/1074.39 c 1035s| 2230k|183290 | 9911k| 122M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 33k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1078.45/1079.01 c 1040s| 2240k|184018 | 9954k| 122M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 33k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1083.05/1083.63 c 1044s| 2250k|184020 | 9999k| 122M| 52 | - | 140 | 6 | 5 | 140 | 16 | 15 | 33k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1087.65/1088.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.65/1088.24 c 1049s| 2260k|184388 | 10043k| 123M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 33k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1092.24/1092.84 c 1053s| 2270k|184501 | 10088k| 123M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 33k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1096.84/1097.45 c 1057s| 2280k|184825 | 10133k| 123M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 34k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1101.54/1102.14 c 1062s| 2290k|185322 | 10178k| 124M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 34k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1106.13/1106.73 c 1066s| 2300k|186011 | 10222k| 124M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 34k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1110.63/1111.26 c 1071s| 2310k|186328 | 10266k| 124M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 34k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1115.23/1115.82 c 1075s| 2320k|186939 | 10310k| 125M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 34k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1119.83/1120.43 c 1079s| 2330k|187235 | 10354k| 125M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 34k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1124.43/1125.06 c 1084s| 2340k|187220 | 10399k| 125M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 35k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1129.03/1129.65 c 1088s| 2350k|187190 | 10443k| 125M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 35k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1133.62/1134.27 c 1093s| 2360k|187165 | 10488k| 126M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 35k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1138.22/1138.89 c 1097s| 2370k|187095 | 10532k| 126M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 35k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1142.92/1143.56 c 1102s| 2380k|187121 | 10577k| 126M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 35k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1147.52/1148.19 c 1106s| 2390k|186974 | 10622k| 126M| 52 | - | 140 | 6 | 5 | 0 | 0 | 15 | 35k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1152.11/1152.79 c 1111s| 2400k|186841 | 10667k| 126M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 35k| 20k| 9.094947e-13 | 6.000000e+00 | Inf
1156.71/1157.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1156.71/1157.34 c 1115s| 2410k|186925 | 10710k| 126M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 36k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1161.30/1161.94 c 1120s| 2420k|187396 | 10754k| 126M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 36k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1165.81/1166.49 c 1124s| 2430k|187408 | 10798k| 127M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 36k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1170.40/1171.06 c 1128s| 2440k|187347 | 10841k| 127M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 36k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1175.00/1175.65 c 1133s| 2450k|187835 | 10885k| 127M| 52 | - | 140 | 6 | 5 | 140 | 16 | 15 | 36k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1179.61/1180.27 c 1137s| 2460k|188158 | 10929k| 127M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 36k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1184.20/1184.81 c 1142s| 2470k|188016 | 10972k| 127M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 36k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1188.80/1189.41 c 1146s| 2480k|187627 | 11017k| 127M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 36k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1193.40/1194.01 c 1150s| 2490k|187475 | 11062k| 127M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 37k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1197.99/1198.62 c 1155s| 2500k|187867 | 11107k| 128M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 37k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1202.59/1203.29 c 1159s| 2510k|187484 | 11152k| 128M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 37k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1207.19/1207.88 c 1164s| 2520k|187289 | 11197k| 128M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 37k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1211.79/1212.46 c 1168s| 2530k|187319 | 11241k| 128M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 37k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1216.39/1217.03 c 1173s| 2540k|187315 | 11285k| 128M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 37k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1220.88/1221.59 c 1177s| 2550k|187325 | 11328k| 128M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 37k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1225.58/1226.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1225.58/1226.23 c 1182s| 2560k|187545 | 11372k| 128M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 38k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1230.08/1230.80 c 1186s| 2570k|187720 | 11417k| 128M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 38k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1234.68/1235.39 c 1190s| 2580k|187833 | 11462k| 128M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 38k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1239.37/1240.02 c 1195s| 2590k|187798 | 11507k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 38k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1243.97/1244.61 c 1199s| 2600k|187768 | 11550k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 38k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1248.37/1249.08 c 1204s| 2610k|187800 | 11591k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 38k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1252.86/1253.58 c 1208s| 2620k|187509 | 11632k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 38k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1257.46/1258.10 c 1212s| 2630k|187589 | 11673k| 129M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 38k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1261.96/1262.60 c 1217s| 2640k|187534 | 11715k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 38k| 21k| 9.094947e-13 | 6.000000e+00 | Inf
1266.47/1267.13 c 1221s| 2650k|187598 | 11756k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 39k| 22k| 9.094947e-13 | 6.000000e+00 | Inf
1270.96/1271.66 c 1225s| 2660k|187679 | 11797k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 39k| 22k| 9.094947e-13 | 6.000000e+00 | Inf
1275.55/1276.21 c 1230s| 2670k|188247 | 11839k| 130M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 39k| 22k| 9.094947e-13 | 6.000000e+00 | Inf
1280.15/1280.81 c 1234s| 2680k|188538 | 11881k| 130M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 39k| 22k| 9.094947e-13 | 6.000000e+00 | Inf
1284.45/1285.16 o 5
1284.45/1285.16 c *1238s| 2689k|186460 | 11921k| 127M| 52 | - | 140 | 6 | 0 | 140 | 16 | 15 | 39k| 22k| 9.094947e-13 | 5.000000e+00 | Inf
1284.75/1285.42 c 1238s| 2690k|186460 | 11924k| 127M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 39k| 22k| 9.094947e-13 | 5.000000e+00 | Inf
1290.65/1291.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1290.65/1291.30 c 1244s| 2700k|186304 | 11965k| 127M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 39k| 22k| 9.094947e-13 | 5.000000e+00 | Inf
1295.15/1295.82 c 1248s| 2710k|186466 | 12008k| 127M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 40k| 22k| 9.094947e-13 | 5.000000e+00 | Inf
1299.65/1300.34 c 1253s| 2720k|187054 | 12049k| 128M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 40k| 22k| 9.094947e-13 | 5.000000e+00 | Inf
1304.04/1304.78 c 1257s| 2730k|187396 | 12089k| 128M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 40k| 22k| 9.094947e-13 | 5.000000e+00 | Inf
1308.54/1309.24 c 1261s| 2740k|187570 | 12129k| 128M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 40k| 22k| 9.094947e-13 | 5.000000e+00 | Inf
1312.94/1313.69 c 1266s| 2750k|187537 | 12170k| 128M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 40k| 22k| 9.094947e-13 | 5.000000e+00 | Inf
1317.54/1318.26 c 1270s| 2760k|187526 | 12215k| 128M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 40k| 22k| 9.094947e-13 | 5.000000e+00 | Inf
1322.23/1322.93 c 1275s| 2770k|187326 | 12263k| 128M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 40k| 22k| 9.094947e-13 | 5.000000e+00 | Inf
1327.04/1327.77 c 1279s| 2780k|187668 | 12312k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 40k| 22k| 9.094947e-13 | 5.000000e+00 | Inf
1331.62/1332.38 c 1284s| 2790k|187386 | 12359k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 41k| 22k| 9.094947e-13 | 5.000000e+00 | Inf
1336.23/1336.98 c 1288s| 2800k|187712 | 12406k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 41k| 22k| 9.094947e-13 | 5.000000e+00 | Inf
1340.82/1341.54 c 1293s| 2810k|187541 | 12450k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 41k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1345.42/1346.12 c 1297s| 2820k|187402 | 12494k| 129M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 41k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1349.92/1350.67 c 1301s| 2830k|187496 | 12539k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 41k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1354.52/1355.25 c 1306s| 2840k|187415 | 12584k| 129M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 41k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1359.12/1359.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1359.12/1359.82 c 1310s| 2850k|187608 | 12629k| 129M| 52 | - | 140 | 6 | 5 | 0 | 0 | 15 | 41k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1363.71/1364.41 c 1315s| 2860k|187559 | 12673k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 41k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1368.21/1368.99 c 1319s| 2870k|187468 | 12719k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 41k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1372.90/1373.64 c 1323s| 2880k|187599 | 12764k| 129M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 42k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1377.40/1378.14 c 1328s| 2890k|187910 | 12805k| 130M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 42k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1381.90/1382.69 c 1332s| 2900k|188300 | 12849k| 130M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 42k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1386.50/1387.22 c 1337s| 2910k|188445 | 12892k| 130M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 42k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1390.90/1391.69 c 1341s| 2920k|188986 | 12933k| 131M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 42k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1395.70/1396.49 c 1345s| 2930k|189582 | 12984k| 131M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 42k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1400.49/1401.24 c 1350s| 2940k|190056 | 13033k| 131M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 42k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1405.19/1405.95 c 1355s| 2950k|190424 | 13082k| 132M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 42k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1409.89/1410.67 c 1359s| 2960k|190434 | 13130k| 132M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 42k| 23k| 9.094947e-13 | 5.000000e+00 | Inf
1414.58/1415.38 c 1364s| 2970k|190707 | 13181k| 132M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 43k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1419.38/1420.16 c 1368s| 2980k|190884 | 13231k| 132M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 43k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1424.08/1424.89 c 1373s| 2990k|190737 | 13280k| 132M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 43k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1428.77/1429.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.77/1429.57 c 1377s| 3000k|190692 | 13329k| 132M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 43k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1433.47/1434.24 c 1382s| 3010k|190167 | 13378k| 132M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 43k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1438.27/1439.02 c 1386s| 3020k|189558 | 13428k| 132M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 43k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1442.76/1443.56 c 1391s| 3030k|189298 | 13471k| 132M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 43k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1447.26/1448.05 c 1395s| 3040k|189017 | 13513k| 132M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 43k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1451.67/1452.45 c 1399s| 3050k|189009 | 13554k| 132M| 52 | - | 140 | 6 | 5 | 140 | 16 | 15 | 43k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1456.26/1457.04 c 1404s| 3060k|189425 | 13597k| 132M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 44k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1460.85/1461.62 c 1408s| 3070k|189465 | 13641k| 132M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 44k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1465.36/1466.15 c 1413s| 3080k|189663 | 13683k| 132M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 44k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1469.85/1470.61 c 1417s| 3090k|189225 | 13725k| 132M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 44k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1474.45/1475.23 c 1421s| 3100k|189312 | 13769k| 132M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 44k| 24k| 9.094947e-13 | 5.000000e+00 | Inf
1479.05/1479.87 c 1426s| 3110k|190778 | 13812k| 133M| 52 | - | 140 | 6 | 5 | 140 | 16 | 15 | 44k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1483.54/1484.39 c 1430s| 3120k|191745 | 13854k| 134M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 44k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1488.14/1488.92 c 1435s| 3130k|192313 | 13896k| 134M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 44k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1492.74/1493.54 c 1439s| 3140k|193358 | 13940k| 135M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 45k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1497.34/1498.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.34/1498.20 c 1444s| 3150k|194570 | 13985k| 135M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 45k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1502.03/1502.82 c 1448s| 3160k|195300 | 14028k| 136M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 45k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1506.63/1507.45 c 1452s| 3170k|195733 | 14073k| 136M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 45k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1511.22/1512.03 c 1457s| 3180k|196419 | 14116k| 137M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 45k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1515.83/1516.62 c 1461s| 3190k|197042 | 14159k| 137M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 45k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1520.43/1521.23 c 1466s| 3200k|197596 | 14203k| 138M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 45k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1525.02/1525.81 c 1470s| 3210k|197956 | 14245k| 138M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 45k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1529.52/1530.34 c 1474s| 3220k|198601 | 14288k| 139M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 46k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1534.12/1534.90 c 1479s| 3230k|198720 | 14331k| 139M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 46k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1538.72/1539.51 c 1483s| 3240k|199092 | 14375k| 139M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 46k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1543.22/1544.08 c 1488s| 3250k|199240 | 14418k| 139M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 46k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1547.82/1548.63 c 1492s| 3260k|200128 | 14461k| 140M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 46k| 25k| 9.094947e-13 | 5.000000e+00 | Inf
1552.50/1553.34 c 1497s| 3270k|201373 | 14504k| 141M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 46k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1557.30/1558.11 c 1501s| 3280k|203151 | 14549k| 142M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 46k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1562.00/1562.81 c 1506s| 3290k|204612 | 14593k| 143M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 46k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1566.61/1567.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.61/1567.47 c 1510s| 3300k|205838 | 14638k| 143M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 46k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1571.29/1572.12 c 1515s| 3310k|206949 | 14682k| 144M| 52 | - | 140 | 6 | 5 | 0 | 0 | 15 | 47k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1576.00/1576.81 c 1519s| 3320k|207797 | 14728k| 145M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 47k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1580.69/1581.59 c 1524s| 3330k|209194 | 14773k| 145M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 47k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1585.49/1586.34 c 1528s| 3340k|210342 | 14819k| 146M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 47k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1590.18/1591.00 c 1533s| 3350k|211761 | 14863k| 147M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 47k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1594.78/1595.61 c 1537s| 3360k|212794 | 14907k| 148M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 47k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1599.38/1600.24 c 1542s| 3370k|213779 | 14951k| 148M| 52 | - | 140 | 6 | 7 | 140 | 16 | 15 | 47k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1603.99/1604.85 c 1546s| 3380k|214798 | 14994k| 149M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 47k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1608.57/1609.41 c 1551s| 3390k|215553 | 15038k| 149M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 47k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1613.08/1613.98 c 1555s| 3400k|216740 | 15081k| 150M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 48k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1617.68/1618.52 c 1559s| 3410k|217395 | 15124k| 151M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 48k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1622.28/1623.13 c 1564s| 3420k|218113 | 15167k| 151M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 48k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1626.88/1627.72 c 1568s| 3430k|219025 | 15210k| 152M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 48k| 26k| 9.094947e-13 | 5.000000e+00 | Inf
1631.37/1632.25 c 1573s| 3440k|219524 | 15253k| 152M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 48k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1635.87/1636.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.87/1636.80 c 1577s| 3450k|220262 | 15296k| 153M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 48k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1640.57/1641.41 c 1581s| 3460k|221173 | 15340k| 153M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 48k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1645.16/1646.01 c 1586s| 3470k|221707 | 15384k| 154M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 48k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1649.66/1650.53 c 1590s| 3480k|222549 | 15426k| 154M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 48k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1654.26/1655.12 c 1595s| 3490k|223267 | 15469k| 155M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 49k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1658.76/1659.69 c 1599s| 3500k|223791 | 15512k| 155M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 49k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1663.35/1664.30 c 1604s| 3510k|224463 | 15555k| 156M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 49k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1667.95/1668.86 c 1608s| 3520k|224935 | 15599k| 156M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 49k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1672.55/1673.42 c 1612s| 3530k|225804 | 15642k| 157M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 49k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1677.05/1677.96 c 1617s| 3540k|226672 | 15683k| 157M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 49k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1681.65/1682.57 c 1621s| 3550k|227294 | 15727k| 158M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 49k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1686.24/1687.16 c 1626s| 3560k|228024 | 15769k| 158M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 49k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1690.85/1691.71 c 1630s| 3570k|228678 | 15811k| 159M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 50k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1695.34/1696.23 c 1634s| 3580k|229246 | 15854k| 159M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 50k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1699.84/1700.77 c 1639s| 3590k|229651 | 15895k| 160M| 52 | - | 140 | 7 | 5 | 140 | 16 | 15 | 50k| 27k| 9.094947e-13 | 5.000000e+00 | Inf
1704.54/1705.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1704.54/1705.40 c 1643s| 3600k|229894 | 15937k| 160M| 52 | - | 140 | 7 | 5 | 0 | 0 | 15 | 50k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1709.03/1709.92 c 1648s| 3610k|230205 | 15979k| 160M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 50k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1713.53/1714.44 c 1652s| 3620k|230613 | 16022k| 161M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 50k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1718.03/1718.94 c 1656s| 3630k|231195 | 16063k| 161M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 50k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1722.63/1723.55 c 1661s| 3640k|231537 | 16106k| 161M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 50k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1727.23/1728.12 c 1665s| 3650k|232051 | 16149k| 162M| 52 | - | 140 | 7 | 6 | 140 | 16 | 15 | 50k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1731.81/1732.71 c 1670s| 3660k|232485 | 16190k| 162M| 52 | - | 140 | 7 | 6 | 140 | 16 | 15 | 51k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1736.32/1737.21 c 1674s| 3670k|232814 | 16232k| 163M| 52 | - | 140 | 7 | 6 | 140 | 16 | 15 | 51k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1740.91/1741.84 c 1678s| 3680k|233242 | 16275k| 163M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 51k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1745.51/1746.42 c 1683s| 3690k|233416 | 16317k| 163M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 51k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1750.01/1750.94 c 1687s| 3700k|233627 | 16359k| 163M| 52 | 6 | 140 | 7 | 6 | 140 | 16 | 15 | 51k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1754.50/1755.47 c 1691s| 3710k|234120 | 16401k| 164M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 51k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1759.11/1760.06 c 1696s| 3720k|234552 | 16443k| 164M| 52 | - | 140 | 6 | 6 | 140 | 16 | 15 | 51k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1763.60/1764.59 c 1700s| 3730k|235208 | 16484k| 165M| 52 | - | 140 | 6 | 5 | 140 | 16 | 15 | 51k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1768.20/1769.20 c 1705s| 3740k|235828 | 16526k| 165M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 52k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1772.80/1773.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.80/1773.76 c 1709s| 3750k|236379 | 16569k| 166M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 52k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1777.29/1778.29 c 1713s| 3760k|236863 | 16610k| 166M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 52k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1781.90/1782.82 c 1718s| 3770k|237105 | 16651k| 166M| 52 | - | 140 | 6 | 6 | 0 | 0 | 15 | 52k| 28k| 9.094947e-13 | 5.000000e+00 | Inf
1786.49/1787.45 c 1722s| 3780k|238365 | 16694k| 167M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 52k| 29k| 9.094947e-13 | 5.000000e+00 | Inf
1790.99/1791.96 c 1727s| 3790k|239213 | 16735k| 168M| 52 | 6 | 140 | 6 | 6 | 140 | 16 | 15 | 52k| 29k| 9.094947e-13 | 5.000000e+00 | Inf
1795.49/1796.49 c 1731s| 3800k|239972 | 16776k| 168M| 52 | - | 140 | 6 | 5 | 140 | 16 | 15 | 52k| 29k| 9.094947e-13 | 5.000000e+00 | Inf
1800.09/1801.00 c
1800.09/1801.00 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1801.00 c Solving Time (sec) : 1735.33
1800.09/1801.00 c Solving Nodes : 3809890
1800.09/1801.00 c Primal Bound : +5.00000000000091e+00 (45 solutions)
1800.09/1801.00 c Dual Bound : +9.09494701772928e-13
1800.09/1801.00 c Gap : infinite
1800.09/1801.00 c NODE 3809890
1800.09/1801.00 c DUAL BOUND 9.09495e-13
1800.09/1801.00 c PRIMAL BOUND 5
1800.09/1801.00 c GAP 1e+20
1800.09/1801.00 s SATISFIABLE
1800.09/1801.00 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.09/1801.00 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.09/1801.00 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
1800.09/1801.00 v -x75 -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.09/1801.00 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.09/1801.00 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.09/1801.00 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1801.00 c Solving Time : 1735.33
1800.09/1801.00 c Original Problem :
1800.09/1801.00 c Problem name : HOME/instance-1869495-1245174707.opb
1800.09/1801.00 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1801.00 c Constraints : 12 initial, 12 maximal
1800.09/1801.00 c Presolved Problem :
1800.09/1801.00 c Problem name : t_HOME/instance-1869495-1245174707.opb
1800.09/1801.00 c Variables : 140 (140 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1801.00 c Constraints : 6 initial, 8 maximal
1800.09/1801.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1801.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1801.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1801.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1801.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1801.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1801.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1801.00 c linear : 0.00 0 6 0 0 0 6 0 0
1800.09/1801.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1801.00 c root node : - 60 - - 60 - - - -
1800.09/1801.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1801.00 c integral : 0 0 0 2047484 0 244 12126 0 0 4070356
1800.09/1801.00 c linear : 6 4 4842031 0 0 561583 3737284 7 0 0
1800.09/1801.00 c logicor : 0+ 0 29452 0 0 2036 13455 0 0 0
1800.09/1801.00 c countsols : 0 0 0 30 0 0 0 0 0 0
1800.09/1801.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1801.00 c integral : 27.28 0.00 0.00 27.28 0.00
1800.09/1801.00 c linear : 287.33 0.00 287.33 0.00 0.00
1800.09/1801.00 c logicor : 0.13 0.00 0.13 0.00 0.00
1800.09/1801.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1801.00 c Propagators : Time Calls Cutoffs DomReds
1800.09/1801.00 c rootredcost : 1.79 41 0 60
1800.09/1801.00 c pseudoobj : 38.09 4858220 16342 62404
1800.09/1801.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1801.00 c propagation : 32.24 579919 52888 64009 46.5 0 0.0 -
1800.09/1801.00 c infeasible LP : 6.96 1239453 3 3 23.0 0 0.0 0
1800.09/1801.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1801.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1801.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1801.00 c applied globally : - - - 20 28.6 - - -
1800.09/1801.00 c applied locally : - - - 52871 46.6 - - -
1800.09/1801.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1801.00 c cut pool : 0.00 3 - - 2 - (maximal pool size: 46)
1800.09/1801.00 c redcost : 33.13 2504870 0 9656435 0 0
1800.09/1801.00 c impliedbounds : 0.00 4 0 0 0 0
1800.09/1801.00 c intobj : 0.00 0 0 0 0 0
1800.09/1801.00 c gomory : 0.00 4 0 0 0 0
1800.09/1801.00 c strongcg : 0.00 4 0 0 11 0
1800.09/1801.00 c cmir : 0.01 4 0 0 13 0
1800.09/1801.00 c flowcover : 0.03 4 0 0 19 0
1800.09/1801.00 c clique : 0.00 1 0 0 0 0
1800.09/1801.00 c zerohalf : 0.00 0 0 0 0 0
1800.09/1801.00 c mcf : 0.00 1 0 0 0 0
1800.09/1801.00 c Pricers : Time Calls Vars
1800.09/1801.00 c problem variables: 0.00 0 0
1800.09/1801.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1801.00 c relpscost : 25.74 2047454 244 12126 0 0 4070356
1800.09/1801.00 c pscost : 0.00 0 0 0 0 0 0
1800.09/1801.00 c inference : 0.00 0 0 0 0 0 0
1800.09/1801.00 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1801.00 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1801.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1801.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1801.00 c random : 0.00 0 0 0 0 0 0
1800.09/1801.00 c Primal Heuristics : Time Calls Found
1800.09/1801.00 c LP solutions : 0.06 - 30
1800.09/1801.00 c pseudo solutions : 0.00 - 0
1800.09/1801.00 c intshifting : 0.07 0 0
1800.09/1801.00 c oneopt : 1.58 41 0
1800.09/1801.00 c crossover : 14.58 16 0
1800.09/1801.00 c rootsoldiving : 5.60 1360 0
1800.09/1801.00 c coefdiving : 8.70 2720 2
1800.09/1801.00 c objpscostdiving : 4.72 1360 4
1800.09/1801.00 c veclendiving : 6.15 2720 3
1800.09/1801.00 c pscostdiving : 7.33 2720 0
1800.09/1801.00 c linesearchdiving : 5.66 2720 2
1800.09/1801.00 c guideddiving : 6.39 2720 1
1800.09/1801.00 c fracdiving : 6.59 2720 3
1800.09/1801.00 c simplerounding : 1.37 0 0
1800.09/1801.00 c rounding : 1.93 21664 0
1800.09/1801.00 c shifting : 5.30 6074 0
1800.09/1801.00 c fixandinfer : 0.00 0 0
1800.09/1801.00 c feaspump : 0.21 1 0
1800.09/1801.00 c intdiving : 0.00 0 0
1800.09/1801.00 c actconsdiving : 0.00 0 0
1800.09/1801.00 c octane : 0.00 0 0
1800.09/1801.00 c rens : 0.03 1 0
1800.09/1801.00 c rins : 0.00 0 0
1800.09/1801.00 c localbranching : 0.00 0 0
1800.09/1801.00 c mutation : 0.00 0 0
1800.09/1801.00 c dins : 0.00 0 0
1800.09/1801.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1801.00 c primal LP : 0.00 0 0 0.00 -
1800.09/1801.00 c dual LP : 1030.94 3558622 16390415 4.61 15898.51
1800.09/1801.00 c barrier LP : 0.00 0 0 0.00 -
1800.09/1801.00 c diving/probing LP: 34.55 148612 427977 2.88 12387.18
1800.09/1801.00 c strong branching : 6.86 29218 105258 3.60 15343.73
1800.09/1801.00 c (at root node) : - 15 424 28.27 -
1800.09/1801.00 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1801.00 c B&B Tree :
1800.09/1801.00 c number of runs : 1
1800.09/1801.00 c nodes : 3809890
1800.09/1801.00 c nodes (total) : 3809890
1800.09/1801.00 c nodes left : 240565
1800.09/1801.00 c max depth : 52
1800.09/1801.00 c max depth (total): 52
1800.09/1801.00 c backtracks : 866943 (22.8%)
1800.09/1801.00 c delayed cutoffs : 9248
1800.09/1801.00 c repropagations : 14885 (53279 domain reductions, 9156 cutoffs)
1800.09/1801.00 c avg switch length: 5.04
1800.09/1801.00 c switching time : 80.16
1800.09/1801.00 c Solution :
1800.09/1801.00 c Solutions found : 45 (41 improvements)
1800.09/1801.00 c Primal Bound : +5.00000000000091e+00 (in run 1, after 2689454 nodes, 1238.23 seconds, depth 42, found by <relaxation>)
1800.09/1801.00 c Dual Bound : +9.09494701772928e-13
1800.09/1801.00 c Gap : infinite
1800.09/1801.00 c Root Dual Bound : +9.09494701772928e-13
1801.08/1802.01 c Time complete: 1801.1.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869495-1245174707/watcher-1869495-1245174707 -o /tmp/evaluation-result-1869495-1245174707/solver-1869495-1245174707 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869495-1245174707.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3064
/proc/meminfo: memFree=1842104/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=7616 CPUtime=0
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 632 0 0 0 0 0 0 0 18 0 1 0 185067110 7798784 616 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/3064/statm: 1904 625 353 1256 0 643 0
[startup+0.01934 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3064
/proc/meminfo: memFree=1842104/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=13236 CPUtime=0
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 2466 0 0 0 0 0 0 0 18 0 1 0 185067110 13553664 2096 1992294400 4194304 9342243 548682068736 18446744073709551615 4401598 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 3309 2098 469 1256 0 2048 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13236
[startup+0.101355 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3064
/proc/meminfo: memFree=1842104/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=22284 CPUtime=0.09
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 4450 0 0 0 8 1 0 0 18 0 1 0 185067110 22818816 4080 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 5571 4080 675 1256 0 4310 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22284
[startup+0.301392 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3064
/proc/meminfo: memFree=1842104/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=16076 CPUtime=0.29
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 4571 0 0 0 27 2 0 0 20 0 1 0 185067110 16461824 2581 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 4019 2581 693 1256 0 2758 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16076
[startup+0.701467 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3064
/proc/meminfo: memFree=1842104/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=16676 CPUtime=0.69
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 4692 0 0 0 66 3 0 0 24 0 1 0 185067110 17076224 2702 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 4169 2702 699 1256 0 2908 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16676
[startup+1.50162 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3065
/proc/meminfo: memFree=1833840/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=18584 CPUtime=1.49
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 5459 0 0 0 143 6 0 0 25 0 1 0 185067110 19030016 3469 1992294400 4194304 9342243 548682068736 18446744073709551615 4686176 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 4646 3469 699 1256 0 3385 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18584
[startup+3.10192 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3065
/proc/meminfo: memFree=1830320/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=18100 CPUtime=3.09
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 6829 0 0 0 297 12 0 0 25 0 1 0 185067110 18534400 3084 1992294400 4194304 9342243 548682068736 18446744073709551615 5061624 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 4525 3084 700 1256 0 3264 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18100
[startup+6.30152 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3065
/proc/meminfo: memFree=1831408/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=19748 CPUtime=6.29
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 7179 0 0 0 606 23 0 0 25 0 1 0 185067110 20221952 3434 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 4937 3434 700 1256 0 3676 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19748
[startup+12.7017 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3065
/proc/meminfo: memFree=1825328/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=22136 CPUtime=12.68
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 9963 0 0 0 1226 42 0 0 25 0 1 0 185067110 22667264 4302 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 5534 4302 700 1256 0 4273 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22136
[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3065
/proc/meminfo: memFree=1820336/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=28088 CPUtime=25.48
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 17645 0 0 0 2456 92 0 0 25 0 1 0 185067110 28762112 6111 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 7022 6111 700 1256 0 5761 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28088
[startup+51.1019 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3065
/proc/meminfo: memFree=1814448/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=34688 CPUtime=51.05
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 25287 0 0 0 4919 186 0 0 25 0 1 0 185067110 35520512 7693 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 8672 7693 700 1256 0 7411 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 34688
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3067
/proc/meminfo: memFree=1804592/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=43508 CPUtime=102.23
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 30665 0 0 0 9856 367 0 0 25 0 1 0 185067110 44552192 10028 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 10877 10028 700 1256 0 9616 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 43508
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3067
/proc/meminfo: memFree=1795248/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=54096 CPUtime=162.19
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 33729 0 0 0 15637 582 0 0 25 0 1 0 185067110 55394304 12353 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 13524 12353 700 1256 0 12263 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 54096
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3067
/proc/meminfo: memFree=1782640/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=67796 CPUtime=222.17
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 36861 0 0 0 21425 792 0 0 25 0 1 0 185067110 69423104 15484 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 16949 15484 700 1256 0 15688 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 67796
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3067
/proc/meminfo: memFree=1772400/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=76296 CPUtime=282.15
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 41212 0 0 0 27204 1011 0 0 25 0 1 0 185067110 78127104 17977 1992294400 4194304 9342243 548682068736 18446744073709551615 5813900 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 19074 17977 700 1256 0 17813 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 76296
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3067
/proc/meminfo: memFree=1768560/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=80336 CPUtime=342.11
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 43543 0 0 0 32982 1229 0 0 25 0 1 0 185067110 82264064 18979 1992294400 4194304 9342243 548682068736 18446744073709551615 5028884 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 20084 18979 700 1256 0 18823 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 80336
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3067
/proc/meminfo: memFree=1768432/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=81316 CPUtime=402.08
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 45321 0 0 0 38774 1434 0 0 25 0 1 0 185067110 83267584 18997 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 20329 18997 700 1256 0 19068 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 81316
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3067
/proc/meminfo: memFree=1763504/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=86524 CPUtime=462.05
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 46675 0 0 0 44557 1648 0 0 25 0 1 0 185067110 88600576 20351 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 21631 20351 700 1256 0 20370 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 86524
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3067
/proc/meminfo: memFree=1757040/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=92532 CPUtime=522.02
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 48155 0 0 0 50337 1865 0 0 25 0 1 0 185067110 94752768 21831 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 23133 21831 700 1256 0 21872 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 92532
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1752624/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=97200 CPUtime=581.99
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 49228 0 0 0 56111 2088 0 0 25 0 1 0 185067110 99532800 22904 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 24300 22904 700 1256 0 23039 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 97200
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1747120/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=102300 CPUtime=641.96
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 50576 0 0 0 61896 2300 0 0 25 0 1 0 185067110 104755200 24252 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 25575 24252 700 1256 0 24314 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 102300
[startup+702.302 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1710128/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=139036 CPUtime=1001.79
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 60632 0 0 0 96571 3608 0 0 25 0 1 0 185067110 142372864 33413 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 34759 33413 700 1256 0 33498 0
Current children cumulated CPU time (s) 1001.79
Current children cumulated vsize (KiB) 139036
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1704880/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=144824 CPUtime=1061.76
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 61935 0 0 0 102354 3822 0 0 25 0 1 0 185067110 148299776 34716 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 36206 34716 700 1256 0 34945 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 144824
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1699568/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=149100 CPUtime=1121.73
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 63262 0 0 0 108128 4045 0 0 25 0 1 0 185067110 152678400 36043 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 37275 36043 700 1256 0 36014 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 149100
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1698160/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=150868 CPUtime=1181.7
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 63593 0 0 0 113912 4258 0 0 25 0 1 0 185067110 154488832 36373 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 37717 36373 700 1256 0 36456 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 150868
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1695856/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=153040 CPUtime=1241.67
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 64140 0 0 0 119698 4469 0 0 25 0 1 0 185067110 156712960 36920 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 38260 36920 700 1256 0 36999 0
Current children cumulated CPU time (s) 1241.67
Current children cumulated vsize (KiB) 153040
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1692528/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=154840 CPUtime=1301.64
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 65671 0 0 0 125473 4691 0 0 25 0 1 0 185067110 158556160 37661 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 38710 37661 700 1256 0 37449 0
Current children cumulated CPU time (s) 1301.64
Current children cumulated vsize (KiB) 154840
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1692080/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=155352 CPUtime=1361.61
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 65829 0 0 0 131250 4911 0 0 25 0 1 0 185067110 159080448 37819 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 38838 37819 700 1256 0 37577 0
Current children cumulated CPU time (s) 1361.61
Current children cumulated vsize (KiB) 155352
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1691120/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=157728 CPUtime=1421.58
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 66072 0 0 0 137040 5118 0 0 25 0 1 0 185067110 161513472 38062 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 39432 38062 700 1256 0 38171 0
Current children cumulated CPU time (s) 1421.58
Current children cumulated vsize (KiB) 157728
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1689072/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=158432 CPUtime=1481.55
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 66572 0 0 0 142821 5334 0 0 25 0 1 0 185067110 162234368 38562 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 39608 38562 700 1256 0 38347 0
Current children cumulated CPU time (s) 1481.55
Current children cumulated vsize (KiB) 158432
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1683440/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=168192 CPUtime=1541.52
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 67966 0 0 0 148598 5554 0 0 25 0 1 0 185067110 172228608 39956 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 42048 39956 700 1256 0 40787 0
Current children cumulated CPU time (s) 1541.52
Current children cumulated vsize (KiB) 168192
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1675184/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=177292 CPUtime=1601.48
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 70103 0 0 0 154381 5767 0 0 25 0 1 0 185067110 181547008 42093 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 44323 42093 700 1256 0 43062 0
Current children cumulated CPU time (s) 1601.48
Current children cumulated vsize (KiB) 177292
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1668912/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=184096 CPUtime=1661.45
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 71566 0 0 0 160160 5985 0 0 25 0 1 0 185067110 188514304 43556 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 46024 43556 700 1256 0 44763 0
Current children cumulated CPU time (s) 1661.45
Current children cumulated vsize (KiB) 184096
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1662512/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=190032 CPUtime=1721.43
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 73186 0 0 0 165949 6194 0 0 25 0 1 0 185067110 194592768 45176 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 47508 45176 700 1256 0 46247 0
Current children cumulated CPU time (s) 1721.43
Current children cumulated vsize (KiB) 190032
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1657264/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=194648 CPUtime=1781.39
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 74431 0 0 0 171731 6408 0 0 25 0 1 0 185067110 199319552 46421 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 48662 46421 700 1256 0 47401 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (KiB) 194648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1654640/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=197872 CPUtime=1800.09
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 75089 0 0 0 173533 6476 0 0 25 0 1 0 185067110 202620928 47079 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3064/statm: 49468 47079 700 1256 0 48207 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 197872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3073
/proc/meminfo: memFree=1654640/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=197872 CPUtime=1800.48
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 75090 0 0 0 173572 6476 0 0 25 0 1 0 185067110 202620928 47080 1992294400 4194304 9342243 548682068736 18446744073709551615 4733223 0 0 4096 0 0 0 0 17 1 0 0
/proc/3064/statm: 49468 47080 701 1256 0 48207 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 197872
[startup+1801.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 3074
/proc/meminfo: memFree=1654632/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=197872 CPUtime=1800.88
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 75090 0 0 0 173612 6476 0 0 25 0 1 0 185067110 202620928 47080 1992294400 4194304 9342243 548682068736 18446744073709551615 4805770 0 0 4096 0 0 0 0 17 0 0 0
/proc/3064/statm: 49468 47080 701 1256 0 48207 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 197872
[startup+1802 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 3074
/proc/meminfo: memFree=1654632/2055920 swapFree=4182544/4192956
[pid=3064] ppid=3062 vsize=112296 CPUtime=1801.08
/proc/3064/stat : 3064 (pbscip.linux.x8) R 3062 3064 2803 0 -1 4194304 75090 0 0 0 173630 6478 0 0 25 0 1 0 185067110 114991104 27362 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 0 0 0
/proc/3064/statm: 28074 27362 2219 1256 0 26813 0
Current children cumulated CPU time (s) 1801.08
Current children cumulated vsize (KiB) 112296
Child status: 0
Real time (s): 1802.02
CPU time (s): 1801.11
CPU user time (s): 1736.31
CPU system time (s): 64.7991
CPU usage (%): 99.9495
Max. virtual memory (cumulated for all children) (KiB): 197872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1736.31
system time used= 64.7991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75093
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= 7295
runsolver used 1.65075 second user time and 4.94825 second system time
The end