0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869536-1245177482.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 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, 5 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) 5 del vars, 5 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/115 (87.8%) - 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 5 deleted vars, 5 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 115 variables (115 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c OPT-LIN
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = c 1620
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = c 1791
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = c 10000
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving problem
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 56 | 399k| 0 | 5 | 115 | 5 | 5 | 115 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 115 | 470k| 0 | 9 | 115 | 5 | 5 | 115 | 11 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 118 | 512k| 0 | 12 | 115 | 5 | 5 | 115 | 16 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.06 c 0.0s| 1 | 0 | 131 | 521k| 0 | 14 | 115 | 5 | 5 | 115 | 19 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.07 c 0.1s| 1 | 0 | 137 | 541k| 0 | 14 | 115 | 5 | 5 | 115 | 21 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.09 c 0.1s| 1 | 0 | 144 | 561k| 0 | 18 | 115 | 5 | 5 | 115 | 26 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 158 | 579k| 0 | 16 | 115 | 5 | 5 | 115 | 30 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 2 | 158 | 580k| 0 | 16 | 115 | 5 | 5 | 115 | 30 | 25 | 0 | 16 | 0.000000e+00 | -- | Inf
0.19/0.24 o 189
0.19/0.24 c c 0.2s| 25 | 25 | 308 | 611k| 24 | - | 115 | 5 | 1 | 115 | 16 | 25 | 0 | 147 | 0.000000e+00 | 1.890000e+02 | Inf
0.19/0.28 o 187
0.19/0.28 c * 0.2s| 49 | 47 | 421 | 613k| 26 | - | 115 | 5 | 0 | 115 | 16 | 25 | 0 | 216 | 0.000000e+00 | 1.870000e+02 | Inf
0.29/0.37 o 186
0.29/0.37 c l 0.3s| 150 | 144 | 947 | 686k| 33 | - | 115 | 9 | 0 | 115 | 16 | 25 | 6 | 370 | 0.000000e+00 | 1.860000e+02 | Inf
0.39/0.46 o 184
0.39/0.46 c * 0.4s| 271 | 259 | 1405 | 736k| 34 | - | 115 | 9 | 0 | 115 | 16 | 25 | 11 | 487 | 0.000000e+00 | 1.840000e+02 | Inf
0.39/0.46 o 182
0.39/0.46 c * 0.4s| 272 | 258 | 1406 | 737k| 34 | - | 115 | 9 | 0 | 115 | 16 | 25 | 11 | 487 | 0.000000e+00 | 1.820000e+02 | Inf
0.39/0.48 o 181
0.39/0.48 c v 0.4s| 288 | 270 | 1472 | 752k| 34 | - | 115 | 9 | 0 | 115 | 16 | 25 | 14 | 511 | 0.000000e+00 | 1.810000e+02 | Inf
0.39/0.49 o 179
0.39/0.49 c l 0.4s| 302 | 284 | 1538 | 760k| 34 | - | 115 | 9 | 1 | 115 | 16 | 25 | 15 | 525 | 0.000000e+00 | 1.790000e+02 | Inf
0.49/0.53 o 177
0.49/0.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.53 c * 0.5s| 369 | 348 | 1851 | 789k| 34 | - | 115 | 13 | 1 | 115 | 16 | 25 | 19 | 552 | 0.000000e+00 | 1.770000e+02 | Inf
0.49/0.53 o 175
0.49/0.53 c * 0.5s| 371 | 348 | 1851 | 791k| 34 | - | 115 | 13 | 1 | 115 | 16 | 25 | 19 | 552 | 0.000000e+00 | 1.750000e+02 | Inf
0.49/0.59 o 174
0.49/0.59 c * 0.5s| 477 | 448 | 2303 | 839k| 34 | - | 115 | 13 | 4 | 115 | 16 | 25 | 21 | 569 | 0.000000e+00 | 1.740000e+02 | Inf
0.60/0.64 o 172
0.60/0.64 c * 0.6s| 553 | 519 | 2657 | 871k| 36 | - | 115 | 14 | 1 | 115 | 16 | 25 | 23 | 608 | 0.000000e+00 | 1.720000e+02 | Inf
0.60/0.67 o 169
0.60/0.67 c * 0.6s| 605 | 564 | 2855 | 896k| 36 | - | 115 | 14 | 4 | 115 | 16 | 25 | 25 | 630 | 0.000000e+00 | 1.690000e+02 | Inf
0.60/0.67 o 165
0.60/0.67 c * 0.6s| 606 | 559 | 2855 | 896k| 36 | - | 115 | 14 | 4 | 115 | 16 | 25 | 25 | 630 | 0.000000e+00 | 1.650000e+02 | Inf
0.60/0.68 o 163
0.60/0.68 c * 0.6s| 620 | 567 | 2906 | 902k| 36 | - | 115 | 14 | 2 | 115 | 16 | 25 | 25 | 637 | 0.000000e+00 | 1.630000e+02 | Inf
0.60/0.68 o 161
0.60/0.68 c g 0.6s| 622 | 563 | 2912 | 902k| 36 | - | 115 | 14 | 2 | 115 | 16 | 25 | 25 | 649 | 0.000000e+00 | 1.610000e+02 | Inf
0.69/0.76 o 159
0.69/0.76 c l 0.7s| 754 | 690 | 3478 | 972k| 36 | - | 115 | 16 | 3 | 115 | 16 | 25 | 34 | 672 | 0.000000e+00 | 1.590000e+02 | Inf
0.69/0.78 o 97
0.69/0.78 c c 0.7s| 772 | 648 | 3600 | 942k| 36 | - | 115 | 16 | 4 | 115 | 16 | 25 | 35 | 673 | 0.000000e+00 | 9.700000e+01 | Inf
0.79/0.87 o 95
0.79/0.87 c f 0.8s| 923 | 789 | 4491 | 999k| 38 | - | 115 | 17 | 4 | 115 | 16 | 25 | 39 | 689 | 0.000000e+00 | 9.500000e+01 | Inf
0.79/0.88 o 94
0.79/0.88 c v 0.8s| 941 | 807 | 4578 |1012k| 38 | - | 115 | 17 | 1 | 115 | 16 | 25 | 44 | 693 | 0.000000e+00 | 9.400000e+01 | Inf
0.79/0.89 o 92
0.79/0.89 c * 0.8s| 950 | 806 | 4634 |1010k| 38 | - | 115 | 17 | 3 | 115 | 16 | 25 | 44 | 697 | 0.000000e+00 | 9.200000e+01 | Inf
0.89/0.96 o 54
0.89/0.96 c g 0.9s| 1088 | 876 | 5316 |1043k| 38 | - | 115 | 17 | 7 | 115 | 16 | 25 | 50 | 698 | 0.000000e+00 | 5.400000e+01 | Inf
0.89/1.00 o 39
0.89/1.00 c c 0.9s| 1151 | 858 | 5764 |1032k| 38 | - | 115 | 24 | 5 | 115 | 16 | 25 | 57 | 703 | 0.000000e+00 | 3.900000e+01 | Inf
1.00/1.05 o 38
1.00/1.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.05 c p 1.0s| 1258 | 958 | 6133 |1073k| 38 | - | 115 | 24 | 1 | 115 | 16 | 25 | 61 | 708 | 0.000000e+00 | 3.800000e+01 | Inf
1.79/1.83 o 36
1.79/1.83 c f 1.7s| 2641 | 2216 | 12861 |1652k| 38 | - | 115 | 51 | 4 | 115 | 16 | 25 | 208 | 726 | 0.000000e+00 | 3.600000e+01 | Inf
2.29/2.38 o 33
2.29/2.38 c s 2.2s| 3489 | 2994 | 17678 |1981k| 38 | - | 115 | 58 | 10 | 115 | 16 | 25 | 304 | 731 | 0.000000e+00 | 3.300000e+01 | Inf
2.39/2.40 o 32
2.39/2.40 c * 2.2s| 3523 | 3005 | 17845 |1987k| 38 | - | 115 | 58 | 9 | 115 | 16 | 25 | 307 | 733 | 0.000000e+00 | 3.200000e+01 | Inf
2.79/2.82 o 31
2.79/2.82 c * 2.6s| 4040 | 3467 | 21092 |2170k| 38 | - | 115 | 51 | 4 | 115 | 16 | 25 | 394 | 755 | 0.000000e+00 | 3.100000e+01 | Inf
3.29/3.33 o 29
3.29/3.33 c p 3.1s| 4645 | 3968 | 25107 |2390k| 38 | - | 115 | 55 | 5 | 115 | 16 | 25 | 512 | 770 | 0.000000e+00 | 2.900000e+01 | Inf
3.49/3.52 o 27
3.49/3.52 c * 3.3s| 4849 | 4132 | 26584 |2460k| 38 | - | 115 | 55 | 2 | 115 | 16 | 25 | 547 | 776 | 0.000000e+00 | 2.700000e+01 | Inf
4.19/4.29 o 25
4.19/4.29 c l 4.0s| 5594 | 4716 | 32196 |2722k| 38 | - | 115 | 58 | 3 | 115 | 16 | 25 | 701 | 780 | 0.000000e+00 | 2.500000e+01 | Inf
6.99/7.09 o 23
6.99/7.09 c l 6.6s| 8475 | 7049 | 50335 |3768k| 38 | - | 115 | 74 | 2 | 115 | 16 | 25 |1228 | 820 | 0.000000e+00 | 2.300000e+01 | Inf
8.00/8.06 c 7.5s| 10000 | 8219 | 58161 |4322k| 38 | - | 115 | 75 | 6 | 115 | 16 | 25 |1406 | 858 | 0.000000e+00 | 2.300000e+01 | Inf
8.79/8.84 o 21
8.79/8.84 c c 8.2s| 11303 | 9024 | 64241 |4739k| 38 | - | 115 | 77 | 3 | 115 | 16 | 25 |1565 | 898 | 0.000000e+00 | 2.100000e+01 | Inf
9.49/9.53 o 19
9.49/9.53 c * 8.9s| 12421 | 9649 | 69272 |5023k| 38 | - | 115 | 76 | 1 | 115 | 16 | 25 |1704 | 946 | 0.000000e+00 | 1.900000e+01 | Inf
9.69/9.72 o 18
9.69/9.72 c * 9.1s| 12763 | 9787 | 70723 |5063k| 38 | - | 115 | 76 | 3 | 115 | 16 | 25 |1734 | 956 | 0.000000e+00 | 1.800000e+01 | Inf
12.29/12.30 o 17
12.29/12.30 c *11.4s| 17092 | 12266 | 88499 |6521k| 38 | - | 115 | 75 | 1 | 115 | 16 | 25 |2161 |1089 | 0.000000e+00 | 1.700000e+01 | Inf
12.29/12.31 o 15
12.29/12.31 c *11.5s| 17093 | 11460 | 88501 |5925k| 38 | - | 115 | 75 | 1 | 115 | 16 | 25 |2161 |1089 | 0.000000e+00 | 1.500000e+01 | Inf
13.68/13.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.68/13.72 c 12.8s| 20000 | 12827 |100277 |6622k| 38 | 5 | 115 | 78 | 12 | 115 | 16 | 25 |2438 |1185 | 0.000000e+00 | 1.500000e+01 | Inf
13.79/13.88 o 14
13.79/13.88 c *12.9s| 20334 | 12906 |101524 |6650k| 38 | - | 115 | 78 | 2 | 115 | 16 | 25 |2479 |1200 | 0.000000e+00 | 1.400000e+01 | Inf
13.79/13.89 o 12
13.79/13.89 c *12.9s| 20336 | 12731 |101526 |6489k| 38 | - | 115 | 78 | 2 | 115 | 16 | 25 |2479 |1202 | 0.000000e+00 | 1.200000e+01 | Inf
13.79/13.89 o 10
13.79/13.89 c *12.9s| 20337 | 12457 |101527 |6257k| 38 | - | 115 | 78 | 2 | 115 | 16 | 25 |2479 |1202 | 0.000000e+00 | 1.000000e+01 | Inf
13.89/13.99 o 9
13.89/13.99 c *13.0s| 20554 | 12404 |102276 |6182k| 38 | - | 115 | 79 | 1 | 115 | 16 | 25 |2495 |1206 | 0.000000e+00 | 9.000000e+00 | Inf
16.09/16.19 o 8
16.09/16.19 c *15.1s| 25719 | 13961 |121225 |6984k| 38 | - | 115 | 89 | 3 | 115 | 16 | 25 |2899 |1350 | 0.000000e+00 | 8.000000e+00 | Inf
17.69/17.79 c 16.6s| 30000 | 15118 |135588 |7601k| 38 | - | 115 | 95 | 7 | 0 | 0 | 25 |3173 |1437 | 0.000000e+00 | 8.000000e+00 | Inf
21.39/21.49 c 20.0s| 40000 | 17683 |167986 |8942k| 38 | - | 115 | 133 | 9 | 115 | 16 | 25 |3715 |1656 | 0.000000e+00 | 8.000000e+00 | Inf
24.89/24.98 c 23.3s| 50000 | 18996 |198155 |9815k| 38 | 5 | 115 | 173 | 6 | 115 | 16 | 25 |4230 |1850 | 0.000000e+00 | 8.000000e+00 | Inf
28.29/28.38 c 26.4s| 60000 | 19426 |226803 | 10M| 38 | 5 | 115 | 203 | 6 | 115 | 16 | 25 |4791 |2013 | 0.000000e+00 | 8.000000e+00 | Inf
31.68/31.77 c 29.6s| 70000 | 19627 |255032 | 10M| 38 | - | 115 | 216 | 6 | 115 | 16 | 25 |5403 |2168 | 0.000000e+00 | 8.000000e+00 | Inf
35.08/35.20 c 32.7s| 80000 | 20412 |285435 | 11M| 38 | 5 | 115 | 220 | 6 | 115 | 16 | 25 |5979 |2331 | 0.000000e+00 | 8.000000e+00 | Inf
37.08/37.17 o 7
37.08/37.17 c *34.5s| 85817 | 20315 |302511 | 11M| 38 | - | 115 | 190 | 1 | 115 | 16 | 25 |6281 |2434 | 0.000000e+00 | 7.000000e+00 | Inf
37.08/37.17 o 5
37.08/37.17 c *34.5s| 85818 | 19600 |302514 | 10M| 38 | - | 115 | 190 | 1 | 115 | 16 | 25 |6281 |2434 | 0.000000e+00 | 5.000000e+00 | Inf
38.37/38.48 c 35.7s| 90000 | 19608 |314118 | 10M| 38 | - | 115 | 186 | 7 | 115 | 16 | 25 |6452 |2519 | 0.000000e+00 | 5.000000e+00 | Inf
41.67/41.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.67/41.72 c 38.7s|100000 | 19656 |341384 | 10M| 38 | 5 | 115 | 192 | 6 | 115 | 16 | 25 |6933 |2756 | 0.000000e+00 | 5.000000e+00 | Inf
44.97/45.07 c 41.8s|110000 | 21710 |371802 | 11M| 38 | 5 | 115 | 192 | 6 | 115 | 16 | 25 |7365 |2989 | 0.000000e+00 | 5.000000e+00 | Inf
48.17/48.22 c 44.8s|120000 | 22211 |399455 | 12M| 38 | - | 115 | 169 | 9 | 115 | 16 | 25 |7783 |3227 | 0.000000e+00 | 5.000000e+00 | Inf
51.26/51.37 c 47.7s|130000 | 22574 |426078 | 12M| 38 | 5 | 115 | 156 | 8 | 115 | 16 | 25 |8216 |3417 | 0.000000e+00 | 5.000000e+00 | Inf
54.36/54.43 c 50.5s|140000 | 22739 |452460 | 12M| 38 | - | 115 | 143 | 8 | 115 | 16 | 25 |8582 |3629 | 0.000000e+00 | 5.000000e+00 | Inf
57.37/57.47 c 53.4s|150000 | 22584 |478544 | 12M| 38 | 5 | 115 | 147 | 7 | 115 | 16 | 25 |8979 |3862 | 0.000000e+00 | 5.000000e+00 | Inf
60.47/60.50 c 56.2s|160000 | 22586 |505017 | 12M| 38 | - | 115 | 159 | 6 | 115 | 16 | 25 |9413 |3990 | 0.000000e+00 | 5.000000e+00 | Inf
63.57/63.60 c 59.0s|170000 | 23186 |531124 | 13M| 38 | - | 115 | 144 | 7 | 115 | 16 | 25 |9868 |4133 | 0.000000e+00 | 5.000000e+00 | Inf
66.56/66.61 c 61.8s|180000 | 22577 |556177 | 13M| 38 | - | 115 | 126 | 6 | 115 | 16 | 25 | 10k|4283 | 0.000000e+00 | 5.000000e+00 | Inf
69.67/69.72 c 64.7s|190000 | 23109 |582813 | 13M| 38 | 5 | 115 | 118 | 8 | 115 | 16 | 25 | 10k|4456 | 0.000000e+00 | 5.000000e+00 | Inf
72.66/72.77 c 67.5s|200000 | 23428 |608948 | 13M| 38 | 5 | 115 | 120 | 13 | 115 | 16 | 25 | 11k|4616 | 0.000000e+00 | 5.000000e+00 | Inf
75.67/75.79 c 70.3s|210000 | 22951 |634331 | 13M| 38 | - | 115 | 101 | 7 | 115 | 16 | 25 | 11k|4792 | 0.000000e+00 | 5.000000e+00 | Inf
78.66/78.78 c 73.1s|220000 | 22780 |660180 | 13M| 38 | - | 115 | 106 | 6 | 115 | 16 | 25 | 12k|4991 | 0.000000e+00 | 5.000000e+00 | Inf
81.76/81.85 c 76.0s|230000 | 22913 |686675 | 13M| 38 | - | 115 | 109 | 6 | 115 | 16 | 25 | 12k|5181 | 0.000000e+00 | 5.000000e+00 | Inf
84.86/84.95 c 78.8s|240000 | 23320 |713701 | 14M| 38 | 5 | 115 | 97 | 10 | 115 | 16 | 25 | 12k|5364 | 0.000000e+00 | 5.000000e+00 | Inf
87.86/87.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.86/87.98 c 81.6s|250000 | 23269 |740294 | 14M| 38 | - | 115 | 103 | 6 | 115 | 16 | 25 | 13k|5551 | 0.000000e+00 | 5.000000e+00 | Inf
90.96/91.03 c 84.5s|260000 | 23125 |766503 | 14M| 38 | 5 | 115 | 103 | 6 | 115 | 16 | 25 | 13k|5737 | 0.000000e+00 | 5.000000e+00 | Inf
93.95/94.02 c 87.2s|270000 | 22412 |792551 | 13M| 38 | - | 115 | 101 | 8 | 115 | 16 | 25 | 13k|5894 | 0.000000e+00 | 5.000000e+00 | Inf
97.16/97.24 c 90.2s|280000 | 23609 |821239 | 14M| 38 | - | 115 | 93 | 5 | 0 | 0 | 25 | 14k|6017 | 0.000000e+00 | 5.000000e+00 | Inf
100.45/100.51 c 93.2s|290000 | 25213 |851221 | 15M| 38 | 5 | 115 | 79 | 7 | 115 | 16 | 25 | 14k|6192 | 0.000000e+00 | 5.000000e+00 | Inf
104.06/104.12 o 4
104.06/104.12 c *96.5s|299009 | 26015 |877819 | 15M| 38 | - | 115 | 83 | 1 | 115 | 16 | 25 | 15k|6309 | 0.000000e+00 | 4.000000e+00 | Inf
104.36/104.43 c 96.8s|300000 | 26147 |880688 | 15M| 38 | 5 | 115 | 72 | 6 | 115 | 16 | 25 | 15k|6311 | 0.000000e+00 | 4.000000e+00 | Inf
107.25/107.38 c 99.5s|310000 | 26913 |907758 | 16M| 38 | - | 115 | 74 | 6 | 115 | 16 | 25 | 15k|6356 | 0.000000e+00 | 4.000000e+00 | Inf
110.55/110.62 c 103s|320000 | 28830 |938474 | 17M| 38 | - | 115 | 71 | 6 | 115 | 16 | 25 | 16k|6410 | 0.000000e+00 | 4.000000e+00 | Inf
113.65/113.73 c 105s|330000 | 30423 |967971 | 18M| 38 | 5 | 115 | 64 | 7 | 115 | 16 | 25 | 16k|6477 | 0.000000e+00 | 4.000000e+00 | Inf
116.65/116.74 c 108s|340000 | 31942 |996923 | 18M| 38 | - | 115 | 69 | 6 | 115 | 16 | 25 | 17k|6527 | 0.000000e+00 | 4.000000e+00 | Inf
119.65/119.77 c 111s|350000 | 33290 | 1026k| 19M| 38 | - | 115 | 63 | 6 | 115 | 16 | 25 | 17k|6586 | 0.000000e+00 | 4.000000e+00 | Inf
120.15/120.21 o 2
120.15/120.21 c * 111s|351487 | 32072 | 1030k| 18M| 38 | - | 115 | 58 | 1 | 115 | 16 | 25 | 17k|6590 | 0.000000e+00 | 2.000000e+00 | Inf
122.35/122.48 c 113s|360000 | 32708 | 1054k| 18M| 38 | - | 115 | 72 | 6 | 115 | 16 | 25 | 17k|6608 | 0.000000e+00 | 2.000000e+00 | Inf
125.05/125.16 c 116s|370000 | 33345 | 1081k| 19M| 38 | - | 115 | 65 | 14 | 115 | 16 | 25 | 17k|6627 | 0.000000e+00 | 2.000000e+00 | Inf
127.75/127.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.75/127.82 c 118s|380000 | 33671 | 1107k| 19M| 38 | - | 115 | 78 | 8 | 0 | 0 | 25 | 18k|6654 | 0.000000e+00 | 2.000000e+00 | Inf
130.35/130.49 c 121s|390000 | 33841 | 1133k| 19M| 38 | 5 | 115 | 79 | 11 | 115 | 16 | 25 | 18k|6689 | 0.000000e+00 | 2.000000e+00 | Inf
133.05/133.17 c 123s|400000 | 34003 | 1160k| 19M| 38 | 5 | 115 | 82 | 6 | 115 | 16 | 25 | 18k|6713 | 0.000000e+00 | 2.000000e+00 | Inf
135.75/135.85 c 126s|410000 | 34747 | 1187k| 20M| 38 | - | 115 | 95 | 7 | 115 | 16 | 25 | 19k|6731 | 0.000000e+00 | 2.000000e+00 | Inf
138.34/138.45 c 128s|420000 | 34615 | 1212k| 20M| 38 | 5 | 115 | 89 | 6 | 115 | 16 | 25 | 19k|6754 | 0.000000e+00 | 2.000000e+00 | Inf
140.95/141.05 c 131s|430000 | 34570 | 1238k| 20M| 38 | 5 | 115 | 88 | 7 | 115 | 16 | 25 | 19k|6778 | 0.000000e+00 | 2.000000e+00 | Inf
143.54/143.65 c 133s|440000 | 34613 | 1263k| 20M| 38 | 5 | 115 | 97 | 6 | 115 | 16 | 25 | 19k|6801 | 0.000000e+00 | 2.000000e+00 | Inf
146.15/146.28 c 135s|450000 | 34598 | 1290k| 20M| 38 | 5 | 115 | 95 | 6 | 115 | 16 | 25 | 19k|6828 | 0.000000e+00 | 2.000000e+00 | Inf
148.85/148.94 c 138s|460000 | 34391 | 1316k| 20M| 38 | 5 | 115 | 85 | 6 | 115 | 16 | 25 | 20k|6845 | 0.000000e+00 | 2.000000e+00 | Inf
151.44/151.58 c 140s|470000 | 34328 | 1343k| 20M| 38 | - | 115 | 84 | 6 | 115 | 16 | 25 | 20k|6869 | 0.000000e+00 | 2.000000e+00 | Inf
154.14/154.23 c 143s|480000 | 34406 | 1369k| 21M| 38 | 5 | 115 | 97 | 10 | 115 | 16 | 25 | 20k|6899 | 0.000000e+00 | 2.000000e+00 | Inf
156.74/156.87 c 145s|490000 | 34447 | 1395k| 21M| 38 | - | 115 | 71 | 6 | 115 | 16 | 25 | 20k|6926 | 0.000000e+00 | 2.000000e+00 | Inf
159.34/159.47 c 147s|500000 | 34227 | 1422k| 21M| 38 | - | 115 | 78 | 6 | 115 | 16 | 25 | 21k|6951 | 0.000000e+00 | 2.000000e+00 | Inf
161.94/162.06 c 150s|510000 | 34190 | 1448k| 21M| 38 | - | 115 | 81 | 6 | 115 | 16 | 25 | 21k|6979 | 0.000000e+00 | 2.000000e+00 | Inf
164.54/164.65 c 152s|520000 | 33757 | 1473k| 21M| 38 | - | 115 | 70 | 6 | 115 | 16 | 25 | 21k|7008 | 0.000000e+00 | 2.000000e+00 | Inf
167.14/167.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.14/167.27 c 155s|530000 | 33625 | 1499k| 21M| 38 | - | 115 | 85 | 5 | 0 | 0 | 25 | 21k|7029 | 0.000000e+00 | 2.000000e+00 | Inf
169.84/169.93 c 157s|540000 | 33488 | 1525k| 21M| 38 | - | 115 | 82 | 8 | 115 | 16 | 25 | 22k|7042 | 0.000000e+00 | 2.000000e+00 | Inf
172.44/172.52 c 159s|550000 | 33200 | 1551k| 20M| 38 | - | 115 | 80 | 7 | 115 | 16 | 25 | 22k|7059 | 0.000000e+00 | 2.000000e+00 | Inf
175.03/175.18 c 162s|560000 | 33175 | 1578k| 20M| 38 | 5 | 115 | 78 | 9 | 115 | 16 | 25 | 22k|7084 | 0.000000e+00 | 2.000000e+00 | Inf
177.64/177.77 c 164s|570000 | 32628 | 1604k| 20M| 38 | - | 115 | 70 | 7 | 115 | 16 | 25 | 22k|7107 | 0.000000e+00 | 2.000000e+00 | Inf
180.24/180.40 c 167s|580000 | 32430 | 1632k| 20M| 38 | 5 | 115 | 61 | 7 | 115 | 16 | 25 | 22k|7134 | 0.000000e+00 | 2.000000e+00 | Inf
182.94/183.02 c 169s|590000 | 32851 | 1659k| 20M| 38 | 5 | 115 | 88 | 6 | 115 | 16 | 25 | 23k|7166 | 0.000000e+00 | 2.000000e+00 | Inf
186.43/186.56 c 172s|600000 | 32444 | 1685k| 20M| 38 | 5 | 115 | 89 | 6 | 115 | 16 | 25 | 23k|7183 | 0.000000e+00 | 2.000000e+00 | Inf
189.14/189.20 c 175s|610000 | 32391 | 1712k| 20M| 38 | - | 115 | 103 | 6 | 115 | 16 | 25 | 23k|7205 | 0.000000e+00 | 2.000000e+00 | Inf
191.73/191.81 c 177s|620000 | 31984 | 1738k| 20M| 38 | 5 | 115 | 84 | 6 | 115 | 16 | 25 | 24k|7238 | 0.000000e+00 | 2.000000e+00 | Inf
194.33/194.45 c 180s|630000 | 31872 | 1764k| 20M| 38 | - | 115 | 71 | 9 | 115 | 16 | 25 | 24k|7265 | 0.000000e+00 | 2.000000e+00 | Inf
196.93/197.01 c 182s|640000 | 31485 | 1789k| 20M| 38 | - | 115 | 67 | 10 | 115 | 16 | 25 | 24k|7289 | 0.000000e+00 | 2.000000e+00 | Inf
199.53/199.62 c 184s|650000 | 31471 | 1815k| 20M| 38 | 5 | 115 | 75 | 9 | 115 | 16 | 25 | 24k|7324 | 0.000000e+00 | 2.000000e+00 | Inf
202.13/202.20 c 187s|660000 | 31461 | 1840k| 20M| 38 | 5 | 115 | 82 | 9 | 115 | 16 | 25 | 25k|7348 | 0.000000e+00 | 2.000000e+00 | Inf
204.63/204.77 c 189s|670000 | 31081 | 1866k| 19M| 38 | 5 | 115 | 71 | 7 | 115 | 16 | 25 | 25k|7379 | 0.000000e+00 | 2.000000e+00 | Inf
207.33/207.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.33/207.43 c 191s|680000 | 31515 | 1893k| 20M| 38 | 4 | 115 | 65 | 7 | 115 | 16 | 25 | 25k|7394 | 0.000000e+00 | 2.000000e+00 | Inf
209.93/210.02 c 194s|690000 | 31180 | 1919k| 20M| 38 | 5 | 115 | 72 | 7 | 115 | 16 | 25 | 25k|7402 | 0.000000e+00 | 2.000000e+00 | Inf
212.53/212.64 c 196s|700000 | 30503 | 1946k| 19M| 38 | - | 115 | 71 | 14 | 115 | 16 | 25 | 25k|7419 | 0.000000e+00 | 2.000000e+00 | Inf
215.62/215.74 c 199s|710000 | 32006 | 1975k| 20M| 38 | - | 115 | 91 | 7 | 115 | 16 | 25 | 26k|7440 | 0.000000e+00 | 2.000000e+00 | Inf
218.63/218.70 c 202s|720000 | 34249 | 2004k| 21M| 38 | - | 115 | 97 | 8 | 115 | 16 | 25 | 26k|7467 | 0.000000e+00 | 2.000000e+00 | Inf
221.32/221.48 c 204s|730000 | 35618 | 2032k| 22M| 38 | 5 | 115 | 107 | 10 | 115 | 16 | 25 | 26k|7493 | 0.000000e+00 | 2.000000e+00 | Inf
224.12/224.21 c 207s|740000 | 36664 | 2059k| 23M| 38 | - | 115 | 121 | 7 | 115 | 16 | 25 | 27k|7522 | 0.000000e+00 | 2.000000e+00 | Inf
226.83/226.94 c 209s|750000 | 37639 | 2086k| 23M| 38 | - | 115 | 91 | 7 | 115 | 16 | 25 | 27k|7555 | 0.000000e+00 | 2.000000e+00 | Inf
229.53/229.67 c 212s|760000 | 38676 | 2112k| 24M| 38 | 5 | 115 | 117 | 14 | 115 | 16 | 25 | 27k|7580 | 0.000000e+00 | 2.000000e+00 | Inf
232.22/232.34 c 214s|770000 | 39219 | 2138k| 24M| 38 | 5 | 115 | 109 | 8 | 115 | 16 | 25 | 28k|7618 | 0.000000e+00 | 2.000000e+00 | Inf
234.82/234.99 c 217s|780000 | 39756 | 2164k| 25M| 38 | 5 | 115 | 132 | 6 | 115 | 16 | 25 | 28k|7644 | 0.000000e+00 | 2.000000e+00 | Inf
237.53/237.67 c 219s|790000 | 40373 | 2190k| 25M| 38 | - | 115 | 130 | 7 | 115 | 16 | 25 | 28k|7677 | 0.000000e+00 | 2.000000e+00 | Inf
240.22/240.36 c 222s|800000 | 41076 | 2217k| 26M| 38 | - | 115 | 118 | 6 | 115 | 16 | 25 | 28k|7709 | 0.000000e+00 | 2.000000e+00 | Inf
242.82/242.99 c 224s|810000 | 41224 | 2243k| 26M| 38 | 5 | 115 | 120 | 8 | 115 | 16 | 25 | 29k|7744 | 0.000000e+00 | 2.000000e+00 | Inf
245.52/245.63 c 227s|820000 | 41595 | 2270k| 26M| 38 | 5 | 115 | 102 | 8 | 115 | 16 | 25 | 29k|7781 | 0.000000e+00 | 2.000000e+00 | Inf
248.12/248.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.12/248.29 c 229s|830000 | 41946 | 2296k| 27M| 38 | 5 | 115 | 109 | 7 | 115 | 16 | 25 | 29k|7817 | 0.000000e+00 | 2.000000e+00 | Inf
250.82/250.96 c 231s|840000 | 42044 | 2322k| 27M| 38 | 5 | 115 | 108 | 6 | 115 | 16 | 25 | 30k|7851 | 0.000000e+00 | 2.000000e+00 | Inf
253.52/253.62 c 234s|850000 | 42737 | 2348k| 27M| 38 | 5 | 115 | 123 | 6 | 115 | 16 | 25 | 30k|7873 | 0.000000e+00 | 2.000000e+00 | Inf
256.12/256.22 c 236s|860000 | 42464 | 2374k| 27M| 38 | - | 115 | 119 | 8 | 115 | 16 | 25 | 30k|7915 | 0.000000e+00 | 2.000000e+00 | Inf
258.72/258.88 c 239s|870000 | 42954 | 2401k| 28M| 38 | 5 | 115 | 121 | 9 | 115 | 16 | 25 | 30k|7942 | 0.000000e+00 | 2.000000e+00 | Inf
261.32/261.46 c 241s|880000 | 42816 | 2427k| 28M| 38 | - | 115 | 108 | 6 | 115 | 16 | 25 | 30k|7974 | 0.000000e+00 | 2.000000e+00 | Inf
263.92/264.08 c 243s|890000 | 42872 | 2453k| 28M| 38 | - | 115 | 121 | 6 | 0 | 0 | 25 | 31k|8001 | 0.000000e+00 | 2.000000e+00 | Inf
266.61/266.74 c 246s|900000 | 42967 | 2479k| 28M| 38 | 5 | 115 | 107 | 7 | 115 | 16 | 25 | 31k|8042 | 0.000000e+00 | 2.000000e+00 | Inf
269.32/269.44 c 248s|910000 | 43330 | 2505k| 29M| 38 | 5 | 115 | 114 | 7 | 115 | 16 | 25 | 31k|8065 | 0.000000e+00 | 2.000000e+00 | Inf
272.01/272.12 c 251s|920000 | 43062 | 2531k| 29M| 38 | - | 115 | 122 | 6 | 115 | 16 | 25 | 32k|8095 | 0.000000e+00 | 2.000000e+00 | Inf
274.61/274.77 c 253s|930000 | 42852 | 2557k| 29M| 38 | - | 115 | 145 | 9 | 115 | 16 | 25 | 32k|8114 | 0.000000e+00 | 2.000000e+00 | Inf
277.31/277.40 c 256s|940000 | 42509 | 2583k| 28M| 38 | - | 115 | 127 | 6 | 115 | 16 | 25 | 32k|8145 | 0.000000e+00 | 2.000000e+00 | Inf
279.91/280.06 c 258s|950000 | 42352 | 2609k| 28M| 38 | - | 115 | 122 | 6 | 115 | 16 | 25 | 32k|8173 | 0.000000e+00 | 2.000000e+00 | Inf
282.51/282.64 c 261s|960000 | 42758 | 2634k| 29M| 38 | - | 115 | 129 | 6 | 115 | 16 | 25 | 33k|8200 | 0.000000e+00 | 2.000000e+00 | Inf
285.11/285.20 c 263s|970000 | 42569 | 2658k| 29M| 38 | - | 115 | 119 | 6 | 115 | 16 | 25 | 33k|8243 | 0.000000e+00 | 2.000000e+00 | Inf
287.81/287.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.81/287.91 c 265s|980000 | 43137 | 2685k| 29M| 38 | - | 115 | 124 | 9 | 115 | 16 | 25 | 33k|8278 | 0.000000e+00 | 2.000000e+00 | Inf
290.41/290.53 c 268s|990000 | 43007 | 2710k| 29M| 38 | - | 115 | 128 | 6 | 0 | 0 | 25 | 33k|8326 | 0.000000e+00 | 2.000000e+00 | Inf
293.01/293.14 c 270s| 1000k| 42709 | 2734k| 29M| 38 | - | 115 | 121 | 7 | 115 | 16 | 25 | 34k|8358 | 0.000000e+00 | 2.000000e+00 | Inf
295.61/295.76 c 273s| 1010k| 42086 | 2760k| 29M| 38 | 5 | 115 | 95 | 10 | 115 | 16 | 25 | 34k|8396 | 0.000000e+00 | 2.000000e+00 | Inf
298.20/298.38 c 275s| 1020k| 41655 | 2785k| 29M| 38 | - | 115 | 111 | 8 | 115 | 16 | 25 | 34k|8426 | 0.000000e+00 | 2.000000e+00 | Inf
300.91/301.04 c 277s| 1030k| 41866 | 2811k| 29M| 38 | 5 | 115 | 147 | 9 | 115 | 16 | 25 | 34k|8445 | 0.000000e+00 | 2.000000e+00 | Inf
303.51/303.65 c 280s| 1040k| 42143 | 2838k| 29M| 38 | 5 | 115 | 138 | 7 | 115 | 16 | 25 | 35k|8455 | 0.000000e+00 | 2.000000e+00 | Inf
306.11/306.28 c 282s| 1050k| 42274 | 2864k| 29M| 38 | 5 | 115 | 142 | 6 | 115 | 16 | 25 | 35k|8477 | 0.000000e+00 | 2.000000e+00 | Inf
308.81/308.91 c 285s| 1060k| 41514 | 2889k| 29M| 38 | - | 115 | 126 | 11 | 115 | 16 | 25 | 35k|8502 | 0.000000e+00 | 2.000000e+00 | Inf
311.40/311.57 c 287s| 1070k| 41036 | 2915k| 29M| 38 | 5 | 115 | 112 | 7 | 115 | 16 | 25 | 35k|8541 | 0.000000e+00 | 2.000000e+00 | Inf
314.10/314.24 c 290s| 1080k| 41144 | 2940k| 29M| 38 | 5 | 115 | 112 | 11 | 115 | 16 | 25 | 36k|8587 | 0.000000e+00 | 2.000000e+00 | Inf
316.71/316.90 c 292s| 1090k| 40859 | 2966k| 29M| 38 | - | 115 | 113 | 6 | 0 | 0 | 25 | 36k|8634 | 0.000000e+00 | 2.000000e+00 | Inf
319.41/319.54 c 294s| 1100k| 41101 | 2992k| 29M| 38 | 5 | 115 | 109 | 6 | 115 | 16 | 25 | 36k|8651 | 0.000000e+00 | 2.000000e+00 | Inf
322.00/322.19 c 297s| 1110k| 41252 | 3018k| 29M| 38 | 5 | 115 | 115 | 8 | 115 | 16 | 25 | 37k|8677 | 0.000000e+00 | 2.000000e+00 | Inf
324.70/324.83 c 299s| 1120k| 41506 | 3044k| 29M| 38 | 5 | 115 | 110 | 7 | 115 | 16 | 25 | 37k|8717 | 0.000000e+00 | 2.000000e+00 | Inf
327.30/327.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.30/327.43 c 302s| 1130k| 40870 | 3068k| 29M| 38 | - | 115 | 97 | 6 | 115 | 16 | 25 | 37k|8762 | 0.000000e+00 | 2.000000e+00 | Inf
329.91/330.08 c 304s| 1140k| 40108 | 3094k| 28M| 38 | 5 | 115 | 118 | 9 | 115 | 16 | 25 | 37k|8794 | 0.000000e+00 | 2.000000e+00 | Inf
332.60/332.74 c 307s| 1150k| 39973 | 3119k| 28M| 38 | - | 115 | 111 | 7 | 0 | 0 | 25 | 38k|8811 | 0.000000e+00 | 2.000000e+00 | Inf
335.20/335.40 c 309s| 1160k| 40025 | 3145k| 28M| 38 | - | 115 | 132 | 6 | 115 | 16 | 25 | 38k|8835 | 0.000000e+00 | 2.000000e+00 | Inf
337.89/338.04 c 311s| 1170k| 40279 | 3171k| 28M| 38 | - | 115 | 127 | 7 | 115 | 16 | 25 | 38k|8851 | 0.000000e+00 | 2.000000e+00 | Inf
340.49/340.64 c 314s| 1180k| 39897 | 3196k| 28M| 38 | - | 115 | 128 | 8 | 0 | 0 | 25 | 38k|8874 | 0.000000e+00 | 2.000000e+00 | Inf
343.10/343.24 c 316s| 1190k| 39124 | 3222k| 28M| 38 | 5 | 115 | 111 | 8 | 115 | 16 | 25 | 39k|8899 | 0.000000e+00 | 2.000000e+00 | Inf
345.80/345.93 c 319s| 1200k| 39641 | 3248k| 28M| 38 | 5 | 115 | 120 | 7 | 115 | 16 | 25 | 39k|8924 | 0.000000e+00 | 2.000000e+00 | Inf
348.49/348.61 c 321s| 1210k| 40271 | 3275k| 28M| 38 | - | 115 | 134 | 6 | 115 | 16 | 25 | 39k|8940 | 0.000000e+00 | 2.000000e+00 | Inf
351.09/351.26 c 324s| 1220k| 40397 | 3301k| 29M| 38 | 5 | 115 | 131 | 11 | 115 | 16 | 25 | 39k|8959 | 0.000000e+00 | 2.000000e+00 | Inf
353.79/353.92 c 326s| 1230k| 40454 | 3328k| 29M| 38 | - | 115 | 138 | 10 | 115 | 16 | 25 | 40k|8977 | 0.000000e+00 | 2.000000e+00 | Inf
356.39/356.57 c 328s| 1240k| 40549 | 3355k| 29M| 38 | - | 115 | 133 | 8 | 115 | 16 | 25 | 40k|8990 | 0.000000e+00 | 2.000000e+00 | Inf
359.09/359.24 c 331s| 1250k| 40469 | 3382k| 29M| 38 | 5 | 115 | 124 | 11 | 115 | 16 | 25 | 40k|9022 | 0.000000e+00 | 2.000000e+00 | Inf
361.70/361.86 c 333s| 1260k| 40578 | 3408k| 29M| 38 | - | 115 | 144 | 6 | 115 | 16 | 25 | 40k|9042 | 0.000000e+00 | 2.000000e+00 | Inf
364.29/364.49 c 336s| 1270k| 40507 | 3433k| 29M| 38 | 5 | 115 | 144 | 10 | 115 | 16 | 25 | 41k|9062 | 0.000000e+00 | 2.000000e+00 | Inf
366.99/367.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.99/367.13 c 338s| 1280k| 40647 | 3458k| 29M| 38 | 5 | 115 | 148 | 8 | 115 | 16 | 25 | 41k|9093 | 0.000000e+00 | 2.000000e+00 | Inf
369.69/369.81 c 341s| 1290k| 40396 | 3485k| 29M| 38 | 5 | 115 | 126 | 6 | 115 | 16 | 25 | 41k|9119 | 0.000000e+00 | 2.000000e+00 | Inf
372.29/372.48 c 343s| 1300k| 40259 | 3512k| 29M| 38 | 5 | 115 | 134 | 6 | 115 | 16 | 25 | 41k|9144 | 0.000000e+00 | 2.000000e+00 | Inf
374.99/375.14 c 346s| 1310k| 40378 | 3540k| 29M| 38 | 5 | 115 | 146 | 11 | 115 | 16 | 25 | 41k|9169 | 0.000000e+00 | 2.000000e+00 | Inf
377.59/377.77 c 348s| 1320k| 39659 | 3565k| 29M| 38 | 5 | 115 | 119 | 8 | 115 | 16 | 25 | 42k|9195 | 0.000000e+00 | 2.000000e+00 | Inf
380.18/380.37 c 350s| 1330k| 39819 | 3591k| 29M| 38 | 5 | 115 | 125 | 7 | 115 | 16 | 25 | 42k|9215 | 0.000000e+00 | 2.000000e+00 | Inf
382.79/382.93 c 353s| 1340k| 39759 | 3618k| 29M| 38 | - | 115 | 132 | 8 | 0 | 0 | 25 | 42k|9240 | 0.000000e+00 | 2.000000e+00 | Inf
385.39/385.55 c 355s| 1350k| 39233 | 3644k| 28M| 38 | - | 115 | 134 | 8 | 115 | 16 | 25 | 42k|9267 | 0.000000e+00 | 2.000000e+00 | Inf
387.99/388.18 c 358s| 1360k| 39317 | 3670k| 28M| 38 | 5 | 115 | 147 | 6 | 115 | 16 | 25 | 43k|9291 | 0.000000e+00 | 2.000000e+00 | Inf
390.68/390.83 c 360s| 1370k| 39165 | 3696k| 28M| 38 | - | 115 | 141 | 7 | 115 | 16 | 25 | 43k|9310 | 0.000000e+00 | 2.000000e+00 | Inf
393.38/393.52 c 362s| 1380k| 38468 | 3723k| 27M| 38 | 5 | 115 | 149 | 13 | 115 | 16 | 25 | 43k|9342 | 0.000000e+00 | 2.000000e+00 | Inf
395.98/396.18 c 365s| 1390k| 37855 | 3748k| 27M| 38 | 5 | 115 | 139 | 7 | 115 | 16 | 25 | 43k|9377 | 0.000000e+00 | 2.000000e+00 | Inf
398.59/398.78 c 367s| 1400k| 37808 | 3775k| 27M| 38 | - | 115 | 140 | 7 | 115 | 16 | 25 | 44k|9404 | 0.000000e+00 | 2.000000e+00 | Inf
401.38/401.52 c 370s| 1410k| 37780 | 3802k| 27M| 38 | - | 115 | 149 | 7 | 115 | 16 | 25 | 44k|9436 | 0.000000e+00 | 2.000000e+00 | Inf
404.08/404.22 c 372s| 1420k| 37704 | 3829k| 27M| 38 | - | 115 | 155 | 6 | 115 | 16 | 25 | 44k|9469 | 0.000000e+00 | 2.000000e+00 | Inf
406.79/406.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.79/406.96 c 375s| 1430k| 38415 | 3855k| 27M| 38 | 5 | 115 | 153 | 11 | 115 | 16 | 25 | 45k|9496 | 0.000000e+00 | 2.000000e+00 | Inf
409.48/409.61 c 377s| 1440k| 38300 | 3880k| 27M| 38 | 5 | 115 | 150 | 8 | 115 | 16 | 25 | 45k|9520 | 0.000000e+00 | 2.000000e+00 | Inf
412.07/412.24 c 380s| 1450k| 37057 | 3904k| 26M| 38 | 5 | 115 | 143 | 7 | 115 | 16 | 25 | 45k|9547 | 0.000000e+00 | 2.000000e+00 | Inf
414.88/415.09 c 382s| 1460k| 37781 | 3933k| 27M| 38 | - | 115 | 193 | 12 | 115 | 16 | 25 | 45k|9576 | 0.000000e+00 | 2.000000e+00 | Inf
417.68/417.84 c 385s| 1470k| 38475 | 3959k| 27M| 38 | 5 | 115 | 190 | 25 | 115 | 16 | 25 | 46k|9594 | 0.000000e+00 | 2.000000e+00 | Inf
420.38/420.53 c 387s| 1480k| 38529 | 3986k| 27M| 38 | 5 | 115 | 197 | 8 | 115 | 16 | 25 | 46k|9614 | 0.000000e+00 | 2.000000e+00 | Inf
422.97/423.18 c 390s| 1490k| 38668 | 4011k| 28M| 38 | - | 115 | 200 | 6 | 115 | 16 | 25 | 46k|9634 | 0.000000e+00 | 2.000000e+00 | Inf
425.67/425.85 c 392s| 1500k| 39089 | 4036k| 28M| 38 | 5 | 115 | 205 | 6 | 115 | 16 | 25 | 46k|9651 | 0.000000e+00 | 2.000000e+00 | Inf
428.37/428.51 c 395s| 1510k| 38789 | 4061k| 28M| 38 | - | 115 | 217 | 6 | 0 | 0 | 25 | 47k|9665 | 0.000000e+00 | 2.000000e+00 | Inf
430.98/431.19 c 397s| 1520k| 38394 | 4086k| 28M| 38 | - | 115 | 215 | 5 | 0 | 0 | 25 | 47k|9679 | 0.000000e+00 | 2.000000e+00 | Inf
433.68/433.83 c 399s| 1530k| 37721 | 4110k| 27M| 38 | - | 115 | 205 | 8 | 115 | 16 | 25 | 47k|9700 | 0.000000e+00 | 2.000000e+00 | Inf
436.37/436.53 c 402s| 1540k| 36929 | 4136k| 26M| 38 | - | 115 | 221 | 10 | 115 | 16 | 25 | 48k|9718 | 0.000000e+00 | 2.000000e+00 | Inf
439.07/439.23 c 404s| 1550k| 36240 | 4162k| 26M| 38 | - | 115 | 176 | 7 | 115 | 16 | 25 | 48k|9761 | 0.000000e+00 | 2.000000e+00 | Inf
441.67/441.88 c 407s| 1560k| 36244 | 4189k| 26M| 38 | 5 | 115 | 178 | 6 | 115 | 16 | 25 | 48k|9793 | 0.000000e+00 | 2.000000e+00 | Inf
444.37/444.56 c 409s| 1570k| 36343 | 4216k| 26M| 38 | - | 115 | 167 | 7 | 115 | 16 | 25 | 48k|9820 | 0.000000e+00 | 2.000000e+00 | Inf
447.07/447.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.07/447.23 c 412s| 1580k| 36792 | 4243k| 26M| 38 | - | 115 | 171 | 7 | 115 | 16 | 25 | 49k|9849 | 0.000000e+00 | 2.000000e+00 | Inf
449.67/449.87 c 414s| 1590k| 36803 | 4270k| 26M| 38 | 5 | 115 | 167 | 8 | 115 | 16 | 25 | 49k|9877 | 0.000000e+00 | 2.000000e+00 | Inf
452.37/452.50 c 417s| 1600k| 36187 | 4296k| 26M| 38 | - | 115 | 167 | 7 | 115 | 16 | 25 | 49k|9902 | 0.000000e+00 | 2.000000e+00 | Inf
454.97/455.11 c 419s| 1610k| 36233 | 4321k| 26M| 38 | - | 115 | 172 | 9 | 115 | 16 | 25 | 49k|9924 | 0.000000e+00 | 2.000000e+00 | Inf
457.56/457.74 c 421s| 1620k| 36086 | 4349k| 25M| 38 | - | 115 | 184 | 7 | 0 | 0 | 25 | 50k|9938 | 0.000000e+00 | 2.000000e+00 | Inf
460.16/460.38 c 424s| 1630k| 36286 | 4375k| 26M| 38 | - | 115 | 186 | 8 | 115 | 16 | 25 | 50k|9969 | 0.000000e+00 | 2.000000e+00 | Inf
462.76/462.98 c 426s| 1640k| 36405 | 4401k| 26M| 38 | - | 115 | 196 | 8 | 115 | 16 | 25 | 50k|9993 | 0.000000e+00 | 2.000000e+00 | Inf
465.47/465.61 c 429s| 1650k| 35944 | 4427k| 25M| 38 | 5 | 115 | 183 | 11 | 115 | 16 | 25 | 50k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
468.06/468.28 c 431s| 1660k| 35617 | 4453k| 25M| 38 | - | 115 | 147 | 6 | 115 | 16 | 25 | 51k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
470.86/471.05 c 434s| 1670k| 36384 | 4481k| 25M| 38 | 4 | 115 | 145 | 7 | 115 | 16 | 25 | 51k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
473.56/473.72 c 436s| 1680k| 36914 | 4507k| 26M| 38 | - | 115 | 142 | 7 | 115 | 16 | 25 | 51k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
476.17/476.34 c 438s| 1690k| 36925 | 4533k| 26M| 38 | 5 | 115 | 150 | 8 | 115 | 16 | 25 | 51k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
478.76/478.92 c 441s| 1700k| 36613 | 4557k| 26M| 38 | 5 | 115 | 138 | 6 | 115 | 16 | 25 | 52k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
481.36/481.53 c 443s| 1710k| 35253 | 4582k| 25M| 38 | - | 115 | 119 | 6 | 0 | 0 | 25 | 52k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
483.96/484.17 c 446s| 1720k| 35442 | 4609k| 25M| 38 | 5 | 115 | 134 | 7 | 115 | 16 | 25 | 52k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
486.66/486.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.66/486.85 c 448s| 1730k| 35273 | 4636k| 25M| 38 | - | 115 | 157 | 8 | 115 | 16 | 25 | 52k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
489.36/489.52 c 451s| 1740k| 34454 | 4661k| 24M| 38 | - | 115 | 124 | 6 | 0 | 0 | 25 | 53k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
492.06/492.25 c 453s| 1750k| 34827 | 4689k| 24M| 38 | - | 115 | 117 | 6 | 115 | 16 | 25 | 53k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
494.66/494.88 c 455s| 1760k| 34312 | 4714k| 24M| 38 | - | 115 | 97 | 6 | 115 | 16 | 25 | 53k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
497.25/497.49 c 458s| 1770k| 34139 | 4740k| 24M| 38 | - | 115 | 107 | 6 | 115 | 16 | 25 | 54k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
499.96/500.13 c 460s| 1780k| 33673 | 4766k| 23M| 38 | 5 | 115 | 132 | 7 | 115 | 16 | 25 | 54k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
502.66/502.88 c 463s| 1790k| 33982 | 4794k| 23M| 38 | 5 | 115 | 96 | 7 | 115 | 16 | 25 | 54k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
505.45/505.61 c 465s| 1800k| 34966 | 4822k| 24M| 38 | - | 115 | 103 | 6 | 115 | 16 | 25 | 54k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
508.06/508.29 c 468s| 1810k| 35323 | 4850k| 24M| 38 | 5 | 115 | 101 | 8 | 115 | 16 | 25 | 55k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
510.75/510.93 c 470s| 1820k| 35212 | 4877k| 24M| 38 | - | 115 | 109 | 7 | 115 | 16 | 25 | 55k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
513.35/513.53 c 473s| 1830k| 35223 | 4904k| 25M| 38 | - | 115 | 109 | 6 | 115 | 16 | 25 | 55k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
515.96/516.13 c 475s| 1840k| 35173 | 4930k| 25M| 38 | 5 | 115 | 105 | 6 | 115 | 16 | 25 | 55k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
518.55/518.70 c 477s| 1850k| 34987 | 4956k| 25M| 38 | 5 | 115 | 112 | 10 | 115 | 16 | 25 | 56k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
521.06/521.29 c 480s| 1860k| 34822 | 4983k| 25M| 38 | 5 | 115 | 112 | 7 | 115 | 16 | 25 | 56k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
523.65/523.89 c 482s| 1870k| 34486 | 5009k| 24M| 38 | - | 115 | 110 | 8 | 115 | 16 | 25 | 56k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
526.35/526.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
526.35/526.54 c 484s| 1880k| 34459 | 5035k| 24M| 38 | - | 115 | 113 | 8 | 115 | 16 | 25 | 56k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
528.95/529.16 c 487s| 1890k| 33858 | 5061k| 24M| 38 | 5 | 115 | 107 | 8 | 115 | 16 | 25 | 57k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
531.65/531.80 c 489s| 1900k| 33576 | 5089k| 23M| 38 | 5 | 115 | 112 | 8 | 115 | 16 | 25 | 57k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
534.25/534.48 c 492s| 1910k| 33077 | 5116k| 23M| 38 | - | 115 | 104 | 8 | 115 | 16 | 25 | 57k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
536.95/537.13 c 494s| 1920k| 33640 | 5143k| 23M| 38 | - | 115 | 107 | 8 | 0 | 0 | 25 | 57k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
539.55/539.75 c 497s| 1930k| 34098 | 5170k| 24M| 38 | 5 | 115 | 104 | 7 | 115 | 16 | 25 | 58k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
542.15/542.33 c 499s| 1940k| 34243 | 5196k| 24M| 38 | - | 115 | 112 | 6 | 0 | 0 | 25 | 58k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
544.75/544.92 c 501s| 1950k| 33883 | 5223k| 24M| 38 | - | 115 | 119 | 7 | 115 | 16 | 25 | 58k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
547.35/547.53 c 504s| 1960k| 33882 | 5249k| 24M| 38 | - | 115 | 113 | 9 | 0 | 0 | 25 | 59k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
549.94/550.14 c 506s| 1970k| 33449 | 5276k| 23M| 38 | - | 115 | 112 | 6 | 115 | 16 | 25 | 59k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
552.55/552.74 c 508s| 1980k| 33062 | 5302k| 23M| 38 | - | 115 | 109 | 6 | 115 | 16 | 25 | 59k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
555.14/555.40 c 511s| 1990k| 33264 | 5330k| 23M| 38 | - | 115 | 101 | 7 | 115 | 16 | 25 | 59k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
557.84/558.03 c 513s| 2000k| 32984 | 5357k| 23M| 38 | 5 | 115 | 104 | 6 | 115 | 16 | 25 | 59k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
560.44/560.61 c 516s| 2010k| 32968 | 5384k| 23M| 38 | - | 115 | 106 | 7 | 115 | 16 | 25 | 60k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
563.05/563.26 c 518s| 2020k| 33225 | 5411k| 23M| 38 | - | 115 | 106 | 7 | 115 | 16 | 25 | 60k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
565.64/565.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.64/565.83 c 520s| 2030k| 33173 | 5437k| 23M| 38 | 5 | 115 | 114 | 8 | 115 | 16 | 25 | 60k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
568.24/568.48 c 523s| 2040k| 33325 | 5464k| 23M| 38 | - | 115 | 117 | 6 | 115 | 16 | 25 | 60k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
570.94/571.18 c 525s| 2050k| 33343 | 5491k| 23M| 38 | - | 115 | 109 | 6 | 115 | 16 | 25 | 61k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
573.54/573.75 c 528s| 2060k| 32984 | 5516k| 23M| 38 | 5 | 115 | 100 | 6 | 115 | 16 | 25 | 61k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
576.14/576.39 c 530s| 2070k| 32697 | 5542k| 22M| 38 | - | 115 | 104 | 6 | 115 | 16 | 25 | 61k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
578.84/579.04 c 533s| 2080k| 32151 | 5569k| 22M| 38 | - | 115 | 81 | 6 | 115 | 16 | 25 | 62k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
581.54/581.78 c 535s| 2090k| 32843 | 5595k| 22M| 38 | 5 | 115 | 99 | 7 | 115 | 16 | 25 | 62k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
584.14/584.39 c 538s| 2100k| 32456 | 5620k| 22M| 38 | 5 | 115 | 111 | 9 | 115 | 16 | 25 | 62k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
586.93/587.11 c 540s| 2110k| 32870 | 5647k| 22M| 38 | 5 | 115 | 109 | 6 | 115 | 16 | 25 | 62k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
589.53/589.77 c 542s| 2120k| 32913 | 5673k| 23M| 38 | 5 | 115 | 114 | 9 | 115 | 16 | 25 | 63k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
592.23/592.43 c 545s| 2130k| 32700 | 5699k| 23M| 38 | 5 | 115 | 119 | 9 | 115 | 16 | 25 | 63k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
594.94/595.12 c 547s| 2140k| 31992 | 5725k| 22M| 38 | - | 115 | 98 | 6 | 115 | 16 | 25 | 63k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
597.53/597.76 c 550s| 2150k| 31783 | 5752k| 22M| 38 | - | 115 | 105 | 9 | 115 | 16 | 25 | 63k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
600.23/600.42 c 552s| 2160k| 31775 | 5780k| 22M| 38 | 5 | 115 | 119 | 12 | 115 | 16 | 25 | 64k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
602.83/603.05 c 555s| 2170k| 31706 | 5808k| 21M| 38 | 5 | 115 | 106 | 6 | 115 | 16 | 25 | 64k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
605.43/605.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
605.43/605.66 c 557s| 2180k| 31567 | 5835k| 21M| 38 | - | 115 | 117 | 12 | 115 | 16 | 25 | 64k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
608.13/608.34 c 559s| 2190k| 30641 | 5861k| 20M| 38 | - | 115 | 97 | 6 | 115 | 16 | 25 | 64k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
610.83/611.00 c 562s| 2200k| 30551 | 5889k| 20M| 38 | 5 | 115 | 90 | 6 | 115 | 16 | 25 | 65k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
613.43/613.65 c 564s| 2210k| 30395 | 5917k| 20M| 38 | 5 | 115 | 86 | 7 | 115 | 16 | 25 | 65k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
616.03/616.24 c 567s| 2220k| 30563 | 5944k| 20M| 38 | - | 115 | 95 | 8 | 115 | 16 | 25 | 65k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
618.63/618.83 c 569s| 2230k| 30325 | 5971k| 20M| 38 | 5 | 115 | 106 | 6 | 115 | 16 | 25 | 65k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
621.23/621.46 c 572s| 2240k| 29820 | 5997k| 19M| 38 | 5 | 115 | 92 | 7 | 115 | 16 | 25 | 66k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
623.83/624.04 c 574s| 2250k| 29899 | 6022k| 19M| 38 | 5 | 115 | 101 | 11 | 115 | 16 | 25 | 66k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
626.42/626.62 c 576s| 2260k| 29706 | 6049k| 19M| 38 | 5 | 115 | 105 | 8 | 115 | 16 | 25 | 66k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
629.02/629.27 c 579s| 2270k| 29209 | 6076k| 19M| 38 | - | 115 | 84 | 6 | 115 | 16 | 25 | 66k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
631.72/631.99 c 581s| 2280k| 29758 | 6104k| 19M| 38 | 5 | 115 | 82 | 7 | 115 | 16 | 25 | 67k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
634.42/634.62 c 584s| 2290k| 29810 | 6131k| 19M| 38 | 5 | 115 | 69 | 6 | 115 | 16 | 25 | 67k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
637.02/637.22 c 586s| 2300k| 29579 | 6157k| 19M| 38 | - | 115 | 68 | 6 | 115 | 16 | 25 | 67k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
639.62/639.86 c 588s| 2310k| 29376 | 6185k| 19M| 38 | 5 | 115 | 77 | 8 | 115 | 16 | 25 | 67k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
642.32/642.53 c 591s| 2320k| 29321 | 6212k| 19M| 38 | 5 | 115 | 73 | 8 | 115 | 16 | 25 | 68k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
644.92/645.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.92/645.19 c 593s| 2330k| 29224 | 6239k| 19M| 38 | 5 | 115 | 80 | 6 | 115 | 16 | 25 | 68k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
647.62/647.81 c 596s| 2340k| 29215 | 6266k| 19M| 38 | - | 115 | 74 | 6 | 115 | 16 | 25 | 68k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
650.22/650.45 c 598s| 2350k| 29151 | 6294k| 19M| 38 | 5 | 115 | 90 | 7 | 115 | 16 | 25 | 68k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
652.82/653.09 c 601s| 2360k| 29183 | 6321k| 19M| 38 | 5 | 115 | 88 | 6 | 115 | 16 | 25 | 69k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
655.52/655.71 c 603s| 2370k| 29199 | 6348k| 19M| 38 | 5 | 115 | 91 | 6 | 115 | 16 | 25 | 69k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
658.11/658.30 c 605s| 2380k| 29111 | 6375k| 19M| 38 | - | 115 | 98 | 8 | 115 | 16 | 25 | 69k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
660.72/660.94 c 608s| 2390k| 29090 | 6402k| 19M| 38 | 5 | 115 | 90 | 7 | 115 | 16 | 25 | 69k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
663.31/663.58 c 610s| 2400k| 29083 | 6429k| 19M| 38 | 5 | 115 | 97 | 7 | 115 | 16 | 25 | 70k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
665.91/666.17 c 613s| 2410k| 28962 | 6455k| 19M| 38 | - | 115 | 90 | 11 | 115 | 16 | 25 | 70k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
668.51/668.80 c 615s| 2420k| 29040 | 6482k| 19M| 38 | 5 | 115 | 79 | 7 | 115 | 16 | 25 | 70k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
671.21/671.42 c 617s| 2430k| 28776 | 6507k| 19M| 38 | 5 | 115 | 83 | 6 | 115 | 16 | 25 | 70k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
673.81/674.04 c 620s| 2440k| 28695 | 6533k| 19M| 38 | - | 115 | 91 | 9 | 115 | 16 | 25 | 71k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
676.51/676.73 c 622s| 2450k| 29111 | 6561k| 19M| 38 | - | 115 | 90 | 14 | 115 | 16 | 25 | 71k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
679.31/679.51 c 625s| 2460k| 30504 | 6589k| 20M| 38 | - | 115 | 84 | 7 | 115 | 16 | 25 | 71k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
682.01/682.26 c 627s| 2470k| 31738 | 6617k| 20M| 38 | - | 115 | 91 | 7 | 115 | 16 | 25 | 71k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
684.71/684.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.71/684.98 c 630s| 2480k| 32773 | 6644k| 21M| 38 | 5 | 115 | 77 | 6 | 115 | 16 | 25 | 72k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
687.40/687.60 c 632s| 2490k| 33045 | 6670k| 21M| 38 | - | 115 | 79 | 6 | 115 | 16 | 25 | 72k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
690.01/690.26 c 635s| 2500k| 33437 | 6696k| 22M| 38 | - | 115 | 79 | 8 | 115 | 16 | 25 | 72k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
692.71/692.93 c 637s| 2510k| 33965 | 6723k| 22M| 38 | - | 115 | 99 | 7 | 115 | 16 | 25 | 73k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
695.31/695.56 c 639s| 2520k| 34244 | 6750k| 22M| 38 | 5 | 115 | 88 | 6 | 115 | 16 | 25 | 73k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
697.91/698.19 c 642s| 2530k| 34468 | 6776k| 23M| 38 | 5 | 115 | 100 | 7 | 115 | 16 | 25 | 73k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
700.61/700.81 c 644s| 2540k| 34571 | 6801k| 23M| 38 | - | 115 | 94 | 8 | 115 | 16 | 25 | 73k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
703.20/703.41 c 647s| 2550k| 34550 | 6827k| 23M| 38 | 5 | 115 | 84 | 8 | 115 | 16 | 25 | 74k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
705.80/706.03 c 649s| 2560k| 34773 | 6853k| 23M| 38 | - | 115 | 87 | 6 | 115 | 16 | 25 | 74k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
708.40/708.69 c 651s| 2570k| 34932 | 6879k| 23M| 38 | - | 115 | 95 | 6 | 0 | 0 | 25 | 74k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
711.11/711.35 c 654s| 2580k| 35279 | 6905k| 24M| 38 | - | 115 | 99 | 6 | 0 | 0 | 25 | 74k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
713.80/714.00 c 656s| 2590k| 35289 | 6931k| 24M| 38 | 5 | 115 | 95 | 6 | 115 | 16 | 25 | 75k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
716.40/716.63 c 659s| 2600k| 35271 | 6958k| 24M| 38 | 5 | 115 | 107 | 11 | 115 | 16 | 25 | 75k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
719.00/719.27 c 661s| 2610k| 35383 | 6984k| 24M| 38 | 5 | 115 | 94 | 8 | 115 | 16 | 25 | 75k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
721.60/721.88 c 664s| 2620k| 35196 | 7010k| 24M| 38 | 5 | 115 | 83 | 6 | 115 | 16 | 25 | 76k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
724.30/724.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.30/724.57 c 666s| 2630k| 35855 | 7037k| 24M| 38 | 5 | 115 | 92 | 11 | 115 | 16 | 25 | 76k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
726.90/727.19 c 668s| 2640k| 35881 | 7063k| 25M| 38 | 5 | 115 | 81 | 6 | 115 | 16 | 25 | 76k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
729.60/729.82 c 671s| 2650k| 35599 | 7090k| 25M| 38 | - | 115 | 80 | 6 | 115 | 16 | 25 | 76k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
732.20/732.45 c 673s| 2660k| 35374 | 7115k| 24M| 38 | 5 | 115 | 83 | 8 | 115 | 16 | 25 | 76k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
734.80/735.08 c 676s| 2670k| 35133 | 7141k| 24M| 38 | 5 | 115 | 105 | 6 | 115 | 16 | 25 | 77k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
737.39/737.69 c 678s| 2680k| 34794 | 7166k| 24M| 38 | - | 115 | 97 | 6 | 115 | 16 | 25 | 77k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
740.00/740.30 c 680s| 2690k| 34662 | 7192k| 24M| 38 | 5 | 115 | 103 | 8 | 115 | 16 | 25 | 77k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
742.69/742.90 c 683s| 2700k| 34059 | 7218k| 24M| 38 | 5 | 115 | 100 | 10 | 115 | 16 | 25 | 77k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
745.29/745.55 c 685s| 2710k| 33933 | 7245k| 24M| 38 | 5 | 115 | 105 | 6 | 115 | 16 | 25 | 78k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
747.99/748.20 c 688s| 2720k| 33778 | 7271k| 24M| 38 | - | 115 | 108 | 7 | 115 | 16 | 25 | 78k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
750.59/750.81 c 690s| 2730k| 33878 | 7297k| 24M| 38 | 4 | 115 | 109 | 6 | 115 | 16 | 25 | 78k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
753.20/753.46 c 693s| 2740k| 33272 | 7323k| 23M| 38 | 5 | 115 | 104 | 8 | 115 | 16 | 25 | 78k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
755.79/756.06 c 695s| 2750k| 32809 | 7348k| 23M| 38 | 5 | 115 | 107 | 6 | 115 | 16 | 25 | 79k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
758.39/758.65 c 697s| 2760k| 32776 | 7373k| 23M| 38 | 5 | 115 | 117 | 7 | 115 | 16 | 25 | 79k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
760.99/761.24 c 700s| 2770k| 32706 | 7399k| 23M| 38 | - | 115 | 120 | 7 | 115 | 16 | 25 | 79k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
763.58/763.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.58/763.83 c 702s| 2780k| 32667 | 7424k| 23M| 38 | - | 115 | 116 | 6 | 115 | 16 | 25 | 79k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
766.19/766.48 c 704s| 2790k| 32737 | 7450k| 23M| 38 | - | 115 | 120 | 6 | 115 | 16 | 25 | 80k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
768.88/769.10 c 707s| 2800k| 32473 | 7474k| 23M| 38 | - | 115 | 128 | 7 | 115 | 16 | 25 | 80k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
771.59/771.80 c 709s| 2810k| 32894 | 7501k| 23M| 38 | 5 | 115 | 120 | 10 | 115 | 16 | 25 | 80k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
774.18/774.40 c 712s| 2820k| 32538 | 7526k| 23M| 38 | 5 | 115 | 121 | 6 | 115 | 16 | 25 | 81k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
776.69/776.99 c 714s| 2830k| 32498 | 7551k| 23M| 38 | 5 | 115 | 115 | 7 | 115 | 16 | 25 | 81k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
779.28/779.58 c 716s| 2840k| 32409 | 7578k| 23M| 38 | - | 115 | 111 | 7 | 115 | 16 | 25 | 81k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
781.88/782.17 c 719s| 2850k| 32170 | 7603k| 23M| 38 | - | 115 | 113 | 6 | 0 | 0 | 25 | 81k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
784.58/784.81 c 721s| 2860k| 32190 | 7629k| 23M| 38 | - | 115 | 122 | 7 | 115 | 16 | 25 | 82k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
787.18/787.43 c 724s| 2870k| 32116 | 7655k| 23M| 38 | - | 115 | 141 | 6 | 0 | 0 | 25 | 82k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
789.78/790.05 c 726s| 2880k| 32157 | 7680k| 23M| 38 | - | 115 | 111 | 10 | 115 | 16 | 25 | 82k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
792.38/792.68 c 728s| 2890k| 32013 | 7706k| 23M| 38 | 5 | 115 | 94 | 8 | 115 | 16 | 25 | 82k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
795.08/795.32 c 731s| 2900k| 31961 | 7733k| 23M| 38 | 5 | 115 | 81 | 8 | 115 | 16 | 25 | 83k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
797.57/797.88 c 733s| 2910k| 31829 | 7759k| 23M| 38 | 5 | 115 | 77 | 6 | 115 | 16 | 25 | 83k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
800.17/800.47 c 736s| 2920k| 32005 | 7785k| 23M| 38 | 5 | 115 | 73 | 6 | 115 | 16 | 25 | 83k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
802.87/803.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.87/803.13 c 738s| 2930k| 32339 | 7811k| 23M| 38 | - | 115 | 81 | 7 | 115 | 16 | 25 | 83k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
805.47/805.71 c 740s| 2940k| 32004 | 7837k| 23M| 38 | - | 115 | 82 | 7 | 115 | 16 | 25 | 84k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
808.07/808.37 c 743s| 2950k| 31897 | 7864k| 23M| 38 | 5 | 115 | 85 | 8 | 115 | 16 | 25 | 84k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
810.77/811.02 c 745s| 2960k| 32025 | 7890k| 23M| 38 | - | 115 | 95 | 8 | 115 | 16 | 25 | 84k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
813.28/813.60 c 748s| 2970k| 31799 | 7915k| 23M| 38 | 5 | 115 | 93 | 7 | 115 | 16 | 25 | 84k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
815.88/816.13 c 750s| 2980k| 31736 | 7940k| 23M| 38 | - | 115 | 96 | 8 | 115 | 16 | 25 | 85k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
818.47/818.72 c 752s| 2990k| 31632 | 7966k| 23M| 38 | 5 | 115 | 111 | 9 | 115 | 16 | 25 | 85k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
821.07/821.31 c 755s| 3000k| 31427 | 7992k| 23M| 38 | - | 115 | 92 | 7 | 115 | 16 | 25 | 85k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
823.67/823.94 c 757s| 3010k| 31558 | 8019k| 23M| 38 | - | 115 | 72 | 7 | 115 | 16 | 25 | 85k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
826.27/826.55 c 759s| 3020k| 31504 | 8046k| 23M| 38 | 5 | 115 | 64 | 6 | 115 | 16 | 25 | 86k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
828.87/829.13 c 762s| 3030k| 31240 | 8071k| 23M| 38 | 5 | 115 | 72 | 6 | 115 | 16 | 25 | 86k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
831.46/831.78 c 764s| 3040k| 31363 | 8098k| 23M| 38 | - | 115 | 99 | 9 | 115 | 16 | 25 | 86k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
834.06/834.33 c 767s| 3050k| 31027 | 8122k| 22M| 38 | - | 115 | 88 | 9 | 115 | 16 | 25 | 86k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
836.67/836.94 c 769s| 3060k| 31019 | 8149k| 22M| 38 | 5 | 115 | 83 | 6 | 115 | 16 | 25 | 87k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
839.27/839.51 c 771s| 3070k| 31162 | 8174k| 23M| 38 | 5 | 115 | 93 | 12 | 115 | 16 | 25 | 87k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
841.86/842.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.86/842.10 c 774s| 3080k| 31145 | 8200k| 23M| 38 | 5 | 115 | 80 | 10 | 115 | 16 | 25 | 87k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
844.47/844.71 c 776s| 3090k| 31335 | 8227k| 23M| 38 | 5 | 115 | 87 | 7 | 115 | 16 | 25 | 87k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
847.06/847.32 c 778s| 3100k| 31297 | 8253k| 23M| 38 | - | 115 | 88 | 7 | 115 | 16 | 25 | 87k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
849.66/849.96 c 781s| 3110k| 30976 | 8281k| 23M| 38 | - | 115 | 65 | 8 | 115 | 16 | 25 | 88k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
852.26/852.58 c 783s| 3120k| 30686 | 8307k| 22M| 38 | - | 115 | 79 | 6 | 115 | 16 | 25 | 88k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
854.86/855.20 c 786s| 3130k| 30752 | 8333k| 22M| 38 | 5 | 115 | 78 | 7 | 115 | 16 | 25 | 88k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
857.46/857.78 c 788s| 3140k| 30770 | 8359k| 22M| 38 | - | 115 | 76 | 7 | 115 | 16 | 25 | 88k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
860.06/860.32 c 790s| 3150k| 30959 | 8385k| 22M| 38 | 5 | 115 | 81 | 9 | 115 | 16 | 25 | 89k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
862.66/862.90 c 793s| 3160k| 31130 | 8411k| 23M| 38 | - | 115 | 80 | 6 | 115 | 16 | 25 | 89k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
865.26/865.56 c 795s| 3170k| 30499 | 8437k| 22M| 38 | 5 | 115 | 75 | 9 | 115 | 16 | 25 | 89k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
867.95/868.22 c 798s| 3180k| 30337 | 8465k| 22M| 38 | - | 115 | 61 | 6 | 115 | 16 | 25 | 89k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
870.56/870.80 c 800s| 3190k| 30247 | 8490k| 22M| 38 | - | 115 | 58 | 7 | 115 | 16 | 25 | 90k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
873.15/873.43 c 802s| 3200k| 30641 | 8515k| 22M| 38 | 5 | 115 | 67 | 8 | 115 | 16 | 25 | 90k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
875.75/876.03 c 805s| 3210k| 30268 | 8541k| 22M| 38 | 4 | 115 | 62 | 6 | 115 | 16 | 25 | 90k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
878.36/878.65 c 807s| 3220k| 30602 | 8567k| 22M| 38 | 5 | 115 | 50 | 6 | 115 | 16 | 25 | 90k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
880.95/881.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.95/881.25 c 810s| 3230k| 30532 | 8592k| 22M| 38 | 4 | 115 | 68 | 6 | 115 | 16 | 25 | 91k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
883.55/883.86 c 812s| 3240k| 30644 | 8618k| 22M| 38 | - | 115 | 67 | 8 | 115 | 16 | 25 | 91k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
886.15/886.50 c 814s| 3250k| 30283 | 8643k| 22M| 38 | 5 | 115 | 79 | 9 | 115 | 16 | 25 | 91k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
888.85/889.15 c 817s| 3260k| 30057 | 8670k| 22M| 38 | - | 115 | 76 | 8 | 115 | 16 | 25 | 91k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
891.54/891.80 c 819s| 3270k| 30422 | 8696k| 22M| 38 | 5 | 115 | 79 | 6 | 115 | 16 | 25 | 92k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
894.15/894.45 c 822s| 3280k| 30576 | 8722k| 22M| 38 | - | 115 | 81 | 6 | 115 | 16 | 25 | 92k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
896.85/897.11 c 824s| 3290k| 31453 | 8748k| 23M| 38 | 5 | 115 | 103 | 7 | 115 | 16 | 25 | 92k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
899.35/899.68 c 826s| 3300k| 31336 | 8773k| 23M| 38 | 5 | 115 | 85 | 7 | 115 | 16 | 25 | 93k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
901.95/902.25 c 829s| 3310k| 31021 | 8798k| 23M| 38 | 5 | 115 | 86 | 11 | 115 | 16 | 25 | 93k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
904.55/904.86 c 831s| 3320k| 30734 | 8824k| 23M| 38 | - | 115 | 93 | 7 | 115 | 16 | 25 | 93k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
907.15/907.48 c 834s| 3330k| 30058 | 8850k| 22M| 38 | 5 | 115 | 81 | 7 | 115 | 16 | 25 | 93k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
909.84/910.11 c 836s| 3340k| 29807 | 8877k| 22M| 38 | 5 | 115 | 74 | 6 | 115 | 16 | 25 | 94k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
912.44/912.76 c 838s| 3350k| 29860 | 8904k| 22M| 38 | 5 | 115 | 60 | 7 | 115 | 16 | 25 | 94k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
915.14/915.44 c 841s| 3360k| 30370 | 8931k| 22M| 38 | 5 | 115 | 86 | 7 | 115 | 16 | 25 | 94k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
917.74/918.08 c 843s| 3370k| 30851 | 8958k| 23M| 38 | - | 115 | 83 | 9 | 0 | 0 | 25 | 94k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
920.44/920.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
920.44/920.76 c 846s| 3380k| 31462 | 8985k| 23M| 38 | 5 | 115 | 99 | 16 | 115 | 16 | 25 | 95k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
923.04/923.39 c 848s| 3390k| 31725 | 9012k| 24M| 38 | - | 115 | 107 | 6 | 0 | 0 | 25 | 95k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
925.74/926.02 c 850s| 3400k| 31569 | 9038k| 24M| 38 | - | 115 | 100 | 9 | 115 | 16 | 25 | 95k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
928.34/928.68 c 853s| 3410k| 32002 | 9064k| 24M| 38 | 5 | 115 | 119 | 15 | 115 | 16 | 25 | 95k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
931.04/931.34 c 855s| 3420k| 32086 | 9090k| 24M| 38 | - | 115 | 113 | 12 | 115 | 16 | 25 | 96k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
933.64/933.96 c 858s| 3430k| 31652 | 9115k| 24M| 38 | - | 115 | 94 | 6 | 115 | 16 | 25 | 96k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
936.34/936.67 c 860s| 3440k| 32338 | 9143k| 24M| 38 | - | 115 | 96 | 6 | 115 | 16 | 25 | 96k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
939.14/939.44 c 863s| 3450k| 33609 | 9171k| 25M| 38 | 5 | 115 | 103 | 8 | 115 | 16 | 25 | 97k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
941.83/942.11 c 865s| 3460k| 34531 | 9199k| 26M| 38 | 5 | 115 | 87 | 6 | 115 | 16 | 25 | 97k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
944.33/944.68 c 868s| 3470k| 34993 | 9224k| 26M| 38 | - | 115 | 89 | 7 | 115 | 16 | 25 | 97k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
947.03/947.36 c 870s| 3480k| 35397 | 9251k| 27M| 38 | 5 | 115 | 87 | 6 | 115 | 16 | 25 | 97k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
949.73/950.07 c 873s| 3490k| 36350 | 9279k| 27M| 38 | 5 | 115 | 76 | 8 | 115 | 16 | 25 | 98k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
952.33/952.70 c 875s| 3500k| 36997 | 9306k| 28M| 38 | - | 115 | 80 | 6 | 115 | 16 | 25 | 98k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
955.03/955.30 c 877s| 3510k| 37220 | 9333k| 28M| 38 | 5 | 115 | 89 | 12 | 115 | 16 | 25 | 98k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
957.63/957.90 c 880s| 3520k| 37521 | 9359k| 28M| 38 | - | 115 | 83 | 9 | 115 | 16 | 25 | 98k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
960.13/960.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.13/960.49 c 882s| 3530k| 37313 | 9385k| 28M| 38 | 5 | 115 | 83 | 6 | 115 | 16 | 25 | 99k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
962.73/963.07 c 884s| 3540k| 37252 | 9411k| 28M| 38 | - | 115 | 85 | 8 | 0 | 0 | 25 | 99k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
965.33/965.66 c 887s| 3550k| 37369 | 9438k| 29M| 38 | - | 115 | 91 | 6 | 115 | 16 | 25 | 99k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
968.03/968.33 c 889s| 3560k| 37724 | 9464k| 29M| 38 | 5 | 115 | 82 | 9 | 115 | 16 | 25 | 99k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
970.62/970.93 c 892s| 3570k| 37813 | 9490k| 29M| 38 | - | 115 | 88 | 6 | 115 | 16 | 25 | 100k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
973.23/973.56 c 894s| 3580k| 37581 | 9517k| 29M| 38 | 5 | 115 | 83 | 7 | 115 | 16 | 25 | 100k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
975.82/976.18 c 896s| 3590k| 38152 | 9543k| 30M| 38 | 5 | 115 | 88 | 11 | 115 | 16 | 25 | 100k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
978.42/978.74 c 899s| 3600k| 37908 | 9568k| 30M| 38 | - | 115 | 83 | 6 | 115 | 16 | 25 | 101k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
981.02/981.33 c 901s| 3610k| 37635 | 9594k| 30M| 38 | - | 115 | 86 | 7 | 115 | 16 | 25 | 101k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
983.62/983.95 c 904s| 3620k| 37362 | 9620k| 30M| 38 | - | 115 | 89 | 6 | 115 | 16 | 25 | 101k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
986.32/986.61 c 906s| 3630k| 37755 | 9647k| 30M| 38 | - | 115 | 92 | 6 | 115 | 16 | 25 | 101k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
988.92/989.24 c 908s| 3640k| 37419 | 9674k| 30M| 38 | - | 115 | 90 | 6 | 115 | 16 | 25 | 102k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
991.52/991.86 c 911s| 3650k| 37188 | 9699k| 30M| 38 | - | 115 | 97 | 6 | 115 | 16 | 25 | 102k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
994.12/994.49 c 913s| 3660k| 37364 | 9725k| 30M| 38 | 5 | 115 | 97 | 9 | 115 | 16 | 25 | 102k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
996.82/997.12 c 916s| 3670k| 37147 | 9751k| 30M| 38 | 5 | 115 | 89 | 8 | 115 | 16 | 25 | 102k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
999.42/999.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.42/999.79 c 918s| 3680k| 37580 | 9778k| 30M| 38 | 5 | 115 | 97 | 6 | 115 | 16 | 25 | 103k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1002.11/1002.41 c 920s| 3690k| 37872 | 9805k| 31M| 38 | - | 115 | 92 | 6 | 115 | 16 | 25 | 103k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1004.71/1005.05 c 923s| 3700k| 38394 | 9831k| 31M| 38 | 5 | 115 | 100 | 8 | 115 | 16 | 25 | 103k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1007.32/1007.68 c 925s| 3710k| 38844 | 9858k| 31M| 38 | 5 | 115 | 89 | 6 | 115 | 16 | 25 | 104k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1009.92/1010.28 c 928s| 3720k| 38812 | 9883k| 31M| 38 | 5 | 115 | 92 | 8 | 115 | 16 | 25 | 104k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1012.51/1012.89 c 930s| 3730k| 38114 | 9909k| 31M| 38 | - | 115 | 93 | 8 | 115 | 16 | 25 | 104k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1015.21/1015.54 c 933s| 3740k| 37616 | 9935k| 31M| 38 | - | 115 | 114 | 7 | 115 | 16 | 25 | 104k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1017.81/1018.12 c 935s| 3750k| 37435 | 9961k| 31M| 38 | 5 | 115 | 114 | 6 | 115 | 16 | 25 | 105k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1020.41/1020.72 c 937s| 3760k| 37396 | 9986k| 31M| 38 | - | 115 | 119 | 7 | 115 | 16 | 25 | 105k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1023.01/1023.34 c 940s| 3770k| 36931 | 10012k| 31M| 38 | - | 115 | 104 | 6 | 115 | 16 | 25 | 105k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1025.61/1025.93 c 942s| 3780k| 36557 | 10038k| 30M| 38 | - | 115 | 99 | 6 | 115 | 16 | 25 | 105k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1028.21/1028.53 c 944s| 3790k| 36493 | 10065k| 30M| 38 | - | 115 | 107 | 9 | 115 | 16 | 25 | 106k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1030.81/1031.16 c 947s| 3800k| 36288 | 10092k| 30M| 38 | 5 | 115 | 101 | 7 | 115 | 16 | 25 | 106k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1033.51/1033.80 c 949s| 3810k| 36595 | 10119k| 30M| 38 | 5 | 115 | 96 | 6 | 115 | 16 | 25 | 106k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1036.00/1036.39 c 952s| 3820k| 36173 | 10144k| 30M| 38 | 5 | 115 | 102 | 6 | 115 | 16 | 25 | 106k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1038.70/1039.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1038.70/1039.02 c 954s| 3830k| 36633 | 10170k| 30M| 38 | 5 | 115 | 105 | 6 | 115 | 16 | 25 | 107k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1041.30/1041.62 c 956s| 3840k| 35852 | 10196k| 30M| 38 | 5 | 115 | 106 | 9 | 115 | 16 | 25 | 107k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1043.90/1044.25 c 959s| 3850k| 35058 | 10221k| 29M| 38 | - | 115 | 107 | 8 | 0 | 0 | 25 | 107k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1046.50/1046.88 c 961s| 3860k| 34552 | 10247k| 29M| 38 | - | 115 | 105 | 9 | 115 | 16 | 25 | 108k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1049.20/1049.51 c 964s| 3870k| 33915 | 10273k| 28M| 38 | 5 | 115 | 95 | 8 | 115 | 16 | 25 | 108k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1051.89/1052.21 c 966s| 3880k| 33646 | 10300k| 28M| 38 | 5 | 115 | 120 | 6 | 115 | 16 | 25 | 108k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1054.50/1054.89 c 969s| 3890k| 34701 | 10327k| 29M| 38 | 5 | 115 | 145 | 7 | 115 | 16 | 25 | 108k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1057.19/1057.51 c 971s| 3900k| 35029 | 10353k| 29M| 38 | - | 115 | 159 | 6 | 115 | 16 | 25 | 109k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1059.70/1060.10 c 973s| 3910k| 34722 | 10378k| 29M| 38 | 5 | 115 | 173 | 7 | 115 | 16 | 25 | 109k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1062.40/1062.72 c 976s| 3920k| 33600 | 10403k| 28M| 38 | - | 115 | 156 | 6 | 115 | 16 | 25 | 109k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1064.99/1065.33 c 978s| 3930k| 32863 | 10428k| 27M| 38 | - | 115 | 130 | 6 | 115 | 16 | 25 | 110k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1067.70/1068.10 c 981s| 3940k| 33783 | 10457k| 27M| 38 | 5 | 115 | 116 | 9 | 115 | 16 | 25 | 110k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1070.49/1070.80 c 983s| 3950k| 34993 | 10484k| 28M| 38 | 5 | 115 | 120 | 10 | 115 | 16 | 25 | 110k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1073.09/1073.45 c 986s| 3960k| 35731 | 10510k| 29M| 38 | 5 | 115 | 130 | 7 | 115 | 16 | 25 | 111k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1075.69/1076.06 c 988s| 3970k| 36421 | 10536k| 29M| 38 | 5 | 115 | 116 | 6 | 115 | 16 | 25 | 111k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1078.29/1078.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.29/1078.63 c 990s| 3980k| 36502 | 10561k| 30M| 38 | - | 115 | 116 | 6 | 115 | 16 | 25 | 111k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1080.79/1081.19 c 993s| 3990k| 36718 | 10587k| 30M| 38 | 5 | 115 | 123 | 6 | 115 | 16 | 25 | 111k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1083.39/1083.77 c 995s| 4000k| 36799 | 10612k| 30M| 38 | - | 115 | 110 | 7 | 115 | 16 | 25 | 112k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1085.99/1086.36 c 998s| 4010k| 36600 | 10637k| 30M| 38 | 5 | 115 | 115 | 9 | 115 | 16 | 25 | 112k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1088.60/1088.97 c 1000s| 4020k| 36465 | 10663k| 30M| 38 | 5 | 115 | 119 | 7 | 115 | 16 | 25 | 112k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1091.19/1091.54 c 1002s| 4030k| 35881 | 10687k| 30M| 38 | 5 | 115 | 105 | 7 | 115 | 16 | 25 | 112k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1093.78/1094.15 c 1005s| 4040k| 35057 | 10713k| 30M| 38 | - | 115 | 98 | 6 | 115 | 16 | 25 | 113k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1096.39/1096.75 c 1007s| 4050k| 34442 | 10739k| 29M| 38 | - | 115 | 100 | 6 | 115 | 16 | 25 | 113k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1098.99/1099.34 c 1009s| 4060k| 33546 | 10765k| 28M| 38 | - | 115 | 93 | 6 | 115 | 16 | 25 | 113k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1101.68/1102.01 c 1012s| 4070k| 33741 | 10792k| 28M| 38 | 5 | 115 | 110 | 8 | 115 | 16 | 25 | 113k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1104.29/1104.61 c 1014s| 4080k| 33707 | 10817k| 28M| 38 | - | 115 | 101 | 6 | 115 | 16 | 25 | 114k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1106.98/1107.37 c 1017s| 4090k| 34399 | 10843k| 29M| 38 | 5 | 115 | 117 | 10 | 115 | 16 | 25 | 114k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1109.58/1109.99 c 1019s| 4100k| 34587 | 10869k| 29M| 38 | - | 115 | 134 | 12 | 115 | 16 | 25 | 114k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1112.18/1112.56 c 1022s| 4110k| 34575 | 10893k| 29M| 38 | 5 | 115 | 122 | 7 | 115 | 16 | 25 | 114k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1114.88/1115.22 c 1024s| 4120k| 35485 | 10919k| 30M| 38 | - | 115 | 127 | 6 | 115 | 16 | 25 | 115k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1117.38/1117.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1117.38/1117.74 c 1026s| 4130k| 35386 | 10944k| 30M| 38 | 5 | 115 | 121 | 7 | 115 | 16 | 25 | 115k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1119.88/1120.28 c 1029s| 4140k| 35116 | 10969k| 30M| 38 | 5 | 115 | 132 | 8 | 115 | 16 | 25 | 115k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1122.48/1122.82 c 1031s| 4150k| 34605 | 10994k| 30M| 38 | - | 115 | 124 | 7 | 0 | 0 | 25 | 115k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1124.98/1125.38 c 1033s| 4160k| 33693 | 11019k| 29M| 38 | 5 | 115 | 116 | 6 | 115 | 16 | 25 | 116k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1127.68/1128.02 c 1036s| 4170k| 33348 | 11045k| 28M| 38 | 5 | 115 | 114 | 9 | 115 | 16 | 25 | 116k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1130.17/1130.59 c 1038s| 4180k| 33394 | 11071k| 29M| 38 | - | 115 | 115 | 6 | 115 | 16 | 25 | 116k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1132.88/1133.24 c 1041s| 4190k| 33319 | 11098k| 28M| 38 | 5 | 115 | 124 | 6 | 115 | 16 | 25 | 116k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1135.47/1135.80 c 1043s| 4200k| 33436 | 11124k| 29M| 38 | - | 115 | 134 | 7 | 0 | 0 | 25 | 117k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1137.97/1138.36 c 1045s| 4210k| 33713 | 11149k| 29M| 38 | 5 | 115 | 133 | 7 | 115 | 16 | 25 | 117k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1140.47/1140.87 c 1048s| 4220k| 33204 | 11174k| 28M| 38 | - | 115 | 130 | 6 | 115 | 16 | 25 | 117k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1143.17/1143.52 c 1050s| 4230k| 33811 | 11200k| 29M| 38 | - | 115 | 136 | 6 | 115 | 16 | 25 | 117k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1145.78/1146.11 c 1052s| 4240k| 34335 | 11225k| 29M| 38 | - | 115 | 140 | 6 | 115 | 16 | 25 | 118k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1148.26/1148.68 c 1055s| 4250k| 34033 | 11249k| 29M| 38 | - | 115 | 139 | 6 | 115 | 16 | 25 | 118k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1150.87/1151.25 c 1057s| 4260k| 33155 | 11273k| 29M| 38 | - | 115 | 137 | 11 | 115 | 16 | 25 | 118k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1153.57/1153.93 c 1060s| 4270k| 32977 | 11300k| 28M| 38 | - | 115 | 134 | 7 | 115 | 16 | 25 | 118k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1156.17/1156.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1156.17/1156.57 c 1062s| 4280k| 32774 | 11326k| 28M| 38 | - | 115 | 110 | 10 | 115 | 16 | 25 | 119k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1158.76/1159.14 c 1064s| 4290k| 32842 | 11351k| 28M| 38 | 5 | 115 | 108 | 6 | 115 | 16 | 25 | 119k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1161.37/1161.79 c 1067s| 4300k| 32368 | 11377k| 27M| 38 | 5 | 115 | 100 | 11 | 115 | 16 | 25 | 119k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1163.97/1164.33 c 1069s| 4310k| 32387 | 11402k| 28M| 38 | 5 | 115 | 96 | 6 | 115 | 16 | 25 | 119k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1166.46/1166.88 c 1071s| 4320k| 32070 | 11428k| 27M| 38 | 5 | 115 | 89 | 6 | 115 | 16 | 25 | 120k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1169.17/1169.60 c 1074s| 4330k| 33098 | 11454k| 28M| 38 | 5 | 115 | 103 | 6 | 115 | 16 | 25 | 120k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1171.86/1172.21 c 1076s| 4340k| 33780 | 11479k| 28M| 38 | - | 115 | 112 | 7 | 115 | 16 | 25 | 120k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1174.37/1174.78 c 1079s| 4350k| 33789 | 11504k| 29M| 38 | - | 115 | 94 | 7 | 115 | 16 | 25 | 120k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1176.96/1177.35 c 1081s| 4360k| 33482 | 11529k| 29M| 38 | 5 | 115 | 105 | 11 | 115 | 16 | 25 | 121k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1179.56/1179.94 c 1083s| 4370k| 34022 | 11555k| 29M| 38 | - | 115 | 92 | 9 | 115 | 16 | 25 | 121k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1182.16/1182.54 c 1086s| 4380k| 33924 | 11580k| 29M| 38 | - | 115 | 105 | 7 | 115 | 16 | 25 | 121k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1184.66/1185.09 c 1088s| 4390k| 33500 | 11605k| 29M| 38 | - | 115 | 108 | 8 | 115 | 16 | 25 | 122k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1187.26/1187.63 c 1090s| 4400k| 33094 | 11629k| 29M| 38 | - | 115 | 102 | 6 | 115 | 16 | 25 | 122k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1189.86/1190.22 c 1093s| 4410k| 33203 | 11654k| 29M| 38 | 5 | 115 | 111 | 6 | 115 | 16 | 25 | 122k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1192.46/1192.85 c 1095s| 4420k| 32163 | 11678k| 28M| 38 | 5 | 115 | 82 | 6 | 115 | 16 | 25 | 122k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1195.06/1195.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.06/1195.43 c 1098s| 4430k| 31856 | 11704k| 27M| 38 | - | 115 | 74 | 9 | 0 | 0 | 25 | 123k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1197.65/1198.03 c 1100s| 4440k| 31637 | 11729k| 27M| 38 | - | 115 | 80 | 6 | 115 | 16 | 25 | 123k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1200.25/1200.61 c 1102s| 4450k| 31802 | 11755k| 27M| 38 | - | 115 | 77 | 6 | 115 | 16 | 25 | 123k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1203.06/1203.40 c 1105s| 4460k| 33477 | 11783k| 28M| 38 | 5 | 115 | 92 | 14 | 115 | 16 | 25 | 124k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1205.76/1206.12 c 1107s| 4470k| 34707 | 11810k| 29M| 38 | 5 | 115 | 80 | 6 | 115 | 16 | 25 | 124k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1208.46/1208.81 c 1110s| 4480k| 35639 | 11836k| 30M| 38 | - | 115 | 105 | 11 | 115 | 16 | 25 | 124k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1211.05/1211.47 c 1112s| 4490k| 36349 | 11862k| 30M| 38 | - | 115 | 86 | 6 | 115 | 16 | 25 | 124k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1213.65/1214.08 c 1115s| 4500k| 36627 | 11888k| 30M| 38 | - | 115 | 89 | 6 | 115 | 16 | 25 | 125k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1216.25/1216.69 c 1117s| 4510k| 37015 | 11913k| 31M| 38 | 5 | 115 | 92 | 6 | 115 | 16 | 25 | 125k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1218.84/1219.29 c 1119s| 4520k| 37156 | 11938k| 31M| 38 | 5 | 115 | 79 | 6 | 115 | 16 | 25 | 125k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1221.45/1221.88 c 1122s| 4530k| 37380 | 11964k| 31M| 38 | 5 | 115 | 77 | 6 | 115 | 16 | 25 | 126k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1224.05/1224.45 c 1124s| 4540k| 37558 | 11989k| 32M| 38 | 5 | 115 | 73 | 6 | 115 | 16 | 25 | 126k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1226.64/1227.04 c 1126s| 4550k| 37473 | 12014k| 32M| 38 | - | 115 | 76 | 6 | 115 | 16 | 25 | 126k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1229.24/1229.62 c 1129s| 4560k| 37343 | 12039k| 32M| 38 | 5 | 115 | 83 | 9 | 115 | 16 | 25 | 126k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1231.85/1232.23 c 1131s| 4570k| 36895 | 12063k| 32M| 38 | 5 | 115 | 74 | 7 | 115 | 16 | 25 | 127k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1234.45/1234.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1234.45/1234.82 c 1134s| 4580k| 36874 | 12088k| 32M| 38 | 5 | 115 | 82 | 8 | 115 | 16 | 25 | 127k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1237.05/1237.41 c 1136s| 4590k| 36452 | 12113k| 32M| 38 | 5 | 115 | 77 | 7 | 115 | 16 | 25 | 127k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1239.65/1240.00 c 1138s| 4600k| 36625 | 12139k| 32M| 38 | - | 115 | 77 | 7 | 115 | 16 | 25 | 127k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1242.14/1242.59 c 1141s| 4610k| 36314 | 12165k| 32M| 38 | 5 | 115 | 75 | 7 | 115 | 16 | 25 | 128k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1244.75/1245.19 c 1143s| 4620k| 35984 | 12191k| 32M| 38 | 5 | 115 | 73 | 10 | 115 | 16 | 25 | 128k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1247.34/1247.75 c 1145s| 4630k| 35607 | 12216k| 32M| 38 | - | 115 | 74 | 7 | 115 | 16 | 25 | 128k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1249.93/1250.33 c 1148s| 4640k| 34965 | 12241k| 31M| 38 | 5 | 115 | 73 | 6 | 115 | 16 | 25 | 128k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1252.55/1252.93 c 1150s| 4650k| 34390 | 12266k| 31M| 38 | 5 | 115 | 75 | 7 | 115 | 16 | 25 | 129k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1255.14/1255.51 c 1153s| 4660k| 34255 | 12291k| 31M| 38 | - | 115 | 78 | 6 | 0 | 0 | 25 | 129k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1257.64/1258.08 c 1155s| 4670k| 33923 | 12316k| 30M| 38 | 5 | 115 | 72 | 6 | 115 | 16 | 25 | 129k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1260.24/1260.64 c 1157s| 4680k| 33422 | 12341k| 30M| 38 | - | 115 | 82 | 9 | 115 | 16 | 25 | 130k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1262.84/1263.26 c 1160s| 4690k| 32929 | 12367k| 30M| 38 | - | 115 | 81 | 6 | 115 | 16 | 25 | 130k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1265.44/1265.87 c 1162s| 4700k| 32210 | 12392k| 29M| 38 | - | 115 | 92 | 6 | 115 | 16 | 25 | 130k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1268.13/1268.51 c 1164s| 4710k| 32283 | 12419k| 29M| 38 | - | 115 | 100 | 7 | 115 | 16 | 25 | 130k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1270.73/1271.15 c 1167s| 4720k| 31793 | 12446k| 28M| 38 | - | 115 | 88 | 13 | 0 | 0 | 25 | 131k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1273.44/1273.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1273.44/1273.81 c 1169s| 4730k| 32230 | 12473k| 29M| 38 | - | 115 | 93 | 12 | 115 | 16 | 25 | 131k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1276.03/1276.47 c 1172s| 4740k| 32185 | 12500k| 29M| 38 | - | 115 | 86 | 8 | 115 | 16 | 25 | 131k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1278.63/1279.10 c 1174s| 4750k| 31904 | 12526k| 28M| 38 | - | 115 | 77 | 7 | 0 | 0 | 25 | 131k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1281.23/1281.69 c 1176s| 4760k| 31773 | 12553k| 28M| 38 | - | 115 | 76 | 7 | 115 | 16 | 25 | 132k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1283.83/1284.27 c 1179s| 4770k| 31592 | 12578k| 28M| 38 | 5 | 115 | 66 | 6 | 115 | 16 | 25 | 132k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1286.43/1286.83 c 1181s| 4780k| 31406 | 12604k| 28M| 38 | 5 | 115 | 84 | 8 | 115 | 16 | 25 | 132k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1289.03/1289.44 c 1184s| 4790k| 31619 | 12631k| 28M| 38 | 5 | 115 | 91 | 6 | 115 | 16 | 25 | 132k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1291.63/1292.05 c 1186s| 4800k| 31863 | 12656k| 28M| 38 | - | 115 | 80 | 7 | 115 | 16 | 25 | 133k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1294.23/1294.67 c 1188s| 4810k| 31950 | 12681k| 29M| 38 | - | 115 | 75 | 7 | 115 | 16 | 25 | 133k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1296.82/1297.26 c 1191s| 4820k| 32351 | 12707k| 29M| 38 | 5 | 115 | 64 | 6 | 115 | 16 | 25 | 133k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1299.42/1299.81 c 1193s| 4830k| 31804 | 12733k| 29M| 38 | 5 | 115 | 58 | 8 | 115 | 16 | 25 | 133k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1302.03/1302.41 c 1195s| 4840k| 31530 | 12759k| 28M| 38 | 5 | 115 | 60 | 7 | 115 | 16 | 25 | 134k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1304.52/1304.98 c 1198s| 4850k| 31235 | 12786k| 28M| 38 | 5 | 115 | 67 | 7 | 115 | 16 | 25 | 134k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1307.12/1307.55 c 1200s| 4860k| 30944 | 12812k| 28M| 38 | - | 115 | 54 | 6 | 115 | 16 | 25 | 134k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1309.82/1310.21 c 1203s| 4870k| 30913 | 12839k| 27M| 38 | 5 | 115 | 63 | 6 | 115 | 16 | 25 | 134k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1312.52/1312.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1312.52/1312.99 c 1205s| 4880k| 32557 | 12867k| 28M| 38 | 5 | 115 | 85 | 10 | 115 | 16 | 25 | 135k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1315.22/1315.65 c 1208s| 4890k| 33607 | 12893k| 29M| 38 | - | 115 | 62 | 6 | 115 | 16 | 25 | 135k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1317.81/1318.26 c 1210s| 4900k| 34062 | 12919k| 29M| 38 | - | 115 | 58 | 6 | 115 | 16 | 25 | 135k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1320.41/1320.85 c 1212s| 4910k| 34434 | 12944k| 30M| 38 | - | 115 | 70 | 7 | 115 | 16 | 25 | 135k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1323.01/1323.49 c 1215s| 4920k| 34933 | 12970k| 30M| 38 | - | 115 | 86 | 7 | 115 | 16 | 25 | 136k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1325.72/1326.11 c 1217s| 4930k| 35324 | 12996k| 31M| 38 | 5 | 115 | 76 | 8 | 115 | 16 | 25 | 136k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1328.32/1328.76 c 1220s| 4940k| 36117 | 13022k| 31M| 38 | 5 | 115 | 94 | 6 | 115 | 16 | 25 | 136k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1330.92/1331.37 c 1222s| 4950k| 36136 | 13048k| 31M| 38 | 5 | 115 | 82 | 7 | 115 | 16 | 25 | 136k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1333.51/1333.99 c 1224s| 4960k| 36301 | 13072k| 31M| 38 | 5 | 115 | 99 | 9 | 115 | 16 | 25 | 137k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1336.21/1336.60 c 1227s| 4970k| 36642 | 13098k| 32M| 38 | 5 | 115 | 86 | 7 | 115 | 16 | 25 | 137k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1338.72/1339.17 c 1229s| 4980k| 36719 | 13123k| 32M| 38 | - | 115 | 79 | 7 | 115 | 16 | 25 | 137k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1341.31/1341.75 c 1232s| 4990k| 36563 | 13149k| 32M| 38 | - | 115 | 98 | 8 | 115 | 16 | 25 | 138k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1343.91/1344.34 c 1234s| 5000k| 36592 | 13174k| 32M| 38 | 5 | 115 | 86 | 6 | 115 | 16 | 25 | 138k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1346.51/1346.92 c 1236s| 5010k| 36484 | 13199k| 32M| 38 | 5 | 115 | 85 | 6 | 115 | 16 | 25 | 138k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1349.11/1349.52 c 1239s| 5020k| 36177 | 13224k| 32M| 38 | 5 | 115 | 104 | 7 | 115 | 16 | 25 | 138k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1351.81/1352.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1351.81/1352.23 c 1241s| 5030k| 36919 | 13250k| 33M| 38 | - | 115 | 99 | 8 | 115 | 16 | 25 | 139k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1354.41/1354.86 c 1244s| 5040k| 37165 | 13276k| 33M| 38 | 5 | 115 | 91 | 9 | 115 | 16 | 25 | 139k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1357.01/1357.44 c 1246s| 5050k| 37087 | 13301k| 33M| 38 | - | 115 | 92 | 6 | 115 | 16 | 25 | 139k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1359.61/1360.01 c 1248s| 5060k| 36785 | 13327k| 33M| 38 | - | 115 | 90 | 6 | 0 | 0 | 25 | 139k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1362.21/1362.61 c 1251s| 5070k| 36743 | 13353k| 33M| 38 | 5 | 115 | 86 | 6 | 115 | 16 | 25 | 140k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1364.71/1365.19 c 1253s| 5080k| 36425 | 13379k| 33M| 38 | - | 115 | 82 | 7 | 115 | 16 | 25 | 140k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1367.30/1367.78 c 1255s| 5090k| 36264 | 13403k| 33M| 38 | - | 115 | 96 | 6 | 115 | 16 | 25 | 140k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1369.91/1370.36 c 1258s| 5100k| 35630 | 13429k| 32M| 38 | 5 | 115 | 86 | 7 | 115 | 16 | 25 | 140k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1372.50/1372.96 c 1260s| 5110k| 35302 | 13454k| 32M| 38 | - | 115 | 79 | 6 | 115 | 16 | 25 | 141k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1375.20/1375.61 c 1262s| 5120k| 35788 | 13481k| 33M| 38 | - | 115 | 85 | 6 | 115 | 16 | 25 | 141k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1377.81/1378.26 c 1265s| 5130k| 36265 | 13508k| 33M| 38 | - | 115 | 91 | 9 | 0 | 0 | 25 | 141k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1380.40/1380.85 c 1267s| 5140k| 36217 | 13533k| 33M| 38 | - | 115 | 97 | 11 | 0 | 0 | 25 | 141k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1383.00/1383.47 c 1270s| 5150k| 35688 | 13559k| 33M| 38 | - | 115 | 97 | 8 | 115 | 16 | 25 | 142k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1385.59/1386.05 c 1272s| 5160k| 35196 | 13584k| 32M| 38 | 5 | 115 | 97 | 6 | 115 | 16 | 25 | 142k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1388.29/1388.71 c 1274s| 5170k| 35126 | 13610k| 32M| 38 | 5 | 115 | 96 | 7 | 115 | 16 | 25 | 142k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1390.89/1391.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.89/1391.31 c 1277s| 5180k| 35286 | 13636k| 33M| 38 | 5 | 115 | 93 | 9 | 115 | 16 | 25 | 143k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1393.49/1393.93 c 1279s| 5190k| 35110 | 13662k| 33M| 38 | - | 115 | 101 | 7 | 115 | 16 | 25 | 143k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1396.29/1396.78 c 1282s| 5200k| 36824 | 13692k| 34M| 38 | 5 | 115 | 96 | 7 | 115 | 16 | 25 | 143k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1399.08/1399.51 c 1284s| 5210k| 38338 | 13721k| 34M| 38 | 5 | 115 | 89 | 6 | 115 | 16 | 25 | 143k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1401.69/1402.11 c 1287s| 5220k| 39267 | 13749k| 35M| 38 | 5 | 115 | 87 | 7 | 115 | 16 | 25 | 143k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1404.38/1404.81 c 1289s| 5230k| 40547 | 13778k| 36M| 38 | - | 115 | 92 | 6 | 115 | 16 | 25 | 144k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1407.09/1407.56 c 1292s| 5240k| 42248 | 13806k| 37M| 38 | - | 115 | 106 | 8 | 115 | 16 | 25 | 144k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1409.79/1410.21 c 1294s| 5250k| 43096 | 13834k| 37M| 38 | - | 115 | 95 | 6 | 115 | 16 | 25 | 144k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1412.39/1412.83 c 1297s| 5260k| 43614 | 13861k| 38M| 38 | 5 | 115 | 91 | 9 | 115 | 16 | 25 | 144k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1414.99/1415.43 c 1299s| 5270k| 44026 | 13887k| 38M| 38 | 5 | 115 | 89 | 6 | 115 | 16 | 25 | 145k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1417.59/1418.01 c 1301s| 5280k| 44466 | 13913k| 39M| 38 | 5 | 115 | 92 | 8 | 115 | 16 | 25 | 145k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1420.09/1420.59 c 1304s| 5290k| 45120 | 13940k| 39M| 38 | - | 115 | 102 | 7 | 115 | 16 | 25 | 145k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1422.78/1423.25 c 1306s| 5300k| 46083 | 13967k| 40M| 38 | 5 | 115 | 105 | 9 | 115 | 16 | 25 | 145k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1425.38/1425.84 c 1308s| 5310k| 46663 | 13993k| 40M| 38 | 5 | 115 | 101 | 7 | 115 | 16 | 25 | 146k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1427.98/1428.43 c 1311s| 5320k| 46861 | 14020k| 41M| 38 | 5 | 115 | 97 | 7 | 115 | 16 | 25 | 146k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1430.59/1431.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.59/1431.02 c 1313s| 5330k| 47156 | 14045k| 41M| 38 | 5 | 115 | 105 | 7 | 115 | 16 | 25 | 146k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1433.18/1433.60 c 1316s| 5340k| 47346 | 14071k| 41M| 38 | 5 | 115 | 102 | 7 | 115 | 16 | 25 | 146k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1435.67/1436.17 c 1318s| 5350k| 47525 | 14096k| 41M| 38 | - | 115 | 102 | 8 | 115 | 16 | 25 | 147k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1438.28/1438.74 c 1320s| 5360k| 47339 | 14121k| 42M| 38 | 5 | 115 | 110 | 10 | 115 | 16 | 25 | 147k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1440.78/1441.29 c 1323s| 5370k| 47297 | 14147k| 42M| 38 | - | 115 | 98 | 6 | 115 | 16 | 25 | 147k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1443.37/1443.83 c 1325s| 5380k| 47217 | 14173k| 42M| 38 | - | 115 | 112 | 9 | 115 | 16 | 25 | 147k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1445.88/1446.38 c 1327s| 5390k| 47161 | 14198k| 42M| 38 | - | 115 | 106 | 7 | 115 | 16 | 25 | 147k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1448.47/1448.94 c 1330s| 5400k| 47180 | 14223k| 42M| 38 | - | 115 | 116 | 7 | 115 | 16 | 25 | 148k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1451.08/1451.53 c 1332s| 5410k| 46905 | 14249k| 42M| 38 | 5 | 115 | 100 | 8 | 115 | 16 | 25 | 148k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1453.68/1454.12 c 1334s| 5420k| 46887 | 14275k| 42M| 38 | 5 | 115 | 99 | 8 | 115 | 16 | 25 | 148k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1456.17/1456.65 c 1337s| 5430k| 46662 | 14300k| 42M| 38 | 5 | 115 | 102 | 7 | 115 | 16 | 25 | 148k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1458.67/1459.16 c 1339s| 5440k| 46443 | 14324k| 42M| 38 | 5 | 115 | 100 | 7 | 115 | 16 | 25 | 149k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1461.17/1461.67 c 1341s| 5450k| 46288 | 14349k| 42M| 38 | - | 115 | 103 | 6 | 115 | 16 | 25 | 149k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1463.77/1464.20 c 1344s| 5460k| 45980 | 14374k| 42M| 38 | - | 115 | 104 | 6 | 115 | 16 | 25 | 149k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1466.27/1466.76 c 1346s| 5470k| 45578 | 14399k| 42M| 38 | 5 | 115 | 100 | 6 | 115 | 16 | 25 | 149k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1468.87/1469.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.87/1469.33 c 1348s| 5480k| 45192 | 14424k| 42M| 38 | - | 115 | 109 | 6 | 115 | 16 | 25 | 150k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1471.37/1471.89 c 1351s| 5490k| 45125 | 14449k| 42M| 38 | - | 115 | 111 | 7 | 115 | 16 | 25 | 150k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1473.97/1474.47 c 1353s| 5500k| 44951 | 14476k| 42M| 38 | - | 115 | 99 | 7 | 115 | 16 | 25 | 150k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1476.57/1477.02 c 1355s| 5510k| 45587 | 14501k| 42M| 38 | 5 | 115 | 110 | 7 | 115 | 16 | 25 | 150k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1479.07/1479.58 c 1358s| 5520k| 45799 | 14528k| 43M| 38 | - | 115 | 110 | 13 | 115 | 16 | 25 | 151k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1481.56/1482.08 c 1360s| 5530k| 45592 | 14553k| 43M| 38 | 5 | 115 | 95 | 6 | 115 | 16 | 25 | 151k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1484.16/1484.62 c 1362s| 5540k| 45079 | 14578k| 42M| 38 | 5 | 115 | 96 | 6 | 115 | 16 | 25 | 151k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1486.77/1487.21 c 1365s| 5550k| 44937 | 14604k| 42M| 38 | 5 | 115 | 103 | 8 | 115 | 16 | 25 | 151k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1489.27/1489.79 c 1367s| 5560k| 45002 | 14629k| 42M| 38 | 5 | 115 | 98 | 6 | 115 | 16 | 25 | 152k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1491.87/1492.30 c 1369s| 5570k| 44767 | 14653k| 42M| 38 | - | 115 | 98 | 7 | 115 | 16 | 25 | 152k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1494.37/1494.85 c 1372s| 5580k| 44066 | 14679k| 42M| 38 | 5 | 115 | 92 | 6 | 115 | 16 | 25 | 152k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1496.97/1497.43 c 1374s| 5590k| 44723 | 14705k| 42M| 38 | - | 115 | 98 | 6 | 115 | 16 | 25 | 152k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1499.46/1499.94 c 1376s| 5600k| 44621 | 14730k| 43M| 38 | - | 115 | 97 | 9 | 115 | 16 | 25 | 152k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1501.96/1502.48 c 1379s| 5610k| 44782 | 14755k| 43M| 38 | - | 115 | 106 | 7 | 115 | 16 | 25 | 153k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1504.56/1505.01 c 1381s| 5620k| 44850 | 14780k| 43M| 38 | - | 115 | 110 | 6 | 115 | 16 | 25 | 153k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1507.06/1507.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.06/1507.56 c 1383s| 5630k| 44329 | 14805k| 43M| 38 | - | 115 | 110 | 7 | 115 | 16 | 25 | 153k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1509.65/1510.12 c 1386s| 5640k| 44318 | 14831k| 43M| 38 | - | 115 | 100 | 6 | 115 | 16 | 25 | 153k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1512.15/1512.68 c 1388s| 5650k| 44593 | 14856k| 43M| 38 | 5 | 115 | 108 | 8 | 115 | 16 | 25 | 154k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1514.76/1515.22 c 1390s| 5660k| 43935 | 14881k| 42M| 38 | 5 | 115 | 95 | 6 | 115 | 16 | 25 | 154k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1517.26/1517.75 c 1393s| 5670k| 43951 | 14907k| 43M| 38 | 5 | 115 | 106 | 7 | 115 | 16 | 25 | 154k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1519.76/1520.29 c 1395s| 5680k| 42784 | 14932k| 42M| 38 | - | 115 | 95 | 6 | 115 | 16 | 25 | 154k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1522.35/1522.89 c 1397s| 5690k| 42380 | 14958k| 41M| 38 | 5 | 115 | 108 | 7 | 115 | 16 | 25 | 154k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1524.96/1525.44 c 1400s| 5700k| 41515 | 14983k| 41M| 38 | - | 115 | 99 | 6 | 115 | 16 | 25 | 155k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1527.56/1528.03 c 1402s| 5710k| 41020 | 15008k| 40M| 38 | - | 115 | 105 | 6 | 115 | 16 | 25 | 155k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1530.15/1530.62 c 1404s| 5720k| 40186 | 15034k| 40M| 38 | - | 115 | 106 | 7 | 115 | 16 | 25 | 155k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1532.76/1533.20 c 1407s| 5730k| 40453 | 15060k| 40M| 38 | 5 | 115 | 125 | 6 | 115 | 16 | 25 | 155k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1535.25/1535.77 c 1409s| 5740k| 39925 | 15084k| 40M| 38 | - | 115 | 117 | 6 | 115 | 16 | 25 | 156k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1537.85/1538.34 c 1412s| 5750k| 38957 | 15109k| 39M| 38 | 5 | 115 | 110 | 9 | 115 | 16 | 25 | 156k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1540.45/1540.91 c 1414s| 5760k| 38456 | 15134k| 38M| 38 | - | 115 | 110 | 6 | 115 | 16 | 25 | 156k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1543.05/1543.51 c 1416s| 5770k| 37535 | 15159k| 37M| 38 | - | 115 | 104 | 7 | 115 | 16 | 25 | 156k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1545.54/1546.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1545.54/1546.08 c 1419s| 5780k| 36984 | 15185k| 37M| 38 | 5 | 115 | 104 | 6 | 115 | 16 | 25 | 157k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1548.15/1548.69 c 1421s| 5790k| 36274 | 15211k| 36M| 38 | - | 115 | 112 | 6 | 115 | 16 | 25 | 157k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1550.85/1551.33 c 1423s| 5800k| 36917 | 15239k| 37M| 38 | 5 | 115 | 105 | 7 | 115 | 16 | 25 | 157k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1553.44/1553.92 c 1426s| 5810k| 37266 | 15265k| 37M| 38 | 5 | 115 | 109 | 6 | 115 | 16 | 25 | 157k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1555.95/1556.46 c 1428s| 5820k| 36798 | 15291k| 37M| 38 | - | 115 | 109 | 7 | 115 | 16 | 25 | 157k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1558.55/1559.02 c 1430s| 5830k| 36969 | 15317k| 37M| 38 | 5 | 115 | 121 | 9 | 115 | 16 | 25 | 158k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1561.14/1561.60 c 1433s| 5840k| 36409 | 15342k| 36M| 38 | 5 | 115 | 116 | 9 | 115 | 16 | 25 | 158k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1563.64/1564.17 c 1435s| 5850k| 37137 | 15368k| 37M| 38 | 5 | 115 | 118 | 7 | 115 | 16 | 25 | 158k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1566.24/1566.71 c 1438s| 5860k| 36664 | 15392k| 37M| 38 | - | 115 | 115 | 6 | 115 | 16 | 25 | 158k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1568.84/1569.32 c 1440s| 5870k| 35997 | 15417k| 36M| 38 | - | 115 | 116 | 7 | 0 | 0 | 25 | 159k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1571.44/1571.97 c 1442s| 5880k| 36556 | 15442k| 37M| 38 | 5 | 115 | 119 | 9 | 115 | 16 | 25 | 159k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1574.14/1574.69 c 1445s| 5890k| 37545 | 15468k| 37M| 38 | - | 115 | 121 | 8 | 115 | 16 | 25 | 159k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1576.94/1577.49 c 1447s| 5900k| 39773 | 15497k| 38M| 38 | 5 | 115 | 133 | 7 | 115 | 16 | 25 | 160k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1579.64/1580.18 c 1450s| 5910k| 41168 | 15525k| 39M| 38 | - | 115 | 135 | 5 | 0 | 0 | 25 | 160k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1582.44/1582.91 c 1452s| 5920k| 43100 | 15554k| 40M| 38 | 5 | 115 | 134 | 6 | 115 | 16 | 25 | 160k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1585.13/1585.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1585.13/1585.63 c 1455s| 5930k| 44642 | 15582k| 41M| 38 | - | 115 | 129 | 6 | 115 | 16 | 25 | 160k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1587.84/1588.32 c 1457s| 5940k| 45911 | 15609k| 42M| 38 | 5 | 115 | 136 | 6 | 115 | 16 | 25 | 161k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1590.53/1591.01 c 1460s| 5950k| 46871 | 15636k| 42M| 38 | - | 115 | 132 | 6 | 115 | 16 | 25 | 161k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1593.13/1593.64 c 1462s| 5960k| 47721 | 15662k| 43M| 38 | - | 115 | 130 | 6 | 115 | 16 | 25 | 161k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1595.73/1596.27 c 1465s| 5970k| 48311 | 15689k| 43M| 38 | 5 | 115 | 119 | 7 | 115 | 16 | 25 | 161k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1598.43/1598.95 c 1467s| 5980k| 49960 | 15717k| 44M| 38 | 5 | 115 | 129 | 9 | 115 | 16 | 25 | 162k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1601.04/1601.55 c 1469s| 5990k| 50958 | 15743k| 45M| 38 | - | 115 | 135 | 7 | 115 | 16 | 25 | 162k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1603.63/1604.10 c 1472s| 6000k| 51482 | 15768k| 45M| 38 | - | 115 | 125 | 7 | 0 | 0 | 25 | 162k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1606.23/1606.71 c 1474s| 6010k| 51966 | 15794k| 46M| 38 | - | 115 | 125 | 8 | 115 | 16 | 25 | 162k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1608.73/1609.30 c 1477s| 6020k| 52627 | 15820k| 46M| 38 | 5 | 115 | 150 | 6 | 115 | 16 | 25 | 163k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1611.43/1611.91 c 1479s| 6030k| 53076 | 15846k| 47M| 38 | - | 115 | 131 | 6 | 115 | 16 | 25 | 163k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1614.02/1614.53 c 1481s| 6040k| 54033 | 15872k| 48M| 38 | 5 | 115 | 137 | 6 | 115 | 16 | 25 | 163k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1616.53/1617.09 c 1484s| 6050k| 54535 | 15898k| 48M| 38 | - | 115 | 146 | 8 | 0 | 0 | 25 | 163k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1619.12/1619.66 c 1486s| 6060k| 54890 | 15923k| 48M| 38 | - | 115 | 127 | 6 | 0 | 0 | 25 | 164k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1621.73/1622.25 c 1488s| 6070k| 55684 | 15950k| 49M| 38 | 5 | 115 | 142 | 6 | 115 | 16 | 25 | 164k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1624.32/1624.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.32/1624.85 c 1491s| 6080k| 56118 | 15976k| 49M| 38 | 5 | 115 | 139 | 11 | 115 | 16 | 25 | 164k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1627.03/1627.51 c 1493s| 6090k| 56836 | 16004k| 50M| 38 | 5 | 115 | 145 | 6 | 115 | 16 | 25 | 164k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1629.52/1630.07 c 1496s| 6100k| 57035 | 16029k| 50M| 38 | 5 | 115 | 137 | 8 | 115 | 16 | 25 | 164k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1632.12/1632.68 c 1498s| 6110k| 57222 | 16054k| 51M| 38 | - | 115 | 139 | 8 | 115 | 16 | 25 | 165k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1634.72/1635.29 c 1500s| 6120k| 57448 | 16080k| 51M| 38 | - | 115 | 144 | 9 | 115 | 16 | 25 | 165k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1637.32/1637.86 c 1503s| 6130k| 57502 | 16105k| 51M| 38 | 5 | 115 | 139 | 9 | 115 | 16 | 25 | 165k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1639.92/1640.41 c 1505s| 6140k| 57513 | 16130k| 51M| 38 | - | 115 | 145 | 7 | 115 | 16 | 25 | 165k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1642.42/1642.97 c 1507s| 6150k| 57497 | 16156k| 51M| 38 | - | 115 | 132 | 6 | 115 | 16 | 25 | 165k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1645.03/1645.53 c 1510s| 6160k| 57348 | 16181k| 52M| 38 | 5 | 115 | 138 | 6 | 115 | 16 | 25 | 166k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1647.62/1648.13 c 1512s| 6170k| 57175 | 16206k| 52M| 38 | 5 | 115 | 144 | 6 | 115 | 16 | 25 | 166k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1650.21/1650.72 c 1515s| 6180k| 57153 | 16231k| 52M| 38 | 5 | 115 | 147 | 6 | 115 | 16 | 25 | 166k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1652.82/1653.31 c 1517s| 6190k| 57383 | 16257k| 52M| 38 | 5 | 115 | 149 | 6 | 115 | 16 | 25 | 166k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1655.31/1655.89 c 1519s| 6200k| 57153 | 16281k| 52M| 38 | - | 115 | 139 | 6 | 115 | 16 | 25 | 167k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1658.01/1658.50 c 1522s| 6210k| 57339 | 16307k| 52M| 38 | - | 115 | 149 | 7 | 115 | 16 | 25 | 167k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1660.52/1661.04 c 1524s| 6220k| 57834 | 16332k| 53M| 38 | - | 115 | 140 | 6 | 0 | 0 | 25 | 167k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1663.01/1663.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.01/1663.59 c 1526s| 6230k| 57691 | 16357k| 53M| 38 | 5 | 115 | 142 | 8 | 115 | 16 | 25 | 167k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1665.61/1666.14 c 1529s| 6240k| 57677 | 16382k| 53M| 38 | 5 | 115 | 134 | 6 | 115 | 16 | 25 | 168k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1668.11/1668.70 c 1531s| 6250k| 57599 | 16407k| 53M| 38 | - | 115 | 132 | 6 | 115 | 16 | 25 | 168k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1670.71/1671.27 c 1533s| 6260k| 57474 | 16432k| 53M| 38 | 5 | 115 | 143 | 10 | 115 | 16 | 25 | 168k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1673.31/1673.85 c 1536s| 6270k| 57389 | 16457k| 53M| 38 | 4 | 115 | 129 | 7 | 115 | 16 | 25 | 168k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1675.92/1676.43 c 1538s| 6280k| 57033 | 16482k| 53M| 38 | 5 | 115 | 141 | 6 | 115 | 16 | 25 | 168k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1678.50/1679.01 c 1540s| 6290k| 56871 | 16507k| 53M| 38 | - | 115 | 146 | 6 | 115 | 16 | 25 | 169k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1681.01/1681.55 c 1543s| 6300k| 56639 | 16531k| 53M| 38 | 5 | 115 | 145 | 7 | 115 | 16 | 25 | 169k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1683.61/1684.13 c 1545s| 6310k| 56157 | 16556k| 53M| 38 | - | 115 | 144 | 6 | 115 | 16 | 25 | 169k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1686.10/1686.69 c 1547s| 6320k| 55808 | 16580k| 53M| 38 | 5 | 115 | 152 | 11 | 115 | 16 | 25 | 169k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1688.71/1689.28 c 1550s| 6330k| 55525 | 16605k| 53M| 38 | 5 | 115 | 141 | 6 | 115 | 16 | 25 | 170k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1691.41/1691.90 c 1552s| 6340k| 55628 | 16630k| 53M| 38 | 5 | 115 | 149 | 7 | 115 | 16 | 25 | 170k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1694.00/1694.50 c 1555s| 6350k| 55759 | 16656k| 53M| 38 | - | 115 | 156 | 6 | 115 | 16 | 25 | 170k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1696.60/1697.11 c 1557s| 6360k| 56333 | 16681k| 54M| 38 | 5 | 115 | 158 | 12 | 115 | 16 | 25 | 170k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1699.20/1699.71 c 1559s| 6370k| 57284 | 16708k| 55M| 38 | 5 | 115 | 153 | 7 | 115 | 16 | 25 | 171k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1701.80/1702.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1701.80/1702.32 c 1562s| 6380k| 58243 | 16734k| 55M| 38 | 5 | 115 | 154 | 8 | 115 | 16 | 25 | 171k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1704.30/1704.87 c 1564s| 6390k| 58571 | 16759k| 55M| 38 | - | 115 | 151 | 6 | 115 | 16 | 25 | 171k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1706.90/1707.43 c 1566s| 6400k| 58604 | 16784k| 56M| 38 | 5 | 115 | 151 | 8 | 115 | 16 | 25 | 171k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1709.40/1710.00 c 1569s| 6410k| 58605 | 16809k| 56M| 38 | - | 115 | 155 | 6 | 115 | 16 | 25 | 172k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1712.00/1712.57 c 1571s| 6420k| 58814 | 16835k| 56M| 38 | 5 | 115 | 160 | 10 | 115 | 16 | 25 | 172k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1714.60/1715.16 c 1573s| 6430k| 59050 | 16861k| 56M| 38 | - | 115 | 162 | 6 | 115 | 16 | 25 | 172k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1717.19/1717.70 c 1576s| 6440k| 58820 | 16886k| 56M| 38 | 5 | 115 | 162 | 8 | 115 | 16 | 25 | 172k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1719.69/1720.23 c 1578s| 6450k| 58675 | 16911k| 56M| 38 | 5 | 115 | 156 | 9 | 115 | 16 | 25 | 173k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1722.19/1722.78 c 1580s| 6460k| 58291 | 16935k| 56M| 38 | 5 | 115 | 166 | 6 | 115 | 16 | 25 | 173k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1724.79/1725.39 c 1583s| 6470k| 58952 | 16961k| 57M| 38 | 5 | 115 | 167 | 6 | 115 | 16 | 25 | 173k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1727.40/1727.95 c 1585s| 6480k| 58769 | 16985k| 57M| 38 | - | 115 | 165 | 7 | 115 | 16 | 25 | 173k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1729.99/1730.50 c 1588s| 6490k| 59263 | 17010k| 57M| 38 | - | 115 | 165 | 10 | 115 | 16 | 25 | 173k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1732.50/1733.06 c 1590s| 6500k| 59344 | 17036k| 57M| 38 | 5 | 115 | 161 | 6 | 115 | 16 | 25 | 174k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1735.10/1735.65 c 1592s| 6510k| 58914 | 17061k| 57M| 38 | - | 115 | 155 | 6 | 115 | 16 | 25 | 174k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1737.69/1738.21 c 1595s| 6520k| 58844 | 17086k| 57M| 38 | 5 | 115 | 162 | 6 | 115 | 16 | 25 | 174k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1740.19/1740.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.19/1740.78 c 1597s| 6530k| 58374 | 17110k| 57M| 38 | - | 115 | 160 | 7 | 115 | 16 | 25 | 174k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1742.79/1743.35 c 1599s| 6540k| 58027 | 17135k| 57M| 38 | - | 115 | 162 | 6 | 115 | 16 | 25 | 175k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1745.38/1745.92 c 1602s| 6550k| 57392 | 17159k| 57M| 38 | - | 115 | 153 | 6 | 115 | 16 | 25 | 175k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1747.89/1748.49 c 1604s| 6560k| 56856 | 17184k| 56M| 38 | 5 | 115 | 148 | 7 | 115 | 16 | 25 | 175k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1750.49/1751.09 c 1606s| 6570k| 56354 | 17208k| 56M| 38 | 5 | 115 | 153 | 9 | 115 | 16 | 25 | 175k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1753.09/1753.65 c 1609s| 6580k| 56133 | 17233k| 56M| 38 | 5 | 115 | 146 | 6 | 115 | 16 | 25 | 176k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1755.69/1756.26 c 1611s| 6590k| 56373 | 17258k| 56M| 38 | 5 | 115 | 158 | 7 | 115 | 16 | 25 | 176k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1758.29/1758.84 c 1613s| 6600k| 56697 | 17283k| 57M| 38 | 5 | 115 | 169 | 10 | 115 | 16 | 25 | 176k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1760.78/1761.37 c 1616s| 6610k| 56870 | 17308k| 57M| 38 | - | 115 | 156 | 6 | 115 | 16 | 25 | 176k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1763.38/1763.94 c 1618s| 6620k| 57435 | 17334k| 57M| 38 | 5 | 115 | 152 | 6 | 115 | 16 | 25 | 177k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1765.99/1766.50 c 1620s| 6630k| 57528 | 17359k| 58M| 38 | 5 | 115 | 145 | 8 | 115 | 16 | 25 | 177k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1768.48/1769.08 c 1623s| 6640k| 57412 | 17383k| 58M| 38 | 5 | 115 | 148 | 6 | 115 | 16 | 25 | 177k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1771.08/1771.67 c 1625s| 6650k| 57421 | 17408k| 58M| 38 | 5 | 115 | 153 | 8 | 115 | 16 | 25 | 177k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1773.68/1774.25 c 1628s| 6660k| 57432 | 17433k| 58M| 38 | 5 | 115 | 148 | 6 | 115 | 16 | 25 | 177k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1776.17/1776.79 c 1630s| 6670k| 56884 | 17457k| 57M| 38 | 5 | 115 | 147 | 6 | 115 | 16 | 25 | 178k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1778.78/1779.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.78/1779.35 c 1632s| 6680k| 57025 | 17482k| 58M| 38 | 5 | 115 | 171 | 6 | 115 | 16 | 25 | 178k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1781.38/1781.94 c 1635s| 6690k| 56545 | 17507k| 57M| 38 | 5 | 115 | 152 | 7 | 115 | 16 | 25 | 178k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1783.98/1784.51 c 1637s| 6700k| 55584 | 17531k| 57M| 38 | - | 115 | 147 | 6 | 115 | 16 | 25 | 178k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1786.57/1787.11 c 1639s| 6710k| 55761 | 17556k| 57M| 38 | 5 | 115 | 175 | 8 | 115 | 16 | 25 | 179k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1789.08/1789.70 c 1642s| 6720k| 56279 | 17581k| 57M| 38 | - | 115 | 168 | 6 | 115 | 16 | 25 | 179k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1791.68/1792.26 c 1644s| 6730k| 56355 | 17605k| 58M| 38 | - | 115 | 165 | 6 | 115 | 16 | 25 | 179k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1794.27/1794.84 c 1646s| 6740k| 55729 | 17630k| 57M| 38 | - | 115 | 160 | 7 | 115 | 16 | 25 | 179k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1796.88/1797.41 c 1649s| 6750k| 55252 | 17654k| 57M| 38 | 5 | 115 | 158 | 10 | 115 | 16 | 25 | 180k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1799.37/1799.95 c 1651s| 6760k| 55220 | 17679k| 57M| 38 | 5 | 115 | 151 | 6 | 115 | 16 | 25 | 180k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1800.08/1800.60 c
1800.08/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.60 c Solving Time (sec) : 1651.75
1800.08/1800.60 c Solving Nodes : 6762500
1800.08/1800.60 c Primal Bound : +2.00000000000000e+00 (48 solutions)
1800.08/1800.60 c Dual Bound : +0.00000000000000e+00
1800.08/1800.60 c Gap : infinite
1800.08/1800.60 c NODE 6762500
1800.08/1800.60 c DUAL BOUND 0
1800.08/1800.60 c PRIMAL BOUND 2
1800.08/1800.60 c GAP 1e+20
1800.08/1800.60 s SATISFIABLE
1800.08/1800.60 v -x90 x120 -x119 -x118 x117 -x116 x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 x106 x105 x104 x103 x102 x101 x100 x99 -x98
1800.08/1800.60 v x97 x96 -x95 -x94 -x93 -x92 -x91 -x89 x88 x87 x86 -x85 x84 x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1800.08/1800.60 v -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1800.08/1800.60 v -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1800.08/1800.60 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.08/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time : 1651.75
1800.08/1800.61 c Original Problem :
1800.08/1800.61 c Problem name : HOME/instance-1869536-1245177482.opb
1800.08/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 10 initial, 10 maximal
1800.08/1800.61 c Presolved Problem :
1800.08/1800.61 c Problem name : t_HOME/instance-1869536-1245177482.opb
1800.08/1800.61 c Variables : 115 (115 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 5 initial, 230 maximal
1800.08/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.61 c linear : 0.00 0 5 0 0 0 5 0 0
1800.08/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c root node : - 70 - - 70 - - - -
1800.08/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c integral : 0 0 0 3439430 0 3201 13863 0 0 6844748
1800.08/1800.61 c linear : 5 6 8093000 0 0 615979 3907979 9 0 0
1800.08/1800.61 c logicor : 0+ 0 3031901 0 0 5666 65338 0 0 0
1800.08/1800.61 c countsols : 0 0 0 27 0 0 0 0 0 0
1800.08/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.61 c integral : 34.40 0.00 0.00 34.40 0.00
1800.08/1800.61 c linear : 348.04 0.00 348.04 0.00 0.00
1800.08/1800.61 c logicor : 10.48 0.00 10.48 0.00 0.00
1800.08/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.61 c rootredcost : 2.91 45 0 70
1800.08/1800.61 c pseudoobj : 49.96 8105616 12762 176354
1800.08/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.61 c propagation : 30.52 634407 160426 197119 34.2 0 0.0 -
1800.08/1800.61 c infeasible LP : 0.92 19499 19498 19857 15.9 0 0.0 0
1800.08/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.61 c applied globally : - - - 38008 21.9 - - -
1800.08/1800.61 c applied locally : - - - 142416 35.1 - - -
1800.08/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.61 c cut pool : 0.00 5 - - 26 - (maximal pool size: 76)
1800.08/1800.61 c redcost : 26.85 3722789 0 3292814 0 0
1800.08/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.61 c intobj : 0.00 0 0 0 0 0
1800.08/1800.61 c gomory : 0.01 6 0 0 0 0
1800.08/1800.61 c strongcg : 0.01 6 0 0 12 0
1800.08/1800.61 c cmir : 0.04 6 0 0 36 0
1800.08/1800.61 c flowcover : 0.02 6 0 0 39 0
1800.08/1800.61 c clique : 0.00 1 0 0 0 0
1800.08/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.61 c mcf : 0.00 1 0 0 0 0
1800.08/1800.61 c Pricers : Time Calls Vars
1800.08/1800.61 c problem variables: 0.00 0 0
1800.08/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c relpscost : 31.00 3439403 3201 13863 0 0 6844748
1800.08/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c random : 0.00 0 0 0 0 0 0
1800.08/1800.61 c Primal Heuristics : Time Calls Found
1800.08/1800.61 c LP solutions : 0.03 - 27
1800.08/1800.61 c pseudo solutions : 0.00 - 0
1800.08/1800.61 c intshifting : 0.36 0 0
1800.08/1800.61 c oneopt : 2.95 45 0
1800.08/1800.61 c crossover : 3.65 7 0
1800.08/1800.61 c rootsoldiving : 9.39 4076 1
1800.08/1800.61 c coefdiving : 10.72 9336 4
1800.08/1800.61 c veclendiving : 8.92 9336 2
1800.08/1800.61 c guideddiving : 9.33 9336 2
1800.08/1800.61 c pscostdiving : 10.13 9336 2
1800.08/1800.61 c fracdiving : 10.16 9336 2
1800.08/1800.61 c linesearchdiving : 9.51 9336 5
1800.08/1800.61 c objpscostdiving : 5.16 4669 2
1800.08/1800.61 c simplerounding : 1.82 0 0
1800.08/1800.61 c rounding : 2.78 27119 0
1800.08/1800.61 c shifting : 25.34 32279 1
1800.08/1800.61 c fixandinfer : 0.00 0 0
1800.08/1800.61 c feaspump : 0.19 1 0
1800.08/1800.61 c intdiving : 0.00 0 0
1800.08/1800.61 c actconsdiving : 0.00 0 0
1800.08/1800.61 c octane : 0.00 0 0
1800.08/1800.61 c rens : 0.04 1 0
1800.08/1800.61 c rins : 0.00 0 0
1800.08/1800.61 c localbranching : 0.00 0 0
1800.08/1800.61 c mutation : 0.00 0 0
1800.08/1800.61 c dins : 0.00 0 0
1800.08/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.61 c dual LP : 658.13 6436770 16909620 2.63 25693.43
1800.08/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.61 c diving/probing LP: 33.73 342659 776274 2.27 23014.35
1800.08/1800.61 c strong branching : 3.41 20894 60409 2.89 17715.25
1800.08/1800.61 c (at root node) : - 16 623 38.94 -
1800.08/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.61 c B&B Tree :
1800.08/1800.61 c number of runs : 1
1800.08/1800.61 c nodes : 6762500
1800.08/1800.61 c nodes (total) : 6762500
1800.08/1800.61 c nodes left : 55344
1800.08/1800.61 c max depth : 38
1800.08/1800.61 c max depth (total): 38
1800.08/1800.61 c backtracks : 1897959 (28.1%)
1800.08/1800.61 c delayed cutoffs : 21585
1800.08/1800.61 c repropagations : 71093 (104741 domain reductions, 17980 cutoffs)
1800.08/1800.61 c avg switch length: 5.66
1800.08/1800.61 c switching time : 134.53
1800.08/1800.61 c Solution :
1800.08/1800.61 c Solutions found : 48 (45 improvements)
1800.08/1800.61 c Primal Bound : +2.00000000000000e+00 (in run 1, after 351487 nodes, 111.36 seconds, depth 29, found by <relaxation>)
1800.08/1800.61 c Dual Bound : +0.00000000000000e+00
1800.08/1800.61 c Gap : infinite
1800.08/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.47/1801.01 c Time complete: 1800.47.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869536-1245177482/watcher-1869536-1245177482 -o /tmp/evaluation-result-1869536-1245177482/solver-1869536-1245177482 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869536-1245177482.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4024
/proc/meminfo: memFree=1905320/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=4324 CPUtime=0
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 468 0 0 0 0 0 0 0 18 0 1 0 185348397 4427776 452 1992294400 4194304 7823515 548682068736 18446744073709551615 6804372 0 0 4096 0 0 0 0 17 1 0 0
/proc/4024/statm: 1081 463 300 886 0 191 0
[startup+0.060192 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4024
/proc/meminfo: memFree=1905320/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=12460 CPUtime=0.05
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 2658 0 0 0 4 1 0 0 18 0 1 0 185348397 12759040 2286 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 3115 2286 551 886 0 2225 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12460
[startup+0.101195 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4024
/proc/meminfo: memFree=1905320/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=12660 CPUtime=0.09
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 2727 0 0 0 8 1 0 0 18 0 1 0 185348397 12963840 2355 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 3165 2355 551 886 0 2275 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12660
[startup+0.301215 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4024
/proc/meminfo: memFree=1905320/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=12748 CPUtime=0.29
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 4378 0 0 0 26 3 0 0 19 0 1 0 185348397 13053952 2433 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 3187 2433 568 886 0 2297 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12748
[startup+0.701252 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4024
/proc/meminfo: memFree=1905320/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=13032 CPUtime=0.69
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 4454 0 0 0 63 6 0 0 22 0 1 0 185348397 13344768 2509 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 3258 2509 573 886 0 2368 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13032
[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1897184/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=16388 CPUtime=1.49
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 5295 0 0 0 139 10 0 0 25 0 1 0 185348397 16781312 3350 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 4097 3350 573 886 0 3207 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16388
[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1893472/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=17600 CPUtime=3.09
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 6256 0 0 0 288 21 0 0 25 0 1 0 185348397 18022400 3660 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 4400 3660 573 886 0 3510 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17600
[startup+6.30179 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1891744/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=16556 CPUtime=6.29
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 9858 0 0 0 584 45 0 0 25 0 1 0 185348397 16953344 3400 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 4139 3400 573 886 0 3249 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16556
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1890016/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=20240 CPUtime=12.69
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 12403 0 0 0 1182 87 0 0 25 0 1 0 185348397 20725760 4329 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 5060 4329 573 886 0 4170 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20240
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1884896/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=25120 CPUtime=25.48
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 13674 0 0 0 2375 173 0 0 25 0 1 0 185348397 25722880 5600 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 6280 5600 573 886 0 5390 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25120
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1883104/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=27024 CPUtime=51.06
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 14139 0 0 0 4742 364 0 0 25 0 1 0 185348397 27672576 6065 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 6756 6065 573 886 0 5866 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 27024
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1877728/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=32168 CPUtime=102.26
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 18560 0 0 0 9482 744 0 0 25 0 1 0 185348397 32940032 7390 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 8042 7390 574 886 0 7152 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 32168
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1873120/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=36680 CPUtime=162.24
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 19697 0 0 0 15006 1218 0 0 25 0 1 0 185348397 37560320 8527 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 9170 8527 574 886 0 8280 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 36680
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1870240/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=39268 CPUtime=222.23
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 23663 0 0 0 20510 1713 0 0 25 0 1 0 185348397 40210432 9205 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 9817 9205 574 886 0 8927 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 39268
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1865376/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=44092 CPUtime=282.21
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 24872 0 0 0 26022 2199 0 0 25 0 1 0 185348397 45150208 10414 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 11023 10414 574 886 0 10133 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 44092
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1864864/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=44548 CPUtime=342.19
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 24986 0 0 0 31536 2683 0 0 25 0 1 0 185348397 45617152 10528 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 11137 10528 574 886 0 10247 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 44548
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1862112/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=47128 CPUtime=402.18
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 25658 0 0 0 37046 3172 0 0 25 0 1 0 185348397 48259072 11200 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 11782 11200 574 886 0 10892 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 47128
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1862048/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=47128 CPUtime=462.16
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 25658 0 0 0 42551 3665 0 0 25 0 1 0 185348397 48259072 11200 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 11782 11200 574 886 0 10892 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 47128
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1861472/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=47664 CPUtime=522.15
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 25792 0 0 0 48056 4159 0 0 25 0 1 0 185348397 48807936 11334 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 11916 11334 574 886 0 11026 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 47664
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1861408/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=47664 CPUtime=582.14
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 25792 0 0 0 53558 4656 0 0 25 0 1 0 185348397 48807936 11334 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 11916 11334 574 886 0 11026 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 47664
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4025
/proc/meminfo: memFree=1861408/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=47664 CPUtime=642.13
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 25792 0 0 0 59061 5152 0 0 25 0 1 0 185348397 48807936 11334 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 11916 11334 574 886 0 11026 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 47664
[startup+702.302 s]
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.09 1.04 1.00 2/65 4027
/proc/meminfo: memFree=1860832/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=47796 CPUtime=882.05
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 25820 0 0 0 81046 7159 0 0 25 0 1 0 185348397 48943104 11362 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 11949 11362 574 886 0 11059 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 47796
[startup+942.302 s]
/proc/loadavg: 1.09 1.04 1.00 2/65 4027
/proc/meminfo: memFree=1860832/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=47796 CPUtime=942.03
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 25820 0 0 0 86540 7663 0 0 25 0 1 0 185348397 48943104 11362 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 11949 11362 574 886 0 11059 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 47796
[startup+1002.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/65 4027
/proc/meminfo: memFree=1860832/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=47796 CPUtime=1002.01
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 25820 0 0 0 92039 8162 0 0 25 0 1 0 185348397 48943104 11362 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 11949 11362 574 886 0 11059 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 47796
[startup+1062.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 4027
/proc/meminfo: memFree=1859424/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=49112 CPUtime=1061.99
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 26154 0 0 0 97540 8659 0 0 25 0 1 0 185348397 50290688 11696 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 12278 11696 574 886 0 11388 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 49112
[startup+1122.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 4027
/proc/meminfo: memFree=1859360/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=49112 CPUtime=1121.98
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 26154 0 0 0 103059 9139 0 0 25 0 1 0 185348397 50290688 11696 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 12278 11696 574 886 0 11388 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 49112
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 4027
/proc/meminfo: memFree=1859296/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=49112 CPUtime=1181.96
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 26154 0 0 0 108558 9638 0 0 25 0 1 0 185348397 50290688 11696 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 12278 11696 574 886 0 11388 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 49112
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4027
/proc/meminfo: memFree=1859168/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=49112 CPUtime=1241.94
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 26154 0 0 0 114046 10148 0 0 25 0 1 0 185348397 50290688 11696 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 12278 11696 574 886 0 11388 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 49112
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4027
/proc/meminfo: memFree=1859168/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=49112 CPUtime=1301.93
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 26154 0 0 0 119533 10660 0 0 25 0 1 0 185348397 50290688 11696 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 12278 11696 574 886 0 11388 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 49112
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4027
/proc/meminfo: memFree=1859104/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=49112 CPUtime=1361.9
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 26154 0 0 0 125028 11162 0 0 25 0 1 0 185348397 50290688 11696 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 12278 11696 574 886 0 11388 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 49112
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4033
/proc/meminfo: memFree=1853216/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=54936 CPUtime=1421.88
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 27592 0 0 0 130524 11664 0 0 25 0 1 0 185348397 56254464 13134 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 13734 13134 574 886 0 12844 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 54936
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4033
/proc/meminfo: memFree=1848352/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=59488 CPUtime=1481.87
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 28764 0 0 0 136018 12169 0 0 25 0 1 0 185348397 60915712 14306 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 14872 14306 574 886 0 13982 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 59488
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4033
/proc/meminfo: memFree=1848288/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=59488 CPUtime=1541.85
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 28764 0 0 0 141516 12669 0 0 25 0 1 0 185348397 60915712 14306 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 14872 14306 574 886 0 13982 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 59488
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4033
/proc/meminfo: memFree=1847648/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=60680 CPUtime=1601.83
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 29048 0 0 0 147008 13175 0 0 25 0 1 0 185348397 62136320 14590 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 15170 14590 574 886 0 14280 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 60680
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4033
/proc/meminfo: memFree=1839264/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=68196 CPUtime=1661.82
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 30984 0 0 0 152508 13674 0 0 25 0 1 0 185348397 69832704 16526 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 17049 16526 574 886 0 16159 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 68196
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4033
/proc/meminfo: memFree=1835296/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=72272 CPUtime=1721.79
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 31974 0 0 0 158000 14179 0 0 25 0 1 0 185348397 74006528 17516 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 18068 17516 574 886 0 17178 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 72272
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4033
/proc/meminfo: memFree=1834144/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=73324 CPUtime=1781.78
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 32241 0 0 0 163493 14685 0 0 25 0 1 0 185348397 75083776 17783 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 18331 17783 574 886 0 17441 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 73324
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4033
/proc/meminfo: memFree=1833824/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=73660 CPUtime=1800.08
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 32325 0 0 0 165175 14833 0 0 25 0 1 0 185348397 75427840 17867 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4024/statm: 18415 17867 574 886 0 17525 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 73660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4033
/proc/meminfo: memFree=1833824/2055920 swapFree=4181652/4192956
[pid=4024] ppid=4022 vsize=66720 CPUtime=1800.47
/proc/4024/stat : 4024 (pbscip.linux.x8) R 4022 4024 3959 0 -1 4194304 32327 0 0 0 165213 14834 0 0 25 0 1 0 185348397 68321280 16166 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/4024/statm: 16680 16166 2898 886 0 15790 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (KiB) 66720
Child status: 0
Real time (s): 1801.01
CPU time (s): 1800.49
CPU user time (s): 1652.14
CPU system time (s): 148.349
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 73660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1652.14
system time used= 148.349
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32330
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= 2698
runsolver used 1.2968 second user time and 3.9564 second system time
The end